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-3468799-1307103454/watcher-3468799-1307103454 -o /tmp/evaluation-result-3468799-1307103454/solver-3468799-1307103454 -C 1800 -W 1900 -M 15500 HOME/clasp HOME/instance-3468799-1307103454.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: 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.92 2.01 1.99 1/471 25516
/proc/meminfo: memFree=20413040/32950928 swapFree=61858088/67111528
[pid=25516] ppid=25514 vsize=15080 CPUtime=0 cores=1,3,5,7
/proc/25516/stat : 25516 (clasp) R 25514 25516 24628 0 -1 4202496 1368 0 0 0 0 0 0 0 25 0 1 0 821945047 15441920 1087 33554432000 4194304 4933572 140736675973696 18446744073709551615 4655831 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/25516/statm: 3770 1087 362 181 0 779 0
[startup+0.0995869 s]
/proc/loadavg: 1.92 2.01 1.99 1/471 25516
/proc/meminfo: memFree=20413040/32950928 swapFree=61858088/67111528
[pid=25516] ppid=25514 vsize=16928 CPUtime=0.09 cores=1,3,5,7
/proc/25516/stat : 25516 (clasp) R 25514 25516 24628 0 -1 4202496 1874 0 0 0 9 0 0 0 25 0 1 0 821945047 17334272 1593 33554432000 4194304 4933572 140736675973696 18446744073709551615 4342135 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/25516/statm: 4232 1593 374 181 0 1241 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 16928
[startup+0.100588 s]
/proc/loadavg: 1.92 2.01 1.99 1/471 25516
/proc/meminfo: memFree=20413040/32950928 swapFree=61858088/67111528
[pid=25516] ppid=25514 vsize=17060 CPUtime=0.09 cores=1,3,5,7
/proc/25516/stat : 25516 (clasp) R 25514 25516 24628 0 -1 4202496 1878 0 0 0 9 0 0 0 25 0 1 0 821945047 17469440 1597 33554432000 4194304 4933572 140736675973696 18446744073709551615 4649402 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/25516/statm: 4265 1597 374 181 0 1274 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 17060
[startup+0.300552 s]
/proc/loadavg: 1.92 2.01 1.99 1/471 25516
/proc/meminfo: memFree=20413040/32950928 swapFree=61858088/67111528
[pid=25516] ppid=25514 vsize=19964 CPUtime=0.29 cores=1,3,5,7
/proc/25516/stat : 25516 (clasp) R 25514 25516 24628 0 -1 4202496 2629 0 0 0 29 0 0 0 25 0 1 0 821945047 20443136 2348 33554432000 4194304 4933572 140736675973696 18446744073709551615 4330258 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/25516/statm: 4991 2348 374 181 0 2000 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 19964
[startup+0.700483 s]
/proc/loadavg: 1.92 2.01 1.99 1/471 25516
/proc/meminfo: memFree=20413040/32950928 swapFree=61858088/67111528
[pid=25516] ppid=25514 vsize=22240 CPUtime=0.69 cores=1,3,5,7
/proc/25516/stat : 25516 (clasp) R 25514 25516 24628 0 -1 4202496 3173 0 0 0 69 0 0 0 25 0 1 0 821945047 22773760 2892 33554432000 4194304 4933572 140736675973696 18446744073709551615 4340570 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/25516/statm: 5560 2892 374 181 0 2569 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 22240
[startup+1.50034 s]
/proc/loadavg: 1.92 2.01 1.99 2/472 25517
/proc/meminfo: memFree=20400764/32950928 swapFree=61858088/67111528
[pid=25516] ppid=25514 vsize=25016 CPUtime=1.48 cores=1,3,5,7
/proc/25516/stat : 25516 (clasp) R 25514 25516 24628 0 -1 4202496 3866 0 0 0 148 0 0 0 25 0 1 0 821945047 25616384 3585 33554432000 4194304 4933572 140736675973696 18446744073709551615 4632085 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/25516/statm: 6254 3585 374 181 0 3263 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 25016
[startup+3.10006 s]
/proc/loadavg: 1.92 2.01 1.99 4/473 25543
/proc/meminfo: memFree=20399948/32950928 swapFree=61858088/67111528
[pid=25516] ppid=25514 vsize=27072 CPUtime=3.09 cores=1,3,5,7
/proc/25516/stat : 25516 (clasp) R 25514 25516 24628 0 -1 4202496 4374 0 0 0 308 1 0 0 25 0 1 0 821945047 27721728 4093 33554432000 4194304 4933572 140736675973696 18446744073709551615 4319483 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/25516/statm: 6768 4093 374 181 0 3777 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 27072
[startup+6.3005 s]
/proc/loadavg: 1.93 2.01 1.99 3/474 25544
/proc/meminfo: memFree=20381696/32950928 swapFree=61858088/67111528
[pid=25516] ppid=25514 vsize=30424 CPUtime=6.29 cores=1,3,5,7
/proc/25516/stat : 25516 (clasp) R 25514 25516 24628 0 -1 4202496 5228 0 0 0 628 1 0 0 25 0 1 0 821945047 31154176 4947 33554432000 4194304 4933572 140736675973696 18446744073709551615 4319328 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/25516/statm: 7606 4947 374 181 0 4615 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 30424
[startup+12.7004 s]
/proc/loadavg: 1.93 2.01 1.99 3/474 25544
/proc/meminfo: memFree=20371776/32950928 swapFree=61858088/67111528
[pid=25516] ppid=25514 vsize=33604 CPUtime=12.69 cores=1,3,5,7
/proc/25516/stat : 25516 (clasp) R 25514 25516 24628 0 -1 4202496 6031 0 0 0 1268 1 0 0 25 0 1 0 821945047 34410496 5750 33554432000 4194304 4933572 140736675973696 18446744073709551615 4330258 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/25516/statm: 8401 5750 374 181 0 5410 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 33604
[startup+25.5001 s]
/proc/loadavg: 1.95 2.01 1.99 3/474 25544
/proc/meminfo: memFree=20362984/32950928 swapFree=61858088/67111528
[pid=25516] ppid=25514 vsize=37964 CPUtime=25.49 cores=1,3,5,7
/proc/25516/stat : 25516 (clasp) R 25514 25516 24628 0 -1 4202496 7107 0 0 0 2548 1 0 0 25 0 1 0 821945047 38875136 6826 33554432000 4194304 4933572 140736675973696 18446744073709551615 4311699 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/25516/statm: 9491 6826 374 181 0 6500 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 37964
[startup+51.1006 s]
/proc/loadavg: 1.96 2.00 1.99 3/474 25545
/proc/meminfo: memFree=20353632/32950928 swapFree=61858088/67111528
[pid=25516] ppid=25514 vsize=41264 CPUtime=51.09 cores=1,3,5,7
/proc/25516/stat : 25516 (clasp) R 25514 25516 24628 0 -1 4202496 7951 0 0 0 5108 1 0 0 25 0 1 0 821945047 42254336 7670 33554432000 4194304 4933572 140736675973696 18446744073709551615 4664505 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/25516/statm: 10316 7670 374 181 0 7325 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 41264
[startup+102.318 s]
/proc/loadavg: 1.98 2.00 1.99 3/474 25546
/proc/meminfo: memFree=20339088/32950928 swapFree=61858088/67111528
[pid=25516] ppid=25514 vsize=47736 CPUtime=102.31 cores=1,3,5,7
/proc/25516/stat : 25516 (clasp) R 25514 25516 24628 0 -1 4202496 9576 0 0 0 10230 1 0 0 25 0 1 0 821945047 48881664 9295 33554432000 4194304 4933572 140736675973696 18446744073709551615 4649384 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/25516/statm: 11934 9295 374 181 0 8943 0
Current children cumulated CPU time (s) 102.31
Current children cumulated vsize (KiB) 47736
[startup+162.301 s]
/proc/loadavg: 2.13 2.03 2.00 3/474 25548
/proc/meminfo: memFree=20330496/32950928 swapFree=61858088/67111528
[pid=25516] ppid=25514 vsize=51036 CPUtime=162.29 cores=1,3,5,7
/proc/25516/stat : 25516 (clasp) R 25514 25516 24628 0 -1 4202496 10379 0 0 0 16228 1 0 0 25 0 1 0 821945047 52260864 10098 33554432000 4194304 4933572 140736675973696 18446744073709551615 4340846 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/25516/statm: 12759 10098 374 181 0 9768 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 51036
[startup+222.3 s]
/proc/loadavg: 2.21 2.07 2.01 3/474 25550
/proc/meminfo: memFree=20322776/32950928 swapFree=61858088/67111528
[pid=25516] ppid=25514 vsize=54600 CPUtime=222.29 cores=1,3,5,7
/proc/25516/stat : 25516 (clasp) R 25514 25516 24628 0 -1 4202496 11284 0 0 0 22228 1 0 0 25 0 1 0 821945047 55910400 11003 33554432000 4194304 4933572 140736675973696 18446744073709551615 4337721 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/25516/statm: 13650 11003 374 181 0 10659 0
Current children cumulated CPU time (s) 222.29
Current children cumulated vsize (KiB) 54600
[startup+282.301 s]
/proc/loadavg: 2.12 2.07 2.01 3/474 25551
/proc/meminfo: memFree=20321992/32950928 swapFree=61858088/67111528
[pid=25516] ppid=25514 vsize=55128 CPUtime=282.29 cores=1,3,5,7
/proc/25516/stat : 25516 (clasp) R 25514 25516 24628 0 -1 4202496 11407 0 0 0 28228 1 0 0 25 0 1 0 821945047 56451072 11126 33554432000 4194304 4933572 140736675973696 18446744073709551615 4649364 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/25516/statm: 13782 11126 374 181 0 10791 0
Current children cumulated CPU time (s) 282.29
Current children cumulated vsize (KiB) 55128
[startup+342.3 s]
/proc/loadavg: 2.04 2.05 2.01 3/474 25553
/proc/meminfo: memFree=20312900/32950928 swapFree=61858088/67111528
[pid=25516] ppid=25514 vsize=58876 CPUtime=342.29 cores=1,3,5,7
/proc/25516/stat : 25516 (clasp) R 25514 25516 24628 0 -1 4202496 12800 0 0 0 34228 1 0 0 25 0 1 0 821945047 60289024 12047 33554432000 4194304 4933572 140736675973696 18446744073709551615 4340858 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/25516/statm: 14719 12047 375 181 0 11728 0
Current children cumulated CPU time (s) 342.29
Current children cumulated vsize (KiB) 58876
[startup+402.301 s]
/proc/loadavg: 2.01 2.04 2.00 3/474 25554
/proc/meminfo: memFree=20306676/32950928 swapFree=61858088/67111528
[pid=25516] ppid=25514 vsize=59756 CPUtime=402.29 cores=1,3,5,7
/proc/25516/stat : 25516 (clasp) R 25514 25516 24628 0 -1 4202496 13187 0 0 0 40228 1 0 0 25 0 1 0 821945047 61190144 12299 33554432000 4194304 4933572 140736675973696 18446744073709551615 4360961 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/25516/statm: 14939 12299 375 181 0 11948 0
Current children cumulated CPU time (s) 402.29
Current children cumulated vsize (KiB) 59756
[startup+462.3 s]
/proc/loadavg: 2.00 2.03 2.00 3/474 25556
/proc/meminfo: memFree=20303784/32950928 swapFree=61858088/67111528
[pid=25516] ppid=25514 vsize=63056 CPUtime=462.3 cores=1,3,5,7
/proc/25516/stat : 25516 (clasp) R 25514 25516 24628 0 -1 4202496 13978 0 0 0 46228 2 0 0 25 0 1 0 821945047 64569344 13090 33554432000 4194304 4933572 140736675973696 18446744073709551615 4330232 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/25516/statm: 15764 13090 375 181 0 12773 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 63056
[startup+522.301 s]
/proc/loadavg: 2.00 2.02 2.00 3/474 25557
/proc/meminfo: memFree=20295192/32950928 swapFree=61858088/67111528
[pid=25516] ppid=25514 vsize=70460 CPUtime=522.3 cores=1,3,5,7
/proc/25516/stat : 25516 (clasp) R 25514 25516 24628 0 -1 4202496 16238 0 0 0 52228 2 0 0 25 0 1 0 821945047 72151040 14843 33554432000 4194304 4933572 140736675973696 18446744073709551615 4329803 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/25516/statm: 17615 14843 377 181 0 14624 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 70460
[startup+582.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/474 25559
/proc/meminfo: memFree=20286968/32950928 swapFree=61858088/67111528
[pid=25516] ppid=25514 vsize=78392 CPUtime=582.3 cores=1,3,5,7
/proc/25516/stat : 25516 (clasp) R 25514 25516 24628 0 -1 4202496 18215 0 0 0 58228 2 0 0 25 0 1 0 821945047 80273408 16820 33554432000 4194304 4933572 140736675973696 18446744073709551615 4649364 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/25516/statm: 19598 16820 377 181 0 16607 0
Current children cumulated CPU time (s) 582.3
Current children cumulated vsize (KiB) 78392
[startup+642.301 s]
################
# More data... #
################
[startup+822.301 s]
/proc/loadavg: 2.12 2.05 2.01 3/474 25566
/proc/meminfo: memFree=20281608/32950928 swapFree=61858088/67111528
[pid=25516] ppid=25514 vsize=78392 CPUtime=822.31 cores=1,3,5,7
/proc/25516/stat : 25516 (clasp) R 25514 25516 24628 0 -1 4202496 18217 0 0 0 82229 2 0 0 25 0 1 0 821945047 80273408 16822 33554432000 4194304 4933572 140736675973696 18446744073709551615 4363259 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/25516/statm: 19598 16822 377 181 0 16607 0
Current children cumulated CPU time (s) 822.31
Current children cumulated vsize (KiB) 78392
[startup+882.3 s]
/proc/loadavg: 2.04 2.04 2.00 3/474 25567
/proc/meminfo: memFree=20273264/32950928 swapFree=61858088/67111528
[pid=25516] ppid=25514 vsize=81560 CPUtime=882.31 cores=1,3,5,7
/proc/25516/stat : 25516 (clasp) R 25514 25516 24628 0 -1 4202496 18986 0 0 0 88228 3 0 0 25 0 1 0 821945047 83517440 17591 33554432000 4194304 4933572 140736675973696 18446744073709551615 4340846 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/25516/statm: 20390 17591 377 181 0 17399 0
Current children cumulated CPU time (s) 882.31
Current children cumulated vsize (KiB) 81560
[startup+942.301 s]
/proc/loadavg: 2.01 2.03 2.00 3/474 25569
/proc/meminfo: memFree=20273096/32950928 swapFree=61858088/67111528
[pid=25516] ppid=25514 vsize=82220 CPUtime=942.31 cores=1,3,5,7
/proc/25516/stat : 25516 (clasp) R 25514 25516 24628 0 -1 4202496 19174 0 0 0 94228 3 0 0 25 0 1 0 821945047 84193280 17779 33554432000 4194304 4933572 140736675973696 18446744073709551615 4649364 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/25516/statm: 20555 17779 377 181 0 17564 0
Current children cumulated CPU time (s) 942.31
Current children cumulated vsize (KiB) 82220
[startup+1002.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/474 25570
/proc/meminfo: memFree=20271704/32950928 swapFree=61858088/67111528
[pid=25516] ppid=25514 vsize=82900 CPUtime=1002.31 cores=1,3,5,7
/proc/25516/stat : 25516 (clasp) R 25514 25516 24628 0 -1 4202496 19477 0 0 0 100228 3 0 0 25 0 1 0 821945047 84889600 17932 33554432000 4194304 4933572 140736675973696 18446744073709551615 4631915 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/25516/statm: 20725 17932 377 181 0 17734 0
Current children cumulated CPU time (s) 1002.31
Current children cumulated vsize (KiB) 82900
[startup+1062.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/474 25572
/proc/meminfo: memFree=20271780/32950928 swapFree=61858088/67111528
[pid=25516] ppid=25514 vsize=81488 CPUtime=1062.32 cores=1,3,5,7
/proc/25516/stat : 25516 (clasp) R 25514 25516 24628 0 -1 4202496 19477 0 0 0 106229 3 0 0 25 0 1 0 821945047 83443712 17606 33554432000 4194304 4933572 140736675973696 18446744073709551615 4718587 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/25516/statm: 20372 17606 377 181 0 17381 0
Current children cumulated CPU time (s) 1062.32
Current children cumulated vsize (KiB) 81488
[startup+1122.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/474 25574
/proc/meminfo: memFree=20271996/32950928 swapFree=61858088/67111528
[pid=25516] ppid=25514 vsize=82940 CPUtime=1122.32 cores=1,3,5,7
/proc/25516/stat : 25516 (clasp) R 25514 25516 24628 0 -1 4202496 19834 0 0 0 112229 3 0 0 25 0 1 0 821945047 84930560 17963 33554432000 4194304 4933572 140736675973696 18446744073709551615 4330301 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/25516/statm: 20735 17963 377 181 0 17744 0
Current children cumulated CPU time (s) 1122.32
Current children cumulated vsize (KiB) 82940
[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/474 25575
/proc/meminfo: memFree=20269728/32950928 swapFree=61858088/67111528
[pid=25516] ppid=25514 vsize=84260 CPUtime=1182.32 cores=1,3,5,7
/proc/25516/stat : 25516 (clasp) R 25514 25516 24628 0 -1 4202496 20138 0 0 0 118229 3 0 0 25 0 1 0 821945047 86282240 18267 33554432000 4194304 4933572 140736675973696 18446744073709551615 4649364 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/25516/statm: 21065 18267 377 181 0 18074 0
Current children cumulated CPU time (s) 1182.32
Current children cumulated vsize (KiB) 84260
[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/474 25577
/proc/meminfo: memFree=20269324/32950928 swapFree=61858088/67111528
[pid=25516] ppid=25514 vsize=84260 CPUtime=1242.32 cores=1,3,5,7
/proc/25516/stat : 25516 (clasp) R 25514 25516 24628 0 -1 4202496 20138 0 0 0 124229 3 0 0 25 0 1 0 821945047 86282240 18267 33554432000 4194304 4933572 140736675973696 18446744073709551615 4649590 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/25516/statm: 21065 18267 377 181 0 18074 0
Current children cumulated CPU time (s) 1242.32
Current children cumulated vsize (KiB) 84260
[startup+1302.3 s]
/proc/loadavg: 2.09 2.03 2.01 3/474 25578
/proc/meminfo: memFree=20264200/32950928 swapFree=61858088/67111528
[pid=25516] ppid=25514 vsize=84788 CPUtime=1302.34 cores=1,3,5,7
/proc/25516/stat : 25516 (clasp) R 25514 25516 24628 0 -1 4202496 20287 0 0 0 130231 3 0 0 25 0 1 0 821945047 86822912 18416 33554432000 4194304 4933572 140736675973696 18446744073709551615 4717897 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/25516/statm: 21197 18416 377 181 0 18206 0
Current children cumulated CPU time (s) 1302.34
Current children cumulated vsize (KiB) 84788
[startup+1362.3 s]
/proc/loadavg: 2.08 2.04 2.01 3/474 25580
/proc/meminfo: memFree=20259080/32950928 swapFree=61858088/67111528
[pid=25516] ppid=25514 vsize=87348 CPUtime=1362.32 cores=1,3,5,7
/proc/25516/stat : 25516 (clasp) R 25514 25516 24628 0 -1 4202496 21045 0 0 0 136229 3 0 0 25 0 1 0 821945047 89444352 19051 33554432000 4194304 4933572 140736675973696 18446744073709551615 4341592 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/25516/statm: 21837 19051 377 181 0 18846 0
Current children cumulated CPU time (s) 1362.32
Current children cumulated vsize (KiB) 87348
[startup+1422.32 s]
/proc/loadavg: 2.06 2.04 2.01 3/474 25582
/proc/meminfo: memFree=20256808/32950928 swapFree=61858088/67111528
[pid=25516] ppid=25514 vsize=88008 CPUtime=1422.34 cores=1,3,5,7
/proc/25516/stat : 25516 (clasp) R 25514 25516 24628 0 -1 4202496 21204 0 0 0 142231 3 0 0 25 0 1 0 821945047 90120192 19210 33554432000 4194304 4933572 140736675973696 18446744073709551615 4319413 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/25516/statm: 22002 19210 377 181 0 19011 0
Current children cumulated CPU time (s) 1422.34
Current children cumulated vsize (KiB) 88008
[startup+1482.3 s]
/proc/loadavg: 2.02 2.03 2.00 3/474 25583
/proc/meminfo: memFree=20254416/32950928 swapFree=61858088/67111528
[pid=25516] ppid=25514 vsize=89460 CPUtime=1482.32 cores=1,3,5,7
/proc/25516/stat : 25516 (clasp) R 25514 25516 24628 0 -1 4202496 21565 0 0 0 148229 3 0 0 25 0 1 0 821945047 91607040 19571 33554432000 4194304 4933572 140736675973696 18446744073709551615 4330310 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/25516/statm: 22365 19571 377 181 0 19374 0
Current children cumulated CPU time (s) 1482.32
Current children cumulated vsize (KiB) 89460
[startup+1542.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/474 25585
/proc/meminfo: memFree=20254868/32950928 swapFree=61858088/67111528
[pid=25516] ppid=25514 vsize=89460 CPUtime=1542.33 cores=1,3,5,7
/proc/25516/stat : 25516 (clasp) R 25514 25516 24628 0 -1 4202496 21565 0 0 0 154230 3 0 0 25 0 1 0 821945047 91607040 19571 33554432000 4194304 4933572 140736675973696 18446744073709551615 4360912 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/25516/statm: 22365 19571 377 181 0 19374 0
Current children cumulated CPU time (s) 1542.33
Current children cumulated vsize (KiB) 89460
[startup+1602.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/474 25586
/proc/meminfo: memFree=20254720/32950928 swapFree=61858088/67111528
[pid=25516] ppid=25514 vsize=89724 CPUtime=1602.33 cores=1,3,5,7
/proc/25516/stat : 25516 (clasp) R 25514 25516 24628 0 -1 4202496 21609 0 0 0 160230 3 0 0 25 0 1 0 821945047 91877376 19615 33554432000 4194304 4933572 140736675973696 18446744073709551615 4360947 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/25516/statm: 22431 19615 377 181 0 19440 0
Current children cumulated CPU time (s) 1602.33
Current children cumulated vsize (KiB) 89724
[startup+1662.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/474 25588
/proc/meminfo: memFree=20253808/32950928 swapFree=61858088/67111528
[pid=25516] ppid=25514 vsize=90648 CPUtime=1662.33 cores=1,3,5,7
/proc/25516/stat : 25516 (clasp) R 25514 25516 24628 0 -1 4202496 21849 0 0 0 166230 3 0 0 25 0 1 0 821945047 92823552 19855 33554432000 4194304 4933572 140736675973696 18446744073709551615 4340816 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/25516/statm: 22662 19855 377 181 0 19671 0
Current children cumulated CPU time (s) 1662.33
Current children cumulated vsize (KiB) 90648
[startup+1722.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/474 25590
/proc/meminfo: memFree=20251048/32950928 swapFree=61858088/67111528
[pid=25516] ppid=25514 vsize=92144 CPUtime=1722.33 cores=1,3,5,7
/proc/25516/stat : 25516 (clasp) R 25514 25516 24628 0 -1 4202496 22206 0 0 0 172230 3 0 0 25 0 1 0 821945047 94355456 20212 33554432000 4194304 4933572 140736675973696 18446744073709551615 4649379 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/25516/statm: 23036 20212 377 181 0 20045 0
Current children cumulated CPU time (s) 1722.33
Current children cumulated vsize (KiB) 92144
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/474 25591
/proc/meminfo: memFree=20249892/32950928 swapFree=61858088/67111528
[pid=25516] ppid=25514 vsize=91220 CPUtime=1782.33 cores=1,3,5,7
/proc/25516/stat : 25516 (clasp) R 25514 25516 24628 0 -1 4202496 22207 0 0 0 178230 3 0 0 25 0 1 0 821945047 93409280 20007 33554432000 4194304 4933572 140736675973696 18446744073709551615 4319293 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/25516/statm: 22805 20007 377 181 0 19814 0
Current children cumulated CPU time (s) 1782.33
Current children cumulated vsize (KiB) 91220
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800 s]
/proc/loadavg: 2.00 2.00 2.00 3/474 25592
/proc/meminfo: memFree=20250248/32950928 swapFree=61858088/67111528
[pid=25516] ppid=25514 vsize=91220 CPUtime=1800.04 cores=1,3,5,7
/proc/25516/stat : 25516 (clasp) R 25514 25516 24628 0 -1 4202496 22207 0 0 0 180001 3 0 0 25 0 1 0 821945047 93409280 20007 33554432000 4194304 4933572 140736675973696 18446744073709551615 4328740 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/25516/statm: 22805 20007 377 181 0 19814 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 91220
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
Child status: 0
Real time (s): 1800.02
CPU time (s): 1800.06
CPU user time (s): 1800.02
CPU system time (s): 0.041993
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 92144
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1800.02
system time used= 0.041993
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 22219
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= 11
involuntary context switches= 21766
runsolver used 8.12476 second user time and 19.437 second system time
The end