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-4260331-1502245012/watcher-4260331-1502245012 -o /tmp/evaluation-result-4260331-1502245012/solver-4260331-1502245012 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node134-1502234584-31452 --watchdog 2580 BTD 2520 HOME/instance-4260331-1502245012.xml
pid=2910
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.01 2.05 2/185 2913
/proc/meminfo: memFree=31109600/32770624 swapFree=0/508260
[pid=2913] ppid=2910 vsize=23672 CPUtime=0 cores=1,3,5,7
/proc/2913/stat : 2913 (runsolver) D 2910 2913 31388 0 -1 4202560 107 0 0 0 0 0 0 0 20 0 1 0 72007331 24240128 108 18446744073709551615 4194304 4338465 140735024677200 140735024674840 139985694909143 0 0 1 24578 18446744071580418449 0 0 17 7 0 0 0 0 0 6438912 6441760 35155968 140735024681172 140735024681545 140735024681545 140735024685002 0
/proc/2913/statm: 5918 108 54 36 0 2156 0
[startup+0.100156 s]
/proc/loadavg: 2.00 2.01 2.05 2/185 2913
/proc/meminfo: memFree=31109600/32770624 swapFree=0/508260
[pid=2913] ppid=2910 vsize=33812 CPUtime=0.04 cores=1,3,5,7
/proc/2913/stat : 2913 (BTD) R 2910 2913 31388 0 -1 4202496 1195 0 0 0 4 0 0 0 20 0 1 0 72007331 34623488 1072 18446744073709551615 4194304 35031035 140726812286160 140726812286160 7408826 0 0 1 0 0 0 0 17 1 0 0 5 0 0 37130264 37226188 56459264 140726812291588 140726812291664 140726812291664 140726812295121 0
/proc/2913/statm: 8453 1072 231 7529 0 900 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 33812
[startup+0.200291 s]
/proc/loadavg: 2.00 2.01 2.05 2/185 2913
/proc/meminfo: memFree=31109600/32770624 swapFree=0/508260
[pid=2913] ppid=2910 vsize=35696 CPUtime=0.14 cores=1,3,5,7
/proc/2913/stat : 2913 (BTD) R 2910 2913 31388 0 -1 4202496 8341 0 0 0 13 1 0 0 20 0 1 0 72007331 36552704 1505 18446744073709551615 4194304 35031035 140726812286160 140726812286160 4632139 0 0 1 0 0 0 0 17 1 0 0 5 0 0 37130264 37226188 56459264 140726812291588 140726812291664 140726812291664 140726812295121 0
/proc/2913/statm: 8924 1505 231 7529 0 1371 0
Current children cumulated CPU time (s) 0.14
Current children cumulated vsize (KiB) 35696
[startup+0.300264 s]
/proc/loadavg: 2.00 2.01 2.05 2/185 2913
/proc/meminfo: memFree=31109600/32770624 swapFree=0/508260
[pid=2913] ppid=2910 vsize=48220 CPUtime=0.23 cores=1,3,5,7
/proc/2913/stat : 2913 (BTD) R 2910 2913 31388 0 -1 4202496 11962 0 0 0 22 1 0 0 20 0 1 0 72007331 49377280 4650 18446744073709551615 4194304 35031035 140726812286160 140726812286160 7408826 0 0 1 0 0 0 0 17 1 0 0 5 0 0 37130264 37226188 56459264 140726812291588 140726812291664 140726812291664 140726812295121 0
/proc/2913/statm: 12055 4650 231 7529 0 4502 0
Current children cumulated CPU time (s) 0.23
Current children cumulated vsize (KiB) 48220
[startup+0.700274 s]
/proc/loadavg: 2.00 2.01 2.05 2/185 2913
/proc/meminfo: memFree=31109600/32770624 swapFree=0/508260
[pid=2913] ppid=2910 vsize=92500 CPUtime=0.63 cores=1,3,5,7
/proc/2913/stat : 2913 (BTD) R 2910 2913 31388 0 -1 4202496 23035 0 0 0 61 2 0 0 20 0 1 0 72007331 94720000 15719 18446744073709551615 4194304 35031035 140726812286160 140726812281784 7408826 0 0 1 0 0 0 0 17 1 0 0 5 0 0 37130264 37226188 56459264 140726812291588 140726812291664 140726812291664 140726812295121 0
/proc/2913/statm: 23125 15719 231 7529 0 15572 0
Current children cumulated CPU time (s) 0.63
Current children cumulated vsize (KiB) 92500
[startup+1.50027 s]
/proc/loadavg: 2.00 2.01 2.05 3/186 2914
/proc/meminfo: memFree=31023668/32770624 swapFree=0/508444
[pid=2913] ppid=2910 vsize=119172 CPUtime=1.44 cores=1,3,5,7
/proc/2913/stat : 2913 (BTD) R 2910 2913 31388 0 -1 4202496 187858 0 0 0 123 21 0 0 20 0 1 0 72007331 122032128 22321 18446744073709551615 4194304 35031035 140726812286160 140726812281880 4632139 0 0 1 0 0 0 0 17 1 0 0 5 0 0 37130264 37226188 56459264 140726812291588 140726812291664 140726812291664 140726812295121 0
/proc/2913/statm: 29793 22386 231 7529 0 22240 0
Current children cumulated CPU time (s) 1.44
Current children cumulated vsize (KiB) 119172
[startup+3.10022 s]
/proc/loadavg: 2.00 2.01 2.05 3/186 2914
/proc/meminfo: memFree=31017560/32770624 swapFree=0/508444
[pid=2913] ppid=2910 vsize=125596 CPUtime=3.04 cores=1,3,5,7
/proc/2913/stat : 2913 (BTD) R 2910 2913 31388 0 -1 4202496 520924 0 0 0 249 55 0 0 20 0 1 0 72007331 128610304 23980 18446744073709551615 4194304 35031035 140726812286160 140726812281880 4632147 0 0 1 0 0 0 0 17 3 0 0 5 0 0 37130264 37226188 56459264 140726812291588 140726812291664 140726812291664 140726812295121 0
/proc/2913/statm: 31399 23980 231 7529 0 23846 0
Current children cumulated CPU time (s) 3.04
Current children cumulated vsize (KiB) 125596
[startup+6.30023 s]
/proc/loadavg: 2.00 2.01 2.05 3/186 2914
/proc/meminfo: memFree=31007168/32770624 swapFree=0/508444
[pid=2913] ppid=2910 vsize=134788 CPUtime=6.24 cores=1,3,5,7
/proc/2913/stat : 2913 (BTD) R 2910 2913 31388 0 -1 4202496 795962 0 0 0 543 81 0 0 20 0 1 0 72007331 138022912 26235 18446744073709551615 4194304 35031035 140726812286160 140726812281880 4252896 0 0 1 0 0 0 0 17 3 0 0 5 0 0 37130264 37226188 56459264 140726812291588 140726812291664 140726812291664 140726812295121 0
/proc/2913/statm: 33697 26235 231 7529 0 26144 0
Current children cumulated CPU time (s) 6.24
Current children cumulated vsize (KiB) 134788
[startup+12.7002 s]
/proc/loadavg: 1.93 2.00 2.04 3/186 2914
/proc/meminfo: memFree=30993380/32770624 swapFree=0/508440
[pid=2913] ppid=2910 vsize=147424 CPUtime=12.63 cores=1,3,5,7
/proc/2913/stat : 2913 (BTD) R 2910 2913 31388 0 -1 4202496 879688 0 0 0 1175 88 0 0 20 0 1 0 72007331 150962176 29442 18446744073709551615 4194304 35031035 140726812286160 140726812281880 4632225 0 0 1 0 0 0 0 17 3 0 0 5 0 0 37130264 37226188 56459264 140726812291588 140726812291664 140726812291664 140726812295121 0
/proc/2913/statm: 36856 29442 231 7529 0 29303 0
Current children cumulated CPU time (s) 12.63
Current children cumulated vsize (KiB) 147424
[startup+25.5003 s]
/proc/loadavg: 1.94 2.00 2.04 3/186 2914
/proc/meminfo: memFree=30975400/32770624 swapFree=0/508440
[pid=2913] ppid=2910 vsize=163832 CPUtime=25.43 cores=1,3,5,7
/proc/2913/stat : 2913 (BTD) R 2910 2913 31388 0 -1 4202496 991050 0 0 0 2441 102 0 0 20 0 1 0 72007331 167763968 33547 18446744073709551615 4194304 35031035 140726812286160 140726812281880 4632235 0 0 1 0 0 0 0 17 3 0 0 5 0 0 37130264 37226188 56459264 140726812291588 140726812291664 140726812291664 140726812295121 0
/proc/2913/statm: 40958 33547 231 7529 0 33405 0
Current children cumulated CPU time (s) 25.43
Current children cumulated vsize (KiB) 163832
[startup+51.1003 s]
/proc/loadavg: 1.96 2.00 2.04 3/186 2915
/proc/meminfo: memFree=30954132/32770624 swapFree=0/508440
[pid=2913] ppid=2910 vsize=184732 CPUtime=51.03 cores=1,3,5,7
/proc/2913/stat : 2913 (BTD) R 2910 2913 31388 0 -1 4202496 1131947 0 0 0 4984 119 0 0 20 0 1 0 72007331 189165568 38782 18446744073709551615 4194304 35031035 140726812286160 140726812281880 4630690 0 0 1 0 0 0 0 17 3 0 0 5 0 0 37130264 37226188 56459264 140726812291588 140726812291664 140726812291664 140726812295121 0
/proc/2913/statm: 46183 38782 231 7529 0 38630 0
Current children cumulated CPU time (s) 51.03
Current children cumulated vsize (KiB) 184732
[startup+102.3 s]
/proc/loadavg: 1.98 2.00 2.04 3/186 2916
/proc/meminfo: memFree=30925944/32770624 swapFree=0/508476
[pid=2913] ppid=2910 vsize=212320 CPUtime=102.24 cores=1,3,5,7
/proc/2913/stat : 2913 (BTD) R 2910 2913 31388 0 -1 4202496 1279229 0 0 0 10084 140 0 0 20 0 1 0 72007331 217415680 45670 18446744073709551615 4194304 35031035 140726812286160 140726812281880 4632147 0 0 1 0 0 0 0 17 3 0 0 5 0 0 37130264 37226188 56459264 140726812291588 140726812291664 140726812291664 140726812295121 0
/proc/2913/statm: 53080 45670 231 7529 0 45527 0
Current children cumulated CPU time (s) 102.24
Current children cumulated vsize (KiB) 212320
[startup+162.3 s]
/proc/loadavg: 2.14 2.03 2.05 3/185 2918
/proc/meminfo: memFree=30903024/32770624 swapFree=0/508488
[pid=2913] ppid=2910 vsize=235276 CPUtime=162.24 cores=1,3,5,7
/proc/2913/stat : 2913 (BTD) R 2910 2913 31388 0 -1 4202496 1386541 0 0 0 16067 157 0 0 20 0 1 0 72007331 240922624 51398 18446744073709551615 4194304 35031035 140726812286160 140726812281880 4632147 0 0 1 0 0 0 0 17 3 0 0 5 0 0 37130264 37226188 56459264 140726812291588 140726812291664 140726812291664 140726812295121 0
/proc/2913/statm: 58819 51398 231 7529 0 51266 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 235276
[startup+222.306 s]
/proc/loadavg: 2.12 2.04 2.05 3/185 2920
/proc/meminfo: memFree=30885228/32770624 swapFree=0/508504
[pid=2913] ppid=2910 vsize=253392 CPUtime=222.24 cores=1,3,5,7
/proc/2913/stat : 2913 (BTD) R 2910 2913 31388 0 -1 4202496 1459915 0 0 0 22055 169 0 0 20 0 1 0 72007331 259473408 55911 18446744073709551615 4194304 35031035 140726812286160 140726812281880 4630696 0 0 1 0 0 0 0 17 3 0 0 5 0 0 37130264 37226188 56459264 140726812291588 140726812291664 140726812291664 140726812295121 0
/proc/2913/statm: 63348 55911 231 7529 0 55795 0
Current children cumulated CPU time (s) 222.24
Current children cumulated vsize (KiB) 253392
[startup+282.3 s]
/proc/loadavg: 2.04 2.04 2.05 3/185 2923
/proc/meminfo: memFree=30869328/32770624 swapFree=0/508516
[pid=2913] ppid=2910 vsize=269288 CPUtime=282.24 cores=1,3,5,7
/proc/2913/stat : 2913 (BTD) R 2910 2913 31388 0 -1 4202496 1521929 0 0 0 28043 181 0 0 20 0 1 0 72007331 275750912 59892 18446744073709551615 4194304 35031035 140726812286160 140726812281880 4630696 0 0 1 0 0 0 0 17 3 0 0 5 0 0 37130264 37226188 56459264 140726812291588 140726812291664 140726812291664 140726812295121 0
/proc/2913/statm: 67322 59892 231 7529 0 59769 0
Current children cumulated CPU time (s) 282.24
Current children cumulated vsize (KiB) 269288
[startup+342.3 s]
/proc/loadavg: 2.02 2.03 2.05 3/185 2925
/proc/meminfo: memFree=30855860/32770624 swapFree=0/508524
[pid=2913] ppid=2910 vsize=283012 CPUtime=342.23 cores=1,3,5,7
/proc/2913/stat : 2913 (BTD) R 2910 2913 31388 0 -1 4202496 1572316 0 0 0 34033 190 0 0 20 0 1 0 72007331 289804288 63292 18446744073709551615 4194304 35031035 140726812286160 140726812281880 4632191 0 0 1 0 0 0 0 17 3 0 0 5 0 0 37130264 37226188 56459264 140726812291588 140726812291664 140726812291664 140726812295121 0
/proc/2913/statm: 70753 63292 231 7529 0 63200 0
Current children cumulated CPU time (s) 342.23
Current children cumulated vsize (KiB) 283012
[startup+402.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/185 2927
/proc/meminfo: memFree=30843016/32770624 swapFree=0/508548
[pid=2913] ppid=2910 vsize=295120 CPUtime=402.22 cores=1,3,5,7
/proc/2913/stat : 2913 (BTD) R 2910 2913 31388 0 -1 4202496 1616781 0 0 0 40024 198 0 0 20 0 1 0 72007331 302202880 66323 18446744073709551615 4194304 35031035 140726812286160 140726812281880 4632132 0 0 1 0 0 0 0 17 3 0 0 5 0 0 37130264 37226188 56459264 140726812291588 140726812291664 140726812291664 140726812295121 0
/proc/2913/statm: 73780 66323 231 7529 0 66227 0
Current children cumulated CPU time (s) 402.22
Current children cumulated vsize (KiB) 295120
[startup+462.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/190 2945
/proc/meminfo: memFree=30828056/32770624 swapFree=0/508588
[pid=2913] ppid=2910 vsize=306592 CPUtime=462.23 cores=1,3,5,7
/proc/2913/stat : 2913 (BTD) R 2910 2913 31388 0 -1 4202496 1663449 0 0 0 46015 208 0 0 20 0 1 0 72007331 313950208 69215 18446744073709551615 4194304 35031035 140726812286160 140726812281880 4252909 0 0 1 0 0 0 0 17 3 0 0 5 0 0 37130264 37226188 56459264 140726812291588 140726812291664 140726812291664 140726812295121 0
/proc/2913/statm: 76648 69215 231 7529 0 69095 0
Current children cumulated CPU time (s) 462.23
Current children cumulated vsize (KiB) 306592
[startup+522.3 s]
/proc/loadavg: 2.04 2.03 2.05 3/190 2947
/proc/meminfo: memFree=30817800/32770624 swapFree=0/508600
[pid=2913] ppid=2910 vsize=317216 CPUtime=522.23 cores=1,3,5,7
/proc/2913/stat : 2913 (BTD) R 2910 2913 31388 0 -1 4202496 1716963 0 0 0 52002 221 0 0 20 0 1 0 72007331 324829184 71881 18446744073709551615 4194304 35031035 140726812286160 140726812281880 4252912 0 0 1 0 0 0 0 17 3 0 0 5 0 0 37130264 37226188 56459264 140726812291588 140726812291664 140726812291664 140726812295121 0
/proc/2913/statm: 79304 71881 231 7529 0 71751 0
Current children cumulated CPU time (s) 522.23
Current children cumulated vsize (KiB) 317216
[startup+582.3 s]
/proc/loadavg: 2.02 2.02 2.05 3/186 2949
/proc/meminfo: memFree=30811632/32770624 swapFree=0/508620
[pid=2913] ppid=2910 vsize=326780 CPUtime=582.23 cores=1,3,5,7
/proc/2913/stat : 2913 (BTD) R 2910 2913 31388 0 -1 4202496 1773618 0 0 0 57989 234 0 0 20 0 1 0 72007331 334622720 74255 18446744073709551615 4194304 35031035 140726812286160 140726812281880 4630690 0 0 1 0 0 0 0 17 3 0 0 5 0 0 37130264 37226188 56459264 140726812291588 140726812291664 140726812291664 140726812295121 0
/proc/2913/statm: 81695 74255 231 7529 0 74142 0
Current children cumulated CPU time (s) 582.23
Current children cumulated vsize (KiB) 326780
################
# More data... #
################
[startup+1602.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/184 3126
/proc/meminfo: memFree=30431072/32770624 swapFree=0/508900
[pid=2913] ppid=2910 vsize=496060 CPUtime=1602.21 cores=1,3,5,7
/proc/2913/stat : 2913 (BTD) R 2910 2913 31388 0 -1 4202496 2093130 0 0 0 159930 291 0 0 20 0 1 0 72007331 507965440 116676 18446744073709551615 4194304 35031035 140726812286160 140726812278984 7501369 0 0 1 0 0 0 0 17 3 0 0 5 0 0 37130264 37226188 56459264 140726812291588 140726812291664 140726812291664 140726812295121 0
/proc/2913/statm: 124015 116676 293 7529 0 116462 0
Current children cumulated CPU time (s) 1602.21
Current children cumulated vsize (KiB) 496060
[startup+1662.3 s]
/proc/loadavg: 2.08 2.04 2.05 3/188 3143
/proc/meminfo: memFree=30407728/32770624 swapFree=0/508944
[pid=2913] ppid=2910 vsize=501060 CPUtime=1662.21 cores=1,3,5,7
/proc/2913/stat : 2913 (BTD) R 2910 2913 31388 0 -1 4202496 2102955 0 0 0 165929 292 0 0 20 0 1 0 72007331 513085440 117872 18446744073709551615 4194304 35031035 140726812286160 140726812278984 4256494 0 0 1 0 0 0 0 17 3 0 0 5 0 0 37130264 37226188 56459264 140726812291588 140726812291664 140726812291664 140726812295121 0
/proc/2913/statm: 125265 117872 293 7529 0 117712 0
Current children cumulated CPU time (s) 1662.21
Current children cumulated vsize (KiB) 501060
[startup+1722.3 s]
/proc/loadavg: 2.03 2.04 2.05 3/189 3146
/proc/meminfo: memFree=30386136/32770624 swapFree=0/508964
[pid=2913] ppid=2910 vsize=506256 CPUtime=1722.21 cores=1,3,5,7
/proc/2913/stat : 2913 (BTD) R 2910 2913 31388 0 -1 4202496 2114114 0 0 0 171929 292 0 0 20 0 1 0 72007331 518406144 119163 18446744073709551615 4194304 35031035 140726812286160 140726812278984 4254072 0 0 1 0 0 0 0 17 3 0 0 5 0 0 37130264 37226188 56459264 140726812291588 140726812291664 140726812291664 140726812295121 0
/proc/2913/statm: 126564 119163 293 7529 0 119011 0
Current children cumulated CPU time (s) 1722.21
Current children cumulated vsize (KiB) 506256
[startup+1782.3 s]
/proc/loadavg: 2.01 2.03 2.05 3/187 3149
/proc/meminfo: memFree=30364792/32770624 swapFree=0/508968
[pid=2913] ppid=2910 vsize=510560 CPUtime=1782.21 cores=1,3,5,7
/proc/2913/stat : 2913 (BTD) R 2910 2913 31388 0 -1 4202496 2124085 0 0 0 177928 293 0 0 20 0 1 0 72007331 522813440 120303 18446744073709551615 4194304 35031035 140726812286160 140726812278984 4254068 0 0 1 0 0 0 0 17 3 0 0 5 0 0 37130264 37226188 56459264 140726812291588 140726812291664 140726812291664 140726812295121 0
/proc/2913/statm: 127640 120303 293 7529 0 120087 0
Current children cumulated CPU time (s) 1782.21
Current children cumulated vsize (KiB) 510560
[startup+1842.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/187 3151
/proc/meminfo: memFree=30346884/32770624 swapFree=0/508976
[pid=2913] ppid=2910 vsize=516128 CPUtime=1842.2 cores=1,3,5,7
/proc/2913/stat : 2913 (BTD) R 2910 2913 31388 0 -1 4202496 2126546 0 0 0 183927 293 0 0 20 0 1 0 72007331 528515072 121671 18446744073709551615 4194304 35031035 140726812286160 140726812278984 4254068 0 0 1 0 0 0 0 17 3 0 0 5 0 0 37130264 37226188 56459264 140726812291588 140726812291664 140726812291664 140726812295121 0
/proc/2913/statm: 129032 121671 293 7529 0 121479 0
Current children cumulated CPU time (s) 1842.2
Current children cumulated vsize (KiB) 516128
[startup+1902.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/187 3153
/proc/meminfo: memFree=30326472/32770624 swapFree=0/508980
[pid=2913] ppid=2910 vsize=520736 CPUtime=1902.21 cores=1,3,5,7
/proc/2913/stat : 2913 (BTD) R 2910 2913 31388 0 -1 4202496 2129914 0 0 0 189927 294 0 0 20 0 1 0 72007331 533233664 122821 18446744073709551615 4194304 35031035 140726812286160 140726812278984 4256494 0 0 1 0 0 0 0 17 3 0 0 5 0 0 37130264 37226188 56459264 140726812291588 140726812291664 140726812291664 140726812295121 0
/proc/2913/statm: 130184 122821 293 7529 0 122631 0
Current children cumulated CPU time (s) 1902.21
Current children cumulated vsize (KiB) 520736
[startup+1962.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/186 3155
/proc/meminfo: memFree=30309252/32770624 swapFree=0/509004
[pid=2913] ppid=2910 vsize=524288 CPUtime=1962.21 cores=1,3,5,7
/proc/2913/stat : 2913 (BTD) R 2910 2913 31388 0 -1 4202496 2133911 0 0 0 195927 294 0 0 20 0 1 0 72007331 536870912 123676 18446744073709551615 4194304 35031035 140726812286160 140726812278984 4254068 0 0 1 0 0 0 0 17 3 0 0 5 0 0 37130264 37226188 56459264 140726812291588 140726812291664 140726812291664 140726812295121 0
/proc/2913/statm: 131072 123676 293 7529 0 123519 0
Current children cumulated CPU time (s) 1962.21
Current children cumulated vsize (KiB) 524288
[startup+2022.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/185 3157
/proc/meminfo: memFree=30289092/32770624 swapFree=0/509008
[pid=2913] ppid=2910 vsize=529160 CPUtime=2022.21 cores=1,3,5,7
/proc/2913/stat : 2913 (BTD) R 2910 2913 31388 0 -1 4202496 2139436 0 0 0 201926 295 0 0 20 0 1 0 72007331 541859840 124909 18446744073709551615 4194304 35031035 140726812286160 140726812278984 4256494 0 0 1 0 0 0 0 17 3 0 0 5 0 0 37130264 37226188 56459264 140726812291588 140726812291664 140726812291664 140726812295121 0
/proc/2913/statm: 132290 124909 293 7529 0 124737 0
Current children cumulated CPU time (s) 2022.21
Current children cumulated vsize (KiB) 529160
[startup+2082.3 s]
/proc/loadavg: 2.04 2.03 2.05 3/184 3159
/proc/meminfo: memFree=30270648/32770624 swapFree=0/509016
[pid=2913] ppid=2910 vsize=532912 CPUtime=2082.21 cores=1,3,5,7
/proc/2913/stat : 2913 (BTD) R 2910 2913 31388 0 -1 4202496 2145623 0 0 0 207926 295 0 0 20 0 1 0 72007331 545701888 125866 18446744073709551615 4194304 35031035 140726812286160 140726812278984 4256494 0 0 1 0 0 0 0 17 3 0 0 5 0 0 37130264 37226188 56459264 140726812291588 140726812291664 140726812291664 140726812295121 0
/proc/2913/statm: 133228 125866 293 7529 0 125675 0
Current children cumulated CPU time (s) 2082.21
Current children cumulated vsize (KiB) 532912
[startup+2142.3 s]
/proc/loadavg: 2.12 2.05 2.05 3/185 3162
/proc/meminfo: memFree=30252864/32770624 swapFree=0/509032
[pid=2913] ppid=2910 vsize=536748 CPUtime=2142.2 cores=1,3,5,7
/proc/2913/stat : 2913 (BTD) R 2910 2913 31388 0 -1 4202496 2152785 0 0 0 213925 295 0 0 20 0 1 0 72007331 549629952 126792 18446744073709551615 4194304 35031035 140726812286160 140726812278984 4254068 0 0 1 0 0 0 0 17 3 0 0 5 0 0 37130264 37226188 56459264 140726812291588 140726812291664 140726812291664 140726812295121 0
/proc/2913/statm: 134187 126792 293 7529 0 126634 0
Current children cumulated CPU time (s) 2142.2
Current children cumulated vsize (KiB) 536748
[startup+2202.31 s]
/proc/loadavg: 2.08 2.06 2.05 3/185 3164
/proc/meminfo: memFree=30225804/32770624 swapFree=0/509052
[pid=2913] ppid=2910 vsize=540672 CPUtime=2202.21 cores=1,3,5,7
/proc/2913/stat : 2913 (BTD) R 2910 2913 31388 0 -1 4202496 2160944 0 0 0 219925 296 0 0 20 0 1 0 72007331 553648128 127799 18446744073709551615 4194304 35031035 140726812286160 140726812278984 7982127 0 0 1 0 0 0 0 17 3 0 0 5 0 0 37130264 37226188 56459264 140726812291588 140726812291664 140726812291664 140726812295121 0
/proc/2913/statm: 135168 127799 293 7529 0 127615 0
Current children cumulated CPU time (s) 2202.21
Current children cumulated vsize (KiB) 540672
[startup+2262.3 s]
/proc/loadavg: 2.03 2.05 2.05 3/188 3180
/proc/meminfo: memFree=30203852/32770624 swapFree=0/509076
[pid=2913] ppid=2910 vsize=544696 CPUtime=2262.2 cores=1,3,5,7
/proc/2913/stat : 2913 (BTD) R 2910 2913 31388 0 -1 4202496 2170123 0 0 0 225924 296 0 0 20 0 1 0 72007331 557768704 128796 18446744073709551615 4194304 35031035 140726812286160 140726812278984 7501369 0 0 1 0 0 0 0 17 3 0 0 5 0 0 37130264 37226188 56459264 140726812291588 140726812291664 140726812291664 140726812295121 0
/proc/2913/statm: 136174 128796 293 7529 0 128621 0
Current children cumulated CPU time (s) 2262.2
Current children cumulated vsize (KiB) 544696
[startup+2322.3 s]
/proc/loadavg: 2.01 2.04 2.05 3/189 3183
/proc/meminfo: memFree=30186844/32770624 swapFree=0/509112
[pid=2913] ppid=2910 vsize=547424 CPUtime=2322.2 cores=1,3,5,7
/proc/2913/stat : 2913 (BTD) R 2910 2913 31388 0 -1 4202496 2179966 0 0 0 231923 297 0 0 20 0 1 0 72007331 560562176 129522 18446744073709551615 4194304 35031035 140726812286160 140726812278984 4254068 0 0 1 0 0 0 0 17 3 0 0 5 0 0 37130264 37226188 56459264 140726812291588 140726812291664 140726812291664 140726812295121 0
/proc/2913/statm: 136856 129522 293 7529 0 129303 0
Current children cumulated CPU time (s) 2322.2
Current children cumulated vsize (KiB) 547424
[startup+2382.3 s]
/proc/loadavg: 2.00 2.03 2.05 3/186 3185
/proc/meminfo: memFree=30172472/32770624 swapFree=0/509136
[pid=2913] ppid=2910 vsize=551596 CPUtime=2382.2 cores=1,3,5,7
/proc/2913/stat : 2913 (BTD) R 2910 2913 31388 0 -1 4202496 2181740 0 0 0 237923 297 0 0 20 0 1 0 72007331 564834304 130522 18446744073709551615 4194304 35031035 140726812286160 140726812278984 4254068 0 0 1 0 0 0 0 17 3 0 0 5 0 0 37130264 37226188 56459264 140726812291588 140726812291664 140726812291664 140726812295121 0
/proc/2913/statm: 137899 130522 293 7529 0 130346 0
Current children cumulated CPU time (s) 2382.2
Current children cumulated vsize (KiB) 551596
[startup+2442.3 s]
/proc/loadavg: 2.00 2.03 2.05 3/185 3187
/proc/meminfo: memFree=30156740/32770624 swapFree=0/509132
[pid=2913] ppid=2910 vsize=554436 CPUtime=2442.21 cores=1,3,5,7
/proc/2913/stat : 2913 (BTD) R 2910 2913 31388 0 -1 4202496 2184156 0 0 0 243923 298 0 0 20 0 1 0 72007331 567742464 131275 18446744073709551615 4194304 35031035 140726812286160 140726812278984 4254068 0 0 1 0 0 0 0 17 3 0 0 5 0 0 37130264 37226188 56459264 140726812291588 140726812291664 140726812291664 140726812295121 0
/proc/2913/statm: 138609 131275 293 7529 0 131056 0
Current children cumulated CPU time (s) 2442.21
Current children cumulated vsize (KiB) 554436
[startup+2502.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/186 3190
/proc/meminfo: memFree=30137380/32770624 swapFree=0/509156
[pid=2913] ppid=2910 vsize=558776 CPUtime=2502.21 cores=1,3,5,7
/proc/2913/stat : 2913 (BTD) R 2910 2913 31388 0 -1 4202496 2187768 0 0 0 249923 298 0 0 20 0 1 0 72007331 572186624 132293 18446744073709551615 4194304 35031035 140726812286160 140726812278984 7501369 0 0 1 0 0 0 0 17 3 0 0 5 0 0 37130264 37226188 56459264 140726812291588 140726812291664 140726812291664 140726812295121 0
/proc/2913/statm: 139694 132293 293 7529 0 132141 0
Current children cumulated CPU time (s) 2502.21
Current children cumulated vsize (KiB) 558776
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+2520 s]
/proc/loadavg: 2.00 2.02 2.05 3/186 3191
/proc/meminfo: memFree=30136696/32770624 swapFree=0/509144
[pid=2913] ppid=2910 vsize=558776 CPUtime=2519.91 cores=1,3,5,7
/proc/2913/stat : 2913 (BTD) R 2910 2913 31388 0 -1 4202496 2187859 0 0 0 251693 298 0 0 20 0 1 0 72007331 572186624 132357 18446744073709551615 4194304 35031035 140726812286160 140726812278984 4256494 0 0 1 0 0 0 0 17 3 0 0 5 0 0 37130264 37226188 56459264 140726812291588 140726812291664 140726812291664 140726812295121 0
/proc/2913/statm: 139694 132357 293 7529 0 132141 0
Current children cumulated CPU time (s) 2519.91
Current children cumulated vsize (KiB) 558776
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 2913 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.92
CPU user time (s): 2516.93
CPU system time (s): 2.986
CPU usage (%): 99.9966
Max. virtual memory (cumulated for all children) (KiB): 558776
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2516.93
system time used= 2.986
maximum resident set size= 529444
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2187859
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= 50
involuntary context switches= 2553
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.31171 second user time and 11.0101 second system time
The end