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-4260407-1502255275/watcher-4260407-1502255275 -o /tmp/evaluation-result-4260407-1502255275/solver-4260407-1502255275 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node132-1502234549-4589 --watchdog 2580 BTD 2520 HOME/instance-4260407-1502255275.xml
pid=8728
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: 1.99 1.98 2.03 3/184 8731
/proc/meminfo: memFree=30945688/32770624 swapFree=0/404612
[pid=8731] ppid=8728 vsize=23672 CPUtime=0 cores=1,3,5,7
/proc/8731/stat : 8731 (runsolver) D 8728 8731 4525 0 -1 4202560 108 0 0 0 0 0 0 0 20 0 1 0 125180511 24240128 106 18446744073709551615 4194304 4338465 140724012665792 140724012663432 139944084189911 0 0 1 24578 18446744071580418449 0 0 17 5 0 0 0 0 0 6438912 6441760 25600000 140724012671189 140724012671561 140724012671561 140724012675018 0
/proc/8731/statm: 5918 106 53 36 0 2156 0
[startup+0.102535 s]
/proc/loadavg: 1.99 1.98 2.03 3/184 8731
/proc/meminfo: memFree=30945688/32770624 swapFree=0/404612
[pid=8731] ppid=8728 vsize=31540 CPUtime=0.01 cores=1,3,5,7
/proc/8731/stat : 8731 (BTD) R 8728 8731 4525 0 -1 4202496 613 0 0 0 1 0 0 0 20 0 1 0 125180511 32296960 490 18446744073709551615 4194304 35031035 140720947593440 140720947589400 4208689 0 0 1 0 0 0 0 17 7 0 0 9 0 0 37130264 37226188 45248512 140720947597828 140720947597904 140720947597904 140720947601361 0
/proc/8731/statm: 7885 490 229 7529 0 332 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 31540
[startup+0.200576 s]
/proc/loadavg: 1.99 1.98 2.03 3/184 8731
/proc/meminfo: memFree=30945688/32770624 swapFree=0/404612
[pid=8731] ppid=8728 vsize=32152 CPUtime=0.1 cores=1,3,5,7
/proc/8731/stat : 8731 (BTD) R 8728 8731 4525 0 -1 4202496 1729 0 0 0 10 0 0 0 20 0 1 0 125180511 32923648 664 18446744073709551615 4194304 35031035 140720947593440 140720947589400 4208986 0 0 1 0 0 0 0 17 7 0 0 9 0 0 37130264 37226188 45248512 140720947597828 140720947597904 140720947597904 140720947601361 0
/proc/8731/statm: 8038 664 229 7529 0 485 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 32152
[startup+0.300579 s]
/proc/loadavg: 1.99 1.98 2.03 3/184 8731
/proc/meminfo: memFree=30945688/32770624 swapFree=0/404612
[pid=8731] ppid=8728 vsize=32440 CPUtime=0.2 cores=1,3,5,7
/proc/8731/stat : 8731 (BTD) R 8728 8731 4525 0 -1 4202496 8913 0 0 0 20 0 0 0 20 0 1 0 125180511 33218560 736 18446744073709551615 4194304 35031035 140720947593440 140720947589400 4208379 0 0 1 0 0 0 0 17 7 0 0 9 0 0 37130264 37226188 45248512 140720947597828 140720947597904 140720947597904 140720947601361 0
/proc/8731/statm: 8110 736 229 7529 0 557 0
Current children cumulated CPU time (s) 0.2
Current children cumulated vsize (KiB) 32440
[startup+0.700226 s]
/proc/loadavg: 1.99 1.98 2.03 3/184 8731
/proc/meminfo: memFree=30945688/32770624 swapFree=0/404612
[pid=8731] ppid=8728 vsize=34028 CPUtime=0.6 cores=1,3,5,7
/proc/8731/stat : 8731 (BTD) R 8728 8731 4525 0 -1 4202496 32267 0 0 0 56 4 0 0 20 0 1 0 125180511 34844672 1118 18446744073709551615 4194304 35031035 140720947593440 140720947589208 4209296 0 0 1 0 0 0 0 17 1 0 0 9 0 0 37130264 37226188 45248512 140720947597828 140720947597904 140720947597904 140720947601361 0
/proc/8731/statm: 8507 1118 231 7529 0 954 0
Current children cumulated CPU time (s) 0.6
Current children cumulated vsize (KiB) 34028
[startup+1.50022 s]
/proc/loadavg: 1.91 1.97 2.02 3/185 8732
/proc/meminfo: memFree=30940172/32770624 swapFree=0/404652
[pid=8731] ppid=8728 vsize=37004 CPUtime=1.4 cores=1,3,5,7
/proc/8731/stat : 8731 (BTD) R 8728 8731 4525 0 -1 4202496 78614 0 0 0 131 9 0 0 20 0 1 0 125180511 37892096 1844 18446744073709551615 4194304 35031035 140720947593440 140720947589208 4207320 0 0 1 0 0 0 0 17 1 0 0 9 0 0 37130264 37226188 45248512 140720947597828 140720947597904 140720947597904 140720947601361 0
/proc/8731/statm: 9216 1844 231 7529 0 1663 0
Current children cumulated CPU time (s) 1.4
Current children cumulated vsize (KiB) 37004
[startup+3.10022 s]
/proc/loadavg: 1.91 1.97 2.02 3/185 8732
/proc/meminfo: memFree=30936080/32770624 swapFree=0/404652
[pid=8731] ppid=8728 vsize=43468 CPUtime=3 cores=1,3,5,7
/proc/8731/stat : 8731 (BTD) R 8728 8731 4525 0 -1 4202496 195425 0 0 0 276 24 0 0 20 0 1 0 125180511 44511232 3442 18446744073709551615 4194304 35031035 140720947593440 140720947589400 7391872 0 0 1 0 0 0 0 17 5 0 0 9 0 0 37130264 37226188 45248512 140720947597828 140720947597904 140720947597904 140720947601361 0
/proc/8731/statm: 10867 3442 231 7529 0 3314 0
Current children cumulated CPU time (s) 3
Current children cumulated vsize (KiB) 43468
[startup+6.30023 s]
/proc/loadavg: 1.92 1.97 2.02 3/185 8732
/proc/meminfo: memFree=30923780/32770624 swapFree=0/404884
[pid=8731] ppid=8728 vsize=54252 CPUtime=6.2 cores=1,3,5,7
/proc/8731/stat : 8731 (BTD) R 8728 8731 4525 0 -1 4202496 416395 0 0 0 567 53 0 0 20 0 1 0 125180511 55554048 6191 18446744073709551615 4194304 35031035 140720947593440 140720947589400 7993641 0 0 1 0 0 0 0 17 5 0 0 9 0 0 37130264 37226188 45248512 140720947597828 140720947597904 140720947597904 140720947601361 0
/proc/8731/statm: 13563 6191 231 7529 0 6010 0
Current children cumulated CPU time (s) 6.2
Current children cumulated vsize (KiB) 54252
[startup+12.7002 s]
/proc/loadavg: 1.93 1.97 2.02 3/185 8732
/proc/meminfo: memFree=30901008/32770624 swapFree=0/404880
[pid=8731] ppid=8728 vsize=77096 CPUtime=12.6 cores=1,3,5,7
/proc/8731/stat : 8731 (BTD) R 8728 8731 4525 0 -1 4202496 893738 0 0 0 1150 110 0 0 20 0 1 0 125180511 78946304 11859 18446744073709551615 4194304 35031035 140720947593440 140720947589400 4208986 0 0 1 0 0 0 0 17 5 0 0 9 0 0 37130264 37226188 45248512 140720947597828 140720947597904 140720947597904 140720947601361 0
/proc/8731/statm: 19274 11859 231 7529 0 11721 0
Current children cumulated CPU time (s) 12.6
Current children cumulated vsize (KiB) 77096
[startup+25.5003 s]
/proc/loadavg: 1.94 1.97 2.02 3/185 8733
/proc/meminfo: memFree=30855024/32770624 swapFree=0/404876
[pid=8731] ppid=8728 vsize=121736 CPUtime=25.4 cores=1,3,5,7
/proc/8731/stat : 8731 (BTD) R 8728 8731 4525 0 -1 4202496 1885111 0 0 0 2315 225 0 0 20 0 1 0 125180511 124657664 23062 18446744073709551615 4194304 35031035 140720947593440 140720947589400 7993641 0 0 1 0 0 0 0 17 5 0 0 9 0 0 37130264 37226188 45248512 140720947597828 140720947597904 140720947597904 140720947601361 0
/proc/8731/statm: 30469 23062 231 7529 0 22916 0
Current children cumulated CPU time (s) 25.4
Current children cumulated vsize (KiB) 121736
[startup+51.1003 s]
/proc/loadavg: 2.02 1.99 2.03 3/185 8733
/proc/meminfo: memFree=30764740/32770624 swapFree=0/404872
[pid=8731] ppid=8728 vsize=213340 CPUtime=51 cores=1,3,5,7
/proc/8731/stat : 8731 (BTD) R 8728 8731 4525 0 -1 4202496 3750681 0 0 0 4653 447 0 0 20 0 1 0 125180511 218460160 45954 18446744073709551615 4194304 35031035 140720947593440 140720947589208 4207866 0 0 1 0 0 0 0 17 5 0 0 9 0 0 37130264 37226188 45248512 140720947597828 140720947597904 140720947597904 140720947601361 0
/proc/8731/statm: 53335 45954 231 7529 0 45782 0
Current children cumulated CPU time (s) 51
Current children cumulated vsize (KiB) 213340
[startup+102.3 s]
/proc/loadavg: 2.01 1.99 2.03 3/185 8797
/proc/meminfo: memFree=30790628/32770624 swapFree=0/404952
[pid=8731] ppid=8728 vsize=395500 CPUtime=102.19 cores=1,3,5,7
/proc/8731/stat : 8731 (BTD) R 8728 8731 4525 0 -1 4202496 7463162 0 0 0 9330 889 0 0 20 0 1 0 125180511 404992000 91471 18446744073709551615 4194304 35031035 140720947593440 140720947589400 7993641 0 0 1 0 0 0 0 17 5 0 0 9 0 0 37130264 37226188 45248512 140720947597828 140720947597904 140720947597904 140720947601361 0
/proc/8731/statm: 98862 91471 231 7529 0 91309 0
Current children cumulated CPU time (s) 102.19
Current children cumulated vsize (KiB) 395500
[startup+162.3 s]
/proc/loadavg: 2.00 1.99 2.03 3/185 8799
/proc/meminfo: memFree=30367924/32770624 swapFree=0/404956
[pid=8731] ppid=8728 vsize=609712 CPUtime=162.16 cores=1,3,5,7
/proc/8731/stat : 8731 (BTD) R 8728 8731 4525 0 -1 4202496 11524146 0 0 0 14855 1361 0 0 20 0 1 0 125180511 624345088 145056 18446744073709551615 4194304 35031035 140720947593440 140720947589400 7993641 0 0 1 0 0 0 0 17 5 0 0 9 0 0 37130264 37226188 45248512 140720947597828 140720947597904 140720947597904 140720947601361 0
/proc/8731/statm: 152428 145056 231 7529 0 144875 0
Current children cumulated CPU time (s) 162.16
Current children cumulated vsize (KiB) 609712
[startup+222.306 s]
/proc/loadavg: 2.05 2.00 2.03 3/185 8801
/proc/meminfo: memFree=29936028/32770624 swapFree=0/404980
[pid=8731] ppid=8728 vsize=824080 CPUtime=222.14 cores=1,3,5,7
/proc/8731/stat : 8731 (BTD) R 8728 8731 4525 0 -1 4202496 15685564 0 0 0 20361 1853 0 0 20 0 1 0 125180511 843857920 198626 18446744073709551615 4194304 35031035 140720947593440 140720947589400 4208673 0 0 1 0 0 0 0 17 5 0 0 9 0 0 37130264 37226188 45248512 140720947597828 140720947597904 140720947597904 140720947601361 0
/proc/8731/statm: 206020 198626 231 7529 0 198467 0
Current children cumulated CPU time (s) 222.14
Current children cumulated vsize (KiB) 824080
[startup+282.3 s]
/proc/loadavg: 2.02 2.00 2.03 3/184 8804
/proc/meminfo: memFree=29509616/32770624 swapFree=0/404988
[pid=8731] ppid=8728 vsize=1038516 CPUtime=282.12 cores=1,3,5,7
/proc/8731/stat : 8731 (BTD) R 8728 8731 4525 0 -1 4202496 19651560 0 0 0 25893 2319 0 0 20 0 1 0 125180511 1063440384 252257 18446744073709551615 4194304 35031035 140720947593440 140720947589256 7993641 0 0 1 0 0 0 0 17 5 0 0 9 0 0 37130264 37226188 45248512 140720947597828 140720947597904 140720947597904 140720947601361 0
/proc/8731/statm: 259629 252257 231 7529 0 252076 0
Current children cumulated CPU time (s) 282.12
Current children cumulated vsize (KiB) 1038516
[startup+342.3 s]
/proc/loadavg: 2.01 2.00 2.03 3/184 8806
/proc/meminfo: memFree=29078024/32770624 swapFree=0/405004
[pid=8731] ppid=8728 vsize=1254060 CPUtime=342.09 cores=1,3,5,7
/proc/8731/stat : 8731 (BTD) R 8728 8731 4525 0 -1 4202496 23670713 0 0 0 31415 2794 0 0 20 0 1 0 125180511 1284157440 306086 18446744073709551615 4194304 35031035 140720947593440 140720947589400 4209296 0 0 1 0 0 0 0 17 5 0 0 9 0 0 37130264 37226188 45248512 140720947597828 140720947597904 140720947597904 140720947601361 0
/proc/8731/statm: 313515 306086 231 7529 0 305962 0
Current children cumulated CPU time (s) 342.09
Current children cumulated vsize (KiB) 1254060
[startup+402.3 s]
/proc/loadavg: 2.00 2.00 2.03 3/188 8823
/proc/meminfo: memFree=28647344/32770624 swapFree=0/405032
[pid=8731] ppid=8728 vsize=1468528 CPUtime=402.07 cores=1,3,5,7
/proc/8731/stat : 8731 (BTD) R 8728 8731 4525 0 -1 4202496 27585345 0 0 0 36942 3265 0 0 20 0 1 0 125180511 1503772672 359760 18446744073709551615 4194304 35031035 140720947593440 140720947589400 4208680 0 0 1 0 0 0 0 17 5 0 0 9 0 0 37130264 37226188 45248512 140720947597828 140720947597904 140720947597904 140720947601361 0
/proc/8731/statm: 367132 359760 231 7529 0 359579 0
Current children cumulated CPU time (s) 402.07
Current children cumulated vsize (KiB) 1468528
[startup+462.3 s]
/proc/loadavg: 2.00 2.00 2.03 3/189 8850
/proc/meminfo: memFree=28214444/32770624 swapFree=0/405044
[pid=8731] ppid=8728 vsize=1682868 CPUtime=462.06 cores=1,3,5,7
/proc/8731/stat : 8731 (BTD) R 8728 8731 4525 0 -1 4202496 31701308 0 0 0 42448 3758 0 0 20 0 1 0 125180511 1723256832 413298 18446744073709551615 4194304 35031035 140720947593440 140720947589400 7408224 0 0 1 0 0 0 0 17 5 0 0 9 0 0 37130264 37226188 45248512 140720947597828 140720947597904 140720947597904 140720947601361 0
/proc/8731/statm: 420717 413298 231 7529 0 413164 0
Current children cumulated CPU time (s) 462.06
Current children cumulated vsize (KiB) 1682868
[startup+522.3 s]
/proc/loadavg: 2.08 2.02 2.04 3/189 8852
/proc/meminfo: memFree=27788472/32770624 swapFree=0/405056
[pid=8731] ppid=8728 vsize=1897264 CPUtime=522.05 cores=1,3,5,7
/proc/8731/stat : 8731 (BTD) R 8728 8731 4525 0 -1 4202496 35745527 0 0 0 47986 4219 0 0 20 0 1 0 125180511 1942798336 466922 18446744073709551615 4194304 35031035 140720947593440 140720947589400 4207875 0 0 1 0 0 0 0 17 5 0 0 9 0 0 37130264 37226188 45248512 140720947597828 140720947597904 140720947597904 140720947601361 0
/proc/8731/statm: 474316 466922 231 7529 0 466763 0
Current children cumulated CPU time (s) 522.05
Current children cumulated vsize (KiB) 1897264
[startup+582.3 s]
/proc/loadavg: 2.03 2.01 2.04 3/186 8854
/proc/meminfo: memFree=27362516/32770624 swapFree=0/405076
[pid=8731] ppid=8728 vsize=2111624 CPUtime=582.03 cores=1,3,5,7
/proc/8731/stat : 8731 (BTD) R 8728 8731 4525 0 -1 4202496 39769417 0 0 0 53519 4684 0 0 20 0 1 0 125180511 2162302976 520527 18446744073709551615 4194304 35031035 140720947593440 140720947589256 4207866 0 0 1 0 0 0 0 17 5 0 0 9 0 0 37130264 37226188 45248512 140720947597828 140720947597904 140720947597904 140720947601361 0
/proc/8731/statm: 527906 520527 231 7529 0 520353 0
Current children cumulated CPU time (s) 582.03
Current children cumulated vsize (KiB) 2111624
################
# More data... #
################
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/188 8922
/proc/meminfo: memFree=19254420/32770624 swapFree=0/405296
[pid=8731] ppid=8728 vsize=6234420 CPUtime=1661.78 cores=1,3,5,7
/proc/8731/stat : 8731 (BTD) R 8728 8731 4525 0 -1 4202496 74866845 0 0 0 157280 8898 0 0 20 0 1 0 125180511 6384046080 1551320 18446744073709551615 4194304 35031035 140720947593440 140720947591992 4213184 0 0 1 0 0 0 0 17 5 0 0 9 0 0 37130264 37226188 45248512 140720947597828 140720947597904 140720947597904 140720947601361 0
/proc/8731/statm: 1558605 1551320 332 7529 0 1551052 0
Current children cumulated CPU time (s) 1661.78
Current children cumulated vsize (KiB) 6234420
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/185 8924
/proc/meminfo: memFree=19033768/32770624 swapFree=0/405292
[pid=8731] ppid=8728 vsize=6234420 CPUtime=1721.78 cores=1,3,5,7
/proc/8731/stat : 8731 (BTD) R 8728 8731 4525 0 -1 4202496 74866964 0 0 0 163278 8900 0 0 20 0 1 0 125180511 6384046080 1551320 18446744073709551615 4194304 35031035 140720947593440 140720947591992 4296488 0 0 1 0 0 0 0 17 5 0 0 9 0 0 37130264 37226188 45248512 140720947597828 140720947597904 140720947597904 140720947601361 0
/proc/8731/statm: 1558605 1551320 332 7529 0 1551052 0
Current children cumulated CPU time (s) 1721.78
Current children cumulated vsize (KiB) 6234420
[startup+1782.3 s]
/proc/loadavg: 1.97 1.99 2.03 3/186 8927
/proc/meminfo: memFree=18803776/32770624 swapFree=0/405296
[pid=8731] ppid=8728 vsize=6234420 CPUtime=1781.77 cores=1,3,5,7
/proc/8731/stat : 8731 (BTD) R 8728 8731 4525 0 -1 4202496 74867053 0 0 0 169276 8901 0 0 20 0 1 0 125180511 6384046080 1551320 18446744073709551615 4194304 35031035 140720947593440 140720947591992 4213184 0 0 1 0 0 0 0 17 5 0 0 9 0 0 37130264 37226188 45248512 140720947597828 140720947597904 140720947597904 140720947601361 0
/proc/8731/statm: 1558605 1551320 332 7529 0 1551052 0
Current children cumulated CPU time (s) 1781.77
Current children cumulated vsize (KiB) 6234420
[startup+1842.3 s]
/proc/loadavg: 1.99 1.99 2.03 3/186 8929
/proc/meminfo: memFree=18577056/32770624 swapFree=0/405300
[pid=8731] ppid=8728 vsize=6234420 CPUtime=1841.77 cores=1,3,5,7
/proc/8731/stat : 8731 (BTD) R 8728 8731 4525 0 -1 4202496 74867168 0 0 0 175274 8903 0 0 20 0 1 0 125180511 6384046080 1551320 18446744073709551615 4194304 35031035 140720947593440 140720947591992 4300341 0 0 1 0 0 0 0 17 5 0 0 9 0 0 37130264 37226188 45248512 140720947597828 140720947597904 140720947597904 140720947601361 0
/proc/8731/statm: 1558605 1551320 332 7529 0 1551052 0
Current children cumulated CPU time (s) 1841.77
Current children cumulated vsize (KiB) 6234420
[startup+1902.3 s]
/proc/loadavg: 2.00 1.99 2.03 3/185 8932
/proc/meminfo: memFree=18347176/32770624 swapFree=0/405328
[pid=8731] ppid=8728 vsize=6234420 CPUtime=1901.78 cores=1,3,5,7
/proc/8731/stat : 8731 (BTD) R 8728 8731 4525 0 -1 4202496 74867257 0 0 0 181273 8905 0 0 20 0 1 0 125180511 6384046080 1551320 18446744073709551615 4194304 35031035 140720947593440 140720947591992 4213184 0 0 1 0 0 0 0 17 5 0 0 9 0 0 37130264 37226188 45248512 140720947597828 140720947597904 140720947597904 140720947601361 0
/proc/8731/statm: 1558605 1551320 332 7529 0 1551052 0
Current children cumulated CPU time (s) 1901.78
Current children cumulated vsize (KiB) 6234420
[startup+1962.3 s]
/proc/loadavg: 2.04 2.00 2.04 3/185 8934
/proc/meminfo: memFree=18121896/32770624 swapFree=0/405340
[pid=8731] ppid=8728 vsize=6234420 CPUtime=1961.77 cores=1,3,5,7
/proc/8731/stat : 8731 (BTD) R 8728 8731 4525 0 -1 4202496 74867433 0 0 0 187271 8906 0 0 20 0 1 0 125180511 6384046080 1551326 18446744073709551615 4194304 35031035 140720947593440 140720947591992 4300326 0 0 1 0 0 0 0 17 5 0 0 9 0 0 37130264 37226188 45248512 140720947597828 140720947597904 140720947597904 140720947601361 0
/proc/8731/statm: 1558605 1551326 332 7529 0 1551052 0
Current children cumulated CPU time (s) 1961.77
Current children cumulated vsize (KiB) 6234420
[startup+2022.3 s]
/proc/loadavg: 2.01 2.00 2.04 3/185 8936
/proc/meminfo: memFree=17893112/32770624 swapFree=0/405344
[pid=8731] ppid=8728 vsize=6234420 CPUtime=2021.78 cores=1,3,5,7
/proc/8731/stat : 8731 (BTD) R 8728 8731 4525 0 -1 4202496 74867541 0 0 0 193270 8908 0 0 20 0 1 0 125180511 6384046080 1551326 18446744073709551615 4194304 35031035 140720947593440 140720947591992 4213184 0 0 1 0 0 0 0 17 5 0 0 9 0 0 37130264 37226188 45248512 140720947597828 140720947597904 140720947597904 140720947601361 0
/proc/8731/statm: 1558605 1551326 332 7529 0 1551052 0
Current children cumulated CPU time (s) 2021.78
Current children cumulated vsize (KiB) 6234420
[startup+2082.3 s]
/proc/loadavg: 2.01 2.01 2.04 3/184 8939
/proc/meminfo: memFree=17663012/32770624 swapFree=0/405348
[pid=8731] ppid=8728 vsize=6234420 CPUtime=2081.78 cores=1,3,5,7
/proc/8731/stat : 8731 (BTD) R 8728 8731 4525 0 -1 4202496 74867654 0 0 0 199269 8909 0 0 20 0 1 0 125180511 6384046080 1551326 18446744073709551615 4194304 35031035 140720947593440 140720947591992 4296511 0 0 1 0 0 0 0 17 5 0 0 9 0 0 37130264 37226188 45248512 140720947597828 140720947597904 140720947597904 140720947601361 0
/proc/8731/statm: 1558605 1551326 332 7529 0 1551052 0
Current children cumulated CPU time (s) 2081.78
Current children cumulated vsize (KiB) 6234420
[startup+2142.3 s]
/proc/loadavg: 1.96 2.00 2.03 3/184 8941
/proc/meminfo: memFree=17439416/32770624 swapFree=0/405360
[pid=8731] ppid=8728 vsize=6234420 CPUtime=2141.77 cores=1,3,5,7
/proc/8731/stat : 8731 (BTD) R 8728 8731 4525 0 -1 4202496 74867766 0 0 0 205266 8911 0 0 20 0 1 0 125180511 6384046080 1551326 18446744073709551615 4194304 35031035 140720947593440 140720947591992 4213184 0 0 1 0 0 0 0 17 5 0 0 9 0 0 37130264 37226188 45248512 140720947597828 140720947597904 140720947597904 140720947601361 0
/proc/8731/statm: 1558605 1551326 332 7529 0 1551052 0
Current children cumulated CPU time (s) 2141.77
Current children cumulated vsize (KiB) 6234420
[startup+2202.31 s]
/proc/loadavg: 2.05 2.01 2.04 3/188 8959
/proc/meminfo: memFree=17205360/32770624 swapFree=0/405408
[pid=8731] ppid=8728 vsize=6234420 CPUtime=2201.78 cores=1,3,5,7
/proc/8731/stat : 8731 (BTD) R 8728 8731 4525 0 -1 4202496 74867851 0 0 0 211266 8912 0 0 20 0 1 0 125180511 6384046080 1551326 18446744073709551615 4194304 35031035 140720947593440 140720947591992 4293343 0 0 1 0 0 0 0 17 5 0 0 9 0 0 37130264 37226188 45248512 140720947597828 140720947597904 140720947597904 140720947601361 0
/proc/8731/statm: 1558605 1551326 332 7529 0 1551052 0
Current children cumulated CPU time (s) 2201.78
Current children cumulated vsize (KiB) 6234420
[startup+2262.3 s]
/proc/loadavg: 2.02 2.01 2.04 3/188 8961
/proc/meminfo: memFree=16979892/32770624 swapFree=0/405440
[pid=8731] ppid=8728 vsize=6234420 CPUtime=2261.77 cores=1,3,5,7
/proc/8731/stat : 8731 (BTD) R 8728 8731 4525 0 -1 4202496 74867971 0 0 0 217264 8913 0 0 20 0 1 0 125180511 6384046080 1551327 18446744073709551615 4194304 35031035 140720947593440 140720947591992 4296503 0 0 1 0 0 0 0 17 5 0 0 9 0 0 37130264 37226188 45248512 140720947597828 140720947597904 140720947597904 140720947601361 0
/proc/8731/statm: 1558605 1551327 332 7529 0 1551052 0
Current children cumulated CPU time (s) 2261.77
Current children cumulated vsize (KiB) 6234420
[startup+2322.3 s]
/proc/loadavg: 2.01 2.01 2.04 3/186 8964
/proc/meminfo: memFree=16754396/32770624 swapFree=0/405452
[pid=8731] ppid=8728 vsize=6234420 CPUtime=2321.77 cores=1,3,5,7
/proc/8731/stat : 8731 (BTD) R 8728 8731 4525 0 -1 4202496 74868054 0 0 0 223263 8914 0 0 20 0 1 0 125180511 6384046080 1551327 18446744073709551615 4194304 35031035 140720947593440 140720947591992 4213184 0 0 1 0 0 0 0 17 5 0 0 9 0 0 37130264 37226188 45248512 140720947597828 140720947597904 140720947597904 140720947601361 0
/proc/8731/statm: 1558605 1551327 332 7529 0 1551052 0
Current children cumulated CPU time (s) 2321.77
Current children cumulated vsize (KiB) 6234420
[startup+2382.3 s]
/proc/loadavg: 2.04 2.03 2.05 3/186 8966
/proc/meminfo: memFree=16528092/32770624 swapFree=0/405472
[pid=8731] ppid=8728 vsize=6234420 CPUtime=2381.77 cores=1,3,5,7
/proc/8731/stat : 8731 (BTD) R 8728 8731 4525 0 -1 4202496 74868165 0 0 0 229261 8916 0 0 20 0 1 0 125180511 6384046080 1551327 18446744073709551615 4194304 35031035 140720947593440 140720947591992 4294635 0 0 1 0 0 0 0 17 5 0 0 9 0 0 37130264 37226188 45248512 140720947597828 140720947597904 140720947597904 140720947601361 0
/proc/8731/statm: 1558605 1551327 332 7529 0 1551052 0
Current children cumulated CPU time (s) 2381.77
Current children cumulated vsize (KiB) 6234420
[startup+2442.3 s]
/proc/loadavg: 1.95 2.01 2.04 3/186 8968
/proc/meminfo: memFree=16298720/32770624 swapFree=0/405488
[pid=8731] ppid=8728 vsize=6234420 CPUtime=2441.77 cores=1,3,5,7
/proc/8731/stat : 8731 (BTD) R 8728 8731 4525 0 -1 4202496 74868274 0 0 0 235260 8917 0 0 20 0 1 0 125180511 6384046080 1551327 18446744073709551615 4194304 35031035 140720947593440 140720947591992 4300848 0 0 1 0 0 0 0 17 5 0 0 9 0 0 37130264 37226188 45248512 140720947597828 140720947597904 140720947597904 140720947601361 0
/proc/8731/statm: 1558605 1551327 332 7529 0 1551052 0
Current children cumulated CPU time (s) 2441.77
Current children cumulated vsize (KiB) 6234420
[startup+2502.3 s]
/proc/loadavg: 1.89 1.97 2.03 3/185 8970
/proc/meminfo: memFree=16073240/32770624 swapFree=0/405492
[pid=8731] ppid=8728 vsize=6234420 CPUtime=2501.77 cores=1,3,5,7
/proc/8731/stat : 8731 (BTD) R 8728 8731 4525 0 -1 4202496 74868359 0 0 0 241260 8917 0 0 20 0 1 0 125180511 6384046080 1551327 18446744073709551615 4194304 35031035 140720947593440 140720947591992 4300326 0 0 1 0 0 0 0 17 5 0 0 9 0 0 37130264 37226188 45248512 140720947597828 140720947597904 140720947597904 140720947601361 0
/proc/8731/statm: 1558605 1551327 332 7529 0 1551052 0
Current children cumulated CPU time (s) 2501.77
Current children cumulated vsize (KiB) 6234420
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+2520 s]
/proc/loadavg: 1.99 1.99 2.03 3/185 8970
/proc/meminfo: memFree=16006000/32770624 swapFree=0/405496
[pid=8731] ppid=8728 vsize=6234420 CPUtime=2519.47 cores=1,3,5,7
/proc/8731/stat : 8731 (BTD) R 8728 8731 4525 0 -1 4202496 74868393 0 0 0 243029 8918 0 0 20 0 1 0 125180511 6384046080 1551327 18446744073709551615 4194304 35031035 140720947593440 140720947591992 4300312 0 0 1 0 0 0 0 17 5 0 0 9 0 0 37130264 37226188 45248512 140720947597828 140720947597904 140720947597904 140720947601361 0
/proc/8731/statm: 1558605 1551327 332 7529 0 1551052 0
Current children cumulated CPU time (s) 2519.47
Current children cumulated vsize (KiB) 6234420
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 8731 sig 9
??? kill -8731 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2520.1 s]
/proc/loadavg: 1.99 1.99 2.03 3/185 8970
/proc/meminfo: memFree=21655500/32770624 swapFree=0/405496
[pid=8731] ppid=8728 vsize=0 CPUtime=2519.57 cores=1,3,5,7
/proc/8731/stat : 8731 (BTD) R 8728 8731 4525 0 -1 4203524 74868393 0 0 0 243029 8928 0 0 20 0 1 0 125180511 0 0 18446744073709551615 0 0 0 0 0 0 0 1 0 18446744073709551615 0 0 17 5 0 0 9 0 0 0 0 0 0 0 0 0 0
/proc/8731/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 2519.57
Current children cumulated vsize (KiB) 0
Child ended because it received signal 15 (SIGTERM)
Real time (s): 2520.13
CPU time (s): 2519.61
CPU user time (s): 2430.3
CPU system time (s): 89.3117
CPU usage (%): 99.9793
Max. virtual memory (cumulated for all children) (KiB): 6234420
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2430.3
system time used= 89.3117
maximum resident set size= 6205308
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 74868393
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= 640
involuntary context switches= 1383
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.96658 second user time and 9.0174 second system time
The end