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-3469482-1307102998/watcher-3469482-1307102998 -o /tmp/evaluation-result-3469482-1307102998/solver-3469482-1307102998 -C 1800 -W 1900 -M 15500 HOME/clasp HOME/instance-3469482-1307102998.opb --solu --heu=VSIDS
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 1.92 1.99 1.99 3/515 9104
/proc/meminfo: memFree=23236368/32950928 swapFree=58671692/67111528
[pid=9104] ppid=9102 vsize=14112 CPUtime=0 cores=1,3,5,7
/proc/9104/stat : 9104 (clasp) R 9102 9104 8237 0 -1 4202496 931 0 0 0 0 0 0 0 25 0 1 0 900530518 14450688 816 33554432000 4194304 4933572 140736957885840 18446744073709551615 4598707 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/9104/statm: 3528 816 338 181 0 537 0
[startup+0.0340421 s]
/proc/loadavg: 1.92 1.99 1.99 3/515 9104
/proc/meminfo: memFree=23236368/32950928 swapFree=58671692/67111528
[pid=9104] ppid=9102 vsize=14112 CPUtime=0.03 cores=1,3,5,7
/proc/9104/stat : 9104 (clasp) R 9102 9104 8237 0 -1 4202496 994 0 0 0 3 0 0 0 25 0 1 0 900530518 14450688 879 33554432000 4194304 4933572 140736957885840 18446744073709551615 4663961 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/9104/statm: 3528 879 366 181 0 537 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 14112
[startup+0.101033 s]
/proc/loadavg: 1.92 1.99 1.99 3/515 9104
/proc/meminfo: memFree=23236368/32950928 swapFree=58671692/67111528
[pid=9104] ppid=9102 vsize=14112 CPUtime=0.09 cores=1,3,5,7
/proc/9104/stat : 9104 (clasp) R 9102 9104 8237 0 -1 4202496 1007 0 0 0 9 0 0 0 25 0 1 0 900530518 14450688 892 33554432000 4194304 4933572 140736957885840 18446744073709551615 4717059 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/9104/statm: 3528 892 374 181 0 537 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 14112
[startup+0.300989 s]
/proc/loadavg: 1.92 1.99 1.99 3/515 9104
/proc/meminfo: memFree=23236368/32950928 swapFree=58671692/67111528
[pid=9104] ppid=9102 vsize=14112 CPUtime=0.29 cores=1,3,5,7
/proc/9104/stat : 9104 (clasp) R 9102 9104 8237 0 -1 4202496 1007 0 0 0 29 0 0 0 25 0 1 0 900530518 14450688 892 33554432000 4194304 4933572 140736957885840 18446744073709551615 4648436 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/9104/statm: 3528 892 374 181 0 537 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 14112
[startup+0.700908 s]
/proc/loadavg: 1.92 1.99 1.99 3/515 9104
/proc/meminfo: memFree=23236368/32950928 swapFree=58671692/67111528
[pid=9104] ppid=9102 vsize=15168 CPUtime=0.69 cores=1,3,5,7
/proc/9104/stat : 9104 (clasp) R 9102 9104 8237 0 -1 4202496 1252 0 0 0 69 0 0 0 25 0 1 0 900530518 15532032 1137 33554432000 4194304 4933572 140736957885840 18446744073709551615 4648654 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/9104/statm: 3792 1137 374 181 0 801 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 15168
[startup+1.50077 s]
/proc/loadavg: 1.92 1.99 1.99 3/516 9105
/proc/meminfo: memFree=23232268/32950928 swapFree=58671692/67111528
[pid=9104] ppid=9102 vsize=16224 CPUtime=1.49 cores=1,3,5,7
/proc/9104/stat : 9104 (clasp) R 9102 9104 8237 0 -1 4202496 1530 0 0 0 149 0 0 0 25 0 1 0 900530518 16613376 1415 33554432000 4194304 4933572 140736957885840 18446744073709551615 4649388 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/9104/statm: 4056 1415 374 181 0 1065 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 16224
[startup+3.10046 s]
/proc/loadavg: 1.92 1.99 1.99 3/516 9105
/proc/meminfo: memFree=23229932/32950928 swapFree=58671692/67111528
[pid=9104] ppid=9102 vsize=17256 CPUtime=3.09 cores=1,3,5,7
/proc/9104/stat : 9104 (clasp) R 9102 9104 8237 0 -1 4202496 1790 0 0 0 309 0 0 0 25 0 1 0 900530518 17670144 1675 33554432000 4194304 4933572 140736957885840 18446744073709551615 4713144 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/9104/statm: 4314 1675 374 181 0 1323 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 17256
[startup+6.30086 s]
/proc/loadavg: 1.93 1.99 1.99 3/516 9105
/proc/meminfo: memFree=23229188/32950928 swapFree=58671692/67111528
[pid=9104] ppid=9102 vsize=17316 CPUtime=6.29 cores=1,3,5,7
/proc/9104/stat : 9104 (clasp) R 9102 9104 8237 0 -1 4202496 1809 0 0 0 629 0 0 0 25 0 1 0 900530518 17731584 1694 33554432000 4194304 4933572 140736957885840 18446744073709551615 4330085 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/9104/statm: 4329 1694 374 181 0 1338 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 17316
[startup+12.7006 s]
/proc/loadavg: 1.93 1.99 1.99 3/516 9105
/proc/meminfo: memFree=23227204/32950928 swapFree=58671692/67111528
[pid=9104] ppid=9102 vsize=18760 CPUtime=12.69 cores=1,3,5,7
/proc/9104/stat : 9104 (clasp) R 9102 9104 8237 0 -1 4202496 2153 0 0 0 1269 0 0 0 25 0 1 0 900530518 19210240 2038 33554432000 4194304 4933572 140736957885840 18446744073709551615 4648645 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/9104/statm: 4690 2038 374 181 0 1699 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 18760
[startup+25.5002 s]
/proc/loadavg: 1.95 1.99 1.99 3/516 9105
/proc/meminfo: memFree=23224236/32950928 swapFree=58671692/67111528
[pid=9104] ppid=9102 vsize=21696 CPUtime=25.49 cores=1,3,5,7
/proc/9104/stat : 9104 (clasp) R 9102 9104 8237 0 -1 4202496 2922 0 0 0 2549 0 0 0 25 0 1 0 900530518 22216704 2779 33554432000 4194304 4933572 140736957885840 18446744073709551615 4711159 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/9104/statm: 5424 2779 374 181 0 2433 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 21696
[startup+51.1004 s]
/proc/loadavg: 1.96 1.99 1.99 3/516 9106
/proc/meminfo: memFree=23222556/32950928 swapFree=58671692/67111528
[pid=9104] ppid=9102 vsize=22832 CPUtime=51.09 cores=1,3,5,7
/proc/9104/stat : 9104 (clasp) R 9102 9104 8237 0 -1 4202496 3192 0 0 0 5109 0 0 0 25 0 1 0 900530518 23379968 3029 33554432000 4194304 4933572 140736957885840 18446744073709551615 4648654 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/9104/statm: 5708 3029 374 181 0 2717 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 22832
[startup+102.32 s]
/proc/loadavg: 1.98 1.99 1.99 3/516 9108
/proc/meminfo: memFree=23218804/32950928 swapFree=58671692/67111528
[pid=9104] ppid=9102 vsize=25324 CPUtime=102.31 cores=1,3,5,7
/proc/9104/stat : 9104 (clasp) R 9102 9104 8237 0 -1 4202496 3770 0 0 0 10231 0 0 0 25 0 1 0 900530518 25931776 3607 33554432000 4194304 4933572 140736957885840 18446744073709551615 4330068 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/9104/statm: 6331 3607 374 181 0 3340 0
Current children cumulated CPU time (s) 102.31
Current children cumulated vsize (KiB) 25324
[startup+162.3 s]
/proc/loadavg: 2.13 2.02 2.00 3/516 9109
/proc/meminfo: memFree=23216384/32950928 swapFree=58671692/67111528
[pid=9104] ppid=9102 vsize=27616 CPUtime=162.29 cores=1,3,5,7
/proc/9104/stat : 9104 (clasp) R 9102 9104 8237 0 -1 4202496 4452 0 0 0 16229 0 0 0 25 0 1 0 900530518 28278784 4189 33554432000 4194304 4933572 140736957885840 18446744073709551615 4319350 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/9104/statm: 6904 4189 374 181 0 3913 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 27616
[startup+222.301 s]
/proc/loadavg: 2.11 2.03 2.00 3/516 9111
/proc/meminfo: memFree=23215832/32950928 swapFree=58671692/67111528
[pid=9104] ppid=9102 vsize=29016 CPUtime=222.3 cores=1,3,5,7
/proc/9104/stat : 9104 (clasp) R 9102 9104 8237 0 -1 4202496 4899 0 0 0 22230 0 0 0 25 0 1 0 900530518 29712384 4545 33554432000 4194304 4933572 140736957885840 18446744073709551615 4648609 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/9104/statm: 7254 4545 374 181 0 4263 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 29016
[startup+282.301 s]
/proc/loadavg: 2.14 2.05 2.01 3/516 9112
/proc/meminfo: memFree=23215672/32950928 swapFree=58671692/67111528
[pid=9104] ppid=9102 vsize=29516 CPUtime=282.3 cores=1,3,5,7
/proc/9104/stat : 9104 (clasp) R 9102 9104 8237 0 -1 4202496 5367 0 0 0 28230 0 0 0 25 0 1 0 900530518 30224384 4679 33554432000 4194304 4933572 140736957885840 18446744073709551615 4319486 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/9104/statm: 7379 4679 374 181 0 4388 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 29516
[startup+342.3 s]
/proc/loadavg: 2.10 2.06 2.01 3/516 9114
/proc/meminfo: memFree=23214388/32950928 swapFree=58671692/67111528
[pid=9104] ppid=9102 vsize=30684 CPUtime=342.3 cores=1,3,5,7
/proc/9104/stat : 9104 (clasp) R 9102 9104 8237 0 -1 4202496 5882 0 0 0 34229 1 0 0 25 0 1 0 900530518 31420416 4979 33554432000 4194304 4933572 140736957885840 18446744073709551615 4648645 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/9104/statm: 7671 4979 374 181 0 4680 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 30684
[startup+402.301 s]
/proc/loadavg: 2.04 2.04 2.00 3/516 9115
/proc/meminfo: memFree=23212988/32950928 swapFree=58671692/67111528
[pid=9104] ppid=9102 vsize=31124 CPUtime=402.3 cores=1,3,5,7
/proc/9104/stat : 9104 (clasp) R 9102 9104 8237 0 -1 4202496 6015 0 0 0 40229 1 0 0 25 0 1 0 900530518 31870976 5078 33554432000 4194304 4933572 140736957885840 18446744073709551615 4319293 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/9104/statm: 7781 5078 374 181 0 4790 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 31124
[startup+462.301 s]
/proc/loadavg: 2.01 2.03 2.00 3/516 9117
/proc/meminfo: memFree=23211824/32950928 swapFree=58671692/67111528
[pid=9104] ppid=9102 vsize=31976 CPUtime=462.31 cores=1,3,5,7
/proc/9104/stat : 9104 (clasp) R 9102 9104 8237 0 -1 4202496 6222 0 0 0 46230 1 0 0 25 0 1 0 900530518 32743424 5277 33554432000 4194304 4933572 140736957885840 18446744073709551615 4648657 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/9104/statm: 7994 5277 374 181 0 5003 0
Current children cumulated CPU time (s) 462.31
Current children cumulated vsize (KiB) 31976
[startup+522.3 s]
/proc/loadavg: 2.00 2.03 2.00 3/516 9119
/proc/meminfo: memFree=23212504/32950928 swapFree=58671692/67111528
[pid=9104] ppid=9102 vsize=32528 CPUtime=522.31 cores=1,3,5,7
/proc/9104/stat : 9104 (clasp) R 9102 9104 8237 0 -1 4202496 6461 0 0 0 52230 1 0 0 25 0 1 0 900530518 33308672 5423 33554432000 4194304 4933572 140736957885840 18446744073709551615 4649388 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/9104/statm: 8132 5423 374 181 0 5141 0
Current children cumulated CPU time (s) 522.31
Current children cumulated vsize (KiB) 32528
[startup+582.301 s]
/proc/loadavg: 2.00 2.02 2.00 3/516 9120
/proc/meminfo: memFree=23212824/32950928 swapFree=58671692/67111528
[pid=9104] ppid=9102 vsize=32528 CPUtime=582.31 cores=1,3,5,7
/proc/9104/stat : 9104 (clasp) R 9102 9104 8237 0 -1 4202496 6490 0 0 0 58230 1 0 0 25 0 1 0 900530518 33308672 5423 33554432000 4194304 4933572 140736957885840 18446744073709551615 4330095 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/9104/statm: 8132 5423 374 181 0 5141 0
Current children cumulated CPU time (s) 582.31
Current children cumulated vsize (KiB) 32528
[startup+642.3 s]
################
# More data... #
################
[startup+822.3 s]
/proc/loadavg: 2.20 2.07 2.02 3/516 9127
/proc/meminfo: memFree=23210620/32950928 swapFree=58671692/67111528
[pid=9104] ppid=9102 vsize=34248 CPUtime=822.32 cores=1,3,5,7
/proc/9104/stat : 9104 (clasp) R 9102 9104 8237 0 -1 4202496 7018 0 0 0 82231 1 0 0 25 0 1 0 900530518 35069952 5824 33554432000 4194304 4933572 140736957885840 18446744073709551615 4319339 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/9104/statm: 8562 5824 374 181 0 5571 0
Current children cumulated CPU time (s) 822.32
Current children cumulated vsize (KiB) 34248
[startup+882.301 s]
/proc/loadavg: 2.07 2.05 2.01 3/516 9128
/proc/meminfo: memFree=23209452/32950928 swapFree=58671692/67111528
[pid=9104] ppid=9102 vsize=34416 CPUtime=882.32 cores=1,3,5,7
/proc/9104/stat : 9104 (clasp) R 9102 9104 8237 0 -1 4202496 7038 0 0 0 88231 1 0 0 25 0 1 0 900530518 35241984 5844 33554432000 4194304 4933572 140736957885840 18446744073709551615 4718260 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/9104/statm: 8604 5844 374 181 0 5613 0
Current children cumulated CPU time (s) 882.32
Current children cumulated vsize (KiB) 34416
[startup+942.301 s]
/proc/loadavg: 2.02 2.04 2.00 3/516 9130
/proc/meminfo: memFree=23209996/32950928 swapFree=58671692/67111528
[pid=9104] ppid=9102 vsize=34416 CPUtime=942.32 cores=1,3,5,7
/proc/9104/stat : 9104 (clasp) R 9102 9104 8237 0 -1 4202496 7061 0 0 0 94231 1 0 0 25 0 1 0 900530518 35241984 5867 33554432000 4194304 4933572 140736957885840 18446744073709551615 4319328 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/9104/statm: 8604 5867 374 181 0 5613 0
Current children cumulated CPU time (s) 942.32
Current children cumulated vsize (KiB) 34416
[startup+1002.3 s]
/proc/loadavg: 2.01 2.03 2.00 3/516 9131
/proc/meminfo: memFree=23209340/32950928 swapFree=58671692/67111528
[pid=9104] ppid=9102 vsize=34640 CPUtime=1002.33 cores=1,3,5,7
/proc/9104/stat : 9104 (clasp) R 9102 9104 8237 0 -1 4202496 7238 0 0 0 100232 1 0 0 25 0 1 0 900530518 35471360 5922 33554432000 4194304 4933572 140736957885840 18446744073709551615 4649402 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/9104/statm: 8660 5922 374 181 0 5669 0
Current children cumulated CPU time (s) 1002.33
Current children cumulated vsize (KiB) 34640
[startup+1062.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/516 9133
/proc/meminfo: memFree=23208280/32950928 swapFree=58671692/67111528
[pid=9104] ppid=9102 vsize=34772 CPUtime=1062.33 cores=1,3,5,7
/proc/9104/stat : 9104 (clasp) R 9102 9104 8237 0 -1 4202496 7252 0 0 0 106232 1 0 0 25 0 1 0 900530518 35606528 5936 33554432000 4194304 4933572 140736957885840 18446744073709551615 4635465 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/9104/statm: 8693 5936 374 181 0 5702 0
Current children cumulated CPU time (s) 1062.33
Current children cumulated vsize (KiB) 34772
[startup+1122.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/516 9135
/proc/meminfo: memFree=23209200/32950928 swapFree=58671692/67111528
[pid=9104] ppid=9102 vsize=35356 CPUtime=1122.33 cores=1,3,5,7
/proc/9104/stat : 9104 (clasp) R 9102 9104 8237 0 -1 4202496 7387 0 0 0 112232 1 0 0 25 0 1 0 900530518 36204544 6071 33554432000 4194304 4933572 140736957885840 18446744073709551615 4632272 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/9104/statm: 8839 6071 374 181 0 5848 0
Current children cumulated CPU time (s) 1122.33
Current children cumulated vsize (KiB) 35356
[startup+1182.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/516 9136
/proc/meminfo: memFree=23208016/32950928 swapFree=58671692/67111528
[pid=9104] ppid=9102 vsize=35672 CPUtime=1182.33 cores=1,3,5,7
/proc/9104/stat : 9104 (clasp) R 9102 9104 8237 0 -1 4202496 7434 0 0 0 118232 1 0 0 25 0 1 0 900530518 36528128 6118 33554432000 4194304 4933572 140736957885840 18446744073709551615 4635690 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/9104/statm: 8918 6118 374 181 0 5927 0
Current children cumulated CPU time (s) 1182.33
Current children cumulated vsize (KiB) 35672
[startup+1242.3 s]
/proc/loadavg: 2.10 2.04 2.01 3/516 9138
/proc/meminfo: memFree=23208204/32950928 swapFree=58671692/67111528
[pid=9104] ppid=9102 vsize=35844 CPUtime=1242.34 cores=1,3,5,7
/proc/9104/stat : 9104 (clasp) R 9102 9104 8237 0 -1 4202496 7496 0 0 0 124233 1 0 0 25 0 1 0 900530518 36704256 6180 33554432000 4194304 4933572 140736957885840 18446744073709551615 4319443 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/9104/statm: 8961 6180 374 181 0 5970 0
Current children cumulated CPU time (s) 1242.34
Current children cumulated vsize (KiB) 35844
[startup+1302.3 s]
/proc/loadavg: 2.08 2.04 2.01 3/516 9140
/proc/meminfo: memFree=23207392/32950928 swapFree=58671692/67111528
[pid=9104] ppid=9102 vsize=36012 CPUtime=1302.35 cores=1,3,5,7
/proc/9104/stat : 9104 (clasp) R 9102 9104 8237 0 -1 4202496 7530 0 0 0 130234 1 0 0 25 0 1 0 900530518 36876288 6214 33554432000 4194304 4933572 140736957885840 18446744073709551615 4648654 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/9104/statm: 9003 6214 374 181 0 6012 0
Current children cumulated CPU time (s) 1302.35
Current children cumulated vsize (KiB) 36012
[startup+1362.3 s]
/proc/loadavg: 2.11 2.06 2.01 3/516 9141
/proc/meminfo: memFree=23207072/32950928 swapFree=58671692/67111528
[pid=9104] ppid=9102 vsize=36180 CPUtime=1362.34 cores=1,3,5,7
/proc/9104/stat : 9104 (clasp) R 9102 9104 8237 0 -1 4202496 7567 0 0 0 136233 1 0 0 25 0 1 0 900530518 37048320 6251 33554432000 4194304 4933572 140736957885840 18446744073709551615 4649386 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/9104/statm: 9045 6251 374 181 0 6054 0
Current children cumulated CPU time (s) 1362.34
Current children cumulated vsize (KiB) 36180
[startup+1422.32 s]
/proc/loadavg: 2.08 2.06 2.01 3/516 9143
/proc/meminfo: memFree=23208004/32950928 swapFree=58671692/67111528
[pid=9104] ppid=9102 vsize=36348 CPUtime=1422.36 cores=1,3,5,7
/proc/9104/stat : 9104 (clasp) R 9102 9104 8237 0 -1 4202496 7581 0 0 0 142235 1 0 0 25 0 1 0 900530518 37220352 6265 33554432000 4194304 4933572 140736957885840 18446744073709551615 4637216 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/9104/statm: 9087 6265 374 181 0 6096 0
Current children cumulated CPU time (s) 1422.36
Current children cumulated vsize (KiB) 36348
[startup+1482.3 s]
/proc/loadavg: 2.03 2.05 2.01 3/516 9144
/proc/meminfo: memFree=23207816/32950928 swapFree=58671692/67111528
[pid=9104] ppid=9102 vsize=36516 CPUtime=1482.34 cores=1,3,5,7
/proc/9104/stat : 9104 (clasp) R 9102 9104 8237 0 -1 4202496 7617 0 0 0 148233 1 0 0 25 0 1 0 900530518 37392384 6301 33554432000 4194304 4933572 140736957885840 18446744073709551615 4328712 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/9104/statm: 9129 6301 374 181 0 6138 0
Current children cumulated CPU time (s) 1482.34
Current children cumulated vsize (KiB) 36516
[startup+1542.3 s]
/proc/loadavg: 2.01 2.04 2.00 3/516 9146
/proc/meminfo: memFree=23207496/32950928 swapFree=58671692/67111528
[pid=9104] ppid=9102 vsize=36684 CPUtime=1542.35 cores=1,3,5,7
/proc/9104/stat : 9104 (clasp) R 9102 9104 8237 0 -1 4202496 7674 0 0 0 154234 1 0 0 25 0 1 0 900530518 37564416 6358 33554432000 4194304 4933572 140736957885840 18446744073709551615 4649413 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/9104/statm: 9171 6358 374 181 0 6180 0
Current children cumulated CPU time (s) 1542.35
Current children cumulated vsize (KiB) 36684
[startup+1602.3 s]
/proc/loadavg: 2.00 2.03 2.00 3/516 9229
/proc/meminfo: memFree=23187092/32950928 swapFree=58671692/67111528
[pid=9104] ppid=9102 vsize=36856 CPUtime=1602.35 cores=1,3,5,7
/proc/9104/stat : 9104 (clasp) R 9102 9104 8237 0 -1 4202496 7686 0 0 0 160234 1 0 0 25 0 1 0 900530518 37740544 6370 33554432000 4194304 4933572 140736957885840 18446744073709551615 4319365 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/9104/statm: 9214 6370 374 181 0 6223 0
Current children cumulated CPU time (s) 1602.35
Current children cumulated vsize (KiB) 36856
[startup+1662.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/516 9231
/proc/meminfo: memFree=23179720/32950928 swapFree=58671692/67111528
[pid=9104] ppid=9102 vsize=36856 CPUtime=1662.35 cores=1,3,5,7
/proc/9104/stat : 9104 (clasp) R 9102 9104 8237 0 -1 4202496 7706 0 0 0 166234 1 0 0 25 0 1 0 900530518 37740544 6390 33554432000 4194304 4933572 140736957885840 18446744073709551615 4319293 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/9104/statm: 9214 6390 374 181 0 6223 0
Current children cumulated CPU time (s) 1662.35
Current children cumulated vsize (KiB) 36856
[startup+1722.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/516 9233
/proc/meminfo: memFree=23170368/32950928 swapFree=58671692/67111528
[pid=9104] ppid=9102 vsize=37024 CPUtime=1722.35 cores=1,3,5,7
/proc/9104/stat : 9104 (clasp) R 9102 9104 8237 0 -1 4202496 7730 0 0 0 172234 1 0 0 25 0 1 0 900530518 37912576 6414 33554432000 4194304 4933572 140736957885840 18446744073709551615 47866372616768 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/9104/statm: 9256 6414 374 181 0 6265 0
Current children cumulated CPU time (s) 1722.35
Current children cumulated vsize (KiB) 37024
[startup+1782.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/516 9237
/proc/meminfo: memFree=23165960/32950928 swapFree=58671692/67111528
[pid=9104] ppid=9102 vsize=37192 CPUtime=1782.36 cores=1,3,5,7
/proc/9104/stat : 9104 (clasp) R 9102 9104 8237 0 -1 4202496 7761 0 0 0 178235 1 0 0 25 0 1 0 900530518 38084608 6445 33554432000 4194304 4933572 140736957885840 18446744073709551615 4631794 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/9104/statm: 9298 6445 374 181 0 6307 0
Current children cumulated CPU time (s) 1782.36
Current children cumulated vsize (KiB) 37192
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800 s]
/proc/loadavg: 2.12 2.04 2.01 3/516 9238
/proc/meminfo: memFree=23166816/32950928 swapFree=58671692/67111528
[pid=9104] ppid=9102 vsize=37332 CPUtime=1800.06 cores=1,3,5,7
/proc/9104/stat : 9104 (clasp) R 9102 9104 8237 0 -1 4202496 7776 0 0 0 180005 1 0 0 25 0 1 0 900530518 38227968 6460 33554432000 4194304 4933572 140736957885840 18446744073709551615 4648408 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/9104/statm: 9333 6460 374 181 0 6342 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 37332
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
Child status: 10
Real time (s): 1800.02
CPU time (s): 1800.09
CPU user time (s): 1800.07
CPU system time (s): 0.016997
CPU usage (%): 100.004
Max. virtual memory (cumulated for all children) (KiB): 37332
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1800.07
system time used= 0.016997
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 7786
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= 3074
runsolver used 8.44772 second user time and 21.1848 second system time
The end