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-4260820-1502256327/watcher-4260820-1502256327 -o /tmp/evaluation-result-4260820-1502256327/solver-4260820-1502256327 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node127-1502234554-16654 --watchdog 2580 BTD 2520 HOME/instance-4260820-1502256327.xml
pid=22817
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 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: 8192 KiB
[startup+0 s]
/proc/loadavg: 2.00 2.00 2.04 2/184 22820
/proc/meminfo: memFree=31322988/32770624 swapFree=0/438144
[pid=22820] ppid=22817 vsize=23672 CPUtime=0 cores=1,3,5,7
/proc/22820/stat : 22820 (runsolver) D 22817 22820 16590 0 -1 4202560 108 0 0 0 0 0 0 0 20 0 1 0 27826290 24240128 106 18446744073709551615 4194304 4338465 140730598033344 140730598030984 140134497186519 0 0 1 24578 18446744071580418449 0 0 17 5 0 0 0 0 0 6438912 6441760 24649728 140730598035669 140730598036042 140730598036042 140730598039498 0
/proc/22820/statm: 5918 106 53 36 0 2156 0
[startup+0.101999 s]
/proc/loadavg: 2.00 2.00 2.04 2/184 22820
/proc/meminfo: memFree=31322988/32770624 swapFree=0/438144
[pid=22820] ppid=22817 vsize=31332 CPUtime=0 cores=1,3,5,7
/proc/22820/stat : 22820 (BTD) R 22817 22820 16590 0 -1 4202496 577 0 0 0 0 0 0 0 20 0 1 0 27826290 32083968 389 18446744073709551615 4194304 35031035 140736135420336 140736135417512 4898344 0 0 1 0 0 0 0 17 7 0 0 8 0 0 37130264 37226188 59777024 140736135422469 140736135422545 140736135422545 140736135426001 0
/proc/22820/statm: 7833 389 239 7529 0 280 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 31332
[startup+0.201042 s]
/proc/loadavg: 2.00 2.00 2.04 2/184 22820
/proc/meminfo: memFree=31322988/32770624 swapFree=0/438144
[pid=22820] ppid=22817 vsize=35512 CPUtime=0.1 cores=1,3,5,7
/proc/22820/stat : 22820 (BTD) R 22817 22820 16590 0 -1 4202496 1859 0 0 0 10 0 0 0 20 0 1 0 27826290 36364288 1336 18446744073709551615 4194304 35031035 140736135420336 140736135417512 4902320 0 0 1 0 0 0 0 17 7 0 0 8 0 0 37130264 37226188 59777024 140736135422469 140736135422545 140736135422545 140736135426001 0
/proc/22820/statm: 8878 1336 239 7529 0 1325 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 35512
[startup+0.301061 s]
/proc/loadavg: 2.00 2.00 2.04 2/184 22820
/proc/meminfo: memFree=31322988/32770624 swapFree=0/438144
[pid=22820] ppid=22817 vsize=57712 CPUtime=0.2 cores=1,3,5,7
/proc/22820/stat : 22820 (BTD) R 22817 22820 16590 0 -1 4202496 7077 0 0 0 20 0 0 0 20 0 1 0 27826290 59097088 6718 18446744073709551615 4194304 35031035 140736135420336 140736135412504 4224275 0 0 1 0 0 0 0 17 1 0 0 8 0 0 37130264 37226188 59777024 140736135422469 140736135422545 140736135422545 140736135426001 0
/proc/22820/statm: 14428 6718 251 7529 0 6875 0
Current children cumulated CPU time (s) 0.2
Current children cumulated vsize (KiB) 57712
[startup+0.700254 s]
/proc/loadavg: 2.00 2.00 2.04 2/184 22820
/proc/meminfo: memFree=31322988/32770624 swapFree=0/438144
[pid=22820] ppid=22817 vsize=164012 CPUtime=0.6 cores=1,3,5,7
/proc/22820/stat : 22820 (BTD) R 22817 22820 16590 0 -1 4202496 33387 0 0 0 57 3 0 0 20 0 1 0 27826290 167948288 32986 18446744073709551615 4194304 35031035 140736135420336 140736135412504 7408826 0 0 1 0 0 0 0 17 1 0 0 8 0 0 37130264 37226188 59777024 140736135422469 140736135422545 140736135422545 140736135426001 0
/proc/22820/statm: 41003 33052 256 7529 0 33450 0
Current children cumulated CPU time (s) 0.6
Current children cumulated vsize (KiB) 164012
[startup+1.50027 s]
/proc/loadavg: 2.00 2.00 2.04 3/185 22821
/proc/meminfo: memFree=31088424/32770624 swapFree=0/438144
[pid=22820] ppid=22817 vsize=371516 CPUtime=1.4 cores=1,3,5,7
/proc/22820/stat : 22820 (BTD) R 22817 22820 16590 0 -1 4202496 85283 0 0 0 132 8 0 0 20 0 1 0 27826290 380432384 84928 18446744073709551615 4194304 35031035 140736135420336 140736135412568 7408826 0 0 1 0 0 0 0 17 1 0 0 8 0 0 37130264 37226188 59777024 140736135422469 140736135422545 140736135422545 140736135426001 0
/proc/22820/statm: 92879 84928 256 7529 0 85326 0
Current children cumulated CPU time (s) 1.4
Current children cumulated vsize (KiB) 371516
[startup+3.10029 s]
/proc/loadavg: 2.00 2.00 2.04 3/185 22821
/proc/meminfo: memFree=30804216/32770624 swapFree=0/438144
[pid=22820] ppid=22817 vsize=628836 CPUtime=3 cores=1,3,5,7
/proc/22820/stat : 22820 (BTD) R 22817 22820 16590 0 -1 4202496 211184 0 0 0 282 18 0 0 20 0 1 0 27826290 643928064 149889 18446744073709551615 4194304 35031035 140736135420336 140736135412568 4346776 0 0 1 0 0 0 0 17 1 0 0 8 0 0 37130264 37226188 59777024 140736135422469 140736135422545 140736135422545 140736135426001 0
/proc/22820/statm: 157209 149889 295 7529 0 149656 0
Current children cumulated CPU time (s) 3
Current children cumulated vsize (KiB) 628836
[startup+6.30029 s]
/proc/loadavg: 2.00 2.00 2.04 3/185 22821
/proc/meminfo: memFree=30721988/32770624 swapFree=0/438256
[pid=22820] ppid=22817 vsize=628836 CPUtime=6.2 cores=1,3,5,7
/proc/22820/stat : 22820 (BTD) R 22817 22820 16590 0 -1 4202496 307673 0 0 0 598 22 0 0 20 0 1 0 27826290 643928064 149889 18446744073709551615 4194304 35031035 140736135420336 140736135419336 4376532 0 0 1 0 0 0 0 17 1 0 0 8 0 0 37130264 37226188 59777024 140736135422469 140736135422545 140736135422545 140736135426001 0
/proc/22820/statm: 157209 149889 295 7529 0 149656 0
Current children cumulated CPU time (s) 6.2
Current children cumulated vsize (KiB) 628836
[startup+12.7003 s]
/proc/loadavg: 2.00 2.00 2.04 3/185 22822
/proc/meminfo: memFree=30721744/32770624 swapFree=0/438256
[pid=22820] ppid=22817 vsize=628836 CPUtime=12.6 cores=1,3,5,7
/proc/22820/stat : 22820 (BTD) R 22817 22820 16590 0 -1 4202496 485974 0 0 0 1230 30 0 0 20 0 1 0 27826290 643928064 149889 18446744073709551615 4194304 35031035 140736135420336 140736135419336 4346672 0 0 1 0 0 0 0 17 1 0 0 8 0 0 37130264 37226188 59777024 140736135422469 140736135422545 140736135422545 140736135426001 0
/proc/22820/statm: 157209 149889 295 7529 0 149656 0
Current children cumulated CPU time (s) 12.6
Current children cumulated vsize (KiB) 628836
[startup+25.5004 s]
/proc/loadavg: 2.00 2.00 2.04 3/182 22822
/proc/meminfo: memFree=30725076/32770624 swapFree=0/438240
[pid=22820] ppid=22817 vsize=628836 CPUtime=25.4 cores=1,3,5,7
/proc/22820/stat : 22820 (BTD) R 22817 22820 16590 0 -1 4202496 639660 0 0 0 2504 36 0 0 20 0 1 0 27826290 643928064 149889 18446744073709551615 4194304 35031035 140736135420336 140736135419336 6438544 0 0 1 0 0 0 0 17 1 0 0 8 0 0 37130264 37226188 59777024 140736135422469 140736135422545 140736135422545 140736135426001 0
/proc/22820/statm: 157209 149889 295 7529 0 149656 0
Current children cumulated CPU time (s) 25.4
Current children cumulated vsize (KiB) 628836
[startup+51.1004 s]
/proc/loadavg: 2.00 2.00 2.04 3/182 22822
/proc/meminfo: memFree=30725552/32770624 swapFree=0/438240
[pid=22820] ppid=22817 vsize=628836 CPUtime=51 cores=1,3,5,7
/proc/22820/stat : 22820 (BTD) R 22817 22820 16590 0 -1 4202496 848257 0 0 0 5056 44 0 0 20 0 1 0 27826290 643928064 149889 18446744073709551615 4194304 35031035 140736135420336 140736135419336 4376535 0 0 1 0 0 0 0 17 1 0 0 8 0 0 37130264 37226188 59777024 140736135422469 140736135422545 140736135422545 140736135426001 0
/proc/22820/statm: 157209 149889 295 7529 0 149656 0
Current children cumulated CPU time (s) 51
Current children cumulated vsize (KiB) 628836
[startup+102.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/183 22825
/proc/meminfo: memFree=30724620/32770624 swapFree=0/438252
[pid=22820] ppid=22817 vsize=628836 CPUtime=102.2 cores=1,3,5,7
/proc/22820/stat : 22820 (BTD) R 22817 22820 16590 0 -1 4202496 1019996 0 0 0 10168 52 0 0 20 0 1 0 27826290 643928064 149889 18446744073709551615 4194304 35031035 140736135420336 140736135419336 4376535 0 0 1 0 0 0 0 17 1 0 0 8 0 0 37130264 37226188 59777024 140736135422469 140736135422545 140736135422545 140736135426001 0
/proc/22820/statm: 157209 149889 295 7529 0 149656 0
Current children cumulated CPU time (s) 102.2
Current children cumulated vsize (KiB) 628836
[startup+162.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/183 22827
/proc/meminfo: memFree=30724524/32770624 swapFree=0/438272
[pid=22820] ppid=22817 vsize=628836 CPUtime=162.19 cores=1,3,5,7
/proc/22820/stat : 22820 (BTD) R 22817 22820 16590 0 -1 4202496 1143411 0 0 0 16161 58 0 0 20 0 1 0 27826290 643928064 149889 18446744073709551615 4194304 35031035 140736135420336 140736135419336 7406570 0 0 1 0 0 0 0 17 1 0 0 8 0 0 37130264 37226188 59777024 140736135422469 140736135422545 140736135422545 140736135426001 0
/proc/22820/statm: 157209 149889 295 7529 0 149656 0
Current children cumulated CPU time (s) 162.19
Current children cumulated vsize (KiB) 628836
[startup+222.306 s]
/proc/loadavg: 2.00 2.00 2.04 3/183 22829
/proc/meminfo: memFree=30724488/32770624 swapFree=0/438284
[pid=22820] ppid=22817 vsize=628836 CPUtime=222.2 cores=1,3,5,7
/proc/22820/stat : 22820 (BTD) R 22817 22820 16590 0 -1 4202496 1246615 0 0 0 22156 64 0 0 20 0 1 0 27826290 643928064 149889 18446744073709551615 4194304 35031035 140736135420336 140736135419336 7405890 0 0 1 0 0 0 0 17 1 0 0 8 0 0 37130264 37226188 59777024 140736135422469 140736135422545 140736135422545 140736135426001 0
/proc/22820/statm: 157209 149889 295 7529 0 149656 0
Current children cumulated CPU time (s) 222.2
Current children cumulated vsize (KiB) 628836
[startup+282.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/182 22831
/proc/meminfo: memFree=30724648/32770624 swapFree=0/438300
[pid=22820] ppid=22817 vsize=628836 CPUtime=282.19 cores=1,3,5,7
/proc/22820/stat : 22820 (BTD) R 22817 22820 16590 0 -1 4202496 1324735 0 0 0 28151 68 0 0 20 0 1 0 27826290 643928064 149889 18446744073709551615 4194304 35031035 140736135420336 140736135419336 4376535 0 0 1 0 0 0 0 17 1 0 0 8 0 0 37130264 37226188 59777024 140736135422469 140736135422545 140736135422545 140736135426001 0
/proc/22820/statm: 157209 149889 295 7529 0 149656 0
Current children cumulated CPU time (s) 282.19
Current children cumulated vsize (KiB) 628836
[startup+342.3 s]
/proc/loadavg: 2.04 2.01 2.05 3/182 22833
/proc/meminfo: memFree=30725020/32770624 swapFree=0/438304
[pid=22820] ppid=22817 vsize=628836 CPUtime=342.19 cores=1,3,5,7
/proc/22820/stat : 22820 (BTD) R 22817 22820 16590 0 -1 4202496 1372161 0 0 0 34149 70 0 0 20 0 1 0 27826290 643928064 149889 18446744073709551615 4194304 35031035 140736135420336 140736135419336 4376729 0 0 1 0 0 0 0 17 1 0 0 8 0 0 37130264 37226188 59777024 140736135422469 140736135422545 140736135422545 140736135426001 0
/proc/22820/statm: 157209 149889 295 7529 0 149656 0
Current children cumulated CPU time (s) 342.19
Current children cumulated vsize (KiB) 628836
[startup+402.3 s]
/proc/loadavg: 2.13 2.06 2.06 3/182 22835
/proc/meminfo: memFree=30724980/32770624 swapFree=0/438308
[pid=22820] ppid=22817 vsize=628836 CPUtime=402.18 cores=1,3,5,7
/proc/22820/stat : 22820 (BTD) R 22817 22820 16590 0 -1 4202496 1390857 0 0 0 40147 71 0 0 20 0 1 0 27826290 643928064 149889 18446744073709551615 4194304 35031035 140736135420336 140736135419336 4376532 0 0 1 0 0 0 0 17 1 0 0 8 0 0 37130264 37226188 59777024 140736135422469 140736135422545 140736135422545 140736135426001 0
/proc/22820/statm: 157209 149889 295 7529 0 149656 0
Current children cumulated CPU time (s) 402.18
Current children cumulated vsize (KiB) 628836
[startup+462.3 s]
/proc/loadavg: 2.08 2.06 2.06 3/181 22837
/proc/meminfo: memFree=30724952/32770624 swapFree=0/438320
[pid=22820] ppid=22817 vsize=628836 CPUtime=462.17 cores=1,3,5,7
/proc/22820/stat : 22820 (BTD) R 22817 22820 16590 0 -1 4202496 1391674 0 0 0 46146 71 0 0 20 0 1 0 27826290 643928064 149889 18446744073709551615 4194304 35031035 140736135420336 140736135419336 7398467 0 0 1 0 0 0 0 17 1 0 0 8 0 0 37130264 37226188 59777024 140736135422469 140736135422545 140736135422545 140736135426001 0
/proc/22820/statm: 157209 149889 295 7529 0 149656 0
Current children cumulated CPU time (s) 462.17
Current children cumulated vsize (KiB) 628836
[startup+522.3 s]
/proc/loadavg: 2.06 2.06 2.06 3/185 22854
/proc/meminfo: memFree=30721552/32770624 swapFree=0/438340
[pid=22820] ppid=22817 vsize=628836 CPUtime=522.17 cores=1,3,5,7
/proc/22820/stat : 22820 (BTD) R 22817 22820 16590 0 -1 4202496 1392486 0 0 0 52146 71 0 0 20 0 1 0 27826290 643928064 149889 18446744073709551615 4194304 35031035 140736135420336 140736135419336 7406609 0 0 1 0 0 0 0 17 1 0 0 8 0 0 37130264 37226188 59777024 140736135422469 140736135422545 140736135422545 140736135426001 0
/proc/22820/statm: 157209 149889 295 7529 0 149656 0
Current children cumulated CPU time (s) 522.17
Current children cumulated vsize (KiB) 628836
[startup+582.3 s]
/proc/loadavg: 2.06 2.07 2.06 3/185 22856
/proc/meminfo: memFree=30721916/32770624 swapFree=0/438392
[pid=22820] ppid=22817 vsize=628836 CPUtime=582.16 cores=1,3,5,7
/proc/22820/stat : 22820 (BTD) R 22817 22820 16590 0 -1 4202496 1393280 0 0 0 58145 71 0 0 20 0 1 0 27826290 643928064 149889 18446744073709551615 4194304 35031035 140736135420336 140736135419336 4346776 0 0 1 0 0 0 0 17 1 0 0 8 0 0 37130264 37226188 59777024 140736135422469 140736135422545 140736135422545 140736135426001 0
/proc/22820/statm: 157209 149889 295 7529 0 149656 0
Current children cumulated CPU time (s) 582.16
Current children cumulated vsize (KiB) 628836
################
# More data... #
################
[startup+1602.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 22908
/proc/meminfo: memFree=30725160/32770624 swapFree=0/438784
[pid=22820] ppid=22817 vsize=628836 CPUtime=1602.12 cores=1,3,5,7
/proc/22820/stat : 22820 (BTD) R 22817 22820 16590 0 -1 4202496 1407004 0 0 0 160137 75 0 0 20 0 1 0 27826290 643928064 149889 18446744073709551615 4194304 35031035 140736135420336 140736135419336 4346776 0 0 1 0 0 0 0 17 1 0 0 8 0 0 37130264 37226188 59777024 140736135422469 140736135422545 140736135422545 140736135426001 0
/proc/22820/statm: 157209 149889 295 7529 0 149656 0
Current children cumulated CPU time (s) 1602.12
Current children cumulated vsize (KiB) 628836
[startup+1662.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 22910
/proc/meminfo: memFree=30725408/32770624 swapFree=0/438788
[pid=22820] ppid=22817 vsize=628836 CPUtime=1662.12 cores=1,3,5,7
/proc/22820/stat : 22820 (BTD) R 22817 22820 16590 0 -1 4202496 1407802 0 0 0 166137 75 0 0 20 0 1 0 27826290 643928064 149889 18446744073709551615 4194304 35031035 140736135420336 140736135419336 6440512 0 0 1 0 0 0 0 17 1 0 0 8 0 0 37130264 37226188 59777024 140736135422469 140736135422545 140736135422545 140736135426001 0
/proc/22820/statm: 157209 149889 295 7529 0 149656 0
Current children cumulated CPU time (s) 1662.12
Current children cumulated vsize (KiB) 628836
[startup+1722.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/185 22927
/proc/meminfo: memFree=30720328/32770624 swapFree=0/438812
[pid=22820] ppid=22817 vsize=628836 CPUtime=1722.11 cores=1,3,5,7
/proc/22820/stat : 22820 (BTD) R 22817 22820 16590 0 -1 4202496 1408618 0 0 0 172136 75 0 0 20 0 1 0 27826290 643928064 149889 18446744073709551615 4194304 35031035 140736135420336 140736135419336 7405890 0 0 1 0 0 0 0 17 1 0 0 8 0 0 37130264 37226188 59777024 140736135422469 140736135422545 140736135422545 140736135426001 0
/proc/22820/statm: 157209 149889 295 7529 0 149656 0
Current children cumulated CPU time (s) 1722.11
Current children cumulated vsize (KiB) 628836
[startup+1782.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/185 22929
/proc/meminfo: memFree=30721212/32770624 swapFree=0/438860
[pid=22820] ppid=22817 vsize=628836 CPUtime=1782.12 cores=1,3,5,7
/proc/22820/stat : 22820 (BTD) R 22817 22820 16590 0 -1 4202496 1409418 0 0 0 178136 76 0 0 20 0 1 0 27826290 643928064 149889 18446744073709551615 4194304 35031035 140736135420336 140736135419336 4376535 0 0 1 0 0 0 0 17 1 0 0 8 0 0 37130264 37226188 59777024 140736135422469 140736135422545 140736135422545 140736135426001 0
/proc/22820/statm: 157209 149889 295 7529 0 149656 0
Current children cumulated CPU time (s) 1782.12
Current children cumulated vsize (KiB) 628836
[startup+1842.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 22931
/proc/meminfo: memFree=30723740/32770624 swapFree=0/438864
[pid=22820] ppid=22817 vsize=628836 CPUtime=1842.11 cores=1,3,5,7
/proc/22820/stat : 22820 (BTD) R 22817 22820 16590 0 -1 4202496 1410216 0 0 0 184135 76 0 0 20 0 1 0 27826290 643928064 149889 18446744073709551615 4194304 35031035 140736135420336 140736135419336 7415264 0 0 1 0 0 0 0 17 1 0 0 8 0 0 37130264 37226188 59777024 140736135422469 140736135422545 140736135422545 140736135426001 0
/proc/22820/statm: 157209 149889 295 7529 0 149656 0
Current children cumulated CPU time (s) 1842.11
Current children cumulated vsize (KiB) 628836
[startup+1902.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/183 22934
/proc/meminfo: memFree=30723724/32770624 swapFree=0/438884
[pid=22820] ppid=22817 vsize=628836 CPUtime=1902.11 cores=1,3,5,7
/proc/22820/stat : 22820 (BTD) R 22817 22820 16590 0 -1 4202496 1411014 0 0 0 190135 76 0 0 20 0 1 0 27826290 643928064 149889 18446744073709551615 4194304 35031035 140736135420336 140736135419336 7416237 0 0 1 0 0 0 0 17 1 0 0 8 0 0 37130264 37226188 59777024 140736135422469 140736135422545 140736135422545 140736135426001 0
/proc/22820/statm: 157209 149889 295 7529 0 149656 0
Current children cumulated CPU time (s) 1902.11
Current children cumulated vsize (KiB) 628836
[startup+1962.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/183 22936
/proc/meminfo: memFree=30723972/32770624 swapFree=0/438892
[pid=22820] ppid=22817 vsize=628836 CPUtime=1962.1 cores=1,3,5,7
/proc/22820/stat : 22820 (BTD) R 22817 22820 16590 0 -1 4202496 1411831 0 0 0 196134 76 0 0 20 0 1 0 27826290 643928064 149889 18446744073709551615 4194304 35031035 140736135420336 140736135419336 4376670 0 0 1 0 0 0 0 17 1 0 0 8 0 0 37130264 37226188 59777024 140736135422469 140736135422545 140736135422545 140736135426001 0
/proc/22820/statm: 157209 149889 295 7529 0 149656 0
Current children cumulated CPU time (s) 1962.1
Current children cumulated vsize (KiB) 628836
[startup+2022.3 s]
/proc/loadavg: 1.51 1.89 2.00 2/175 22983
/proc/meminfo: memFree=30830788/32770624 swapFree=0/438900
[pid=22820] ppid=22817 vsize=628836 CPUtime=2022.1 cores=1,3,5,7
/proc/22820/stat : 22820 (BTD) R 22817 22820 16590 0 -1 4202496 1412630 0 0 0 202134 76 0 0 20 0 1 0 27826290 643928064 149889 18446744073709551615 4194304 35031035 140736135420336 140736135419336 4346776 0 0 1 0 0 0 0 17 1 0 0 8 0 0 37130264 37226188 59777024 140736135422469 140736135422545 140736135422545 140736135426001 0
/proc/22820/statm: 157209 149889 295 7529 0 149656 0
Current children cumulated CPU time (s) 2022.1
Current children cumulated vsize (KiB) 628836
[startup+2082.3 s]
/proc/loadavg: 1.19 1.73 1.94 2/175 22985
/proc/meminfo: memFree=30831172/32770624 swapFree=0/438924
[pid=22820] ppid=22817 vsize=628836 CPUtime=2082.11 cores=1,3,5,7
/proc/22820/stat : 22820 (BTD) R 22817 22820 16590 0 -1 4202496 1413432 0 0 0 208134 77 0 0 20 0 1 0 27826290 643928064 149889 18446744073709551615 4194304 35031035 140736135420336 140736135419336 7398409 0 0 1 0 0 0 0 17 1 0 0 8 0 0 37130264 37226188 59777024 140736135422469 140736135422545 140736135422545 140736135426001 0
/proc/22820/statm: 157209 149889 295 7529 0 149656 0
Current children cumulated CPU time (s) 2082.11
Current children cumulated vsize (KiB) 628836
[startup+2142.3 s]
/proc/loadavg: 1.07 1.59 1.88 2/175 22987
/proc/meminfo: memFree=30831544/32770624 swapFree=0/438936
[pid=22820] ppid=22817 vsize=628836 CPUtime=2142.1 cores=1,3,5,7
/proc/22820/stat : 22820 (BTD) R 22817 22820 16590 0 -1 4202496 1414224 0 0 0 214133 77 0 0 20 0 1 0 27826290 643928064 149889 18446744073709551615 4194304 35031035 140736135420336 140736135419336 7398409 0 0 1 0 0 0 0 17 1 0 0 8 0 0 37130264 37226188 59777024 140736135422469 140736135422545 140736135422545 140736135426001 0
/proc/22820/statm: 157209 149889 295 7529 0 149656 0
Current children cumulated CPU time (s) 2142.1
Current children cumulated vsize (KiB) 628836
[startup+2202.31 s]
/proc/loadavg: 1.03 1.49 1.83 2/174 22989
/proc/meminfo: memFree=30831568/32770624 swapFree=0/438948
[pid=22820] ppid=22817 vsize=628836 CPUtime=2202.1 cores=1,3,5,7
/proc/22820/stat : 22820 (BTD) R 22817 22820 16590 0 -1 4202496 1415026 0 0 0 220133 77 0 0 20 0 1 0 27826290 643928064 149889 18446744073709551615 4194304 35031035 140736135420336 140736135419336 4376729 0 0 1 0 0 0 0 17 1 0 0 8 0 0 37130264 37226188 59777024 140736135422469 140736135422545 140736135422545 140736135426001 0
/proc/22820/statm: 157209 149889 295 7529 0 149656 0
Current children cumulated CPU time (s) 2202.1
Current children cumulated vsize (KiB) 628836
[startup+2262.3 s]
/proc/loadavg: 1.01 1.40 1.77 2/174 22991
/proc/meminfo: memFree=30831816/32770624 swapFree=0/438948
[pid=22820] ppid=22817 vsize=628836 CPUtime=2262.09 cores=1,3,5,7
/proc/22820/stat : 22820 (BTD) R 22817 22820 16590 0 -1 4202496 1415827 0 0 0 226132 77 0 0 20 0 1 0 27826290 643928064 149889 18446744073709551615 4194304 35031035 140736135420336 140736135419336 4376535 0 0 1 0 0 0 0 17 1 0 0 8 0 0 37130264 37226188 59777024 140736135422469 140736135422545 140736135422545 140736135426001 0
/proc/22820/statm: 157209 149889 295 7529 0 149656 0
Current children cumulated CPU time (s) 2262.09
Current children cumulated vsize (KiB) 628836
[startup+2322.3 s]
/proc/loadavg: 1.00 1.33 1.73 2/178 23008
/proc/meminfo: memFree=30826824/32770624 swapFree=0/438960
[pid=22820] ppid=22817 vsize=628836 CPUtime=2322.09 cores=1,3,5,7
/proc/22820/stat : 22820 (BTD) R 22817 22820 16590 0 -1 4202496 1416656 0 0 0 232132 77 0 0 20 0 1 0 27826290 643928064 149889 18446744073709551615 4194304 35031035 140736135420336 140736135419336 7405845 0 0 1 0 0 0 0 17 1 0 0 8 0 0 37130264 37226188 59777024 140736135422469 140736135422545 140736135422545 140736135426001 0
/proc/22820/statm: 157209 149889 295 7529 0 149656 0
Current children cumulated CPU time (s) 2322.09
Current children cumulated vsize (KiB) 628836
[startup+2382.3 s]
/proc/loadavg: 1.00 1.27 1.68 2/178 23010
/proc/meminfo: memFree=30827572/32770624 swapFree=0/438992
[pid=22820] ppid=22817 vsize=628836 CPUtime=2382.09 cores=1,3,5,7
/proc/22820/stat : 22820 (BTD) R 22817 22820 16590 0 -1 4202496 1417459 0 0 0 238132 77 0 0 20 0 1 0 27826290 643928064 149889 18446744073709551615 4194304 35031035 140736135420336 140736135419336 7405861 0 0 1 0 0 0 0 17 1 0 0 8 0 0 37130264 37226188 59777024 140736135422469 140736135422545 140736135422545 140736135426001 0
/proc/22820/statm: 157209 149889 295 7529 0 149656 0
Current children cumulated CPU time (s) 2382.09
Current children cumulated vsize (KiB) 628836
[startup+2442.3 s]
/proc/loadavg: 1.00 1.22 1.64 2/175 23012
/proc/meminfo: memFree=30830152/32770624 swapFree=0/439000
[pid=22820] ppid=22817 vsize=628836 CPUtime=2442.08 cores=1,3,5,7
/proc/22820/stat : 22820 (BTD) R 22817 22820 16590 0 -1 4202496 1418273 0 0 0 244131 77 0 0 20 0 1 0 27826290 643928064 149889 18446744073709551615 4194304 35031035 140736135420336 140736135419336 4376729 0 0 1 0 0 0 0 17 1 0 0 8 0 0 37130264 37226188 59777024 140736135422469 140736135422545 140736135422545 140736135426001 0
/proc/22820/statm: 157209 149889 295 7529 0 149656 0
Current children cumulated CPU time (s) 2442.08
Current children cumulated vsize (KiB) 628836
[startup+2502.3 s]
/proc/loadavg: 1.00 1.18 1.60 2/175 23014
/proc/meminfo: memFree=30831068/32770624 swapFree=0/439004
[pid=22820] ppid=22817 vsize=628836 CPUtime=2502.08 cores=1,3,5,7
/proc/22820/stat : 22820 (BTD) R 22817 22820 16590 0 -1 4202496 1419093 0 0 0 250131 77 0 0 20 0 1 0 27826290 643928064 149889 18446744073709551615 4194304 35031035 140736135420336 140736135419336 7406584 0 0 1 0 0 0 0 17 1 0 0 8 0 0 37130264 37226188 59777024 140736135422469 140736135422545 140736135422545 140736135426001 0
/proc/22820/statm: 157209 149889 295 7529 0 149656 0
Current children cumulated CPU time (s) 2502.08
Current children cumulated vsize (KiB) 628836
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+2520 s]
/proc/loadavg: 1.00 1.17 1.58 2/175 23014
/proc/meminfo: memFree=30831068/32770624 swapFree=0/439004
[pid=22820] ppid=22817 vsize=628836 CPUtime=2519.78 cores=1,3,5,7
/proc/22820/stat : 22820 (BTD) R 22817 22820 16590 0 -1 4202496 1419093 0 0 0 251901 77 0 0 20 0 1 0 27826290 643928064 149889 18446744073709551615 4194304 35031035 140736135420336 140736135419336 4346776 0 0 1 0 0 0 0 17 1 0 0 8 0 0 37130264 37226188 59777024 140736135422469 140736135422545 140736135422545 140736135426001 0
/proc/22820/statm: 157209 149889 295 7529 0 149656 0
Current children cumulated CPU time (s) 2519.78
Current children cumulated vsize (KiB) 628836
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 22820 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
Child ended because it received signal 15 (SIGTERM)
Real time (s): 2520
CPU time (s): 2519.79
CPU user time (s): 2519.01
CPU system time (s): 0.779963
CPU usage (%): 99.9917
Max. virtual memory (cumulated for all children) (KiB): 628836
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2519.01
system time used= 0.779963
maximum resident set size= 603244
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1419093
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= 11
involuntary context switches= 640
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.09356 second user time and 9.91973 second system time
The end