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-3468056-1307090726/watcher-3468056-1307090726 -o /tmp/evaluation-result-3468056-1307090726/solver-3468056-1307090726 -C 1800 -W 1900 -M 15500 HOME/clasp HOME/instance-3468056-1307090726.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.01 2.00 2/437 2202
/proc/meminfo: memFree=24783584/32951124 swapFree=50923800/67111528
[pid=2202] ppid=2200 vsize=12988 CPUtime=0 cores=1,3,5,7
/proc/2202/stat : 2202 (clasp) R 2200 2202 29572 0 -1 4202496 610 0 0 0 0 0 0 0 25 0 1 0 801488248 13299712 535 33554432000 4194304 4933572 140735863180496 18446744073709551615 4549353 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/2202/statm: 3247 535 331 181 0 256 0
[startup+0.065449 s]
/proc/loadavg: 2.00 2.01 2.00 2/437 2202
/proc/meminfo: memFree=24783584/32951124 swapFree=50923800/67111528
[pid=2202] ppid=2200 vsize=13412 CPUtime=0.06 cores=1,3,5,7
/proc/2202/stat : 2202 (clasp) R 2200 2202 29572 0 -1 4202496 818 0 0 0 6 0 0 0 25 0 1 0 801488248 13733888 725 33554432000 4194304 4933572 140735863180496 18446744073709551615 4637168 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/2202/statm: 3353 725 380 181 0 362 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 13412
[startup+0.100455 s]
/proc/loadavg: 2.00 2.01 2.00 2/437 2202
/proc/meminfo: memFree=24783584/32951124 swapFree=50923800/67111528
[pid=2202] ppid=2200 vsize=13412 CPUtime=0.09 cores=1,3,5,7
/proc/2202/stat : 2202 (clasp) R 2200 2202 29572 0 -1 4202496 819 0 0 0 9 0 0 0 25 0 1 0 801488248 13733888 726 33554432000 4194304 4933572 140735863180496 18446744073709551615 4648609 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/2202/statm: 3353 726 381 181 0 362 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 13412
[startup+0.300404 s]
/proc/loadavg: 2.00 2.01 2.00 2/437 2202
/proc/meminfo: memFree=24783584/32951124 swapFree=50923800/67111528
[pid=2202] ppid=2200 vsize=13676 CPUtime=0.29 cores=1,3,5,7
/proc/2202/stat : 2202 (clasp) R 2200 2202 29572 0 -1 4202496 884 0 0 0 29 0 0 0 25 0 1 0 801488248 14004224 791 33554432000 4194304 4933572 140735863180496 18446744073709551615 4637426 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/2202/statm: 3419 791 381 181 0 428 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 13676
[startup+0.700324 s]
/proc/loadavg: 2.00 2.01 2.00 2/437 2202
/proc/meminfo: memFree=24783584/32951124 swapFree=50923800/67111528
[pid=2202] ppid=2200 vsize=14072 CPUtime=0.69 cores=1,3,5,7
/proc/2202/stat : 2202 (clasp) R 2200 2202 29572 0 -1 4202496 961 0 0 0 69 0 0 0 25 0 1 0 801488248 14409728 868 33554432000 4194304 4933572 140735863180496 18446744073709551615 4664087 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/2202/statm: 3518 868 381 181 0 527 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 14072
[startup+1.50018 s]
/proc/loadavg: 2.00 2.01 2.00 3/438 2203
/proc/meminfo: memFree=24780980/32951124 swapFree=50923800/67111528
[pid=2202] ppid=2200 vsize=14468 CPUtime=1.49 cores=1,3,5,7
/proc/2202/stat : 2202 (clasp) R 2200 2202 29572 0 -1 4202496 1070 0 0 0 149 0 0 0 25 0 1 0 801488248 14815232 977 33554432000 4194304 4933572 140735863180496 18446744073709551615 4648676 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/2202/statm: 3617 977 381 181 0 626 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 14468
[startup+3.10085 s]
/proc/loadavg: 2.00 2.01 2.00 3/438 2203
/proc/meminfo: memFree=24779864/32951124 swapFree=50923800/67111528
[pid=2202] ppid=2200 vsize=14996 CPUtime=3.1 cores=1,3,5,7
/proc/2202/stat : 2202 (clasp) R 2200 2202 29572 0 -1 4202496 1207 0 0 0 310 0 0 0 25 0 1 0 801488248 15355904 1114 33554432000 4194304 4933572 140735863180496 18446744073709551615 4635602 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/2202/statm: 3749 1114 381 181 0 758 0
Current children cumulated CPU time (s) 3.1
Current children cumulated vsize (KiB) 14996
[startup+6.30022 s]
/proc/loadavg: 2.00 2.01 2.00 3/438 2203
/proc/meminfo: memFree=24778740/32951124 swapFree=50923800/67111528
[pid=2202] ppid=2200 vsize=15656 CPUtime=6.3 cores=1,3,5,7
/proc/2202/stat : 2202 (clasp) R 2200 2202 29572 0 -1 4202496 1359 0 0 0 630 0 0 0 25 0 1 0 801488248 16031744 1266 33554432000 4194304 4933572 140735863180496 18446744073709551615 4317949 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/2202/statm: 3914 1266 381 181 0 923 0
Current children cumulated CPU time (s) 6.3
Current children cumulated vsize (KiB) 15656
[startup+12.7009 s]
/proc/loadavg: 2.00 2.01 2.00 3/438 2203
/proc/meminfo: memFree=24777396/32951124 swapFree=50923800/67111528
[pid=2202] ppid=2200 vsize=16584 CPUtime=12.7 cores=1,3,5,7
/proc/2202/stat : 2202 (clasp) R 2200 2202 29572 0 -1 4202496 1584 0 0 0 1270 0 0 0 25 0 1 0 801488248 16982016 1491 33554432000 4194304 4933572 140735863180496 18446744073709551615 4648635 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/2202/statm: 4146 1491 381 181 0 1155 0
Current children cumulated CPU time (s) 12.7
Current children cumulated vsize (KiB) 16584
[startup+25.5004 s]
/proc/loadavg: 2.00 2.01 2.00 3/438 2203
/proc/meminfo: memFree=24775908/32951124 swapFree=50923800/67111528
[pid=2202] ppid=2200 vsize=17928 CPUtime=25.5 cores=1,3,5,7
/proc/2202/stat : 2202 (clasp) R 2200 2202 29572 0 -1 4202496 1913 0 0 0 2550 0 0 0 25 0 1 0 801488248 18358272 1820 33554432000 4194304 4933572 140735863180496 18446744073709551615 4648559 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/2202/statm: 4482 1820 381 181 0 1491 0
Current children cumulated CPU time (s) 25.5
Current children cumulated vsize (KiB) 17928
[startup+51.1003 s]
/proc/loadavg: 2.00 2.01 2.00 3/438 2204
/proc/meminfo: memFree=24774148/32951124 swapFree=50923800/67111528
[pid=2202] ppid=2200 vsize=19300 CPUtime=51.1 cores=1,3,5,7
/proc/2202/stat : 2202 (clasp) R 2200 2202 29572 0 -1 4202496 2274 0 0 0 5110 0 0 0 25 0 1 0 801488248 19763200 2181 33554432000 4194304 4933572 140735863180496 18446744073709551615 4649364 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/2202/statm: 4825 2181 381 181 0 1834 0
Current children cumulated CPU time (s) 51.1
Current children cumulated vsize (KiB) 19300
[startup+102.315 s]
/proc/loadavg: 2.04 2.02 2.00 3/438 2205
/proc/meminfo: memFree=24771396/32951124 swapFree=50923800/67111528
[pid=2202] ppid=2200 vsize=21324 CPUtime=102.31 cores=1,3,5,7
/proc/2202/stat : 2202 (clasp) R 2200 2202 29572 0 -1 4202496 2776 0 0 0 10231 0 0 0 25 0 1 0 801488248 21835776 2683 33554432000 4194304 4933572 140735863180496 18446744073709551615 4648849 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/2202/statm: 5331 2683 381 181 0 2340 0
Current children cumulated CPU time (s) 102.31
Current children cumulated vsize (KiB) 21324
[startup+162.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/438 2207
/proc/meminfo: memFree=24769384/32951124 swapFree=50923800/67111528
[pid=2202] ppid=2200 vsize=22800 CPUtime=162.3 cores=1,3,5,7
/proc/2202/stat : 2202 (clasp) R 2200 2202 29572 0 -1 4202496 3125 0 0 0 16230 0 0 0 25 0 1 0 801488248 23347200 3032 33554432000 4194304 4933572 140735863180496 18446744073709551615 4649384 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/2202/statm: 5700 3032 381 181 0 2709 0
Current children cumulated CPU time (s) 162.3
Current children cumulated vsize (KiB) 22800
[startup+222.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/438 2210
/proc/meminfo: memFree=24768740/32951124 swapFree=50923800/67111528
[pid=2202] ppid=2200 vsize=23752 CPUtime=222.3 cores=1,3,5,7
/proc/2202/stat : 2202 (clasp) R 2200 2202 29572 0 -1 4202496 3378 0 0 0 22230 0 0 0 25 0 1 0 801488248 24322048 3285 33554432000 4194304 4933572 140735863180496 18446744073709551615 4649355 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/2202/statm: 5938 3285 381 181 0 2947 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 23752
[startup+282.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/438 2211
/proc/meminfo: memFree=24767720/32951124 swapFree=50923800/67111528
[pid=2202] ppid=2200 vsize=24560 CPUtime=282.31 cores=1,3,5,7
/proc/2202/stat : 2202 (clasp) R 2200 2202 29572 0 -1 4202496 3572 0 0 0 28231 0 0 0 25 0 1 0 801488248 25149440 3479 33554432000 4194304 4933572 140735863180496 18446744073709551615 4648609 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/2202/statm: 6140 3479 381 181 0 3149 0
Current children cumulated CPU time (s) 282.31
Current children cumulated vsize (KiB) 24560
[startup+342.301 s]
/proc/loadavg: 2.07 2.02 2.00 3/438 2213
/proc/meminfo: memFree=24765952/32951124 swapFree=50923800/67111528
[pid=2202] ppid=2200 vsize=25364 CPUtime=342.31 cores=1,3,5,7
/proc/2202/stat : 2202 (clasp) R 2200 2202 29572 0 -1 4202496 3757 0 0 0 34231 0 0 0 25 0 1 0 801488248 25972736 3664 33554432000 4194304 4933572 140735863180496 18446744073709551615 4319463 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/2202/statm: 6341 3664 381 181 0 3350 0
Current children cumulated CPU time (s) 342.31
Current children cumulated vsize (KiB) 25364
[startup+402.301 s]
/proc/loadavg: 2.02 2.01 2.00 3/438 2214
/proc/meminfo: memFree=24765304/32951124 swapFree=50923800/67111528
[pid=2202] ppid=2200 vsize=25932 CPUtime=402.31 cores=1,3,5,7
/proc/2202/stat : 2202 (clasp) R 2200 2202 29572 0 -1 4202496 3905 0 0 0 40231 0 0 0 25 0 1 0 801488248 26554368 3812 33554432000 4194304 4933572 140735863180496 18446744073709551615 4648426 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/2202/statm: 6483 3812 381 181 0 3492 0
Current children cumulated CPU time (s) 402.31
Current children cumulated vsize (KiB) 25932
[startup+462.301 s]
/proc/loadavg: 2.01 2.00 2.00 3/438 2216
/proc/meminfo: memFree=24765408/32951124 swapFree=50923800/67111528
[pid=2202] ppid=2200 vsize=26356 CPUtime=462.31 cores=1,3,5,7
/proc/2202/stat : 2202 (clasp) R 2200 2202 29572 0 -1 4202496 4024 0 0 0 46231 0 0 0 25 0 1 0 801488248 26988544 3931 33554432000 4194304 4933572 140735863180496 18446744073709551615 4429729 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/2202/statm: 6589 3931 381 181 0 3598 0
Current children cumulated CPU time (s) 462.31
Current children cumulated vsize (KiB) 26356
[startup+522.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/438 2218
/proc/meminfo: memFree=24765124/32951124 swapFree=50923800/67111528
[pid=2202] ppid=2200 vsize=26908 CPUtime=522.32 cores=1,3,5,7
/proc/2202/stat : 2202 (clasp) R 2200 2202 29572 0 -1 4202496 4149 0 0 0 52232 0 0 0 25 0 1 0 801488248 27553792 4056 33554432000 4194304 4933572 140735863180496 18446744073709551615 4429736 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/2202/statm: 6727 4056 381 181 0 3736 0
Current children cumulated CPU time (s) 522.32
Current children cumulated vsize (KiB) 26908
[startup+582.301 s]
/proc/loadavg: 2.07 2.02 2.00 3/438 2219
/proc/meminfo: memFree=24764232/32951124 swapFree=50923800/67111528
[pid=2202] ppid=2200 vsize=27324 CPUtime=582.32 cores=1,3,5,7
/proc/2202/stat : 2202 (clasp) R 2200 2202 29572 0 -1 4202496 4252 0 0 0 58232 0 0 0 25 0 1 0 801488248 27979776 4159 33554432000 4194304 4933572 140735863180496 18446744073709551615 4649818 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/2202/statm: 6831 4159 381 181 0 3840 0
Current children cumulated CPU time (s) 582.32
Current children cumulated vsize (KiB) 27324
[startup+642.301 s]
################
# More data... #
################
[startup+822.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/438 2226
/proc/meminfo: memFree=24762372/32951124 swapFree=50923800/67111528
[pid=2202] ppid=2200 vsize=28956 CPUtime=822.33 cores=1,3,5,7
/proc/2202/stat : 2202 (clasp) R 2200 2202 29572 0 -1 4202496 4631 0 0 0 82233 0 0 0 25 0 1 0 801488248 29650944 4538 33554432000 4194304 4933572 140735863180496 18446744073709551615 4648324 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/2202/statm: 7239 4538 381 181 0 4248 0
Current children cumulated CPU time (s) 822.33
Current children cumulated vsize (KiB) 28956
[startup+882.3 s]
/proc/loadavg: 2.04 2.01 2.00 3/438 2227
/proc/meminfo: memFree=24761968/32951124 swapFree=50923800/67111528
[pid=2202] ppid=2200 vsize=29100 CPUtime=882.33 cores=1,3,5,7
/proc/2202/stat : 2202 (clasp) R 2200 2202 29572 0 -1 4202496 4677 0 0 0 88233 0 0 0 25 0 1 0 801488248 29798400 4584 33554432000 4194304 4933572 140735863180496 18446744073709551615 4648609 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/2202/statm: 7275 4584 381 181 0 4284 0
Current children cumulated CPU time (s) 882.33
Current children cumulated vsize (KiB) 29100
[startup+942.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/438 2239
/proc/meminfo: memFree=24761256/32951124 swapFree=50923800/67111528
[pid=2202] ppid=2200 vsize=29380 CPUtime=942.33 cores=1,3,5,7
/proc/2202/stat : 2202 (clasp) R 2200 2202 29572 0 -1 4202496 4742 0 0 0 94233 0 0 0 25 0 1 0 801488248 30085120 4649 33554432000 4194304 4933572 140735863180496 18446744073709551615 4631752 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/2202/statm: 7345 4649 381 181 0 4354 0
Current children cumulated CPU time (s) 942.33
Current children cumulated vsize (KiB) 29380
[startup+1002.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/438 2240
/proc/meminfo: memFree=24761620/32951124 swapFree=50923800/67111528
[pid=2202] ppid=2200 vsize=29652 CPUtime=1002.34 cores=1,3,5,7
/proc/2202/stat : 2202 (clasp) R 2200 2202 29572 0 -1 4202496 4804 0 0 0 100234 0 0 0 25 0 1 0 801488248 30363648 4711 33554432000 4194304 4933572 140735863180496 18446744073709551615 4649818 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/2202/statm: 7413 4711 381 181 0 4422 0
Current children cumulated CPU time (s) 1002.34
Current children cumulated vsize (KiB) 29652
[startup+1062.3 s]
/proc/loadavg: 2.08 2.03 2.01 3/438 2242
/proc/meminfo: memFree=24760984/32951124 swapFree=50923800/67111528
[pid=2202] ppid=2200 vsize=29924 CPUtime=1062.34 cores=1,3,5,7
/proc/2202/stat : 2202 (clasp) R 2200 2202 29572 0 -1 4202496 4888 0 0 0 106234 0 0 0 25 0 1 0 801488248 30642176 4795 33554432000 4194304 4933572 140735863180496 18446744073709551615 4319486 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/2202/statm: 7481 4795 381 181 0 4490 0
Current children cumulated CPU time (s) 1062.34
Current children cumulated vsize (KiB) 29924
[startup+1122.3 s]
/proc/loadavg: 2.07 2.03 2.01 3/438 2244
/proc/meminfo: memFree=24760836/32951124 swapFree=50923800/67111528
[pid=2202] ppid=2200 vsize=30200 CPUtime=1122.34 cores=1,3,5,7
/proc/2202/stat : 2202 (clasp) R 2200 2202 29572 0 -1 4202496 4955 0 0 0 112234 0 0 0 25 0 1 0 801488248 30924800 4862 33554432000 4194304 4933572 140735863180496 18446744073709551615 4332800 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/2202/statm: 7550 4862 381 181 0 4559 0
Current children cumulated CPU time (s) 1122.34
Current children cumulated vsize (KiB) 30200
[startup+1182.3 s]
/proc/loadavg: 2.02 2.03 2.00 3/438 2245
/proc/meminfo: memFree=24760928/32951124 swapFree=50923800/67111528
[pid=2202] ppid=2200 vsize=30336 CPUtime=1182.35 cores=1,3,5,7
/proc/2202/stat : 2202 (clasp) R 2200 2202 29572 0 -1 4202496 4987 0 0 0 118235 0 0 0 25 0 1 0 801488248 31064064 4894 33554432000 4194304 4933572 140735863180496 18446744073709551615 4648515 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/2202/statm: 7584 4894 381 181 0 4593 0
Current children cumulated CPU time (s) 1182.35
Current children cumulated vsize (KiB) 30336
[startup+1242.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/438 2247
/proc/meminfo: memFree=24759264/32951124 swapFree=50923800/67111528
[pid=2202] ppid=2200 vsize=30608 CPUtime=1242.35 cores=1,3,5,7
/proc/2202/stat : 2202 (clasp) R 2200 2202 29572 0 -1 4202496 5049 0 0 0 124235 0 0 0 25 0 1 0 801488248 31342592 4956 33554432000 4194304 4933572 140735863180496 18446744073709551615 4648315 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/2202/statm: 7652 4956 381 181 0 4661 0
Current children cumulated CPU time (s) 1242.35
Current children cumulated vsize (KiB) 30608
[startup+1302.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/438 2248
/proc/meminfo: memFree=24758984/32951124 swapFree=50923800/67111528
[pid=2202] ppid=2200 vsize=30872 CPUtime=1302.36 cores=1,3,5,7
/proc/2202/stat : 2202 (clasp) R 2200 2202 29572 0 -1 4202496 5120 0 0 0 130236 0 0 0 25 0 1 0 801488248 31612928 5027 33554432000 4194304 4933572 140735863180496 18446744073709551615 4648315 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/2202/statm: 7718 5027 381 181 0 4727 0
Current children cumulated CPU time (s) 1302.36
Current children cumulated vsize (KiB) 30872
[startup+1362.3 s]
/proc/loadavg: 2.06 2.02 2.00 3/438 2250
/proc/meminfo: memFree=24758576/32951124 swapFree=50923800/67111528
[pid=2202] ppid=2200 vsize=31016 CPUtime=1362.35 cores=1,3,5,7
/proc/2202/stat : 2202 (clasp) R 2200 2202 29572 0 -1 4202496 5153 0 0 0 136235 0 0 0 25 0 1 0 801488248 31760384 5060 33554432000 4194304 4933572 140735863180496 18446744073709551615 4319407 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/2202/statm: 7754 5060 381 181 0 4763 0
Current children cumulated CPU time (s) 1362.35
Current children cumulated vsize (KiB) 31016
[startup+1422.32 s]
/proc/loadavg: 2.02 2.02 2.00 3/438 2252
/proc/meminfo: memFree=24757676/32951124 swapFree=50923800/67111528
[pid=2202] ppid=2200 vsize=31164 CPUtime=1422.37 cores=1,3,5,7
/proc/2202/stat : 2202 (clasp) R 2200 2202 29572 0 -1 4202496 5185 0 0 0 142237 0 0 0 25 0 1 0 801488248 31911936 5092 33554432000 4194304 4933572 140735863180496 18446744073709551615 4649364 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/2202/statm: 7791 5092 381 181 0 4800 0
Current children cumulated CPU time (s) 1422.37
Current children cumulated vsize (KiB) 31164
[startup+1482.3 s]
/proc/loadavg: 1.52 1.89 1.96 2/432 2283
/proc/meminfo: memFree=24775488/32951124 swapFree=50923800/67111528
[pid=2202] ppid=2200 vsize=31164 CPUtime=1482.36 cores=1,3,5,7
/proc/2202/stat : 2202 (clasp) R 2200 2202 29572 0 -1 4202496 5195 0 0 0 148236 0 0 0 25 0 1 0 801488248 31911936 5102 33554432000 4194304 4933572 140735863180496 18446744073709551615 4319486 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/2202/statm: 7791 5102 381 181 0 4800 0
Current children cumulated CPU time (s) 1482.36
Current children cumulated vsize (KiB) 31164
[startup+1542.3 s]
/proc/loadavg: 1.19 1.72 1.89 2/432 2285
/proc/meminfo: memFree=24776344/32951124 swapFree=50923800/67111528
[pid=2202] ppid=2200 vsize=31444 CPUtime=1542.36 cores=1,3,5,7
/proc/2202/stat : 2202 (clasp) R 2200 2202 29572 0 -1 4202496 5251 0 0 0 154236 0 0 0 25 0 1 0 801488248 32198656 5158 33554432000 4194304 4933572 140735863180496 18446744073709551615 4649236 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/2202/statm: 7861 5158 381 181 0 4870 0
Current children cumulated CPU time (s) 1542.36
Current children cumulated vsize (KiB) 31444
[startup+1602.3 s]
/proc/loadavg: 1.12 1.60 1.84 2/432 2286
/proc/meminfo: memFree=24776320/32951124 swapFree=50923800/67111528
[pid=2202] ppid=2200 vsize=31724 CPUtime=1602.36 cores=1,3,5,7
/proc/2202/stat : 2202 (clasp) R 2200 2202 29572 0 -1 4202496 5306 0 0 0 160236 0 0 0 25 0 1 0 801488248 32485376 5213 33554432000 4194304 4933572 140735863180496 18446744073709551615 4360897 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/2202/statm: 7931 5213 381 181 0 4940 0
Current children cumulated CPU time (s) 1602.36
Current children cumulated vsize (KiB) 31724
[startup+1662.3 s]
/proc/loadavg: 1.04 1.49 1.79 2/432 2288
/proc/meminfo: memFree=24776432/32951124 swapFree=50923800/67111528
[pid=2202] ppid=2200 vsize=31856 CPUtime=1662.37 cores=1,3,5,7
/proc/2202/stat : 2202 (clasp) R 2200 2202 29572 0 -1 4202496 5349 0 0 0 166237 0 0 0 25 0 1 0 801488248 32620544 5256 33554432000 4194304 4933572 140735863180496 18446744073709551615 4319422 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/2202/statm: 7964 5256 381 181 0 4973 0
Current children cumulated CPU time (s) 1662.37
Current children cumulated vsize (KiB) 31856
[startup+1722.3 s]
/proc/loadavg: 1.01 1.40 1.73 2/432 2290
/proc/meminfo: memFree=24776044/32951124 swapFree=50923800/67111528
[pid=2202] ppid=2200 vsize=31992 CPUtime=1722.37 cores=1,3,5,7
/proc/2202/stat : 2202 (clasp) R 2200 2202 29572 0 -1 4202496 5370 0 0 0 172237 0 0 0 25 0 1 0 801488248 32759808 5277 33554432000 4194304 4933572 140735863180496 18446744073709551615 4649830 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/2202/statm: 7998 5277 381 181 0 5007 0
Current children cumulated CPU time (s) 1722.37
Current children cumulated vsize (KiB) 31992
[startup+1782.3 s]
/proc/loadavg: 1.00 1.32 1.68 2/432 2291
/proc/meminfo: memFree=24775168/32951124 swapFree=50923800/67111528
[pid=2202] ppid=2200 vsize=32128 CPUtime=1782.37 cores=1,3,5,7
/proc/2202/stat : 2202 (clasp) R 2200 2202 29572 0 -1 4202496 5411 0 0 0 178237 0 0 0 25 0 1 0 801488248 32899072 5318 33554432000 4194304 4933572 140735863180496 18446744073709551615 4319256 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/2202/statm: 8032 5318 381 181 0 5041 0
Current children cumulated CPU time (s) 1782.37
Current children cumulated vsize (KiB) 32128
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800 s]
/proc/loadavg: 1.00 1.31 1.67 2/432 2292
/proc/meminfo: memFree=24775036/32951124 swapFree=50923800/67111528
[pid=2202] ppid=2200 vsize=32128 CPUtime=1800.08 cores=1,3,5,7
/proc/2202/stat : 2202 (clasp) R 2200 2202 29572 0 -1 4202496 5423 0 0 0 180008 0 0 0 25 0 1 0 801488248 32899072 5330 33554432000 4194304 4933572 140735863180496 18446744073709551615 4648709 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/2202/statm: 8032 5330 381 181 0 5041 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 32128
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.1
CPU user time (s): 1800.09
CPU system time (s): 0.005999
CPU usage (%): 100.005
Max. virtual memory (cumulated for all children) (KiB): 32128
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1800.09
system time used= 0.005999
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 5435
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= 7
involuntary context switches= 2760
runsolver used 7.08592 second user time and 17.0714 second system time
The end