runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.0 (svn: 977)
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-3469327-1307088285/watcher-3469327-1307088285 -o /tmp/evaluation-result-3469327-1307088285/solver-3469327-1307088285 -C 1800 -W 1900 -M 15500 HOME/clasp HOME/instance-3469327-1307088285.opb --solu --heu=VSIDS
running on 4 cores: 1,3,5,7
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: 1.91 2.00 2.01 2/459 12490
/proc/meminfo: memFree=28704092/32951124 swapFree=41830676/67111528
[pid=12490] ppid=12488 vsize=16760 CPUtime=0 cores=1,3,5,7
/proc/12490/stat : 12490 (clasp) R 12488 12490 4773 0 -1 4202496 1149 0 0 0 0 0 0 0 25 0 1 0 820426482 17162240 1091 33554432000 4194304 4933572 140736172148800 18446744073709551615 4670668 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/12490/statm: 4190 1099 308 181 0 1199 0
[startup+0.0330161 s]
/proc/loadavg: 1.91 2.00 2.01 2/459 12490
/proc/meminfo: memFree=28704092/32951124 swapFree=41830676/67111528
[pid=12490] ppid=12488 vsize=21184 CPUtime=0.02 cores=1,3,5,7
/proc/12490/stat : 12490 (clasp) R 12488 12490 4773 0 -1 4202496 2898 0 0 0 2 0 0 0 25 0 1 0 820426482 21692416 2575 33554432000 4194304 4933572 140736172148800 18446744073709551615 4579839 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/12490/statm: 5296 2575 323 181 0 2305 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 21184
[startup+0.101009 s]
/proc/loadavg: 1.91 2.00 2.01 2/459 12490
/proc/meminfo: memFree=28704092/32951124 swapFree=41830676/67111528
[pid=12490] ppid=12488 vsize=30432 CPUtime=0.08 cores=1,3,5,7
/proc/12490/stat : 12490 (clasp) R 12488 12490 4773 0 -1 4202496 5933 0 0 0 8 0 0 0 25 0 1 0 820426482 31162368 4726 33554432000 4194304 4933572 140736172148800 18446744073709551615 228122374853 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/12490/statm: 7608 4727 340 181 0 4617 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 30432
[startup+0.300972 s]
/proc/loadavg: 1.91 2.00 2.01 2/459 12490
/proc/meminfo: memFree=28704092/32951124 swapFree=41830676/67111528
[pid=12490] ppid=12488 vsize=32432 CPUtime=0.28 cores=1,3,5,7
/proc/12490/stat : 12490 (clasp) R 12488 12490 4773 0 -1 4202496 7088 0 0 0 28 0 0 0 25 0 1 0 820426482 33210368 5374 33554432000 4194304 4933572 140736172148800 18446744073709551615 4649364 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/12490/statm: 8108 5374 374 181 0 5117 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 32432
[startup+0.700897 s]
/proc/loadavg: 1.91 2.00 2.01 2/459 12490
/proc/meminfo: memFree=28704092/32951124 swapFree=41830676/67111528
[pid=12490] ppid=12488 vsize=34564 CPUtime=0.69 cores=1,3,5,7
/proc/12490/stat : 12490 (clasp) R 12488 12490 4773 0 -1 4202496 7621 0 0 0 68 1 0 0 25 0 1 0 820426482 35393536 5907 33554432000 4194304 4933572 140736172148800 18446744073709551615 4637414 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/12490/statm: 8641 5907 374 181 0 5650 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 34564
[startup+1.50076 s]
/proc/loadavg: 1.91 2.00 2.01 2/460 12491
/proc/meminfo: memFree=28681028/32951124 swapFree=41830676/67111528
[pid=12490] ppid=12488 vsize=36284 CPUtime=1.49 cores=1,3,5,7
/proc/12490/stat : 12490 (clasp) R 12488 12490 4773 0 -1 4202496 8061 0 0 0 148 1 0 0 25 0 1 0 820426482 37154816 6347 33554432000 4194304 4933572 140736172148800 18446744073709551615 4359786 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/12490/statm: 9071 6347 374 181 0 6080 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 36284
[startup+3.10046 s]
/proc/loadavg: 1.91 2.00 2.01 3/462 12518
/proc/meminfo: memFree=28660432/32951124 swapFree=41830676/67111528
[pid=12490] ppid=12488 vsize=38532 CPUtime=3.09 cores=1,3,5,7
/proc/12490/stat : 12490 (clasp) R 12488 12490 4773 0 -1 4202496 8639 0 0 0 308 1 0 0 25 0 1 0 820426482 39456768 6925 33554432000 4194304 4933572 140736172148800 18446744073709551615 4649364 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/12490/statm: 9633 6925 374 181 0 6642 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 38532
[startup+6.30088 s]
/proc/loadavg: 1.91 2.00 2.01 3/462 12518
/proc/meminfo: memFree=28649080/32951124 swapFree=41830676/67111528
[pid=12490] ppid=12488 vsize=41808 CPUtime=6.29 cores=1,3,5,7
/proc/12490/stat : 12490 (clasp) R 12488 12490 4773 0 -1 4202496 9445 0 0 0 628 1 0 0 25 0 1 0 820426482 42811392 7731 33554432000 4194304 4933572 140736172148800 18446744073709551615 4649351 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/12490/statm: 10452 7731 374 181 0 7461 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 41808
[startup+12.7007 s]
/proc/loadavg: 1.92 2.00 2.01 3/462 12518
/proc/meminfo: memFree=28636592/32951124 swapFree=41830676/67111528
[pid=12490] ppid=12488 vsize=46704 CPUtime=12.68 cores=1,3,5,7
/proc/12490/stat : 12490 (clasp) R 12488 12490 4773 0 -1 4202496 10657 0 0 0 1267 1 0 0 25 0 1 0 820426482 47824896 8943 33554432000 4194304 4933572 140736172148800 18446744073709551615 4429109 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/12490/statm: 11676 8943 374 181 0 8685 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 46704
[startup+25.5004 s]
/proc/loadavg: 1.94 2.00 2.01 3/462 12519
/proc/meminfo: memFree=28622924/32951124 swapFree=41830676/67111528
[pid=12490] ppid=12488 vsize=52432 CPUtime=25.48 cores=1,3,5,7
/proc/12490/stat : 12490 (clasp) R 12488 12490 4773 0 -1 4202496 12044 0 0 0 2547 1 0 0 25 0 1 0 820426482 53690368 10330 33554432000 4194304 4933572 140736172148800 18446744073709551615 4649369 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/12490/statm: 13108 10330 374 181 0 10117 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 52432
[startup+51.1008 s]
/proc/loadavg: 1.96 2.00 2.01 3/462 12519
/proc/meminfo: memFree=28605752/32951124 swapFree=41830676/67111528
[pid=12490] ppid=12488 vsize=62124 CPUtime=51.08 cores=1,3,5,7
/proc/12490/stat : 12490 (clasp) R 12488 12490 4773 0 -1 4202496 14413 0 0 0 5107 1 0 0 25 0 1 0 820426482 63614976 12699 33554432000 4194304 4933572 140736172148800 18446744073709551615 4649250 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/12490/statm: 15531 12699 374 181 0 12540 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 62124
[startup+102.317 s]
/proc/loadavg: 2.10 2.03 2.01 3/462 12521
/proc/meminfo: memFree=28585868/32951124 swapFree=41830676/67111528
[pid=12490] ppid=12488 vsize=71588 CPUtime=102.31 cores=1,3,5,7
/proc/12490/stat : 12490 (clasp) R 12488 12490 4773 0 -1 4202496 16650 0 0 0 10229 2 0 0 25 0 1 0 820426482 73306112 14936 33554432000 4194304 4933572 140736172148800 18446744073709551615 4649384 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/12490/statm: 17897 14936 374 181 0 14906 0
Current children cumulated CPU time (s) 102.31
Current children cumulated vsize (KiB) 71588
[startup+162.301 s]
/proc/loadavg: 2.09 2.04 2.01 3/462 12522
/proc/meminfo: memFree=28564608/32951124 swapFree=41830676/67111528
[pid=12490] ppid=12488 vsize=82068 CPUtime=162.28 cores=1,3,5,7
/proc/12490/stat : 12490 (clasp) R 12488 12490 4773 0 -1 4202496 19173 0 0 0 16226 2 0 0 25 0 1 0 820426482 84037632 17459 33554432000 4194304 4933572 140736172148800 18446744073709551615 4649384 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/12490/statm: 20517 17459 374 181 0 17526 0
Current children cumulated CPU time (s) 162.28
Current children cumulated vsize (KiB) 82068
[startup+222.301 s]
/proc/loadavg: 2.03 2.03 2.01 3/462 12524
/proc/meminfo: memFree=28548936/32951124 swapFree=41830676/67111528
[pid=12490] ppid=12488 vsize=89564 CPUtime=222.29 cores=1,3,5,7
/proc/12490/stat : 12490 (clasp) R 12488 12490 4773 0 -1 4202496 20953 0 0 0 22226 3 0 0 25 0 1 0 820426482 91713536 19239 33554432000 4194304 4933572 140736172148800 18446744073709551615 4649364 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/12490/statm: 22391 19239 374 181 0 19400 0
Current children cumulated CPU time (s) 222.29
Current children cumulated vsize (KiB) 89564
[startup+282.301 s]
/proc/loadavg: 2.01 2.02 2.00 3/462 12525
/proc/meminfo: memFree=28532900/32951124 swapFree=41830676/67111528
[pid=12490] ppid=12488 vsize=99220 CPUtime=282.29 cores=1,3,5,7
/proc/12490/stat : 12490 (clasp) R 12488 12490 4773 0 -1 4202496 23195 0 0 0 28226 3 0 0 25 0 1 0 820426482 101601280 21481 33554432000 4194304 4933572 140736172148800 18446744073709551615 4637446 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/12490/statm: 24805 21481 374 181 0 21814 0
Current children cumulated CPU time (s) 282.29
Current children cumulated vsize (KiB) 99220
[startup+342.301 s]
/proc/loadavg: 2.00 2.02 2.00 3/462 12527
/proc/meminfo: memFree=28522068/32951124 swapFree=41830676/67111528
[pid=12490] ppid=12488 vsize=105396 CPUtime=342.29 cores=1,3,5,7
/proc/12490/stat : 12490 (clasp) R 12488 12490 4773 0 -1 4202496 24623 0 0 0 34226 3 0 0 25 0 1 0 820426482 107925504 22909 33554432000 4194304 4933572 140736172148800 18446744073709551615 4637466 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/12490/statm: 26349 22909 374 181 0 23358 0
Current children cumulated CPU time (s) 342.29
Current children cumulated vsize (KiB) 105396
[startup+402.301 s]
/proc/loadavg: 2.00 2.01 2.00 3/462 12529
/proc/meminfo: memFree=28516936/32951124 swapFree=41830676/67111528
[pid=12490] ppid=12488 vsize=109072 CPUtime=402.29 cores=1,3,5,7
/proc/12490/stat : 12490 (clasp) R 12488 12490 4773 0 -1 4202496 25427 0 0 0 40226 3 0 0 25 0 1 0 820426482 111689728 23713 33554432000 4194304 4933572 140736172148800 18446744073709551615 4359769 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/12490/statm: 27268 23713 374 181 0 24277 0
Current children cumulated CPU time (s) 402.29
Current children cumulated vsize (KiB) 109072
[startup+462.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/462 12530
/proc/meminfo: memFree=28504000/32951124 swapFree=41830676/67111528
[pid=12490] ppid=12488 vsize=115644 CPUtime=462.25 cores=1,3,5,7
/proc/12490/stat : 12490 (clasp) R 12488 12490 4773 0 -1 4202496 26947 0 0 0 46221 4 0 0 25 0 1 0 820426482 118419456 25233 33554432000 4194304 4933572 140736172148800 18446744073709551615 4649402 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/12490/statm: 28911 25233 374 181 0 25920 0
Current children cumulated CPU time (s) 462.25
Current children cumulated vsize (KiB) 115644
[startup+522.3 s]
/proc/loadavg: 2.04 2.02 2.00 3/462 12532
/proc/meminfo: memFree=28497384/32951124 swapFree=41830676/67111528
[pid=12490] ppid=12488 vsize=119404 CPUtime=522.25 cores=1,3,5,7
/proc/12490/stat : 12490 (clasp) R 12488 12490 4773 0 -1 4202496 27799 0 0 0 52221 4 0 0 25 0 1 0 820426482 122269696 26085 33554432000 4194304 4933572 140736172148800 18446744073709551615 4428960 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/12490/statm: 29851 26085 374 181 0 26860 0
Current children cumulated CPU time (s) 522.25
Current children cumulated vsize (KiB) 119404
[startup+582.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/462 12533
/proc/meminfo: memFree=28492520/32951124 swapFree=41830676/67111528
[pid=12490] ppid=12488 vsize=122664 CPUtime=582.26 cores=1,3,5,7
/proc/12490/stat : 12490 (clasp) R 12488 12490 4773 0 -1 4202496 28513 0 0 0 58222 4 0 0 25 0 1 0 820426482 125607936 26799 33554432000 4194304 4933572 140736172148800 18446744073709551615 4649351 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/12490/statm: 30666 26799 374 181 0 27675 0
Current children cumulated CPU time (s) 582.26
Current children cumulated vsize (KiB) 122664
[startup+642.301 s]
################
# More data... #
################
[startup+882.301 s]
/proc/loadavg: 2.00 2.01 2.00 3/462 12541
/proc/meminfo: memFree=28461504/32951124 swapFree=41830676/67111528
[pid=12490] ppid=12488 vsize=137208 CPUtime=882.26 cores=1,3,5,7
/proc/12490/stat : 12490 (clasp) R 12488 12490 4773 0 -1 4202496 31907 0 0 0 88222 4 0 0 25 0 1 0 820426482 140500992 30193 33554432000 4194304 4933572 140736172148800 18446744073709551615 4649364 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/12490/statm: 34302 30193 374 181 0 31311 0
Current children cumulated CPU time (s) 882.26
Current children cumulated vsize (KiB) 137208
[startup+942.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/462 12543
/proc/meminfo: memFree=28460972/32951124 swapFree=41830676/67111528
[pid=12490] ppid=12488 vsize=137648 CPUtime=942.26 cores=1,3,5,7
/proc/12490/stat : 12490 (clasp) R 12488 12490 4773 0 -1 4202496 32037 0 0 0 94222 4 0 0 25 0 1 0 820426482 140951552 30323 33554432000 4194304 4933572 140736172148800 18446744073709551615 4648315 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/12490/statm: 34412 30323 374 181 0 31421 0
Current children cumulated CPU time (s) 942.26
Current children cumulated vsize (KiB) 137648
[startup+1002.3 s]
/proc/loadavg: 2.11 2.03 2.01 3/462 12545
/proc/meminfo: memFree=28456960/32951124 swapFree=41830676/67111528
[pid=12490] ppid=12488 vsize=139528 CPUtime=1002.27 cores=1,3,5,7
/proc/12490/stat : 12490 (clasp) R 12488 12490 4773 0 -1 4202496 32428 0 0 0 100222 5 0 0 25 0 1 0 820426482 142876672 30714 33554432000 4194304 4933572 140736172148800 18446744073709551615 4377188 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/12490/statm: 34882 30714 374 181 0 31891 0
Current children cumulated CPU time (s) 1002.27
Current children cumulated vsize (KiB) 139528
[startup+1062.3 s]
/proc/loadavg: 2.09 2.04 2.01 3/462 12546
/proc/meminfo: memFree=28455560/32951124 swapFree=41830676/67111528
[pid=12490] ppid=12488 vsize=139908 CPUtime=1062.27 cores=1,3,5,7
/proc/12490/stat : 12490 (clasp) R 12488 12490 4773 0 -1 4202496 32534 0 0 0 106222 5 0 0 25 0 1 0 820426482 143265792 30820 33554432000 4194304 4933572 140736172148800 18446744073709551615 4427984 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/12490/statm: 34977 30820 374 181 0 31986 0
Current children cumulated CPU time (s) 1062.27
Current children cumulated vsize (KiB) 139908
[startup+1122.3 s]
/proc/loadavg: 2.03 2.03 2.00 3/462 12548
/proc/meminfo: memFree=28443484/32951124 swapFree=41830676/67111528
[pid=12490] ppid=12488 vsize=148184 CPUtime=1122.26 cores=1,3,5,7
/proc/12490/stat : 12490 (clasp) R 12488 12490 4773 0 -1 4202496 34461 0 0 0 112221 5 0 0 25 0 1 0 820426482 151740416 32747 33554432000 4194304 4933572 140736172148800 18446744073709551615 4649384 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/12490/statm: 37046 32747 374 181 0 34055 0
Current children cumulated CPU time (s) 1122.26
Current children cumulated vsize (KiB) 148184
[startup+1182.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/462 12549
/proc/meminfo: memFree=28436012/32951124 swapFree=41830676/67111528
[pid=12490] ppid=12488 vsize=152892 CPUtime=1182.27 cores=1,3,5,7
/proc/12490/stat : 12490 (clasp) R 12488 12490 4773 0 -1 4202496 35511 0 0 0 118221 6 0 0 25 0 1 0 820426482 156561408 33797 33554432000 4194304 4933572 140736172148800 18446744073709551615 4649386 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/12490/statm: 38223 33797 374 181 0 35232 0
Current children cumulated CPU time (s) 1182.27
Current children cumulated vsize (KiB) 152892
[startup+1242.3 s]
/proc/loadavg: 2.05 2.03 2.00 3/462 12551
/proc/meminfo: memFree=28430012/32951124 swapFree=41830676/67111528
[pid=12490] ppid=12488 vsize=155500 CPUtime=1242.27 cores=1,3,5,7
/proc/12490/stat : 12490 (clasp) R 12488 12490 4773 0 -1 4202496 36122 0 0 0 124221 6 0 0 25 0 1 0 820426482 159232000 34408 33554432000 4194304 4933572 140736172148800 18446744073709551615 4649351 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/12490/statm: 38875 34408 374 181 0 35884 0
Current children cumulated CPU time (s) 1242.27
Current children cumulated vsize (KiB) 155500
[startup+1302.3 s]
/proc/loadavg: 2.02 2.02 2.00 3/462 12553
/proc/meminfo: memFree=28426976/32951124 swapFree=41830676/67111528
[pid=12490] ppid=12488 vsize=157380 CPUtime=1302.28 cores=1,3,5,7
/proc/12490/stat : 12490 (clasp) R 12488 12490 4773 0 -1 4202496 36546 0 0 0 130222 6 0 0 25 0 1 0 820426482 161157120 34832 33554432000 4194304 4933572 140736172148800 18446744073709551615 4637468 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/12490/statm: 39345 34832 374 181 0 36354 0
Current children cumulated CPU time (s) 1302.28
Current children cumulated vsize (KiB) 157380
[startup+1362.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/462 12554
/proc/meminfo: memFree=28422844/32951124 swapFree=41830676/67111528
[pid=12490] ppid=12488 vsize=161652 CPUtime=1362.27 cores=1,3,5,7
/proc/12490/stat : 12490 (clasp) R 12488 12490 4773 0 -1 4202496 37537 0 0 0 136221 6 0 0 25 0 1 0 820426482 165531648 35823 33554432000 4194304 4933572 140736172148800 18446744073709551615 4429002 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/12490/statm: 40413 35823 374 181 0 37422 0
Current children cumulated CPU time (s) 1362.27
Current children cumulated vsize (KiB) 161652
[startup+1422.32 s]
/proc/loadavg: 2.00 2.01 2.00 3/462 12556
/proc/meminfo: memFree=28421304/32951124 swapFree=41830676/67111528
[pid=12490] ppid=12488 vsize=161936 CPUtime=1422.29 cores=1,3,5,7
/proc/12490/stat : 12490 (clasp) R 12488 12490 4773 0 -1 4202496 37617 0 0 0 142223 6 0 0 25 0 1 0 820426482 165822464 35903 33554432000 4194304 4933572 140736172148800 18446744073709551615 4649364 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/12490/statm: 40484 35903 374 181 0 37493 0
Current children cumulated CPU time (s) 1422.29
Current children cumulated vsize (KiB) 161936
[startup+1482.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/462 12557
/proc/meminfo: memFree=28417176/32951124 swapFree=41830676/67111528
[pid=12490] ppid=12488 vsize=163848 CPUtime=1482.27 cores=1,3,5,7
/proc/12490/stat : 12490 (clasp) R 12488 12490 4773 0 -1 4202496 38053 0 0 0 148221 6 0 0 25 0 1 0 820426482 167780352 36339 33554432000 4194304 4933572 140736172148800 18446744073709551615 4649364 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/12490/statm: 40962 36339 374 181 0 37971 0
Current children cumulated CPU time (s) 1482.27
Current children cumulated vsize (KiB) 163848
[startup+1542.3 s]
/proc/loadavg: 2.08 2.02 2.01 3/462 12559
/proc/meminfo: memFree=28415392/32951124 swapFree=41830676/67111528
[pid=12490] ppid=12488 vsize=165156 CPUtime=1542.28 cores=1,3,5,7
/proc/12490/stat : 12490 (clasp) R 12488 12490 4773 0 -1 4202496 38297 0 0 0 154222 6 0 0 25 0 1 0 820426482 169119744 36583 33554432000 4194304 4933572 140736172148800 18446744073709551615 4649391 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/12490/statm: 41289 36583 374 181 0 38298 0
Current children cumulated CPU time (s) 1542.28
Current children cumulated vsize (KiB) 165156
[startup+1602.3 s]
/proc/loadavg: 2.10 2.03 2.00 3/462 12561
/proc/meminfo: memFree=28412864/32951124 swapFree=41830676/67111528
[pid=12490] ppid=12488 vsize=166472 CPUtime=1602.28 cores=1,3,5,7
/proc/12490/stat : 12490 (clasp) R 12488 12490 4773 0 -1 4202496 38591 0 0 0 160222 6 0 0 25 0 1 0 820426482 170467328 36877 33554432000 4194304 4933572 140736172148800 18446744073709551615 4649402 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/12490/statm: 41618 36877 374 181 0 38627 0
Current children cumulated CPU time (s) 1602.28
Current children cumulated vsize (KiB) 166472
[startup+1662.3 s]
/proc/loadavg: 2.04 2.02 2.00 3/462 12562
/proc/meminfo: memFree=28409108/32951124 swapFree=41830676/67111528
[pid=12490] ppid=12488 vsize=169232 CPUtime=1662.28 cores=1,3,5,7
/proc/12490/stat : 12490 (clasp) R 12488 12490 4773 0 -1 4202496 39201 0 0 0 166222 6 0 0 25 0 1 0 820426482 173293568 37487 33554432000 4194304 4933572 140736172148800 18446744073709551615 4649211 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/12490/statm: 42308 37487 374 181 0 39317 0
Current children cumulated CPU time (s) 1662.28
Current children cumulated vsize (KiB) 169232
[startup+1722.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/462 12564
/proc/meminfo: memFree=28408188/32951124 swapFree=41830676/67111528
[pid=12490] ppid=12488 vsize=170560 CPUtime=1722.28 cores=1,3,5,7
/proc/12490/stat : 12490 (clasp) R 12488 12490 4773 0 -1 4202496 39505 0 0 0 172222 6 0 0 25 0 1 0 820426482 174653440 37791 33554432000 4194304 4933572 140736172148800 18446744073709551615 4649364 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/12490/statm: 42640 37791 374 181 0 39649 0
Current children cumulated CPU time (s) 1722.28
Current children cumulated vsize (KiB) 170560
[startup+1782.3 s]
/proc/loadavg: 2.06 2.03 2.00 3/462 12565
/proc/meminfo: memFree=28392288/32951124 swapFree=41830676/67111528
[pid=12490] ppid=12488 vsize=178968 CPUtime=1782.29 cores=1,3,5,7
/proc/12490/stat : 12490 (clasp) R 12488 12490 4773 0 -1 4202496 41512 0 0 0 178222 7 0 0 25 0 1 0 820426482 183263232 39798 33554432000 4194304 4933572 140736172148800 18446744073709551615 4428415 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/12490/statm: 44742 39798 374 181 0 41751 0
Current children cumulated CPU time (s) 1782.29
Current children cumulated vsize (KiB) 178968
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.1 s]
/proc/loadavg: 2.05 2.02 2.00 3/462 12566
/proc/meminfo: memFree=28390896/32951124 swapFree=41830676/67111528
[pid=12490] ppid=12488 vsize=180640 CPUtime=1800.1 cores=1,3,5,7
/proc/12490/stat : 12490 (clasp) R 12488 12490 4773 0 -1 4202496 41923 0 0 0 180003 7 0 0 25 0 1 0 820426482 184975360 40209 33554432000 4194304 4933572 140736172148800 18446744073709551615 4319463 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/12490/statm: 45160 40209 374 181 0 42169 0
Current children cumulated CPU time (s) 1800.1
Current children cumulated vsize (KiB) 180640
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1800.1 s]
/proc/loadavg: 2.05 2.02 2.00 3/462 12566
/proc/meminfo: memFree=28390896/32951124 swapFree=41830676/67111528
[pid=12490] ppid=12488 vsize=180640 CPUtime=1800.1 cores=1,3,5,7
/proc/12490/stat : 12490 (clasp) R 12488 12490 4773 0 -1 4202496 41923 0 0 0 180003 7 0 0 25 0 1 0 820426482 184975360 40209 33554432000 4194304 4933572 140736172148800 18446744073709551615 4319463 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/12490/statm: 45160 40209 374 181 0 42169 0
Current children cumulated CPU time (s) 1800.1
Current children cumulated vsize (KiB) 180640
Child status: 10
Real time (s): 1800.13
CPU time (s): 1800.12
CPU user time (s): 1800.04
CPU system time (s): 0.079987
CPU usage (%): 99.9997
Max. virtual memory (cumulated for all children) (KiB): 180640
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1800.04
system time used= 0.079987
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 41933
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= 10
involuntary context switches= 7674
runsolver used 7.30289 second user time and 18.9031 second system time
The end