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-4260527-1502248732/watcher-4260527-1502248732 -o /tmp/evaluation-result-4260527-1502248732/solver-4260527-1502248732 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node127-1502234554-16654 --watchdog 2580 BTD 2520 HOME/instance-4260527-1502248732.xml
pid=20974
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 3/180 20977
/proc/meminfo: memFree=31391224/32770624 swapFree=0/435476
[pid=20977] ppid=20974 vsize=23672 CPUtime=0 cores=1,3,5,7
/proc/20977/stat : 20977 (runsolver) D 20974 20977 16590 0 -1 4202560 108 0 0 0 0 0 0 0 20 0 1 0 27066841 24240128 106 18446744073709551615 4194304 4338465 140730154874864 140730154872504 140652614070999 0 0 1 24578 18446744071580418449 0 0 17 5 0 0 0 0 0 6438912 6441760 35741696 140730154881237 140730154881610 140730154881610 140730154885066 0
/proc/20977/statm: 5918 106 53 36 0 2156 0
[startup+0.100153 s]
/proc/loadavg: 2.00 2.00 2.04 3/180 20977
/proc/meminfo: memFree=31391224/32770624 swapFree=0/435476
[pid=20977] ppid=20974 vsize=23672 CPUtime=0 cores=1,3,5,7
/proc/20977/stat : 20977 (runsolver) D 20974 20977 16590 0 -1 4202560 108 0 0 0 0 0 0 0 20 0 1 0 27066841 24240128 106 18446744073709551615 4194304 4338465 140730154874864 140730154872504 140652614070999 0 0 1 24578 18446744071580418449 0 0 17 5 0 0 0 0 0 6438912 6441760 35741696 140730154881237 140730154881610 140730154881610 140730154885066 0
/proc/20977/statm: 5918 106 53 36 0 2156 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 23672
[startup+0.200335 s]
/proc/loadavg: 2.00 2.00 2.04 3/180 20977
/proc/meminfo: memFree=31391224/32770624 swapFree=0/435476
[pid=20977] ppid=20974 vsize=30676 CPUtime=0.09 cores=1,3,5,7
/proc/20977/stat : 20977 (BTD) R 20974 20977 16590 0 -1 4202496 465 0 0 0 9 0 0 0 20 0 1 0 27066841 31412224 326 18446744073709551615 4194304 35031035 140724831240160 140724831240160 4393456 0 0 1 0 0 0 0 17 1 0 0 10 0 0 37130264 37226188 46473216 140724831248901 140724831248977 140724831248977 140724831252433 0
/proc/20977/statm: 7669 326 277 7529 0 116 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 30676
[startup+0.300245 s]
/proc/loadavg: 2.00 2.00 2.04 3/180 20977
/proc/meminfo: memFree=31391224/32770624 swapFree=0/435476
[pid=20977] ppid=20974 vsize=30676 CPUtime=0.19 cores=1,3,5,7
/proc/20977/stat : 20977 (BTD) R 20974 20977 16590 0 -1 4202496 488 0 0 0 19 0 0 0 20 0 1 0 27066841 31412224 326 18446744073709551615 4194304 35031035 140724831240160 140724831239160 4394346 0 0 1 0 0 0 0 17 1 0 0 10 0 0 37130264 37226188 46473216 140724831248901 140724831248977 140724831248977 140724831252433 0
/proc/20977/statm: 7669 326 277 7529 0 116 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 30676
[startup+0.700218 s]
/proc/loadavg: 2.00 2.00 2.04 3/180 20977
/proc/meminfo: memFree=31391224/32770624 swapFree=0/435476
[pid=20977] ppid=20974 vsize=30676 CPUtime=0.59 cores=1,3,5,7
/proc/20977/stat : 20977 (BTD) R 20974 20977 16590 0 -1 4202496 494 0 0 0 59 0 0 0 20 0 1 0 27066841 31412224 326 18446744073709551615 4194304 35031035 140724831240160 140724831239160 4393466 0 0 1 0 0 0 0 17 1 0 0 10 0 0 37130264 37226188 46473216 140724831248901 140724831248977 140724831248977 140724831252433 0
/proc/20977/statm: 7669 326 277 7529 0 116 0
Current children cumulated CPU time (s) 0.59
Current children cumulated vsize (KiB) 30676
[startup+1.50022 s]
/proc/loadavg: 2.00 2.00 2.04 3/181 20978
/proc/meminfo: memFree=31390416/32770624 swapFree=0/435496
[pid=20977] ppid=20974 vsize=30676 CPUtime=1.39 cores=1,3,5,7
/proc/20977/stat : 20977 (BTD) R 20974 20977 16590 0 -1 4202496 494 0 0 0 139 0 0 0 20 0 1 0 27066841 31412224 326 18446744073709551615 4194304 35031035 140724831240160 140724831239160 4393779 0 0 1 0 0 0 0 17 1 0 0 10 0 0 37130264 37226188 46473216 140724831248901 140724831248977 140724831248977 140724831252433 0
/proc/20977/statm: 7669 326 277 7529 0 116 0
Current children cumulated CPU time (s) 1.39
Current children cumulated vsize (KiB) 30676
[startup+3.10021 s]
/proc/loadavg: 2.00 2.00 2.04 4/181 20978
/proc/meminfo: memFree=31390044/32770624 swapFree=0/435496
[pid=20977] ppid=20974 vsize=30676 CPUtime=2.99 cores=1,3,5,7
/proc/20977/stat : 20977 (BTD) R 20974 20977 16590 0 -1 4202496 494 0 0 0 299 0 0 0 20 0 1 0 27066841 31412224 326 18446744073709551615 4194304 35031035 140724831240160 140724831239160 4394405 0 0 1 0 0 0 0 17 1 0 0 10 0 0 37130264 37226188 46473216 140724831248901 140724831248977 140724831248977 140724831252433 0
/proc/20977/statm: 7669 326 277 7529 0 116 0
Current children cumulated CPU time (s) 2.99
Current children cumulated vsize (KiB) 30676
[startup+6.30021 s]
/proc/loadavg: 2.00 2.00 2.04 3/181 20978
/proc/meminfo: memFree=31389824/32770624 swapFree=0/435504
[pid=20977] ppid=20974 vsize=30676 CPUtime=6.19 cores=1,3,5,7
/proc/20977/stat : 20977 (BTD) R 20974 20977 16590 0 -1 4202496 568 0 0 0 619 0 0 0 20 0 1 0 27066841 31412224 371 18446744073709551615 4194304 35031035 140724831240160 140724831239160 4393501 0 0 1 0 0 0 0 17 1 0 0 10 0 0 37130264 37226188 46473216 140724831248901 140724831248977 140724831248977 140724831252433 0
/proc/20977/statm: 7669 371 305 7529 0 116 0
Current children cumulated CPU time (s) 6.19
Current children cumulated vsize (KiB) 30676
[startup+12.7002 s]
/proc/loadavg: 2.00 2.00 2.04 3/181 20978
/proc/meminfo: memFree=31389468/32770624 swapFree=0/435504
[pid=20977] ppid=20974 vsize=30676 CPUtime=12.59 cores=1,3,5,7
/proc/20977/stat : 20977 (BTD) R 20974 20977 16590 0 -1 4202496 605 0 0 0 1259 0 0 0 20 0 1 0 27066841 31412224 371 18446744073709551615 4194304 35031035 140724831240160 140724831239160 4394478 0 0 1 0 0 0 0 17 1 0 0 10 0 0 37130264 37226188 46473216 140724831248901 140724831248977 140724831248977 140724831252433 0
/proc/20977/statm: 7669 371 305 7529 0 116 0
Current children cumulated CPU time (s) 12.59
Current children cumulated vsize (KiB) 30676
[startup+25.5003 s]
/proc/loadavg: 2.00 2.00 2.04 3/181 20979
/proc/meminfo: memFree=31389596/32770624 swapFree=0/435512
[pid=20977] ppid=20974 vsize=30676 CPUtime=25.39 cores=1,3,5,7
/proc/20977/stat : 20977 (BTD) R 20974 20977 16590 0 -1 4202496 687 0 0 0 2539 0 0 0 20 0 1 0 27066841 31412224 372 18446744073709551615 4194304 35031035 140724831240160 140724831239160 4394237 0 0 1 0 0 0 0 17 1 0 0 10 0 0 37130264 37226188 46473216 140724831248901 140724831248977 140724831248977 140724831252433 0
/proc/20977/statm: 7669 372 305 7529 0 116 0
Current children cumulated CPU time (s) 25.39
Current children cumulated vsize (KiB) 30676
[startup+51.1003 s]
/proc/loadavg: 2.00 2.00 2.04 3/181 20979
/proc/meminfo: memFree=31389596/32770624 swapFree=0/435516
[pid=20977] ppid=20974 vsize=30676 CPUtime=50.99 cores=1,3,5,7
/proc/20977/stat : 20977 (BTD) R 20974 20977 16590 0 -1 4202496 732 0 0 0 5099 0 0 0 20 0 1 0 27066841 31412224 372 18446744073709551615 4194304 35031035 140724831240160 140724831239160 4393805 0 0 1 0 0 0 0 17 1 0 0 10 0 0 37130264 37226188 46473216 140724831248901 140724831248977 140724831248977 140724831252433 0
/proc/20977/statm: 7669 372 305 7529 0 116 0
Current children cumulated CPU time (s) 50.99
Current children cumulated vsize (KiB) 30676
[startup+102.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/181 20981
/proc/meminfo: memFree=31389708/32770624 swapFree=0/435540
[pid=20977] ppid=20974 vsize=30808 CPUtime=102.19 cores=1,3,5,7
/proc/20977/stat : 20977 (BTD) R 20974 20977 16590 0 -1 4202496 777 0 0 0 10219 0 0 0 20 0 1 0 27066841 31547392 372 18446744073709551615 4194304 35031035 140724831240160 140724831239160 4394518 0 0 1 0 0 0 0 17 1 0 0 10 0 0 37130264 37226188 46473216 140724831248901 140724831248977 140724831248977 140724831252433 0
/proc/20977/statm: 7702 372 305 7529 0 149 0
Current children cumulated CPU time (s) 102.19
Current children cumulated vsize (KiB) 30808
[startup+162.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/181 20983
/proc/meminfo: memFree=31389576/32770624 swapFree=0/435560
[pid=20977] ppid=20974 vsize=30808 CPUtime=162.18 cores=1,3,5,7
/proc/20977/stat : 20977 (BTD) R 20974 20977 16590 0 -1 4202496 824 0 0 0 16218 0 0 0 20 0 1 0 27066841 31547392 375 18446744073709551615 4194304 35031035 140724831240160 140724831239160 4394405 0 0 1 0 0 0 0 17 1 0 0 10 0 0 37130264 37226188 46473216 140724831248901 140724831248977 140724831248977 140724831252433 0
/proc/20977/statm: 7702 375 306 7529 0 149 0
Current children cumulated CPU time (s) 162.18
Current children cumulated vsize (KiB) 30808
[startup+222.305 s]
/proc/loadavg: 2.00 2.00 2.04 3/181 20985
/proc/meminfo: memFree=31389444/32770624 swapFree=0/435584
[pid=20977] ppid=20974 vsize=30808 CPUtime=222.19 cores=1,3,5,7
/proc/20977/stat : 20977 (BTD) R 20974 20977 16590 0 -1 4202496 871 0 0 0 22219 0 0 0 20 0 1 0 27066841 31547392 376 18446744073709551615 4194304 35031035 140724831240160 140724831239160 4394322 0 0 1 0 0 0 0 17 1 0 0 10 0 0 37130264 37226188 46473216 140724831248901 140724831248977 140724831248977 140724831252433 0
/proc/20977/statm: 7702 376 306 7529 0 149 0
Current children cumulated CPU time (s) 222.19
Current children cumulated vsize (KiB) 30808
[startup+282.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/181 20987
/proc/meminfo: memFree=31389700/32770624 swapFree=0/435600
[pid=20977] ppid=20974 vsize=30808 CPUtime=282.18 cores=1,3,5,7
/proc/20977/stat : 20977 (BTD) R 20974 20977 16590 0 -1 4202496 919 0 0 0 28218 0 0 0 20 0 1 0 27066841 31547392 377 18446744073709551615 4194304 35031035 140724831240160 140724831239160 4393767 0 0 1 0 0 0 0 17 1 0 0 10 0 0 37130264 37226188 46473216 140724831248901 140724831248977 140724831248977 140724831252433 0
/proc/20977/statm: 7702 377 306 7529 0 149 0
Current children cumulated CPU time (s) 282.18
Current children cumulated vsize (KiB) 30808
[startup+342.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/184 21003
/proc/meminfo: memFree=31385400/32770624 swapFree=0/435632
[pid=20977] ppid=20974 vsize=30808 CPUtime=342.17 cores=1,3,5,7
/proc/20977/stat : 20977 (BTD) R 20974 20977 16590 0 -1 4202496 968 0 0 0 34217 0 0 0 20 0 1 0 27066841 31547392 377 18446744073709551615 4194304 35031035 140724831240160 140724831239160 4394379 0 0 1 0 0 0 0 17 1 0 0 10 0 0 37130264 37226188 46473216 140724831248901 140724831248977 140724831248977 140724831252433 0
/proc/20977/statm: 7702 377 306 7529 0 149 0
Current children cumulated CPU time (s) 342.17
Current children cumulated vsize (KiB) 30808
[startup+402.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/184 21005
/proc/meminfo: memFree=31385400/32770624 swapFree=0/435640
[pid=20977] ppid=20974 vsize=30808 CPUtime=402.17 cores=1,3,5,7
/proc/20977/stat : 20977 (BTD) R 20974 20977 16590 0 -1 4202496 1018 0 0 0 40217 0 0 0 20 0 1 0 27066841 31547392 379 18446744073709551615 4194304 35031035 140724831240160 140724831239160 4394484 0 0 1 0 0 0 0 17 1 0 0 10 0 0 37130264 37226188 46473216 140724831248901 140724831248977 140724831248977 140724831252433 0
/proc/20977/statm: 7702 379 306 7529 0 149 0
Current children cumulated CPU time (s) 402.17
Current children cumulated vsize (KiB) 30808
[startup+462.3 s]
/proc/loadavg: 2.04 2.01 2.05 3/181 21007
/proc/meminfo: memFree=31388796/32770624 swapFree=0/435660
[pid=20977] ppid=20974 vsize=30808 CPUtime=462.17 cores=1,3,5,7
/proc/20977/stat : 20977 (BTD) R 20974 20977 16590 0 -1 4202496 1065 0 0 0 46216 1 0 0 20 0 1 0 27066841 31547392 380 18446744073709551615 4194304 35031035 140724831240160 140724831239160 4394322 0 0 1 0 0 0 0 17 1 0 0 10 0 0 37130264 37226188 46473216 140724831248901 140724831248977 140724831248977 140724831252433 0
/proc/20977/statm: 7702 380 306 7529 0 149 0
Current children cumulated CPU time (s) 462.17
Current children cumulated vsize (KiB) 30808
[startup+522.3 s]
/proc/loadavg: 2.05 2.03 2.05 3/181 21009
/proc/meminfo: memFree=31388796/32770624 swapFree=0/435664
[pid=20977] ppid=20974 vsize=30808 CPUtime=522.17 cores=1,3,5,7
/proc/20977/stat : 20977 (BTD) R 20974 20977 16590 0 -1 4202496 1113 0 0 0 52216 1 0 0 20 0 1 0 27066841 31547392 380 18446744073709551615 4194304 35031035 140724831240160 140724831239160 4394322 0 0 1 0 0 0 0 17 1 0 0 10 0 0 37130264 37226188 46473216 140724831248901 140724831248977 140724831248977 140724831252433 0
/proc/20977/statm: 7702 380 306 7529 0 149 0
Current children cumulated CPU time (s) 522.17
Current children cumulated vsize (KiB) 30808
[startup+582.3 s]
/proc/loadavg: 2.02 2.02 2.05 3/181 21011
/proc/meminfo: memFree=31389168/32770624 swapFree=0/435684
[pid=20977] ppid=20974 vsize=30808 CPUtime=582.16 cores=1,3,5,7
/proc/20977/stat : 20977 (BTD) R 20974 20977 16590 0 -1 4202496 1165 0 0 0 58215 1 0 0 20 0 1 0 27066841 31547392 380 18446744073709551615 4194304 35031035 140724831240160 140724831239160 4394322 0 0 1 0 0 0 0 17 1 0 0 10 0 0 37130264 37226188 46473216 140724831248901 140724831248977 140724831248977 140724831252433 0
/proc/20977/statm: 7702 380 306 7529 0 149 0
Current children cumulated CPU time (s) 582.16
Current children cumulated vsize (KiB) 30808
################
# More data... #
################
[startup+1602.3 s]
/proc/loadavg: 2.07 2.05 2.05 3/184 21257
/proc/meminfo: memFree=31380252/32770624 swapFree=0/435980
[pid=20977] ppid=20974 vsize=30808 CPUtime=1602.12 cores=1,3,5,7
/proc/20977/stat : 20977 (BTD) R 20974 20977 16590 0 -1 4202496 2010 0 0 0 160206 6 0 0 20 0 1 0 27066841 31547392 386 18446744073709551615 4194304 35031035 140724831240160 140724831239160 7760122 0 0 1 0 0 0 0 17 1 0 0 10 0 0 37130264 37226188 46473216 140724831248901 140724831248977 140724831248977 140724831252433 0
/proc/20977/statm: 7702 386 306 7529 0 149 0
Current children cumulated CPU time (s) 1602.12
Current children cumulated vsize (KiB) 30808
[startup+1662.3 s]
/proc/loadavg: 2.03 2.04 2.05 3/181 21259
/proc/meminfo: memFree=31382780/32770624 swapFree=0/436000
[pid=20977] ppid=20974 vsize=30808 CPUtime=1662.11 cores=1,3,5,7
/proc/20977/stat : 20977 (BTD) R 20974 20977 16590 0 -1 4202496 2056 0 0 0 166205 6 0 0 20 0 1 0 27066841 31547392 386 18446744073709551615 4194304 35031035 140724831240160 140724831239160 4394322 0 0 1 0 0 0 0 17 1 0 0 10 0 0 37130264 37226188 46473216 140724831248901 140724831248977 140724831248977 140724831252433 0
/proc/20977/statm: 7702 386 306 7529 0 149 0
Current children cumulated CPU time (s) 1662.11
Current children cumulated vsize (KiB) 30808
[startup+1722.3 s]
/proc/loadavg: 2.01 2.03 2.05 3/181 21261
/proc/meminfo: memFree=31382972/32770624 swapFree=0/436012
[pid=20977] ppid=20974 vsize=30808 CPUtime=1722.11 cores=1,3,5,7
/proc/20977/stat : 20977 (BTD) R 20974 20977 16590 0 -1 4202496 2109 0 0 0 172205 6 0 0 20 0 1 0 27066841 31547392 386 18446744073709551615 4194304 35031035 140724831240160 140724831239160 4394001 0 0 1 0 0 0 0 17 1 0 0 10 0 0 37130264 37226188 46473216 140724831248901 140724831248977 140724831248977 140724831252433 0
/proc/20977/statm: 7702 386 306 7529 0 149 0
Current children cumulated CPU time (s) 1722.11
Current children cumulated vsize (KiB) 30808
[startup+1782.3 s]
/proc/loadavg: 2.00 2.03 2.05 3/181 21263
/proc/meminfo: memFree=31382600/32770624 swapFree=0/436016
[pid=20977] ppid=20974 vsize=30808 CPUtime=1782.11 cores=1,3,5,7
/proc/20977/stat : 20977 (BTD) R 20974 20977 16590 0 -1 4202496 2163 0 0 0 178204 7 0 0 20 0 1 0 27066841 31547392 386 18446744073709551615 4194304 35031035 140724831240160 140724831239160 4394478 0 0 1 0 0 0 0 17 1 0 0 10 0 0 37130264 37226188 46473216 140724831248901 140724831248977 140724831248977 140724831252433 0
/proc/20977/statm: 7702 386 306 7529 0 149 0
Current children cumulated CPU time (s) 1782.11
Current children cumulated vsize (KiB) 30808
[startup+1842.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/181 21265
/proc/meminfo: memFree=31382476/32770624 swapFree=0/436020
[pid=20977] ppid=20974 vsize=30808 CPUtime=1842.11 cores=1,3,5,7
/proc/20977/stat : 20977 (BTD) R 20974 20977 16590 0 -1 4202496 2211 0 0 0 184204 7 0 0 20 0 1 0 27066841 31547392 386 18446744073709551615 4194304 35031035 140724831240160 140724831239160 4394107 0 0 1 0 0 0 0 17 1 0 0 10 0 0 37130264 37226188 46473216 140724831248901 140724831248977 140724831248977 140724831252433 0
/proc/20977/statm: 7702 386 306 7529 0 149 0
Current children cumulated CPU time (s) 1842.11
Current children cumulated vsize (KiB) 30808
[startup+1902.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/181 21267
/proc/meminfo: memFree=31382724/32770624 swapFree=0/436048
[pid=20977] ppid=20974 vsize=30808 CPUtime=1902.1 cores=1,3,5,7
/proc/20977/stat : 20977 (BTD) R 20974 20977 16590 0 -1 4202496 2259 0 0 0 190203 7 0 0 20 0 1 0 27066841 31547392 386 18446744073709551615 4194304 35031035 140724831240160 140724831239160 4394456 0 0 1 0 0 0 0 17 1 0 0 10 0 0 37130264 37226188 46473216 140724831248901 140724831248977 140724831248977 140724831252433 0
/proc/20977/statm: 7702 386 306 7529 0 149 0
Current children cumulated CPU time (s) 1902.1
Current children cumulated vsize (KiB) 30808
[startup+1962.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 21269
/proc/meminfo: memFree=31382660/32770624 swapFree=0/436068
[pid=20977] ppid=20974 vsize=30808 CPUtime=1962.1 cores=1,3,5,7
/proc/20977/stat : 20977 (BTD) R 20974 20977 16590 0 -1 4202496 2305 0 0 0 196203 7 0 0 20 0 1 0 27066841 31547392 386 18446744073709551615 4194304 35031035 140724831240160 140724831239160 4394322 0 0 1 0 0 0 0 17 1 0 0 10 0 0 37130264 37226188 46473216 140724831248901 140724831248977 140724831248977 140724831252433 0
/proc/20977/statm: 7702 386 306 7529 0 149 0
Current children cumulated CPU time (s) 1962.1
Current children cumulated vsize (KiB) 30808
[startup+2022.3 s]
/proc/loadavg: 2.04 2.03 2.05 3/181 21271
/proc/meminfo: memFree=31382924/32770624 swapFree=0/436084
[pid=20977] ppid=20974 vsize=30808 CPUtime=2022.09 cores=1,3,5,7
/proc/20977/stat : 20977 (BTD) R 20974 20977 16590 0 -1 4202496 2354 0 0 0 202202 7 0 0 20 0 1 0 27066841 31547392 386 18446744073709551615 4194304 35031035 140724831240160 140724831239160 4394366 0 0 1 0 0 0 0 17 1 0 0 10 0 0 37130264 37226188 46473216 140724831248901 140724831248977 140724831248977 140724831252433 0
/proc/20977/statm: 7702 386 306 7529 0 149 0
Current children cumulated CPU time (s) 2022.09
Current children cumulated vsize (KiB) 30808
[startup+2082.3 s]
/proc/loadavg: 2.02 2.02 2.05 3/181 21273
/proc/meminfo: memFree=31382800/32770624 swapFree=0/436088
[pid=20977] ppid=20974 vsize=30808 CPUtime=2082.1 cores=1,3,5,7
/proc/20977/stat : 20977 (BTD) R 20974 20977 16590 0 -1 4202496 2410 0 0 0 208202 8 0 0 20 0 1 0 27066841 31547392 387 18446744073709551615 4194304 35031035 140724831240160 140724831239160 4394478 0 0 1 0 0 0 0 17 1 0 0 10 0 0 37130264 37226188 46473216 140724831248901 140724831248977 140724831248977 140724831252433 0
/proc/20977/statm: 7702 387 306 7529 0 149 0
Current children cumulated CPU time (s) 2082.1
Current children cumulated vsize (KiB) 30808
[startup+2142.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/184 21289
/proc/meminfo: memFree=31378584/32770624 swapFree=0/436128
[pid=20977] ppid=20974 vsize=30808 CPUtime=2142.09 cores=1,3,5,7
/proc/20977/stat : 20977 (BTD) R 20974 20977 16590 0 -1 4202496 2458 0 0 0 214201 8 0 0 20 0 1 0 27066841 31547392 387 18446744073709551615 4194304 35031035 140724831240160 140724831239160 7760122 0 0 1 0 0 0 0 17 1 0 0 10 0 0 37130264 37226188 46473216 140724831248901 140724831248977 140724831248977 140724831252433 0
/proc/20977/statm: 7702 387 306 7529 0 149 0
Current children cumulated CPU time (s) 2142.09
Current children cumulated vsize (KiB) 30808
[startup+2202.31 s]
/proc/loadavg: 2.00 2.01 2.05 3/184 21291
/proc/meminfo: memFree=31379032/32770624 swapFree=0/436136
[pid=20977] ppid=20974 vsize=30808 CPUtime=2202.1 cores=1,3,5,7
/proc/20977/stat : 20977 (BTD) R 20974 20977 16590 0 -1 4202496 2505 0 0 0 220202 8 0 0 20 0 1 0 27066841 31547392 387 18446744073709551615 4194304 35031035 140724831240160 140724831239160 4393783 0 0 1 0 0 0 0 17 1 0 0 10 0 0 37130264 37226188 46473216 140724831248901 140724831248977 140724831248977 140724831252433 0
/proc/20977/statm: 7702 387 306 7529 0 149 0
Current children cumulated CPU time (s) 2202.1
Current children cumulated vsize (KiB) 30808
[startup+2262.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 21293
/proc/meminfo: memFree=31382464/32770624 swapFree=0/436148
[pid=20977] ppid=20974 vsize=30808 CPUtime=2262.09 cores=1,3,5,7
/proc/20977/stat : 20977 (BTD) R 20974 20977 16590 0 -1 4202496 2552 0 0 0 226201 8 0 0 20 0 1 0 27066841 31547392 387 18446744073709551615 4194304 35031035 140724831240160 140724831239160 4394346 0 0 1 0 0 0 0 17 1 0 0 10 0 0 37130264 37226188 46473216 140724831248901 140724831248977 140724831248977 140724831252433 0
/proc/20977/statm: 7702 387 306 7529 0 149 0
Current children cumulated CPU time (s) 2262.09
Current children cumulated vsize (KiB) 30808
[startup+2322.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 21295
/proc/meminfo: memFree=31382736/32770624 swapFree=0/436152
[pid=20977] ppid=20974 vsize=30808 CPUtime=2322.08 cores=1,3,5,7
/proc/20977/stat : 20977 (BTD) R 20974 20977 16590 0 -1 4202496 2599 0 0 0 232200 8 0 0 20 0 1 0 27066841 31547392 387 18446744073709551615 4194304 35031035 140724831240160 140724831239160 7760122 0 0 1 0 0 0 0 17 1 0 0 10 0 0 37130264 37226188 46473216 140724831248901 140724831248977 140724831248977 140724831252433 0
/proc/20977/statm: 7702 387 306 7529 0 149 0
Current children cumulated CPU time (s) 2322.08
Current children cumulated vsize (KiB) 30808
[startup+2382.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 21297
/proc/meminfo: memFree=31382612/32770624 swapFree=0/436160
[pid=20977] ppid=20974 vsize=30808 CPUtime=2382.08 cores=1,3,5,7
/proc/20977/stat : 20977 (BTD) R 20974 20977 16590 0 -1 4202496 2646 0 0 0 238199 9 0 0 20 0 1 0 27066841 31547392 387 18446744073709551615 4194304 35031035 140724831240160 140724831239160 4394482 0 0 1 0 0 0 0 17 1 0 0 10 0 0 37130264 37226188 46473216 140724831248901 140724831248977 140724831248977 140724831252433 0
/proc/20977/statm: 7702 387 306 7529 0 149 0
Current children cumulated CPU time (s) 2382.08
Current children cumulated vsize (KiB) 30808
[startup+2442.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 21299
/proc/meminfo: memFree=31382612/32770624 swapFree=0/436180
[pid=20977] ppid=20974 vsize=30808 CPUtime=2442.08 cores=1,3,5,7
/proc/20977/stat : 20977 (BTD) R 20974 20977 16590 0 -1 4202496 2691 0 0 0 244199 9 0 0 20 0 1 0 27066841 31547392 387 18446744073709551615 4194304 35031035 140724831240160 140724831239160 4394443 0 0 1 0 0 0 0 17 1 0 0 10 0 0 37130264 37226188 46473216 140724831248901 140724831248977 140724831248977 140724831252433 0
/proc/20977/statm: 7702 387 306 7529 0 149 0
Current children cumulated CPU time (s) 2442.08
Current children cumulated vsize (KiB) 30808
[startup+2502.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 21301
/proc/meminfo: memFree=31382364/32770624 swapFree=0/436184
[pid=20977] ppid=20974 vsize=30808 CPUtime=2502.08 cores=1,3,5,7
/proc/20977/stat : 20977 (BTD) R 20974 20977 16590 0 -1 4202496 2738 0 0 0 250198 10 0 0 20 0 1 0 27066841 31547392 387 18446744073709551615 4194304 35031035 140724831240160 140724831239160 4394443 0 0 1 0 0 0 0 17 1 0 0 10 0 0 37130264 37226188 46473216 140724831248901 140724831248977 140724831248977 140724831252433 0
/proc/20977/statm: 7702 387 306 7529 0 149 0
Current children cumulated CPU time (s) 2502.08
Current children cumulated vsize (KiB) 30808
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+2520 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 21301
/proc/meminfo: memFree=31382488/32770624 swapFree=0/436192
[pid=20977] ppid=20974 vsize=30808 CPUtime=2519.77 cores=1,3,5,7
/proc/20977/stat : 20977 (BTD) R 20974 20977 16590 0 -1 4202496 2781 0 0 0 251967 10 0 0 20 0 1 0 27066841 31547392 388 18446744073709551615 4194304 35031035 140724831240160 140724831239160 4394348 0 0 1 0 0 0 0 17 1 0 0 10 0 0 37130264 37226188 46473216 140724831248901 140724831248977 140724831248977 140724831252433 0
/proc/20977/statm: 7702 388 306 7529 0 149 0
Current children cumulated CPU time (s) 2519.77
Current children cumulated vsize (KiB) 30808
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 20977 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.78
CPU user time (s): 2519.68
CPU system time (s): 0.104995
CPU usage (%): 99.9914
Max. virtual memory (cumulated for all children) (KiB): 30808
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2519.68
system time used= 0.104995
maximum resident set size= 1552
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2781
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= 2
involuntary context switches= 673
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.71667 second user time and 7.20486 second system time
The end