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

command line: runsolver --timestamp -w ROOT/results/node20/watcher-458568-1178635757 -o ROOT/results/node20/solver-458568-1178635757 -C 1800 -W 3600 -M 1800 --output-limit 1,15 PBS4_SAT07v2 /tmp/evaluation/458568-1178635757/instance-458568-1178635757.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 21222
/proc/meminfo: memFree=1771768/2055920 swapFree=4154856/4192956
[pid=21222] ppid=21220 vsize=1592 CPUtime=0
/proc/21222/stat : 21222 (PBS4_SAT07v2) R 21220 21222 20865 0 -1 4194304 182 0 0 0 0 0 0 0 18 0 1 0 311493106 1630208 165 18446744073709551615 134512640 135410602 4294956656 18446744073709551615 135006757 0 0 4096 16384 0 0 0 17 1 0 0
/proc/21222/statm: 398 166 86 219 0 175 0

[startup+0.0131461 s]
/proc/loadavg: 1.00 1.00 1.00 3/77 21222
/proc/meminfo: memFree=1771768/2055920 swapFree=4154856/4192956
[pid=21222] ppid=21220 vsize=1592 CPUtime=0.01
/proc/21222/stat : 21222 (PBS4_SAT07v2) R 21220 21222 20865 0 -1 4194304 207 0 0 0 1 0 0 0 18 0 1 0 311493106 1630208 189 18446744073709551615 134512640 135410602 4294956656 18446744073709551615 134784927 0 0 4096 16384 0 0 0 17 1 0 0
/proc/21222/statm: 398 190 86 219 0 175 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 1592

[startup+0.101165 s]
/proc/loadavg: 1.00 1.00 1.00 3/77 21222
/proc/meminfo: memFree=1771768/2055920 swapFree=4154856/4192956
[pid=21222] ppid=21220 vsize=1860 CPUtime=0.09
/proc/21222/stat : 21222 (PBS4_SAT07v2) R 21220 21222 20865 0 -1 4194304 301 0 0 0 9 0 0 0 18 0 1 0 311493106 1904640 249 18446744073709551615 134512640 135410602 4294956656 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0
/proc/21222/statm: 465 249 90 219 0 242 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1860

[startup+0.301204 s]
/proc/loadavg: 1.00 1.00 1.00 3/77 21222
/proc/meminfo: memFree=1771768/2055920 swapFree=4154856/4192956
[pid=21222] ppid=21220 vsize=2248 CPUtime=0.29
/proc/21222/stat : 21222 (PBS4_SAT07v2) R 21220 21222 20865 0 -1 4194304 369 0 0 0 29 0 0 0 19 0 1 0 311493106 2301952 317 18446744073709551615 134512640 135410602 4294956656 18446744073709551615 134588758 0 0 4096 16384 0 0 0 17 1 0 0
/proc/21222/statm: 562 317 90 219 0 339 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 2248

[startup+0.701285 s]
/proc/loadavg: 1.00 1.00 1.00 3/77 21222
/proc/meminfo: memFree=1771768/2055920 swapFree=4154856/4192956
[pid=21222] ppid=21220 vsize=2948 CPUtime=0.69
/proc/21222/stat : 21222 (PBS4_SAT07v2) R 21220 21222 20865 0 -1 4194304 529 0 0 0 69 0 0 0 23 0 1 0 311493106 3018752 477 18446744073709551615 134512640 135410602 4294956656 18446744073709551615 134547219 0 0 4096 16384 0 0 0 17 1 0 0
/proc/21222/statm: 737 477 90 219 0 514 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 2948

[startup+1.50144 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 21223
/proc/meminfo: memFree=1769392/2055920 swapFree=4154856/4192956
[pid=21222] ppid=21220 vsize=6216 CPUtime=1.49
/proc/21222/stat : 21222 (PBS4_SAT07v2) R 21220 21222 20865 0 -1 4194304 945 0 0 0 148 1 0 0 25 0 1 0 311493106 6365184 893 18446744073709551615 134512640 135410602 4294956656 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0
/proc/21222/statm: 1554 893 90 219 0 1331 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 6216

[startup+3.10177 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 21223
/proc/meminfo: memFree=1767344/2055920 swapFree=4154856/4192956
[pid=21222] ppid=21220 vsize=6676 CPUtime=3.09
/proc/21222/stat : 21222 (PBS4_SAT07v2) R 21220 21222 20865 0 -1 4194304 1456 0 0 0 307 2 0 0 25 0 1 0 311493106 6836224 1355 18446744073709551615 134512640 135410602 4294956656 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0
/proc/21222/statm: 1669 1355 90 219 0 1446 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 6676

[startup+6.30141 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 21223
/proc/meminfo: memFree=1765040/2055920 swapFree=4154856/4192956
[pid=21222] ppid=21220 vsize=11184 CPUtime=6.29
/proc/21222/stat : 21222 (PBS4_SAT07v2) R 21220 21222 20865 0 -1 4194304 1928 0 0 0 626 3 0 0 25 0 1 0 311493106 11452416 1827 18446744073709551615 134512640 135410602 4294956656 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0
/proc/21222/statm: 2796 1827 90 219 0 2573 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 11184

[startup+12.7017 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 21223
/proc/meminfo: memFree=1762032/2055920 swapFree=4154856/4192956
[pid=21222] ppid=21220 vsize=11828 CPUtime=12.69
/proc/21222/stat : 21222 (PBS4_SAT07v2) R 21220 21222 20865 0 -1 4194304 2715 0 0 0 1262 7 0 0 25 0 1 0 311493106 12111872 2517 18446744073709551615 134512640 135410602 4294956656 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0
/proc/21222/statm: 2957 2517 90 219 0 2734 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 11828

[startup+25.5013 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 21223
/proc/meminfo: memFree=1758000/2055920 swapFree=4154856/4192956
[pid=21222] ppid=21220 vsize=21620 CPUtime=25.48
/proc/21222/stat : 21222 (PBS4_SAT07v2) R 21220 21222 20865 0 -1 4194304 3851 0 0 0 2536 12 0 0 25 0 1 0 311493106 22138880 3460 18446744073709551615 134512640 135410602 4294956656 18446744073709551615 134550311 0 0 4096 16384 0 0 0 17 1 0 0
/proc/21222/statm: 5405 3460 90 219 0 5182 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 21620

[startup+51.1014 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 21223
/proc/meminfo: memFree=1750768/2055920 swapFree=4154856/4192956
[pid=21222] ppid=21220 vsize=22772 CPUtime=51.07
/proc/21222/stat : 21222 (PBS4_SAT07v2) R 21220 21222 20865 0 -1 4194304 5676 0 0 0 5085 22 0 0 25 0 1 0 311493106 23318528 5285 18446744073709551615 134512640 135410602 4294956656 18446744073709551615 134550311 0 0 4096 16384 0 0 0 17 1 0 0
/proc/21222/statm: 5693 5285 90 219 0 5470 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 22772

[startup+102.306 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 21223
/proc/meminfo: memFree=1744048/2055920 swapFree=4154856/4192956
[pid=21222] ppid=21220 vsize=42396 CPUtime=102.26
/proc/21222/stat : 21222 (PBS4_SAT07v2) R 21220 21222 20865 0 -1 4194304 7696 0 0 0 10190 36 0 0 25 0 1 0 311493106 43413504 6920 18446744073709551615 134512640 135410602 4294956656 18446744073709551615 134550311 0 0 4096 16384 0 0 0 17 1 0 0
/proc/21222/statm: 10599 6920 90 219 0 10376 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 42396

[startup+162.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 21223
/proc/meminfo: memFree=1736432/2055920 swapFree=4154856/4192956
[pid=21222] ppid=21220 vsize=43896 CPUtime=162.23
/proc/21222/stat : 21222 (PBS4_SAT07v2) R 21220 21222 20865 0 -1 4194304 9633 0 0 0 16174 49 0 0 25 0 1 0 311493106 44949504 8857 18446744073709551615 134512640 135410602 4294956656 18446744073709551615 134550311 0 0 4096 16384 0 0 0 17 1 0 0
/proc/21222/statm: 10974 8857 90 219 0 10751 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 43896

[startup+222.302 s]
/proc/loadavg: 1.04 1.01 1.00 2/78 21223
/proc/meminfo: memFree=1733168/2055920 swapFree=4154856/4192956
[pid=21222] ppid=21220 vsize=44912 CPUtime=222.21
/proc/21222/stat : 21222 (PBS4_SAT07v2) R 21220 21222 20865 0 -1 4194304 10405 0 0 0 22161 60 0 0 25 0 1 0 311493106 45989888 9629 18446744073709551615 134512640 135410602 4294956656 18446744073709551615 134546939 0 0 4096 16384 0 0 0 17 1 0 0
/proc/21222/statm: 11228 9629 90 219 0 11005 0
Current children cumulated CPU time (s) 222.21
Current children cumulated vsize (KiB) 44912

[startup+282.302 s]
/proc/loadavg: 1.01 1.01 1.00 2/78 21223
/proc/meminfo: memFree=1731312/2055920 swapFree=4154856/4192956
[pid=21222] ppid=21220 vsize=48736 CPUtime=282.19
/proc/21222/stat : 21222 (PBS4_SAT07v2) R 21220 21222 20865 0 -1 4194304 11637 0 0 0 28144 75 0 0 25 0 1 0 311493106 49905664 10092 18446744073709551615 134512640 135410602 4294956656 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0
/proc/21222/statm: 12184 10092 90 219 0 11961 0
Current children cumulated CPU time (s) 282.19
Current children cumulated vsize (KiB) 48736

[startup+342.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 21223
/proc/meminfo: memFree=1727472/2055920 swapFree=4154856/4192956
[pid=21222] ppid=21220 vsize=49816 CPUtime=342.16
/proc/21222/stat : 21222 (PBS4_SAT07v2) R 21220 21222 20865 0 -1 4194304 12580 0 0 0 34126 90 0 0 25 0 1 0 311493106 51011584 11035 18446744073709551615 134512640 135410602 4294956656 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0
/proc/21222/statm: 12454 11035 90 219 0 12231 0
Current children cumulated CPU time (s) 342.16
Current children cumulated vsize (KiB) 49816

[startup+402.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 21223
/proc/meminfo: memFree=1724912/2055920 swapFree=4154856/4192956
[pid=21222] ppid=21220 vsize=50756 CPUtime=402.14
/proc/21222/stat : 21222 (PBS4_SAT07v2) R 21220 21222 20865 0 -1 4194304 13206 0 0 0 40110 104 0 0 25 0 1 0 311493106 51974144 11661 18446744073709551615 134512640 135410602 4294956656 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0
/proc/21222/statm: 12689 11661 90 219 0 12466 0
Current children cumulated CPU time (s) 402.14
Current children cumulated vsize (KiB) 50756

[startup+462.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 21223
/proc/meminfo: memFree=1722416/2055920 swapFree=4154856/4192956
[pid=21222] ppid=21220 vsize=84204 CPUtime=462.11
/proc/21222/stat : 21222 (PBS4_SAT07v2) R 21220 21222 20865 0 -1 4194304 13842 0 0 0 46094 117 0 0 25 0 1 0 311493106 86224896 12297 18446744073709551615 134512640 135410602 4294956656 18446744073709551615 134550311 0 0 4096 16384 0 0 0 17 1 0 0
/proc/21222/statm: 21051 12297 90 219 0 20828 0
Current children cumulated CPU time (s) 462.11
Current children cumulated vsize (KiB) 84204

[startup+522.301 s]
/proc/loadavg: 1.07 1.02 1.00 2/78 21223
/proc/meminfo: memFree=1718960/2055920 swapFree=4154856/4192956
[pid=21222] ppid=21220 vsize=84708 CPUtime=522.09
/proc/21222/stat : 21222 (PBS4_SAT07v2) R 21220 21222 20865 0 -1 4194304 14760 0 0 0 52078 131 0 0 25 0 1 0 311493106 86740992 13215 18446744073709551615 134512640 135410602 4294956656 18446744073709551615 134547178 0 0 4096 16384 0 0 0 17 1 0 0
/proc/21222/statm: 21177 13215 90 219 0 20954 0
Current children cumulated CPU time (s) 522.09
Current children cumulated vsize (KiB) 84708

[startup+582.301 s]
/proc/loadavg: 1.02 1.01 1.00 2/78 21223
/proc/meminfo: memFree=1713584/2055920 swapFree=4154856/4192956
[pid=21222] ppid=21220 vsize=85548 CPUtime=582.07
/proc/21222/stat : 21222 (PBS4_SAT07v2) R 21220 21222 20865 0 -1 4194304 16067 0 0 0 58062 145 0 0 25 0 1 0 311493106 87601152 14522 18446744073709551615 134512640 135410602 4294956656 18446744073709551615 134550311 0 0 4096 16384 0 0 0 17 1 0 0
/proc/21222/statm: 21387 14522 90 219 0 21164 0
Current children cumulated CPU time (s) 582.07
Current children cumulated vsize (KiB) 85548

[startup+642.301 s]
/proc/loadavg: 1.01 1.00 1.00 2/78 21223
/proc/meminfo: memFree=1710192/2055920 swapFree=4154856/4192956
[pid=21222] ppid=21220 vsize=86848 CPUtime=642.05
/proc/21222/stat : 21222 (PBS4_SAT07v2) R 21220 21222 20865 0 -1 4194304 16890 0 0 0 64047 158 0 0 25 0 1 0 311493106 88932352 15345 18446744073709551615 134512640 135410602 4294956656 18446744073709551615 134550343 0 0 4096 16384 0 0 0 17 1 0 0
/proc/21222/statm: 21712 15345 90 219 0 21489 0
Current children cumulated CPU time (s) 642.05
Current children cumulated vsize (KiB) 86848


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

[startup+822.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 21421
/proc/meminfo: memFree=1707248/2055920 swapFree=4154856/4192956
[pid=21222] ppid=21220 vsize=94896 CPUtime=821.87
/proc/21222/stat : 21222 (PBS4_SAT07v2) R 21220 21222 20865 0 -1 4194304 19129 0 0 0 81993 194 0 0 25 0 1 0 311493106 97173504 16047 18446744073709551615 134512640 135410602 4294956656 18446744073709551615 134550311 0 0 4096 16384 0 0 0 17 1 0 0
/proc/21222/statm: 23724 16047 102 219 0 23501 0
Current children cumulated CPU time (s) 821.87
Current children cumulated vsize (KiB) 94896

[startup+882.301 s]
/proc/loadavg: 1.07 1.03 1.01 2/78 21421
/proc/meminfo: memFree=1705776/2055920 swapFree=4154856/4192956
[pid=21222] ppid=21220 vsize=95880 CPUtime=881.85
/proc/21222/stat : 21222 (PBS4_SAT07v2) R 21220 21222 20865 0 -1 4194304 19509 0 0 0 87971 214 0 0 25 0 1 0 311493106 98181120 16427 18446744073709551615 134512640 135410602 4294956656 18446744073709551615 134557380 0 0 4096 16384 0 0 0 17 1 0 0
/proc/21222/statm: 23970 16427 102 219 0 23747 0
Current children cumulated CPU time (s) 881.85
Current children cumulated vsize (KiB) 95880

[startup+942.301 s]
/proc/loadavg: 1.02 1.02 1.00 2/78 21421
/proc/meminfo: memFree=1704944/2055920 swapFree=4154856/4192956
[pid=21222] ppid=21220 vsize=96248 CPUtime=941.82
/proc/21222/stat : 21222 (PBS4_SAT07v2) R 21220 21222 20865 0 -1 4194304 19725 0 0 0 93952 230 0 0 25 0 1 0 311493106 98557952 16643 18446744073709551615 134512640 135410602 4294956656 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0
/proc/21222/statm: 24062 16643 102 219 0 23839 0
Current children cumulated CPU time (s) 941.82
Current children cumulated vsize (KiB) 96248

[startup+1002.3 s]
/proc/loadavg: 1.01 1.01 1.00 2/78 21421
/proc/meminfo: memFree=1703344/2055920 swapFree=4154856/4192956
[pid=21222] ppid=21220 vsize=97376 CPUtime=1001.8
/proc/21222/stat : 21222 (PBS4_SAT07v2) R 21220 21222 20865 0 -1 4194304 20107 0 0 0 99928 252 0 0 25 0 1 0 311493106 99713024 17025 18446744073709551615 134512640 135410602 4294956656 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0
/proc/21222/statm: 24344 17025 102 219 0 24121 0
Current children cumulated CPU time (s) 1001.8
Current children cumulated vsize (KiB) 97376

[startup+1062.3 s]
/proc/loadavg: 1.00 1.01 1.00 2/78 21421
/proc/meminfo: memFree=1702512/2055920 swapFree=4154856/4192956
[pid=21222] ppid=21220 vsize=97972 CPUtime=1061.78
/proc/21222/stat : 21222 (PBS4_SAT07v2) R 21220 21222 20865 0 -1 4194304 20336 0 0 0 105908 270 0 0 25 0 1 0 311493106 100323328 17254 18446744073709551615 134512640 135410602 4294956656 18446744073709551615 134544667 0 0 4096 16384 0 0 0 17 1 0 0
/proc/21222/statm: 24493 17254 102 219 0 24270 0
Current children cumulated CPU time (s) 1061.78
Current children cumulated vsize (KiB) 97972

[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 21421
/proc/meminfo: memFree=1701552/2055920 swapFree=4154856/4192956
[pid=21222] ppid=21220 vsize=98116 CPUtime=1121.75
/proc/21222/stat : 21222 (PBS4_SAT07v2) R 21220 21222 20865 0 -1 4194304 20564 0 0 0 111886 289 0 0 25 0 1 0 311493106 100470784 17482 18446744073709551615 134512640 135410602 4294956656 18446744073709551615 134597531 0 0 4096 16384 0 0 0 17 1 0 0
/proc/21222/statm: 24529 17482 102 219 0 24306 0
Current children cumulated CPU time (s) 1121.75
Current children cumulated vsize (KiB) 98116

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 21421
/proc/meminfo: memFree=1700720/2055920 swapFree=4154856/4192956
[pid=21222] ppid=21220 vsize=98748 CPUtime=1181.74
/proc/21222/stat : 21222 (PBS4_SAT07v2) R 21220 21222 20865 0 -1 4194304 20800 0 0 0 117869 305 0 0 25 0 1 0 311493106 101117952 17718 18446744073709551615 134512640 135410602 4294956656 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0
/proc/21222/statm: 24687 17718 102 219 0 24464 0
Current children cumulated CPU time (s) 1181.74
Current children cumulated vsize (KiB) 98748

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 21421
/proc/meminfo: memFree=1699824/2055920 swapFree=4154856/4192956
[pid=21222] ppid=21220 vsize=99440 CPUtime=1241.71
/proc/21222/stat : 21222 (PBS4_SAT07v2) R 21220 21222 20865 0 -1 4194304 20995 0 0 0 123851 320 0 0 25 0 1 0 311493106 101826560 17913 18446744073709551615 134512640 135410602 4294956656 18446744073709551615 134549401 0 0 4096 16384 0 0 0 17 1 0 0
/proc/21222/statm: 24860 17913 102 219 0 24637 0
Current children cumulated CPU time (s) 1241.71
Current children cumulated vsize (KiB) 99440

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 21421
/proc/meminfo: memFree=1698736/2055920 swapFree=4154856/4192956
[pid=21222] ppid=21220 vsize=100100 CPUtime=1301.69
/proc/21222/stat : 21222 (PBS4_SAT07v2) R 21220 21222 20865 0 -1 4194304 21261 0 0 0 129831 338 0 0 25 0 1 0 311493106 102502400 18179 18446744073709551615 134512640 135410602 4294956656 18446744073709551615 134546907 0 0 4096 16384 0 0 0 17 1 0 0
/proc/21222/statm: 25025 18179 102 219 0 24802 0
Current children cumulated CPU time (s) 1301.69
Current children cumulated vsize (KiB) 100100

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 21421
/proc/meminfo: memFree=1697968/2055920 swapFree=4154856/4192956
[pid=21222] ppid=21220 vsize=100232 CPUtime=1361.67
/proc/21222/stat : 21222 (PBS4_SAT07v2) R 21220 21222 20865 0 -1 4194304 21468 0 0 0 135812 355 0 0 25 0 1 0 311493106 102637568 18386 18446744073709551615 134512640 135410602 4294956656 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0
/proc/21222/statm: 25058 18386 102 219 0 24835 0
Current children cumulated CPU time (s) 1361.67
Current children cumulated vsize (KiB) 100232

[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 21421
/proc/meminfo: memFree=1697200/2055920 swapFree=4154856/4192956
[pid=21222] ppid=21220 vsize=101108 CPUtime=1421.64
/proc/21222/stat : 21222 (PBS4_SAT07v2) R 21220 21222 20865 0 -1 4194304 21654 0 0 0 141793 371 0 0 25 0 1 0 311493106 103534592 18572 18446744073709551615 134512640 135410602 4294956656 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0
/proc/21222/statm: 25277 18572 102 219 0 25054 0
Current children cumulated CPU time (s) 1421.64
Current children cumulated vsize (KiB) 101108

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 21421
/proc/meminfo: memFree=1696304/2055920 swapFree=4154856/4192956
[pid=21222] ppid=21220 vsize=101108 CPUtime=1481.62
/proc/21222/stat : 21222 (PBS4_SAT07v2) R 21220 21222 20865 0 -1 4194304 21889 0 0 0 147774 388 0 0 25 0 1 0 311493106 103534592 18807 18446744073709551615 134512640 135410602 4294956656 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0
/proc/21222/statm: 25277 18807 102 219 0 25054 0
Current children cumulated CPU time (s) 1481.62
Current children cumulated vsize (KiB) 101108

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 21421
/proc/meminfo: memFree=1695472/2055920 swapFree=4154856/4192956
[pid=21222] ppid=21220 vsize=101876 CPUtime=1541.6
/proc/21222/stat : 21222 (PBS4_SAT07v2) R 21220 21222 20865 0 -1 4194304 22095 0 0 0 153757 403 0 0 25 0 1 0 311493106 104321024 19013 18446744073709551615 134512640 135410602 4294956656 18446744073709551615 134549405 0 0 4096 16384 0 0 0 17 1 0 0
/proc/21222/statm: 25469 19013 102 219 0 25246 0
Current children cumulated CPU time (s) 1541.6
Current children cumulated vsize (KiB) 101876

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 21421
/proc/meminfo: memFree=1694768/2055920 swapFree=4154856/4192956
[pid=21222] ppid=21220 vsize=114296 CPUtime=1601.57
/proc/21222/stat : 21222 (PBS4_SAT07v2) R 21220 21222 20865 0 -1 4194304 25342 0 0 0 159739 418 0 0 25 0 1 0 311493106 117039104 19187 18446744073709551615 134512640 135410602 4294956656 18446744073709551615 134550337 0 0 4096 16384 0 0 0 17 1 0 0
/proc/21222/statm: 28574 19187 102 219 0 28351 0
Current children cumulated CPU time (s) 1601.57
Current children cumulated vsize (KiB) 114296

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 21421
/proc/meminfo: memFree=1693680/2055920 swapFree=4154856/4192956
[pid=21222] ppid=21220 vsize=115076 CPUtime=1661.55
/proc/21222/stat : 21222 (PBS4_SAT07v2) R 21220 21222 20865 0 -1 4194304 25590 0 0 0 165722 433 0 0 25 0 1 0 311493106 117837824 19435 18446744073709551615 134512640 135410602 4294956656 18446744073709551615 134549380 0 0 4096 16384 0 0 0 17 1 0 0
/proc/21222/statm: 28769 19435 102 219 0 28546 0
Current children cumulated CPU time (s) 1661.55
Current children cumulated vsize (KiB) 115076

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 21421
/proc/meminfo: memFree=1692784/2055920 swapFree=4154856/4192956
[pid=21222] ppid=21220 vsize=115752 CPUtime=1721.53
/proc/21222/stat : 21222 (PBS4_SAT07v2) R 21220 21222 20865 0 -1 4194304 25823 0 0 0 171705 448 0 0 25 0 1 0 311493106 118530048 19668 18446744073709551615 134512640 135410602 4294956656 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0
/proc/21222/statm: 28938 19668 102 219 0 28715 0
Current children cumulated CPU time (s) 1721.53
Current children cumulated vsize (KiB) 115752

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 21421
/proc/meminfo: memFree=1691952/2055920 swapFree=4154856/4192956
[pid=21222] ppid=21220 vsize=115928 CPUtime=1781.51
/proc/21222/stat : 21222 (PBS4_SAT07v2) R 21220 21222 20865 0 -1 4194304 26012 0 0 0 177686 465 0 0 25 0 1 0 311493106 118710272 19857 18446744073709551615 134512640 135410602 4294956656 18446744073709551615 134547211 0 0 4096 16384 0 0 0 17 1 0 0
/proc/21222/statm: 28982 19857 102 219 0 28759 0
Current children cumulated CPU time (s) 1781.51
Current children cumulated vsize (KiB) 115928



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.8 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 21421
/proc/meminfo: memFree=1691696/2055920 swapFree=4154856/4192956
[pid=21222] ppid=21220 vsize=116648 CPUtime=1800.01
/proc/21222/stat : 21222 (PBS4_SAT07v2) R 21220 21222 20865 0 -1 4194304 26077 0 0 0 179533 468 0 0 25 0 1 0 311493106 119447552 19922 18446744073709551615 134512640 135410602 4294956656 18446744073709551615 134557444 0 0 4096 16384 0 0 0 17 1 0 0
/proc/21222/statm: 29162 19922 102 219 0 28939 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 116648

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.82
CPU time (s): 1800.03
CPU user time (s): 1795.34
CPU system time (s): 4.69429
CPU usage (%): 99.956
Max. virtual memory (cumulated for all children) (KiB): 116648

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

runsolver used 1.48177 second user time and 4.09138 second system time

The end