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-3468186-1307109704/watcher-3468186-1307109704 -o /tmp/evaluation-result-3468186-1307109704/solver-3468186-1307109704 -C 1800 -W 1900 -M 15500 HOME/clasp HOME/instance-3468186-1307109704.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: 2.08 2.04 2.00 2/558 1033
/proc/meminfo: memFree=28715804/32951124 swapFree=34426104/67111528
[pid=1033] ppid=1031 vsize=14828 CPUtime=0 cores=0,2,4,6
/proc/1033/stat : 1033 (clasp) R 1031 1033 31297 0 -1 4202496 926 0 0 0 0 0 0 0 25 0 1 0 901201061 15183872 851 33554432000 4194304 4933572 140737020548496 18446744073709551615 4659471 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/1033/statm: 3707 856 320 181 0 716 0
[startup+0.112716 s]
/proc/loadavg: 2.08 2.04 2.00 2/558 1033
/proc/meminfo: memFree=28715804/32951124 swapFree=34426104/67111528
[pid=1033] ppid=1031 vsize=39564 CPUtime=0.1 cores=0,2,4,6
/proc/1033/stat : 1033 (clasp) R 1031 1033 31297 0 -1 4202496 7210 0 0 0 9 1 0 0 25 0 1 0 901201061 40513536 7045 33554432000 4194304 4933572 140737020548496 18446744073709551615 4720831 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/1033/statm: 9891 7045 329 181 0 6900 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 39564
[startup+0.200709 s]
/proc/loadavg: 2.08 2.04 2.00 2/558 1033
/proc/meminfo: memFree=28715804/32951124 swapFree=34426104/67111528
[pid=1033] ppid=1031 vsize=51652 CPUtime=0.19 cores=0,2,4,6
/proc/1033/stat : 1033 (clasp) R 1031 1033 31297 0 -1 4202496 10027 0 0 0 18 1 0 0 25 0 1 0 901201061 52891648 9688 33554432000 4194304 4933572 140737020548496 18446744073709551615 4625496 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/1033/statm: 12913 9688 345 181 0 9922 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 51652
[startup+0.30068 s]
/proc/loadavg: 2.08 2.04 2.00 2/558 1033
/proc/meminfo: memFree=28715804/32951124 swapFree=34426104/67111528
[pid=1033] ppid=1031 vsize=51652 CPUtime=0.29 cores=0,2,4,6
/proc/1033/stat : 1033 (clasp) R 1031 1033 31297 0 -1 4202496 10027 0 0 0 28 1 0 0 25 0 1 0 901201061 52891648 9688 33554432000 4194304 4933572 140737020548496 18446744073709551615 4625510 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/1033/statm: 12913 9688 345 181 0 9922 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 51652
[startup+0.700629 s]
/proc/loadavg: 2.08 2.04 2.00 2/558 1033
/proc/meminfo: memFree=28715804/32951124 swapFree=34426104/67111528
[pid=1033] ppid=1031 vsize=51652 CPUtime=0.69 cores=0,2,4,6
/proc/1033/stat : 1033 (clasp) R 1031 1033 31297 0 -1 4202496 10027 0 0 0 68 1 0 0 25 0 1 0 901201061 52891648 9688 33554432000 4194304 4933572 140737020548496 18446744073709551615 4625476 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/1033/statm: 12913 9688 345 181 0 9922 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 51652
[startup+1.50049 s]
/proc/loadavg: 2.08 2.04 2.00 3/559 1034
/proc/meminfo: memFree=28677240/32951124 swapFree=34426104/67111528
[pid=1033] ppid=1031 vsize=51652 CPUtime=1.49 cores=0,2,4,6
/proc/1033/stat : 1033 (clasp) R 1031 1033 31297 0 -1 4202496 10027 0 0 0 148 1 0 0 25 0 1 0 901201061 52891648 9688 33554432000 4194304 4933572 140737020548496 18446744073709551615 4625476 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/1033/statm: 12913 9688 345 181 0 9922 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 51652
[startup+3.10022 s]
/proc/loadavg: 2.08 2.04 2.00 3/559 1034
/proc/meminfo: memFree=28676000/32951124 swapFree=34426104/67111528
[pid=1033] ppid=1031 vsize=59392 CPUtime=3.09 cores=0,2,4,6
/proc/1033/stat : 1033 (clasp) R 1031 1033 31297 0 -1 4202496 11944 0 0 0 308 1 0 0 25 0 1 0 901201061 60817408 11473 33554432000 4194304 4933572 140737020548496 18446744073709551615 4710923 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/1033/statm: 14848 11473 367 181 0 11857 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 59392
[startup+6.30068 s]
/proc/loadavg: 2.08 2.04 2.00 3/559 1034
/proc/meminfo: memFree=28664224/32951124 swapFree=34426104/67111528
[pid=1033] ppid=1031 vsize=65432 CPUtime=6.29 cores=0,2,4,6
/proc/1033/stat : 1033 (clasp) R 1031 1033 31297 0 -1 4202496 13287 0 0 0 628 1 0 0 25 0 1 0 901201061 67002368 12816 33554432000 4194304 4933572 140737020548496 18446744073709551615 4718266 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/1033/statm: 16358 12816 375 181 0 13367 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 65432
[startup+12.7006 s]
/proc/loadavg: 2.07 2.04 2.00 3/559 1036
/proc/meminfo: memFree=28658800/32951124 swapFree=34426104/67111528
[pid=1033] ppid=1031 vsize=67676 CPUtime=12.69 cores=0,2,4,6
/proc/1033/stat : 1033 (clasp) R 1031 1033 31297 0 -1 4202496 13832 0 0 0 1268 1 0 0 25 0 1 0 901201061 69300224 13361 33554432000 4194304 4933572 140737020548496 18446744073709551615 4649830 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/1033/statm: 16919 13361 375 181 0 13928 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 67676
[startup+25.5005 s]
/proc/loadavg: 2.05 2.04 2.00 3/559 1036
/proc/meminfo: memFree=28658428/32951124 swapFree=34426104/67111528
[pid=1033] ppid=1031 vsize=68580 CPUtime=25.49 cores=0,2,4,6
/proc/1033/stat : 1033 (clasp) R 1031 1033 31297 0 -1 4202496 14131 0 0 0 2548 1 0 0 25 0 1 0 901201061 70225920 13660 33554432000 4194304 4933572 140737020548496 18446744073709551615 4718636 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/1033/statm: 17145 13660 375 181 0 14154 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 68580
[startup+51.1012 s]
/proc/loadavg: 2.03 2.03 2.00 3/559 1036
/proc/meminfo: memFree=28659192/32951124 swapFree=34426104/67111528
[pid=1033] ppid=1031 vsize=68580 CPUtime=51.09 cores=0,2,4,6
/proc/1033/stat : 1033 (clasp) R 1031 1033 31297 0 -1 4202496 14189 0 0 0 5108 1 0 0 25 0 1 0 901201061 70225920 13718 33554432000 4194304 4933572 140737020548496 18446744073709551615 4718196 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/1033/statm: 17145 13718 375 181 0 14154 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 68580
[startup+102.301 s]
/proc/loadavg: 2.01 2.03 2.00 3/559 1038
/proc/meminfo: memFree=28657184/32951124 swapFree=34426104/67111528
[pid=1033] ppid=1031 vsize=68888 CPUtime=102.3 cores=0,2,4,6
/proc/1033/stat : 1033 (clasp) R 1031 1033 31297 0 -1 4202496 14323 0 0 0 10228 2 0 0 25 0 1 0 901201061 70541312 13852 33554432000 4194304 4933572 140737020548496 18446744073709551615 4649818 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/1033/statm: 17222 13852 375 181 0 14231 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 68888
[startup+162.301 s]
/proc/loadavg: 2.00 2.02 2.00 3/559 1040
/proc/meminfo: memFree=28654656/32951124 swapFree=34426104/67111528
[pid=1033] ppid=1031 vsize=69300 CPUtime=162.3 cores=0,2,4,6
/proc/1033/stat : 1033 (clasp) R 1031 1033 31297 0 -1 4202496 14458 0 0 0 16228 2 0 0 25 0 1 0 901201061 70963200 13987 33554432000 4194304 4933572 140737020548496 18446744073709551615 4649830 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/1033/statm: 17325 13987 375 181 0 14334 0
Current children cumulated CPU time (s) 162.3
Current children cumulated vsize (KiB) 69300
[startup+222.322 s]
/proc/loadavg: 2.00 2.01 2.00 3/559 1040
/proc/meminfo: memFree=28655000/32951124 swapFree=34426104/67111528
[pid=1033] ppid=1031 vsize=69724 CPUtime=222.32 cores=0,2,4,6
/proc/1033/stat : 1033 (clasp) R 1031 1033 31297 0 -1 4202496 14568 0 0 0 22230 2 0 0 25 0 1 0 901201061 71397376 14097 33554432000 4194304 4933572 140737020548496 18446744073709551615 4718304 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/1033/statm: 17431 14097 375 181 0 14440 0
Current children cumulated CPU time (s) 222.32
Current children cumulated vsize (KiB) 69724
[startup+282.301 s]
/proc/loadavg: 2.00 2.01 2.00 3/559 1042
/proc/meminfo: memFree=28654956/32951124 swapFree=34426104/67111528
[pid=1033] ppid=1031 vsize=70228 CPUtime=282.3 cores=0,2,4,6
/proc/1033/stat : 1033 (clasp) R 1031 1033 31297 0 -1 4202496 14690 0 0 0 28228 2 0 0 25 0 1 0 901201061 71913472 14219 33554432000 4194304 4933572 140737020548496 18446744073709551615 4718288 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/1033/statm: 17557 14219 375 181 0 14566 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 70228
[startup+342.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/559 1044
/proc/meminfo: memFree=28653284/32951124 swapFree=34426104/67111528
[pid=1033] ppid=1031 vsize=72152 CPUtime=342.3 cores=0,2,4,6
/proc/1033/stat : 1033 (clasp) R 1031 1033 31297 0 -1 4202496 15037 0 0 0 34228 2 0 0 25 0 1 0 901201061 73883648 14566 33554432000 4194304 4933572 140737020548496 18446744073709551615 4718572 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/1033/statm: 18038 14566 375 181 0 15047 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 72152
[startup+402.301 s]
/proc/loadavg: 2.13 2.03 2.01 3/559 1046
/proc/meminfo: memFree=28653628/32951124 swapFree=34426104/67111528
[pid=1033] ppid=1031 vsize=73072 CPUtime=402.3 cores=0,2,4,6
/proc/1033/stat : 1033 (clasp) R 1031 1033 31297 0 -1 4202496 15219 0 0 0 40228 2 0 0 25 0 1 0 901201061 74825728 14748 33554432000 4194304 4933572 140737020548496 18446744073709551615 4718242 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/1033/statm: 18268 14748 375 181 0 15277 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 73072
[startup+462.301 s]
/proc/loadavg: 2.11 2.04 2.01 3/559 1048
/proc/meminfo: memFree=28653592/32951124 swapFree=34426104/67111528
[pid=1033] ppid=1031 vsize=73072 CPUtime=462.3 cores=0,2,4,6
/proc/1033/stat : 1033 (clasp) R 1031 1033 31297 0 -1 4202496 15239 0 0 0 46228 2 0 0 25 0 1 0 901201061 74825728 14768 33554432000 4194304 4933572 140737020548496 18446744073709551615 4649830 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/1033/statm: 18268 14768 375 181 0 15277 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 73072
[startup+522.3 s]
/proc/loadavg: 2.14 2.06 2.01 3/559 1048
/proc/meminfo: memFree=28653164/32951124 swapFree=34426104/67111528
[pid=1033] ppid=1031 vsize=73464 CPUtime=522.3 cores=0,2,4,6
/proc/1033/stat : 1033 (clasp) R 1031 1033 31297 0 -1 4202496 15318 0 0 0 52228 2 0 0 25 0 1 0 901201061 75227136 14847 33554432000 4194304 4933572 140737020548496 18446744073709551615 4718200 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/1033/statm: 18366 14847 375 181 0 15375 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 73464
[startup+582.3 s]
/proc/loadavg: 2.10 2.06 2.01 3/559 1050
/proc/meminfo: memFree=28652492/32951124 swapFree=34426104/67111528
[pid=1033] ppid=1031 vsize=73768 CPUtime=582.3 cores=0,2,4,6
/proc/1033/stat : 1033 (clasp) R 1031 1033 31297 0 -1 4202496 15379 0 0 0 58228 2 0 0 25 0 1 0 901201061 75538432 14908 33554432000 4194304 4933572 140737020548496 18446744073709551615 4712927 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/1033/statm: 18442 14908 375 181 0 15451 0
Current children cumulated CPU time (s) 582.3
Current children cumulated vsize (KiB) 73768
[startup+642.3 s]
################
# More data... #
################
[startup+882.322 s]
/proc/loadavg: 2.00 2.01 2.00 3/559 1058
/proc/meminfo: memFree=28649780/32951124 swapFree=34426104/67111528
[pid=1033] ppid=1031 vsize=75236 CPUtime=882.33 cores=0,2,4,6
/proc/1033/stat : 1033 (clasp) R 1031 1033 31297 0 -1 4202496 15718 0 0 0 88231 2 0 0 25 0 1 0 901201061 77041664 15247 33554432000 4194304 4933572 140737020548496 18446744073709551615 4718626 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/1033/statm: 18809 15247 375 181 0 15818 0
Current children cumulated CPU time (s) 882.33
Current children cumulated vsize (KiB) 75236
[startup+942.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/559 1060
/proc/meminfo: memFree=28649752/32951124 swapFree=34426104/67111528
[pid=1033] ppid=1031 vsize=75880 CPUtime=942.31 cores=0,2,4,6
/proc/1033/stat : 1033 (clasp) R 1031 1033 31297 0 -1 4202496 15861 0 0 0 94229 2 0 0 25 0 1 0 901201061 77701120 15390 33554432000 4194304 4933572 140737020548496 18446744073709551615 4712927 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/1033/statm: 18970 15390 375 181 0 15979 0
Current children cumulated CPU time (s) 942.31
Current children cumulated vsize (KiB) 75880
[startup+1002.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/559 1062
/proc/meminfo: memFree=28649704/32951124 swapFree=34426104/67111528
[pid=1033] ppid=1031 vsize=75880 CPUtime=1002.31 cores=0,2,4,6
/proc/1033/stat : 1033 (clasp) R 1031 1033 31297 0 -1 4202496 15873 0 0 0 100229 2 0 0 25 0 1 0 901201061 77701120 15402 33554432000 4194304 4933572 140737020548496 18446744073709551615 4711010 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/1033/statm: 18970 15402 375 181 0 15979 0
Current children cumulated CPU time (s) 1002.31
Current children cumulated vsize (KiB) 75880
[startup+1062.3 s]
/proc/loadavg: 2.14 2.04 2.01 3/559 1064
/proc/meminfo: memFree=28649296/32951124 swapFree=34426104/67111528
[pid=1033] ppid=1031 vsize=76496 CPUtime=1062.31 cores=0,2,4,6
/proc/1033/stat : 1033 (clasp) R 1031 1033 31297 0 -1 4202496 15989 0 0 0 106229 2 0 0 25 0 1 0 901201061 78331904 15518 33554432000 4194304 4933572 140737020548496 18446744073709551615 4368908 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/1033/statm: 19124 15518 375 181 0 16133 0
Current children cumulated CPU time (s) 1062.31
Current children cumulated vsize (KiB) 76496
[startup+1122.3 s]
/proc/loadavg: 2.19 2.06 2.02 3/559 1064
/proc/meminfo: memFree=28648384/32951124 swapFree=34426104/67111528
[pid=1033] ppid=1031 vsize=76496 CPUtime=1122.31 cores=0,2,4,6
/proc/1033/stat : 1033 (clasp) R 1031 1033 31297 0 -1 4202496 15995 0 0 0 112229 2 0 0 25 0 1 0 901201061 78331904 15524 33554432000 4194304 4933572 140737020548496 18446744073709551615 4649834 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/1033/statm: 19124 15524 375 181 0 16133 0
Current children cumulated CPU time (s) 1122.31
Current children cumulated vsize (KiB) 76496
[startup+1182.3 s]
/proc/loadavg: 2.13 2.07 2.02 3/559 1066
/proc/meminfo: memFree=28647708/32951124 swapFree=34426104/67111528
[pid=1033] ppid=1031 vsize=76928 CPUtime=1182.31 cores=0,2,4,6
/proc/1033/stat : 1033 (clasp) R 1031 1033 31297 0 -1 4202496 16073 0 0 0 118229 2 0 0 25 0 1 0 901201061 78774272 15602 33554432000 4194304 4933572 140737020548496 18446744073709551615 4713196 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/1033/statm: 19232 15602 375 181 0 16241 0
Current children cumulated CPU time (s) 1182.31
Current children cumulated vsize (KiB) 76928
[startup+1242.3 s]
/proc/loadavg: 2.05 2.05 2.01 3/559 1068
/proc/meminfo: memFree=28645552/32951124 swapFree=34426104/67111528
[pid=1033] ppid=1031 vsize=77232 CPUtime=1242.31 cores=0,2,4,6
/proc/1033/stat : 1033 (clasp) R 1031 1033 31297 0 -1 4202496 16128 0 0 0 124229 2 0 0 25 0 1 0 901201061 79085568 15657 33554432000 4194304 4933572 140737020548496 18446744073709551615 4712973 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/1033/statm: 19308 15657 375 181 0 16317 0
Current children cumulated CPU time (s) 1242.31
Current children cumulated vsize (KiB) 77232
[startup+1302.3 s]
/proc/loadavg: 2.02 2.04 2.00 3/559 1070
/proc/meminfo: memFree=28646244/32951124 swapFree=34426104/67111528
[pid=1033] ppid=1031 vsize=77232 CPUtime=1302.31 cores=0,2,4,6
/proc/1033/stat : 1033 (clasp) R 1031 1033 31297 0 -1 4202496 16129 0 0 0 130229 2 0 0 25 0 1 0 901201061 79085568 15658 33554432000 4194304 4933572 140737020548496 18446744073709551615 4718266 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/1033/statm: 19308 15658 375 181 0 16317 0
Current children cumulated CPU time (s) 1302.31
Current children cumulated vsize (KiB) 77232
[startup+1362.3 s]
/proc/loadavg: 2.00 2.03 2.00 3/559 1072
/proc/meminfo: memFree=28645076/32951124 swapFree=34426104/67111528
[pid=1033] ppid=1031 vsize=77540 CPUtime=1362.31 cores=0,2,4,6
/proc/1033/stat : 1033 (clasp) R 1031 1033 31297 0 -1 4202496 16183 0 0 0 136229 2 0 0 25 0 1 0 901201061 79400960 15712 33554432000 4194304 4933572 140737020548496 18446744073709551615 4712973 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/1033/statm: 19385 15712 375 181 0 16394 0
Current children cumulated CPU time (s) 1362.31
Current children cumulated vsize (KiB) 77540
[startup+1422.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/559 1072
/proc/meminfo: memFree=28645512/32951124 swapFree=34426104/67111528
[pid=1033] ppid=1031 vsize=77848 CPUtime=1422.31 cores=0,2,4,6
/proc/1033/stat : 1033 (clasp) R 1031 1033 31297 0 -1 4202496 16278 0 0 0 142229 2 0 0 25 0 1 0 901201061 79716352 15807 33554432000 4194304 4933572 140737020548496 18446744073709551615 4711010 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/1033/statm: 19462 15807 377 181 0 16471 0
Current children cumulated CPU time (s) 1422.31
Current children cumulated vsize (KiB) 77848
[startup+1482.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/559 1074
/proc/meminfo: memFree=28646328/32951124 swapFree=34426104/67111528
[pid=1033] ppid=1031 vsize=78436 CPUtime=1482.31 cores=0,2,4,6
/proc/1033/stat : 1033 (clasp) R 1031 1033 31297 0 -1 4202496 16380 0 0 0 148229 2 0 0 25 0 1 0 901201061 80318464 15909 33554432000 4194304 4933572 140737020548496 18446744073709551615 4713151 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/1033/statm: 19609 15909 377 181 0 16618 0
Current children cumulated CPU time (s) 1482.31
Current children cumulated vsize (KiB) 78436
[startup+1542.32 s]
/proc/loadavg: 2.00 2.01 2.00 3/559 1076
/proc/meminfo: memFree=28646152/32951124 swapFree=34426104/67111528
[pid=1033] ppid=1031 vsize=78996 CPUtime=1542.33 cores=0,2,4,6
/proc/1033/stat : 1033 (clasp) R 1031 1033 31297 0 -1 4202496 16493 0 0 0 154231 2 0 0 25 0 1 0 901201061 80891904 16022 33554432000 4194304 4933572 140737020548496 18446744073709551615 4649830 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/1033/statm: 19749 16022 377 181 0 16758 0
Current children cumulated CPU time (s) 1542.33
Current children cumulated vsize (KiB) 78996
[startup+1602.3 s]
/proc/loadavg: 2.09 2.04 2.01 3/559 1078
/proc/meminfo: memFree=28645856/32951124 swapFree=34426104/67111528
[pid=1033] ppid=1031 vsize=79208 CPUtime=1602.31 cores=0,2,4,6
/proc/1033/stat : 1033 (clasp) R 1031 1033 31297 0 -1 4202496 16541 0 0 0 160229 2 0 0 25 0 1 0 901201061 81108992 16070 33554432000 4194304 4933572 140737020548496 18446744073709551615 4718378 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/1033/statm: 19802 16070 377 181 0 16811 0
Current children cumulated CPU time (s) 1602.31
Current children cumulated vsize (KiB) 79208
[startup+1662.3 s]
/proc/loadavg: 2.10 2.05 2.01 3/559 1080
/proc/meminfo: memFree=28644932/32951124 swapFree=34426104/67111528
[pid=1033] ppid=1031 vsize=79416 CPUtime=1662.31 cores=0,2,4,6
/proc/1033/stat : 1033 (clasp) R 1031 1033 31297 0 -1 4202496 16589 0 0 0 166229 2 0 0 25 0 1 0 901201061 81321984 16118 33554432000 4194304 4933572 140737020548496 18446744073709551615 4713191 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/1033/statm: 19854 16118 377 181 0 16863 0
Current children cumulated CPU time (s) 1662.31
Current children cumulated vsize (KiB) 79416
[startup+1722.3 s]
/proc/loadavg: 2.15 2.08 2.02 3/559 1080
/proc/meminfo: memFree=28644996/32951124 swapFree=34426104/67111528
[pid=1033] ppid=1031 vsize=79628 CPUtime=1722.31 cores=0,2,4,6
/proc/1033/stat : 1033 (clasp) R 1031 1033 31297 0 -1 4202496 16663 0 0 0 172229 2 0 0 25 0 1 0 901201061 81539072 16192 33554432000 4194304 4933572 140737020548496 18446744073709551615 4710923 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/1033/statm: 19907 16192 377 181 0 16916 0
Current children cumulated CPU time (s) 1722.31
Current children cumulated vsize (KiB) 79628
[startup+1782.3 s]
/proc/loadavg: 2.07 2.08 2.02 3/559 1110
/proc/meminfo: memFree=28656872/32951124 swapFree=34426104/67111528
[pid=1033] ppid=1031 vsize=79628 CPUtime=1782.32 cores=0,2,4,6
/proc/1033/stat : 1033 (clasp) R 1031 1033 31297 0 -1 4202496 16666 0 0 0 178230 2 0 0 25 0 1 0 901201061 81539072 16195 33554432000 4194304 4933572 140737020548496 18446744073709551615 4718525 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/1033/statm: 19907 16195 377 181 0 16916 0
Current children cumulated CPU time (s) 1782.32
Current children cumulated vsize (KiB) 79628
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800 s]
/proc/loadavg: 2.06 2.07 2.02 3/559 1110
/proc/meminfo: memFree=28656744/32951124 swapFree=34426104/67111528
[pid=1033] ppid=1031 vsize=79880 CPUtime=1800.02 cores=0,2,4,6
/proc/1033/stat : 1033 (clasp) R 1031 1033 31297 0 -1 4202496 16688 0 0 0 180000 2 0 0 25 0 1 0 901201061 81797120 16217 33554432000 4194304 4933572 140737020548496 18446744073709551615 4718504 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/1033/statm: 19970 16217 377 181 0 16979 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 79880
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1800 s]
/proc/loadavg: 2.06 2.07 2.02 3/559 1110
/proc/meminfo: memFree=28656744/32951124 swapFree=34426104/67111528
[pid=1033] ppid=1031 vsize=79880 CPUtime=1800.02 cores=0,2,4,6
/proc/1033/stat : 1033 (clasp) R 1031 1033 31297 0 -1 4202496 16688 0 0 0 180000 2 0 0 25 0 1 0 901201061 81797120 16217 33554432000 4194304 4933572 140737020548496 18446744073709551615 4718504 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/1033/statm: 19970 16217 377 181 0 16979 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 79880
Child status: 0
Real time (s): 1800.03
CPU time (s): 1800.05
CPU user time (s): 1800.02
CPU system time (s): 0.030995
CPU usage (%): 100.001
Max. virtual memory (cumulated for all children) (KiB): 79880
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1800.02
system time used= 0.030995
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 16701
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= 9
involuntary context switches= 2512
runsolver used 11.1193 second user time and 23.2115 second system time
The end