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

command line: runsolver --timestamp -w ROOT/results/node14/watcher-458980-1178646591 -o ROOT/results/node14/solver-458980-1178646591 -C 1800 -W 3600 -M 1800 --output-limit 1,15 PBS4_SAT07v2 /tmp/evaluation/458980-1178646591/instance-458980-1178646591.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.02 1.02 1.00 3/77 4658
/proc/meminfo: memFree=1654512/2055920 swapFree=4148664/4192956
[pid=4658] ppid=4656 vsize=1588 CPUtime=0
/proc/4658/stat : 4658 (PBS4_SAT07v2) R 4656 4658 4184 0 -1 4194304 180 0 0 0 0 0 0 0 18 0 1 0 312576896 1626112 162 18446744073709551615 134512640 135410602 4294956688 18446744073709551615 135057549 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4658/statm: 397 162 84 219 0 174 0

[startup+0.0639561 s]
/proc/loadavg: 1.02 1.02 1.00 3/77 4658
/proc/meminfo: memFree=1654512/2055920 swapFree=4148664/4192956
[pid=4658] ppid=4656 vsize=1904 CPUtime=0.06
/proc/4658/stat : 4658 (PBS4_SAT07v2) R 4656 4658 4184 0 -1 4194304 333 0 0 0 6 0 0 0 18 0 1 0 312576896 1949696 311 18446744073709551615 134512640 135410602 4294956688 18446744073709551615 134585795 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4658/statm: 476 311 86 219 0 253 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 1904

[startup+0.10196 s]
/proc/loadavg: 1.02 1.02 1.00 3/77 4658
/proc/meminfo: memFree=1654512/2055920 swapFree=4148664/4192956
[pid=4658] ppid=4656 vsize=2352 CPUtime=0.09
/proc/4658/stat : 4658 (PBS4_SAT07v2) R 4656 4658 4184 0 -1 4194304 452 0 0 0 9 0 0 0 18 0 1 0 312576896 2408448 381 18446744073709551615 134512640 135410602 4294956688 18446744073709551615 134530021 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4658/statm: 588 381 86 219 0 365 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 2352

[startup+0.301978 s]
/proc/loadavg: 1.02 1.02 1.00 3/77 4658
/proc/meminfo: memFree=1654512/2055920 swapFree=4148664/4192956
[pid=4658] ppid=4656 vsize=4552 CPUtime=0.29
/proc/4658/stat : 4658 (PBS4_SAT07v2) R 4656 4658 4184 0 -1 4194304 1197 0 0 0 29 0 0 0 19 0 1 0 312576896 4661248 836 18446744073709551615 134512640 135410602 4294956688 18446744073709551615 134636187 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4658/statm: 1138 836 86 219 0 915 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 4552

[startup+0.702016 s]
/proc/loadavg: 1.02 1.02 1.00 3/77 4658
/proc/meminfo: memFree=1654512/2055920 swapFree=4148664/4192956
[pid=4658] ppid=4656 vsize=10084 CPUtime=0.69
/proc/4658/stat : 4658 (PBS4_SAT07v2) R 4656 4658 4184 0 -1 4194304 2518 0 0 0 68 1 0 0 22 0 1 0 312576896 10326016 1772 18446744073709551615 134512640 135410602 4294956688 18446744073709551615 134594427 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4658/statm: 2521 1773 86 219 0 2298 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 10084

[startup+1.50109 s]
/proc/loadavg: 1.02 1.02 1.00 2/78 4659
/proc/meminfo: memFree=1645608/2055920 swapFree=4148664/4192956
[pid=4658] ppid=4656 vsize=14308 CPUtime=1.49
/proc/4658/stat : 4658 (PBS4_SAT07v2) R 4656 4658 4184 0 -1 4194304 3844 0 0 0 147 2 0 0 25 0 1 0 312576896 14651392 3098 18446744073709551615 134512640 135410602 4294956688 18446744073709551615 134560851 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4658/statm: 3577 3098 102 219 0 3354 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 14308

[startup+3.10124 s]
/proc/loadavg: 1.02 1.02 1.00 2/78 4659
/proc/meminfo: memFree=1639784/2055920 swapFree=4148664/4192956
[pid=4658] ppid=4656 vsize=22500 CPUtime=3.09
/proc/4658/stat : 4658 (PBS4_SAT07v2) R 4656 4658 4184 0 -1 4194304 5785 0 0 0 306 3 0 0 25 0 1 0 312576896 23040000 5039 18446744073709551615 134512640 135410602 4294956688 18446744073709551615 134557351 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4658/statm: 5625 5039 102 219 0 5402 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 22500

[startup+6.30155 s]
/proc/loadavg: 1.02 1.02 1.00 2/78 4659
/proc/meminfo: memFree=1622120/2055920 swapFree=4148664/4192956
[pid=4658] ppid=4656 vsize=39020 CPUtime=6.29
/proc/4658/stat : 4658 (PBS4_SAT07v2) R 4656 4658 4184 0 -1 4194304 10028 0 0 0 624 5 0 0 25 0 1 0 312576896 39956480 9282 18446744073709551615 134512640 135410602 4294956688 18446744073709551615 134588758 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4658/statm: 9755 9282 102 219 0 9532 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 39020

[startup+12.7012 s]
/proc/loadavg: 1.01 1.02 1.00 2/78 4659
/proc/meminfo: memFree=1592168/2055920 swapFree=4148664/4192956
[pid=4658] ppid=4656 vsize=72192 CPUtime=12.68
/proc/4658/stat : 4658 (PBS4_SAT07v2) R 4656 4658 4184 0 -1 4194304 17019 0 0 0 1261 7 0 0 25 0 1 0 312576896 73924608 16273 18446744073709551615 134512640 135410602 4294956688 18446744073709551615 134559620 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4658/statm: 18048 16273 102 219 0 17825 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 72192

[startup+25.5014 s]
/proc/loadavg: 1.01 1.02 1.00 3/78 4659
/proc/meminfo: memFree=1536424/2055920 swapFree=4148664/4192956
[pid=4658] ppid=4656 vsize=140760 CPUtime=25.48
/proc/4658/stat : 4658 (PBS4_SAT07v2) R 4656 4658 4184 0 -1 4194304 30685 0 0 0 2533 15 0 0 25 0 1 0 312576896 144138240 29940 18446744073709551615 134512640 135410602 4294956688 18446744073709551615 134588758 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4658/statm: 35190 29940 102 219 0 34967 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 140760

[startup+51.1018 s]
/proc/loadavg: 1.01 1.01 1.00 2/78 4659
/proc/meminfo: memFree=1506088/2055920 swapFree=4148664/4192956
[pid=4658] ppid=4656 vsize=278868 CPUtime=51.08
/proc/4658/stat : 4658 (PBS4_SAT07v2) R 4656 4658 4184 0 -1 4194304 38576 0 0 0 5086 22 0 0 25 0 1 0 312576896 285560832 37061 18446744073709551615 134512640 135410602 4294956688 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4658/statm: 69717 37061 102 219 0 69494 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 278868

[startup+102.306 s]
/proc/loadavg: 1.00 1.01 1.00 3/78 4659
/proc/meminfo: memFree=1488680/2055920 swapFree=4148664/4192956
[pid=4658] ppid=4656 vsize=283360 CPUtime=102.27
/proc/4658/stat : 4658 (PBS4_SAT07v2) R 4656 4658 4184 0 -1 4194304 42904 0 0 0 10198 29 0 0 25 0 1 0 312576896 290160640 41389 18446744073709551615 134512640 135410602 4294956688 18446744073709551615 134557367 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4658/statm: 70840 41389 102 219 0 70617 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 283360

[startup+162.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 4659
/proc/meminfo: memFree=1482344/2055920 swapFree=4148664/4192956
[pid=4658] ppid=4656 vsize=287908 CPUtime=162.25
/proc/4658/stat : 4658 (PBS4_SAT07v2) R 4656 4658 4184 0 -1 4194304 44477 0 0 0 16190 35 0 0 25 0 1 0 312576896 294817792 42962 18446744073709551615 134512640 135410602 4294956688 18446744073709551615 134545306 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4658/statm: 71977 42962 102 219 0 71754 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 287908

[startup+222.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 4659
/proc/meminfo: memFree=1478824/2055920 swapFree=4148664/4192956
[pid=4658] ppid=4656 vsize=290552 CPUtime=222.23
/proc/4658/stat : 4658 (PBS4_SAT07v2) R 4656 4658 4184 0 -1 4194304 45352 0 0 0 22184 39 0 0 25 0 1 0 312576896 297525248 43837 18446744073709551615 134512640 135410602 4294956688 18446744073709551615 134549405 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4658/statm: 72638 43837 102 219 0 72415 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 290552

[startup+282.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 4659
/proc/meminfo: memFree=1476008/2055920 swapFree=4148664/4192956
[pid=4658] ppid=4656 vsize=293176 CPUtime=282.22
/proc/4658/stat : 4658 (PBS4_SAT07v2) R 4656 4658 4184 0 -1 4194304 46059 0 0 0 28178 44 0 0 25 0 1 0 312576896 300212224 44544 18446744073709551615 134512640 135410602 4294956688 18446744073709551615 134557495 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4658/statm: 73294 44544 102 219 0 73071 0
Current children cumulated CPU time (s) 282.22
Current children cumulated vsize (KiB) 293176

[startup+342.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 4659
/proc/meminfo: memFree=1473768/2055920 swapFree=4148664/4192956
[pid=4658] ppid=4656 vsize=295084 CPUtime=342.21
/proc/4658/stat : 4658 (PBS4_SAT07v2) R 4656 4658 4184 0 -1 4194304 46613 0 0 0 34172 49 0 0 25 0 1 0 312576896 302166016 45098 18446744073709551615 134512640 135410602 4294956688 18446744073709551615 134548720 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4658/statm: 73771 45098 102 219 0 73548 0
Current children cumulated CPU time (s) 342.21
Current children cumulated vsize (KiB) 295084

[startup+402.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 4659
/proc/meminfo: memFree=1472232/2055920 swapFree=4148664/4192956
[pid=4658] ppid=4656 vsize=302344 CPUtime=402.19
/proc/4658/stat : 4658 (PBS4_SAT07v2) R 4656 4658 4184 0 -1 4194304 48519 0 0 0 40163 56 0 0 25 0 1 0 312576896 309600256 45467 18446744073709551615 134512640 135410602 4294956688 18446744073709551615 134558747 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4658/statm: 75586 45467 102 219 0 75363 0
Current children cumulated CPU time (s) 402.19
Current children cumulated vsize (KiB) 302344

[startup+462.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 4659
/proc/meminfo: memFree=1470440/2055920 swapFree=4148664/4192956
[pid=4658] ppid=4656 vsize=303760 CPUtime=462.18
/proc/4658/stat : 4658 (PBS4_SAT07v2) R 4656 4658 4184 0 -1 4194304 48975 0 0 0 46157 61 0 0 25 0 1 0 312576896 311050240 45923 18446744073709551615 134512640 135410602 4294956688 18446744073709551615 134550311 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4658/statm: 75940 45923 102 219 0 75717 0
Current children cumulated CPU time (s) 462.18
Current children cumulated vsize (KiB) 303760

[startup+522.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 4659
/proc/meminfo: memFree=1468776/2055920 swapFree=4148664/4192956
[pid=4658] ppid=4656 vsize=305116 CPUtime=522.16
/proc/4658/stat : 4658 (PBS4_SAT07v2) R 4656 4658 4184 0 -1 4194304 49409 0 0 0 52150 66 0 0 25 0 1 0 312576896 312438784 46357 18446744073709551615 134512640 135410602 4294956688 18446744073709551615 134550311 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4658/statm: 76279 46357 102 219 0 76056 0
Current children cumulated CPU time (s) 522.16
Current children cumulated vsize (KiB) 305116

[startup+582.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 4659
/proc/meminfo: memFree=1467048/2055920 swapFree=4148664/4192956
[pid=4658] ppid=4656 vsize=306164 CPUtime=582.15
/proc/4658/stat : 4658 (PBS4_SAT07v2) R 4656 4658 4184 0 -1 4194304 49826 0 0 0 58144 71 0 0 25 0 1 0 312576896 313511936 46774 18446744073709551615 134512640 135410602 4294956688 18446744073709551615 134564383 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4658/statm: 76541 46774 102 219 0 76318 0
Current children cumulated CPU time (s) 582.15
Current children cumulated vsize (KiB) 306164

[startup+642.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 4659
/proc/meminfo: memFree=1465704/2055920 swapFree=4148664/4192956
[pid=4658] ppid=4656 vsize=307136 CPUtime=642.14
/proc/4658/stat : 4658 (PBS4_SAT07v2) R 4656 4658 4184 0 -1 4194304 50167 0 0 0 64139 75 0 0 25 0 1 0 312576896 314507264 47115 18446744073709551615 134512640 135410602 4294956688 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4658/statm: 76784 47115 102 219 0 76561 0
Current children cumulated CPU time (s) 642.14
Current children cumulated vsize (KiB) 307136


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

[startup+822.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 4857
/proc/meminfo: memFree=1461288/2055920 swapFree=4148664/4192956
[pid=4658] ppid=4656 vsize=309696 CPUtime=821.99
/proc/4658/stat : 4658 (PBS4_SAT07v2) R 4656 4658 4184 0 -1 4194304 51196 0 0 0 82110 89 0 0 25 0 1 0 312576896 317128704 48144 18446744073709551615 134512640 135410602 4294956688 18446744073709551615 134532736 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4658/statm: 77424 48144 102 219 0 77201 0
Current children cumulated CPU time (s) 821.99
Current children cumulated vsize (KiB) 309696

[startup+882.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 4857
/proc/meminfo: memFree=1460200/2055920 swapFree=4148664/4192956
[pid=4658] ppid=4656 vsize=310780 CPUtime=881.98
/proc/4658/stat : 4658 (PBS4_SAT07v2) R 4656 4658 4184 0 -1 4194304 51468 0 0 0 88104 94 0 0 25 0 1 0 312576896 318238720 48416 18446744073709551615 134512640 135410602 4294956688 18446744073709551615 134557367 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4658/statm: 77695 48416 102 219 0 77472 0
Current children cumulated CPU time (s) 881.98
Current children cumulated vsize (KiB) 310780

[startup+942.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 4857
/proc/meminfo: memFree=1459176/2055920 swapFree=4148664/4192956
[pid=4658] ppid=4656 vsize=311448 CPUtime=941.96
/proc/4658/stat : 4658 (PBS4_SAT07v2) R 4656 4658 4184 0 -1 4194304 51737 0 0 0 94097 99 0 0 25 0 1 0 312576896 318922752 48685 18446744073709551615 134512640 135410602 4294956688 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4658/statm: 77862 48685 102 219 0 77639 0
Current children cumulated CPU time (s) 941.96
Current children cumulated vsize (KiB) 311448

[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 4857
/proc/meminfo: memFree=1457960/2055920 swapFree=4148664/4192956
[pid=4658] ppid=4656 vsize=312088 CPUtime=1001.95
/proc/4658/stat : 4658 (PBS4_SAT07v2) R 4656 4658 4184 0 -1 4194304 52066 0 0 0 100091 104 0 0 25 0 1 0 312576896 319578112 49014 18446744073709551615 134512640 135410602 4294956688 18446744073709551615 134549405 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4658/statm: 78022 49014 102 219 0 77799 0
Current children cumulated CPU time (s) 1001.95
Current children cumulated vsize (KiB) 312088

[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 4857
/proc/meminfo: memFree=1457064/2055920 swapFree=4148664/4192956
[pid=4658] ppid=4656 vsize=312628 CPUtime=1061.93
/proc/4658/stat : 4658 (PBS4_SAT07v2) R 4656 4658 4184 0 -1 4194304 52303 0 0 0 106086 107 0 0 25 0 1 0 312576896 320131072 49251 18446744073709551615 134512640 135410602 4294956688 18446744073709551615 134550311 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4658/statm: 78157 49251 102 219 0 77934 0
Current children cumulated CPU time (s) 1061.93
Current children cumulated vsize (KiB) 312628

[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 4857
/proc/meminfo: memFree=1456168/2055920 swapFree=4148664/4192956
[pid=4658] ppid=4656 vsize=313360 CPUtime=1121.92
/proc/4658/stat : 4658 (PBS4_SAT07v2) R 4656 4658 4184 0 -1 4194304 52531 0 0 0 112081 111 0 0 25 0 1 0 312576896 320880640 49479 18446744073709551615 134512640 135410602 4294956688 18446744073709551615 134557336 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4658/statm: 78340 49479 102 219 0 78117 0
Current children cumulated CPU time (s) 1121.92
Current children cumulated vsize (KiB) 313360

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 4857
/proc/meminfo: memFree=1455208/2055920 swapFree=4148664/4192956
[pid=4658] ppid=4656 vsize=326256 CPUtime=1181.91
/proc/4658/stat : 4658 (PBS4_SAT07v2) R 4656 4658 4184 0 -1 4194304 55819 0 0 0 118074 117 0 0 25 0 1 0 312576896 334086144 49694 18446744073709551615 134512640 135410602 4294956688 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4658/statm: 81564 49694 102 219 0 81341 0
Current children cumulated CPU time (s) 1181.91
Current children cumulated vsize (KiB) 326256

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 4857
/proc/meminfo: memFree=1454312/2055920 swapFree=4148664/4192956
[pid=4658] ppid=4656 vsize=326256 CPUtime=1241.89
/proc/4658/stat : 4658 (PBS4_SAT07v2) R 4656 4658 4184 0 -1 4194304 56040 0 0 0 124068 121 0 0 25 0 1 0 312576896 334086144 49915 18446744073709551615 134512640 135410602 4294956688 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4658/statm: 81564 49915 102 219 0 81341 0
Current children cumulated CPU time (s) 1241.89
Current children cumulated vsize (KiB) 326256

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 4857
/proc/meminfo: memFree=1453160/2055920 swapFree=4148664/4192956
[pid=4658] ppid=4656 vsize=327236 CPUtime=1301.88
/proc/4658/stat : 4658 (PBS4_SAT07v2) R 4656 4658 4184 0 -1 4194304 56327 0 0 0 130063 125 0 0 25 0 1 0 312576896 335089664 50202 18446744073709551615 134512640 135410602 4294956688 18446744073709551615 134547205 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4658/statm: 81809 50202 102 219 0 81586 0
Current children cumulated CPU time (s) 1301.88
Current children cumulated vsize (KiB) 327236

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 4857
/proc/meminfo: memFree=1452136/2055920 swapFree=4148664/4192956
[pid=4658] ppid=4656 vsize=328064 CPUtime=1361.87
/proc/4658/stat : 4658 (PBS4_SAT07v2) R 4656 4658 4184 0 -1 4194304 56583 0 0 0 136057 130 0 0 25 0 1 0 312576896 335937536 50458 18446744073709551615 134512640 135410602 4294956688 18446744073709551615 134550311 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4658/statm: 82016 50458 102 219 0 81793 0
Current children cumulated CPU time (s) 1361.87
Current children cumulated vsize (KiB) 328064

[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 4857
/proc/meminfo: memFree=1451304/2055920 swapFree=4148664/4192956
[pid=4658] ppid=4656 vsize=328208 CPUtime=1421.85
/proc/4658/stat : 4658 (PBS4_SAT07v2) R 4656 4658 4184 0 -1 4194304 56793 0 0 0 142052 133 0 0 25 0 1 0 312576896 336084992 50668 18446744073709551615 134512640 135410602 4294956688 18446744073709551615 134557308 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4658/statm: 82052 50668 102 219 0 81829 0
Current children cumulated CPU time (s) 1421.85
Current children cumulated vsize (KiB) 328208

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 4857
/proc/meminfo: memFree=1450408/2055920 swapFree=4148664/4192956
[pid=4658] ppid=4656 vsize=328936 CPUtime=1481.83
/proc/4658/stat : 4658 (PBS4_SAT07v2) R 4656 4658 4184 0 -1 4194304 57013 0 0 0 148046 137 0 0 25 0 1 0 312576896 336830464 50888 18446744073709551615 134512640 135410602 4294956688 18446744073709551615 134549412 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4658/statm: 82234 50888 102 219 0 82011 0
Current children cumulated CPU time (s) 1481.83
Current children cumulated vsize (KiB) 328936

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 4857
/proc/meminfo: memFree=1449512/2055920 swapFree=4148664/4192956
[pid=4658] ppid=4656 vsize=329852 CPUtime=1541.82
/proc/4658/stat : 4658 (PBS4_SAT07v2) R 4656 4658 4184 0 -1 4194304 57240 0 0 0 154040 142 0 0 25 0 1 0 312576896 337768448 51115 18446744073709551615 134512640 135410602 4294956688 18446744073709551615 134557331 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4658/statm: 82463 51115 102 219 0 82240 0
Current children cumulated CPU time (s) 1541.82
Current children cumulated vsize (KiB) 329852

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 4857
/proc/meminfo: memFree=1448488/2055920 swapFree=4148664/4192956
[pid=4658] ppid=4656 vsize=330012 CPUtime=1601.81
/proc/4658/stat : 4658 (PBS4_SAT07v2) R 4656 4658 4184 0 -1 4194304 57509 0 0 0 160034 147 0 0 25 0 1 0 312576896 337932288 51384 18446744073709551615 134512640 135410602 4294956688 18446744073709551615 134557367 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4658/statm: 82503 51384 102 219 0 82280 0
Current children cumulated CPU time (s) 1601.81
Current children cumulated vsize (KiB) 330012

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 4857
/proc/meminfo: memFree=1447592/2055920 swapFree=4148664/4192956
[pid=4658] ppid=4656 vsize=330832 CPUtime=1661.79
/proc/4658/stat : 4658 (PBS4_SAT07v2) R 4656 4658 4184 0 -1 4194304 57720 0 0 0 166029 150 0 0 25 0 1 0 312576896 338771968 51595 18446744073709551615 134512640 135410602 4294956688 18446744073709551615 134558749 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4658/statm: 82708 51595 102 219 0 82485 0
Current children cumulated CPU time (s) 1661.79
Current children cumulated vsize (KiB) 330832

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 4857
/proc/meminfo: memFree=1446760/2055920 swapFree=4148664/4192956
[pid=4658] ppid=4656 vsize=330992 CPUtime=1721.78
/proc/4658/stat : 4658 (PBS4_SAT07v2) R 4656 4658 4184 0 -1 4194304 57929 0 0 0 172024 154 0 0 25 0 1 0 312576896 338935808 51804 18446744073709551615 134512640 135410602 4294956688 18446744073709551615 134549401 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4658/statm: 82748 51804 102 219 0 82525 0
Current children cumulated CPU time (s) 1721.78
Current children cumulated vsize (KiB) 330992

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 4857
/proc/meminfo: memFree=1445992/2055920 swapFree=4148664/4192956
[pid=4658] ppid=4656 vsize=331864 CPUtime=1781.76
/proc/4658/stat : 4658 (PBS4_SAT07v2) R 4656 4658 4184 0 -1 4194304 58129 0 0 0 178019 157 0 0 25 0 1 0 312576896 339828736 52004 18446744073709551615 134512640 135410602 4294956688 18446744073709551615 134547178 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4658/statm: 82966 52004 102 219 0 82743 0
Current children cumulated CPU time (s) 1781.76
Current children cumulated vsize (KiB) 331864



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 4857
/proc/meminfo: memFree=1445736/2055920 swapFree=4148664/4192956
[pid=4658] ppid=4656 vsize=331864 CPUtime=1800.06
/proc/4658/stat : 4658 (PBS4_SAT07v2) R 4656 4658 4184 0 -1 4194304 58192 0 0 0 179848 158 0 0 25 0 1 0 312576896 339828736 52067 18446744073709551615 134512640 135410602 4294956688 18446744073709551615 134548678 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4658/statm: 82966 52067 102 219 0 82743 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 331864

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

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

Child status: 0
Real time (s): 1800.65
CPU time (s): 1800.11
CPU user time (s): 1798.48
CPU system time (s): 1.62375
CPU usage (%): 99.9701
Max. virtual memory (cumulated for all children) (KiB): 338548

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.48
system time used= 1.62375
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 58195
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= 1786

runsolver used 1.45278 second user time and 4.11237 second system time

The end