runsolver Copyright (C) 2010-2013 Olivier ROUSSEL
This is runsolver version 3.3.7 (svn: 2553)
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-4082083-1465255992/watcher-4082083-1465255992 -o /tmp/evaluation-result-4082083-1465255992/solver-4082083-1465255992 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node151-1465227048-7039 --watchdog 1960 naps-1.02 HOME/instance-4082083-1465255992.opb
pid=12974
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.00 2.29 2.30 3/176 12977
/proc/meminfo: memFree=31995004/32872528 swapFree=9100/9100
[pid=12977] ppid=12974 vsize=6548 CPUtime=0 cores=1,3,5,7
/proc/12977/stat : 12977 (naps-1.02) R 12974 12977 7022 0 -1 4202496 332 0 0 0 0 0 0 0 20 0 1 0 107530392 6705152 205 33554432000 4194304 5796924 140736132174112 140733842120440 5183584 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/12977/statm: 1637 205 128 392 0 1236 0
[startup+0.100157 s]
/proc/loadavg: 2.00 2.29 2.30 3/176 12977
/proc/meminfo: memFree=31995004/32872528 swapFree=9100/9100
[pid=12977] ppid=12974 vsize=9892 CPUtime=0.09 cores=1,3,5,7
/proc/12977/stat : 12977 (naps-1.02) R 12974 12977 7022 0 -1 4202496 1191 0 0 0 9 0 0 0 20 0 1 0 107530392 10129408 1048 33554432000 4194304 5796924 140736132174112 140733842120440 5183584 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/12977/statm: 2473 1048 128 392 0 2072 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 9892
[startup+0.200361 s]
/proc/loadavg: 2.00 2.29 2.30 3/176 12977
/proc/meminfo: memFree=31995004/32872528 swapFree=9100/9100
[pid=12977] ppid=12974 vsize=13860 CPUtime=0.19 cores=1,3,5,7
/proc/12977/stat : 12977 (naps-1.02) R 12974 12977 7022 0 -1 4202496 2174 0 0 0 19 0 0 0 20 0 1 0 107530392 14192640 1970 33554432000 4194304 5796924 140736132174112 140733842120440 5183584 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/12977/statm: 3465 1970 128 392 0 3064 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 13860
[startup+0.300289 s]
/proc/loadavg: 2.00 2.29 2.30 3/176 12977
/proc/meminfo: memFree=31995004/32872528 swapFree=9100/9100
[pid=12977] ppid=12974 vsize=15556 CPUtime=0.29 cores=1,3,5,7
/proc/12977/stat : 12977 (naps-1.02) R 12974 12977 7022 0 -1 4202496 2810 0 0 0 29 0 0 0 20 0 1 0 107530392 15929344 2504 33554432000 4194304 5796924 140736132174112 140733842120440 4379163 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/12977/statm: 3889 2504 128 392 0 3488 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 15556
[startup+0.70029 s]
/proc/loadavg: 2.00 2.29 2.30 3/176 12977
/proc/meminfo: memFree=31995004/32872528 swapFree=9100/9100
[pid=12977] ppid=12974 vsize=18304 CPUtime=0.69 cores=1,3,5,7
/proc/12977/stat : 12977 (naps-1.02) R 12974 12977 7022 0 -1 4202496 3704 0 0 0 69 0 0 0 20 0 1 0 107530392 18743296 3331 33554432000 4194304 5796924 140736132174112 140733842120440 5100636 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/12977/statm: 4576 3331 128 392 0 4175 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 18304
[startup+1.50024 s]
/proc/loadavg: 2.00 2.29 2.30 3/177 12978
/proc/meminfo: memFree=31976688/32872528 swapFree=9100/9100
[pid=12977] ppid=12974 vsize=29568 CPUtime=1.49 cores=1,3,5,7
/proc/12977/stat : 12977 (naps-1.02) R 12974 12977 7022 0 -1 4202496 6646 0 0 0 148 1 0 0 20 0 1 0 107530392 30277632 6424 33554432000 4194304 5796924 140736132174112 140736132173480 4199760 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/12977/statm: 7392 6425 128 392 0 6991 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 29568
[startup+3.10024 s]
/proc/loadavg: 2.08 2.30 2.30 3/177 12978
/proc/meminfo: memFree=31961964/32872528 swapFree=9100/9100
[pid=12977] ppid=12974 vsize=42020 CPUtime=3.09 cores=1,3,5,7
/proc/12977/stat : 12977 (naps-1.02) R 12974 12977 7022 0 -1 4202496 10016 0 0 0 307 2 0 0 20 0 1 0 107530392 43028480 9417 33554432000 4194304 5796924 140736132174112 140736132170328 4425326 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/12977/statm: 10505 9417 144 392 0 10104 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 42020
[startup+6.30036 s]
/proc/loadavg: 2.08 2.30 2.30 3/177 12978
/proc/meminfo: memFree=31808648/32872528 swapFree=9100/9100
[pid=12977] ppid=12974 vsize=202960 CPUtime=6.28 cores=1,3,5,7
/proc/12977/stat : 12977 (naps-1.02) R 12974 12977 7022 0 -1 4202496 42514 0 0 0 620 8 0 0 20 0 1 0 107530392 207831040 47209 33554432000 4194304 5796924 140736132174112 140736132171128 4606807 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/12977/statm: 50740 47209 164 392 0 50339 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 202960
[startup+12.7004 s]
/proc/loadavg: 2.07 2.29 2.29 3/177 12978
/proc/meminfo: memFree=31803944/32872528 swapFree=9100/9100
[pid=12977] ppid=12974 vsize=202960 CPUtime=12.69 cores=1,3,5,7
/proc/12977/stat : 12977 (naps-1.02) R 12974 12977 7022 0 -1 4202496 42520 0 0 0 1260 9 0 0 20 0 1 0 107530392 207831040 47726 33554432000 4194304 5796924 140736132174112 140736132171128 4606433 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/12977/statm: 50740 47726 169 392 0 50339 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 202960
[startup+25.5005 s]
/proc/loadavg: 2.06 2.28 2.29 3/177 12978
/proc/meminfo: memFree=31788232/32872528 swapFree=9100/9100
[pid=12977] ppid=12974 vsize=221636 CPUtime=25.48 cores=1,3,5,7
/proc/12977/stat : 12977 (naps-1.02) R 12974 12977 7022 0 -1 4202496 43037 0 0 0 2539 9 0 0 20 0 1 0 107530392 226955264 51756 33554432000 4194304 5796924 140736132174112 140736132171176 4607743 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/12977/statm: 55409 51756 170 392 0 55008 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 221636
[startup+51.1004 s]
/proc/loadavg: 2.04 2.26 2.28 3/177 12978
/proc/meminfo: memFree=31780552/32872528 swapFree=9100/9100
[pid=12977] ppid=12974 vsize=251984 CPUtime=51.06 cores=1,3,5,7
/proc/12977/stat : 12977 (naps-1.02) R 12974 12977 7022 0 -1 4202496 43296 0 0 0 5097 9 0 0 20 0 1 0 107530392 258031616 53735 33554432000 4194304 5796924 140736132174112 140736132171352 4606507 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/12977/statm: 62996 53735 170 392 0 62595 0
Current children cumulated CPU time (s) 51.06
Current children cumulated vsize (KiB) 251984
[startup+102.3 s]
/proc/loadavg: 2.01 2.21 2.26 3/177 12979
/proc/meminfo: memFree=30478676/32872528 swapFree=9100/9100
[pid=12977] ppid=12974 vsize=251984 CPUtime=102.25 cores=1,3,5,7
/proc/12977/stat : 12977 (naps-1.02) R 12974 12977 7022 0 -1 4202496 43693 0 0 0 10215 10 0 0 20 0 1 0 107530392 258031616 58320 33554432000 4194304 5796924 140736132174112 140736132171352 4606433 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/12977/statm: 62996 58320 170 392 0 62595 0
Current children cumulated CPU time (s) 102.25
Current children cumulated vsize (KiB) 251984
[startup+162.3 s]
/proc/loadavg: 2.00 2.17 2.25 3/177 13025
/proc/meminfo: memFree=31343156/32872528 swapFree=9100/9100
[pid=12977] ppid=12974 vsize=251984 CPUtime=162.23 cores=1,3,5,7
/proc/12977/stat : 12977 (naps-1.02) R 12974 12977 7022 0 -1 4202496 43698 0 0 0 16213 10 0 0 20 0 1 0 107530392 258031616 59555 33554432000 4194304 5796924 140736132174112 140736132171352 4606645 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/12977/statm: 62996 59555 170 392 0 62595 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 251984
[startup+222.307 s]
/proc/loadavg: 2.06 2.15 2.23 3/177 13027
/proc/meminfo: memFree=31331156/32872528 swapFree=9100/9100
[pid=12977] ppid=12974 vsize=251984 CPUtime=222.23 cores=1,3,5,7
/proc/12977/stat : 12977 (naps-1.02) R 12974 12977 7022 0 -1 4202496 44152 0 0 0 22213 10 0 0 20 0 1 0 107530392 258031616 59555 33554432000 4194304 5796924 140736132174112 140736132171576 4606789 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/12977/statm: 62996 59555 170 392 0 62595 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 251984
[startup+282.3 s]
/proc/loadavg: 2.02 2.12 2.22 3/177 13028
/proc/meminfo: memFree=31330700/32872528 swapFree=9100/9100
[pid=12977] ppid=12974 vsize=251984 CPUtime=282.22 cores=1,3,5,7
/proc/12977/stat : 12977 (naps-1.02) R 12974 12977 7022 0 -1 4202496 44608 0 0 0 28211 11 0 0 20 0 1 0 107530392 258031616 60067 33554432000 4194304 5796924 140736132174112 140736132171576 4606433 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/12977/statm: 62996 60067 170 392 0 62595 0
Current children cumulated CPU time (s) 282.22
Current children cumulated vsize (KiB) 251984
[startup+342.3 s]
/proc/loadavg: 2.00 2.10 2.20 3/177 13029
/proc/meminfo: memFree=31293260/32872528 swapFree=9100/9100
[pid=12977] ppid=12974 vsize=301304 CPUtime=342.21 cores=1,3,5,7
/proc/12977/stat : 12977 (naps-1.02) R 12974 12977 7022 0 -1 4202496 45519 0 0 0 34209 12 0 0 20 0 1 0 107530392 308535296 68698 33554432000 4194304 5796924 140736132174112 140736132171400 4606433 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/12977/statm: 75326 68698 170 392 0 74925 0
Current children cumulated CPU time (s) 342.21
Current children cumulated vsize (KiB) 301304
[startup+402.3 s]
/proc/loadavg: 2.00 2.08 2.18 3/177 13030
/proc/meminfo: memFree=31288860/32872528 swapFree=9100/9100
[pid=12977] ppid=12974 vsize=301304 CPUtime=402.19 cores=1,3,5,7
/proc/12977/stat : 12977 (naps-1.02) R 12974 12977 7022 0 -1 4202496 45977 0 0 0 40207 12 0 0 20 0 1 0 107530392 308535296 69210 33554432000 4194304 5796924 140736132174112 140736132171400 4606483 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/12977/statm: 75326 69210 170 392 0 74925 0
Current children cumulated CPU time (s) 402.19
Current children cumulated vsize (KiB) 301304
[startup+462.3 s]
/proc/loadavg: 2.00 2.06 2.17 3/178 13034
/proc/meminfo: memFree=31293140/32872528 swapFree=9100/9100
[pid=12977] ppid=12974 vsize=301304 CPUtime=462.19 cores=1,3,5,7
/proc/12977/stat : 12977 (naps-1.02) R 12974 12977 7022 0 -1 4202496 46435 0 0 0 46206 13 0 0 20 0 1 0 107530392 308535296 68698 33554432000 4194304 5796924 140736132174112 140736132171400 4606555 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/12977/statm: 75326 68698 170 392 0 74925 0
Current children cumulated CPU time (s) 462.19
Current children cumulated vsize (KiB) 301304
[startup+522.3 s]
/proc/loadavg: 2.00 2.05 2.16 3/177 13036
/proc/meminfo: memFree=31283768/32872528 swapFree=9100/9100
[pid=12977] ppid=12974 vsize=301304 CPUtime=522.18 cores=1,3,5,7
/proc/12977/stat : 12977 (naps-1.02) R 12974 12977 7022 0 -1 4202496 46894 0 0 0 52204 14 0 0 20 0 1 0 107530392 308535296 68186 33554432000 4194304 5796924 140736132174112 140736132171400 4606507 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/12977/statm: 75326 68186 170 392 0 74925 0
Current children cumulated CPU time (s) 522.18
Current children cumulated vsize (KiB) 301304
[startup+582.3 s]
/proc/loadavg: 2.00 2.04 2.15 3/177 13037
/proc/meminfo: memFree=31320764/32872528 swapFree=9100/9100
[pid=12977] ppid=12974 vsize=251984 CPUtime=582.17 cores=1,3,5,7
/proc/12977/stat : 12977 (naps-1.02) R 12974 12977 7022 0 -1 4202496 46901 0 0 0 58203 14 0 0 20 0 1 0 107530392 258031616 60067 33554432000 4194304 5796924 140736132174112 140736132171576 4606555 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/12977/statm: 62996 60067 170 392 0 62595 0
Current children cumulated CPU time (s) 582.17
Current children cumulated vsize (KiB) 251984
################
# More data... #
################
[startup+882.307 s]
/proc/loadavg: 2.00 2.00 2.09 3/177 13043
/proc/meminfo: memFree=31273332/32872528 swapFree=9100/9100
[pid=12977] ppid=12974 vsize=301304 CPUtime=882.13 cores=1,3,5,7
/proc/12977/stat : 12977 (naps-1.02) R 12974 12977 7022 0 -1 4202496 49845 0 0 0 88194 19 0 0 20 0 1 0 107530392 308535296 68698 33554432000 4194304 5796924 140736132174112 140736132171400 4606507 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/12977/statm: 75326 68698 170 392 0 74925 0
Current children cumulated CPU time (s) 882.13
Current children cumulated vsize (KiB) 301304
[startup+942.3 s]
/proc/loadavg: 2.00 2.00 2.08 3/177 13044
/proc/meminfo: memFree=31262176/32872528 swapFree=9100/9100
[pid=12977] ppid=12974 vsize=332124 CPUtime=942.12 cores=1,3,5,7
/proc/12977/stat : 12977 (naps-1.02) R 12974 12977 7022 0 -1 4202496 50446 0 0 0 94191 21 0 0 20 0 1 0 107530392 340094976 73373 33554432000 4194304 5796924 140736132174112 140736132171752 4606708 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/12977/statm: 83031 73373 170 392 0 82630 0
Current children cumulated CPU time (s) 942.12
Current children cumulated vsize (KiB) 332124
[startup+1002.3 s]
/proc/loadavg: 2.00 2.00 2.08 3/177 13045
/proc/meminfo: memFree=31268704/32872528 swapFree=9100/9100
[pid=12977] ppid=12974 vsize=301304 CPUtime=1002.1 cores=1,3,5,7
/proc/12977/stat : 12977 (naps-1.02) R 12974 12977 7022 0 -1 4202496 50905 0 0 0 100189 21 0 0 20 0 1 0 107530392 308535296 69210 33554432000 4194304 5796924 140736132174112 140736132171400 4606500 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/12977/statm: 75326 69210 170 392 0 74925 0
Current children cumulated CPU time (s) 1002.1
Current children cumulated vsize (KiB) 301304
[startup+1062.3 s]
/proc/loadavg: 2.00 2.00 2.07 3/178 13049
/proc/meminfo: memFree=31241244/32872528 swapFree=9100/9100
[pid=12977] ppid=12974 vsize=332124 CPUtime=1062.1 cores=1,3,5,7
/proc/12977/stat : 12977 (naps-1.02) R 12974 12977 7022 0 -1 4202496 51498 0 0 0 106187 23 0 0 20 0 1 0 107530392 340094976 73373 33554432000 4194304 5796924 140736132174112 140736132171752 4606555 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/12977/statm: 83031 73373 170 392 0 82630 0
Current children cumulated CPU time (s) 1062.1
Current children cumulated vsize (KiB) 332124
[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 2.07 3/177 13051
/proc/meminfo: memFree=31270192/32872528 swapFree=9100/9100
[pid=12977] ppid=12974 vsize=301304 CPUtime=1122.09 cores=1,3,5,7
/proc/12977/stat : 12977 (naps-1.02) R 12974 12977 7022 0 -1 4202496 51957 0 0 0 112185 24 0 0 20 0 1 0 107530392 308535296 68698 33554432000 4194304 5796924 140736132174112 140736132171400 4594171 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/12977/statm: 75326 68698 170 392 0 74925 0
Current children cumulated CPU time (s) 1122.09
Current children cumulated vsize (KiB) 301304
[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.06 3/177 13052
/proc/meminfo: memFree=31241744/32872528 swapFree=9100/9100
[pid=12977] ppid=12974 vsize=332124 CPUtime=1182.08 cores=1,3,5,7
/proc/12977/stat : 12977 (naps-1.02) R 12974 12977 7022 0 -1 4202496 52563 0 0 0 118183 25 0 0 20 0 1 0 107530392 340094976 73373 33554432000 4194304 5796924 140736132174112 140736132171752 4606708 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/12977/statm: 83031 73373 170 392 0 82630 0
Current children cumulated CPU time (s) 1182.08
Current children cumulated vsize (KiB) 332124
[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.05 3/177 13053
/proc/meminfo: memFree=31308524/32872528 swapFree=9100/9100
[pid=12977] ppid=12974 vsize=251984 CPUtime=1242.07 cores=1,3,5,7
/proc/12977/stat : 12977 (naps-1.02) R 12974 12977 7022 0 -1 4202496 52568 0 0 0 124181 26 0 0 20 0 1 0 107530392 258031616 60067 33554432000 4194304 5796924 140736132174112 140736132171576 4606534 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/12977/statm: 62996 60067 170 392 0 62595 0
Current children cumulated CPU time (s) 1242.07
Current children cumulated vsize (KiB) 251984
[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.05 3/177 13054
/proc/meminfo: memFree=31253972/32872528 swapFree=9100/9100
[pid=12977] ppid=12974 vsize=301304 CPUtime=1302.06 cores=1,3,5,7
/proc/12977/stat : 12977 (naps-1.02) R 12974 12977 7022 0 -1 4202496 53030 0 0 0 130180 26 0 0 20 0 1 0 107530392 308535296 72282 33554432000 4194304 5796924 140736132174112 140736132171400 4607258 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/12977/statm: 75326 72282 170 392 0 74925 0
Current children cumulated CPU time (s) 1302.06
Current children cumulated vsize (KiB) 301304
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/177 13055
/proc/meminfo: memFree=31230080/32872528 swapFree=9100/9100
[pid=12977] ppid=12974 vsize=332124 CPUtime=1362.05 cores=1,3,5,7
/proc/12977/stat : 12977 (naps-1.02) R 12974 12977 7022 0 -1 4202496 53630 0 0 0 136178 27 0 0 20 0 1 0 107530392 340094976 76445 33554432000 4194304 5796924 140736132174112 140736132171752 4606802 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/12977/statm: 83031 76445 170 392 0 82630 0
Current children cumulated CPU time (s) 1362.05
Current children cumulated vsize (KiB) 332124
[startup+1422.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/177 13057
/proc/meminfo: memFree=31263680/32872528 swapFree=9100/9100
[pid=12977] ppid=12974 vsize=301304 CPUtime=1422.05 cores=1,3,5,7
/proc/12977/stat : 12977 (naps-1.02) R 12974 12977 7022 0 -1 4202496 54089 0 0 0 142176 29 0 0 20 0 1 0 107530392 308535296 70746 33554432000 4194304 5796924 140736132174112 140736132171400 4606559 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/12977/statm: 75326 70746 170 392 0 74925 0
Current children cumulated CPU time (s) 1422.05
Current children cumulated vsize (KiB) 301304
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.03 3/177 13058
/proc/meminfo: memFree=31240384/32872528 swapFree=9100/9100
[pid=12977] ppid=12974 vsize=332124 CPUtime=1482.03 cores=1,3,5,7
/proc/12977/stat : 12977 (naps-1.02) R 12974 12977 7022 0 -1 4202496 54696 0 0 0 148173 30 0 0 20 0 1 0 107530392 340094976 74909 33554432000 4194304 5796924 140736132174112 140736132171752 4606523 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/12977/statm: 83031 74909 170 392 0 82630 0
Current children cumulated CPU time (s) 1482.03
Current children cumulated vsize (KiB) 332124
[startup+1542.31 s]
/proc/loadavg: 2.05 2.01 2.03 3/177 13059
/proc/meminfo: memFree=31259280/32872528 swapFree=9100/9100
[pid=12977] ppid=12974 vsize=301304 CPUtime=1542.02 cores=1,3,5,7
/proc/12977/stat : 12977 (naps-1.02) R 12974 12977 7022 0 -1 4202496 55166 0 0 0 154171 31 0 0 20 0 1 0 107530392 308535296 68186 33554432000 4194304 5796924 140736132174112 140736132171400 4607241 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/12977/statm: 75326 68186 170 392 0 74925 0
Current children cumulated CPU time (s) 1542.02
Current children cumulated vsize (KiB) 301304
[startup+1602.3 s]
/proc/loadavg: 2.02 2.01 2.02 3/177 13060
/proc/meminfo: memFree=31233280/32872528 swapFree=9100/9100
[pid=12977] ppid=12974 vsize=332124 CPUtime=1602 cores=1,3,5,7
/proc/12977/stat : 12977 (naps-1.02) R 12974 12977 7022 0 -1 4202496 55467 0 0 0 160169 31 0 0 20 0 1 0 107530392 340094976 72565 33554432000 4194304 5796924 140736132174112 140736132171752 4593771 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/12977/statm: 83031 72565 170 392 0 82630 0
Current children cumulated CPU time (s) 1602
Current children cumulated vsize (KiB) 332124
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.02 3/178 13064
/proc/meminfo: memFree=31236484/32872528 swapFree=9100/9100
[pid=12977] ppid=12974 vsize=332124 CPUtime=1661.99 cores=1,3,5,7
/proc/12977/stat : 12977 (naps-1.02) R 12974 12977 7022 0 -1 4202496 55779 0 0 0 166167 32 0 0 20 0 1 0 107530392 340094976 76445 33554432000 4194304 5796924 140736132174112 140736132171752 4607258 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/12977/statm: 83031 76445 170 392 0 82630 0
Current children cumulated CPU time (s) 1661.99
Current children cumulated vsize (KiB) 332124
[startup+1722.3 s]
/proc/loadavg: 2.07 2.02 2.02 3/177 13088
/proc/meminfo: memFree=31255740/32872528 swapFree=9100/9100
[pid=12977] ppid=12974 vsize=301304 CPUtime=1721.99 cores=1,3,5,7
/proc/12977/stat : 12977 (naps-1.02) R 12974 12977 7022 0 -1 4202496 56239 0 0 0 172166 33 0 0 20 0 1 0 107530392 308535296 69210 33554432000 4194304 5796924 140736132174112 140736132171400 4596172 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/12977/statm: 75326 69210 170 392 0 74925 0
Current children cumulated CPU time (s) 1721.99
Current children cumulated vsize (KiB) 301304
[startup+1782.3 s]
/proc/loadavg: 2.02 2.01 2.01 3/177 13090
/proc/meminfo: memFree=31229772/32872528 swapFree=9100/9100
[pid=12977] ppid=12974 vsize=332124 CPUtime=1781.98 cores=1,3,5,7
/proc/12977/stat : 12977 (naps-1.02) R 12974 12977 7022 0 -1 4202496 56837 0 0 0 178164 34 0 0 20 0 1 0 107530392 340094976 73885 33554432000 4194304 5796924 140736132174112 140736132171752 4606555 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/12977/statm: 83031 73885 170 392 0 82630 0
Current children cumulated CPU time (s) 1781.98
Current children cumulated vsize (KiB) 332124
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.4 s]
/proc/loadavg: 2.02 2.01 2.01 3/177 13091
/proc/meminfo: memFree=31223500/32872528 swapFree=9100/9100
[pid=12977] ppid=12974 vsize=332124 CPUtime=1800.07 cores=1,3,5,7
/proc/12977/stat : 12977 (naps-1.02) R 12974 12977 7022 0 -1 4202496 56839 0 0 0 179973 34 0 0 20 0 1 0 107530392 340094976 74909 33554432000 4194304 5796924 140736132174112 140736132171752 4606555 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/12977/statm: 83031 74909 170 392 0 82630 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 332124
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 12977 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 0
Real time (s): 1800.41
CPU time (s): 1800.09
CPU user time (s): 1799.74
CPU system time (s): 0.347947
CPU usage (%): 99.9822
Max. virtual memory (cumulated for all children) (KiB): 332124
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.74
system time used= 0.347947
maximum resident set size= 313972
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 56851
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= 73
involuntary context switches= 1988
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 10.9783 second user time and 14.6128 second system time
The end