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-3468263-1307095227/watcher-3468263-1307095227 -o /tmp/evaluation-result-3468263-1307095227/solver-3468263-1307095227 -C 1800 -W 1900 -M 15500 HOME/clasp HOME/instance-3468263-1307095227.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.84 1.98 1.97 2/532 17499
/proc/meminfo: memFree=29145192/32951124 swapFree=58212616/67111528
[pid=17499] ppid=17497 vsize=12716 CPUtime=0.01 cores=1,3,5,7
/proc/17499/stat : 17499 (clasp) R 17497 17499 17375 0 -1 4202496 603 0 0 0 1 0 0 0 25 0 1 0 821120706 13021184 536 33554432000 4194304 4933572 140737267868416 18446744073709551615 4340858 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/17499/statm: 3179 536 377 181 0 188 0
[startup+0.0494801 s]
/proc/loadavg: 1.84 1.98 1.97 2/532 17499
/proc/meminfo: memFree=29145192/32951124 swapFree=58212616/67111528
[pid=17499] ppid=17497 vsize=12848 CPUtime=0.04 cores=1,3,5,7
/proc/17499/stat : 17499 (clasp) R 17497 17499 17375 0 -1 4202496 648 0 0 0 4 0 0 0 25 0 1 0 821120706 13156352 581 33554432000 4194304 4933572 140737267868416 18446744073709551615 4632144 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/17499/statm: 3212 581 384 181 0 221 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 12848
[startup+0.100473 s]
/proc/loadavg: 1.84 1.98 1.97 2/532 17499
/proc/meminfo: memFree=29145192/32951124 swapFree=58212616/67111528
[pid=17499] ppid=17497 vsize=13244 CPUtime=0.09 cores=1,3,5,7
/proc/17499/stat : 17499 (clasp) R 17497 17499 17375 0 -1 4202496 723 0 0 0 9 0 0 0 25 0 1 0 821120706 13561856 656 33554432000 4194304 4933572 140737267868416 18446744073709551615 4631936 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/17499/statm: 3311 656 384 181 0 320 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 13244
[startup+0.300434 s]
/proc/loadavg: 1.84 1.98 1.97 2/532 17499
/proc/meminfo: memFree=29145192/32951124 swapFree=58212616/67111528
[pid=17499] ppid=17497 vsize=13640 CPUtime=0.29 cores=1,3,5,7
/proc/17499/stat : 17499 (clasp) R 17497 17499 17375 0 -1 4202496 837 0 0 0 29 0 0 0 25 0 1 0 821120706 13967360 770 33554432000 4194304 4933572 140737267868416 18446744073709551615 4340858 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/17499/statm: 3410 770 384 181 0 419 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 13640
[startup+0.700366 s]
/proc/loadavg: 1.84 1.98 1.97 2/532 17499
/proc/meminfo: memFree=29145192/32951124 swapFree=58212616/67111528
[pid=17499] ppid=17497 vsize=13772 CPUtime=0.69 cores=1,3,5,7
/proc/17499/stat : 17499 (clasp) R 17497 17499 17375 0 -1 4202496 878 0 0 0 69 0 0 0 25 0 1 0 821120706 14102528 811 33554432000 4194304 4933572 140737267868416 18446744073709551615 4363270 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/17499/statm: 3443 811 384 181 0 452 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 13772
[startup+1.50022 s]
/proc/loadavg: 1.84 1.98 1.97 3/536 17579
/proc/meminfo: memFree=29140780/32951124 swapFree=58212616/67111528
[pid=17499] ppid=17497 vsize=14828 CPUtime=1.49 cores=1,3,5,7
/proc/17499/stat : 17499 (clasp) R 17497 17499 17375 0 -1 4202496 1122 0 0 0 149 0 0 0 25 0 1 0 821120706 15183872 1055 33554432000 4194304 4933572 140737267868416 18446744073709551615 4631924 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/17499/statm: 3707 1055 384 181 0 716 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 14828
[startup+3.10094 s]
/proc/loadavg: 1.84 1.98 1.97 3/536 17606
/proc/meminfo: memFree=29138292/32951124 swapFree=58212616/67111528
[pid=17499] ppid=17497 vsize=15488 CPUtime=3.1 cores=1,3,5,7
/proc/17499/stat : 17499 (clasp) R 17497 17499 17375 0 -1 4202496 1306 0 0 0 310 0 0 0 25 0 1 0 821120706 15859712 1239 33554432000 4194304 4933572 140737267868416 18446744073709551615 4631761 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/17499/statm: 3872 1239 384 181 0 881 0
Current children cumulated CPU time (s) 3.1
Current children cumulated vsize (KiB) 15488
[startup+6.30038 s]
/proc/loadavg: 1.85 1.98 1.97 3/536 17606
/proc/meminfo: memFree=29133184/32951124 swapFree=58212616/67111528
[pid=17499] ppid=17497 vsize=15908 CPUtime=6.3 cores=1,3,5,7
/proc/17499/stat : 17499 (clasp) R 17497 17499 17375 0 -1 4202496 1395 0 0 0 630 0 0 0 25 0 1 0 821120706 16289792 1328 33554432000 4194304 4933572 140737267868416 18446744073709551615 4337280 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/17499/statm: 3977 1328 385 181 0 986 0
Current children cumulated CPU time (s) 6.3
Current children cumulated vsize (KiB) 15908
[startup+12.7003 s]
/proc/loadavg: 1.86 1.98 1.97 3/536 17606
/proc/meminfo: memFree=29128920/32951124 swapFree=58212616/67111528
[pid=17499] ppid=17497 vsize=16220 CPUtime=12.7 cores=1,3,5,7
/proc/17499/stat : 17499 (clasp) R 17497 17499 17375 0 -1 4202496 1488 0 0 0 1270 0 0 0 25 0 1 0 821120706 16609280 1421 33554432000 4194304 4933572 140737267868416 18446744073709551615 4637181 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/17499/statm: 4055 1421 385 181 0 1064 0
Current children cumulated CPU time (s) 12.7
Current children cumulated vsize (KiB) 16220
[startup+25.501 s]
/proc/loadavg: 1.89 1.98 1.97 3/536 17606
/proc/meminfo: memFree=29126560/32951124 swapFree=58212616/67111528
[pid=17499] ppid=17497 vsize=19124 CPUtime=25.5 cores=1,3,5,7
/proc/17499/stat : 17499 (clasp) R 17497 17499 17375 0 -1 4202496 2201 0 0 0 2550 0 0 0 25 0 1 0 821120706 19582976 2134 33554432000 4194304 4933572 140737267868416 18446744073709551615 4635249 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/17499/statm: 4781 2134 385 181 0 1790 0
Current children cumulated CPU time (s) 25.5
Current children cumulated vsize (KiB) 19124
[startup+51.1005 s]
/proc/loadavg: 1.93 1.98 1.97 3/536 17616
/proc/meminfo: memFree=29125152/32951124 swapFree=58212616/67111528
[pid=17499] ppid=17497 vsize=19124 CPUtime=51.1 cores=1,3,5,7
/proc/17499/stat : 17499 (clasp) R 17497 17499 17375 0 -1 4202496 2201 0 0 0 5110 0 0 0 25 0 1 0 821120706 19582976 2134 33554432000 4194304 4933572 140737267868416 18446744073709551615 4337280 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/17499/statm: 4781 2134 385 181 0 1790 0
Current children cumulated CPU time (s) 51.1
Current children cumulated vsize (KiB) 19124
[startup+102.32 s]
/proc/loadavg: 1.97 1.98 1.97 3/536 17617
/proc/meminfo: memFree=29123492/32951124 swapFree=58212616/67111528
[pid=17499] ppid=17497 vsize=20256 CPUtime=102.31 cores=1,3,5,7
/proc/17499/stat : 17499 (clasp) R 17497 17499 17375 0 -1 4202496 2487 0 0 0 10231 0 0 0 25 0 1 0 821120706 20742144 2420 33554432000 4194304 4933572 140737267868416 18446744073709551615 4663992 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/17499/statm: 5064 2420 385 181 0 2073 0
Current children cumulated CPU time (s) 102.31
Current children cumulated vsize (KiB) 20256
[startup+162.301 s]
/proc/loadavg: 1.99 1.98 1.97 3/536 17619
/proc/meminfo: memFree=29118244/32951124 swapFree=58212616/67111528
[pid=17499] ppid=17497 vsize=21344 CPUtime=162.3 cores=1,3,5,7
/proc/17499/stat : 17499 (clasp) R 17497 17499 17375 0 -1 4202496 2755 0 0 0 16230 0 0 0 25 0 1 0 821120706 21856256 2688 33554432000 4194304 4933572 140737267868416 18446744073709551615 4340885 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/17499/statm: 5336 2688 385 181 0 2345 0
Current children cumulated CPU time (s) 162.3
Current children cumulated vsize (KiB) 21344
[startup+222.3 s]
/proc/loadavg: 2.12 2.01 1.98 3/536 17621
/proc/meminfo: memFree=29118956/32951124 swapFree=58212616/67111528
[pid=17499] ppid=17497 vsize=21476 CPUtime=222.3 cores=1,3,5,7
/proc/17499/stat : 17499 (clasp) R 17497 17499 17375 0 -1 4202496 2794 0 0 0 22230 0 0 0 25 0 1 0 821120706 21991424 2727 33554432000 4194304 4933572 140737267868416 18446744073709551615 4637179 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/17499/statm: 5369 2727 385 181 0 2378 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 21476
[startup+282.301 s]
/proc/loadavg: 2.10 2.02 1.99 3/536 17625
/proc/meminfo: memFree=29118280/32951124 swapFree=58212616/67111528
[pid=17499] ppid=17497 vsize=21956 CPUtime=282.3 cores=1,3,5,7
/proc/17499/stat : 17499 (clasp) R 17497 17499 17375 0 -1 4202496 2900 0 0 0 28230 0 0 0 25 0 1 0 821120706 22482944 2833 33554432000 4194304 4933572 140737267868416 18446744073709551615 4360876 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/17499/statm: 5489 2833 385 181 0 2498 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 21956
[startup+342.3 s]
/proc/loadavg: 2.03 2.02 1.99 3/536 17627
/proc/meminfo: memFree=29117748/32951124 swapFree=58212616/67111528
[pid=17499] ppid=17497 vsize=22104 CPUtime=342.3 cores=1,3,5,7
/proc/17499/stat : 17499 (clasp) R 17497 17499 17375 0 -1 4202496 2938 0 0 0 34230 0 0 0 25 0 1 0 821120706 22634496 2871 33554432000 4194304 4933572 140737267868416 18446744073709551615 4664077 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/17499/statm: 5526 2871 385 181 0 2535 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 22104
[startup+402.301 s]
/proc/loadavg: 2.01 2.01 1.99 3/536 17628
/proc/meminfo: memFree=29116232/32951124 swapFree=58212616/67111528
[pid=17499] ppid=17497 vsize=23536 CPUtime=402.3 cores=1,3,5,7
/proc/17499/stat : 17499 (clasp) R 17497 17499 17375 0 -1 4202496 3295 0 0 0 40230 0 0 0 25 0 1 0 821120706 24100864 3228 33554432000 4194304 4933572 140737267868416 18446744073709551615 4414944 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/17499/statm: 5884 3228 385 181 0 2893 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 23536
[startup+462.3 s]
/proc/loadavg: 2.00 2.00 1.99 3/536 17630
/proc/meminfo: memFree=29114596/32951124 swapFree=58212616/67111528
[pid=17499] ppid=17497 vsize=23800 CPUtime=462.3 cores=1,3,5,7
/proc/17499/stat : 17499 (clasp) R 17497 17499 17375 0 -1 4202496 3351 0 0 0 46230 0 0 0 25 0 1 0 821120706 24371200 3284 33554432000 4194304 4933572 140737267868416 18446744073709551615 4360959 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/17499/statm: 5950 3284 385 181 0 2959 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 23800
[startup+522.301 s]
/proc/loadavg: 2.12 2.03 2.00 3/536 17632
/proc/meminfo: memFree=29114700/32951124 swapFree=58212616/67111528
[pid=17499] ppid=17497 vsize=23800 CPUtime=522.3 cores=1,3,5,7
/proc/17499/stat : 17499 (clasp) R 17497 17499 17375 0 -1 4202496 3361 0 0 0 52230 0 0 0 25 0 1 0 821120706 24371200 3294 33554432000 4194304 4933572 140737267868416 18446744073709551615 4631912 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/17499/statm: 5950 3294 385 181 0 2959 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 23800
[startup+582.3 s]
/proc/loadavg: 2.10 2.04 2.00 3/536 17633
/proc/meminfo: memFree=29113544/32951124 swapFree=58212616/67111528
[pid=17499] ppid=17497 vsize=23800 CPUtime=582.31 cores=1,3,5,7
/proc/17499/stat : 17499 (clasp) R 17497 17499 17375 0 -1 4202496 3365 0 0 0 58231 0 0 0 25 0 1 0 821120706 24371200 3298 33554432000 4194304 4933572 140737267868416 18446744073709551615 4340858 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/17499/statm: 5950 3298 385 181 0 2959 0
Current children cumulated CPU time (s) 582.31
Current children cumulated vsize (KiB) 23800
[startup+642.301 s]
################
# More data... #
################
[startup+822.301 s]
/proc/loadavg: 2.16 2.04 2.01 3/536 17642
/proc/meminfo: memFree=29112280/32951124 swapFree=58212616/67111528
[pid=17499] ppid=17497 vsize=24112 CPUtime=822.31 cores=1,3,5,7
/proc/17499/stat : 17499 (clasp) R 17497 17499 17375 0 -1 4202496 3407 0 0 0 82231 0 0 0 25 0 1 0 821120706 24690688 3340 33554432000 4194304 4933572 140737267868416 18446744073709551615 4664515 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/17499/statm: 6028 3340 385 181 0 3037 0
Current children cumulated CPU time (s) 822.31
Current children cumulated vsize (KiB) 24112
[startup+882.3 s]
/proc/loadavg: 2.13 2.05 2.01 3/536 17643
/proc/meminfo: memFree=29111132/32951124 swapFree=58212616/67111528
[pid=17499] ppid=17497 vsize=25112 CPUtime=882.31 cores=1,3,5,7
/proc/17499/stat : 17499 (clasp) R 17497 17499 17375 0 -1 4202496 3679 0 0 0 88231 0 0 0 25 0 1 0 821120706 25714688 3612 33554432000 4194304 4933572 140737267868416 18446744073709551615 4330095 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/17499/statm: 6278 3612 385 181 0 3287 0
Current children cumulated CPU time (s) 882.31
Current children cumulated vsize (KiB) 25112
[startup+942.301 s]
/proc/loadavg: 2.05 2.04 2.00 3/536 17646
/proc/meminfo: memFree=29111076/32951124 swapFree=58212616/67111528
[pid=17499] ppid=17497 vsize=25404 CPUtime=942.31 cores=1,3,5,7
/proc/17499/stat : 17499 (clasp) R 17497 17499 17375 0 -1 4202496 3727 0 0 0 94231 0 0 0 25 0 1 0 821120706 26013696 3660 33554432000 4194304 4933572 140737267868416 18446744073709551615 4340816 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/17499/statm: 6351 3660 385 181 0 3360 0
Current children cumulated CPU time (s) 942.31
Current children cumulated vsize (KiB) 25404
[startup+1002.3 s]
/proc/loadavg: 2.02 2.03 2.00 3/536 17647
/proc/meminfo: memFree=29110916/32951124 swapFree=58212616/67111528
[pid=17499] ppid=17497 vsize=25404 CPUtime=1002.32 cores=1,3,5,7
/proc/17499/stat : 17499 (clasp) R 17497 17499 17375 0 -1 4202496 3750 0 0 0 100232 0 0 0 25 0 1 0 821120706 26013696 3683 33554432000 4194304 4933572 140737267868416 18446744073709551615 4414911 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/17499/statm: 6351 3683 385 181 0 3360 0
Current children cumulated CPU time (s) 1002.32
Current children cumulated vsize (KiB) 25404
[startup+1062.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/536 17649
/proc/meminfo: memFree=29108520/32951124 swapFree=58212616/67111528
[pid=17499] ppid=17497 vsize=25496 CPUtime=1062.32 cores=1,3,5,7
/proc/17499/stat : 17499 (clasp) R 17497 17499 17375 0 -1 4202496 3773 0 0 0 106232 0 0 0 25 0 1 0 821120706 26107904 3706 33554432000 4194304 4933572 140737267868416 18446744073709551615 4331664 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/17499/statm: 6374 3706 385 181 0 3383 0
Current children cumulated CPU time (s) 1062.32
Current children cumulated vsize (KiB) 25496
[startup+1122.3 s]
/proc/loadavg: 2.08 2.03 2.01 3/536 17651
/proc/meminfo: memFree=29108480/32951124 swapFree=58212616/67111528
[pid=17499] ppid=17497 vsize=25580 CPUtime=1122.32 cores=1,3,5,7
/proc/17499/stat : 17499 (clasp) R 17497 17499 17375 0 -1 4202496 3789 0 0 0 112232 0 0 0 25 0 1 0 821120706 26193920 3722 33554432000 4194304 4933572 140737267868416 18446744073709551615 4631934 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/17499/statm: 6395 3722 385 181 0 3404 0
Current children cumulated CPU time (s) 1122.32
Current children cumulated vsize (KiB) 25580
[startup+1182.3 s]
/proc/loadavg: 2.10 2.04 2.00 3/536 17652
/proc/meminfo: memFree=29109060/32951124 swapFree=58212616/67111528
[pid=17499] ppid=17497 vsize=25580 CPUtime=1182.32 cores=1,3,5,7
/proc/17499/stat : 17499 (clasp) R 17497 17499 17375 0 -1 4202496 3794 0 0 0 118232 0 0 0 25 0 1 0 821120706 26193920 3727 33554432000 4194304 4933572 140737267868416 18446744073709551615 4414924 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/17499/statm: 6395 3727 385 181 0 3404 0
Current children cumulated CPU time (s) 1182.32
Current children cumulated vsize (KiB) 25580
[startup+1242.3 s]
/proc/loadavg: 2.04 2.03 2.00 3/536 17655
/proc/meminfo: memFree=29108408/32951124 swapFree=58212616/67111528
[pid=17499] ppid=17497 vsize=25580 CPUtime=1242.32 cores=1,3,5,7
/proc/17499/stat : 17499 (clasp) R 17497 17499 17375 0 -1 4202496 3794 0 0 0 124232 0 0 0 25 0 1 0 821120706 26193920 3727 33554432000 4194304 4933572 140737267868416 18446744073709551615 4632685 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/17499/statm: 6395 3727 385 181 0 3404 0
Current children cumulated CPU time (s) 1242.32
Current children cumulated vsize (KiB) 25580
[startup+1302.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/536 17657
/proc/meminfo: memFree=29107500/32951124 swapFree=58212616/67111528
[pid=17499] ppid=17497 vsize=25696 CPUtime=1302.33 cores=1,3,5,7
/proc/17499/stat : 17499 (clasp) R 17497 17499 17375 0 -1 4202496 3809 0 0 0 130233 0 0 0 25 0 1 0 821120706 26312704 3742 33554432000 4194304 4933572 140737267868416 18446744073709551615 4337280 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/17499/statm: 6424 3742 385 181 0 3433 0
Current children cumulated CPU time (s) 1302.33
Current children cumulated vsize (KiB) 25696
[startup+1362.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/536 17659
/proc/meminfo: memFree=29109200/32951124 swapFree=58212616/67111528
[pid=17499] ppid=17497 vsize=25696 CPUtime=1362.32 cores=1,3,5,7
/proc/17499/stat : 17499 (clasp) R 17497 17499 17375 0 -1 4202496 3812 0 0 0 136232 0 0 0 25 0 1 0 821120706 26312704 3745 33554432000 4194304 4933572 140737267868416 18446744073709551615 4632761 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/17499/statm: 6424 3745 385 181 0 3433 0
Current children cumulated CPU time (s) 1362.32
Current children cumulated vsize (KiB) 25696
[startup+1422.32 s]
/proc/loadavg: 2.04 2.03 2.00 3/536 17661
/proc/meminfo: memFree=29109164/32951124 swapFree=58212616/67111528
[pid=17499] ppid=17497 vsize=25696 CPUtime=1422.34 cores=1,3,5,7
/proc/17499/stat : 17499 (clasp) R 17497 17499 17375 0 -1 4202496 3812 0 0 0 142234 0 0 0 25 0 1 0 821120706 26312704 3745 33554432000 4194304 4933572 140737267868416 18446744073709551615 4328714 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/17499/statm: 6424 3745 385 181 0 3433 0
Current children cumulated CPU time (s) 1422.34
Current children cumulated vsize (KiB) 25696
[startup+1482.3 s]
/proc/loadavg: 2.05 2.03 2.00 3/536 17662
/proc/meminfo: memFree=29108644/32951124 swapFree=58212616/67111528
[pid=17499] ppid=17497 vsize=25696 CPUtime=1482.33 cores=1,3,5,7
/proc/17499/stat : 17499 (clasp) R 17497 17499 17375 0 -1 4202496 3816 0 0 0 148233 0 0 0 25 0 1 0 821120706 26312704 3749 33554432000 4194304 4933572 140737267868416 18446744073709551615 4363259 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/17499/statm: 6424 3749 385 181 0 3433 0
Current children cumulated CPU time (s) 1482.33
Current children cumulated vsize (KiB) 25696
[startup+1542.3 s]
/proc/loadavg: 2.02 2.02 2.00 3/536 17665
/proc/meminfo: memFree=29109100/32951124 swapFree=58212616/67111528
[pid=17499] ppid=17497 vsize=25696 CPUtime=1542.33 cores=1,3,5,7
/proc/17499/stat : 17499 (clasp) R 17497 17499 17375 0 -1 4202496 3823 0 0 0 154233 0 0 0 25 0 1 0 821120706 26312704 3756 33554432000 4194304 4933572 140737267868416 18446744073709551615 4632823 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/17499/statm: 6424 3756 385 181 0 3433 0
Current children cumulated CPU time (s) 1542.33
Current children cumulated vsize (KiB) 25696
[startup+1602.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/536 17666
/proc/meminfo: memFree=29109064/32951124 swapFree=58212616/67111528
[pid=17499] ppid=17497 vsize=25844 CPUtime=1602.33 cores=1,3,5,7
/proc/17499/stat : 17499 (clasp) R 17497 17499 17375 0 -1 4202496 3830 0 0 0 160233 0 0 0 25 0 1 0 821120706 26464256 3763 33554432000 4194304 4933572 140737267868416 18446744073709551615 228244046450 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/17499/statm: 6461 3763 385 181 0 3470 0
Current children cumulated CPU time (s) 1602.33
Current children cumulated vsize (KiB) 25844
[startup+1662.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/536 17668
/proc/meminfo: memFree=29108772/32951124 swapFree=58212616/67111528
[pid=17499] ppid=17497 vsize=25844 CPUtime=1662.33 cores=1,3,5,7
/proc/17499/stat : 17499 (clasp) R 17497 17499 17375 0 -1 4202496 3831 0 0 0 166233 0 0 0 25 0 1 0 821120706 26464256 3764 33554432000 4194304 4933572 140737267868416 18446744073709551615 4360863 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/17499/statm: 6461 3764 385 181 0 3470 0
Current children cumulated CPU time (s) 1662.33
Current children cumulated vsize (KiB) 25844
[startup+1722.3 s]
/proc/loadavg: 2.08 2.04 2.01 3/536 17670
/proc/meminfo: memFree=29108740/32951124 swapFree=58212616/67111528
[pid=17499] ppid=17497 vsize=25844 CPUtime=1722.33 cores=1,3,5,7
/proc/17499/stat : 17499 (clasp) R 17497 17499 17375 0 -1 4202496 3848 0 0 0 172233 0 0 0 25 0 1 0 821120706 26464256 3781 33554432000 4194304 4933572 140737267868416 18446744073709551615 4632063 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/17499/statm: 6461 3781 385 181 0 3470 0
Current children cumulated CPU time (s) 1722.33
Current children cumulated vsize (KiB) 25844
[startup+1782.3 s]
/proc/loadavg: 2.07 2.04 2.01 3/536 17671
/proc/meminfo: memFree=29106348/32951124 swapFree=58212616/67111528
[pid=17499] ppid=17497 vsize=25844 CPUtime=1782.33 cores=1,3,5,7
/proc/17499/stat : 17499 (clasp) R 17497 17499 17375 0 -1 4202496 3849 0 0 0 178233 0 0 0 25 0 1 0 821120706 26464256 3782 33554432000 4194304 4933572 140737267868416 18446744073709551615 4360955 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/17499/statm: 6461 3782 385 181 0 3470 0
Current children cumulated CPU time (s) 1782.33
Current children cumulated vsize (KiB) 25844
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800 s]
/proc/loadavg: 2.05 2.04 2.00 3/536 17672
/proc/meminfo: memFree=29107820/32951124 swapFree=58212616/67111528
[pid=17499] ppid=17497 vsize=25844 CPUtime=1800.05 cores=1,3,5,7
/proc/17499/stat : 17499 (clasp) R 17497 17499 17375 0 -1 4202496 3849 0 0 0 180005 0 0 0 25 0 1 0 821120706 26464256 3782 33554432000 4194304 4933572 140737267868416 18446744073709551615 4631959 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/17499/statm: 6461 3782 385 181 0 3470 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 25844
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.06
CPU user time (s): 1800.06
CPU system time (s): 0.003999
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 25844
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1800.06
system time used= 0.003999
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3858
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= 2979
runsolver used 8.71967 second user time and 21.1078 second system time
The end