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-3468265-1307101651/watcher-3468265-1307101651 -o /tmp/evaluation-result-3468265-1307101651/solver-3468265-1307101651 -C 1800 -W 1900 -M 15500 HOME/clasp HOME/instance-3468265-1307101651.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: 2.00 2.02 2.00 1/471 25400
/proc/meminfo: memFree=20412480/32950928 swapFree=61858088/67111528
[pid=25400] ppid=25398 vsize=13668 CPUtime=0 cores=1,3,5,7
/proc/25400/stat : 25400 (clasp) R 25398 25400 24628 0 -1 4202496 819 0 0 0 0 0 0 0 24 0 1 0 821764754 13996032 713 33554432000 4194304 4933572 140737440043296 18446744073709551615 4579839 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/25400/statm: 3417 714 331 181 0 426 0
[startup+0.0779229 s]
/proc/loadavg: 2.00 2.02 2.00 1/471 25400
/proc/meminfo: memFree=20412480/32950928 swapFree=61858088/67111528
[pid=25400] ppid=25398 vsize=20320 CPUtime=0.06 cores=1,3,5,7
/proc/25400/stat : 25400 (clasp) R 25398 25400 24628 0 -1 4202496 2916 0 0 0 6 0 0 0 24 0 1 0 821764754 20807680 2359 33554432000 4194304 4933572 140737440043296 18446744073709551615 4587753 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/25400/statm: 5080 2359 348 181 0 2089 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 20320
[startup+0.100918 s]
/proc/loadavg: 2.00 2.02 2.00 1/471 25400
/proc/meminfo: memFree=20412480/32950928 swapFree=61858088/67111528
[pid=25400] ppid=25398 vsize=20320 CPUtime=0.09 cores=1,3,5,7
/proc/25400/stat : 25400 (clasp) R 25398 25400 24628 0 -1 4202496 2916 0 0 0 9 0 0 0 24 0 1 0 821764754 20807680 2359 33554432000 4194304 4933572 140737440043296 18446744073709551615 4588022 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/25400/statm: 5080 2359 348 181 0 2089 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 20320
[startup+0.300883 s]
/proc/loadavg: 2.00 2.02 2.00 1/471 25400
/proc/meminfo: memFree=20412480/32950928 swapFree=61858088/67111528
[pid=25400] ppid=25398 vsize=19236 CPUtime=0.29 cores=1,3,5,7
/proc/25400/stat : 25400 (clasp) R 25398 25400 24628 0 -1 4202496 2944 0 0 0 29 0 0 0 25 0 1 0 821764754 19697664 2140 33554432000 4194304 4933572 140737440043296 18446744073709551615 4664480 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/25400/statm: 4809 2140 376 181 0 1818 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 19236
[startup+0.700813 s]
/proc/loadavg: 2.00 2.02 2.00 1/471 25400
/proc/meminfo: memFree=20412480/32950928 swapFree=61858088/67111528
[pid=25400] ppid=25398 vsize=27252 CPUtime=0.69 cores=1,3,5,7
/proc/25400/stat : 25400 (clasp) R 25398 25400 24628 0 -1 4202496 4961 0 0 0 68 1 0 0 25 0 1 0 821764754 27906048 4157 33554432000 4194304 4933572 140737440043296 18446744073709551615 4340900 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/25400/statm: 6813 4158 384 181 0 3822 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 27252
[startup+1.50067 s]
/proc/loadavg: 1.92 2.00 1.99 2/472 25401
/proc/meminfo: memFree=20387316/32950928 swapFree=61858088/67111528
[pid=25400] ppid=25398 vsize=50348 CPUtime=1.49 cores=1,3,5,7
/proc/25400/stat : 25400 (clasp) R 25398 25400 24628 0 -1 4202496 10749 0 0 0 147 2 0 0 25 0 1 0 821764754 51556352 9945 33554432000 4194304 4933572 140737440043296 18446744073709551615 4637181 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/25400/statm: 12587 9945 384 181 0 9596 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 50348
[startup+3.10039 s]
/proc/loadavg: 1.92 2.00 1.99 4/473 25427
/proc/meminfo: memFree=20355680/32950928 swapFree=61858088/67111528
[pid=25400] ppid=25398 vsize=79488 CPUtime=3.09 cores=1,3,5,7
/proc/25400/stat : 25400 (clasp) R 25398 25400 24628 0 -1 4202496 18047 0 0 0 306 3 0 0 25 0 1 0 821764754 81395712 17243 33554432000 4194304 4933572 140737440043296 18446744073709551615 4663994 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/25400/statm: 19872 17243 384 181 0 16881 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 79488
[startup+6.30083 s]
/proc/loadavg: 1.92 2.00 1.99 4/474 25428
/proc/meminfo: memFree=20267528/32950928 swapFree=61858088/67111528
[pid=25400] ppid=25398 vsize=90600 CPUtime=6.29 cores=1,3,5,7
/proc/25400/stat : 25400 (clasp) R 25398 25400 24628 0 -1 4202496 20803 0 0 0 625 4 0 0 25 0 1 0 821764754 92774400 19999 33554432000 4194304 4933572 140737440043296 18446744073709551615 4318085 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/25400/statm: 22650 19999 384 181 0 19659 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 90600
[startup+12.7007 s]
/proc/loadavg: 1.93 2.00 1.99 4/474 25428
/proc/meminfo: memFree=20222980/32950928 swapFree=61858088/67111528
[pid=25400] ppid=25398 vsize=107136 CPUtime=12.69 cores=1,3,5,7
/proc/25400/stat : 25400 (clasp) R 25398 25400 24628 0 -1 4202496 24893 0 0 0 1265 4 0 0 25 0 1 0 821764754 109707264 24089 33554432000 4194304 4933572 140737440043296 18446744073709551615 4330206 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/25400/statm: 26784 24089 384 181 0 23793 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 107136
[startup+25.5004 s]
/proc/loadavg: 1.94 2.00 1.99 4/474 25428
/proc/meminfo: memFree=20175508/32950928 swapFree=61858088/67111528
[pid=25400] ppid=25398 vsize=128924 CPUtime=25.49 cores=1,3,5,7
/proc/25400/stat : 25400 (clasp) R 25398 25400 24628 0 -1 4202496 30371 0 0 0 2544 5 0 0 25 0 1 0 821764754 132018176 29567 33554432000 4194304 4933572 140737440043296 18446744073709551615 4664026 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/25400/statm: 32231 29567 386 181 0 29240 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 128924
[startup+51.1009 s]
/proc/loadavg: 1.96 2.00 1.99 4/474 25429
/proc/meminfo: memFree=20121040/32950928 swapFree=61858088/67111528
[pid=25400] ppid=25398 vsize=156816 CPUtime=51.08 cores=1,3,5,7
/proc/25400/stat : 25400 (clasp) R 25398 25400 24628 0 -1 4202496 37328 0 0 0 5102 6 0 0 25 0 1 0 821764754 160579584 36524 33554432000 4194304 4933572 140737440043296 18446744073709551615 4319477 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/25400/statm: 39204 36524 386 181 0 36213 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 156816
[startup+102.318 s]
/proc/loadavg: 1.98 2.00 1.99 4/474 25430
/proc/meminfo: memFree=20080720/32950928 swapFree=61858088/67111528
[pid=25400] ppid=25398 vsize=176428 CPUtime=102.31 cores=1,3,5,7
/proc/25400/stat : 25400 (clasp) R 25398 25400 24628 0 -1 4202496 42231 0 0 0 10224 7 0 0 25 0 1 0 821764754 180662272 41427 33554432000 4194304 4933572 140737440043296 18446744073709551615 4635387 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/25400/statm: 44107 41427 386 181 0 41116 0
Current children cumulated CPU time (s) 102.31
Current children cumulated vsize (KiB) 176428
[startup+162.3 s]
/proc/loadavg: 1.99 2.00 1.99 4/474 25432
/proc/meminfo: memFree=20019428/32950928 swapFree=61858088/67111528
[pid=25400] ppid=25398 vsize=205656 CPUtime=162.29 cores=1,3,5,7
/proc/25400/stat : 25400 (clasp) R 25398 25400 24628 0 -1 4202496 49495 0 0 0 16221 8 0 0 25 0 1 0 821764754 210591744 48691 33554432000 4194304 4933572 140737440043296 18446744073709551615 4330301 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/25400/statm: 51414 48691 386 181 0 48423 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 205656
[startup+222.301 s]
/proc/loadavg: 1.99 2.00 1.99 4/474 25433
/proc/meminfo: memFree=20002516/32950928 swapFree=61858088/67111528
[pid=25400] ppid=25398 vsize=213660 CPUtime=222.29 cores=1,3,5,7
/proc/25400/stat : 25400 (clasp) R 25398 25400 24628 0 -1 4202496 51524 0 0 0 22220 9 0 0 25 0 1 0 821764754 218787840 50720 33554432000 4194304 4933572 140737440043296 18446744073709551615 4330232 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/25400/statm: 53415 50720 386 181 0 50424 0
Current children cumulated CPU time (s) 222.29
Current children cumulated vsize (KiB) 213660
[startup+282.3 s]
/proc/loadavg: 1.99 2.00 1.99 4/474 25435
/proc/meminfo: memFree=19962548/32950928 swapFree=61858088/67111528
[pid=25400] ppid=25398 vsize=233032 CPUtime=282.3 cores=1,3,5,7
/proc/25400/stat : 25400 (clasp) R 25398 25400 24628 0 -1 4202496 58813 0 0 0 28219 11 0 0 25 0 1 0 821764754 238624768 55555 33554432000 4194304 4933572 140737440043296 18446744073709551615 4635412 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/25400/statm: 58258 55555 387 181 0 55267 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 233032
[startup+342.301 s]
/proc/loadavg: 1.99 2.00 1.99 4/474 25437
/proc/meminfo: memFree=19957924/32950928 swapFree=61858088/67111528
[pid=25400] ppid=25398 vsize=236232 CPUtime=342.3 cores=1,3,5,7
/proc/25400/stat : 25400 (clasp) R 25398 25400 24628 0 -1 4202496 59625 0 0 0 34219 11 0 0 25 0 1 0 821764754 241901568 56367 33554432000 4194304 4933572 140737440043296 18446744073709551615 4649388 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/25400/statm: 59058 56367 387 181 0 56067 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 236232
[startup+402.3 s]
/proc/loadavg: 2.11 2.03 2.00 4/474 25438
/proc/meminfo: memFree=19929244/32950928 swapFree=61858088/67111528
[pid=25400] ppid=25398 vsize=252928 CPUtime=402.29 cores=1,3,5,7
/proc/25400/stat : 25400 (clasp) R 25398 25400 24628 0 -1 4202496 63786 0 0 0 40218 11 0 0 25 0 1 0 821764754 258998272 60528 33554432000 4194304 4933572 140737440043296 18446744073709551615 4631769 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/25400/statm: 63232 60528 387 181 0 60241 0
Current children cumulated CPU time (s) 402.29
Current children cumulated vsize (KiB) 252928
[startup+462.301 s]
/proc/loadavg: 2.09 2.04 2.00 4/474 25440
/proc/meminfo: memFree=19913452/32950928 swapFree=61858088/67111528
[pid=25400] ppid=25398 vsize=259828 CPUtime=462.3 cores=1,3,5,7
/proc/25400/stat : 25400 (clasp) R 25398 25400 24628 0 -1 4202496 65515 0 0 0 46218 12 0 0 25 0 1 0 821764754 266063872 62257 33554432000 4194304 4933572 140737440043296 18446744073709551615 4649384 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/25400/statm: 64957 62257 387 181 0 61966 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 259828
[startup+522.301 s]
/proc/loadavg: 2.03 2.03 2.00 4/474 25441
/proc/meminfo: memFree=19912052/32950928 swapFree=61858088/67111528
[pid=25400] ppid=25398 vsize=261152 CPUtime=522.3 cores=1,3,5,7
/proc/25400/stat : 25400 (clasp) R 25398 25400 24628 0 -1 4202496 65844 0 0 0 52218 12 0 0 25 0 1 0 821764754 267419648 62586 33554432000 4194304 4933572 140737440043296 18446744073709551615 4649364 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/25400/statm: 65288 62586 387 181 0 62297 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 261152
[startup+582.3 s]
/proc/loadavg: 2.01 2.02 2.00 4/474 25443
/proc/meminfo: memFree=19892792/32950928 swapFree=61858088/67111528
[pid=25400] ppid=25398 vsize=272316 CPUtime=582.3 cores=1,3,5,7
/proc/25400/stat : 25400 (clasp) R 25398 25400 24628 0 -1 4202496 69433 0 0 0 58218 12 0 0 25 0 1 0 821764754 278851584 65416 33554432000 4194304 4933572 140737440043296 18446744073709551615 4330206 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/25400/statm: 68079 65416 387 181 0 65088 0
Current children cumulated CPU time (s) 582.3
Current children cumulated vsize (KiB) 272316
[startup+642.301 s]
################
# More data... #
################
[startup+822.3 s]
/proc/loadavg: 2.00 2.00 2.00 4/474 25458
/proc/meminfo: memFree=19852912/32950928 swapFree=61858088/67111528
[pid=25400] ppid=25398 vsize=289992 CPUtime=822.31 cores=1,3,5,7
/proc/25400/stat : 25400 (clasp) R 25398 25400 24628 0 -1 4202496 76816 0 0 0 82218 13 0 0 25 0 1 0 821764754 296951808 69805 33554432000 4194304 4933572 140737440043296 18446744073709551615 4414944 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/25400/statm: 72498 69805 387 181 0 69507 0
Current children cumulated CPU time (s) 822.31
Current children cumulated vsize (KiB) 289992
[startup+882.301 s]
/proc/loadavg: 2.00 2.00 2.00 4/474 25460
/proc/meminfo: memFree=19828092/32950928 swapFree=61858088/67111528
[pid=25400] ppid=25398 vsize=299648 CPUtime=882.3 cores=1,3,5,7
/proc/25400/stat : 25400 (clasp) R 25398 25400 24628 0 -1 4202496 80522 0 0 0 88217 13 0 0 25 0 1 0 821764754 306839552 72238 33554432000 4194304 4933572 140737440043296 18446744073709551615 4635476 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/25400/statm: 74912 72238 387 181 0 71921 0
Current children cumulated CPU time (s) 882.3
Current children cumulated vsize (KiB) 299648
[startup+942.3 s]
/proc/loadavg: 2.16 2.03 2.01 4/474 25462
/proc/meminfo: memFree=19797792/32950928 swapFree=61858088/67111528
[pid=25400] ppid=25398 vsize=314620 CPUtime=942.31 cores=1,3,5,7
/proc/25400/stat : 25400 (clasp) R 25398 25400 24628 0 -1 4202496 84150 0 0 0 94217 14 0 0 25 0 1 0 821764754 322170880 75866 33554432000 4194304 4933572 140737440043296 18446744073709551615 4330206 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/25400/statm: 78655 75866 387 181 0 75664 0
Current children cumulated CPU time (s) 942.31
Current children cumulated vsize (KiB) 314620
[startup+1002.3 s]
/proc/loadavg: 2.13 2.04 2.01 4/474 25466
/proc/meminfo: memFree=19791416/32950928 swapFree=61858088/67111528
[pid=25400] ppid=25398 vsize=319624 CPUtime=1002.31 cores=1,3,5,7
/proc/25400/stat : 25400 (clasp) R 25398 25400 24628 0 -1 4202496 85394 0 0 0 100217 14 0 0 25 0 1 0 821764754 327294976 77110 33554432000 4194304 4933572 140737440043296 18446744073709551615 4330235 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/25400/statm: 79906 77110 387 181 0 76915 0
Current children cumulated CPU time (s) 1002.31
Current children cumulated vsize (KiB) 319624
[startup+1062.3 s]
/proc/loadavg: 2.05 2.03 2.00 4/474 25468
/proc/meminfo: memFree=19791656/32950928 swapFree=61858088/67111528
[pid=25400] ppid=25398 vsize=320424 CPUtime=1062.31 cores=1,3,5,7
/proc/25400/stat : 25400 (clasp) R 25398 25400 24628 0 -1 4202496 85573 0 0 0 106217 14 0 0 25 0 1 0 821764754 328114176 77289 33554432000 4194304 4933572 140737440043296 18446744073709551615 4341702 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/25400/statm: 80106 77289 387 181 0 77115 0
Current children cumulated CPU time (s) 1062.31
Current children cumulated vsize (KiB) 320424
[startup+1122.3 s]
/proc/loadavg: 2.02 2.02 2.00 4/474 25469
/proc/meminfo: memFree=19791376/32950928 swapFree=61858088/67111528
[pid=25400] ppid=25398 vsize=320424 CPUtime=1122.31 cores=1,3,5,7
/proc/25400/stat : 25400 (clasp) R 25398 25400 24628 0 -1 4202496 85574 0 0 0 112217 14 0 0 25 0 1 0 821764754 328114176 77290 33554432000 4194304 4933572 140737440043296 18446744073709551615 4330206 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/25400/statm: 80106 77290 387 181 0 77115 0
Current children cumulated CPU time (s) 1122.31
Current children cumulated vsize (KiB) 320424
[startup+1182.3 s]
/proc/loadavg: 2.00 2.02 2.00 4/474 25471
/proc/meminfo: memFree=19790608/32950928 swapFree=61858088/67111528
[pid=25400] ppid=25398 vsize=320424 CPUtime=1182.31 cores=1,3,5,7
/proc/25400/stat : 25400 (clasp) R 25398 25400 24628 0 -1 4202496 85575 0 0 0 118217 14 0 0 25 0 1 0 821764754 328114176 77291 33554432000 4194304 4933572 140737440043296 18446744073709551615 4330232 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/25400/statm: 80106 77291 387 181 0 77115 0
Current children cumulated CPU time (s) 1182.31
Current children cumulated vsize (KiB) 320424
[startup+1242.3 s]
/proc/loadavg: 2.00 2.01 2.00 4/474 25473
/proc/meminfo: memFree=19789820/32950928 swapFree=61858088/67111528
[pid=25400] ppid=25398 vsize=320424 CPUtime=1242.32 cores=1,3,5,7
/proc/25400/stat : 25400 (clasp) R 25398 25400 24628 0 -1 4202496 85575 0 0 0 124218 14 0 0 25 0 1 0 821764754 328114176 77291 33554432000 4194304 4933572 140737440043296 18446744073709551615 4632817 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/25400/statm: 80106 77291 387 181 0 77115 0
Current children cumulated CPU time (s) 1242.32
Current children cumulated vsize (KiB) 320424
[startup+1302.3 s]
/proc/loadavg: 2.00 2.01 2.00 4/474 25474
/proc/meminfo: memFree=19770304/32950928 swapFree=61858088/67111528
[pid=25400] ppid=25398 vsize=320424 CPUtime=1302.33 cores=1,3,5,7
/proc/25400/stat : 25400 (clasp) R 25398 25400 24628 0 -1 4202496 85575 0 0 0 130219 14 0 0 25 0 1 0 821764754 328114176 77291 33554432000 4194304 4933572 140737440043296 18446744073709551615 4649364 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/25400/statm: 80106 77291 387 181 0 77115 0
Current children cumulated CPU time (s) 1302.33
Current children cumulated vsize (KiB) 320424
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 4/474 25476
/proc/meminfo: memFree=19745460/32950928 swapFree=61858088/67111528
[pid=25400] ppid=25398 vsize=331976 CPUtime=1362.32 cores=1,3,5,7
/proc/25400/stat : 25400 (clasp) R 25398 25400 24628 0 -1 4202496 90028 0 0 0 136217 15 0 0 25 0 1 0 821764754 339943424 80208 33554432000 4194304 4933572 140737440043296 18446744073709551615 4330230 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/25400/statm: 82994 80208 387 181 0 80003 0
Current children cumulated CPU time (s) 1362.32
Current children cumulated vsize (KiB) 331976
[startup+1422.32 s]
/proc/loadavg: 2.00 2.00 2.00 4/474 25477
/proc/meminfo: memFree=19725072/32950928 swapFree=61858088/67111528
[pid=25400] ppid=25398 vsize=352664 CPUtime=1422.34 cores=1,3,5,7
/proc/25400/stat : 25400 (clasp) R 25398 25400 24628 0 -1 4202496 95166 0 0 0 142218 16 0 0 25 0 1 0 821764754 361127936 85346 33554432000 4194304 4933572 140737440043296 18446744073709551615 4341604 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/25400/statm: 88166 85346 387 181 0 85175 0
Current children cumulated CPU time (s) 1422.34
Current children cumulated vsize (KiB) 352664
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 4/474 25479
/proc/meminfo: memFree=19720816/32950928 swapFree=61858088/67111528
[pid=25400] ppid=25398 vsize=354528 CPUtime=1482.33 cores=1,3,5,7
/proc/25400/stat : 25400 (clasp) R 25398 25400 24628 0 -1 4202496 95662 0 0 0 148217 16 0 0 25 0 1 0 821764754 363036672 85842 33554432000 4194304 4933572 140737440043296 18446744073709551615 4664026 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/25400/statm: 88632 85842 387 181 0 85641 0
Current children cumulated CPU time (s) 1482.33
Current children cumulated vsize (KiB) 354528
[startup+1542.3 s]
/proc/loadavg: 2.12 2.04 2.01 4/474 25481
/proc/meminfo: memFree=19720768/32950928 swapFree=61858088/67111528
[pid=25400] ppid=25398 vsize=354528 CPUtime=1542.33 cores=1,3,5,7
/proc/25400/stat : 25400 (clasp) R 25398 25400 24628 0 -1 4202496 95662 0 0 0 154217 16 0 0 25 0 1 0 821764754 363036672 85842 33554432000 4194304 4933572 140737440043296 18446744073709551615 4342099 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/25400/statm: 88632 85842 387 181 0 85641 0
Current children cumulated CPU time (s) 1542.33
Current children cumulated vsize (KiB) 354528
[startup+1602.3 s]
/proc/loadavg: 2.12 2.06 2.02 4/474 25482
/proc/meminfo: memFree=19717264/32950928 swapFree=61858088/67111528
[pid=25400] ppid=25398 vsize=356260 CPUtime=1602.33 cores=1,3,5,7
/proc/25400/stat : 25400 (clasp) R 25398 25400 24628 0 -1 4202496 96089 0 0 0 160217 16 0 0 25 0 1 0 821764754 364810240 86269 33554432000 4194304 4933572 140737440043296 18446744073709551615 4625206 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/25400/statm: 89065 86269 387 181 0 86074 0
Current children cumulated CPU time (s) 1602.33
Current children cumulated vsize (KiB) 356260
[startup+1662.3 s]
/proc/loadavg: 2.04 2.05 2.01 4/474 25484
/proc/meminfo: memFree=19717224/32950928 swapFree=61858088/67111528
[pid=25400] ppid=25398 vsize=356260 CPUtime=1662.33 cores=1,3,5,7
/proc/25400/stat : 25400 (clasp) R 25398 25400 24628 0 -1 4202496 96091 0 0 0 166217 16 0 0 25 0 1 0 821764754 364810240 86271 33554432000 4194304 4933572 140737440043296 18446744073709551615 4330232 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/25400/statm: 89065 86271 387 181 0 86074 0
Current children cumulated CPU time (s) 1662.33
Current children cumulated vsize (KiB) 356260
[startup+1722.3 s]
/proc/loadavg: 2.01 2.04 2.01 4/474 25485
/proc/meminfo: memFree=19717060/32950928 swapFree=61858088/67111528
[pid=25400] ppid=25398 vsize=356260 CPUtime=1722.33 cores=1,3,5,7
/proc/25400/stat : 25400 (clasp) R 25398 25400 24628 0 -1 4202496 96091 0 0 0 172217 16 0 0 25 0 1 0 821764754 364810240 86271 33554432000 4194304 4933572 140737440043296 18446744073709551615 4330301 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/25400/statm: 89065 86271 387 181 0 86074 0
Current children cumulated CPU time (s) 1722.33
Current children cumulated vsize (KiB) 356260
[startup+1782.3 s]
/proc/loadavg: 2.00 2.03 2.00 4/474 25487
/proc/meminfo: memFree=19717628/32950928 swapFree=61858088/67111528
[pid=25400] ppid=25398 vsize=356260 CPUtime=1782.33 cores=1,3,5,7
/proc/25400/stat : 25400 (clasp) R 25398 25400 24628 0 -1 4202496 96093 0 0 0 178217 16 0 0 25 0 1 0 821764754 364810240 86273 33554432000 4194304 4933572 140737440043296 18446744073709551615 4637219 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/25400/statm: 89065 86273 387 181 0 86074 0
Current children cumulated CPU time (s) 1782.33
Current children cumulated vsize (KiB) 356260
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800 s]
/proc/loadavg: 2.00 2.02 2.00 3/474 25488
/proc/meminfo: memFree=19715128/32950928 swapFree=61858088/67111528
[pid=25400] ppid=25398 vsize=358512 CPUtime=1800.05 cores=1,3,5,7
/proc/25400/stat : 25400 (clasp) R 25398 25400 24628 0 -1 4202496 96665 0 0 0 179989 16 0 0 25 0 1 0 821764754 367116288 86845 33554432000 4194304 4933572 140737440043296 18446744073709551615 4360892 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/25400/statm: 89628 86845 387 181 0 86637 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 358512
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.04
CPU time (s): 1800.07
CPU user time (s): 1799.89
CPU system time (s): 0.179972
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 358512
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.89
system time used= 0.179972
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 96674
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= 21729
runsolver used 7.84381 second user time and 19.968 second system time
The end