runsolver version 3.2.3 (c) roussel@cril.univ-artois.fr

command line: runsolver --timestamp -w ROOT/results/node42/watcher-459002-1178647465 -o ROOT/results/node42/solver-459002-1178647465 -C 1800 -W 3600 -M 1800 --output-limit 1,15 PBS4_SAT07v2 /tmp/evaluation/459002-1178647465/instance-459002-1178647465.opb 

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): 3600 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 1.00 1.00 1.00 3/77 11753
/proc/meminfo: memFree=1497168/2055920 swapFree=4147588/4192956
[pid=11753] ppid=11751 vsize=1600 CPUtime=0
/proc/11753/stat : 11753 (PBS4_SAT07v2) R 11751 11753 11132 0 -1 4194304 184 0 0 0 0 0 0 0 18 0 1 0 312658409 1638400 166 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 135057549 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11753/statm: 400 166 84 219 0 177 0

[startup+0.046356 s]
/proc/loadavg: 1.00 1.00 1.00 3/77 11753
/proc/meminfo: memFree=1497168/2055920 swapFree=4147588/4192956
[pid=11753] ppid=11751 vsize=1932 CPUtime=0.04
/proc/11753/stat : 11753 (PBS4_SAT07v2) R 11751 11753 11132 0 -1 4194304 305 0 0 0 4 0 0 0 18 0 1 0 312658409 1978368 283 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134588758 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11753/statm: 483 283 86 219 0 260 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 1932

[startup+0.101367 s]
/proc/loadavg: 1.00 1.00 1.00 3/77 11753
/proc/meminfo: memFree=1497168/2055920 swapFree=4147588/4192956
[pid=11753] ppid=11751 vsize=2380 CPUtime=0.09
/proc/11753/stat : 11753 (PBS4_SAT07v2) R 11751 11753 11132 0 -1 4194304 456 0 0 0 9 0 0 0 18 0 1 0 312658409 2437120 385 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 135023076 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11753/statm: 595 385 86 219 0 372 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 2380

[startup+0.301406 s]
/proc/loadavg: 1.00 1.00 1.00 3/77 11753
/proc/meminfo: memFree=1497168/2055920 swapFree=4147588/4192956
[pid=11753] ppid=11751 vsize=4452 CPUtime=0.29
/proc/11753/stat : 11753 (PBS4_SAT07v2) R 11751 11753 11132 0 -1 4194304 1200 0 0 0 29 0 0 0 19 0 1 0 312658409 4558848 839 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 135057549 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11753/statm: 1113 839 86 219 0 890 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 4452

[startup+0.701481 s]
/proc/loadavg: 1.00 1.00 1.00 3/77 11753
/proc/meminfo: memFree=1497168/2055920 swapFree=4147588/4192956
[pid=11753] ppid=11751 vsize=9984 CPUtime=0.69
/proc/11753/stat : 11753 (PBS4_SAT07v2) R 11751 11753 11132 0 -1 4194304 2523 0 0 0 68 1 0 0 22 0 1 0 312658409 10223616 1777 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134594427 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11753/statm: 2496 1777 86 219 0 2273 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 9984

[startup+1.50164 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 11754
/proc/meminfo: memFree=1488008/2055920 swapFree=4147588/4192956
[pid=11753] ppid=11751 vsize=22664 CPUtime=1.49
/proc/11753/stat : 11753 (PBS4_SAT07v2) R 11751 11753 11132 0 -1 4194304 4285 0 0 0 147 2 0 0 25 0 1 0 312658409 23207936 3539 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134588758 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11753/statm: 5666 3539 102 219 0 5443 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 22664

[startup+3.10194 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 11754
/proc/meminfo: memFree=1477768/2055920 swapFree=4147588/4192956
[pid=11753] ppid=11751 vsize=39180 CPUtime=3.09
/proc/11753/stat : 11753 (PBS4_SAT07v2) R 11751 11753 11132 0 -1 4194304 7666 0 0 0 306 3 0 0 25 0 1 0 312658409 40120320 6920 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134588758 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11753/statm: 9795 6920 102 219 0 9572 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 39180

[startup+6.30155 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 11754
/proc/meminfo: memFree=1453256/2055920 swapFree=4147588/4192956
[pid=11753] ppid=11751 vsize=72092 CPUtime=6.29
/proc/11753/stat : 11753 (PBS4_SAT07v2) R 11751 11753 11132 0 -1 4194304 13263 0 0 0 623 6 0 0 25 0 1 0 312658409 73822208 12517 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134588758 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11753/statm: 18023 12517 102 219 0 17800 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 72092

[startup+12.7018 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 11754
/proc/meminfo: memFree=1413264/2055920 swapFree=4147588/4192956
[pid=11753] ppid=11751 vsize=141136 CPUtime=12.69
/proc/11753/stat : 11753 (PBS4_SAT07v2) R 11751 11753 11132 0 -1 4194304 23468 0 0 0 1259 10 0 0 25 0 1 0 312658409 144523264 21953 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134588758 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11753/statm: 35284 21955 102 219 0 35061 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 141136

[startup+25.5012 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 11754
/proc/meminfo: memFree=1356048/2055920 swapFree=4147588/4192956
[pid=11753] ppid=11751 vsize=275832 CPUtime=25.48
/proc/11753/stat : 11753 (PBS4_SAT07v2) R 11751 11753 11132 0 -1 4194304 36755 0 0 0 2529 19 0 0 25 0 1 0 312658409 282451968 35240 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134544945 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11753/statm: 68958 35240 102 219 0 68735 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 275832

[startup+51.1011 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 11754
/proc/meminfo: memFree=1331408/2055920 swapFree=4147588/4192956
[pid=11753] ppid=11751 vsize=280188 CPUtime=51.07
/proc/11753/stat : 11753 (PBS4_SAT07v2) R 11751 11753 11132 0 -1 4194304 42859 0 0 0 5083 24 0 0 25 0 1 0 312658409 286912512 41344 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11753/statm: 70047 41344 102 219 0 69824 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 280188

[startup+102.306 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 11754
/proc/meminfo: memFree=1315024/2055920 swapFree=4147588/4192956
[pid=11753] ppid=11751 vsize=284900 CPUtime=102.26
/proc/11753/stat : 11753 (PBS4_SAT07v2) R 11751 11753 11132 0 -1 4194304 46938 0 0 0 10195 31 0 0 25 0 1 0 312658409 291737600 45423 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134547189 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11753/statm: 71225 45423 102 219 0 71002 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 284900

[startup+162.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 11754
/proc/meminfo: memFree=1308560/2055920 swapFree=4147588/4192956
[pid=11753] ppid=11751 vsize=288976 CPUtime=162.24
/proc/11753/stat : 11753 (PBS4_SAT07v2) R 11751 11753 11132 0 -1 4194304 48562 0 0 0 16188 36 0 0 25 0 1 0 312658409 295911424 47047 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134560868 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11753/statm: 72244 47047 102 219 0 72021 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 288976

[startup+222.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 11754
/proc/meminfo: memFree=1305424/2055920 swapFree=4147588/4192956
[pid=11753] ppid=11751 vsize=291512 CPUtime=222.22
/proc/11753/stat : 11753 (PBS4_SAT07v2) R 11751 11753 11132 0 -1 4194304 49345 0 0 0 22182 40 0 0 25 0 1 0 312658409 298508288 47830 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134557367 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11753/statm: 72878 47830 102 219 0 72655 0
Current children cumulated CPU time (s) 222.22
Current children cumulated vsize (KiB) 291512

[startup+282.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 11754
/proc/meminfo: memFree=1302736/2055920 swapFree=4147588/4192956
[pid=11753] ppid=11751 vsize=293984 CPUtime=282.2
/proc/11753/stat : 11753 (PBS4_SAT07v2) R 11751 11753 11132 0 -1 4194304 50017 0 0 0 28175 45 0 0 25 0 1 0 312658409 301039616 48502 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134557367 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11753/statm: 73496 48502 102 219 0 73273 0
Current children cumulated CPU time (s) 282.2
Current children cumulated vsize (KiB) 293984

[startup+342.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 11754
/proc/meminfo: memFree=1300048/2055920 swapFree=4147588/4192956
[pid=11753] ppid=11751 vsize=296276 CPUtime=342.17
/proc/11753/stat : 11753 (PBS4_SAT07v2) R 11751 11753 11132 0 -1 4194304 50690 0 0 0 34167 50 0 0 25 0 1 0 312658409 303386624 49175 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134557367 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11753/statm: 74069 49175 102 219 0 73846 0
Current children cumulated CPU time (s) 342.17
Current children cumulated vsize (KiB) 296276

[startup+402.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 11754
/proc/meminfo: memFree=1297936/2055920 swapFree=4147588/4192956
[pid=11753] ppid=11751 vsize=304280 CPUtime=402.16
/proc/11753/stat : 11753 (PBS4_SAT07v2) R 11751 11753 11132 0 -1 4194304 52759 0 0 0 40161 55 0 0 25 0 1 0 312658409 311582720 49707 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134544667 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11753/statm: 76070 49707 102 219 0 75847 0
Current children cumulated CPU time (s) 402.16
Current children cumulated vsize (KiB) 304280

[startup+462.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 11754
/proc/meminfo: memFree=1296272/2055920 swapFree=4147588/4192956
[pid=11753] ppid=11751 vsize=305504 CPUtime=462.13
/proc/11753/stat : 11753 (PBS4_SAT07v2) R 11751 11753 11132 0 -1 4194304 53168 0 0 0 46154 59 0 0 25 0 1 0 312658409 312836096 50116 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134550311 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11753/statm: 76376 50116 102 219 0 76153 0
Current children cumulated CPU time (s) 462.13
Current children cumulated vsize (KiB) 305504

[startup+522.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 11754
/proc/meminfo: memFree=1294736/2055920 swapFree=4147588/4192956
[pid=11753] ppid=11751 vsize=306856 CPUtime=522.11
/proc/11753/stat : 11753 (PBS4_SAT07v2) R 11751 11753 11132 0 -1 4194304 53594 0 0 0 52148 63 0 0 25 0 1 0 312658409 314220544 50542 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134547225 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11753/statm: 76714 50542 102 219 0 76491 0
Current children cumulated CPU time (s) 522.11
Current children cumulated vsize (KiB) 306856

[startup+582.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 11754
/proc/meminfo: memFree=1293200/2055920 swapFree=4147588/4192956
[pid=11753] ppid=11751 vsize=307740 CPUtime=582.09
/proc/11753/stat : 11753 (PBS4_SAT07v2) R 11751 11753 11132 0 -1 4194304 53981 0 0 0 58142 67 0 0 25 0 1 0 312658409 315125760 50929 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134549028 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11753/statm: 76935 50929 102 219 0 76712 0
Current children cumulated CPU time (s) 582.09
Current children cumulated vsize (KiB) 307740

[startup+642.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 11754
/proc/meminfo: memFree=1291280/2055920 swapFree=4147588/4192956
[pid=11753] ppid=11751 vsize=309448 CPUtime=642.07
/proc/11753/stat : 11753 (PBS4_SAT07v2) R 11751 11753 11132 0 -1 4194304 54444 0 0 0 64136 71 0 0 25 0 1 0 312658409 316874752 51392 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134546904 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11753/statm: 77362 51392 102 219 0 77139 0
Current children cumulated CPU time (s) 642.07
Current children cumulated vsize (KiB) 309448


################
# More data... #
################

[startup+882.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 11754
/proc/meminfo: memFree=1286800/2055920 swapFree=4147588/4192956
[pid=11753] ppid=11751 vsize=312280 CPUtime=881.99
/proc/11753/stat : 11753 (PBS4_SAT07v2) R 11751 11753 11132 0 -1 4194304 55551 0 0 0 88113 86 0 0 25 0 1 0 312658409 319774720 52499 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134532674 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11753/statm: 78070 52499 102 219 0 77847 0
Current children cumulated CPU time (s) 881.99
Current children cumulated vsize (KiB) 312280

[startup+942.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 11754
/proc/meminfo: memFree=1285776/2055920 swapFree=4147588/4192956
[pid=11753] ppid=11751 vsize=313028 CPUtime=941.97
/proc/11753/stat : 11753 (PBS4_SAT07v2) R 11751 11753 11132 0 -1 4194304 55814 0 0 0 94107 90 0 0 25 0 1 0 312658409 320540672 52762 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134546904 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11753/statm: 78257 52762 102 219 0 78034 0
Current children cumulated CPU time (s) 941.97
Current children cumulated vsize (KiB) 313028

[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 11754
/proc/meminfo: memFree=1284688/2055920 swapFree=4147588/4192956
[pid=11753] ppid=11751 vsize=313644 CPUtime=1001.95
/proc/11753/stat : 11753 (PBS4_SAT07v2) R 11751 11753 11132 0 -1 4194304 56079 0 0 0 100100 95 0 0 25 0 1 0 312658409 321171456 53027 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134548699 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11753/statm: 78411 53027 102 219 0 78188 0
Current children cumulated CPU time (s) 1001.95
Current children cumulated vsize (KiB) 313644

[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 11754
/proc/meminfo: memFree=1283600/2055920 swapFree=4147588/4192956
[pid=11753] ppid=11751 vsize=314528 CPUtime=1061.93
/proc/11753/stat : 11753 (PBS4_SAT07v2) R 11751 11753 11132 0 -1 4194304 56363 0 0 0 106094 99 0 0 25 0 1 0 312658409 322076672 53311 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11753/statm: 78632 53311 102 219 0 78409 0
Current children cumulated CPU time (s) 1061.93
Current children cumulated vsize (KiB) 314528

[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 11754
/proc/meminfo: memFree=1282512/2055920 swapFree=4147588/4192956
[pid=11753] ppid=11751 vsize=315364 CPUtime=1121.91
/proc/11753/stat : 11753 (PBS4_SAT07v2) R 11751 11753 11132 0 -1 4194304 56620 0 0 0 112090 101 0 0 25 0 1 0 312658409 322932736 53568 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134557448 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11753/statm: 78841 53568 102 219 0 78618 0
Current children cumulated CPU time (s) 1121.91
Current children cumulated vsize (KiB) 315364

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 11754
/proc/meminfo: memFree=1281552/2055920 swapFree=4147588/4192956
[pid=11753] ppid=11751 vsize=316088 CPUtime=1181.89
/proc/11753/stat : 11753 (PBS4_SAT07v2) R 11751 11753 11132 0 -1 4194304 56865 0 0 0 118085 104 0 0 25 0 1 0 312658409 323674112 53813 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11753/statm: 79022 53813 102 219 0 78799 0
Current children cumulated CPU time (s) 1181.89
Current children cumulated vsize (KiB) 316088

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 11754
/proc/meminfo: memFree=1280528/2055920 swapFree=4147588/4192956
[pid=11753] ppid=11751 vsize=328696 CPUtime=1241.87
/proc/11753/stat : 11753 (PBS4_SAT07v2) R 11751 11753 11132 0 -1 4194304 60189 0 0 0 124078 109 0 0 25 0 1 0 312658409 336584704 54064 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134550311 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11753/statm: 82174 54064 102 219 0 81951 0
Current children cumulated CPU time (s) 1241.87
Current children cumulated vsize (KiB) 328696

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 11754
/proc/meminfo: memFree=1279632/2055920 swapFree=4147588/4192956
[pid=11753] ppid=11751 vsize=329296 CPUtime=1301.85
/proc/11753/stat : 11753 (PBS4_SAT07v2) R 11751 11753 11132 0 -1 4194304 60415 0 0 0 130073 112 0 0 25 0 1 0 312658409 337199104 54290 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134556992 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11753/statm: 82324 54290 102 219 0 82101 0
Current children cumulated CPU time (s) 1301.85
Current children cumulated vsize (KiB) 329296

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 11754
/proc/meminfo: memFree=1278736/2055920 swapFree=4147588/4192956
[pid=11753] ppid=11751 vsize=330080 CPUtime=1361.82
/proc/11753/stat : 11753 (PBS4_SAT07v2) R 11751 11753 11132 0 -1 4194304 60639 0 0 0 136067 115 0 0 25 0 1 0 312658409 338001920 54514 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11753/statm: 82520 54514 102 219 0 82297 0
Current children cumulated CPU time (s) 1361.82
Current children cumulated vsize (KiB) 330080

[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 11754
/proc/meminfo: memFree=1277904/2055920 swapFree=4147588/4192956
[pid=11753] ppid=11751 vsize=330240 CPUtime=1421.81
/proc/11753/stat : 11753 (PBS4_SAT07v2) R 11751 11753 11132 0 -1 4194304 60843 0 0 0 142062 119 0 0 25 0 1 0 312658409 338165760 54718 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134556992 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11753/statm: 82560 54718 102 219 0 82337 0
Current children cumulated CPU time (s) 1421.81
Current children cumulated vsize (KiB) 330240

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 11754
/proc/meminfo: memFree=1277072/2055920 swapFree=4147588/4192956
[pid=11753] ppid=11751 vsize=330920 CPUtime=1481.79
/proc/11753/stat : 11753 (PBS4_SAT07v2) R 11751 11753 11132 0 -1 4194304 61063 0 0 0 148056 123 0 0 25 0 1 0 312658409 338862080 54938 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134550311 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11753/statm: 82730 54938 102 219 0 82507 0
Current children cumulated CPU time (s) 1481.79
Current children cumulated vsize (KiB) 330920

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 11754
/proc/meminfo: memFree=1276240/2055920 swapFree=4147588/4192956
[pid=11753] ppid=11751 vsize=331080 CPUtime=1541.77
/proc/11753/stat : 11753 (PBS4_SAT07v2) R 11751 11753 11132 0 -1 4194304 61260 0 0 0 154050 127 0 0 25 0 1 0 312658409 339025920 55135 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134550311 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11753/statm: 82770 55135 102 219 0 82547 0
Current children cumulated CPU time (s) 1541.77
Current children cumulated vsize (KiB) 331080

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 11754
/proc/meminfo: memFree=1275408/2055920 swapFree=4147588/4192956
[pid=11753] ppid=11751 vsize=331800 CPUtime=1601.74
/proc/11753/stat : 11753 (PBS4_SAT07v2) R 11751 11753 11132 0 -1 4194304 61475 0 0 0 160044 130 0 0 25 0 1 0 312658409 339763200 55350 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134544685 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11753/statm: 82950 55350 102 219 0 82727 0
Current children cumulated CPU time (s) 1601.74
Current children cumulated vsize (KiB) 331800

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 11754
/proc/meminfo: memFree=1274512/2055920 swapFree=4147588/4192956
[pid=11753] ppid=11751 vsize=331960 CPUtime=1661.72
/proc/11753/stat : 11753 (PBS4_SAT07v2) R 11751 11753 11132 0 -1 4194304 61694 0 0 0 166039 133 0 0 25 0 1 0 312658409 339927040 55569 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11753/statm: 82990 55569 102 219 0 82767 0
Current children cumulated CPU time (s) 1661.72
Current children cumulated vsize (KiB) 331960

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 11754
/proc/meminfo: memFree=1273680/2055920 swapFree=4147588/4192956
[pid=11753] ppid=11751 vsize=332884 CPUtime=1721.7
/proc/11753/stat : 11753 (PBS4_SAT07v2) R 11751 11753 11132 0 -1 4194304 61899 0 0 0 172032 138 0 0 25 0 1 0 312658409 340873216 55774 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134557372 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11753/statm: 83221 55774 102 219 0 82998 0
Current children cumulated CPU time (s) 1721.7
Current children cumulated vsize (KiB) 332884

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 11754
/proc/meminfo: memFree=1272976/2055920 swapFree=4147588/4192956
[pid=11753] ppid=11751 vsize=332884 CPUtime=1781.68
/proc/11753/stat : 11753 (PBS4_SAT07v2) R 11751 11753 11132 0 -1 4194304 62081 0 0 0 178026 142 0 0 25 0 1 0 312658409 340873216 55956 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134549405 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11753/statm: 83221 55956 102 219 0 82998 0
Current children cumulated CPU time (s) 1781.68
Current children cumulated vsize (KiB) 332884



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.7 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 11754
/proc/meminfo: memFree=1272528/2055920 swapFree=4147588/4192956
[pid=11753] ppid=11751 vsize=334016 CPUtime=1800.08
/proc/11753/stat : 11753 (PBS4_SAT07v2) R 11751 11753 11132 0 -1 4194304 62192 0 0 0 179865 143 0 0 25 0 1 0 312658409 342032384 56067 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134547178 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11753/statm: 83504 56067 102 219 0 83281 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 334016

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

Solver just ended. Dumping a history of the last processes samples

[startup+1800.7 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 11754
/proc/meminfo: memFree=1272528/2055920 swapFree=4147588/4192956
[pid=11753] ppid=11751 vsize=334016 CPUtime=1800.08
/proc/11753/stat : 11753 (PBS4_SAT07v2) R 11751 11753 11132 0 -1 4194304 62192 0 0 0 179865 143 0 0 25 0 1 0 312658409 342032384 56067 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134547178 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11753/statm: 83504 56067 102 219 0 83281 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 334016

Child status: 0
Real time (s): 1800.8
CPU time (s): 1800.13
CPU user time (s): 1798.66
CPU system time (s): 1.47278
CPU usage (%): 99.963
Max. virtual memory (cumulated for all children) (KiB): 334016

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.66
system time used= 1.47278
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 62195
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= 8
involuntary context switches= 1871

runsolver used 1.45278 second user time and 3.9154 second system time

The end