runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.0 (svn: 935)
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: BIN/runsolver --timestamp -w /tmp/evaluation-result-3274993-1303635251/watcher-3274993-1303635251 -o /tmp/evaluation-result-3274993-1303635251/solver-3274993-1303635251 -C 5000 -W 5000 -M 15500 HOME/clasp --file=HOME/instance-3274993-1303635251.cnf --dimacs --number=1 --sat-p=20,25,150 --hParam=0,512
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 5000 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 5030 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 5000 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 0.00 0.00 0.00 2/177 12221
/proc/meminfo: memFree=15819524/32950928 swapFree=67111528/67111528
[pid=12221] ppid=12219 vsize=2504 CPUtime=0 cores=1,3,5,7
/proc/12221/stat : 12221 (clasp) R 12219 12221 12183 0 -1 4202496 382 0 0 0 0 0 0 0 23 0 1 0 475124911 2564096 336 33554432000 134512640 136057169 4289754560 18446744073709551615 135443142 0 0 4096 16386 0 0 0 17 1 0 0 0
/proc/12221/statm: 626 336 145 378 0 246 0
[startup+0.071225 s]
/proc/loadavg: 0.00 0.00 0.00 2/177 12221
/proc/meminfo: memFree=15819524/32950928 swapFree=67111528/67111528
[pid=12221] ppid=12219 vsize=5988 CPUtime=0.06 cores=1,3,5,7
/proc/12221/stat : 12221 (clasp) R 12219 12221 12183 0 -1 4202496 1382 0 0 0 6 0 0 0 23 0 1 0 475124911 6131712 1226 33554432000 134512640 136057169 4289754560 18446744073709551615 134774493 0 0 4096 16386 0 0 0 17 1 0 0 0
/proc/12221/statm: 1497 1226 166 378 0 1117 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 5988
[startup+0.100219 s]
/proc/loadavg: 0.00 0.00 0.00 2/177 12221
/proc/meminfo: memFree=15819524/32950928 swapFree=67111528/67111528
[pid=12221] ppid=12219 vsize=5988 CPUtime=0.09 cores=1,3,5,7
/proc/12221/stat : 12221 (clasp) R 12219 12221 12183 0 -1 4202496 1382 0 0 0 9 0 0 0 23 0 1 0 475124911 6131712 1226 33554432000 134512640 136057169 4289754560 18446744073709551615 134774434 0 0 4096 16386 0 0 0 17 1 0 0 0
/proc/12221/statm: 1497 1226 166 378 0 1117 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 5988
[startup+0.300184 s]
/proc/loadavg: 0.00 0.00 0.00 2/177 12221
/proc/meminfo: memFree=15819524/32950928 swapFree=67111528/67111528
[pid=12221] ppid=12219 vsize=6780 CPUtime=0.29 cores=1,3,5,7
/proc/12221/stat : 12221 (clasp) R 12219 12221 12183 0 -1 4202496 1580 0 0 0 29 0 0 0 25 0 1 0 475124911 6942720 1424 33554432000 134512640 136057169 4289754560 18446744073709551615 134778120 0 0 4096 16386 0 0 0 17 1 0 0 0
/proc/12221/statm: 1695 1424 168 378 0 1315 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 6780
[startup+0.700113 s]
/proc/loadavg: 0.00 0.00 0.00 2/177 12221
/proc/meminfo: memFree=15819524/32950928 swapFree=67111528/67111528
[pid=12221] ppid=12219 vsize=6316 CPUtime=0.69 cores=1,3,5,7
/proc/12221/stat : 12221 (clasp) R 12219 12221 12183 0 -1 4202496 1676 0 0 0 69 0 0 0 25 0 1 0 475124911 6467584 1354 33554432000 134512640 136057169 4289754560 18446744073709551615 134618141 0 0 4096 16386 0 0 0 17 1 0 0 0
/proc/12221/statm: 1579 1354 183 378 0 1199 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 6316
[startup+1.50097 s]
/proc/loadavg: 0.16 0.03 0.01 3/178 12222
/proc/meminfo: memFree=15811208/32950928 swapFree=67111528/67111528
[pid=12221] ppid=12219 vsize=9160 CPUtime=1.49 cores=1,3,5,7
/proc/12221/stat : 12221 (clasp) R 12219 12221 12183 0 -1 4202496 2355 0 0 0 149 0 0 0 25 0 1 0 475124911 9379840 2033 33554432000 134512640 136057169 4289754560 18446744073709551615 134823938 0 0 4096 16386 0 0 0 17 1 0 0 0
/proc/12221/statm: 2290 2033 183 378 0 1910 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 9160
[startup+3.10069 s]
/proc/loadavg: 0.16 0.03 0.01 3/178 12222
/proc/meminfo: memFree=15806868/32950928 swapFree=67111528/67111528
[pid=12221] ppid=12219 vsize=11748 CPUtime=3.09 cores=1,3,5,7
/proc/12221/stat : 12221 (clasp) R 12219 12221 12183 0 -1 4202496 3022 0 0 0 309 0 0 0 25 0 1 0 475124911 12029952 2700 33554432000 134512640 136057169 4289754560 18446744073709551615 134618141 0 0 4096 16386 0 0 0 17 1 0 0 0
/proc/12221/statm: 2937 2700 183 378 0 2557 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 11748
[startup+6.30012 s]
/proc/loadavg: 0.16 0.03 0.01 3/178 12222
/proc/meminfo: memFree=15796788/32950928 swapFree=67111528/67111528
[pid=12221] ppid=12219 vsize=13468 CPUtime=6.29 cores=1,3,5,7
/proc/12221/stat : 12221 (clasp) R 12219 12221 12183 0 -1 4202496 3432 0 0 0 629 0 0 0 25 0 1 0 475124911 13791232 3110 33554432000 134512640 136057169 4289754560 18446744073709551615 134618238 0 0 4096 16386 0 0 0 17 1 0 0 0
/proc/12221/statm: 3367 3110 183 378 0 2987 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 13468
[startup+12.701 s]
/proc/loadavg: 0.44 0.10 0.03 3/178 12222
/proc/meminfo: memFree=15770484/32950928 swapFree=67111528/67111528
[pid=12221] ppid=12219 vsize=16468 CPUtime=12.69 cores=1,3,5,7
/proc/12221/stat : 12221 (clasp) R 12219 12221 12183 0 -1 4202496 4201 0 0 0 1269 0 0 0 25 0 1 0 475124911 16863232 3879 33554432000 134512640 136057169 4289754560 18446744073709551615 134819773 0 0 4096 16386 0 0 0 17 1 0 0 0
/proc/12221/statm: 4117 3879 183 378 0 3737 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 16468
[startup+25.5007 s]
/proc/loadavg: 0.68 0.16 0.05 3/178 12222
/proc/meminfo: memFree=15757628/32950928 swapFree=67111528/67111528
[pid=12221] ppid=12219 vsize=20588 CPUtime=25.49 cores=1,3,5,7
/proc/12221/stat : 12221 (clasp) R 12219 12221 12183 0 -1 4202496 5211 0 0 0 2549 0 0 0 25 0 1 0 475124911 21082112 4889 33554432000 134512640 136057169 4289754560 18446744073709551615 134618135 0 0 4096 16386 0 0 0 17 1 0 0 0
/proc/12221/statm: 5147 4889 183 378 0 4767 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 20588
[startup+51.1002 s]
/proc/loadavg: 1.19 0.32 0.11 3/178 12223
/proc/meminfo: memFree=15740956/32950928 swapFree=67111528/67111528
[pid=12221] ppid=12219 vsize=24860 CPUtime=51.1 cores=1,3,5,7
/proc/12221/stat : 12221 (clasp) R 12219 12221 12183 0 -1 4202496 6253 0 0 0 5109 1 0 0 25 0 1 0 475124911 25456640 5931 33554432000 134512640 136057169 4289754560 18446744073709551615 134615624 0 0 4096 16386 0 0 0 17 1 0 0 0
/proc/12221/statm: 6215 5931 183 378 0 5835 0
Current children cumulated CPU time (s) 51.1
Current children cumulated vsize (KiB) 24860
[startup+102.306 s]
/proc/loadavg: 1.67 0.60 0.21 3/178 12224
/proc/meminfo: memFree=15715764/32950928 swapFree=67111528/67111528
[pid=12221] ppid=12219 vsize=30216 CPUtime=102.3 cores=1,3,5,7
/proc/12221/stat : 12221 (clasp) R 12219 12221 12183 0 -1 4202496 7554 0 0 0 10229 1 0 0 25 0 1 0 475124911 30941184 7232 33554432000 134512640 136057169 4289754560 18446744073709551615 134618304 0 0 4096 16386 0 0 0 17 1 0 0 0
/proc/12221/statm: 7554 7232 183 378 0 7174 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 30216
[startup+162.301 s]
/proc/loadavg: 1.92 0.87 0.33 3/178 12226
/proc/meminfo: memFree=15700608/32950928 swapFree=67111528/67111528
[pid=12221] ppid=12219 vsize=33896 CPUtime=162.3 cores=1,3,5,7
/proc/12221/stat : 12221 (clasp) R 12219 12221 12183 0 -1 4202496 8460 0 0 0 16229 1 0 0 25 0 1 0 475124911 34709504 8138 33554432000 134512640 136057169 4289754560 18446744073709551615 134618238 0 0 4096 16386 0 0 0 17 1 0 0 0
/proc/12221/statm: 8474 8138 183 378 0 8094 0
Current children cumulated CPU time (s) 162.3
Current children cumulated vsize (KiB) 33896
[startup+222.301 s]
/proc/loadavg: 1.97 1.07 0.43 3/178 12228
/proc/meminfo: memFree=15697468/32950928 swapFree=67111528/67111528
[pid=12221] ppid=12219 vsize=36288 CPUtime=222.3 cores=1,3,5,7
/proc/12221/stat : 12221 (clasp) R 12219 12221 12183 0 -1 4202496 9001 0 0 0 22229 1 0 0 25 0 1 0 475124911 37158912 8679 33554432000 134512640 136057169 4289754560 18446744073709551615 134618141 0 0 4096 16386 0 0 0 17 1 0 0 0
/proc/12221/statm: 9072 8679 183 378 0 8692 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 36288
[startup+282.3 s]
/proc/loadavg: 1.99 1.24 0.52 3/178 12229
/proc/meminfo: memFree=15682564/32950928 swapFree=67111528/67111528
[pid=12221] ppid=12219 vsize=40420 CPUtime=282.3 cores=1,3,5,7
/proc/12221/stat : 12221 (clasp) R 12219 12221 12183 0 -1 4202496 10004 0 0 0 28229 1 0 0 25 0 1 0 475124911 41390080 9682 33554432000 134512640 136057169 4289754560 18446744073709551615 134823838 0 0 4096 16386 0 0 0 17 1 0 0 0
/proc/12221/statm: 10105 9682 183 378 0 9725 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 40420
[startup+342.301 s]
/proc/loadavg: 1.99 1.37 0.61 3/178 12231
/proc/meminfo: memFree=15677832/32950928 swapFree=67111528/67111528
[pid=12221] ppid=12219 vsize=44896 CPUtime=342.3 cores=1,3,5,7
/proc/12221/stat : 12221 (clasp) R 12219 12221 12183 0 -1 4202496 11109 0 0 0 34229 1 0 0 25 0 1 0 475124911 45973504 10787 33554432000 134512640 136057169 4289754560 18446744073709551615 134618272 0 0 4096 16386 0 0 0 17 1 0 0 0
/proc/12221/statm: 11224 10787 183 378 0 10844 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 44896
[startup+402.3 s]
/proc/loadavg: 1.99 1.49 0.70 3/178 12232
/proc/meminfo: memFree=15673456/32950928 swapFree=67111528/67111528
[pid=12221] ppid=12219 vsize=44896 CPUtime=402.3 cores=1,3,5,7
/proc/12221/stat : 12221 (clasp) R 12219 12221 12183 0 -1 4202496 11130 0 0 0 40229 1 0 0 25 0 1 0 475124911 45973504 10808 33554432000 134512640 136057169 4289754560 18446744073709551615 134615597 0 0 4096 16386 0 0 0 17 1 0 0 0
/proc/12221/statm: 11224 10808 183 378 0 10844 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 44896
[startup+462.301 s]
/proc/loadavg: 1.99 1.58 0.78 3/178 12243
/proc/meminfo: memFree=15668776/32950928 swapFree=67111528/67111528
[pid=12221] ppid=12219 vsize=47740 CPUtime=462.3 cores=1,3,5,7
/proc/12221/stat : 12221 (clasp) R 12219 12221 12183 0 -1 4202496 11793 0 0 0 46229 1 0 0 25 0 1 0 475124911 48885760 11471 33554432000 134512640 136057169 4289754560 18446744073709551615 134618473 0 0 4096 16386 0 0 0 17 1 0 0 0
/proc/12221/statm: 11935 11471 183 378 0 11555 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 47740
[startup+522.301 s]
/proc/loadavg: 1.99 1.65 0.85 3/178 12245
/proc/meminfo: memFree=15663296/32950928 swapFree=67111528/67111528
[pid=12221] ppid=12219 vsize=50712 CPUtime=522.3 cores=1,3,5,7
/proc/12221/stat : 12221 (clasp) R 12219 12221 12183 0 -1 4202496 12541 0 0 0 52229 1 0 0 25 0 1 0 475124911 51929088 12219 33554432000 134512640 136057169 4289754560 18446744073709551615 134618468 0 0 4096 16386 0 0 0 17 1 0 0 0
/proc/12221/statm: 12678 12219 183 378 0 12298 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 50712
[startup+582.3 s]
/proc/loadavg: 1.99 1.71 0.92 3/178 12246
/proc/meminfo: memFree=15658804/32950928 swapFree=67111528/67111528
[pid=12221] ppid=12219 vsize=54336 CPUtime=582.31 cores=1,3,5,7
/proc/12221/stat : 12221 (clasp) R 12219 12221 12183 0 -1 4202496 13396 0 0 0 58229 2 0 0 25 0 1 0 475124911 55640064 13074 33554432000 134512640 136057169 4289754560 18446744073709551615 134618148 0 0 4096 16386 0 0 0 17 1 0 0 0
/proc/12221/statm: 13584 13074 183 378 0 13204 0
Current children cumulated CPU time (s) 582.31
Current children cumulated vsize (KiB) 54336
[startup+642.301 s]
################
# More data... #
################
/proc/meminfo: memFree=15543240/32950928 swapFree=67111528/67111528
[pid=12221] ppid=12219 vsize=79884 CPUtime=2262.34 cores=1,3,5,7
/proc/12221/stat : 12221 (clasp) R 12219 12221 12183 0 -1 4202496 19468 0 0 0 226232 2 0 0 25 0 1 0 475124911 81801216 19146 33554432000 134512640 136057169 4289754560 18446744073709551615 134823938 0 0 4096 16386 0 0 0 17 1 0 0 0
/proc/12221/statm: 19971 19146 183 378 0 19591 0
Current children cumulated CPU time (s) 2262.34
Current children cumulated vsize (KiB) 79884
[startup+2322.3 s]
/proc/loadavg: 2.03 2.00 1.81 3/178 12296
/proc/meminfo: memFree=15541972/32950928 swapFree=67111528/67111528
[pid=12221] ppid=12219 vsize=80024 CPUtime=2322.34 cores=1,3,5,7
/proc/12221/stat : 12221 (clasp) R 12219 12221 12183 0 -1 4202496 19506 0 0 0 232232 2 0 0 25 0 1 0 475124911 81944576 19184 33554432000 134512640 136057169 4289754560 18446744073709551615 134823862 0 0 4096 16386 0 0 0 17 1 0 0 0
/proc/12221/statm: 20006 19184 183 378 0 19626 0
Current children cumulated CPU time (s) 2322.34
Current children cumulated vsize (KiB) 80024
[startup+2382.3 s]
/proc/loadavg: 2.01 2.00 1.82 3/178 12297
/proc/meminfo: memFree=15541712/32950928 swapFree=67111528/67111528
[pid=12221] ppid=12219 vsize=80216 CPUtime=2382.35 cores=1,3,5,7
/proc/12221/stat : 12221 (clasp) R 12219 12221 12183 0 -1 4202496 19579 0 0 0 238233 2 0 0 25 0 1 0 475124911 82141184 19257 33554432000 134512640 136057169 4289754560 18446744073709551615 134618304 0 0 4096 16386 0 0 0 17 1 0 0 0
/proc/12221/statm: 20054 19257 183 378 0 19674 0
Current children cumulated CPU time (s) 2382.35
Current children cumulated vsize (KiB) 80216
[startup+2442.3 s]
/proc/loadavg: 2.00 2.00 1.82 3/178 12299
/proc/meminfo: memFree=15540696/32950928 swapFree=67111528/67111528
[pid=12221] ppid=12219 vsize=81256 CPUtime=2442.35 cores=1,3,5,7
/proc/12221/stat : 12221 (clasp) R 12219 12221 12183 0 -1 4202496 19801 0 0 0 244233 2 0 0 25 0 1 0 475124911 83206144 19479 33554432000 134512640 136057169 4289754560 18446744073709551615 134823956 0 0 4096 16386 0 0 0 17 1 0 0 0
/proc/12221/statm: 20314 19479 183 378 0 19934 0
Current children cumulated CPU time (s) 2442.35
Current children cumulated vsize (KiB) 81256
[startup+2502.3 s]
/proc/loadavg: 2.00 2.00 1.83 3/178 12300
/proc/meminfo: memFree=15540416/32950928 swapFree=67111528/67111528
[pid=12221] ppid=12219 vsize=81636 CPUtime=2502.36 cores=1,3,5,7
/proc/12221/stat : 12221 (clasp) R 12219 12221 12183 0 -1 4202496 19907 0 0 0 250233 3 0 0 25 0 1 0 475124911 83595264 19585 33554432000 134512640 136057169 4289754560 18446744073709551615 134618141 0 0 4096 16386 0 0 0 17 1 0 0 0
/proc/12221/statm: 20409 19585 183 378 0 20029 0
Current children cumulated CPU time (s) 2502.36
Current children cumulated vsize (KiB) 81636
[startup+2562.3 s]
/proc/loadavg: 2.00 2.00 1.84 3/178 12302
/proc/meminfo: memFree=15540008/32950928 swapFree=67111528/67111528
[pid=12221] ppid=12219 vsize=82160 CPUtime=2562.36 cores=1,3,5,7
/proc/12221/stat : 12221 (clasp) R 12219 12221 12183 0 -1 4202496 19995 0 0 0 256233 3 0 0 25 0 1 0 475124911 84131840 19673 33554432000 134512640 136057169 4289754560 18446744073709551615 134823938 0 0 4096 16386 0 0 0 17 1 0 0 0
/proc/12221/statm: 20540 19673 183 378 0 20160 0
Current children cumulated CPU time (s) 2562.36
Current children cumulated vsize (KiB) 82160
[startup+2622.3 s]
/proc/loadavg: 2.00 2.00 1.84 3/178 12304
/proc/meminfo: memFree=15540100/32950928 swapFree=67111528/67111528
[pid=12221] ppid=12219 vsize=82300 CPUtime=2622.36 cores=1,3,5,7
/proc/12221/stat : 12221 (clasp) R 12219 12221 12183 0 -1 4202496 20029 0 0 0 262233 3 0 0 25 0 1 0 475124911 84275200 19707 33554432000 134512640 136057169 4289754560 18446744073709551615 134618488 0 0 4096 16386 0 0 0 17 1 0 0 0
/proc/12221/statm: 20575 19707 183 378 0 20195 0
Current children cumulated CPU time (s) 2622.36
Current children cumulated vsize (KiB) 82300
[startup+2682.3 s]
/proc/loadavg: 2.00 2.00 1.85 3/178 12305
/proc/meminfo: memFree=15538968/32950928 swapFree=67111528/67111528
[pid=12221] ppid=12219 vsize=82800 CPUtime=2682.36 cores=1,3,5,7
/proc/12221/stat : 12221 (clasp) R 12219 12221 12183 0 -1 4202496 20135 0 0 0 268233 3 0 0 25 0 1 0 475124911 84787200 19813 33554432000 134512640 136057169 4289754560 18446744073709551615 134618304 0 0 4096 16386 0 0 0 17 1 0 0 0
/proc/12221/statm: 20700 19813 183 378 0 20320 0
Current children cumulated CPU time (s) 2682.36
Current children cumulated vsize (KiB) 82800
[startup+2742.31 s]
/proc/loadavg: 2.00 2.00 1.85 3/178 12307
/proc/meminfo: memFree=15537580/32950928 swapFree=67111528/67111528
[pid=12221] ppid=12219 vsize=82800 CPUtime=2742.37 cores=1,3,5,7
/proc/12221/stat : 12221 (clasp) R 12219 12221 12183 0 -1 4202496 20140 0 0 0 274234 3 0 0 25 0 1 0 475124911 84787200 19818 33554432000 134512640 136057169 4289754560 18446744073709551615 134823882 0 0 4096 16386 0 0 0 17 1 0 0 0
/proc/12221/statm: 20700 19818 183 378 0 20320 0
Current children cumulated CPU time (s) 2742.37
Current children cumulated vsize (KiB) 82800
[startup+2802.3 s]
/proc/loadavg: 2.00 2.00 1.86 3/178 12309
/proc/meminfo: memFree=15536808/32950928 swapFree=67111528/67111528
[pid=12221] ppid=12219 vsize=83156 CPUtime=2802.36 cores=1,3,5,7
/proc/12221/stat : 12221 (clasp) R 12219 12221 12183 0 -1 4202496 20232 0 0 0 280233 3 0 0 25 0 1 0 475124911 85151744 19910 33554432000 134512640 136057169 4289754560 18446744073709551615 134823938 0 0 4096 16386 0 0 0 17 1 0 0 0
/proc/12221/statm: 20789 19910 183 378 0 20409 0
Current children cumulated CPU time (s) 2802.36
Current children cumulated vsize (KiB) 83156
[startup+2862.3 s]
/proc/loadavg: 2.00 2.00 1.87 3/178 12310
/proc/meminfo: memFree=15535036/32950928 swapFree=67111528/67111528
[pid=12221] ppid=12219 vsize=83796 CPUtime=2862.36 cores=1,3,5,7
/proc/12221/stat : 12221 (clasp) R 12219 12221 12183 0 -1 4202496 20374 0 0 0 286233 3 0 0 25 0 1 0 475124911 85807104 20052 33554432000 134512640 136057169 4289754560 18446744073709551615 134618312 0 0 4096 16386 0 0 0 17 1 0 0 0
/proc/12221/statm: 20949 20052 183 378 0 20569 0
Current children cumulated CPU time (s) 2862.36
Current children cumulated vsize (KiB) 83796
[startup+2922.3 s]
/proc/loadavg: 2.00 2.00 1.87 3/178 12312
/proc/meminfo: memFree=15529424/32950928 swapFree=67111528/67111528
[pid=12221] ppid=12219 vsize=83796 CPUtime=2922.37 cores=1,3,5,7
/proc/12221/stat : 12221 (clasp) R 12219 12221 12183 0 -1 4202496 20377 0 0 0 292234 3 0 0 25 0 1 0 475124911 85807104 20055 33554432000 134512640 136057169 4289754560 18446744073709551615 134618238 0 0 4096 16386 0 0 0 17 1 0 0 0
/proc/12221/statm: 20949 20055 183 378 0 20569 0
Current children cumulated CPU time (s) 2922.37
Current children cumulated vsize (KiB) 83796
Solver just ended. Dumping a history of the last processes samples
[startup+2931.1 s]
/proc/loadavg: 2.00 2.00 1.87 3/178 12312
/proc/meminfo: memFree=15529048/32950928 swapFree=67111528/67111528
[pid=12221] ppid=12219 vsize=83796 CPUtime=2931.17 cores=1,3,5,7
/proc/12221/stat : 12221 (clasp) R 12219 12221 12183 0 -1 4202496 20377 0 0 0 293114 3 0 0 25 0 1 0 475124911 85807104 20055 33554432000 134512640 136057169 4289754560 18446744073709551615 134618304 0 0 4096 16386 0 0 0 17 1 0 0 0
/proc/12221/statm: 20949 20055 183 378 0 20569 0
Current children cumulated CPU time (s) 2931.17
Current children cumulated vsize (KiB) 83796
[startup+2937.5 s]
/proc/loadavg: 2.00 2.00 1.87 3/178 12312
/proc/meminfo: memFree=15528800/32950928 swapFree=67111528/67111528
[pid=12221] ppid=12219 vsize=83796 CPUtime=2937.57 cores=1,3,5,7
/proc/12221/stat : 12221 (clasp) R 12219 12221 12183 0 -1 4202496 20377 0 0 0 293754 3 0 0 25 0 1 0 475124911 85807104 20055 33554432000 134512640 136057169 4289754560 18446744073709551615 134823686 0 0 4096 16386 0 0 0 17 1 0 0 0
/proc/12221/statm: 20949 20055 183 378 0 20569 0
Current children cumulated CPU time (s) 2937.57
Current children cumulated vsize (KiB) 83796
[startup+2940.7 s]
/proc/loadavg: 2.00 2.00 1.87 3/178 12312
/proc/meminfo: memFree=15528800/32950928 swapFree=67111528/67111528
[pid=12221] ppid=12219 vsize=83796 CPUtime=2940.77 cores=1,3,5,7
/proc/12221/stat : 12221 (clasp) R 12219 12221 12183 0 -1 4202496 20377 0 0 0 294074 3 0 0 25 0 1 0 475124911 85807104 20055 33554432000 134512640 136057169 4289754560 18446744073709551615 134823938 0 0 4096 16386 0 0 0 17 1 0 0 0
/proc/12221/statm: 20949 20055 183 378 0 20569 0
Current children cumulated CPU time (s) 2940.77
Current children cumulated vsize (KiB) 83796
[startup+2942.3 s]
/proc/loadavg: 2.00 2.00 1.87 3/178 12312
/proc/meminfo: memFree=15528800/32950928 swapFree=67111528/67111528
[pid=12221] ppid=12219 vsize=83796 CPUtime=2942.37 cores=1,3,5,7
/proc/12221/stat : 12221 (clasp) R 12219 12221 12183 0 -1 4202496 20377 0 0 0 294234 3 0 0 25 0 1 0 475124911 85807104 20055 33554432000 134512640 136057169 4289754560 18446744073709551615 134823873 0 0 4096 16386 0 0 0 17 1 0 0 0
/proc/12221/statm: 20949 20055 183 378 0 20569 0
Current children cumulated CPU time (s) 2942.37
Current children cumulated vsize (KiB) 83796
[startup+2943.1 s]
/proc/loadavg: 2.00 2.00 1.87 3/178 12312
/proc/meminfo: memFree=15528800/32950928 swapFree=67111528/67111528
[pid=12221] ppid=12219 vsize=83796 CPUtime=2943.17 cores=1,3,5,7
/proc/12221/stat : 12221 (clasp) R 12219 12221 12183 0 -1 4202496 20377 0 0 0 294314 3 0 0 25 0 1 0 475124911 85807104 20055 33554432000 134512640 136057169 4289754560 18446744073709551615 134618380 0 0 4096 16386 0 0 0 17 1 0 0 0
/proc/12221/statm: 20949 20055 183 378 0 20569 0
Current children cumulated CPU time (s) 2943.17
Current children cumulated vsize (KiB) 83796
[startup+2943.5 s]
/proc/loadavg: 2.00 2.00 1.87 3/178 12312
/proc/meminfo: memFree=15528800/32950928 swapFree=67111528/67111528
[pid=12221] ppid=12219 vsize=83796 CPUtime=2943.57 cores=1,3,5,7
/proc/12221/stat : 12221 (clasp) R 12219 12221 12183 0 -1 4202496 20377 0 0 0 294354 3 0 0 25 0 1 0 475124911 85807104 20055 33554432000 134512640 136057169 4289754560 18446744073709551615 134618304 0 0 4096 16386 0 0 0 17 1 0 0 0
/proc/12221/statm: 20949 20055 183 378 0 20569 0
Current children cumulated CPU time (s) 2943.57
Current children cumulated vsize (KiB) 83796
[startup+2943.9 s]
/proc/loadavg: 2.00 2.00 1.87 3/178 12312
/proc/meminfo: memFree=15528800/32950928 swapFree=67111528/67111528
[pid=12221] ppid=12219 vsize=83796 CPUtime=2943.97 cores=1,3,5,7
/proc/12221/stat : 12221 (clasp) R 12219 12221 12183 0 -1 4202496 20377 0 0 0 294394 3 0 0 25 0 1 0 475124911 85807104 20055 33554432000 134512640 136057169 4289754560 18446744073709551615 134613057 0 0 4096 16386 0 0 0 17 1 0 0 0
/proc/12221/statm: 20949 20055 183 378 0 20569 0
Current children cumulated CPU time (s) 2943.97
Current children cumulated vsize (KiB) 83796
Child status: 10
Real time (s): 2943.98
CPU time (s): 2944.06
CPU user time (s): 2944.02
CPU system time (s): 0.035994
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 83796
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2944.02
system time used= 0.035994
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 20381
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= 5
involuntary context switches= 3940
runsolver used 3.9124 second user time and 9.58754 second system time
The end