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-3468157-1307084168/watcher-3468157-1307084168 -o /tmp/evaluation-result-3468157-1307084168/solver-3468157-1307084168 -C 1800 -W 1900 -M 15500 HOME/clasp HOME/instance-3468157-1307084168.opb --berk-max=512 --berk-once --otfs=1 --recursive-str --dinit=1500,10000 --dsched=10000,1.1,20000 --restart-on-model --opt-heu=2
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: 1.05 1.52 1.80 3/497 9835
/proc/meminfo: memFree=29144852/32951132 swapFree=57925096/67111528
[pid=9833] ppid=9830 vsize=12836 CPUtime=0.01 cores=0,2,4,6
/proc/9833/stat : 9833 (clasp) R 9830 9833 7222 0 -1 4202496 637 0 0 0 1 0 0 0 18 0 1 0 820016474 13144064 570 33554432000 4194304 4933572 140736546207712 18446744073709551615 210646807237 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/9833/statm: 3209 570 371 181 0 218 0
[startup+0.0624061 s]
/proc/loadavg: 1.05 1.52 1.80 3/497 9835
/proc/meminfo: memFree=29144852/32951132 swapFree=57925096/67111528
[pid=9833] ppid=9830 vsize=13892 CPUtime=0.06 cores=0,2,4,6
/proc/9833/stat : 9833 (clasp) R 9830 9833 7222 0 -1 4202496 895 0 0 0 6 0 0 0 18 0 1 0 820016474 14225408 828 33554432000 4194304 4933572 140736546207712 18446744073709551615 210646807237 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/9833/statm: 3473 828 378 181 0 482 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 13892
[startup+0.100414 s]
/proc/loadavg: 1.05 1.52 1.80 3/497 9835
/proc/meminfo: memFree=29144852/32951132 swapFree=57925096/67111528
[pid=9833] ppid=9830 vsize=14288 CPUtime=0.09 cores=0,2,4,6
/proc/9833/stat : 9833 (clasp) R 9830 9833 7222 0 -1 4202496 1003 0 0 0 9 0 0 0 18 0 1 0 820016474 14630912 936 33554432000 4194304 4933572 140736546207712 18446744073709551615 4717599 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/9833/statm: 3572 936 378 181 0 581 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 14288
[startup+0.300366 s]
/proc/loadavg: 1.05 1.52 1.80 3/497 9835
/proc/meminfo: memFree=29144852/32951132 swapFree=57925096/67111528
[pid=9833] ppid=9830 vsize=14956 CPUtime=0.29 cores=0,2,4,6
/proc/9833/stat : 9833 (clasp) R 9830 9833 7222 0 -1 4202496 1163 0 0 0 29 0 0 0 18 0 1 0 820016474 15314944 1096 33554432000 4194304 4933572 140736546207712 18446744073709551615 4625202 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/9833/statm: 3739 1096 378 181 0 748 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 14956
[startup+0.700312 s]
/proc/loadavg: 1.05 1.52 1.80 3/497 9835
/proc/meminfo: memFree=29144852/32951132 swapFree=57925096/67111528
[pid=9833] ppid=9830 vsize=16012 CPUtime=0.69 cores=0,2,4,6
/proc/9833/stat : 9833 (clasp) R 9830 9833 7222 0 -1 4202496 1406 0 0 0 69 0 0 0 18 0 1 0 820016474 16396288 1339 33554432000 4194304 4933572 140736546207712 18446744073709551615 4664062 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/9833/statm: 4003 1339 378 181 0 1012 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 16012
[startup+1.5002 s]
/proc/loadavg: 1.05 1.52 1.80 4/499 9837
/proc/meminfo: memFree=29134792/32951132 swapFree=57925096/67111528
[pid=9833] ppid=9830 vsize=16668 CPUtime=1.49 cores=0,2,4,6
/proc/9833/stat : 9833 (clasp) R 9830 9833 7222 0 -1 4202496 1595 0 0 0 149 0 0 0 20 0 1 0 820016474 17068032 1528 33554432000 4194304 4933572 140736546207712 18446744073709551615 4717554 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/9833/statm: 4167 1528 378 181 0 1176 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 16668
[startup+3.10088 s]
/proc/loadavg: 1.13 1.52 1.80 4/499 9837
/proc/meminfo: memFree=29131304/32951132 swapFree=57925096/67111528
[pid=9833] ppid=9830 vsize=17464 CPUtime=3.09 cores=0,2,4,6
/proc/9833/stat : 9833 (clasp) R 9830 9833 7222 0 -1 4202496 1781 0 0 0 309 0 0 0 25 0 1 0 820016474 17883136 1714 33554432000 4194304 4933572 140736546207712 18446744073709551615 4635384 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/9833/statm: 4366 1714 378 181 0 1375 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 17464
[startup+6.30037 s]
/proc/loadavg: 1.13 1.52 1.80 4/499 9837
/proc/meminfo: memFree=29127584/32951132 swapFree=57925096/67111528
[pid=9833] ppid=9830 vsize=18784 CPUtime=6.29 cores=0,2,4,6
/proc/9833/stat : 9833 (clasp) R 9830 9833 7222 0 -1 4202496 2116 0 0 0 628 1 0 0 25 0 1 0 820016474 19234816 2049 33554432000 4194304 4933572 140736546207712 18446744073709551615 4319373 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/9833/statm: 4696 2049 378 181 0 1705 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 18784
[startup+12.7003 s]
/proc/loadavg: 1.26 1.54 1.80 4/499 9837
/proc/meminfo: memFree=29123224/32951132 swapFree=57925096/67111528
[pid=9833] ppid=9830 vsize=20368 CPUtime=12.69 cores=0,2,4,6
/proc/9833/stat : 9833 (clasp) R 9830 9833 7222 0 -1 4202496 2498 0 0 0 1267 2 0 0 25 0 1 0 820016474 20856832 2431 33554432000 4194304 4933572 140736546207712 18446744073709551615 4632144 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/9833/statm: 5092 2431 378 181 0 2101 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 20368
[startup+25.5011 s]
/proc/loadavg: 1.37 1.55 1.80 3/499 9837
/proc/meminfo: memFree=29121484/32951132 swapFree=57925096/67111528
[pid=9833] ppid=9830 vsize=21268 CPUtime=25.49 cores=0,2,4,6
/proc/9833/stat : 9833 (clasp) R 9830 9833 7222 0 -1 4202496 2744 0 0 0 2545 4 0 0 25 0 1 0 820016474 21778432 2674 33554432000 4194304 4933572 140736546207712 18446744073709551615 4713010 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/9833/statm: 5317 2674 378 181 0 2326 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 21268
[startup+51.1008 s]
/proc/loadavg: 1.59 1.59 1.81 4/499 9837
/proc/meminfo: memFree=29119456/32951132 swapFree=57925096/67111528
[pid=9833] ppid=9830 vsize=22188 CPUtime=51.09 cores=0,2,4,6
/proc/9833/stat : 9833 (clasp) R 9830 9833 7222 0 -1 4202496 2983 0 0 0 5105 4 0 0 25 0 1 0 820016474 22720512 2913 33554432000 4194304 4933572 140736546207712 18446744073709551615 4319365 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/9833/statm: 5547 2913 378 181 0 2556 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 22188
[startup+102.32 s]
/proc/loadavg: 1.83 1.66 1.82 4/499 9839
/proc/meminfo: memFree=29116724/32951132 swapFree=57925096/67111528
[pid=9833] ppid=9830 vsize=23692 CPUtime=102.32 cores=0,2,4,6
/proc/9833/stat : 9833 (clasp) R 9830 9833 7222 0 -1 4202496 3373 0 0 0 10227 5 0 0 25 0 1 0 820016474 24260608 3289 33554432000 4194304 4933572 140736546207712 18446744073709551615 4637287 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/9833/statm: 5923 3289 378 181 0 2932 0
Current children cumulated CPU time (s) 102.32
Current children cumulated vsize (KiB) 23692
[startup+162.301 s]
/proc/loadavg: 1.93 1.71 1.82 3/499 9841
/proc/meminfo: memFree=29112244/32951132 swapFree=57925096/67111528
[pid=9833] ppid=9830 vsize=24712 CPUtime=162.29 cores=0,2,4,6
/proc/9833/stat : 9833 (clasp) R 9830 9833 7222 0 -1 4202496 3628 0 0 0 16224 5 0 0 25 0 1 0 820016474 25305088 3543 33554432000 4194304 4933572 140736546207712 18446744073709551615 4637439 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/9833/statm: 6178 3543 378 181 0 3187 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 24712
[startup+222.301 s]
/proc/loadavg: 1.97 1.76 1.83 4/499 9843
/proc/meminfo: memFree=29111364/32951132 swapFree=57925096/67111528
[pid=9833] ppid=9830 vsize=25452 CPUtime=222.3 cores=0,2,4,6
/proc/9833/stat : 9833 (clasp) R 9830 9833 7222 0 -1 4202496 3836 0 0 0 22224 6 0 0 25 0 1 0 820016474 26062848 3725 33554432000 4194304 4933572 140736546207712 18446744073709551615 4332754 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/9833/statm: 6363 3725 378 181 0 3372 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 25452
[startup+282.301 s]
/proc/loadavg: 1.99 1.80 1.84 4/499 9843
/proc/meminfo: memFree=29112228/32951132 swapFree=57925096/67111528
[pid=9833] ppid=9830 vsize=25816 CPUtime=282.29 cores=0,2,4,6
/proc/9833/stat : 9833 (clasp) R 9830 9833 7222 0 -1 4202496 3926 0 0 0 28223 6 0 0 25 0 1 0 820016474 26435584 3804 33554432000 4194304 4933572 140736546207712 18446744073709551615 4427996 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/9833/statm: 6454 3804 378 181 0 3463 0
Current children cumulated CPU time (s) 282.29
Current children cumulated vsize (KiB) 25816
[startup+342.301 s]
/proc/loadavg: 1.99 1.84 1.84 4/499 9854
/proc/meminfo: memFree=29111144/32951132 swapFree=57925096/67111528
[pid=9833] ppid=9830 vsize=26020 CPUtime=342.3 cores=0,2,4,6
/proc/9833/stat : 9833 (clasp) R 9830 9833 7222 0 -1 4202496 3963 0 0 0 34221 9 0 0 25 0 1 0 820016474 26644480 3834 33554432000 4194304 4933572 140736546207712 18446744073709551615 4637219 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/9833/statm: 6505 3834 378 181 0 3514 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 26020
[startup+402.301 s]
/proc/loadavg: 1.99 1.86 1.85 4/499 9856
/proc/meminfo: memFree=29110520/32951132 swapFree=57925096/67111528
[pid=9833] ppid=9830 vsize=26020 CPUtime=402.29 cores=0,2,4,6
/proc/9833/stat : 9833 (clasp) R 9830 9833 7222 0 -1 4202496 3985 0 0 0 40220 9 0 0 25 0 1 0 820016474 26644480 3856 33554432000 4194304 4933572 140736546207712 18446744073709551615 4637449 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/9833/statm: 6505 3856 378 181 0 3514 0
Current children cumulated CPU time (s) 402.29
Current children cumulated vsize (KiB) 26020
[startup+462.301 s]
/proc/loadavg: 2.10 1.92 1.86 4/499 9858
/proc/meminfo: memFree=29109644/32951132 swapFree=57925096/67111528
[pid=9833] ppid=9830 vsize=26556 CPUtime=462.3 cores=0,2,4,6
/proc/9833/stat : 9833 (clasp) R 9830 9833 7222 0 -1 4202496 4126 0 0 0 46220 10 0 0 25 0 1 0 820016474 27193344 3990 33554432000 4194304 4933572 140736546207712 18446744073709551615 4427996 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/9833/statm: 6639 3990 378 181 0 3648 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 26556
[startup+522.3 s]
/proc/loadavg: 2.14 1.96 1.88 4/499 9860
/proc/meminfo: memFree=29109268/32951132 swapFree=57925096/67111528
[pid=9833] ppid=9830 vsize=26720 CPUtime=522.29 cores=0,2,4,6
/proc/9833/stat : 9833 (clasp) R 9830 9833 7222 0 -1 4202496 4184 0 0 0 52219 10 0 0 25 0 1 0 820016474 27361280 4037 33554432000 4194304 4933572 140736546207712 18446744073709551615 4319360 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/9833/statm: 6680 4037 378 181 0 3689 0
Current children cumulated CPU time (s) 522.29
Current children cumulated vsize (KiB) 26720
[startup+582.3 s]
/proc/loadavg: 2.05 1.96 1.89 4/499 9861
/proc/meminfo: memFree=29108520/32951132 swapFree=57925096/67111528
[pid=9833] ppid=9830 vsize=26868 CPUtime=582.3 cores=0,2,4,6
/proc/9833/stat : 9833 (clasp) R 9830 9833 7222 0 -1 4202496 4204 0 0 0 58219 11 0 0 25 0 1 0 820016474 27512832 4057 33554432000 4194304 4933572 140736546207712 18446744073709551615 4718551 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/9833/statm: 6717 4057 378 181 0 3726 0
Current children cumulated CPU time (s) 582.3
Current children cumulated vsize (KiB) 26868
[startup+642.3 s]
################
# More data... #
################
[startup+822.301 s]
/proc/loadavg: 2.00 1.97 1.91 4/499 9871
/proc/meminfo: memFree=29108092/32951132 swapFree=57925096/67111528
[pid=9833] ppid=9830 vsize=27476 CPUtime=822.31 cores=0,2,4,6
/proc/9833/stat : 9833 (clasp) R 9830 9833 7222 0 -1 4202496 4459 0 0 0 82213 18 0 0 25 0 1 0 820016474 28135424 4225 33554432000 4194304 4933572 140736546207712 18446744073709551615 4631889 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/9833/statm: 6869 4225 378 181 0 3878 0
Current children cumulated CPU time (s) 822.31
Current children cumulated vsize (KiB) 27476
[startup+882.301 s]
/proc/loadavg: 2.00 1.97 1.91 4/499 9871
/proc/meminfo: memFree=29107220/32951132 swapFree=57925096/67111528
[pid=9833] ppid=9830 vsize=27552 CPUtime=882.3 cores=0,2,4,6
/proc/9833/stat : 9833 (clasp) R 9830 9833 7222 0 -1 4202496 4471 0 0 0 88212 18 0 0 25 0 1 0 820016474 28213248 4237 33554432000 4194304 4933572 140736546207712 18446744073709551615 4711048 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/9833/statm: 6888 4237 378 181 0 3897 0
Current children cumulated CPU time (s) 882.3
Current children cumulated vsize (KiB) 27552
[startup+942.301 s]
/proc/loadavg: 2.00 1.97 1.91 4/499 9873
/proc/meminfo: memFree=29107588/32951132 swapFree=57925096/67111528
[pid=9833] ppid=9830 vsize=27776 CPUtime=942.31 cores=0,2,4,6
/proc/9833/stat : 9833 (clasp) R 9830 9833 7222 0 -1 4202496 4524 0 0 0 94212 19 0 0 25 0 1 0 820016474 28442624 4290 33554432000 4194304 4933572 140736546207712 18446744073709551615 4649364 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/9833/statm: 6944 4290 378 181 0 3953 0
Current children cumulated CPU time (s) 942.31
Current children cumulated vsize (KiB) 27776
[startup+1002.3 s]
/proc/loadavg: 2.00 1.97 1.91 4/499 9875
/proc/meminfo: memFree=29107580/32951132 swapFree=57925096/67111528
[pid=9833] ppid=9830 vsize=27904 CPUtime=1002.3 cores=0,2,4,6
/proc/9833/stat : 9833 (clasp) R 9830 9833 7222 0 -1 4202496 4561 0 0 0 100211 19 0 0 25 0 1 0 820016474 28573696 4327 33554432000 4194304 4933572 140736546207712 18446744073709551615 4631996 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/9833/statm: 6976 4327 378 181 0 3985 0
Current children cumulated CPU time (s) 1002.3
Current children cumulated vsize (KiB) 27904
[startup+1062.3 s]
/proc/loadavg: 2.15 2.00 1.92 4/499 9877
/proc/meminfo: memFree=29107196/32951132 swapFree=57925096/67111528
[pid=9833] ppid=9830 vsize=28008 CPUtime=1062.31 cores=0,2,4,6
/proc/9833/stat : 9833 (clasp) R 9830 9833 7222 0 -1 4202496 4573 0 0 0 106211 20 0 0 25 0 1 0 820016474 28680192 4339 33554432000 4194304 4933572 140736546207712 18446744073709551615 4637233 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/9833/statm: 7002 4339 378 181 0 4011 0
Current children cumulated CPU time (s) 1062.31
Current children cumulated vsize (KiB) 28008
[startup+1122.3 s]
/proc/loadavg: 2.17 2.03 1.93 4/499 9879
/proc/meminfo: memFree=29106936/32951132 swapFree=57925096/67111528
[pid=9833] ppid=9830 vsize=28100 CPUtime=1122.31 cores=0,2,4,6
/proc/9833/stat : 9833 (clasp) R 9830 9833 7222 0 -1 4202496 4603 0 0 0 112210 21 0 0 25 0 1 0 820016474 28774400 4369 33554432000 4194304 4933572 140736546207712 18446744073709551615 4717704 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/9833/statm: 7025 4369 378 181 0 4034 0
Current children cumulated CPU time (s) 1122.31
Current children cumulated vsize (KiB) 28100
[startup+1182.3 s]
/proc/loadavg: 2.07 2.02 1.93 4/499 9879
/proc/meminfo: memFree=29106432/32951132 swapFree=57925096/67111528
[pid=9833] ppid=9830 vsize=28100 CPUtime=1182.31 cores=0,2,4,6
/proc/9833/stat : 9833 (clasp) R 9830 9833 7222 0 -1 4202496 4609 0 0 0 118210 21 0 0 25 0 1 0 820016474 28774400 4375 33554432000 4194304 4933572 140736546207712 18446744073709551615 4319350 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/9833/statm: 7025 4375 378 181 0 4034 0
Current children cumulated CPU time (s) 1182.31
Current children cumulated vsize (KiB) 28100
[startup+1242.3 s]
/proc/loadavg: 2.02 2.02 1.93 4/499 9881
/proc/meminfo: memFree=29104688/32951132 swapFree=57925096/67111528
[pid=9833] ppid=9830 vsize=28224 CPUtime=1242.32 cores=0,2,4,6
/proc/9833/stat : 9833 (clasp) R 9830 9833 7222 0 -1 4202496 4625 0 0 0 124210 22 0 0 25 0 1 0 820016474 28901376 4391 33554432000 4194304 4933572 140736546207712 18446744073709551615 4331743 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/9833/statm: 7056 4391 378 181 0 4065 0
Current children cumulated CPU time (s) 1242.32
Current children cumulated vsize (KiB) 28224
[startup+1302.3 s]
/proc/loadavg: 2.01 2.01 1.93 4/499 9883
/proc/meminfo: memFree=29104808/32951132 swapFree=57925096/67111528
[pid=9833] ppid=9830 vsize=28224 CPUtime=1302.33 cores=0,2,4,6
/proc/9833/stat : 9833 (clasp) R 9830 9833 7222 0 -1 4202496 4630 0 0 0 130211 22 0 0 25 0 1 0 820016474 28901376 4396 33554432000 4194304 4933572 140736546207712 18446744073709551615 4632737 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/9833/statm: 7056 4396 378 181 0 4065 0
Current children cumulated CPU time (s) 1302.33
Current children cumulated vsize (KiB) 28224
[startup+1362.3 s]
/proc/loadavg: 2.00 2.01 1.93 4/499 9885
/proc/meminfo: memFree=29106664/32951132 swapFree=57925096/67111528
[pid=9833] ppid=9830 vsize=28224 CPUtime=1362.32 cores=0,2,4,6
/proc/9833/stat : 9833 (clasp) R 9830 9833 7222 0 -1 4202496 4635 0 0 0 136209 23 0 0 25 0 1 0 820016474 28901376 4401 33554432000 4194304 4933572 140736546207712 18446744073709551615 4340858 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/9833/statm: 7056 4401 378 181 0 4065 0
Current children cumulated CPU time (s) 1362.32
Current children cumulated vsize (KiB) 28224
[startup+1422.32 s]
/proc/loadavg: 2.00 2.00 1.93 4/499 9887
/proc/meminfo: memFree=29106644/32951132 swapFree=57925096/67111528
[pid=9833] ppid=9830 vsize=28224 CPUtime=1422.33 cores=0,2,4,6
/proc/9833/stat : 9833 (clasp) R 9830 9833 7222 0 -1 4202496 4635 0 0 0 142210 23 0 0 25 0 1 0 820016474 28901376 4401 33554432000 4194304 4933572 140736546207712 18446744073709551615 4332754 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/9833/statm: 7056 4401 378 181 0 4065 0
Current children cumulated CPU time (s) 1422.33
Current children cumulated vsize (KiB) 28224
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 1.93 4/499 9887
/proc/meminfo: memFree=29105768/32951132 swapFree=57925096/67111528
[pid=9833] ppid=9830 vsize=28224 CPUtime=1482.31 cores=0,2,4,6
/proc/9833/stat : 9833 (clasp) R 9830 9833 7222 0 -1 4202496 4641 0 0 0 148208 23 0 0 25 0 1 0 820016474 28901376 4407 33554432000 4194304 4933572 140736546207712 18446744073709551615 4637233 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/9833/statm: 7056 4407 378 181 0 4065 0
Current children cumulated CPU time (s) 1482.31
Current children cumulated vsize (KiB) 28224
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 1.93 4/499 9889
/proc/meminfo: memFree=29106508/32951132 swapFree=57925096/67111528
[pid=9833] ppid=9830 vsize=28224 CPUtime=1542.32 cores=0,2,4,6
/proc/9833/stat : 9833 (clasp) R 9830 9833 7222 0 -1 4202496 4641 0 0 0 154208 24 0 0 25 0 1 0 820016474 28901376 4407 33554432000 4194304 4933572 140736546207712 18446744073709551615 4414911 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/9833/statm: 7056 4407 378 181 0 4065 0
Current children cumulated CPU time (s) 1542.32
Current children cumulated vsize (KiB) 28224
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 1.93 4/499 9891
/proc/meminfo: memFree=29106868/32951132 swapFree=57925096/67111528
[pid=9833] ppid=9830 vsize=28336 CPUtime=1602.32 cores=0,2,4,6
/proc/9833/stat : 9833 (clasp) R 9830 9833 7222 0 -1 4202496 4653 0 0 0 160207 25 0 0 25 0 1 0 820016474 29016064 4419 33554432000 4194304 4933572 140736546207712 18446744073709551615 4319339 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/9833/statm: 7084 4419 378 181 0 4093 0
Current children cumulated CPU time (s) 1602.32
Current children cumulated vsize (KiB) 28336
[startup+1662.3 s]
/proc/loadavg: 2.14 2.05 1.95 4/499 9893
/proc/meminfo: memFree=29106356/32951132 swapFree=57925096/67111528
[pid=9833] ppid=9830 vsize=28336 CPUtime=1662.31 cores=0,2,4,6
/proc/9833/stat : 9833 (clasp) R 9830 9833 7222 0 -1 4202496 4659 0 0 0 166206 25 0 0 25 0 1 0 820016474 29016064 4425 33554432000 4194304 4933572 140736546207712 18446744073709551615 4717602 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/9833/statm: 7084 4425 378 181 0 4093 0
Current children cumulated CPU time (s) 1662.31
Current children cumulated vsize (KiB) 28336
[startup+1722.3 s]
/proc/loadavg: 2.11 2.07 1.96 3/499 9895
/proc/meminfo: memFree=29105980/32951132 swapFree=57925096/67111528
[pid=9833] ppid=9830 vsize=28408 CPUtime=1722.32 cores=0,2,4,6
/proc/9833/stat : 9833 (clasp) R 9830 9833 7222 0 -1 4202496 4675 0 0 0 172206 26 0 0 25 0 1 0 820016474 29089792 4441 33554432000 4194304 4933572 140736546207712 18446744073709551615 4332779 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/9833/statm: 7102 4441 378 181 0 4111 0
Current children cumulated CPU time (s) 1722.32
Current children cumulated vsize (KiB) 28408
[startup+1782.3 s]
/proc/loadavg: 2.04 2.05 1.96 4/499 9895
/proc/meminfo: memFree=29103744/32951132 swapFree=57925096/67111528
[pid=9833] ppid=9830 vsize=28448 CPUtime=1782.32 cores=0,2,4,6
/proc/9833/stat : 9833 (clasp) R 9830 9833 7222 0 -1 4202496 4694 0 0 0 178206 26 0 0 25 0 1 0 820016474 29130752 4460 33554432000 4194304 4933572 140736546207712 18446744073709551615 4664505 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/9833/statm: 7112 4460 378 181 0 4121 0
Current children cumulated CPU time (s) 1782.32
Current children cumulated vsize (KiB) 28448
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800 s]
/proc/loadavg: 2.03 2.05 1.96 4/499 9897
/proc/meminfo: memFree=29105232/32951132 swapFree=57925096/67111528
[pid=9833] ppid=9830 vsize=28448 CPUtime=1800.03 cores=0,2,4,6
/proc/9833/stat : 9833 (clasp) R 9830 9833 7222 0 -1 4202496 4694 0 0 0 179977 26 0 0 25 0 1 0 820016474 29130752 4460 33554432000 4194304 4933572 140736546207712 18446744073709551615 4363259 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/9833/statm: 7112 4460 378 181 0 4121 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 28448
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.02
CPU time (s): 1800.05
CPU user time (s): 1799.78
CPU system time (s): 0.270958
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 28540
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.78
system time used= 0.270958
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 4702
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= 13
involuntary context switches= 2849
runsolver used 9.55755 second user time and 21.3957 second system time
The end