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-3468792-1307102439/watcher-3468792-1307102439 -o /tmp/evaluation-result-3468792-1307102439/solver-3468792-1307102439 -C 1800 -W 1900 -M 15500 HOME/clasp HOME/instance-3468792-1307102439.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.05 2.04 2.01 2/535 18070
/proc/meminfo: memFree=29132608/32951124 swapFree=58212616/67111528
[pid=18070] ppid=18068 vsize=12704 CPUtime=0.01 cores=0,2,4,6
/proc/18070/stat : 18070 (clasp) R 18068 18070 17375 0 -1 4202496 585 0 0 0 1 0 0 0 25 0 1 0 821841856 13008896 518 33554432000 4194304 4933572 140736565328576 18446744073709551615 228244009669 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/18070/statm: 3176 518 373 181 0 185 0
[startup+0.0552501 s]
/proc/loadavg: 2.05 2.04 2.01 2/535 18070
/proc/meminfo: memFree=29132608/32951124 swapFree=58212616/67111528
[pid=18070] ppid=18068 vsize=13104 CPUtime=0.05 cores=0,2,4,6
/proc/18070/stat : 18070 (clasp) R 18068 18070 17375 0 -1 4202496 698 0 0 0 5 0 0 0 25 0 1 0 821841856 13418496 631 33554432000 4194304 4933572 140736565328576 18446744073709551615 4319233 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/18070/statm: 3276 632 374 181 0 285 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 13104
[startup+0.100255 s]
/proc/loadavg: 2.05 2.04 2.01 2/535 18070
/proc/meminfo: memFree=29132608/32951124 swapFree=58212616/67111528
[pid=18070] ppid=18068 vsize=13368 CPUtime=0.09 cores=0,2,4,6
/proc/18070/stat : 18070 (clasp) R 18068 18070 17375 0 -1 4202496 745 0 0 0 9 0 0 0 25 0 1 0 821841856 13688832 678 33554432000 4194304 4933572 140736565328576 18446744073709551615 4330374 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/18070/statm: 3342 678 374 181 0 351 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 13368
[startup+0.300208 s]
/proc/loadavg: 2.05 2.04 2.01 2/535 18070
/proc/meminfo: memFree=29132608/32951124 swapFree=58212616/67111528
[pid=18070] ppid=18068 vsize=13768 CPUtime=0.29 cores=0,2,4,6
/proc/18070/stat : 18070 (clasp) R 18068 18070 17375 0 -1 4202496 858 0 0 0 29 0 0 0 25 0 1 0 821841856 14098432 791 33554432000 4194304 4933572 140736565328576 18446744073709551615 4637201 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/18070/statm: 3442 791 374 181 0 451 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 13768
[startup+0.701137 s]
/proc/loadavg: 2.05 2.04 2.01 2/535 18070
/proc/meminfo: memFree=29132608/32951124 swapFree=58212616/67111528
[pid=18070] ppid=18068 vsize=14296 CPUtime=0.7 cores=0,2,4,6
/proc/18070/stat : 18070 (clasp) R 18068 18070 17375 0 -1 4202496 991 0 0 0 70 0 0 0 25 0 1 0 821841856 14639104 924 33554432000 4194304 4933572 140736565328576 18446744073709551615 4319365 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/18070/statm: 3574 924 374 181 0 583 0
Current children cumulated CPU time (s) 0.7
Current children cumulated vsize (KiB) 14296
[startup+1.50097 s]
/proc/loadavg: 2.04 2.04 2.00 3/536 18071
/proc/meminfo: memFree=29128268/32951124 swapFree=58212616/67111528
[pid=18070] ppid=18068 vsize=14828 CPUtime=1.5 cores=0,2,4,6
/proc/18070/stat : 18070 (clasp) R 18068 18070 17375 0 -1 4202496 1132 0 0 0 150 0 0 0 25 0 1 0 821841856 15183872 1065 33554432000 4194304 4933572 140736565328576 18446744073709551615 4649329 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/18070/statm: 3707 1065 374 181 0 716 0
Current children cumulated CPU time (s) 1.5
Current children cumulated vsize (KiB) 14828
[startup+3.10072 s]
/proc/loadavg: 2.04 2.04 2.00 3/536 18071
/proc/meminfo: memFree=29126036/32951124 swapFree=58212616/67111528
[pid=18070] ppid=18068 vsize=15904 CPUtime=3.1 cores=0,2,4,6
/proc/18070/stat : 18070 (clasp) R 18068 18070 17375 0 -1 4202496 1405 0 0 0 310 0 0 0 25 0 1 0 821841856 16285696 1338 33554432000 4194304 4933572 140736565328576 18446744073709551615 4319339 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/18070/statm: 3976 1338 374 181 0 985 0
Current children cumulated CPU time (s) 3.1
Current children cumulated vsize (KiB) 15904
[startup+6.30115 s]
/proc/loadavg: 2.04 2.04 2.00 3/536 18071
/proc/meminfo: memFree=29123016/32951124 swapFree=58212616/67111528
[pid=18070] ppid=18068 vsize=16432 CPUtime=6.3 cores=0,2,4,6
/proc/18070/stat : 18070 (clasp) R 18068 18070 17375 0 -1 4202496 1522 0 0 0 630 0 0 0 25 0 1 0 821841856 16826368 1455 33554432000 4194304 4933572 140736565328576 18446744073709551615 4649329 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/18070/statm: 4108 1455 375 181 0 1117 0
Current children cumulated CPU time (s) 6.3
Current children cumulated vsize (KiB) 16432
[startup+12.701 s]
/proc/loadavg: 2.04 2.04 2.00 3/536 18071
/proc/meminfo: memFree=29118492/32951124 swapFree=58212616/67111528
[pid=18070] ppid=18068 vsize=17100 CPUtime=12.7 cores=0,2,4,6
/proc/18070/stat : 18070 (clasp) R 18068 18070 17375 0 -1 4202496 1684 0 0 0 1270 0 0 0 25 0 1 0 821841856 17510400 1617 33554432000 4194304 4933572 140736565328576 18446744073709551615 4637181 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/18070/statm: 4275 1617 375 181 0 1284 0
Current children cumulated CPU time (s) 12.7
Current children cumulated vsize (KiB) 17100
[startup+25.5008 s]
/proc/loadavg: 2.03 2.04 2.00 3/536 18081
/proc/meminfo: memFree=29116620/32951124 swapFree=58212616/67111528
[pid=18070] ppid=18068 vsize=17892 CPUtime=25.49 cores=0,2,4,6
/proc/18070/stat : 18070 (clasp) R 18068 18070 17375 0 -1 4202496 1906 0 0 0 2549 0 0 0 25 0 1 0 821841856 18321408 1839 33554432000 4194304 4933572 140736565328576 18446744073709551615 4649399 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/18070/statm: 4473 1839 375 181 0 1482 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 17892
[startup+51.1003 s]
/proc/loadavg: 2.02 2.04 2.00 3/536 18081
/proc/meminfo: memFree=29113548/32951124 swapFree=58212616/67111528
[pid=18070] ppid=18068 vsize=18588 CPUtime=51.09 cores=0,2,4,6
/proc/18070/stat : 18070 (clasp) R 18068 18070 17375 0 -1 4202496 2061 0 0 0 5109 0 0 0 25 0 1 0 821841856 19034112 1994 33554432000 4194304 4933572 140736565328576 18446744073709551615 4319360 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/18070/statm: 4647 1994 375 181 0 1656 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 18588
[startup+102.32 s]
/proc/loadavg: 2.10 2.06 2.01 3/536 18083
/proc/meminfo: memFree=29108688/32951124 swapFree=58212616/67111528
[pid=18070] ppid=18068 vsize=19236 CPUtime=102.31 cores=0,2,4,6
/proc/18070/stat : 18070 (clasp) R 18068 18070 17375 0 -1 4202496 2217 0 0 0 10231 0 0 0 25 0 1 0 821841856 19697664 2150 33554432000 4194304 4933572 140736565328576 18446744073709551615 4330131 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/18070/statm: 4809 2150 375 181 0 1818 0
Current children cumulated CPU time (s) 102.31
Current children cumulated vsize (KiB) 19236
[startup+162.301 s]
/proc/loadavg: 2.08 2.06 2.01 3/536 18084
/proc/meminfo: memFree=29104056/32951124 swapFree=58212616/67111528
[pid=18070] ppid=18068 vsize=19792 CPUtime=162.29 cores=0,2,4,6
/proc/18070/stat : 18070 (clasp) R 18068 18070 17375 0 -1 4202496 2374 0 0 0 16229 0 0 0 25 0 1 0 821841856 20267008 2307 33554432000 4194304 4933572 140736565328576 18446744073709551615 4319339 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/18070/statm: 4948 2307 375 181 0 1957 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 19792
[startup+222.3 s]
/proc/loadavg: 2.03 2.05 2.00 3/536 18088
/proc/meminfo: memFree=29100792/32951124 swapFree=58212616/67111528
[pid=18070] ppid=18068 vsize=20388 CPUtime=222.29 cores=0,2,4,6
/proc/18070/stat : 18070 (clasp) R 18068 18070 17375 0 -1 4202496 2493 0 0 0 22229 0 0 0 25 0 1 0 821841856 20877312 2426 33554432000 4194304 4933572 140736565328576 18446744073709551615 4319328 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/18070/statm: 5097 2426 375 181 0 2106 0
Current children cumulated CPU time (s) 222.29
Current children cumulated vsize (KiB) 20388
[startup+282.301 s]
/proc/loadavg: 2.01 2.03 2.00 3/536 18090
/proc/meminfo: memFree=29098912/32951124 swapFree=58212616/67111528
[pid=18070] ppid=18068 vsize=20988 CPUtime=282.29 cores=0,2,4,6
/proc/18070/stat : 18070 (clasp) R 18068 18070 17375 0 -1 4202496 2660 0 0 0 28229 0 0 0 25 0 1 0 821841856 21491712 2593 33554432000 4194304 4933572 140736565328576 18446744073709551615 4319463 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/18070/statm: 5247 2593 375 181 0 2256 0
Current children cumulated CPU time (s) 282.29
Current children cumulated vsize (KiB) 20988
[startup+342.301 s]
/proc/loadavg: 2.00 2.03 2.00 3/536 18092
/proc/meminfo: memFree=29097252/32951124 swapFree=58212616/67111528
[pid=18070] ppid=18068 vsize=21064 CPUtime=342.29 cores=0,2,4,6
/proc/18070/stat : 18070 (clasp) R 18068 18070 17375 0 -1 4202496 2720 0 0 0 34229 0 0 0 25 0 1 0 821841856 21569536 2625 33554432000 4194304 4933572 140736565328576 18446744073709551615 4328697 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/18070/statm: 5266 2625 375 181 0 2275 0
Current children cumulated CPU time (s) 342.29
Current children cumulated vsize (KiB) 21064
[startup+402.301 s]
/proc/loadavg: 2.10 2.05 2.01 3/536 18094
/proc/meminfo: memFree=29095340/32951124 swapFree=58212616/67111528
[pid=18070] ppid=18068 vsize=21268 CPUtime=402.29 cores=0,2,4,6
/proc/18070/stat : 18070 (clasp) R 18068 18070 17375 0 -1 4202496 2805 0 0 0 40229 0 0 0 25 0 1 0 821841856 21778432 2676 33554432000 4194304 4933572 140736565328576 18446744073709551615 4649402 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/18070/statm: 5317 2676 375 181 0 2326 0
Current children cumulated CPU time (s) 402.29
Current children cumulated vsize (KiB) 21268
[startup+462.301 s]
/proc/loadavg: 2.08 2.05 2.01 3/536 18095
/proc/meminfo: memFree=29094560/32951124 swapFree=58212616/67111528
[pid=18070] ppid=18068 vsize=21504 CPUtime=462.28 cores=0,2,4,6
/proc/18070/stat : 18070 (clasp) R 18068 18070 17375 0 -1 4202496 2874 0 0 0 46228 0 0 0 25 0 1 0 821841856 22020096 2710 33554432000 4194304 4933572 140736565328576 18446744073709551615 4319339 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/18070/statm: 5376 2710 375 181 0 2385 0
Current children cumulated CPU time (s) 462.28
Current children cumulated vsize (KiB) 21504
[startup+522.3 s]
/proc/loadavg: 2.03 2.04 2.00 3/536 18097
/proc/meminfo: memFree=29092416/32951124 swapFree=58212616/67111528
[pid=18070] ppid=18068 vsize=21768 CPUtime=522.28 cores=0,2,4,6
/proc/18070/stat : 18070 (clasp) R 18068 18070 17375 0 -1 4202496 2962 0 0 0 52228 0 0 0 25 0 1 0 821841856 22290432 2798 33554432000 4194304 4933572 140736565328576 18446744073709551615 4717609 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/18070/statm: 5442 2798 375 181 0 2451 0
Current children cumulated CPU time (s) 522.28
Current children cumulated vsize (KiB) 21768
[startup+582.301 s]
/proc/loadavg: 2.01 2.03 2.00 3/536 18098
/proc/meminfo: memFree=29091152/32951124 swapFree=58212616/67111528
[pid=18070] ppid=18068 vsize=21768 CPUtime=582.28 cores=0,2,4,6
/proc/18070/stat : 18070 (clasp) R 18068 18070 17375 0 -1 4202496 2962 0 0 0 58228 0 0 0 25 0 1 0 821841856 22290432 2798 33554432000 4194304 4933572 140736565328576 18446744073709551615 4340880 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/18070/statm: 5442 2798 375 181 0 2451 0
Current children cumulated CPU time (s) 582.28
Current children cumulated vsize (KiB) 21768
[startup+642.3 s]
################
# More data... #
################
[startup+882.3 s]
/proc/loadavg: 2.00 2.03 2.00 3/536 18106
/proc/meminfo: memFree=29084284/32951124 swapFree=58212616/67111528
[pid=18070] ppid=18068 vsize=22532 CPUtime=882.29 cores=0,2,4,6
/proc/18070/stat : 18070 (clasp) R 18068 18070 17375 0 -1 4202496 3306 0 0 0 88229 0 0 0 25 0 1 0 821841856 23072768 2993 33554432000 4194304 4933572 140736565328576 18446744073709551615 4363376 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/18070/statm: 5633 2993 375 181 0 2642 0
Current children cumulated CPU time (s) 882.29
Current children cumulated vsize (KiB) 22532
[startup+942.301 s]
/proc/loadavg: 2.13 2.05 2.01 3/536 18108
/proc/meminfo: memFree=29086844/32951124 swapFree=58212616/67111528
[pid=18070] ppid=18068 vsize=22704 CPUtime=942.29 cores=0,2,4,6
/proc/18070/stat : 18070 (clasp) R 18068 18070 17375 0 -1 4202496 3360 0 0 0 94229 0 0 0 25 0 1 0 821841856 23248896 3036 33554432000 4194304 4933572 140736565328576 18446744073709551615 4631907 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/18070/statm: 5676 3036 375 181 0 2685 0
Current children cumulated CPU time (s) 942.29
Current children cumulated vsize (KiB) 22704
[startup+1002.3 s]
/proc/loadavg: 2.11 2.06 2.01 3/536 18110
/proc/meminfo: memFree=29085796/32951124 swapFree=58212616/67111528
[pid=18070] ppid=18068 vsize=22748 CPUtime=1002.29 cores=0,2,4,6
/proc/18070/stat : 18070 (clasp) R 18068 18070 17375 0 -1 4202496 3372 0 0 0 100229 0 0 0 25 0 1 0 821841856 23293952 3047 33554432000 4194304 4933572 140736565328576 18446744073709551615 4632837 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/18070/statm: 5687 3047 375 181 0 2696 0
Current children cumulated CPU time (s) 1002.29
Current children cumulated vsize (KiB) 22748
[startup+1062.3 s]
/proc/loadavg: 2.04 2.04 2.00 3/536 18111
/proc/meminfo: memFree=29084272/32951124 swapFree=58212616/67111528
[pid=18070] ppid=18068 vsize=23032 CPUtime=1062.28 cores=0,2,4,6
/proc/18070/stat : 18070 (clasp) R 18068 18070 17375 0 -1 4202496 3406 0 0 0 106228 0 0 0 25 0 1 0 821841856 23584768 3081 33554432000 4194304 4933572 140736565328576 18446744073709551615 4637142 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/18070/statm: 5758 3081 375 181 0 2767 0
Current children cumulated CPU time (s) 1062.28
Current children cumulated vsize (KiB) 23032
[startup+1122.3 s]
/proc/loadavg: 2.01 2.03 2.00 3/536 18113
/proc/meminfo: memFree=29082248/32951124 swapFree=58212616/67111528
[pid=18070] ppid=18068 vsize=23032 CPUtime=1122.28 cores=0,2,4,6
/proc/18070/stat : 18070 (clasp) R 18068 18070 17375 0 -1 4202496 3428 0 0 0 112228 0 0 0 25 0 1 0 821841856 23584768 3103 33554432000 4194304 4933572 140736565328576 18446744073709551615 4319339 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/18070/statm: 5758 3103 375 181 0 2767 0
Current children cumulated CPU time (s) 1122.28
Current children cumulated vsize (KiB) 23032
[startup+1182.3 s]
/proc/loadavg: 2.00 2.03 2.00 3/536 18114
/proc/meminfo: memFree=29079352/32951124 swapFree=58212616/67111528
[pid=18070] ppid=18068 vsize=23176 CPUtime=1182.28 cores=0,2,4,6
/proc/18070/stat : 18070 (clasp) R 18068 18070 17375 0 -1 4202496 3476 0 0 0 118228 0 0 0 25 0 1 0 821841856 23732224 3148 33554432000 4194304 4933572 140736565328576 18446744073709551615 4631904 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/18070/statm: 5794 3148 375 181 0 2803 0
Current children cumulated CPU time (s) 1182.28
Current children cumulated vsize (KiB) 23176
[startup+1242.3 s]
/proc/loadavg: 2.07 2.05 2.01 3/536 18116
/proc/meminfo: memFree=29077948/32951124 swapFree=58212616/67111528
[pid=18070] ppid=18068 vsize=23240 CPUtime=1242.28 cores=0,2,4,6
/proc/18070/stat : 18070 (clasp) R 18068 18070 17375 0 -1 4202496 3501 0 0 0 124228 0 0 0 25 0 1 0 821841856 23797760 3163 33554432000 4194304 4933572 140736565328576 18446744073709551615 4330068 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/18070/statm: 5810 3163 375 181 0 2819 0
Current children cumulated CPU time (s) 1242.28
Current children cumulated vsize (KiB) 23240
[startup+1302.3 s]
/proc/loadavg: 2.06 2.05 2.01 3/536 18118
/proc/meminfo: memFree=29077788/32951124 swapFree=58212616/67111528
[pid=18070] ppid=18068 vsize=23264 CPUtime=1302.28 cores=0,2,4,6
/proc/18070/stat : 18070 (clasp) R 18068 18070 17375 0 -1 4202496 3517 0 0 0 130228 0 0 0 25 0 1 0 821841856 23822336 3170 33554432000 4194304 4933572 140736565328576 18446744073709551615 4319293 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/18070/statm: 5816 3170 375 181 0 2825 0
Current children cumulated CPU time (s) 1302.28
Current children cumulated vsize (KiB) 23264
[startup+1362.3 s]
/proc/loadavg: 2.02 2.04 2.00 3/536 18119
/proc/meminfo: memFree=29078252/32951124 swapFree=58212616/67111528
[pid=18070] ppid=18068 vsize=23364 CPUtime=1362.27 cores=0,2,4,6
/proc/18070/stat : 18070 (clasp) R 18068 18070 17375 0 -1 4202496 3533 0 0 0 136227 0 0 0 25 0 1 0 821841856 23924736 3186 33554432000 4194304 4933572 140736565328576 18446744073709551615 4330095 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/18070/statm: 5841 3186 375 181 0 2850 0
Current children cumulated CPU time (s) 1362.27
Current children cumulated vsize (KiB) 23364
[startup+1422.32 s]
/proc/loadavg: 2.00 2.03 2.00 3/536 18121
/proc/meminfo: memFree=29078224/32951124 swapFree=58212616/67111528
[pid=18070] ppid=18068 vsize=23520 CPUtime=1422.29 cores=0,2,4,6
/proc/18070/stat : 18070 (clasp) R 18068 18070 17375 0 -1 4202496 3628 0 0 0 142229 0 0 0 25 0 1 0 821841856 24084480 3234 33554432000 4194304 4933572 140736565328576 18446744073709551615 4319486 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/18070/statm: 5880 3234 375 181 0 2889 0
Current children cumulated CPU time (s) 1422.29
Current children cumulated vsize (KiB) 23520
[startup+1482.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/536 18122
/proc/meminfo: memFree=29078564/32951124 swapFree=58212616/67111528
[pid=18070] ppid=18068 vsize=23744 CPUtime=1482.27 cores=0,2,4,6
/proc/18070/stat : 18070 (clasp) R 18068 18070 17375 0 -1 4202496 3709 0 0 0 148227 0 0 0 25 0 1 0 821841856 24313856 3289 33554432000 4194304 4933572 140736565328576 18446744073709551615 4649329 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/18070/statm: 5936 3289 375 181 0 2945 0
Current children cumulated CPU time (s) 1482.27
Current children cumulated vsize (KiB) 23744
[startup+1542.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/536 18124
/proc/meminfo: memFree=29079624/32951124 swapFree=58212616/67111528
[pid=18070] ppid=18068 vsize=23744 CPUtime=1542.27 cores=0,2,4,6
/proc/18070/stat : 18070 (clasp) R 18068 18070 17375 0 -1 4202496 3709 0 0 0 154227 0 0 0 25 0 1 0 821841856 24313856 3289 33554432000 4194304 4933572 140736565328576 18446744073709551615 4319486 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/18070/statm: 5936 3289 375 181 0 2945 0
Current children cumulated CPU time (s) 1542.27
Current children cumulated vsize (KiB) 23744
[startup+1602.3 s]
/proc/loadavg: 2.03 2.03 2.00 3/536 18126
/proc/meminfo: memFree=29077228/32951124 swapFree=58212616/67111528
[pid=18070] ppid=18068 vsize=23744 CPUtime=1602.27 cores=0,2,4,6
/proc/18070/stat : 18070 (clasp) R 18068 18070 17375 0 -1 4202496 3709 0 0 0 160227 0 0 0 25 0 1 0 821841856 24313856 3289 33554432000 4194304 4933572 140736565328576 18446744073709551615 4319365 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/18070/statm: 5936 3289 375 181 0 2945 0
Current children cumulated CPU time (s) 1602.27
Current children cumulated vsize (KiB) 23744
[startup+1662.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/536 18127
/proc/meminfo: memFree=29076444/32951124 swapFree=58212616/67111528
[pid=18070] ppid=18068 vsize=23876 CPUtime=1662.27 cores=0,2,4,6
/proc/18070/stat : 18070 (clasp) R 18068 18070 17375 0 -1 4202496 3738 0 0 0 166227 0 0 0 25 0 1 0 821841856 24449024 3318 33554432000 4194304 4933572 140736565328576 18446744073709551615 4332744 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/18070/statm: 5969 3318 375 181 0 2978 0
Current children cumulated CPU time (s) 1662.27
Current children cumulated vsize (KiB) 23876
[startup+1722.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/536 18129
/proc/meminfo: memFree=29073684/32951124 swapFree=58212616/67111528
[pid=18070] ppid=18068 vsize=23876 CPUtime=1722.27 cores=0,2,4,6
/proc/18070/stat : 18070 (clasp) R 18068 18070 17375 0 -1 4202496 3738 0 0 0 172227 0 0 0 25 0 1 0 821841856 24449024 3318 33554432000 4194304 4933572 140736565328576 18446744073709551615 4330095 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/18070/statm: 5969 3318 375 181 0 2978 0
Current children cumulated CPU time (s) 1722.27
Current children cumulated vsize (KiB) 23876
[startup+1782.3 s]
/proc/loadavg: 2.10 2.04 2.01 3/536 18130
/proc/meminfo: memFree=29072528/32951124 swapFree=58212616/67111528
[pid=18070] ppid=18068 vsize=23964 CPUtime=1782.27 cores=0,2,4,6
/proc/18070/stat : 18070 (clasp) R 18068 18070 17375 0 -1 4202496 3784 0 0 0 178227 0 0 0 25 0 1 0 821841856 24539136 3344 33554432000 4194304 4933572 140736565328576 18446744073709551615 4319486 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/18070/statm: 5991 3344 375 181 0 3000 0
Current children cumulated CPU time (s) 1782.27
Current children cumulated vsize (KiB) 23964
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.1 s]
/proc/loadavg: 2.07 2.04 2.01 2/534 18132
/proc/meminfo: memFree=29122256/32951124 swapFree=58212616/67111528
[pid=18070] ppid=18068 vsize=23964 CPUtime=1800.08 cores=0,2,4,6
/proc/18070/stat : 18070 (clasp) R 18068 18070 17375 0 -1 4202496 3784 0 0 0 180008 0 0 0 25 0 1 0 821841856 24539136 3344 33554432000 4194304 4933572 140736565328576 18446744073709551615 4330068 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/18070/statm: 5991 3344 375 181 0 3000 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 23964
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1800.1 s]
/proc/loadavg: 2.07 2.04 2.01 2/534 18132
/proc/meminfo: memFree=29122256/32951124 swapFree=58212616/67111528
[pid=18070] ppid=18068 vsize=23964 CPUtime=1800.08 cores=0,2,4,6
/proc/18070/stat : 18070 (clasp) R 18068 18070 17375 0 -1 4202496 3784 0 0 0 180008 0 0 0 25 0 1 0 821841856 24539136 3344 33554432000 4194304 4933572 140736565328576 18446744073709551615 4330068 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/18070/statm: 5991 3344 375 181 0 3000 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 23964
Child status: 0
Real time (s): 1800.12
CPU time (s): 1800.1
CPU user time (s): 1800.09
CPU system time (s): 0.006998
CPU usage (%): 99.9989
Max. virtual memory (cumulated for all children) (KiB): 24140
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1800.09
system time used= 0.006998
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3796
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= 5
involuntary context switches= 4784
runsolver used 10.0965 second user time and 21.0188 second system time
The end