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-4260636-1502247674/watcher-4260636-1502247674 -o /tmp/evaluation-result-4260636-1502247674/solver-4260636-1502247674 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node132-1502234549-4588 --watchdog 2580 BTD 2520 HOME/instance-4260636-1502247674.xml
pid=7104
running on 4 cores: 0,2,4,6
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.01 2.04 2.05 3/183 7107
/proc/meminfo: memFree=31193632/32770624 swapFree=0/395356
[pid=7107] ppid=7104 vsize=23672 CPUtime=0 cores=0,2,4,6
/proc/7107/stat : 7107 (runsolver) D 7104 7107 4525 0 -1 4202560 108 0 0 0 0 0 0 0 20 0 1 0 124420440 24240128 106 18446744073709551615 4194304 4338465 140730365790256 140730365787896 140394524779223 0 0 1 24578 18446744071580418449 0 0 17 4 0 0 0 0 0 6438912 6441760 17960960 140730365796565 140730365796937 140730365796937 140730365800394 0
/proc/7107/statm: 5918 106 53 36 0 2156 0
[startup+0.100105 s]
/proc/loadavg: 2.01 2.04 2.05 3/183 7107
/proc/meminfo: memFree=31193632/32770624 swapFree=0/395356
[pid=7107] ppid=7104 vsize=31368 CPUtime=0.01 cores=0,2,4,6
/proc/7107/stat : 7107 (BTD) R 7104 7107 4525 0 -1 4202496 565 0 0 0 1 0 0 0 20 0 1 0 124420440 32120832 397 18446744073709551615 4194304 35031035 140731903107840 140731903107840 6484636 0 0 1 0 0 0 0 17 0 0 0 8 0 0 37130264 37226188 42106880 140731903111684 140731903111760 140731903111760 140731903115217 0
/proc/7107/statm: 7842 397 239 7529 0 289 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 31368
[startup+0.200215 s]
/proc/loadavg: 2.01 2.04 2.05 3/183 7107
/proc/meminfo: memFree=31193632/32770624 swapFree=0/395356
[pid=7107] ppid=7104 vsize=31620 CPUtime=0.11 cores=0,2,4,6
/proc/7107/stat : 7107 (BTD) R 7104 7107 4525 0 -1 4202496 696 0 0 0 11 0 0 0 20 0 1 0 124420440 32378880 551 18446744073709551615 4194304 35031035 140731903107840 140731903107840 7405921 0 0 1 0 0 0 0 17 0 0 0 8 0 0 37130264 37226188 42106880 140731903111684 140731903111760 140731903111760 140731903115217 0
/proc/7107/statm: 7905 551 283 7529 0 352 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 31620
[startup+0.300198 s]
/proc/loadavg: 2.01 2.04 2.05 3/183 7107
/proc/meminfo: memFree=31193632/32770624 swapFree=0/395356
[pid=7107] ppid=7104 vsize=31992 CPUtime=0.21 cores=0,2,4,6
/proc/7107/stat : 7107 (BTD) R 7104 7107 4525 0 -1 4202496 783 0 0 0 21 0 0 0 20 0 1 0 124420440 32759808 646 18446744073709551615 4194304 35031035 140731903107840 140731903107840 7405921 0 0 1 0 0 0 0 17 0 0 0 8 0 0 37130264 37226188 42106880 140731903111684 140731903111760 140731903111760 140731903115217 0
/proc/7107/statm: 7998 646 283 7529 0 445 0
Current children cumulated CPU time (s) 0.21
Current children cumulated vsize (KiB) 31992
[startup+0.700172 s]
/proc/loadavg: 2.01 2.04 2.05 3/183 7107
/proc/meminfo: memFree=31193632/32770624 swapFree=0/395356
[pid=7107] ppid=7104 vsize=33320 CPUtime=0.61 cores=0,2,4,6
/proc/7107/stat : 7107 (BTD) R 7104 7107 4525 0 -1 4202496 1113 0 0 0 61 0 0 0 20 0 1 0 124420440 34119680 984 18446744073709551615 4194304 35031035 140731903107840 140731903107840 6446112 0 0 1 0 0 0 0 17 0 0 0 8 0 0 37130264 37226188 42106880 140731903111684 140731903111760 140731903111760 140731903115217 0
/proc/7107/statm: 8330 984 283 7529 0 777 0
Current children cumulated CPU time (s) 0.61
Current children cumulated vsize (KiB) 33320
[startup+1.50018 s]
/proc/loadavg: 2.01 2.04 2.05 3/184 7108
/proc/meminfo: memFree=31179964/32770624 swapFree=0/395620
[pid=7107] ppid=7104 vsize=44808 CPUtime=1.4 cores=0,2,4,6
/proc/7107/stat : 7107 (BTD) R 7104 7107 4525 0 -1 4202496 4152 0 0 0 140 0 0 0 20 0 1 0 124420440 45883392 4024 18446744073709551615 4194304 35031035 140731903107840 140731903106840 4544922 0 0 1 0 0 0 0 17 0 0 0 8 0 0 37130264 37226188 42106880 140731903111684 140731903111760 140731903111760 140731903115217 0
/proc/7107/statm: 11202 4024 476 7529 0 3649 0
Current children cumulated CPU time (s) 1.4
Current children cumulated vsize (KiB) 44808
[startup+3.10018 s]
/proc/loadavg: 2.01 2.04 2.05 3/184 7108
/proc/meminfo: memFree=31179596/32770624 swapFree=0/395620
[pid=7107] ppid=7104 vsize=44808 CPUtime=3 cores=0,2,4,6
/proc/7107/stat : 7107 (BTD) R 7104 7107 4525 0 -1 4202496 5315 0 0 0 299 1 0 0 20 0 1 0 124420440 45883392 4032 18446744073709551615 4194304 35031035 140731903107840 140731903106840 4309333 0 0 1 0 0 0 0 17 0 0 0 8 0 0 37130264 37226188 42106880 140731903111684 140731903111760 140731903111760 140731903115217 0
/proc/7107/statm: 11202 4032 476 7529 0 3649 0
Current children cumulated CPU time (s) 3
Current children cumulated vsize (KiB) 44808
[startup+6.30018 s]
/proc/loadavg: 1.93 2.02 2.04 3/184 7108
/proc/meminfo: memFree=31179212/32770624 swapFree=0/395620
[pid=7107] ppid=7104 vsize=44808 CPUtime=6.2 cores=0,2,4,6
/proc/7107/stat : 7107 (BTD) R 7104 7107 4525 0 -1 4202496 6485 0 0 0 618 2 0 0 20 0 1 0 124420440 45883392 4037 18446744073709551615 4194304 35031035 140731903107840 140731903106840 7760122 0 0 1 0 0 0 0 17 0 0 0 8 0 0 37130264 37226188 42106880 140731903111684 140731903111760 140731903111760 140731903115217 0
/proc/7107/statm: 11202 4037 476 7529 0 3649 0
Current children cumulated CPU time (s) 6.2
Current children cumulated vsize (KiB) 44808
[startup+12.7002 s]
/proc/loadavg: 1.94 2.02 2.04 3/184 7108
/proc/meminfo: memFree=31178840/32770624 swapFree=0/395620
[pid=7107] ppid=7104 vsize=44808 CPUtime=12.6 cores=0,2,4,6
/proc/7107/stat : 7107 (BTD) R 7104 7107 4525 0 -1 4202496 7659 0 0 0 1256 4 0 0 20 0 1 0 124420440 45883392 4044 18446744073709551615 4194304 35031035 140731903107840 140731903106840 4296132 0 0 1 0 0 0 0 17 0 0 0 8 0 0 37130264 37226188 42106880 140731903111684 140731903111760 140731903111760 140731903115217 0
/proc/7107/statm: 11202 4044 476 7529 0 3649 0
Current children cumulated CPU time (s) 12.6
Current children cumulated vsize (KiB) 44808
[startup+25.5003 s]
/proc/loadavg: 1.95 2.02 2.04 3/184 7108
/proc/meminfo: memFree=31178300/32770624 swapFree=0/395648
[pid=7107] ppid=7104 vsize=44808 CPUtime=25.4 cores=0,2,4,6
/proc/7107/stat : 7107 (BTD) R 7104 7107 4525 0 -1 4202496 10003 0 0 0 2530 10 0 0 20 0 1 0 124420440 45883392 4054 18446744073709551615 4194304 35031035 140731903107840 140731903106840 7760122 0 0 1 0 0 0 0 17 4 0 0 8 0 0 37130264 37226188 42106880 140731903111684 140731903111760 140731903111760 140731903115217 0
/proc/7107/statm: 11202 4054 476 7529 0 3649 0
Current children cumulated CPU time (s) 25.4
Current children cumulated vsize (KiB) 44808
[startup+51.1003 s]
/proc/loadavg: 1.97 2.02 2.04 3/184 7109
/proc/meminfo: memFree=31176872/32770624 swapFree=0/395660
[pid=7107] ppid=7104 vsize=44940 CPUtime=51 cores=0,2,4,6
/proc/7107/stat : 7107 (BTD) R 7104 7107 4525 0 -1 4202496 11199 0 0 0 5078 22 0 0 20 0 1 0 124420440 46018560 4064 18446744073709551615 4194304 35031035 140731903107840 140731903106840 7760122 0 0 1 0 0 0 0 17 4 0 0 8 0 0 37130264 37226188 42106880 140731903111684 140731903111760 140731903111760 140731903115217 0
/proc/7107/statm: 11235 4064 476 7529 0 3682 0
Current children cumulated CPU time (s) 51
Current children cumulated vsize (KiB) 44940
[startup+102.3 s]
/proc/loadavg: 1.99 2.01 2.04 3/184 7111
/proc/meminfo: memFree=31177976/32770624 swapFree=0/395676
[pid=7107] ppid=7104 vsize=44940 CPUtime=102.19 cores=0,2,4,6
/proc/7107/stat : 7107 (BTD) R 7104 7107 4525 0 -1 4202496 11727 0 0 0 10175 44 0 0 20 0 1 0 124420440 46018560 4085 18446744073709551615 4194304 35031035 140731903107840 140731903106840 4293658 0 0 1 0 0 0 0 17 2 0 0 8 0 0 37130264 37226188 42106880 140731903111684 140731903111760 140731903111760 140731903115217 0
/proc/7107/statm: 11235 4085 476 7529 0 3682 0
Current children cumulated CPU time (s) 102.19
Current children cumulated vsize (KiB) 44940
[startup+162.3 s]
/proc/loadavg: 1.91 1.98 2.03 3/185 7114
/proc/meminfo: memFree=31177644/32770624 swapFree=0/395696
[pid=7107] ppid=7104 vsize=44940 CPUtime=162.18 cores=0,2,4,6
/proc/7107/stat : 7107 (BTD) R 7104 7107 4525 0 -1 4202496 12258 0 0 0 16149 69 0 0 20 0 1 0 124420440 46018560 4090 18446744073709551615 4194304 35031035 140731903107840 140731903106840 7760122 0 0 1 0 0 0 0 17 4 0 0 8 0 0 37130264 37226188 42106880 140731903111684 140731903111760 140731903111760 140731903115217 0
/proc/7107/statm: 11235 4090 476 7529 0 3682 0
Current children cumulated CPU time (s) 162.18
Current children cumulated vsize (KiB) 44940
[startup+222.306 s]
/proc/loadavg: 1.97 1.99 2.03 3/188 7130
/proc/meminfo: memFree=31172924/32770624 swapFree=0/395720
[pid=7107] ppid=7104 vsize=44940 CPUtime=222.19 cores=0,2,4,6
/proc/7107/stat : 7107 (BTD) R 7104 7107 4525 0 -1 4202496 12776 0 0 0 22124 95 0 0 20 0 1 0 124420440 46018560 4095 18446744073709551615 4194304 35031035 140731903107840 140731903106840 7760122 0 0 1 0 0 0 0 17 4 0 0 8 0 0 37130264 37226188 42106880 140731903111684 140731903111760 140731903111760 140731903115217 0
/proc/7107/statm: 11235 4095 476 7529 0 3682 0
Current children cumulated CPU time (s) 222.19
Current children cumulated vsize (KiB) 44940
[startup+282.3 s]
/proc/loadavg: 1.99 1.99 2.03 3/188 7133
/proc/meminfo: memFree=31172960/32770624 swapFree=0/395744
[pid=7107] ppid=7104 vsize=44940 CPUtime=282.18 cores=0,2,4,6
/proc/7107/stat : 7107 (BTD) R 7104 7107 4525 0 -1 4202496 13319 0 0 0 28096 122 0 0 20 0 1 0 124420440 46018560 4097 18446744073709551615 4194304 35031035 140731903107840 140731903106840 4293578 0 0 1 0 0 0 0 17 0 0 0 8 0 0 37130264 37226188 42106880 140731903111684 140731903111760 140731903111760 140731903115217 0
/proc/7107/statm: 11235 4097 476 7529 0 3682 0
Current children cumulated CPU time (s) 282.18
Current children cumulated vsize (KiB) 44940
[startup+342.3 s]
/proc/loadavg: 2.03 2.00 2.03 3/186 7136
/proc/meminfo: memFree=31176864/32770624 swapFree=0/395760
[pid=7107] ppid=7104 vsize=44940 CPUtime=342.17 cores=0,2,4,6
/proc/7107/stat : 7107 (BTD) R 7104 7107 4525 0 -1 4202496 13823 0 0 0 34073 144 0 0 20 0 1 0 124420440 46018560 4099 18446744073709551615 4194304 35031035 140731903107840 140731903106840 7760122 0 0 1 0 0 0 0 17 4 0 0 8 0 0 37130264 37226188 42106880 140731903111684 140731903111760 140731903111760 140731903115217 0
/proc/7107/statm: 11235 4099 476 7529 0 3682 0
Current children cumulated CPU time (s) 342.17
Current children cumulated vsize (KiB) 44940
[startup+402.3 s]
/proc/loadavg: 2.01 2.00 2.03 3/186 7138
/proc/meminfo: memFree=31177364/32770624 swapFree=0/395784
[pid=7107] ppid=7104 vsize=44940 CPUtime=402.16 cores=0,2,4,6
/proc/7107/stat : 7107 (BTD) R 7104 7107 4525 0 -1 4202496 14365 0 0 0 40045 171 0 0 20 0 1 0 124420440 46018560 4101 18446744073709551615 4194304 35031035 140731903107840 140731903106840 7760122 0 0 1 0 0 0 0 17 4 0 0 8 0 0 37130264 37226188 42106880 140731903111684 140731903111760 140731903111760 140731903115217 0
/proc/7107/statm: 11235 4101 476 7529 0 3682 0
Current children cumulated CPU time (s) 402.16
Current children cumulated vsize (KiB) 44940
[startup+462.3 s]
/proc/loadavg: 2.00 2.00 2.03 3/185 7140
/proc/meminfo: memFree=31177568/32770624 swapFree=0/395796
[pid=7107] ppid=7104 vsize=44940 CPUtime=462.16 cores=0,2,4,6
/proc/7107/stat : 7107 (BTD) R 7104 7107 4525 0 -1 4202496 14905 0 0 0 46020 196 0 0 20 0 1 0 124420440 46018560 4103 18446744073709551615 4194304 35031035 140731903107840 140731903106840 7760122 0 0 1 0 0 0 0 17 4 0 0 8 0 0 37130264 37226188 42106880 140731903111684 140731903111760 140731903111760 140731903115217 0
/proc/7107/statm: 11235 4103 476 7529 0 3682 0
Current children cumulated CPU time (s) 462.16
Current children cumulated vsize (KiB) 44940
[startup+522.3 s]
/proc/loadavg: 2.00 2.00 2.03 3/185 7143
/proc/meminfo: memFree=31177260/32770624 swapFree=0/395832
[pid=7107] ppid=7104 vsize=44940 CPUtime=522.16 cores=0,2,4,6
/proc/7107/stat : 7107 (BTD) R 7104 7107 4525 0 -1 4202496 15429 0 0 0 51993 223 0 0 20 0 1 0 124420440 46018560 4103 18446744073709551615 4194304 35031035 140731903107840 140731903106840 7760122 0 0 1 0 0 0 0 17 4 0 0 8 0 0 37130264 37226188 42106880 140731903111684 140731903111760 140731903111760 140731903115217 0
/proc/7107/statm: 11235 4103 476 7529 0 3682 0
Current children cumulated CPU time (s) 522.16
Current children cumulated vsize (KiB) 44940
[startup+582.3 s]
/proc/loadavg: 2.00 2.00 2.03 3/185 7145
/proc/meminfo: memFree=31177464/32770624 swapFree=0/395856
[pid=7107] ppid=7104 vsize=44940 CPUtime=582.15 cores=0,2,4,6
/proc/7107/stat : 7107 (BTD) R 7104 7107 4525 0 -1 4202496 15950 0 0 0 57964 251 0 0 20 0 1 0 124420440 46018560 4104 18446744073709551615 4194304 35031035 140731903107840 140731903106840 7760122 0 0 1 0 0 0 0 17 4 0 0 8 0 0 37130264 37226188 42106880 140731903111684 140731903111760 140731903111760 140731903115217 0
/proc/7107/statm: 11235 4104 476 7529 0 3682 0
Current children cumulated CPU time (s) 582.15
Current children cumulated vsize (KiB) 44940
################
# More data... #
################
[startup+1602.3 s]
/proc/loadavg: 2.06 2.01 2.03 3/184 7235
/proc/meminfo: memFree=31175164/32770624 swapFree=0/396172
[pid=7107] ppid=7104 vsize=45072 CPUtime=1602.07 cores=0,2,4,6
/proc/7107/stat : 7107 (BTD) R 7104 7107 4525 0 -1 4202496 24522 0 0 0 159524 683 0 0 20 0 1 0 124420440 46153728 4115 18446744073709551615 4194304 35031035 140731903107840 140731903106840 7760122 0 0 1 0 0 0 0 17 4 0 0 8 0 0 37130264 37226188 42106880 140731903111684 140731903111760 140731903111760 140731903115217 0
/proc/7107/statm: 11268 4115 476 7529 0 3715 0
Current children cumulated CPU time (s) 1602.07
Current children cumulated vsize (KiB) 45072
[startup+1662.3 s]
/proc/loadavg: 2.02 2.01 2.03 3/184 7237
/proc/meminfo: memFree=31175220/32770624 swapFree=0/396184
[pid=7107] ppid=7104 vsize=45072 CPUtime=1662.07 cores=0,2,4,6
/proc/7107/stat : 7107 (BTD) R 7104 7107 4525 0 -1 4202496 24995 0 0 0 165501 706 0 0 20 0 1 0 124420440 46153728 4116 18446744073709551615 4194304 35031035 140731903107840 140731903106840 7760122 0 0 1 0 0 0 0 17 4 0 0 8 0 0 37130264 37226188 42106880 140731903111684 140731903111760 140731903111760 140731903115217 0
/proc/7107/statm: 11268 4116 476 7529 0 3715 0
Current children cumulated CPU time (s) 1662.07
Current children cumulated vsize (KiB) 45072
[startup+1722.3 s]
/proc/loadavg: 2.01 2.01 2.03 3/185 7240
/proc/meminfo: memFree=31175208/32770624 swapFree=0/396192
[pid=7107] ppid=7104 vsize=45072 CPUtime=1722.06 cores=0,2,4,6
/proc/7107/stat : 7107 (BTD) R 7104 7107 4525 0 -1 4202496 25473 0 0 0 171472 734 0 0 20 0 1 0 124420440 46153728 4116 18446744073709551615 4194304 35031035 140731903107840 140731903106840 7760122 0 0 1 0 0 0 0 17 4 0 0 8 0 0 37130264 37226188 42106880 140731903111684 140731903111760 140731903111760 140731903115217 0
/proc/7107/statm: 11268 4116 476 7529 0 3715 0
Current children cumulated CPU time (s) 1722.06
Current children cumulated vsize (KiB) 45072
[startup+1782.3 s]
/proc/loadavg: 2.00 2.01 2.03 3/185 7242
/proc/meminfo: memFree=31175264/32770624 swapFree=0/396192
[pid=7107] ppid=7104 vsize=45072 CPUtime=1782.05 cores=0,2,4,6
/proc/7107/stat : 7107 (BTD) R 7104 7107 4525 0 -1 4202496 25979 0 0 0 177447 758 0 0 20 0 1 0 124420440 46153728 4116 18446744073709551615 4194304 35031035 140731903107840 140731903106840 7760122 0 0 1 0 0 0 0 17 4 0 0 8 0 0 37130264 37226188 42106880 140731903111684 140731903111760 140731903111760 140731903115217 0
/proc/7107/statm: 11268 4116 476 7529 0 3715 0
Current children cumulated CPU time (s) 1782.05
Current children cumulated vsize (KiB) 45072
[startup+1842.3 s]
/proc/loadavg: 2.05 2.03 2.03 3/185 7244
/proc/meminfo: memFree=31175512/32770624 swapFree=0/396216
[pid=7107] ppid=7104 vsize=45072 CPUtime=1842.05 cores=0,2,4,6
/proc/7107/stat : 7107 (BTD) R 7104 7107 4525 0 -1 4202496 26463 0 0 0 183420 785 0 0 20 0 1 0 124420440 46153728 4117 18446744073709551615 4194304 35031035 140731903107840 140731903106840 4544913 0 0 1 0 0 0 0 17 0 0 0 8 0 0 37130264 37226188 42106880 140731903111684 140731903111760 140731903111760 140731903115217 0
/proc/7107/statm: 11268 4117 476 7529 0 3715 0
Current children cumulated CPU time (s) 1842.05
Current children cumulated vsize (KiB) 45072
[startup+1902.3 s]
/proc/loadavg: 1.94 2.01 2.03 3/186 7247
/proc/meminfo: memFree=31174824/32770624 swapFree=0/396216
[pid=7107] ppid=7104 vsize=45072 CPUtime=1902.04 cores=0,2,4,6
/proc/7107/stat : 7107 (BTD) R 7104 7107 4525 0 -1 4202496 26947 0 0 0 189392 812 0 0 20 0 1 0 124420440 46153728 4117 18446744073709551615 4194304 35031035 140731903107840 140731903106840 7760122 0 0 1 0 0 0 0 17 4 0 0 8 0 0 37130264 37226188 42106880 140731903111684 140731903111760 140731903111760 140731903115217 0
/proc/7107/statm: 11268 4117 476 7529 0 3715 0
Current children cumulated CPU time (s) 1902.04
Current children cumulated vsize (KiB) 45072
[startup+1962.3 s]
/proc/loadavg: 1.98 2.01 2.03 3/186 7249
/proc/meminfo: memFree=31175420/32770624 swapFree=0/396220
[pid=7107] ppid=7104 vsize=45072 CPUtime=1962.04 cores=0,2,4,6
/proc/7107/stat : 7107 (BTD) R 7104 7107 4525 0 -1 4202496 27451 0 0 0 195364 840 0 0 20 0 1 0 124420440 46153728 4119 18446744073709551615 4194304 35031035 140731903107840 140731903106840 7760122 0 0 1 0 0 0 0 17 4 0 0 8 0 0 37130264 37226188 42106880 140731903111684 140731903111760 140731903111760 140731903115217 0
/proc/7107/statm: 11268 4119 476 7529 0 3715 0
Current children cumulated CPU time (s) 1962.04
Current children cumulated vsize (KiB) 45072
[startup+2022.3 s]
/proc/loadavg: 1.99 2.01 2.03 3/188 7265
/proc/meminfo: memFree=31171752/32770624 swapFree=0/396216
[pid=7107] ppid=7104 vsize=45072 CPUtime=2022.04 cores=0,2,4,6
/proc/7107/stat : 7107 (BTD) R 7104 7107 4525 0 -1 4202496 27935 0 0 0 201337 867 0 0 20 0 1 0 124420440 46153728 4119 18446744073709551615 4194304 35031035 140731903107840 140731903106840 7760122 0 0 1 0 0 0 0 17 4 0 0 8 0 0 37130264 37226188 42106880 140731903111684 140731903111760 140731903111760 140731903115217 0
/proc/7107/statm: 11268 4119 476 7529 0 3715 0
Current children cumulated CPU time (s) 2022.04
Current children cumulated vsize (KiB) 45072
[startup+2082.3 s]
/proc/loadavg: 2.05 2.02 2.03 3/188 7267
/proc/meminfo: memFree=31171856/32770624 swapFree=0/396216
[pid=7107] ppid=7104 vsize=45072 CPUtime=2082.04 cores=0,2,4,6
/proc/7107/stat : 7107 (BTD) R 7104 7107 4525 0 -1 4202496 28418 0 0 0 207313 891 0 0 20 0 1 0 124420440 46153728 4119 18446744073709551615 4194304 35031035 140731903107840 140731903106840 4213328 0 0 1 0 0 0 0 17 4 0 0 8 0 0 37130264 37226188 42106880 140731903111684 140731903111760 140731903111760 140731903115217 0
/proc/7107/statm: 11268 4119 476 7529 0 3715 0
Current children cumulated CPU time (s) 2082.04
Current children cumulated vsize (KiB) 45072
[startup+2142.3 s]
/proc/loadavg: 2.02 2.01 2.03 3/185 7269
/proc/meminfo: memFree=31175104/32770624 swapFree=0/396228
[pid=7107] ppid=7104 vsize=45072 CPUtime=2142.02 cores=0,2,4,6
/proc/7107/stat : 7107 (BTD) R 7104 7107 4525 0 -1 4202496 28929 0 0 0 213288 914 0 0 20 0 1 0 124420440 46153728 4120 18446744073709551615 4194304 35031035 140731903107840 140731903106840 7760122 0 0 1 0 0 0 0 17 4 0 0 8 0 0 37130264 37226188 42106880 140731903111684 140731903111760 140731903111760 140731903115217 0
/proc/7107/statm: 11268 4120 476 7529 0 3715 0
Current children cumulated CPU time (s) 2142.02
Current children cumulated vsize (KiB) 45072
[startup+2202.31 s]
/proc/loadavg: 1.97 2.00 2.03 3/185 7272
/proc/meminfo: memFree=31175176/32770624 swapFree=0/396252
[pid=7107] ppid=7104 vsize=45072 CPUtime=2202.02 cores=0,2,4,6
/proc/7107/stat : 7107 (BTD) R 7104 7107 4525 0 -1 4202496 29412 0 0 0 219265 937 0 0 20 0 1 0 124420440 46153728 4120 18446744073709551615 4194304 35031035 140731903107840 140731903106840 4541535 0 0 1 0 0 0 0 17 4 0 0 8 0 0 37130264 37226188 42106880 140731903111684 140731903111760 140731903111760 140731903115217 0
/proc/7107/statm: 11268 4120 476 7529 0 3715 0
Current children cumulated CPU time (s) 2202.02
Current children cumulated vsize (KiB) 45072
[startup+2262.3 s]
/proc/loadavg: 2.09 2.02 2.03 3/185 7274
/proc/meminfo: memFree=31175240/32770624 swapFree=0/396272
[pid=7107] ppid=7104 vsize=45072 CPUtime=2262.01 cores=0,2,4,6
/proc/7107/stat : 7107 (BTD) R 7104 7107 4525 0 -1 4202496 29896 0 0 0 225242 959 0 0 20 0 1 0 124420440 46153728 4120 18446744073709551615 4194304 35031035 140731903107840 140731903106840 7760122 0 0 1 0 0 0 0 17 4 0 0 8 0 0 37130264 37226188 42106880 140731903111684 140731903111760 140731903111760 140731903115217 0
/proc/7107/statm: 11268 4120 476 7529 0 3715 0
Current children cumulated CPU time (s) 2262.01
Current children cumulated vsize (KiB) 45072
[startup+2322.3 s]
/proc/loadavg: 2.08 2.03 2.04 3/185 7277
/proc/meminfo: memFree=31174676/32770624 swapFree=0/396280
[pid=7107] ppid=7104 vsize=45072 CPUtime=2322.01 cores=0,2,4,6
/proc/7107/stat : 7107 (BTD) R 7104 7107 4525 0 -1 4202496 30408 0 0 0 231218 983 0 0 20 0 1 0 124420440 46153728 4120 18446744073709551615 4194304 35031035 140731903107840 140731903106840 7760122 0 0 1 0 0 0 0 17 4 0 0 8 0 0 37130264 37226188 42106880 140731903111684 140731903111760 140731903111760 140731903115217 0
/proc/7107/statm: 11268 4120 476 7529 0 3715 0
Current children cumulated CPU time (s) 2322.01
Current children cumulated vsize (KiB) 45072
[startup+2382.3 s]
/proc/loadavg: 2.03 2.02 2.04 3/185 7279
/proc/meminfo: memFree=31174900/32770624 swapFree=0/396304
[pid=7107] ppid=7104 vsize=45072 CPUtime=2382 cores=0,2,4,6
/proc/7107/stat : 7107 (BTD) R 7104 7107 4525 0 -1 4202496 30891 0 0 0 237188 1012 0 0 20 0 1 0 124420440 46153728 4121 18446744073709551615 4194304 35031035 140731903107840 140731903106840 7760122 0 0 1 0 0 0 0 17 4 0 0 8 0 0 37130264 37226188 42106880 140731903111684 140731903111760 140731903111760 140731903115217 0
/proc/7107/statm: 11268 4121 476 7529 0 3715 0
Current children cumulated CPU time (s) 2382
Current children cumulated vsize (KiB) 45072
[startup+2442.3 s]
/proc/loadavg: 2.01 2.02 2.04 3/185 7281
/proc/meminfo: memFree=31175028/32770624 swapFree=0/396308
[pid=7107] ppid=7104 vsize=45072 CPUtime=2441.99 cores=0,2,4,6
/proc/7107/stat : 7107 (BTD) R 7104 7107 4525 0 -1 4202496 31371 0 0 0 243165 1034 0 0 20 0 1 0 124420440 46153728 4121 18446744073709551615 4194304 35031035 140731903107840 140731903106840 7760122 0 0 1 0 0 0 0 17 4 0 0 8 0 0 37130264 37226188 42106880 140731903111684 140731903111760 140731903111760 140731903115217 0
/proc/7107/statm: 11268 4121 476 7529 0 3715 0
Current children cumulated CPU time (s) 2441.99
Current children cumulated vsize (KiB) 45072
[startup+2502.3 s]
/proc/loadavg: 2.08 2.03 2.05 3/184 7284
/proc/meminfo: memFree=31175212/32770624 swapFree=0/396328
[pid=7107] ppid=7104 vsize=45072 CPUtime=2501.99 cores=0,2,4,6
/proc/7107/stat : 7107 (BTD) R 7104 7107 4525 0 -1 4202496 31852 0 0 0 249138 1061 0 0 20 0 1 0 124420440 46153728 4121 18446744073709551615 4194304 35031035 140731903107840 140731903106840 7760122 0 0 1 0 0 0 0 17 4 0 0 8 0 0 37130264 37226188 42106880 140731903111684 140731903111760 140731903111760 140731903115217 0
/proc/7107/statm: 11268 4121 476 7529 0 3715 0
Current children cumulated CPU time (s) 2501.99
Current children cumulated vsize (KiB) 45072
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+2520 s]
/proc/loadavg: 2.05 2.03 2.04 3/184 7410
/proc/meminfo: memFree=30802232/32770624 swapFree=0/396212
[pid=7107] ppid=7104 vsize=45072 CPUtime=2519.69 cores=0,2,4,6
/proc/7107/stat : 7107 (BTD) R 7104 7107 4525 0 -1 4202496 32330 0 0 0 250899 1070 0 0 20 0 1 0 124420440 46153728 4121 18446744073709551615 4194304 35031035 140731903107840 140731903106840 4544944 0 0 1 0 0 0 0 17 0 0 0 8 0 0 37130264 37226188 42106880 140731903111684 140731903111760 140731903111760 140731903115217 0
/proc/7107/statm: 11268 4121 476 7529 0 3715 0
Current children cumulated CPU time (s) 2519.69
Current children cumulated vsize (KiB) 45072
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 7107 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.7
CPU user time (s): 2508.99
CPU system time (s): 10.7072
CPU usage (%): 99.9881
Max. virtual memory (cumulated for all children) (KiB): 45072
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2508.99
system time used= 10.7072
maximum resident set size= 16484
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 32330
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= 5
involuntary context switches= 3879
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.13144 second user time and 8.85933 second system time
The end