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-3468062-1307093181/watcher-3468062-1307093181 -o /tmp/evaluation-result-3468062-1307093181/solver-3468062-1307093181 -C 1800 -W 1900 -M 15500 HOME/clasp HOME/instance-3468062-1307093181.opb --berk-max=512 --berk-once --otfs=1 --recursive-str --dinit=1500,10000 --dsched=10000,1.1,20000 --restart-on-model --opt-heu=2
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 1.84 1.98 1.99 2/477 7059
/proc/meminfo: memFree=27460864/32950928 swapFree=39617324/67111528
[pid=7059] ppid=7056 vsize=15064 CPUtime=0 cores=0,2,4,6
/proc/7059/stat : 7059 (clasp) R 7056 7059 7025 0 -1 4202496 1257 0 0 0 0 0 0 0 25 0 1 0 820917820 15425536 1086 33554432000 4194304 4933572 140734736559216 18446744073709551615 208079893189 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/7059/statm: 3766 1088 349 181 0 775 0
[startup+0.0822909 s]
/proc/loadavg: 1.84 1.98 1.99 2/477 7059
/proc/meminfo: memFree=27460864/32950928 swapFree=39617324/67111528
[pid=7059] ppid=7056 vsize=15248 CPUtime=0.07 cores=0,2,4,6
/proc/7059/stat : 7059 (clasp) R 7056 7059 7025 0 -1 4202496 1407 0 0 0 7 0 0 0 25 0 1 0 820917820 15613952 1147 33554432000 4194304 4933572 140734736559216 18446744073709551615 4648408 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/7059/statm: 3812 1147 380 181 0 821 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 15248
[startup+0.100288 s]
/proc/loadavg: 1.84 1.98 1.99 2/477 7059
/proc/meminfo: memFree=27460864/32950928 swapFree=39617324/67111528
[pid=7059] ppid=7056 vsize=15248 CPUtime=0.09 cores=0,2,4,6
/proc/7059/stat : 7059 (clasp) R 7056 7059 7025 0 -1 4202496 1407 0 0 0 9 0 0 0 25 0 1 0 820917820 15613952 1147 33554432000 4194304 4933572 140734736559216 18446744073709551615 4648426 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/7059/statm: 3812 1147 380 181 0 821 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 15248
[startup+0.300249 s]
/proc/loadavg: 1.84 1.98 1.99 2/477 7059
/proc/meminfo: memFree=27460864/32950928 swapFree=39617324/67111528
[pid=7059] ppid=7056 vsize=15248 CPUtime=0.29 cores=0,2,4,6
/proc/7059/stat : 7059 (clasp) R 7056 7059 7025 0 -1 4202496 1408 0 0 0 29 0 0 0 25 0 1 0 820917820 15613952 1148 33554432000 4194304 4933572 140734736559216 18446744073709551615 4649211 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/7059/statm: 3812 1148 381 181 0 821 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 15248
[startup+0.700174 s]
/proc/loadavg: 1.84 1.98 1.99 2/477 7059
/proc/meminfo: memFree=27460864/32950928 swapFree=39617324/67111528
[pid=7059] ppid=7056 vsize=15248 CPUtime=0.69 cores=0,2,4,6
/proc/7059/stat : 7059 (clasp) R 7056 7059 7025 0 -1 4202496 1408 0 0 0 69 0 0 0 25 0 1 0 820917820 15613952 1148 33554432000 4194304 4933572 140734736559216 18446744073709551615 4637179 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/7059/statm: 3812 1148 381 181 0 821 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 15248
[startup+1.50113 s]
/proc/loadavg: 1.85 1.98 1.99 3/482 7064
/proc/meminfo: memFree=27447360/32950928 swapFree=39617324/67111528
[pid=7059] ppid=7056 vsize=15248 CPUtime=1.49 cores=0,2,4,6
/proc/7059/stat : 7059 (clasp) R 7056 7059 7025 0 -1 4202496 1408 0 0 0 149 0 0 0 25 0 1 0 820917820 15613952 1148 33554432000 4194304 4933572 140734736559216 18446744073709551615 4369053 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/7059/statm: 3812 1148 381 181 0 821 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 15248
[startup+3.10083 s]
/proc/loadavg: 1.85 1.98 1.99 3/482 7064
/proc/meminfo: memFree=27443020/32950928 swapFree=39617324/67111528
[pid=7059] ppid=7056 vsize=15512 CPUtime=3.09 cores=0,2,4,6
/proc/7059/stat : 7059 (clasp) R 7056 7059 7025 0 -1 4202496 1484 0 0 0 309 0 0 0 25 0 1 0 820917820 15884288 1224 33554432000 4194304 4933572 140734736559216 18446744073709551615 4631959 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/7059/statm: 3878 1224 381 181 0 887 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 15512
[startup+6.30023 s]
/proc/loadavg: 1.85 1.98 1.99 3/482 7064
/proc/meminfo: memFree=27442152/32950928 swapFree=39617324/67111528
[pid=7059] ppid=7056 vsize=15776 CPUtime=6.29 cores=0,2,4,6
/proc/7059/stat : 7059 (clasp) R 7056 7059 7025 0 -1 4202496 1557 0 0 0 629 0 0 0 25 0 1 0 820917820 16154624 1297 33554432000 4194304 4933572 140734736559216 18446744073709551615 4649040 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/7059/statm: 3944 1297 381 181 0 953 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 15776
[startup+12.7009 s]
/proc/loadavg: 1.88 1.98 1.99 3/482 7064
/proc/meminfo: memFree=27439720/32950928 swapFree=39617324/67111528
[pid=7059] ppid=7056 vsize=16316 CPUtime=12.69 cores=0,2,4,6
/proc/7059/stat : 7059 (clasp) R 7056 7059 7025 0 -1 4202496 1693 0 0 0 1269 0 0 0 25 0 1 0 820917820 16707584 1433 33554432000 4194304 4933572 140734736559216 18446744073709551615 4429833 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/7059/statm: 4079 1433 381 181 0 1088 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 16316
[startup+25.5006 s]
/proc/loadavg: 1.89 1.98 1.99 3/482 7065
/proc/meminfo: memFree=27434008/32950928 swapFree=39617324/67111528
[pid=7059] ppid=7056 vsize=16996 CPUtime=25.49 cores=0,2,4,6
/proc/7059/stat : 7059 (clasp) R 7056 7059 7025 0 -1 4202496 1863 0 0 0 2549 0 0 0 25 0 1 0 820917820 17403904 1603 33554432000 4194304 4933572 140734736559216 18446744073709551615 4663904 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/7059/statm: 4249 1603 381 181 0 1258 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 16996
[startup+51.1007 s]
/proc/loadavg: 1.93 1.98 1.99 3/482 7066
/proc/meminfo: memFree=27422196/32950928 swapFree=39617324/67111528
[pid=7059] ppid=7056 vsize=18428 CPUtime=51.09 cores=0,2,4,6
/proc/7059/stat : 7059 (clasp) R 7056 7059 7025 0 -1 4202496 2213 0 0 0 5109 0 0 0 25 0 1 0 820917820 18870272 1953 33554432000 4194304 4933572 140734736559216 18446744073709551615 4649355 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/7059/statm: 4607 1953 381 181 0 1616 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 18428
[startup+102.318 s]
/proc/loadavg: 1.97 1.98 1.99 3/482 7067
/proc/meminfo: memFree=27415352/32950928 swapFree=39617324/67111528
[pid=7059] ppid=7056 vsize=20164 CPUtime=102.31 cores=0,2,4,6
/proc/7059/stat : 7059 (clasp) R 7056 7059 7025 0 -1 4202496 2632 0 0 0 10231 0 0 0 25 0 1 0 820917820 20647936 2372 33554432000 4194304 4933572 140734736559216 18446744073709551615 4649590 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/7059/statm: 5041 2372 381 181 0 2050 0
Current children cumulated CPU time (s) 102.31
Current children cumulated vsize (KiB) 20164
[startup+162.3 s]
/proc/loadavg: 1.99 1.98 1.99 3/482 7068
/proc/meminfo: memFree=27412480/32950928 swapFree=39617324/67111528
[pid=7059] ppid=7056 vsize=21128 CPUtime=162.29 cores=0,2,4,6
/proc/7059/stat : 7059 (clasp) R 7056 7059 7025 0 -1 4202496 2841 0 0 0 16229 0 0 0 25 0 1 0 820917820 21635072 2581 33554432000 4194304 4933572 140734736559216 18446744073709551615 4637466 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/7059/statm: 5282 2581 381 181 0 2291 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 21128
[startup+222.301 s]
/proc/loadavg: 1.99 1.98 1.99 3/482 7070
/proc/meminfo: memFree=27413336/32950928 swapFree=39617324/67111528
[pid=7059] ppid=7056 vsize=22508 CPUtime=222.3 cores=0,2,4,6
/proc/7059/stat : 7059 (clasp) R 7056 7059 7025 0 -1 4202496 3176 0 0 0 22230 0 0 0 25 0 1 0 820917820 23048192 2916 33554432000 4194304 4933572 140734736559216 18446744073709551615 4648288 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/7059/statm: 5627 2916 381 181 0 2636 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 22508
[startup+282.3 s]
/proc/loadavg: 1.99 1.98 1.99 3/482 7072
/proc/meminfo: memFree=27413080/32950928 swapFree=39617324/67111528
[pid=7059] ppid=7056 vsize=23504 CPUtime=282.3 cores=0,2,4,6
/proc/7059/stat : 7059 (clasp) R 7056 7059 7025 0 -1 4202496 3428 0 0 0 28230 0 0 0 25 0 1 0 820917820 24068096 3168 33554432000 4194304 4933572 140734736559216 18446744073709551615 4429833 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/7059/statm: 5876 3168 381 181 0 2885 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 23504
[startup+342.301 s]
/proc/loadavg: 2.25 2.06 2.01 3/482 7073
/proc/meminfo: memFree=27405640/32950928 swapFree=39617324/67111528
[pid=7059] ppid=7056 vsize=24364 CPUtime=342.31 cores=0,2,4,6
/proc/7059/stat : 7059 (clasp) R 7056 7059 7025 0 -1 4202496 3633 0 0 0 34230 1 0 0 25 0 1 0 820917820 24948736 3373 33554432000 4194304 4933572 140734736559216 18446744073709551615 4649818 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/7059/statm: 6091 3373 381 181 0 3100 0
Current children cumulated CPU time (s) 342.31
Current children cumulated vsize (KiB) 24364
[startup+402.301 s]
/proc/loadavg: 2.09 2.05 2.00 3/482 7075
/proc/meminfo: memFree=27403764/32950928 swapFree=39617324/67111528
[pid=7059] ppid=7056 vsize=24968 CPUtime=402.31 cores=0,2,4,6
/proc/7059/stat : 7059 (clasp) R 7056 7059 7025 0 -1 4202496 3753 0 0 0 40230 1 0 0 25 0 1 0 820917820 25567232 3493 33554432000 4194304 4933572 140734736559216 18446744073709551615 4637408 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/7059/statm: 6242 3493 381 181 0 3251 0
Current children cumulated CPU time (s) 402.31
Current children cumulated vsize (KiB) 24968
[startup+462.3 s]
/proc/loadavg: 2.03 2.04 2.00 3/482 7076
/proc/meminfo: memFree=27402496/32950928 swapFree=39617324/67111528
[pid=7059] ppid=7056 vsize=25828 CPUtime=462.31 cores=0,2,4,6
/proc/7059/stat : 7059 (clasp) R 7056 7059 7025 0 -1 4202496 3961 0 0 0 46230 1 0 0 25 0 1 0 820917820 26447872 3701 33554432000 4194304 4933572 140734736559216 18446744073709551615 4649730 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/7059/statm: 6457 3701 381 181 0 3466 0
Current children cumulated CPU time (s) 462.31
Current children cumulated vsize (KiB) 25828
[startup+522.301 s]
/proc/loadavg: 2.01 2.03 2.00 3/482 7078
/proc/meminfo: memFree=27398388/32950928 swapFree=39617324/67111528
[pid=7059] ppid=7056 vsize=26592 CPUtime=522.31 cores=0,2,4,6
/proc/7059/stat : 7059 (clasp) R 7056 7059 7025 0 -1 4202496 4163 0 0 0 52230 1 0 0 25 0 1 0 820917820 27230208 3903 33554432000 4194304 4933572 140734736559216 18446744073709551615 4649236 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/7059/statm: 6648 3903 381 181 0 3657 0
Current children cumulated CPU time (s) 522.31
Current children cumulated vsize (KiB) 26592
[startup+582.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/482 7080
/proc/meminfo: memFree=27396764/32950928 swapFree=39617324/67111528
[pid=7059] ppid=7056 vsize=27608 CPUtime=582.32 cores=0,2,4,6
/proc/7059/stat : 7059 (clasp) R 7056 7059 7025 0 -1 4202496 4381 0 0 0 58231 1 0 0 25 0 1 0 820917820 28270592 4121 33554432000 4194304 4933572 140734736559216 18446744073709551615 4319404 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/7059/statm: 6902 4121 381 181 0 3911 0
Current children cumulated CPU time (s) 582.32
Current children cumulated vsize (KiB) 27608
[startup+642.301 s]
################
# More data... #
################
[startup+822.301 s]
/proc/loadavg: 2.14 2.04 2.01 3/482 7086
/proc/meminfo: memFree=27386512/32950928 swapFree=39617324/67111528
[pid=7059] ppid=7056 vsize=29816 CPUtime=822.32 cores=0,2,4,6
/proc/7059/stat : 7059 (clasp) R 7056 7059 7025 0 -1 4202496 4921 0 0 0 82231 1 0 0 25 0 1 0 820917820 30531584 4661 33554432000 4194304 4933572 140734736559216 18446744073709551615 4631915 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/7059/statm: 7454 4661 381 181 0 4463 0
Current children cumulated CPU time (s) 822.32
Current children cumulated vsize (KiB) 29816
[startup+882.301 s]
/proc/loadavg: 2.14 2.06 2.02 3/482 7088
/proc/meminfo: memFree=27385260/32950928 swapFree=39617324/67111528
[pid=7059] ppid=7056 vsize=30304 CPUtime=882.32 cores=0,2,4,6
/proc/7059/stat : 7059 (clasp) R 7056 7059 7025 0 -1 4202496 5022 0 0 0 88231 1 0 0 25 0 1 0 820917820 31031296 4762 33554432000 4194304 4933572 140734736559216 18446744073709551615 4649364 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/7059/statm: 7576 4762 381 181 0 4585 0
Current children cumulated CPU time (s) 882.32
Current children cumulated vsize (KiB) 30304
[startup+942.301 s]
/proc/loadavg: 2.05 2.05 2.01 3/482 7089
/proc/meminfo: memFree=27384748/32950928 swapFree=39617324/67111528
[pid=7059] ppid=7056 vsize=30612 CPUtime=942.33 cores=0,2,4,6
/proc/7059/stat : 7059 (clasp) R 7056 7059 7025 0 -1 4202496 5087 0 0 0 94232 1 0 0 25 0 1 0 820917820 31346688 4827 33554432000 4194304 4933572 140734736559216 18446744073709551615 4649818 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/7059/statm: 7653 4827 381 181 0 4662 0
Current children cumulated CPU time (s) 942.33
Current children cumulated vsize (KiB) 30612
[startup+1002.3 s]
/proc/loadavg: 2.02 2.04 2.01 3/482 7091
/proc/meminfo: memFree=27384484/32950928 swapFree=39617324/67111528
[pid=7059] ppid=7056 vsize=30780 CPUtime=1002.33 cores=0,2,4,6
/proc/7059/stat : 7059 (clasp) R 7056 7059 7025 0 -1 4202496 5151 0 0 0 100232 1 0 0 25 0 1 0 820917820 31518720 4891 33554432000 4194304 4933572 140734736559216 18446744073709551615 4649818 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/7059/statm: 7695 4891 381 181 0 4704 0
Current children cumulated CPU time (s) 1002.33
Current children cumulated vsize (KiB) 30780
[startup+1062.3 s]
/proc/loadavg: 2.00 2.03 2.00 3/482 7092
/proc/meminfo: memFree=27384324/32950928 swapFree=39617324/67111528
[pid=7059] ppid=7056 vsize=31120 CPUtime=1062.33 cores=0,2,4,6
/proc/7059/stat : 7059 (clasp) R 7056 7059 7025 0 -1 4202496 5219 0 0 0 106232 1 0 0 25 0 1 0 820917820 31866880 4959 33554432000 4194304 4933572 140734736559216 18446744073709551615 4340885 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/7059/statm: 7780 4959 381 181 0 4789 0
Current children cumulated CPU time (s) 1062.33
Current children cumulated vsize (KiB) 31120
[startup+1122.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/482 7094
/proc/meminfo: memFree=27383816/32950928 swapFree=39617324/67111528
[pid=7059] ppid=7056 vsize=31964 CPUtime=1122.33 cores=0,2,4,6
/proc/7059/stat : 7059 (clasp) R 7056 7059 7025 0 -1 4202496 5406 0 0 0 112232 1 0 0 25 0 1 0 820917820 32731136 5146 33554432000 4194304 4933572 140734736559216 18446744073709551615 4649153 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/7059/statm: 7991 5146 383 181 0 5000 0
Current children cumulated CPU time (s) 1122.33
Current children cumulated vsize (KiB) 31964
[startup+1182.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/482 7096
/proc/meminfo: memFree=27379084/32950928 swapFree=39617324/67111528
[pid=7059] ppid=7056 vsize=32104 CPUtime=1182.33 cores=0,2,4,6
/proc/7059/stat : 7059 (clasp) R 7056 7059 7025 0 -1 4202496 5445 0 0 0 118232 1 0 0 25 0 1 0 820917820 32874496 5185 33554432000 4194304 4933572 140734736559216 18446744073709551615 4649355 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/7059/statm: 8026 5185 383 181 0 5035 0
Current children cumulated CPU time (s) 1182.33
Current children cumulated vsize (KiB) 32104
[startup+1242.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/482 7097
/proc/meminfo: memFree=27377820/32950928 swapFree=39617324/67111528
[pid=7059] ppid=7056 vsize=32104 CPUtime=1242.33 cores=0,2,4,6
/proc/7059/stat : 7059 (clasp) R 7056 7059 7025 0 -1 4202496 5447 0 0 0 124232 1 0 0 25 0 1 0 820917820 32874496 5187 33554432000 4194304 4933572 140734736559216 18446744073709551615 4637142 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/7059/statm: 8026 5187 383 181 0 5035 0
Current children cumulated CPU time (s) 1242.33
Current children cumulated vsize (KiB) 32104
[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/482 7099
/proc/meminfo: memFree=27376300/32950928 swapFree=39617324/67111528
[pid=7059] ppid=7056 vsize=32268 CPUtime=1302.35 cores=0,2,4,6
/proc/7059/stat : 7059 (clasp) R 7056 7059 7025 0 -1 4202496 5483 0 0 0 130234 1 0 0 25 0 1 0 820917820 33042432 5223 33554432000 4194304 4933572 140734736559216 18446744073709551615 4340816 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/7059/statm: 8067 5223 383 181 0 5076 0
Current children cumulated CPU time (s) 1302.35
Current children cumulated vsize (KiB) 32268
[startup+1362.3 s]
/proc/loadavg: 2.20 2.05 2.02 3/482 7100
/proc/meminfo: memFree=27376756/32950928 swapFree=39617324/67111528
[pid=7059] ppid=7056 vsize=32756 CPUtime=1362.34 cores=0,2,4,6
/proc/7059/stat : 7059 (clasp) R 7056 7059 7025 0 -1 4202496 5608 0 0 0 136233 1 0 0 25 0 1 0 820917820 33542144 5348 33554432000 4194304 4933572 140734736559216 18446744073709551615 4648676 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/7059/statm: 8189 5348 383 181 0 5198 0
Current children cumulated CPU time (s) 1362.34
Current children cumulated vsize (KiB) 32756
[startup+1422.32 s]
/proc/loadavg: 2.07 2.04 2.01 3/482 7102
/proc/meminfo: memFree=27376360/32950928 swapFree=39617324/67111528
[pid=7059] ppid=7056 vsize=33044 CPUtime=1422.36 cores=0,2,4,6
/proc/7059/stat : 7059 (clasp) R 7056 7059 7025 0 -1 4202496 5646 0 0 0 142235 1 0 0 25 0 1 0 820917820 33837056 5386 33554432000 4194304 4933572 140734736559216 18446744073709551615 4649818 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/7059/statm: 8261 5386 383 181 0 5270 0
Current children cumulated CPU time (s) 1422.36
Current children cumulated vsize (KiB) 33044
[startup+1482.3 s]
/proc/loadavg: 2.02 2.03 2.00 3/482 7104
/proc/meminfo: memFree=27376952/32950928 swapFree=39617324/67111528
[pid=7059] ppid=7056 vsize=33044 CPUtime=1482.34 cores=0,2,4,6
/proc/7059/stat : 7059 (clasp) R 7056 7059 7025 0 -1 4202496 5648 0 0 0 148233 1 0 0 25 0 1 0 820917820 33837056 5388 33554432000 4194304 4933572 140734736559216 18446744073709551615 4637473 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/7059/statm: 8261 5388 383 181 0 5270 0
Current children cumulated CPU time (s) 1482.34
Current children cumulated vsize (KiB) 33044
[startup+1542.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/482 7105
/proc/meminfo: memFree=27376680/32950928 swapFree=39617324/67111528
[pid=7059] ppid=7056 vsize=33308 CPUtime=1542.35 cores=0,2,4,6
/proc/7059/stat : 7059 (clasp) R 7056 7059 7025 0 -1 4202496 5729 0 0 0 154233 2 0 0 25 0 1 0 820917820 34107392 5469 33554432000 4194304 4933572 140734736559216 18446744073709551615 4368931 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/7059/statm: 8327 5469 383 181 0 5336 0
Current children cumulated CPU time (s) 1542.35
Current children cumulated vsize (KiB) 33308
[startup+1602.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/482 7107
/proc/meminfo: memFree=27376652/32950928 swapFree=39617324/67111528
[pid=7059] ppid=7056 vsize=33440 CPUtime=1602.36 cores=0,2,4,6
/proc/7059/stat : 7059 (clasp) R 7056 7059 7025 0 -1 4202496 5745 0 0 0 160234 2 0 0 25 0 1 0 820917820 34242560 5485 33554432000 4194304 4933572 140734736559216 18446744073709551615 4648360 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/7059/statm: 8360 5485 383 181 0 5369 0
Current children cumulated CPU time (s) 1602.36
Current children cumulated vsize (KiB) 33440
[startup+1662.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/482 7108
/proc/meminfo: memFree=27376116/32950928 swapFree=39617324/67111528
[pid=7059] ppid=7056 vsize=33580 CPUtime=1662.36 cores=0,2,4,6
/proc/7059/stat : 7059 (clasp) R 7056 7059 7025 0 -1 4202496 5794 0 0 0 166234 2 0 0 25 0 1 0 820917820 34385920 5534 33554432000 4194304 4933572 140734736559216 18446744073709551615 4648315 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/7059/statm: 8395 5534 383 181 0 5404 0
Current children cumulated CPU time (s) 1662.36
Current children cumulated vsize (KiB) 33580
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/482 7110
/proc/meminfo: memFree=27375100/32950928 swapFree=39617324/67111528
[pid=7059] ppid=7056 vsize=34176 CPUtime=1722.36 cores=0,2,4,6
/proc/7059/stat : 7059 (clasp) R 7056 7059 7025 0 -1 4202496 5919 0 0 0 172234 2 0 0 25 0 1 0 820917820 34996224 5659 33554432000 4194304 4933572 140734736559216 18446744073709551615 4648546 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/7059/statm: 8544 5659 383 181 0 5553 0
Current children cumulated CPU time (s) 1722.36
Current children cumulated vsize (KiB) 34176
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/482 7112
/proc/meminfo: memFree=27368384/32950928 swapFree=39617324/67111528
[pid=7059] ppid=7056 vsize=34672 CPUtime=1782.36 cores=0,2,4,6
/proc/7059/stat : 7059 (clasp) R 7056 7059 7025 0 -1 4202496 6034 0 0 0 178234 2 0 0 25 0 1 0 820917820 35504128 5774 33554432000 4194304 4933572 140734736559216 18446744073709551615 4648683 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/7059/statm: 8668 5774 383 181 0 5677 0
Current children cumulated CPU time (s) 1782.36
Current children cumulated vsize (KiB) 34672
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800 s]
/proc/loadavg: 2.00 2.00 2.00 3/482 7112
/proc/meminfo: memFree=27368996/32950928 swapFree=39617324/67111528
[pid=7059] ppid=7056 vsize=34672 CPUtime=1800.07 cores=0,2,4,6
/proc/7059/stat : 7059 (clasp) R 7056 7059 7025 0 -1 4202496 6056 0 0 0 180005 2 0 0 25 0 1 0 820917820 35504128 5796 33554432000 4194304 4933572 140734736559216 18446744073709551615 4319328 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/7059/statm: 8668 5796 383 181 0 5677 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 34672
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.09
CPU user time (s): 1800.07
CPU system time (s): 0.022996
CPU usage (%): 100.004
Max. virtual memory (cumulated for all children) (KiB): 34672
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1800.07
system time used= 0.022996
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 6068
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= 14
involuntary context switches= 2603
runsolver used 9.16461 second user time and 19.588 second system time
The end