runsolver Copyright (C) 2010 Olivier ROUSSEL This is runsolver version 3.2.9a (svn: 651) This program is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details. command line: /home/misc2010/bin/runsolver -s SIGUSR1 -M 1124 -C 290 -d 10 -w /home/misc2010/tmp/201007051419/inescp-1.0/randd8bf6a.cudf.difficult.log.runsolver ./inescp-1.0 /home/misc2010/data/2010/difficult//randd8bf6a.cudf /home/misc2010/tmp/201007051419/inescp-1.0/randd8bf6a.cudf.difficult.result Enforcing CPUTime limit (soft limit, will send signal-name then SIGKILL): 290 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 320 seconds Enforcing VSIZE limit (soft limit, will send signal-name then SIGKILL): 1150976 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1202176 KiB Current StackSize limit: 8192 KiB [startup+0 s] /proc/loadavg: 1.23 1.12 1.06 2/94 3148 /proc/meminfo: memFree=1261028/2097152 swapFree=2055620/2097144 [pid=3148] ppid=3147 vsize=2384 CPUtime=0 /proc/3148/stat : 3148 (inescp-1.0) S 3147 3148 13759 34823 13904 4194304 361 0 0 0 0 0 0 0 19 0 1 0 418856748 2441216 259 1283457024 134512640 135191968 4289710992 18446744073709551615 4159318670 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/3148/statm: 596 259 221 166 0 28 0 [pid=3149] ppid=3148 vsize=3272 CPUtime=0 /proc/3149/stat : 3149 (cudf-solver.py) R 3148 3148 13759 34823 13904 4194304 302 0 0 0 0 0 0 0 20 0 1 0 418856748 3350528 228 1283457024 134512640 135539072 4287238464 18446744073709551615 134800287 0 0 0 0 0 0 0 17 0 0 0 0 /proc/3149/statm: 818 230 185 251 0 119 0 [startup+0.145008 s] /proc/loadavg: 1.23 1.12 1.06 2/94 3148 /proc/meminfo: memFree=1261028/2097152 swapFree=2055620/2097144 [pid=3148] ppid=3147 vsize=2384 CPUtime=0 /proc/3148/stat : 3148 (inescp-1.0) S 3147 3148 13759 34823 13904 4194304 361 0 0 0 0 0 0 0 19 0 1 0 418856748 2441216 259 1283457024 134512640 135191968 4289710992 18446744073709551615 4159318670 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/3148/statm: 596 259 221 166 0 28 0 [pid=3149] ppid=3148 vsize=4000 CPUtime=0 /proc/3149/stat : 3149 (cudf-solver.py) S 3148 3148 13759 34823 13904 4202496 755 0 0 0 0 0 0 0 20 0 1 0 418856748 4096000 642 1283457024 134512640 135539072 4287238464 18446744073709551615 4159068814 0 65536 16781318 0 18446744071564329979 0 0 17 0 0 0 0 /proc/3149/statm: 1000 642 346 251 0 301 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 6384 [startup+0.205008 s] /proc/loadavg: 1.23 1.12 1.06 2/94 3148 /proc/meminfo: memFree=1261028/2097152 swapFree=2055620/2097144 [pid=3148] ppid=3147 vsize=2384 CPUtime=0 /proc/3148/stat : 3148 (inescp-1.0) S 3147 3148 13759 34823 13904 4194304 361 0 0 0 0 0 0 0 19 0 1 0 418856748 2441216 259 1283457024 134512640 135191968 4289710992 18446744073709551615 4159318670 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/3148/statm: 596 259 221 166 0 28 0 [pid=3149] ppid=3148 vsize=4000 CPUtime=0 /proc/3149/stat : 3149 (cudf-solver.py) S 3148 3148 13759 34823 13904 4202496 755 0 0 0 0 0 0 0 20 0 1 0 418856748 4096000 642 1283457024 134512640 135539072 4287238464 18446744073709551615 4159068814 0 65536 16781318 0 18446744071564329979 0 0 17 0 0 0 0 /proc/3149/statm: 1000 642 346 251 0 301 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 6384 [startup+0.305018 s] /proc/loadavg: 1.23 1.12 1.06 2/94 3148 /proc/meminfo: memFree=1261028/2097152 swapFree=2055620/2097144 [pid=3148] ppid=3147 vsize=2384 CPUtime=0 /proc/3148/stat : 3148 (inescp-1.0) S 3147 3148 13759 34823 13904 4194304 361 0 0 0 0 0 0 0 19 0 1 0 418856748 2441216 259 1283457024 134512640 135191968 4289710992 18446744073709551615 4159318670 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/3148/statm: 596 259 221 166 0 28 0 [pid=3149] ppid=3148 vsize=4000 CPUtime=0 /proc/3149/stat : 3149 (cudf-solver.py) S 3148 3148 13759 34823 13904 4202496 755 0 0 0 0 0 0 0 20 0 1 0 418856748 4096000 642 1283457024 134512640 135539072 4287238464 18446744073709551615 4159068814 0 65536 16781318 0 18446744071564329979 0 0 17 0 0 0 0 /proc/3149/statm: 1000 642 346 251 0 301 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 6384 [startup+0.709101 s] /proc/loadavg: 1.23 1.12 1.06 2/94 3148 /proc/meminfo: memFree=1261028/2097152 swapFree=2055620/2097144 [pid=3148] ppid=3147 vsize=2384 CPUtime=0 /proc/3148/stat : 3148 (inescp-1.0) S 3147 3148 13759 34823 13904 4194304 361 0 0 0 0 0 0 0 19 0 1 0 418856748 2441216 259 1283457024 134512640 135191968 4289710992 18446744073709551615 4159318670 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/3148/statm: 596 259 221 166 0 28 0 [pid=3149] ppid=3148 vsize=4000 CPUtime=0 /proc/3149/stat : 3149 (cudf-solver.py) S 3148 3148 13759 34823 13904 4202496 755 0 0 0 0 0 0 0 20 0 1 0 418856748 4096000 642 1283457024 134512640 135539072 4287238464 18446744073709551615 4159068814 0 65536 16781318 0 18446744071564329979 0 0 17 0 0 0 0 /proc/3149/statm: 1000 642 346 251 0 301 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 6384 [startup+1.50504 s] /proc/loadavg: 1.37 1.15 1.07 3/108 3162 /proc/meminfo: memFree=1187896/2097152 swapFree=2055620/2097144 [pid=3148] ppid=3147 vsize=2384 CPUtime=0 /proc/3148/stat : 3148 (inescp-1.0) S 3147 3148 13759 34823 13904 4194304 361 0 0 0 0 0 0 0 19 0 1 0 418856748 2441216 259 1283457024 134512640 135191968 4289710992 18446744073709551615 4159318670 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/3148/statm: 596 259 221 166 0 28 0 [pid=3149] ppid=3148 vsize=4000 CPUtime=0 /proc/3149/stat : 3149 (cudf-solver.py) S 3148 3148 13759 34823 13904 4202496 755 0 0 0 0 0 0 0 20 0 1 0 418856748 4096000 642 1283457024 134512640 135539072 4287238464 18446744073709551615 4159068814 0 65536 16781318 0 18446744071564329979 0 0 17 0 0 0 0 /proc/3149/statm: 1000 642 346 251 0 301 0 [pid=3151] ppid=3149 vsize=882272 CPUtime=2.66 /proc/3151/stat : 3151 (java) S 3149 3148 13759 34823 13904 4202496 31438 0 0 0 250 16 0 0 21 0 12 0 418856749 903446528 26609 1283457024 134512640 134550932 4291685568 18446744073709551615 4160418962 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/3151/statm: 220568 26609 1744 10 0 217655 0 [pid=3151/tid=3152] ppid=3149 vsize=882272 CPUtime=1.1 /proc/3151/task/3152/stat : 3152 (java) R 3149 3148 13759 34823 13904 4202560 9284 0 0 0 106 4 0 0 16 0 12 0 418856751 903446528 26609 1283457024 134512640 134550932 4291685568 18446744073709551615 4160443761 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=3151/tid=3153] ppid=3149 vsize=882272 CPUtime=0.18 /proc/3151/task/3153/stat : 3153 (java) S 3149 3148 13759 34823 13904 4202560 7304 0 0 0 14 4 0 0 16 0 12 0 418856752 903446528 26609 1283457024 134512640 134550932 4291685568 18446744073709551615 4160432368 0 4 0 16800975 18446612133256963264 0 0 -1 0 0 0 0 [pid=3151/tid=3154] ppid=3149 vsize=882272 CPUtime=0.12 /proc/3151/task/3154/stat : 3154 (java) S 3149 3148 13759 34823 13904 4202560 3491 0 0 0 10 2 0 0 15 0 12 0 418856752 903446528 26609 1283457024 134512640 134550932 4291685568 18446744073709551615 4160432368 0 4 0 16800975 18446612133256963264 0 0 -1 1 0 0 0 [pid=3151/tid=3155] ppid=3149 vsize=882272 CPUtime=0.08 /proc/3151/task/3155/stat : 3155 (java) S 3149 3148 13759 34823 13904 4202560 115 0 0 0 8 0 0 0 16 0 12 0 418856753 903446528 26609 1283457024 134512640 134550932 4291685568 18446744073709551615 4160433160 0 0 0 16800975 18446612133256963264 0 0 -1 0 0 0 0 [pid=3151/tid=3156] ppid=3149 vsize=882272 CPUtime=0 /proc/3151/task/3156/stat : 3156 (java) S 3149 3148 13759 34823 13904 4202560 14 0 0 0 0 0 0 0 15 0 12 0 418856754 903446528 26609 1283457024 134512640 134550932 4291685568 18446744073709551615 4160432368 0 4 0 16800975 18446612133256963264 0 0 -1 0 0 0 0 [pid=3151/tid=3157] ppid=3149 vsize=882272 CPUtime=0 /proc/3151/task/3157/stat : 3157 (java) R 3149 3148 13759 34823 13904 4202560 4 0 0 0 0 0 0 0 17 0 12 0 418856754 903446528 26609 1283457024 134512640 134550932 4291685568 18446744073709551615 4160443079 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=3151/tid=3158] ppid=3149 vsize=882272 CPUtime=0 /proc/3151/task/3158/stat : 3158 (java) S 3149 3148 13759 34823 13904 4202560 1 0 0 0 0 0 0 0 25 0 12 0 418856757 903446528 26609 1283457024 134512640 134550932 4291685568 18446744073709551615 4160440656 0 4 0 16800975 18446612133256963264 0 0 -1 0 0 0 0 [pid=3151/tid=3159] ppid=3149 vsize=882272 CPUtime=0.7 /proc/3151/task/3159/stat : 3159 (java) R 3149 3148 13759 34823 13904 4202560 6697 0 0 0 68 2 0 0 17 0 12 0 418856757 903446528 26609 1283457024 134512640 134550932 4291685568 18446744073709551615 4152841601 0 4 0 16800975 0 0 0 -1 1 0 0 0 [pid=3151/tid=3160] ppid=3149 vsize=882272 CPUtime=0.42 /proc/3151/task/3160/stat : 3160 (java) S 3149 3148 13759 34823 13904 4202560 3141 0 0 0 41 1 0 0 15 0 12 0 418856757 903446528 26609 1283457024 134512640 134550932 4291685568 18446744073709551615 4160432368 0 4 0 16800975 18446612133256963264 0 0 -1 1 0 0 0 [pid=3151/tid=3161] ppid=3149 vsize=882272 CPUtime=0 /proc/3151/task/3161/stat : 3161 (java) S 3149 3148 13759 34823 13904 4202560 1 0 0 0 0 0 0 0 25 0 12 0 418856757 903446528 26609 1283457024 134512640 134550932 4291685568 18446744073709551615 4160432368 0 4 0 16800975 18446612133256963264 0 0 -1 0 0 0 0 [pid=3151/tid=3162] ppid=3149 vsize=882272 CPUtime=0 /proc/3151/task/3162/stat : 3162 (java) S 3149 3148 13759 34823 13904 4202560 1 0 0 0 0 0 0 0 15 0 12 0 418856757 903446528 26609 1283457024 134512640 134550932 4291685568 18446744073709551615 4160433160 0 4 0 16800975 18446612133256963264 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 2.66 Current children cumulated vsize (KiB) 888656 [startup+3.10513 s] /proc/loadavg: 1.37 1.15 1.07 4/108 3162 /proc/meminfo: memFree=1106180/2097152 swapFree=2055620/2097144 [pid=3148] ppid=3147 vsize=2384 CPUtime=0 /proc/3148/stat : 3148 (inescp-1.0) S 3147 3148 13759 34823 13904 4194304 361 0 0 0 0 0 0 0 19 0 1 0 418856748 2441216 259 1283457024 134512640 135191968 4289710992 18446744073709551615 4159318670 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/3148/statm: 596 259 221 166 0 28 0 [pid=3149] ppid=3148 vsize=4000 CPUtime=0 /proc/3149/stat : 3149 (cudf-solver.py) S 3148 3148 13759 34823 13904 4202496 755 0 0 0 0 0 0 0 20 0 1 0 418856748 4096000 642 1283457024 134512640 135539072 4287238464 18446744073709551615 4159068814 0 65536 16781318 0 18446744071564329979 0 0 17 0 0 0 0 /proc/3149/statm: 1000 642 346 251 0 301 0 [pid=3151] ppid=3149 vsize=885440 CPUtime=5.37 /proc/3151/stat : 3151 (java) S 3149 3148 13759 34823 13904 4202496 54114 0 0 0 514 23 0 0 21 0 12 0 418856749 906690560 46209 1283457024 134512640 134550932 4291685568 18446744073709551615 4160418962 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/3151/statm: 221360 46209 1771 10 0 218447 0 [pid=3151/tid=3152] ppid=3149 vsize=885440 CPUtime=2.35 /proc/3151/task/3152/stat : 3152 (java) R 3149 3148 13759 34823 13904 4202560 15877 0 0 0 229 6 0 0 16 0 12 0 418856751 906690560 46209 1283457024 134512640 134550932 4291685568 18446744073709551615 4152452040 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=3151/tid=3153] ppid=3149 vsize=885440 CPUtime=0.33 /proc/3151/task/3153/stat : 3153 (java) R 3149 3148 13759 34823 13904 4202560 13948 0 0 0 27 6 0 0 16 0 12 0 418856752 906690560 46209 1283457024 134512640 134550932 4291685568 18446744073709551615 4160432368 0 4 0 16800975 0 0 0 -1 1 0 0 0 [pid=3151/tid=3154] ppid=3149 vsize=885440 CPUtime=0.27 /proc/3151/task/3154/stat : 3154 (java) S 3149 3148 13759 34823 13904 4202560 8054 0 0 0 24 3 0 0 15 0 12 0 418856752 906690560 46209 1283457024 134512640 134550932 4291685568 18446744073709551615 4160432368 0 4 0 16800975 18446612133256963264 0 0 -1 0 0 0 0 [pid=3151/tid=3155] ppid=3149 vsize=885440 CPUtime=0.26 /proc/3151/task/3155/stat : 3155 (java) S 3149 3148 13759 34823 13904 4202560 1871 0 0 0 24 2 0 0 16 0 12 0 418856753 906690560 46209 1283457024 134512640 134550932 4291685568 18446744073709551615 4160433160 0 0 0 16800975 18446612133256963264 0 0 -1 0 0 0 0 [pid=3151/tid=3156] ppid=3149 vsize=885440 CPUtime=0 /proc/3151/task/3156/stat : 3156 (java) S 3149 3148 13759 34823 13904 4202560 14 0 0 0 0 0 0 0 15 0 12 0 418856754 906690560 46209 1283457024 134512640 134550932 4291685568 18446744073709551615 4160432368 0 4 0 16800975 18446612133256963264 0 0 -1 0 0 0 0 [pid=3151/tid=3157] ppid=3149 vsize=885440 CPUtime=0 /proc/3151/task/3157/stat : 3157 (java) S 3149 3148 13759 34823 13904 4202560 6 0 0 0 0 0 0 0 15 0 12 0 418856754 906690560 46209 1283457024 134512640 134550932 4291685568 18446744073709551615 4160432368 0 4 0 16800975 18446612133256963264 0 0 -1 1 0 0 0 [pid=3151/tid=3158] ppid=3149 vsize=885440 CPUtime=0 /proc/3151/task/3158/stat : 3158 (java) S 3149 3148 13759 34823 13904 4202560 1 0 0 0 0 0 0 0 25 0 12 0 418856757 906690560 46209 1283457024 134512640 134550932 4291685568 18446744073709551615 4160440656 0 4 0 16800975 18446612133256963264 0 0 -1 0 0 0 0 [pid=3151/tid=3159] ppid=3149 vsize=885440 CPUtime=1.14 /proc/3151/task/3159/stat : 3159 (java) R 3149 3148 13759 34823 13904 4202560 6903 0 0 0 112 2 0 0 16 0 12 0 418856757 906690560 46209 1283457024 134512640 134550932 4291685568 18446744073709551615 4147891624 0 4 0 16800975 0 0 0 -1 1 0 0 0 [pid=3151/tid=3160] ppid=3149 vsize=885440 CPUtime=0.98 /proc/3151/task/3160/stat : 3160 (java) R 3149 3148 13759 34823 13904 4202560 6053 0 0 0 96 2 0 0 16 0 12 0 418856757 906690560 46209 1283457024 134512640 134550932 4291685568 18446744073709551615 4150501508 0 4 0 16800975 0 0 0 -1 1 0 0 0 [pid=3151/tid=3161] ppid=3149 vsize=885440 CPUtime=0 /proc/3151/task/3161/stat : 3161 (java) S 3149 3148 13759 34823 13904 4202560 1 0 0 0 0 0 0 0 25 0 12 0 418856757 906690560 46209 1283457024 134512640 134550932 4291685568 18446744073709551615 4160432368 0 4 0 16800975 18446612133256963264 0 0 -1 0 0 0 0 [pid=3151/tid=3162] ppid=3149 vsize=885440 CPUtime=0 /proc/3151/task/3162/stat : 3162 (java) S 3149 3148 13759 34823 13904 4202560 1 0 0 0 0 0 0 0 15 0 12 0 418856757 906690560 46209 1283457024 134512640 134550932 4291685568 18446744073709551615 4160433160 0 4 0 16800975 18446612133256963264 0 0 -1 1 0 0 0 Current children cumulated CPU time (s) 5.37 Current children cumulated vsize (KiB) 891824 [startup+6.30526 s] /proc/loadavg: 1.37 1.15 1.07 2/98 3168 /proc/meminfo: memFree=1243016/2097152 swapFree=2055620/2097144 [pid=3148] ppid=3147 vsize=2384 CPUtime=0 /proc/3148/stat : 3148 (inescp-1.0) S 3147 3148 13759 34823 13904 4194304 361 0 0 0 0 0 0 0 19 0 1 0 418856748 2441216 259 1283457024 134512640 135191968 4289710992 18446744073709551615 4159318670 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/3148/statm: 596 259 221 166 0 28 0 [pid=3149] ppid=3148 vsize=4000 CPUtime=6.96 /proc/3149/stat : 3149 (cudf-solver.py) S 3148 3148 13759 34823 13904 4202496 811 55522 0 0 0 0 658 38 15 0 1 0 418856748 4096000 642 1283457024 134512640 135539072 4287238464 18446744073709551615 4159068814 0 65536 16781318 0 18446744071564329979 0 0 17 1 0 0 0 /proc/3149/statm: 1000 642 346 251 0 301 0 [pid=3167] ppid=3149 vsize=2892 CPUtime=0 /proc/3167/stat : 3167 (sh) S 3149 3148 13759 34823 13904 4194304 357 0 0 0 0 0 0 0 17 0 1 0 418857168 2961408 321 1283457024 134512640 135191968 4286708000 18446744073709551615 4158655118 0 65536 16781316 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/3167/statm: 723 321 219 166 0 155 0 [pid=3168] ppid=3167 vsize=33224 CPUtime=2.08 /proc/3168/stat : 3168 (msuncore) R 3167 3148 13759 34823 13904 4202496 19150 0 0 0 201 7 0 0 23 0 1 0 418857169 34021376 8079 1283457024 134512640 135858300 4288719664 18446744073709551615 135344159 0 0 16781312 24615 0 0 0 17 1 0 0 0 /proc/3168/statm: 8306 8079 137 329 0 7975 0 Current children cumulated CPU time (s) 9.04 Current children cumulated vsize (KiB) 42500 Solver just ended. Dumping a history of the last processes samples [startup+6.40527 s] /proc/loadavg: 1.37 1.15 1.07 2/98 3168 /proc/meminfo: memFree=1243016/2097152 swapFree=2055620/2097144 [pid=3148] ppid=3147 vsize=2384 CPUtime=0 /proc/3148/stat : 3148 (inescp-1.0) S 3147 3148 13759 34823 13904 4194304 361 0 0 0 0 0 0 0 19 0 1 0 418856748 2441216 259 1283457024 134512640 135191968 4289710992 18446744073709551615 4159318670 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/3148/statm: 596 259 221 166 0 28 0 [pid=3149] ppid=3148 vsize=4000 CPUtime=6.96 /proc/3149/stat : 3149 (cudf-solver.py) S 3148 3148 13759 34823 13904 4202496 811 55522 0 0 0 0 658 38 15 0 1 0 418856748 4096000 642 1283457024 134512640 135539072 4287238464 18446744073709551615 4159068814 0 65536 16781318 0 18446744071564329979 0 0 17 1 0 0 0 /proc/3149/statm: 1000 642 346 251 0 301 0 [pid=3167] ppid=3149 vsize=2892 CPUtime=0 /proc/3167/stat : 3167 (sh) S 3149 3148 13759 34823 13904 4194304 357 0 0 0 0 0 0 0 17 0 1 0 418857168 2961408 321 1283457024 134512640 135191968 4286708000 18446744073709551615 4158655118 0 65536 16781316 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/3167/statm: 723 321 219 166 0 155 0 [pid=3168] ppid=3167 vsize=33224 CPUtime=2.18 /proc/3168/stat : 3168 (msuncore) R 3167 3148 13759 34823 13904 4202496 19150 0 0 0 211 7 0 0 23 0 1 0 418857169 34021376 8079 1283457024 134512640 135858300 4288719664 18446744073709551615 134620127 0 0 16781312 24615 0 0 0 17 1 0 0 0 /proc/3168/statm: 8306 8079 137 329 0 7975 0 Current children cumulated CPU time (s) 9.14 Current children cumulated vsize (KiB) 42500 [startup+7.20534 s] /proc/loadavg: 1.34 1.15 1.07 2/98 3168 /proc/meminfo: memFree=1223796/2097152 swapFree=2055620/2097144 [pid=3148] ppid=3147 vsize=2384 CPUtime=0 /proc/3148/stat : 3148 (inescp-1.0) S 3147 3148 13759 34823 13904 4194304 361 0 0 0 0 0 0 0 19 0 1 0 418856748 2441216 259 1283457024 134512640 135191968 4289710992 18446744073709551615 4159318670 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/3148/statm: 596 259 221 166 0 28 0 [pid=3149] ppid=3148 vsize=4000 CPUtime=6.96 /proc/3149/stat : 3149 (cudf-solver.py) S 3148 3148 13759 34823 13904 4202496 811 55522 0 0 0 0 658 38 15 0 1 0 418856748 4096000 642 1283457024 134512640 135539072 4287238464 18446744073709551615 4159068814 0 65536 16781318 0 18446744071564329979 0 0 17 1 0 0 0 /proc/3149/statm: 1000 642 346 251 0 301 0 [pid=3167] ppid=3149 vsize=2892 CPUtime=0 /proc/3167/stat : 3167 (sh) S 3149 3148 13759 34823 13904 4194304 357 0 0 0 0 0 0 0 17 0 1 0 418857168 2961408 321 1283457024 134512640 135191968 4286708000 18446744073709551615 4158655118 0 65536 16781316 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/3167/statm: 723 321 219 166 0 155 0 [pid=3168] ppid=3167 vsize=33224 CPUtime=2.98 /proc/3168/stat : 3168 (msuncore) R 3167 3148 13759 34823 13904 4202496 19150 0 0 0 291 7 0 0 25 0 1 0 418857169 34021376 8079 1283457024 134512640 135858300 4288719664 18446744073709551615 134620075 0 0 16781312 24615 0 0 0 17 1 0 0 0 /proc/3168/statm: 8306 8079 137 329 0 7975 0 Current children cumulated CPU time (s) 9.94 Current children cumulated vsize (KiB) 42500 [startup+8.00533 s] /proc/loadavg: 1.34 1.15 1.07 2/98 3168 /proc/meminfo: memFree=1223796/2097152 swapFree=2055620/2097144 [pid=3148] ppid=3147 vsize=2384 CPUtime=0 /proc/3148/stat : 3148 (inescp-1.0) S 3147 3148 13759 34823 13904 4194304 361 0 0 0 0 0 0 0 19 0 1 0 418856748 2441216 259 1283457024 134512640 135191968 4289710992 18446744073709551615 4159318670 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/3148/statm: 596 259 221 166 0 28 0 [pid=3149] ppid=3148 vsize=4000 CPUtime=6.96 /proc/3149/stat : 3149 (cudf-solver.py) S 3148 3148 13759 34823 13904 4202496 811 55522 0 0 0 0 658 38 15 0 1 0 418856748 4096000 642 1283457024 134512640 135539072 4287238464 18446744073709551615 4159068814 0 65536 16781318 0 18446744071564329979 0 0 17 1 0 0 0 /proc/3149/statm: 1000 642 346 251 0 301 0 [pid=3167] ppid=3149 vsize=2892 CPUtime=0 /proc/3167/stat : 3167 (sh) S 3149 3148 13759 34823 13904 4194304 357 0 0 0 0 0 0 0 17 0 1 0 418857168 2961408 321 1283457024 134512640 135191968 4286708000 18446744073709551615 4158655118 0 65536 16781316 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/3167/statm: 723 321 219 166 0 155 0 [pid=3168] ppid=3167 vsize=33224 CPUtime=3.78 /proc/3168/stat : 3168 (msuncore) R 3167 3148 13759 34823 13904 4202496 19150 0 0 0 371 7 0 0 25 0 1 0 418857169 34021376 8079 1283457024 134512640 135858300 4288719664 18446744073709551615 134658880 0 0 16781312 24615 0 0 0 17 1 0 0 0 /proc/3168/statm: 8306 8079 137 329 0 7975 0 Current children cumulated CPU time (s) 10.74 Current children cumulated vsize (KiB) 42500 [startup+8.40536 s] /proc/loadavg: 1.34 1.15 1.07 2/98 3168 /proc/meminfo: memFree=1223796/2097152 swapFree=2055620/2097144 [pid=3148] ppid=3147 vsize=2384 CPUtime=0 /proc/3148/stat : 3148 (inescp-1.0) S 3147 3148 13759 34823 13904 4194304 361 0 0 0 0 0 0 0 19 0 1 0 418856748 2441216 259 1283457024 134512640 135191968 4289710992 18446744073709551615 4159318670 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/3148/statm: 596 259 221 166 0 28 0 [pid=3149] ppid=3148 vsize=4000 CPUtime=6.96 /proc/3149/stat : 3149 (cudf-solver.py) S 3148 3148 13759 34823 13904 4202496 811 55522 0 0 0 0 658 38 15 0 1 0 418856748 4096000 642 1283457024 134512640 135539072 4287238464 18446744073709551615 4159068814 0 65536 16781318 0 18446744071564329979 0 0 17 1 0 0 0 /proc/3149/statm: 1000 642 346 251 0 301 0 [pid=3167] ppid=3149 vsize=2892 CPUtime=0 /proc/3167/stat : 3167 (sh) S 3149 3148 13759 34823 13904 4194304 357 0 0 0 0 0 0 0 17 0 1 0 418857168 2961408 321 1283457024 134512640 135191968 4286708000 18446744073709551615 4158655118 0 65536 16781316 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/3167/statm: 723 321 219 166 0 155 0 [pid=3168] ppid=3167 vsize=33224 CPUtime=4.18 /proc/3168/stat : 3168 (msuncore) R 3167 3148 13759 34823 13904 4202496 19150 0 0 0 411 7 0 0 25 0 1 0 418857169 34021376 8079 1283457024 134512640 135858300 4288719664 18446744073709551615 134658864 0 0 16781312 24615 0 0 0 17 1 0 0 0 /proc/3168/statm: 8306 8079 137 329 0 7975 0 Current children cumulated CPU time (s) 11.14 Current children cumulated vsize (KiB) 42500 [startup+8.50536 s] /proc/loadavg: 1.34 1.15 1.07 2/98 3168 /proc/meminfo: memFree=1223796/2097152 swapFree=2055620/2097144 [pid=3148] ppid=3147 vsize=2384 CPUtime=0 /proc/3148/stat : 3148 (inescp-1.0) S 3147 3148 13759 34823 13904 4194304 361 0 0 0 0 0 0 0 19 0 1 0 418856748 2441216 259 1283457024 134512640 135191968 4289710992 18446744073709551615 4159318670 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/3148/statm: 596 259 221 166 0 28 0 [pid=3149] ppid=3148 vsize=4000 CPUtime=6.96 /proc/3149/stat : 3149 (cudf-solver.py) S 3148 3148 13759 34823 13904 4202496 811 55522 0 0 0 0 658 38 15 0 1 0 418856748 4096000 642 1283457024 134512640 135539072 4287238464 18446744073709551615 4159068814 0 65536 16781318 0 18446744071564329979 0 0 17 1 0 0 0 /proc/3149/statm: 1000 642 346 251 0 301 0 [pid=3167] ppid=3149 vsize=2892 CPUtime=0 /proc/3167/stat : 3167 (sh) S 3149 3148 13759 34823 13904 4194304 357 0 0 0 0 0 0 0 17 0 1 0 418857168 2961408 321 1283457024 134512640 135191968 4286708000 18446744073709551615 4158655118 0 65536 16781316 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/3167/statm: 723 321 219 166 0 155 0 [pid=3168] ppid=3167 vsize=14404 CPUtime=4.28 /proc/3168/stat : 3168 (msuncore) R 3167 3148 13759 34823 13904 4202496 19163 0 0 0 421 7 0 0 25 0 1 0 418857169 14749696 3399 1283457024 134512640 135858300 4288719664 18446744073709551615 135400398 0 0 16781312 24615 0 0 0 17 1 0 0 0 /proc/3168/statm: 3601 3399 150 329 0 3270 0 Current children cumulated CPU time (s) 11.24 Current children cumulated vsize (KiB) 23680 Child status: 0 Real time (s): 8.60524 CPU time (s): 11.3607 CPU user time (s): 10.8807 CPU system time (s): 0.48003 CPU usage (%): 132.021 Max. virtual memory (cumulated for all children) (KiB): 892960 getrusage(RUSAGE_CHILDREN,...) data: user time used= 10.8807 system time used= 0.48003 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 78402 page faults= 0 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 565 involuntary context switches= 341 runsolver used 0.004 second user time and 0.004 second system time The end