runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.1 (svn: 988)
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-3491975-1307781049/watcher-3491975-1307781049 -o /tmp/evaluation-result-3491975-1307781049/solver-3491975-1307781049 -C 1800 -W 1900 -M 15500 HOME/clasp HOME/instance-3491975-1307781049.opb --solu --heu=VSIDS
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 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: 2.00 2.00 1.93 2/177 18312
/proc/meminfo: memFree=31961296/32950940 swapFree=67074964/67111528
[pid=18312] ppid=18310 vsize=3928 CPUtime=0 cores=0,2,4,6
/proc/18312/stat : 18312 (clasp) R 18310 18312 13240 0 -1 4202496 733 0 0 0 0 0 0 0 25 0 1 0 968335638 4022272 637 33554432000 4194304 6245536 140734589059120 18446744073709551615 4574128 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/18312/statm: 982 637 199 501 0 478 0
[startup+0.0809219 s]
/proc/loadavg: 2.00 2.00 1.93 2/177 18312
/proc/meminfo: memFree=31961296/32950940 swapFree=67074964/67111528
[pid=18312] ppid=18310 vsize=5636 CPUtime=0.07 cores=0,2,4,6
/proc/18312/stat : 18312 (clasp) R 18310 18312 13240 0 -1 4202496 1194 0 0 0 7 0 0 0 25 0 1 0 968335638 5771264 1098 33554432000 4194304 6245536 140734589059120 18446744073709551615 4344766 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/18312/statm: 1409 1098 227 501 0 905 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 5636
[startup+0.100937 s]
/proc/loadavg: 2.00 2.00 1.93 2/177 18312
/proc/meminfo: memFree=31961296/32950940 swapFree=67074964/67111528
[pid=18312] ppid=18310 vsize=5636 CPUtime=0.09 cores=0,2,4,6
/proc/18312/stat : 18312 (clasp) R 18310 18312 13240 0 -1 4202496 1195 0 0 0 9 0 0 0 25 0 1 0 968335638 5771264 1099 33554432000 4194304 6245536 140734589059120 18446744073709551615 4700632 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/18312/statm: 1409 1099 228 501 0 905 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 5636
[startup+0.300884 s]
/proc/loadavg: 2.00 2.00 1.93 2/177 18312
/proc/meminfo: memFree=31961296/32950940 swapFree=67074964/67111528
[pid=18312] ppid=18310 vsize=5636 CPUtime=0.29 cores=0,2,4,6
/proc/18312/stat : 18312 (clasp) R 18310 18312 13240 0 -1 4202496 1195 0 0 0 29 0 0 0 25 0 1 0 968335638 5771264 1099 33554432000 4194304 6245536 140734589059120 18446744073709551615 4700384 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/18312/statm: 1409 1099 228 501 0 905 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 5636
[startup+0.700815 s]
/proc/loadavg: 2.00 2.00 1.93 2/177 18312
/proc/meminfo: memFree=31961296/32950940 swapFree=67074964/67111528
[pid=18312] ppid=18310 vsize=7440 CPUtime=0.69 cores=0,2,4,6
/proc/18312/stat : 18312 (clasp) R 18310 18312 13240 0 -1 4202496 1622 0 0 0 69 0 0 0 25 0 1 0 968335638 7618560 1526 33554432000 4194304 6245536 140734589059120 18446744073709551615 4637435 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/18312/statm: 1860 1526 229 501 0 1356 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 7440
[startup+1.50067 s]
/proc/loadavg: 2.00 2.00 1.93 3/178 18313
/proc/meminfo: memFree=31955856/32950940 swapFree=67074964/67111528
[pid=18312] ppid=18310 vsize=8740 CPUtime=1.49 cores=0,2,4,6
/proc/18312/stat : 18312 (clasp) R 18310 18312 13240 0 -1 4202496 1962 0 0 0 149 0 0 0 25 0 1 0 968335638 8949760 1866 33554432000 4194304 6245536 140734589059120 18446744073709551615 4646495 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/18312/statm: 2185 1866 229 501 0 1681 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 8740
[startup+3.10033 s]
/proc/loadavg: 2.00 2.00 1.93 3/178 18313
/proc/meminfo: memFree=31954612/32950940 swapFree=67074964/67111528
[pid=18312] ppid=18310 vsize=9772 CPUtime=3.09 cores=0,2,4,6
/proc/18312/stat : 18312 (clasp) R 18310 18312 13240 0 -1 4202496 2222 0 0 0 309 0 0 0 25 0 1 0 968335638 10006528 2126 33554432000 4194304 6245536 140734589059120 18446744073709551615 4635119 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/18312/statm: 2443 2126 229 501 0 1939 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 9772
[startup+6.30083 s]
/proc/loadavg: 2.00 2.00 1.93 3/178 18313
/proc/meminfo: memFree=31953440/32950940 swapFree=67074964/67111528
[pid=18312] ppid=18310 vsize=9772 CPUtime=6.29 cores=0,2,4,6
/proc/18312/stat : 18312 (clasp) R 18310 18312 13240 0 -1 4202496 2222 0 0 0 629 0 0 0 25 0 1 0 968335638 10006528 2126 33554432000 4194304 6245536 140734589059120 18446744073709551615 4408690 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/18312/statm: 2443 2126 229 501 0 1939 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 9772
[startup+12.7007 s]
/proc/loadavg: 2.00 2.00 1.93 3/178 18313
/proc/meminfo: memFree=31951480/32950940 swapFree=67074964/67111528
[pid=18312] ppid=18310 vsize=12844 CPUtime=12.69 cores=0,2,4,6
/proc/18312/stat : 18312 (clasp) R 18310 18312 13240 0 -1 4202496 2976 0 0 0 1269 0 0 0 25 0 1 0 968335638 13152256 2875 33554432000 4194304 6245536 140734589059120 18446744073709551615 4323520 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/18312/statm: 3211 2875 229 501 0 2707 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 12844
[startup+25.5005 s]
/proc/loadavg: 2.00 2.00 1.93 3/178 18314
/proc/meminfo: memFree=31949480/32950940 swapFree=67074964/67111528
[pid=18312] ppid=18310 vsize=13584 CPUtime=25.49 cores=0,2,4,6
/proc/18312/stat : 18312 (clasp) R 18310 18312 13240 0 -1 4202496 3158 0 0 0 2549 0 0 0 25 0 1 0 968335638 13910016 3057 33554432000 4194304 6245536 140734589059120 18446744073709551615 4701915 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/18312/statm: 3396 3057 229 501 0 2892 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 13584
[startup+51.101 s]
/proc/loadavg: 2.00 2.00 1.93 3/178 18314
/proc/meminfo: memFree=31944444/32950940 swapFree=67074964/67111528
[pid=18312] ppid=18310 vsize=18736 CPUtime=51.09 cores=0,2,4,6
/proc/18312/stat : 18312 (clasp) R 18310 18312 13240 0 -1 4202496 4569 0 0 0 5109 0 0 0 25 0 1 0 968335638 19185664 4326 33554432000 4194304 6245536 140734589059120 18446744073709551615 5369621 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/18312/statm: 4684 4326 229 501 0 4180 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 18736
[startup+102.306 s]
/proc/loadavg: 2.00 2.00 1.93 3/178 18316
/proc/meminfo: memFree=31940668/32950940 swapFree=67074964/67111528
[pid=18312] ppid=18310 vsize=21904 CPUtime=102.29 cores=0,2,4,6
/proc/18312/stat : 18312 (clasp) R 18310 18312 13240 0 -1 4202496 5724 0 0 0 10229 0 0 0 25 0 1 0 968335638 22429696 5139 33554432000 4194304 6245536 140734589059120 18446744073709551615 4342706 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/18312/statm: 5476 5139 229 501 0 4972 0
Current children cumulated CPU time (s) 102.29
Current children cumulated vsize (KiB) 21904
[startup+162.301 s]
/proc/loadavg: 2.00 2.00 1.93 3/178 18317
/proc/meminfo: memFree=31938008/32950940 swapFree=67074964/67111528
[pid=18312] ppid=18310 vsize=24576 CPUtime=162.3 cores=0,2,4,6
/proc/18312/stat : 18312 (clasp) R 18310 18312 13240 0 -1 4202496 6547 0 0 0 16229 1 0 0 25 0 1 0 968335638 25165824 5768 33554432000 4194304 6245536 140734589059120 18446744073709551615 4628868 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/18312/statm: 6144 5768 229 501 0 5640 0
Current children cumulated CPU time (s) 162.3
Current children cumulated vsize (KiB) 24576
[startup+222.301 s]
/proc/loadavg: 2.07 2.02 1.93 3/178 18319
/proc/meminfo: memFree=31933732/32950940 swapFree=67074964/67111528
[pid=18312] ppid=18310 vsize=28492 CPUtime=222.3 cores=0,2,4,6
/proc/18312/stat : 18312 (clasp) R 18310 18312 13240 0 -1 4202496 7762 0 0 0 22229 1 0 0 25 0 1 0 968335638 29175808 6771 33554432000 4194304 6245536 140734589059120 18446744073709551615 4320313 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/18312/statm: 7123 6771 229 501 0 6619 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 28492
[startup+282.301 s]
/proc/loadavg: 2.02 2.01 1.93 3/178 18320
/proc/meminfo: memFree=31932432/32950940 swapFree=67074964/67111528
[pid=18312] ppid=18310 vsize=29764 CPUtime=282.3 cores=0,2,4,6
/proc/18312/stat : 18312 (clasp) R 18310 18312 13240 0 -1 4202496 8408 0 0 0 28229 1 0 0 25 0 1 0 968335638 30478336 7092 33554432000 4194304 6245536 140734589059120 18446744073709551615 4323203 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/18312/statm: 7441 7092 229 501 0 6937 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 29764
[startup+342.301 s]
/proc/loadavg: 2.01 2.00 1.93 3/178 18322
/proc/meminfo: memFree=31931484/32950940 swapFree=67074964/67111528
[pid=18312] ppid=18310 vsize=31152 CPUtime=342.3 cores=0,2,4,6
/proc/18312/stat : 18312 (clasp) R 18310 18312 13240 0 -1 4202496 8832 0 0 0 34229 1 0 0 25 0 1 0 968335638 31899648 7417 33554432000 4194304 6245536 140734589059120 18446744073709551615 4633927 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/18312/statm: 7788 7417 229 501 0 7284 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 31152
[startup+402.301 s]
/proc/loadavg: 2.08 2.02 1.94 3/178 18324
/proc/meminfo: memFree=31928956/32950940 swapFree=67074964/67111528
[pid=18312] ppid=18310 vsize=33604 CPUtime=402.3 cores=0,2,4,6
/proc/18312/stat : 18312 (clasp) R 18310 18312 13240 0 -1 4202496 9621 0 0 0 40229 1 0 0 25 0 1 0 968335638 34410496 8023 33554432000 4194304 6245536 140734589059120 18446744073709551615 4324356 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/18312/statm: 8401 8023 229 501 0 7897 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 33604
[startup+462.301 s]
/proc/loadavg: 2.03 2.01 1.94 3/178 18325
/proc/meminfo: memFree=31923684/32950940 swapFree=67074964/67111528
[pid=18312] ppid=18310 vsize=38736 CPUtime=462.3 cores=0,2,4,6
/proc/18312/stat : 18312 (clasp) R 18310 18312 13240 0 -1 4202496 11164 0 0 0 46229 1 0 0 25 0 1 0 968335638 39665664 9275 33554432000 4194304 6245536 140734589059120 18446744073709551615 4628996 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/18312/statm: 9684 9275 229 501 0 9180 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 38736
[startup+522.3 s]
/proc/loadavg: 2.01 2.00 1.94 3/178 18330
/proc/meminfo: memFree=31922452/32950940 swapFree=67074964/67111528
[pid=18312] ppid=18310 vsize=39600 CPUtime=522.3 cores=0,2,4,6
/proc/18312/stat : 18312 (clasp) R 18310 18312 13240 0 -1 4202496 11332 0 0 0 52229 1 0 0 25 0 1 0 968335638 40550400 9443 33554432000 4194304 6245536 140734589059120 18446744073709551615 4633892 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/18312/statm: 9900 9443 229 501 0 9396 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 39600
[startup+582.301 s]
/proc/loadavg: 2.00 2.00 1.94 3/178 18331
/proc/meminfo: memFree=31922628/32950940 swapFree=67074964/67111528
[pid=18312] ppid=18310 vsize=39600 CPUtime=582.3 cores=0,2,4,6
/proc/18312/stat : 18312 (clasp) R 18310 18312 13240 0 -1 4202496 11332 0 0 0 58229 1 0 0 25 0 1 0 968335638 40550400 9443 33554432000 4194304 6245536 140734589059120 18446744073709551615 4628264 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/18312/statm: 9900 9443 229 501 0 9396 0
Current children cumulated CPU time (s) 582.3
Current children cumulated vsize (KiB) 39600
[startup+642.3 s]
################
# More data... #
################
[startup+822.301 s]
/proc/loadavg: 2.00 2.00 1.94 3/178 18338
/proc/meminfo: memFree=31919068/32950940 swapFree=67074964/67111528
[pid=18312] ppid=18310 vsize=42580 CPUtime=822.31 cores=0,2,4,6
/proc/18312/stat : 18312 (clasp) R 18310 18312 13240 0 -1 4202496 12590 0 0 0 82229 2 0 0 25 0 1 0 968335638 43601920 10223 33554432000 4194304 6245536 140734589059120 18446744073709551615 4700384 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/18312/statm: 10645 10223 229 501 0 10141 0
Current children cumulated CPU time (s) 822.31
Current children cumulated vsize (KiB) 42580
[startup+882.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/178 18339
/proc/meminfo: memFree=31918660/32950940 swapFree=67074964/67111528
[pid=18312] ppid=18310 vsize=43020 CPUtime=882.31 cores=0,2,4,6
/proc/18312/stat : 18312 (clasp) R 18310 18312 13240 0 -1 4202496 12768 0 0 0 88229 2 0 0 25 0 1 0 968335638 44052480 10328 33554432000 4194304 6245536 140734589059120 18446744073709551615 4646523 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/18312/statm: 10755 10328 229 501 0 10251 0
Current children cumulated CPU time (s) 882.31
Current children cumulated vsize (KiB) 43020
[startup+942.301 s]
/proc/loadavg: 2.00 2.00 1.94 3/178 18341
/proc/meminfo: memFree=31918588/32950940 swapFree=67074964/67111528
[pid=18312] ppid=18310 vsize=43252 CPUtime=942.31 cores=0,2,4,6
/proc/18312/stat : 18312 (clasp) R 18310 18312 13240 0 -1 4202496 12812 0 0 0 94229 2 0 0 25 0 1 0 968335638 44290048 10372 33554432000 4194304 6245536 140734589059120 18446744073709551615 4344787 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/18312/statm: 10813 10372 229 501 0 10309 0
Current children cumulated CPU time (s) 942.31
Current children cumulated vsize (KiB) 43252
[startup+1002.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/178 18343
/proc/meminfo: memFree=31918656/32950940 swapFree=67074964/67111528
[pid=18312] ppid=18310 vsize=43252 CPUtime=1002.31 cores=0,2,4,6
/proc/18312/stat : 18312 (clasp) R 18310 18312 13240 0 -1 4202496 12812 0 0 0 100229 2 0 0 25 0 1 0 968335638 44290048 10372 33554432000 4194304 6245536 140734589059120 18446744073709551615 4633950 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/18312/statm: 10813 10372 229 501 0 10309 0
Current children cumulated CPU time (s) 1002.31
Current children cumulated vsize (KiB) 43252
[startup+1062.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/178 18344
/proc/meminfo: memFree=31918604/32950940 swapFree=67074964/67111528
[pid=18312] ppid=18310 vsize=43252 CPUtime=1062.32 cores=0,2,4,6
/proc/18312/stat : 18312 (clasp) R 18310 18312 13240 0 -1 4202496 12812 0 0 0 106230 2 0 0 25 0 1 0 968335638 44290048 10372 33554432000 4194304 6245536 140734589059120 18446744073709551615 4633856 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/18312/statm: 10813 10372 229 501 0 10309 0
Current children cumulated CPU time (s) 1062.32
Current children cumulated vsize (KiB) 43252
[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/178 18346
/proc/meminfo: memFree=31918544/32950940 swapFree=67074964/67111528
[pid=18312] ppid=18310 vsize=43252 CPUtime=1122.32 cores=0,2,4,6
/proc/18312/stat : 18312 (clasp) R 18310 18312 13240 0 -1 4202496 12814 0 0 0 112230 2 0 0 25 0 1 0 968335638 44290048 10374 33554432000 4194304 6245536 140734589059120 18446744073709551615 4397834 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/18312/statm: 10813 10374 229 501 0 10309 0
Current children cumulated CPU time (s) 1122.32
Current children cumulated vsize (KiB) 43252
[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/178 18347
/proc/meminfo: memFree=31918240/32950940 swapFree=67074964/67111528
[pid=18312] ppid=18310 vsize=43680 CPUtime=1182.32 cores=0,2,4,6
/proc/18312/stat : 18312 (clasp) R 18310 18312 13240 0 -1 4202496 12903 0 0 0 118230 2 0 0 25 0 1 0 968335638 44728320 10463 33554432000 4194304 6245536 140734589059120 18446744073709551615 4324241 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/18312/statm: 10920 10463 229 501 0 10416 0
Current children cumulated CPU time (s) 1182.32
Current children cumulated vsize (KiB) 43680
[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/178 18349
/proc/meminfo: memFree=31917924/32950940 swapFree=67074964/67111528
[pid=18312] ppid=18310 vsize=43852 CPUtime=1242.32 cores=0,2,4,6
/proc/18312/stat : 18312 (clasp) R 18310 18312 13240 0 -1 4202496 12932 0 0 0 124230 2 0 0 25 0 1 0 968335638 44904448 10492 33554432000 4194304 6245536 140734589059120 18446744073709551615 4702482 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/18312/statm: 10963 10492 229 501 0 10459 0
Current children cumulated CPU time (s) 1242.32
Current children cumulated vsize (KiB) 43852
[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/178 18351
/proc/meminfo: memFree=31917856/32950940 swapFree=67074964/67111528
[pid=18312] ppid=18310 vsize=43852 CPUtime=1302.32 cores=0,2,4,6
/proc/18312/stat : 18312 (clasp) R 18310 18312 13240 0 -1 4202496 12932 0 0 0 130230 2 0 0 25 0 1 0 968335638 44904448 10492 33554432000 4194304 6245536 140734589059120 18446744073709551615 4628286 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/18312/statm: 10963 10492 229 501 0 10459 0
Current children cumulated CPU time (s) 1302.32
Current children cumulated vsize (KiB) 43852
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/178 18352
/proc/meminfo: memFree=31917940/32950940 swapFree=67074964/67111528
[pid=18312] ppid=18310 vsize=44156 CPUtime=1362.32 cores=0,2,4,6
/proc/18312/stat : 18312 (clasp) R 18310 18312 13240 0 -1 4202496 13019 0 0 0 136230 2 0 0 25 0 1 0 968335638 45215744 10579 33554432000 4194304 6245536 140734589059120 18446744073709551615 4324288 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/18312/statm: 11039 10579 229 501 0 10535 0
Current children cumulated CPU time (s) 1362.32
Current children cumulated vsize (KiB) 44156
[startup+1422.31 s]
/proc/loadavg: 2.04 2.01 1.94 3/178 18354
/proc/meminfo: memFree=31916888/32950940 swapFree=67074964/67111528
[pid=18312] ppid=18310 vsize=45000 CPUtime=1422.33 cores=0,2,4,6
/proc/18312/stat : 18312 (clasp) R 18310 18312 13240 0 -1 4202496 13338 0 0 0 142231 2 0 0 25 0 1 0 968335638 46080000 10784 33554432000 4194304 6245536 140734589059120 18446744073709551615 4317354 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/18312/statm: 11250 10784 229 501 0 10746 0
Current children cumulated CPU time (s) 1422.33
Current children cumulated vsize (KiB) 45000
[startup+1482.3 s]
/proc/loadavg: 2.01 2.01 1.94 3/178 18355
/proc/meminfo: memFree=31916700/32950940 swapFree=67074964/67111528
[pid=18312] ppid=18310 vsize=45036 CPUtime=1482.32 cores=0,2,4,6
/proc/18312/stat : 18312 (clasp) R 18310 18312 13240 0 -1 4202496 13780 0 0 0 148230 2 0 0 25 0 1 0 968335638 46116864 10795 33554432000 4194304 6245536 140734589059120 18446744073709551615 4342430 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/18312/statm: 11259 10795 229 501 0 10755 0
Current children cumulated CPU time (s) 1482.32
Current children cumulated vsize (KiB) 45036
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/178 18357
/proc/meminfo: memFree=31916504/32950940 swapFree=67074964/67111528
[pid=18312] ppid=18310 vsize=45616 CPUtime=1542.32 cores=0,2,4,6
/proc/18312/stat : 18312 (clasp) R 18310 18312 13240 0 -1 4202496 14188 0 0 0 154230 2 0 0 25 0 1 0 968335638 46710784 10938 33554432000 4194304 6245536 140734589059120 18446744073709551615 4629028 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/18312/statm: 11404 10938 229 501 0 10900 0
Current children cumulated CPU time (s) 1542.32
Current children cumulated vsize (KiB) 45616
[startup+1602.3 s]
/proc/loadavg: 1.66 1.92 1.91 2/172 18384
/proc/meminfo: memFree=31923940/32950940 swapFree=67074964/67111528
[pid=18312] ppid=18310 vsize=45096 CPUtime=1602.32 cores=0,2,4,6
/proc/18312/stat : 18312 (clasp) R 18310 18312 13240 0 -1 4202496 14793 0 0 0 160230 2 0 0 25 0 1 0 968335638 46178304 10811 33554432000 4194304 6245536 140734589059120 18446744073709551615 4633936 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/18312/statm: 11274 10811 229 501 0 10770 0
Current children cumulated CPU time (s) 1602.32
Current children cumulated vsize (KiB) 45096
[startup+1662.3 s]
/proc/loadavg: 1.22 1.74 1.85 2/172 18385
/proc/meminfo: memFree=31923988/32950940 swapFree=67074964/67111528
[pid=18312] ppid=18310 vsize=45268 CPUtime=1662.33 cores=0,2,4,6
/proc/18312/stat : 18312 (clasp) R 18310 18312 13240 0 -1 4202496 14869 0 0 0 166230 3 0 0 25 0 1 0 968335638 46354432 10853 33554432000 4194304 6245536 140734589059120 18446744073709551615 4635125 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/18312/statm: 11317 10853 229 501 0 10813 0
Current children cumulated CPU time (s) 1662.33
Current children cumulated vsize (KiB) 45268
[startup+1722.3 s]
/proc/loadavg: 1.09 1.61 1.80 2/172 18387
/proc/meminfo: memFree=31923928/32950940 swapFree=67074964/67111528
[pid=18312] ppid=18310 vsize=45940 CPUtime=1722.33 cores=0,2,4,6
/proc/18312/stat : 18312 (clasp) R 18310 18312 13240 0 -1 4202496 15023 0 0 0 172230 3 0 0 25 0 1 0 968335638 47042560 10967 33554432000 4194304 6245536 140734589059120 18446744073709551615 4344635 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/18312/statm: 11485 10967 229 501 0 10981 0
Current children cumulated CPU time (s) 1722.33
Current children cumulated vsize (KiB) 45940
[startup+1782.3 s]
/proc/loadavg: 1.03 1.49 1.74 2/172 18388
/proc/meminfo: memFree=31923240/32950940 swapFree=67074964/67111528
[pid=18312] ppid=18310 vsize=46364 CPUtime=1782.34 cores=0,2,4,6
/proc/18312/stat : 18312 (clasp) R 18310 18312 13240 0 -1 4202496 15144 0 0 0 178231 3 0 0 25 0 1 0 968335638 47476736 11088 33554432000 4194304 6245536 140734589059120 18446744073709551615 4344318 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/18312/statm: 11591 11088 229 501 0 11087 0
Current children cumulated CPU time (s) 1782.34
Current children cumulated vsize (KiB) 46364
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800 s]
/proc/loadavg: 1.02 1.46 1.73 2/172 18389
/proc/meminfo: memFree=31922976/32950940 swapFree=67074964/67111528
[pid=18312] ppid=18310 vsize=46532 CPUtime=1800.04 cores=0,2,4,6
/proc/18312/stat : 18312 (clasp) R 18310 18312 13240 0 -1 4202496 15165 0 0 0 180001 3 0 0 25 0 1 0 968335638 47648768 11109 33554432000 4194304 6245536 140734589059120 18446744073709551615 4324536 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/18312/statm: 11633 11109 229 501 0 11129 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 46532
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
Child status: 10
Real time (s): 1800.01
CPU time (s): 1800.05
CPU user time (s): 1800.02
CPU system time (s): 0.032994
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 46532
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1800.02
system time used= 0.032994
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 15176
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= 4
involuntary context switches= 2601
runsolver used 2.58861 second user time and 5.60515 second system time
The end