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-3469354-1307093345/watcher-3469354-1307093345 -o /tmp/evaluation-result-3469354-1307093345/solver-3469354-1307093345 -C 1800 -W 1900 -M 15500 HOME/clasp HOME/instance-3469354-1307093345.opb --solu --heu=VSIDS
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: 0.92 1.01 1.27 3/415 32703
/proc/meminfo: memFree=26039780/32950928 swapFree=52006644/67111528
[pid=32703] ppid=32701 vsize=21276 CPUtime=0.01 cores=0,2,4,6
/proc/32703/stat : 32703 (clasp) R 32701 32703 32638 0 -1 4202496 2862 0 0 0 1 0 0 0 25 0 1 0 276943947 21786624 2507 33554432000 4194304 4933572 140737485941296 18446744073709551615 218880261625 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/32703/statm: 5319 2508 321 181 0 2328 0
[startup+0.0153891 s]
/proc/loadavg: 0.92 1.01 1.27 3/415 32703
/proc/meminfo: memFree=26039780/32950928 swapFree=52006644/67111528
[pid=32703] ppid=32701 vsize=21276 CPUtime=0.01 cores=0,2,4,6
/proc/32703/stat : 32703 (clasp) R 32701 32703 32638 0 -1 4202496 2880 0 0 0 1 0 0 0 25 0 1 0 276943947 21786624 2525 33554432000 4194304 4933572 140737485941296 18446744073709551615 218880225989 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/32703/statm: 5319 2525 321 181 0 2328 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 21276
[startup+0.100423 s]
/proc/loadavg: 0.92 1.01 1.27 3/415 32703
/proc/meminfo: memFree=26039780/32950928 swapFree=52006644/67111528
[pid=32703] ppid=32701 vsize=32296 CPUtime=0.08 cores=0,2,4,6
/proc/32703/stat : 32703 (clasp) R 32701 32703 32638 0 -1 4202496 6578 0 0 0 8 0 0 0 25 0 1 0 276943947 33071104 5262 33554432000 4194304 4933572 140737485941296 18446744073709551615 218880225989 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/32703/statm: 8074 5262 340 181 0 5083 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 32296
[startup+0.300387 s]
/proc/loadavg: 0.92 1.01 1.27 3/415 32703
/proc/meminfo: memFree=26039780/32950928 swapFree=52006644/67111528
[pid=32703] ppid=32701 vsize=42412 CPUtime=0.29 cores=0,2,4,6
/proc/32703/stat : 32703 (clasp) R 32701 32703 32638 0 -1 4202496 9087 0 0 0 28 1 0 0 25 0 1 0 276943947 43429888 7771 33554432000 4194304 4933572 140737485941296 18446744073709551615 4595334 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/32703/statm: 10603 7771 340 181 0 7612 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 42412
[startup+0.700314 s]
/proc/loadavg: 0.92 1.01 1.27 3/415 32703
/proc/meminfo: memFree=26039780/32950928 swapFree=52006644/67111528
[pid=32703] ppid=32701 vsize=46236 CPUtime=0.68 cores=0,2,4,6
/proc/32703/stat : 32703 (clasp) R 32701 32703 32638 0 -1 4202496 10682 0 0 0 67 1 0 0 25 0 1 0 276943947 47345664 8774 33554432000 4194304 4933572 140737485941296 18446744073709551615 4649364 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/32703/statm: 11559 8774 374 181 0 8568 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 46236
[startup+1.50117 s]
/proc/loadavg: 0.92 1.01 1.27 3/411 321
/proc/meminfo: memFree=26005300/32950928 swapFree=52006644/67111528
[pid=32703] ppid=32701 vsize=46236 CPUtime=1.49 cores=0,2,4,6
/proc/32703/stat : 32703 (clasp) R 32701 32703 32638 0 -1 4202496 10691 0 0 0 147 2 0 0 25 0 1 0 276943947 47345664 8783 33554432000 4194304 4933572 140737485941296 18446744073709551615 4649399 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/32703/statm: 11559 8783 374 181 0 8568 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 46236
[startup+3.1009 s]
/proc/loadavg: 1.01 1.02 1.28 3/416 353
/proc/meminfo: memFree=25992808/32950928 swapFree=52006644/67111528
[pid=32703] ppid=32701 vsize=46236 CPUtime=3.09 cores=0,2,4,6
/proc/32703/stat : 32703 (clasp) R 32701 32703 32638 0 -1 4202496 10720 0 0 0 307 2 0 0 25 0 1 0 276943947 47345664 8812 33554432000 4194304 4933572 140737485941296 18446744073709551615 4649384 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/32703/statm: 11559 8812 374 181 0 8568 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 46236
[startup+6.30033 s]
/proc/loadavg: 1.01 1.02 1.28 3/416 353
/proc/meminfo: memFree=25988716/32950928 swapFree=52006644/67111528
[pid=32703] ppid=32701 vsize=46368 CPUtime=6.28 cores=0,2,4,6
/proc/32703/stat : 32703 (clasp) R 32701 32703 32638 0 -1 4202496 10807 0 0 0 626 2 0 0 25 0 1 0 276943947 47480832 8899 33554432000 4194304 4933572 140737485941296 18446744073709551615 4649168 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/32703/statm: 11592 8899 374 181 0 8601 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 46368
[startup+12.7002 s]
/proc/loadavg: 1.16 1.06 1.28 3/416 354
/proc/meminfo: memFree=25981904/32950928 swapFree=52006644/67111528
[pid=32703] ppid=32701 vsize=48468 CPUtime=12.67 cores=0,2,4,6
/proc/32703/stat : 32703 (clasp) R 32701 32703 32638 0 -1 4202496 11315 0 0 0 1265 2 0 0 25 0 1 0 276943947 49631232 9407 33554432000 4194304 4933572 140737485941296 18446744073709551615 4649384 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/32703/statm: 12117 9407 374 181 0 9126 0
Current children cumulated CPU time (s) 12.67
Current children cumulated vsize (KiB) 48468
[startup+25.501 s]
/proc/loadavg: 1.29 1.09 1.29 3/416 354
/proc/meminfo: memFree=25974132/32950928 swapFree=52006644/67111528
[pid=32703] ppid=32701 vsize=53044 CPUtime=25.47 cores=0,2,4,6
/proc/32703/stat : 32703 (clasp) R 32701 32703 32638 0 -1 4202496 12381 0 0 0 2545 2 0 0 25 0 1 0 276943947 54317056 10473 33554432000 4194304 4933572 140737485941296 18446744073709551615 4414924 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/32703/statm: 13261 10473 374 181 0 10270 0
Current children cumulated CPU time (s) 25.47
Current children cumulated vsize (KiB) 53044
[startup+51.1005 s]
/proc/loadavg: 1.53 1.16 1.31 3/416 355
/proc/meminfo: memFree=25964308/32950928 swapFree=52006644/67111528
[pid=32703] ppid=32701 vsize=58420 CPUtime=51.07 cores=0,2,4,6
/proc/32703/stat : 32703 (clasp) R 32701 32703 32638 0 -1 4202496 13657 0 0 0 5105 2 0 0 25 0 1 0 276943947 59822080 11749 33554432000 4194304 4933572 140737485941296 18446744073709551615 4649364 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/32703/statm: 14605 11749 374 181 0 11614 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 58420
[startup+102.315 s]
/proc/loadavg: 1.81 1.30 1.34 3/416 356
/proc/meminfo: memFree=25948920/32950928 swapFree=52006644/67111528
[pid=32703] ppid=32701 vsize=67004 CPUtime=102.28 cores=0,2,4,6
/proc/32703/stat : 32703 (clasp) R 32701 32703 32638 0 -1 4202496 15657 0 0 0 10226 2 0 0 25 0 1 0 276943947 68612096 13749 33554432000 4194304 4933572 140737485941296 18446744073709551615 4649364 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/32703/statm: 16751 13749 374 181 0 13760 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 67004
[startup+162.301 s]
/proc/loadavg: 1.92 1.41 1.38 3/416 358
/proc/meminfo: memFree=25934892/32950928 swapFree=52006644/67111528
[pid=32703] ppid=32701 vsize=74976 CPUtime=162.28 cores=0,2,4,6
/proc/32703/stat : 32703 (clasp) R 32701 32703 32638 0 -1 4202496 17550 0 0 0 16225 3 0 0 25 0 1 0 276943947 76775424 15642 33554432000 4194304 4933572 140737485941296 18446744073709551615 4649384 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/32703/statm: 18744 15642 374 181 0 15753 0
Current children cumulated CPU time (s) 162.28
Current children cumulated vsize (KiB) 74976
[startup+222.3 s]
/proc/loadavg: 1.97 1.52 1.42 3/416 359
/proc/meminfo: memFree=25926452/32950928 swapFree=52006644/67111528
[pid=32703] ppid=32701 vsize=79532 CPUtime=222.28 cores=0,2,4,6
/proc/32703/stat : 32703 (clasp) R 32701 32703 32638 0 -1 4202496 18647 0 0 0 22225 3 0 0 25 0 1 0 276943947 81440768 16739 33554432000 4194304 4933572 140737485941296 18446744073709551615 4649384 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/32703/statm: 19883 16739 374 181 0 16892 0
Current children cumulated CPU time (s) 222.28
Current children cumulated vsize (KiB) 79532
[startup+282.301 s]
/proc/loadavg: 1.99 1.60 1.45 3/416 361
/proc/meminfo: memFree=25917004/32950928 swapFree=52006644/67111528
[pid=32703] ppid=32701 vsize=84780 CPUtime=282.28 cores=0,2,4,6
/proc/32703/stat : 32703 (clasp) R 32701 32703 32638 0 -1 4202496 19871 0 0 0 28225 3 0 0 25 0 1 0 276943947 86814720 17963 33554432000 4194304 4933572 140737485941296 18446744073709551615 4649329 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/32703/statm: 21195 17963 374 181 0 18204 0
Current children cumulated CPU time (s) 282.28
Current children cumulated vsize (KiB) 84780
[startup+342.3 s]
/proc/loadavg: 2.02 1.69 1.49 3/416 363
/proc/meminfo: memFree=25908816/32950928 swapFree=52006644/67111528
[pid=32703] ppid=32701 vsize=90184 CPUtime=342.27 cores=0,2,4,6
/proc/32703/stat : 32703 (clasp) R 32701 32703 32638 0 -1 4202496 21156 0 0 0 34224 3 0 0 25 0 1 0 276943947 92348416 19248 33554432000 4194304 4933572 140737485941296 18446744073709551615 4649364 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/32703/statm: 22546 19248 374 181 0 19555 0
Current children cumulated CPU time (s) 342.27
Current children cumulated vsize (KiB) 90184
[startup+402.301 s]
/proc/loadavg: 2.01 1.74 1.51 3/416 364
/proc/meminfo: memFree=25901236/32950928 swapFree=52006644/67111528
[pid=32703] ppid=32701 vsize=92576 CPUtime=402.28 cores=0,2,4,6
/proc/32703/stat : 32703 (clasp) R 32701 32703 32638 0 -1 4202496 21759 0 0 0 40225 3 0 0 25 0 1 0 276943947 94797824 19851 33554432000 4194304 4933572 140737485941296 18446744073709551615 4427996 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/32703/statm: 23144 19851 374 181 0 20153 0
Current children cumulated CPU time (s) 402.28
Current children cumulated vsize (KiB) 92576
[startup+462.301 s]
/proc/loadavg: 2.00 1.79 1.55 3/416 366
/proc/meminfo: memFree=25898872/32950928 swapFree=52006644/67111528
[pid=32703] ppid=32701 vsize=94228 CPUtime=462.28 cores=0,2,4,6
/proc/32703/stat : 32703 (clasp) R 32701 32703 32638 0 -1 4202496 22132 0 0 0 46225 3 0 0 25 0 1 0 276943947 96489472 20224 33554432000 4194304 4933572 140737485941296 18446744073709551615 4649364 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/32703/statm: 23557 20224 374 181 0 20566 0
Current children cumulated CPU time (s) 462.28
Current children cumulated vsize (KiB) 94228
[startup+522.301 s]
/proc/loadavg: 2.09 1.85 1.58 3/416 367
/proc/meminfo: memFree=25892408/32950928 swapFree=52006644/67111528
[pid=32703] ppid=32701 vsize=98792 CPUtime=522.27 cores=0,2,4,6
/proc/32703/stat : 32703 (clasp) R 32701 32703 32638 0 -1 4202496 23234 0 0 0 52224 3 0 0 25 0 1 0 276943947 101163008 21326 33554432000 4194304 4933572 140737485941296 18446744073709551615 4649384 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/32703/statm: 24698 21326 374 181 0 21707 0
Current children cumulated CPU time (s) 522.27
Current children cumulated vsize (KiB) 98792
[startup+582.301 s]
/proc/loadavg: 2.07 1.89 1.61 3/416 369
/proc/meminfo: memFree=25887808/32950928 swapFree=52006644/67111528
[pid=32703] ppid=32701 vsize=101176 CPUtime=582.28 cores=0,2,4,6
/proc/32703/stat : 32703 (clasp) R 32701 32703 32638 0 -1 4202496 23819 0 0 0 58224 4 0 0 25 0 1 0 276943947 103604224 21911 33554432000 4194304 4933572 140737485941296 18446744073709551615 4649364 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/32703/statm: 25294 21911 374 181 0 22303 0
Current children cumulated CPU time (s) 582.28
Current children cumulated vsize (KiB) 101176
[startup+642.3 s]
################
# More data... #
################
[startup+882.301 s]
/proc/loadavg: 2.04 1.97 1.71 3/416 377
/proc/meminfo: memFree=25870008/32950928 swapFree=52006644/67111528
[pid=32703] ppid=32701 vsize=111188 CPUtime=882.27 cores=0,2,4,6
/proc/32703/stat : 32703 (clasp) R 32701 32703 32638 0 -1 4202496 26141 0 0 0 88223 4 0 0 25 0 1 0 276943947 113856512 24233 33554432000 4194304 4933572 140737485941296 18446744073709551615 4649364 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/32703/statm: 27797 24233 374 181 0 24806 0
Current children cumulated CPU time (s) 882.27
Current children cumulated vsize (KiB) 111188
[startup+942.3 s]
/proc/loadavg: 2.01 1.97 1.73 3/416 379
/proc/meminfo: memFree=25866276/32950928 swapFree=52006644/67111528
[pid=32703] ppid=32701 vsize=112428 CPUtime=942.27 cores=0,2,4,6
/proc/32703/stat : 32703 (clasp) R 32701 32703 32638 0 -1 4202496 26447 0 0 0 94223 4 0 0 25 0 1 0 276943947 115126272 24539 33554432000 4194304 4933572 140737485941296 18446744073709551615 4649355 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/32703/statm: 28107 24539 374 181 0 25116 0
Current children cumulated CPU time (s) 942.27
Current children cumulated vsize (KiB) 112428
[startup+1002.3 s]
/proc/loadavg: 2.00 1.97 1.74 3/416 380
/proc/meminfo: memFree=25862660/32950928 swapFree=52006644/67111528
[pid=32703] ppid=32701 vsize=113540 CPUtime=1002.27 cores=0,2,4,6
/proc/32703/stat : 32703 (clasp) R 32701 32703 32638 0 -1 4202496 26720 0 0 0 100223 4 0 0 25 0 1 0 276943947 116264960 24812 33554432000 4194304 4933572 140737485941296 18446744073709551615 4649590 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/32703/statm: 28385 24812 374 181 0 25394 0
Current children cumulated CPU time (s) 1002.27
Current children cumulated vsize (KiB) 113540
[startup+1062.3 s]
/proc/loadavg: 2.12 2.00 1.76 3/416 382
/proc/meminfo: memFree=25861536/32950928 swapFree=52006644/67111528
[pid=32703] ppid=32701 vsize=113540 CPUtime=1062.27 cores=0,2,4,6
/proc/32703/stat : 32703 (clasp) R 32701 32703 32638 0 -1 4202496 26726 0 0 0 106223 4 0 0 25 0 1 0 276943947 116264960 24818 33554432000 4194304 4933572 140737485941296 18446744073709551615 4649364 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/32703/statm: 28385 24818 374 181 0 25394 0
Current children cumulated CPU time (s) 1062.27
Current children cumulated vsize (KiB) 113540
[startup+1122.3 s]
/proc/loadavg: 2.09 2.01 1.78 3/416 383
/proc/meminfo: memFree=25860276/32950928 swapFree=52006644/67111528
[pid=32703] ppid=32701 vsize=113952 CPUtime=1122.27 cores=0,2,4,6
/proc/32703/stat : 32703 (clasp) R 32701 32703 32638 0 -1 4202496 26816 0 0 0 112223 4 0 0 25 0 1 0 276943947 116686848 24908 33554432000 4194304 4933572 140737485941296 18446744073709551615 4649384 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/32703/statm: 28488 24908 374 181 0 25497 0
Current children cumulated CPU time (s) 1122.27
Current children cumulated vsize (KiB) 113952
[startup+1182.3 s]
/proc/loadavg: 2.04 2.01 1.79 3/416 385
/proc/meminfo: memFree=25856048/32950928 swapFree=52006644/67111528
[pid=32703] ppid=32701 vsize=117780 CPUtime=1182.27 cores=0,2,4,6
/proc/32703/stat : 32703 (clasp) R 32701 32703 32638 0 -1 4202496 27707 0 0 0 118223 4 0 0 25 0 1 0 276943947 120606720 25799 33554432000 4194304 4933572 140737485941296 18446744073709551615 4649366 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/32703/statm: 29445 25799 374 181 0 26454 0
Current children cumulated CPU time (s) 1182.27
Current children cumulated vsize (KiB) 117780
[startup+1242.3 s]
/proc/loadavg: 2.01 2.00 1.80 3/416 387
/proc/meminfo: memFree=25853560/32950928 swapFree=52006644/67111528
[pid=32703] ppid=32701 vsize=118644 CPUtime=1242.27 cores=0,2,4,6
/proc/32703/stat : 32703 (clasp) R 32701 32703 32638 0 -1 4202496 27924 0 0 0 124223 4 0 0 25 0 1 0 276943947 121491456 26016 33554432000 4194304 4933572 140737485941296 18446744073709551615 4340826 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/32703/statm: 29661 26016 374 181 0 26670 0
Current children cumulated CPU time (s) 1242.27
Current children cumulated vsize (KiB) 118644
[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 1.81 3/416 388
/proc/meminfo: memFree=25849576/32950928 swapFree=52006644/67111528
[pid=32703] ppid=32701 vsize=120740 CPUtime=1302.28 cores=0,2,4,6
/proc/32703/stat : 32703 (clasp) R 32701 32703 32638 0 -1 4202496 28465 0 0 0 130224 4 0 0 25 0 1 0 276943947 123637760 26557 33554432000 4194304 4933572 140737485941296 18446744073709551615 4649384 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/32703/statm: 30185 26557 374 181 0 27194 0
Current children cumulated CPU time (s) 1302.28
Current children cumulated vsize (KiB) 120740
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 1.82 3/416 390
/proc/meminfo: memFree=25850432/32950928 swapFree=52006644/67111528
[pid=32703] ppid=32701 vsize=121360 CPUtime=1362.26 cores=0,2,4,6
/proc/32703/stat : 32703 (clasp) R 32701 32703 32638 0 -1 4202496 28579 0 0 0 136222 4 0 0 25 0 1 0 276943947 124272640 26671 33554432000 4194304 4933572 140737485941296 18446744073709551615 4649364 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/32703/statm: 30340 26671 374 181 0 27349 0
Current children cumulated CPU time (s) 1362.26
Current children cumulated vsize (KiB) 121360
[startup+1422.32 s]
/proc/loadavg: 2.06 2.01 1.83 3/416 391
/proc/meminfo: memFree=25847444/32950928 swapFree=52006644/67111528
[pid=32703] ppid=32701 vsize=121548 CPUtime=1422.28 cores=0,2,4,6
/proc/32703/stat : 32703 (clasp) R 32701 32703 32638 0 -1 4202496 28629 0 0 0 142224 4 0 0 25 0 1 0 276943947 124465152 26721 33554432000 4194304 4933572 140737485941296 18446744073709551615 4649364 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/32703/statm: 30387 26721 374 181 0 27396 0
Current children cumulated CPU time (s) 1422.28
Current children cumulated vsize (KiB) 121548
[startup+1482.3 s]
/proc/loadavg: 2.02 2.01 1.84 3/416 393
/proc/meminfo: memFree=25846196/32950928 swapFree=52006644/67111528
[pid=32703] ppid=32701 vsize=121548 CPUtime=1482.26 cores=0,2,4,6
/proc/32703/stat : 32703 (clasp) R 32701 32703 32638 0 -1 4202496 28635 0 0 0 148222 4 0 0 25 0 1 0 276943947 124465152 26727 33554432000 4194304 4933572 140737485941296 18446744073709551615 4649364 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/32703/statm: 30387 26727 374 181 0 27396 0
Current children cumulated CPU time (s) 1482.26
Current children cumulated vsize (KiB) 121548
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 1.85 3/416 395
/proc/meminfo: memFree=25843948/32950928 swapFree=52006644/67111528
[pid=32703] ppid=32701 vsize=122892 CPUtime=1542.26 cores=0,2,4,6
/proc/32703/stat : 32703 (clasp) R 32701 32703 32638 0 -1 4202496 28945 0 0 0 154222 4 0 0 25 0 1 0 276943947 125841408 27037 33554432000 4194304 4933572 140737485941296 18446744073709551615 4649355 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/32703/statm: 30723 27037 374 181 0 27732 0
Current children cumulated CPU time (s) 1542.26
Current children cumulated vsize (KiB) 122892
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 1.85 3/416 396
/proc/meminfo: memFree=25840708/32950928 swapFree=52006644/67111528
[pid=32703] ppid=32701 vsize=125456 CPUtime=1602.27 cores=0,2,4,6
/proc/32703/stat : 32703 (clasp) R 32701 32703 32638 0 -1 4202496 29573 0 0 0 160222 5 0 0 25 0 1 0 276943947 128466944 27665 33554432000 4194304 4933572 140737485941296 18446744073709551615 4637414 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/32703/statm: 31364 27665 374 181 0 28373 0
Current children cumulated CPU time (s) 1602.27
Current children cumulated vsize (KiB) 125456
[startup+1662.3 s]
/proc/loadavg: 2.13 2.04 1.87 3/416 398
/proc/meminfo: memFree=25840204/32950928 swapFree=52006644/67111528
[pid=32703] ppid=32701 vsize=126360 CPUtime=1662.27 cores=0,2,4,6
/proc/32703/stat : 32703 (clasp) R 32701 32703 32638 0 -1 4202496 29768 0 0 0 166222 5 0 0 25 0 1 0 276943947 129392640 27860 33554432000 4194304 4933572 140737485941296 18446744073709551615 4635422 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/32703/statm: 31590 27860 374 181 0 28599 0
Current children cumulated CPU time (s) 1662.27
Current children cumulated vsize (KiB) 126360
[startup+1722.3 s]
/proc/loadavg: 2.05 2.03 1.88 3/416 399
/proc/meminfo: memFree=25838204/32950928 swapFree=52006644/67111528
[pid=32703] ppid=32701 vsize=126360 CPUtime=1722.27 cores=0,2,4,6
/proc/32703/stat : 32703 (clasp) R 32701 32703 32638 0 -1 4202496 29773 0 0 0 172222 5 0 0 25 0 1 0 276943947 129392640 27865 33554432000 4194304 4933572 140737485941296 18446744073709551615 4649364 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/32703/statm: 31590 27865 374 181 0 28599 0
Current children cumulated CPU time (s) 1722.27
Current children cumulated vsize (KiB) 126360
[startup+1782.3 s]
/proc/loadavg: 2.02 2.02 1.88 3/416 401
/proc/meminfo: memFree=25834720/32950928 swapFree=52006644/67111528
[pid=32703] ppid=32701 vsize=127128 CPUtime=1782.27 cores=0,2,4,6
/proc/32703/stat : 32703 (clasp) R 32701 32703 32638 0 -1 4202496 29979 0 0 0 178222 5 0 0 25 0 1 0 276943947 130179072 28071 33554432000 4194304 4933572 140737485941296 18446744073709551615 4649384 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/32703/statm: 31782 28071 374 181 0 28791 0
Current children cumulated CPU time (s) 1782.27
Current children cumulated vsize (KiB) 127128
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.1 s]
/proc/loadavg: 2.01 2.02 1.89 3/416 401
/proc/meminfo: memFree=25835088/32950928 swapFree=52006644/67111528
[pid=32703] ppid=32701 vsize=127128 CPUtime=1800.08 cores=0,2,4,6
/proc/32703/stat : 32703 (clasp) R 32701 32703 32638 0 -1 4202496 29984 0 0 0 180003 5 0 0 25 0 1 0 276943947 130179072 28076 33554432000 4194304 4933572 140737485941296 18446744073709551615 4649388 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/32703/statm: 31782 28076 374 181 0 28791 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 127128
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.01 2.02 1.89 3/416 401
/proc/meminfo: memFree=25835088/32950928 swapFree=52006644/67111528
[pid=32703] ppid=32701 vsize=127128 CPUtime=1800.08 cores=0,2,4,6
/proc/32703/stat : 32703 (clasp) R 32701 32703 32638 0 -1 4202496 29984 0 0 0 180003 5 0 0 25 0 1 0 276943947 130179072 28076 33554432000 4194304 4933572 140737485941296 18446744073709551615 4649388 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/32703/statm: 31782 28076 374 181 0 28791 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 127128
Child status: 10
Real time (s): 1800.12
CPU time (s): 1800.09
CPU user time (s): 1800.03
CPU system time (s): 0.058991
CPU usage (%): 99.9984
Max. virtual memory (cumulated for all children) (KiB): 127128
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1800.03
system time used= 0.058991
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 29994
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= 2745
runsolver used 7.69183 second user time and 16.8284 second system time
The end