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-4240876-1500626186/watcher-4240876-1500626186 -o /tmp/evaluation-result-4240876-1500626186/solver-4240876-1500626186 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node138-1500623775-4222 --watchdog 2560 BTD 2400 HOME/instance-4240876-1500626186.xml
pid=4650
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 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.10 2.04 1.88 3/186 4653
/proc/meminfo: memFree=30509880/32770624 swapFree=6204/1362948
[pid=4653] ppid=4650 vsize=31068 CPUtime=0 cores=0,2,4,6
/proc/4653/stat : 4653 (BTD) R 4650 4653 4191 0 -1 4202496 504 0 0 0 0 0 0 0 20 0 1 0 16057530 31813632 325 33554432000 4194304 35031059 140728145478496 140728145478496 7398371 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 37130264 37226188 40611840 140728145487098 140728145487174 140728145487174 140728145489873 0
/proc/4653/statm: 7767 325 232 7529 0 214 0
[startup+0.100107 s]
/proc/loadavg: 2.10 2.04 1.88 3/186 4653
/proc/meminfo: memFree=30509880/32770624 swapFree=6204/1362948
[pid=4653] ppid=4650 vsize=37140 CPUtime=0.09 cores=0,2,4,6
/proc/4653/stat : 4653 (BTD) R 4650 4653 4191 0 -1 4202496 2056 0 0 0 9 0 0 0 20 0 1 0 16057530 38031360 1909 33554432000 4194304 35031059 140728145478496 140728145471304 7408842 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 37130264 37226188 40611840 140728145487098 140728145487174 140728145487174 140728145489873 0
/proc/4653/statm: 9285 1909 252 7529 0 1732 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 37140
[startup+0.200211 s]
/proc/loadavg: 2.10 2.04 1.88 3/186 4653
/proc/meminfo: memFree=30509880/32770624 swapFree=6204/1362948
[pid=4653] ppid=4650 vsize=40044 CPUtime=0.19 cores=0,2,4,6
/proc/4653/stat : 4653 (BTD) R 4650 4653 4191 0 -1 4202496 2826 0 0 0 19 0 0 0 20 0 1 0 16057530 41005056 2635 33554432000 4194304 35031059 140728145478496 140728145475672 4801782 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 37130264 37226188 40611840 140728145487098 140728145487174 140728145487174 140728145489873 0
/proc/4653/statm: 10011 2635 252 7529 0 2458 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 40044
[startup+0.300222 s]
/proc/loadavg: 2.10 2.04 1.88 3/186 4653
/proc/meminfo: memFree=30509880/32770624 swapFree=6204/1362948
[pid=4653] ppid=4650 vsize=66048 CPUtime=0.29 cores=0,2,4,6
/proc/4653/stat : 4653 (BTD) R 4650 4653 4191 0 -1 4202496 9344 0 0 0 29 0 0 0 20 0 1 0 16057530 67633152 9169 33554432000 4194304 35031059 140728145478496 140728145477256 4624015 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 37130264 37226188 40611840 140728145487098 140728145487174 140728145487174 140728145489873 0
/proc/4653/statm: 16512 9169 326 7529 0 8959 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 66048
[startup+0.700175 s]
/proc/loadavg: 2.10 2.04 1.88 3/186 4653
/proc/meminfo: memFree=30509880/32770624 swapFree=6204/1362948
[pid=4653] ppid=4650 vsize=66972 CPUtime=0.69 cores=0,2,4,6
/proc/4653/stat : 4653 (BTD) R 4650 4653 4191 0 -1 4202496 9569 0 0 0 69 0 0 0 20 0 1 0 16057530 68579328 9433 33554432000 4194304 35031059 140728145478496 140728145477256 4624015 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 37130264 37226188 40611840 140728145487098 140728145487174 140728145487174 140728145489873 0
/proc/4653/statm: 16743 9433 326 7529 0 9190 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 66972
[startup+1.50017 s]
/proc/loadavg: 2.10 2.04 1.88 3/187 4654
/proc/meminfo: memFree=30472580/32770624 swapFree=6204/1362964
[pid=4653] ppid=4650 vsize=67500 CPUtime=1.49 cores=0,2,4,6
/proc/4653/stat : 4653 (BTD) R 4650 4653 4191 0 -1 4202496 9730 0 0 0 148 1 0 0 20 0 1 0 16057530 69120000 9565 33554432000 4194304 35031059 140728145478496 140728145477256 4624015 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 37130264 37226188 40611840 140728145487098 140728145487174 140728145487174 140728145489873 0
/proc/4653/statm: 16875 9565 326 7529 0 9322 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 67500
[startup+3.1002 s]
/proc/loadavg: 2.09 2.04 1.88 3/187 4654
/proc/meminfo: memFree=30471588/32770624 swapFree=6204/1362964
[pid=4653] ppid=4650 vsize=97436 CPUtime=3.09 cores=0,2,4,6
/proc/4653/stat : 4653 (BTD) R 4650 4653 4191 0 -1 4202496 19693 0 0 0 307 2 0 0 20 0 1 0 16057530 99774464 16913 33554432000 4194304 35031059 140728145478496 140728145477496 4544929 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 37130264 37226188 40611840 140728145487098 140728145487174 140728145487174 140728145489873 0
/proc/4653/statm: 24359 16913 340 7529 0 16806 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 97436
[startup+6.30029 s]
/proc/loadavg: 2.09 2.04 1.88 3/187 4654
/proc/meminfo: memFree=30441512/32770624 swapFree=6204/1362964
[pid=4653] ppid=4650 vsize=97436 CPUtime=6.28 cores=0,2,4,6
/proc/4653/stat : 4653 (BTD) R 4650 4653 4191 0 -1 4202496 22429 0 0 0 626 2 0 0 20 0 1 0 16057530 99774464 16913 33554432000 4194304 35031059 140728145478496 140728145477496 4544929 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 37130264 37226188 40611840 140728145487098 140728145487174 140728145487174 140728145489873 0
/proc/4653/statm: 24359 16913 340 7529 0 16806 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 97436
[startup+12.7003 s]
/proc/loadavg: 2.16 2.06 1.89 3/187 4715
/proc/meminfo: memFree=30443680/32770624 swapFree=6204/1363000
[pid=4653] ppid=4650 vsize=97700 CPUtime=12.69 cores=0,2,4,6
/proc/4653/stat : 4653 (BTD) R 4650 4653 4191 0 -1 4202496 23590 0 0 0 1266 3 0 0 20 0 1 0 16057530 100044800 16940 33554432000 4194304 35031059 140728145478496 140728145477496 4491612 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 37130264 37226188 40611840 140728145487098 140728145487174 140728145487174 140728145489873 0
/proc/4653/statm: 24425 16940 340 7529 0 16872 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 97700
[startup+25.5004 s]
/proc/loadavg: 2.13 2.06 1.89 3/187 4715
/proc/meminfo: memFree=30441964/32770624 swapFree=6204/1363016
[pid=4653] ppid=4650 vsize=98360 CPUtime=25.48 cores=0,2,4,6
/proc/4653/stat : 4653 (BTD) R 4650 4653 4191 0 -1 4202496 25805 0 0 0 2545 3 0 0 20 0 1 0 16057530 100720640 17153 33554432000 4194304 35031059 140728145478496 140728145477496 4213314 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 37130264 37226188 40611840 140728145487098 140728145487174 140728145487174 140728145489873 0
/proc/4653/statm: 24590 17153 340 7529 0 17037 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 98360
[startup+51.1003 s]
/proc/loadavg: 2.16 2.07 1.89 3/187 4715
/proc/meminfo: memFree=30441808/32770624 swapFree=6204/1363036
[pid=4653] ppid=4650 vsize=99152 CPUtime=51.07 cores=0,2,4,6
/proc/4653/stat : 4653 (BTD) R 4650 4653 4191 0 -1 4202496 26574 0 0 0 5103 4 0 0 20 0 1 0 16057530 101531648 17352 33554432000 4194304 35031059 140728145478496 140728145477496 4491589 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 37130264 37226188 40611840 140728145487098 140728145487174 140728145487174 140728145489873 0
/proc/4653/statm: 24788 17352 340 7529 0 17235 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 99152
[startup+102.3 s]
/proc/loadavg: 2.06 2.06 1.90 3/187 4716
/proc/meminfo: memFree=30440468/32770624 swapFree=6204/1363068
[pid=4653] ppid=4650 vsize=100208 CPUtime=102.28 cores=0,2,4,6
/proc/4653/stat : 4653 (BTD) R 4650 4653 4191 0 -1 4202496 27489 0 0 0 10223 5 0 0 20 0 1 0 16057530 102612992 17599 33554432000 4194304 35031059 140728145478496 140728145477496 4544952 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 37130264 37226188 40611840 140728145487098 140728145487174 140728145487174 140728145489873 0
/proc/4653/statm: 25052 17599 340 7529 0 17499 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 100208
[startup+162.3 s]
/proc/loadavg: 2.03 2.05 1.91 3/187 4717
/proc/meminfo: memFree=30440084/32770624 swapFree=6204/1363100
[pid=4653] ppid=4650 vsize=100472 CPUtime=162.26 cores=0,2,4,6
/proc/4653/stat : 4653 (BTD) R 4650 4653 4191 0 -1 4202496 28039 0 0 0 16221 5 0 0 20 0 1 0 16057530 102883328 17693 33554432000 4194304 35031059 140728145478496 140728145477496 4491750 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 37130264 37226188 40611840 140728145487098 140728145487174 140728145487174 140728145489873 0
/proc/4653/statm: 25118 17693 340 7529 0 17565 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 100472
[startup+222.306 s]
/proc/loadavg: 2.01 2.04 1.91 3/188 4726
/proc/meminfo: memFree=30439716/32770624 swapFree=6204/1363136
[pid=4653] ppid=4650 vsize=100604 CPUtime=222.27 cores=0,2,4,6
/proc/4653/stat : 4653 (BTD) R 4650 4653 4191 0 -1 4202496 28493 0 0 0 22221 6 0 0 20 0 1 0 16057530 103018496 17699 33554432000 4194304 35031059 140728145478496 140728145477496 4491627 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 37130264 37226188 40611840 140728145487098 140728145487174 140728145487174 140728145489873 0
/proc/4653/statm: 25151 17699 340 7529 0 17598 0
Current children cumulated CPU time (s) 222.27
Current children cumulated vsize (KiB) 100604
[startup+282.3 s]
/proc/loadavg: 2.06 2.05 1.92 3/188 4727
/proc/meminfo: memFree=30440636/32770624 swapFree=6204/1363168
[pid=4653] ppid=4650 vsize=100604 CPUtime=282.26 cores=0,2,4,6
/proc/4653/stat : 4653 (BTD) R 4650 4653 4191 0 -1 4202496 28954 0 0 0 28219 7 0 0 20 0 1 0 16057530 103018496 17720 33554432000 4194304 35031059 140728145478496 140728145477496 4544918 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 37130264 37226188 40611840 140728145487098 140728145487174 140728145487174 140728145489873 0
/proc/4653/statm: 25151 17720 340 7529 0 17598 0
Current children cumulated CPU time (s) 282.26
Current children cumulated vsize (KiB) 100604
[startup+342.3 s]
/proc/loadavg: 2.02 2.04 1.93 3/188 4728
/proc/meminfo: memFree=30440148/32770624 swapFree=6204/1363200
[pid=4653] ppid=4650 vsize=101000 CPUtime=342.25 cores=0,2,4,6
/proc/4653/stat : 4653 (BTD) R 4650 4653 4191 0 -1 4202496 29475 0 0 0 34218 7 0 0 20 0 1 0 16057530 103424000 17761 33554432000 4194304 35031059 140728145478496 140728145477496 4213314 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 37130264 37226188 40611840 140728145487098 140728145487174 140728145487174 140728145489873 0
/proc/4653/statm: 25250 17761 340 7529 0 17697 0
Current children cumulated CPU time (s) 342.25
Current children cumulated vsize (KiB) 101000
[startup+402.3 s]
/proc/loadavg: 2.01 2.03 1.93 3/188 4729
/proc/meminfo: memFree=30440556/32770624 swapFree=6204/1363232
[pid=4653] ppid=4650 vsize=101000 CPUtime=402.24 cores=0,2,4,6
/proc/4653/stat : 4653 (BTD) R 4650 4653 4191 0 -1 4202496 29911 0 0 0 40216 8 0 0 20 0 1 0 16057530 103424000 17809 33554432000 4194304 35031059 140728145478496 140728145477496 4544929 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 37130264 37226188 40611840 140728145487098 140728145487174 140728145487174 140728145489873 0
/proc/4653/statm: 25250 17809 340 7529 0 17697 0
Current children cumulated CPU time (s) 402.24
Current children cumulated vsize (KiB) 101000
[startup+462.3 s]
/proc/loadavg: 2.00 2.03 1.94 3/188 4730
/proc/meminfo: memFree=30440280/32770624 swapFree=6204/1363260
[pid=4653] ppid=4650 vsize=101000 CPUtime=462.24 cores=0,2,4,6
/proc/4653/stat : 4653 (BTD) R 4650 4653 4191 0 -1 4202496 30343 0 0 0 46215 9 0 0 20 0 1 0 16057530 103424000 17811 33554432000 4194304 35031059 140728145478496 140728145477496 4544952 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 37130264 37226188 40611840 140728145487098 140728145487174 140728145487174 140728145489873 0
/proc/4653/statm: 25250 17811 340 7529 0 17697 0
Current children cumulated CPU time (s) 462.24
Current children cumulated vsize (KiB) 101000
[startup+522.3 s]
/proc/loadavg: 2.00 2.02 1.95 3/187 4731
/proc/meminfo: memFree=30440264/32770624 swapFree=6204/1363288
[pid=4653] ppid=4650 vsize=101000 CPUtime=522.24 cores=0,2,4,6
/proc/4653/stat : 4653 (BTD) R 4650 4653 4191 0 -1 4202496 30790 0 0 0 52214 10 0 0 20 0 1 0 16057530 103424000 17817 33554432000 4194304 35031059 140728145478496 140728145477496 4544918 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 37130264 37226188 40611840 140728145487098 140728145487174 140728145487174 140728145489873 0
/proc/4653/statm: 25250 17817 340 7529 0 17697 0
Current children cumulated CPU time (s) 522.24
Current children cumulated vsize (KiB) 101000
[startup+582.3 s]
/proc/loadavg: 2.05 2.03 1.95 3/187 4732
/proc/meminfo: memFree=30440184/32770624 swapFree=6204/1363320
[pid=4653] ppid=4650 vsize=101000 CPUtime=582.24 cores=0,2,4,6
/proc/4653/stat : 4653 (BTD) R 4650 4653 4191 0 -1 4202496 31233 0 0 0 58214 10 0 0 20 0 1 0 16057530 103424000 17821 33554432000 4194304 35031059 140728145478496 140728145477496 4544929 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 37130264 37226188 40611840 140728145487098 140728145487174 140728145487174 140728145489873 0
/proc/4653/statm: 25250 17821 340 7529 0 17697 0
Current children cumulated CPU time (s) 582.24
Current children cumulated vsize (KiB) 101000
################
# More data... #
################
[startup+1482.3 s]
/proc/loadavg: 2.00 2.02 1.98 3/188 4787
/proc/meminfo: memFree=30437944/32770624 swapFree=6204/1363824
[pid=4653] ppid=4650 vsize=101264 CPUtime=1482.16 cores=0,2,4,6
/proc/4653/stat : 4653 (BTD) R 4650 4653 4191 0 -1 4202496 37396 0 0 0 148197 19 0 0 20 0 1 0 16057530 103694336 17876 33554432000 4194304 35031059 140728145478496 140728145477496 4544929 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 37130264 37226188 40611840 140728145487098 140728145487174 140728145487174 140728145489873 0
/proc/4653/statm: 25316 17876 340 7529 0 17763 0
Current children cumulated CPU time (s) 1482.16
Current children cumulated vsize (KiB) 101264
[startup+1542.31 s]
/proc/loadavg: 2.11 2.04 1.99 3/187 4788
/proc/meminfo: memFree=30438952/32770624 swapFree=6204/1363856
[pid=4653] ppid=4650 vsize=101264 CPUtime=1542.16 cores=0,2,4,6
/proc/4653/stat : 4653 (BTD) R 4650 4653 4191 0 -1 4202496 37857 0 0 0 154196 20 0 0 20 0 1 0 16057530 103694336 17876 33554432000 4194304 35031059 140728145478496 140728145477496 4544915 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 37130264 37226188 40611840 140728145487098 140728145487174 140728145487174 140728145489873 0
/proc/4653/statm: 25316 17876 340 7529 0 17763 0
Current children cumulated CPU time (s) 1542.16
Current children cumulated vsize (KiB) 101264
[startup+1602.3 s]
/proc/loadavg: 2.04 2.04 1.99 3/188 4790
/proc/meminfo: memFree=30438768/32770624 swapFree=6204/1363888
[pid=4653] ppid=4650 vsize=101264 CPUtime=1602.16 cores=0,2,4,6
/proc/4653/stat : 4653 (BTD) R 4650 4653 4191 0 -1 4202496 38207 0 0 0 160195 21 0 0 20 0 1 0 16057530 103694336 17884 33554432000 4194304 35031059 140728145478496 140728145477496 4491568 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 37130264 37226188 40611840 140728145487098 140728145487174 140728145487174 140728145489873 0
/proc/4653/statm: 25316 17884 340 7529 0 17763 0
Current children cumulated CPU time (s) 1602.16
Current children cumulated vsize (KiB) 101264
[startup+1662.3 s]
/proc/loadavg: 2.02 2.03 1.99 3/188 4791
/proc/meminfo: memFree=30439024/32770624 swapFree=6204/1363912
[pid=4653] ppid=4650 vsize=101264 CPUtime=1662.15 cores=0,2,4,6
/proc/4653/stat : 4653 (BTD) R 4650 4653 4191 0 -1 4202496 38579 0 0 0 166193 22 0 0 20 0 1 0 16057530 103694336 17884 33554432000 4194304 35031059 140728145478496 140728145477496 4544929 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 37130264 37226188 40611840 140728145487098 140728145487174 140728145487174 140728145489873 0
/proc/4653/statm: 25316 17884 340 7529 0 17763 0
Current children cumulated CPU time (s) 1662.15
Current children cumulated vsize (KiB) 101264
[startup+1722.3 s]
/proc/loadavg: 2.01 2.03 1.99 3/188 4792
/proc/meminfo: memFree=30438900/32770624 swapFree=6204/1363944
[pid=4653] ppid=4650 vsize=101264 CPUtime=1722.15 cores=0,2,4,6
/proc/4653/stat : 4653 (BTD) R 4650 4653 4191 0 -1 4202496 39027 0 0 0 172192 23 0 0 20 0 1 0 16057530 103694336 17884 33554432000 4194304 35031059 140728145478496 140728145477496 4544915 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 37130264 37226188 40611840 140728145487098 140728145487174 140728145487174 140728145489873 0
/proc/4653/statm: 25316 17884 340 7529 0 17763 0
Current children cumulated CPU time (s) 1722.15
Current children cumulated vsize (KiB) 101264
[startup+1782.3 s]
/proc/loadavg: 2.00 2.02 1.99 3/187 4793
/proc/meminfo: memFree=30438456/32770624 swapFree=6204/1363972
[pid=4653] ppid=4650 vsize=101264 CPUtime=1782.15 cores=0,2,4,6
/proc/4653/stat : 4653 (BTD) R 4650 4653 4191 0 -1 4202496 39387 0 0 0 178191 24 0 0 20 0 1 0 16057530 103694336 17888 33554432000 4194304 35031059 140728145478496 140728145477496 4544929 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 37130264 37226188 40611840 140728145487098 140728145487174 140728145487174 140728145489873 0
/proc/4653/statm: 25316 17888 340 7529 0 17763 0
Current children cumulated CPU time (s) 1782.15
Current children cumulated vsize (KiB) 101264
[startup+1842.3 s]
/proc/loadavg: 2.00 2.01 1.99 3/187 4794
/proc/meminfo: memFree=30438828/32770624 swapFree=6204/1364008
[pid=4653] ppid=4650 vsize=101264 CPUtime=1842.14 cores=0,2,4,6
/proc/4653/stat : 4653 (BTD) R 4650 4653 4191 0 -1 4202496 39741 0 0 0 184189 25 0 0 20 0 1 0 16057530 103694336 17888 33554432000 4194304 35031059 140728145478496 140728145477496 4491754 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 37130264 37226188 40611840 140728145487098 140728145487174 140728145487174 140728145489873 0
/proc/4653/statm: 25316 17888 340 7529 0 17763 0
Current children cumulated CPU time (s) 1842.14
Current children cumulated vsize (KiB) 101264
[startup+1902.3 s]
/proc/loadavg: 2.00 2.01 1.99 3/187 4795
/proc/meminfo: memFree=30438952/32770624 swapFree=6204/1364040
[pid=4653] ppid=4650 vsize=101264 CPUtime=1902.13 cores=0,2,4,6
/proc/4653/stat : 4653 (BTD) R 4650 4653 4191 0 -1 4202496 40207 0 0 0 190188 25 0 0 20 0 1 0 16057530 103694336 17891 33554432000 4194304 35031059 140728145478496 140728145477496 4544931 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 37130264 37226188 40611840 140728145487098 140728145487174 140728145487174 140728145489873 0
/proc/4653/statm: 25316 17891 340 7529 0 17763 0
Current children cumulated CPU time (s) 1902.13
Current children cumulated vsize (KiB) 101264
[startup+1962.3 s]
/proc/loadavg: 2.00 2.01 1.99 3/187 4796
/proc/meminfo: memFree=30438800/32770624 swapFree=6204/1364068
[pid=4653] ppid=4650 vsize=101264 CPUtime=1962.13 cores=0,2,4,6
/proc/4653/stat : 4653 (BTD) R 4650 4653 4191 0 -1 4202496 40588 0 0 0 196187 26 0 0 20 0 1 0 16057530 103694336 17894 33554432000 4194304 35031059 140728145478496 140728145477496 4213296 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 37130264 37226188 40611840 140728145487098 140728145487174 140728145487174 140728145489873 0
/proc/4653/statm: 25316 17894 340 7529 0 17763 0
Current children cumulated CPU time (s) 1962.13
Current children cumulated vsize (KiB) 101264
[startup+2022.3 s]
/proc/loadavg: 2.00 2.01 1.99 3/187 4804
/proc/meminfo: memFree=30437264/32770624 swapFree=6204/1364100
[pid=4653] ppid=4650 vsize=101264 CPUtime=2022.12 cores=0,2,4,6
/proc/4653/stat : 4653 (BTD) R 4650 4653 4191 0 -1 4202496 40934 0 0 0 202186 26 0 0 20 0 1 0 16057530 103694336 17894 33554432000 4194304 35031059 140728145478496 140728145477496 4213314 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 37130264 37226188 40611840 140728145487098 140728145487174 140728145487174 140728145489873 0
/proc/4653/statm: 25316 17894 340 7529 0 17763 0
Current children cumulated CPU time (s) 2022.12
Current children cumulated vsize (KiB) 101264
[startup+2082.3 s]
/proc/loadavg: 2.04 2.03 1.99 3/187 4805
/proc/meminfo: memFree=30437792/32770624 swapFree=6204/1364136
[pid=4653] ppid=4650 vsize=101264 CPUtime=2082.13 cores=0,2,4,6
/proc/4653/stat : 4653 (BTD) R 4650 4653 4191 0 -1 4202496 41372 0 0 0 208186 27 0 0 20 0 1 0 16057530 103694336 17897 33554432000 4194304 35031059 140728145478496 140728145477496 4544918 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 37130264 37226188 40611840 140728145487098 140728145487174 140728145487174 140728145489873 0
/proc/4653/statm: 25316 17897 340 7529 0 17763 0
Current children cumulated CPU time (s) 2082.13
Current children cumulated vsize (KiB) 101264
[startup+2142.3 s]
/proc/loadavg: 2.02 2.02 1.99 3/187 4806
/proc/meminfo: memFree=30438516/32770624 swapFree=6204/1364172
[pid=4653] ppid=4650 vsize=101264 CPUtime=2142.11 cores=0,2,4,6
/proc/4653/stat : 4653 (BTD) R 4650 4653 4191 0 -1 4202496 41715 0 0 0 214184 27 0 0 20 0 1 0 16057530 103694336 17897 33554432000 4194304 35031059 140728145478496 140728145477496 7760138 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 37130264 37226188 40611840 140728145487098 140728145487174 140728145487174 140728145489873 0
/proc/4653/statm: 25316 17897 340 7529 0 17763 0
Current children cumulated CPU time (s) 2142.11
Current children cumulated vsize (KiB) 101264
[startup+2202.31 s]
/proc/loadavg: 2.01 2.02 1.99 3/187 4807
/proc/meminfo: memFree=30438500/32770624 swapFree=6204/1364200
[pid=4653] ppid=4650 vsize=101264 CPUtime=2202.12 cores=0,2,4,6
/proc/4653/stat : 4653 (BTD) R 4650 4653 4191 0 -1 4202496 42089 0 0 0 220184 28 0 0 20 0 1 0 16057530 103694336 17897 33554432000 4194304 35031059 140728145478496 140728145477496 6458055 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 37130264 37226188 40611840 140728145487098 140728145487174 140728145487174 140728145489873 0
/proc/4653/statm: 25316 17897 340 7529 0 17763 0
Current children cumulated CPU time (s) 2202.12
Current children cumulated vsize (KiB) 101264
[startup+2262.3 s]
/proc/loadavg: 2.00 2.01 1.99 3/187 4808
/proc/meminfo: memFree=30438360/32770624 swapFree=6204/1364228
[pid=4653] ppid=4650 vsize=101264 CPUtime=2262.11 cores=0,2,4,6
/proc/4653/stat : 4653 (BTD) R 4650 4653 4191 0 -1 4202496 42435 0 0 0 226182 29 0 0 20 0 1 0 16057530 103694336 17897 33554432000 4194304 35031059 140728145478496 140728145477496 4213314 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 37130264 37226188 40611840 140728145487098 140728145487174 140728145487174 140728145489873 0
/proc/4653/statm: 25316 17897 340 7529 0 17763 0
Current children cumulated CPU time (s) 2262.11
Current children cumulated vsize (KiB) 101264
[startup+2322.3 s]
/proc/loadavg: 2.00 2.01 1.99 3/187 4809
/proc/meminfo: memFree=30438468/32770624 swapFree=6204/1364256
[pid=4653] ppid=4650 vsize=101396 CPUtime=2322.1 cores=0,2,4,6
/proc/4653/stat : 4653 (BTD) R 4650 4653 4191 0 -1 4202496 42916 0 0 0 232181 29 0 0 20 0 1 0 16057530 103829504 17907 33554432000 4194304 35031059 140728145478496 140728145477496 4544918 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 37130264 37226188 40611840 140728145487098 140728145487174 140728145487174 140728145489873 0
/proc/4653/statm: 25349 17907 340 7529 0 17796 0
Current children cumulated CPU time (s) 2322.1
Current children cumulated vsize (KiB) 101396
[startup+2382.3 s]
/proc/loadavg: 2.00 2.01 1.99 3/187 4810
/proc/meminfo: memFree=30438072/32770624 swapFree=6204/1364288
[pid=4653] ppid=4650 vsize=101396 CPUtime=2382.1 cores=0,2,4,6
/proc/4653/stat : 4653 (BTD) R 4650 4653 4191 0 -1 4202496 43263 0 0 0 238180 30 0 0 20 0 1 0 16057530 103829504 17907 33554432000 4194304 35031059 140728145478496 140728145477496 4491837 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 37130264 37226188 40611840 140728145487098 140728145487174 140728145487174 140728145489873 0
/proc/4653/statm: 25349 17907 340 7529 0 17796 0
Current children cumulated CPU time (s) 2382.1
Current children cumulated vsize (KiB) 101396
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2400.2 s]
/proc/loadavg: 2.00 2.01 1.99 3/187 4810
/proc/meminfo: memFree=30438684/32770624 swapFree=6204/1364304
[pid=4653] ppid=4650 vsize=100160 CPUtime=2400 cores=0,2,4,6
/proc/4653/stat : 4653 (BTD) R 4650 4653 4191 0 -1 4202496 44026 0 0 0 239970 30 0 0 20 0 1 0 16057530 102563840 17723 33554432000 4194304 35031059 140728145478496 140728145477496 4538030 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 37130264 37226188 40611840 140728145487098 140728145487174 140728145487174 140728145489873 0
/proc/4653/statm: 25040 17723 348 7529 0 17487 0
Current children cumulated CPU time (s) 2400
Current children cumulated vsize (KiB) 100160
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 4653 sig 9
??? kill -4653 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): 2400.21
CPU time (s): 2400.01
CPU user time (s): 2399.71
CPU system time (s): 0.303976
CPU usage (%): 99.9919
Max. virtual memory (cumulated for all children) (KiB): 101396
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2399.71
system time used= 0.303976
maximum resident set size= 71628
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 44100
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= 9
involuntary context switches= 123987
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.31182 second user time and 8.90583 second system time
The end