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-4260808-1502253266/watcher-4260808-1502253266 -o /tmp/evaluation-result-4260808-1502253266/solver-4260808-1502253266 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node127-1502234554-16653 --watchdog 2580 BTD 2520 HOME/instance-4260808-1502253266.xml
pid=22374
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.00 2.01 2.05 4/183 22377
/proc/meminfo: memFree=31340804/32770624 swapFree=0/437024
[pid=22377] ppid=22374 vsize=23672 CPUtime=0 cores=0,2,4,6
/proc/22377/stat : 22377 (runsolver) D 22374 22377 16590 0 -1 4202560 107 0 0 0 0 0 0 0 20 0 1 0 27520186 24240128 108 18446744073709551615 4194304 4338465 140722291338560 140722291336200 140356490687191 0 0 1 24578 18446744071580418449 0 0 17 0 0 0 0 0 0 6438912 6441760 7979008 140722291343573 140722291343946 140722291343946 140722291347402 0
/proc/22377/statm: 5918 108 54 36 0 2156 0
[startup+0.100196 s]
/proc/loadavg: 2.00 2.01 2.05 4/183 22377
/proc/meminfo: memFree=31340804/32770624 swapFree=0/437024
[pid=22377] ppid=22374 vsize=31052 CPUtime=0 cores=0,2,4,6
/proc/22377/stat : 22377 (BTD) R 22374 22377 16590 0 -1 4202496 465 0 0 0 0 0 0 0 20 0 1 0 27520186 31797248 312 18446744073709551615 4194304 35031035 140722095471040 140722095471040 7403862 0 0 1 0 0 0 0 17 2 0 0 9 0 0 37130264 37226188 67866624 140722095477253 140722095477329 140722095477329 140722095480785 0
/proc/22377/statm: 7763 312 216 7529 0 210 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 31052
[startup+0.200341 s]
/proc/loadavg: 2.00 2.01 2.05 4/183 22377
/proc/meminfo: memFree=31340804/32770624 swapFree=0/437024
[pid=22377] ppid=22374 vsize=36420 CPUtime=0.1 cores=0,2,4,6
/proc/22377/stat : 22377 (BTD) R 22374 22377 16590 0 -1 4202496 1818 0 0 0 10 0 0 0 20 0 1 0 27520186 37294080 1654 18446744073709551615 4194304 35031035 140722095471040 140722095471040 7398266 0 0 1 0 0 0 0 17 2 0 0 9 0 0 37130264 37226188 67866624 140722095477253 140722095477329 140722095477329 140722095480785 0
/proc/22377/statm: 9105 1654 216 7529 0 1552 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 36420
[startup+0.300331 s]
/proc/loadavg: 2.00 2.01 2.05 4/183 22377
/proc/meminfo: memFree=31340804/32770624 swapFree=0/437024
[pid=22377] ppid=22374 vsize=39696 CPUtime=0.2 cores=0,2,4,6
/proc/22377/stat : 22377 (BTD) R 22374 22377 16590 0 -1 4202496 2785 0 0 0 20 0 0 0 20 0 1 0 27520186 40648704 2651 18446744073709551615 4194304 35031035 140722095471040 140722095471040 7169687 0 0 1 0 0 0 0 17 2 0 0 9 0 0 37130264 37226188 67866624 140722095477253 140722095477329 140722095477329 140722095480785 0
/proc/22377/statm: 9924 2651 367 7529 0 2371 0
Current children cumulated CPU time (s) 0.2
Current children cumulated vsize (KiB) 39696
[startup+0.700279 s]
/proc/loadavg: 2.00 2.01 2.05 4/183 22377
/proc/meminfo: memFree=31340804/32770624 swapFree=0/437024
[pid=22377] ppid=22374 vsize=40648 CPUtime=0.6 cores=0,2,4,6
/proc/22377/stat : 22377 (BTD) R 22374 22377 16590 0 -1 4202496 3075 0 0 0 60 0 0 0 20 0 1 0 27520186 41623552 2927 18446744073709551615 4194304 35031035 140722095471040 140722095471040 7540691 0 0 1 0 0 0 0 17 2 0 0 9 0 0 37130264 37226188 67866624 140722095477253 140722095477329 140722095477329 140722095480785 0
/proc/22377/statm: 10162 2927 410 7529 0 2609 0
Current children cumulated CPU time (s) 0.6
Current children cumulated vsize (KiB) 40648
[startup+1.50028 s]
/proc/loadavg: 2.00 2.01 2.05 3/184 22378
/proc/meminfo: memFree=31330188/32770624 swapFree=0/437032
[pid=22377] ppid=22374 vsize=42040 CPUtime=1.4 cores=0,2,4,6
/proc/22377/stat : 22377 (BTD) R 22374 22377 16590 0 -1 4202496 3422 0 0 0 140 0 0 0 20 0 1 0 27520186 43048960 3252 18446744073709551615 4194304 35031035 140722095471040 140722095464008 7540691 0 0 1 0 0 0 0 17 2 0 0 9 0 0 37130264 37226188 67866624 140722095477253 140722095477329 140722095477329 140722095480785 0
/proc/22377/statm: 10510 3252 410 7529 0 2957 0
Current children cumulated CPU time (s) 1.4
Current children cumulated vsize (KiB) 42040
[startup+3.10032 s]
/proc/loadavg: 2.00 2.01 2.05 3/184 22378
/proc/meminfo: memFree=31267568/32770624 swapFree=0/437032
[pid=22377] ppid=22374 vsize=105804 CPUtime=3 cores=0,2,4,6
/proc/22377/stat : 22377 (BTD) R 22374 22377 16590 0 -1 4202496 21259 0 0 0 298 2 0 0 20 0 1 0 27520186 108343296 18774 18446744073709551615 4194304 35031035 140722095471040 140722095470040 4544906 0 0 1 0 0 0 0 17 2 0 0 9 0 0 37130264 37226188 67866624 140722095477253 140722095477329 140722095477329 140722095480785 0
/proc/22377/statm: 26451 18774 466 7529 0 18898 0
Current children cumulated CPU time (s) 3
Current children cumulated vsize (KiB) 105804
[startup+6.30029 s]
/proc/loadavg: 2.08 2.03 2.05 3/184 22378
/proc/meminfo: memFree=31267380/32770624 swapFree=0/437032
[pid=22377] ppid=22374 vsize=105804 CPUtime=6.2 cores=0,2,4,6
/proc/22377/stat : 22377 (BTD) R 22374 22377 16590 0 -1 4202496 23432 0 0 0 618 2 0 0 20 0 1 0 27520186 108343296 18787 18446744073709551615 4194304 35031035 140722095471040 140722095470040 4497539 0 0 1 0 0 0 0 17 2 0 0 9 0 0 37130264 37226188 67866624 140722095477253 140722095477329 140722095477329 140722095480785 0
/proc/22377/statm: 26451 18787 466 7529 0 18898 0
Current children cumulated CPU time (s) 6.2
Current children cumulated vsize (KiB) 105804
[startup+12.7003 s]
/proc/loadavg: 2.08 2.03 2.05 3/184 22378
/proc/meminfo: memFree=31267484/32770624 swapFree=0/437040
[pid=22377] ppid=22374 vsize=105936 CPUtime=12.59 cores=0,2,4,6
/proc/22377/stat : 22377 (BTD) R 22374 22377 16590 0 -1 4202496 25599 0 0 0 1257 2 0 0 20 0 1 0 27520186 108478464 18804 18446744073709551615 4194304 35031035 140722095471040 140722095470040 4497582 0 0 1 0 0 0 0 17 2 0 0 9 0 0 37130264 37226188 67866624 140722095477253 140722095477329 140722095477329 140722095480785 0
/proc/22377/statm: 26484 18804 466 7529 0 18931 0
Current children cumulated CPU time (s) 12.59
Current children cumulated vsize (KiB) 105936
[startup+25.5003 s]
/proc/loadavg: 2.06 2.03 2.05 3/184 22378
/proc/meminfo: memFree=31267576/32770624 swapFree=0/437048
[pid=22377] ppid=22374 vsize=106200 CPUtime=25.4 cores=0,2,4,6
/proc/22377/stat : 22377 (BTD) R 22374 22377 16590 0 -1 4202496 30471 0 0 0 2536 4 0 0 20 0 1 0 27520186 108748800 18871 18446744073709551615 4194304 35031035 140722095471040 140722095470040 4544899 0 0 1 0 0 0 0 17 2 0 0 9 0 0 37130264 37226188 67866624 140722095477253 140722095477329 140722095477329 140722095480785 0
/proc/22377/statm: 26550 18871 466 7529 0 18997 0
Current children cumulated CPU time (s) 25.4
Current children cumulated vsize (KiB) 106200
[startup+51.1003 s]
/proc/loadavg: 2.04 2.03 2.05 3/184 22378
/proc/meminfo: memFree=31267244/32770624 swapFree=0/437064
[pid=22377] ppid=22374 vsize=106200 CPUtime=50.99 cores=0,2,4,6
/proc/22377/stat : 22377 (BTD) R 22374 22377 16590 0 -1 4202496 32063 0 0 0 5091 8 0 0 20 0 1 0 27520186 108748800 18899 18446744073709551615 4194304 35031035 140722095471040 140722095470040 4496712 0 0 1 0 0 0 0 17 2 0 0 9 0 0 37130264 37226188 67866624 140722095477253 140722095477329 140722095477329 140722095480785 0
/proc/22377/statm: 26550 18899 466 7529 0 18997 0
Current children cumulated CPU time (s) 50.99
Current children cumulated vsize (KiB) 106200
[startup+102.3 s]
/proc/loadavg: 2.02 2.02 2.05 3/181 22380
/proc/meminfo: memFree=31269640/32770624 swapFree=0/437096
[pid=22377] ppid=22374 vsize=106332 CPUtime=102.18 cores=0,2,4,6
/proc/22377/stat : 22377 (BTD) R 22374 22377 16590 0 -1 4202496 32506 0 0 0 10207 11 0 0 20 0 1 0 27520186 108883968 19030 18446744073709551615 4194304 35031035 140722095471040 140722095470040 4496763 0 0 1 0 0 0 0 17 2 0 0 9 0 0 37130264 37226188 67866624 140722095477253 140722095477329 140722095477329 140722095480785 0
/proc/22377/statm: 26583 19030 466 7529 0 19030 0
Current children cumulated CPU time (s) 102.18
Current children cumulated vsize (KiB) 106332
[startup+162.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/181 22382
/proc/meminfo: memFree=31270156/32770624 swapFree=0/437116
[pid=22377] ppid=22374 vsize=106464 CPUtime=162.17 cores=0,2,4,6
/proc/22377/stat : 22377 (BTD) R 22374 22377 16590 0 -1 4202496 32889 0 0 0 16201 16 0 0 20 0 1 0 27520186 109019136 19046 18446744073709551615 4194304 35031035 140722095471040 140722095470040 4497549 0 0 1 0 0 0 0 17 2 0 0 9 0 0 37130264 37226188 67866624 140722095477253 140722095477329 140722095477329 140722095480785 0
/proc/22377/statm: 26616 19046 466 7529 0 19063 0
Current children cumulated CPU time (s) 162.17
Current children cumulated vsize (KiB) 106464
[startup+222.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 22384
/proc/meminfo: memFree=31270368/32770624 swapFree=0/437136
[pid=22377] ppid=22374 vsize=106464 CPUtime=222.17 cores=0,2,4,6
/proc/22377/stat : 22377 (BTD) R 22374 22377 16590 0 -1 4202496 33304 0 0 0 22196 21 0 0 20 0 1 0 27520186 109019136 19059 18446744073709551615 4194304 35031035 140722095471040 140722095470040 4497575 0 0 1 0 0 0 0 17 2 0 0 9 0 0 37130264 37226188 67866624 140722095477253 140722095477329 140722095477329 140722095480785 0
/proc/22377/statm: 26616 19059 466 7529 0 19063 0
Current children cumulated CPU time (s) 222.17
Current children cumulated vsize (KiB) 106464
[startup+282.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 22387
/proc/meminfo: memFree=31269872/32770624 swapFree=0/437164
[pid=22377] ppid=22374 vsize=106596 CPUtime=282.17 cores=0,2,4,6
/proc/22377/stat : 22377 (BTD) R 22374 22377 16590 0 -1 4202496 33678 0 0 0 28190 27 0 0 20 0 1 0 27520186 109154304 19081 18446744073709551615 4194304 35031035 140722095471040 140722095470040 4497582 0 0 1 0 0 0 0 17 2 0 0 9 0 0 37130264 37226188 67866624 140722095477253 140722095477329 140722095477329 140722095480785 0
/proc/22377/statm: 26649 19081 466 7529 0 19096 0
Current children cumulated CPU time (s) 282.17
Current children cumulated vsize (KiB) 106596
[startup+342.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 22389
/proc/meminfo: memFree=31269976/32770624 swapFree=0/437196
[pid=22377] ppid=22374 vsize=106596 CPUtime=342.16 cores=0,2,4,6
/proc/22377/stat : 22377 (BTD) R 22374 22377 16590 0 -1 4202496 34047 0 0 0 34183 33 0 0 20 0 1 0 27520186 109154304 19093 18446744073709551615 4194304 35031035 140722095471040 140722095470040 4497556 0 0 1 0 0 0 0 17 2 0 0 9 0 0 37130264 37226188 67866624 140722095477253 140722095477329 140722095477329 140722095480785 0
/proc/22377/statm: 26649 19093 466 7529 0 19096 0
Current children cumulated CPU time (s) 342.16
Current children cumulated vsize (KiB) 106596
[startup+402.3 s]
/proc/loadavg: 2.04 2.03 2.05 3/181 22391
/proc/meminfo: memFree=31269720/32770624 swapFree=0/437208
[pid=22377] ppid=22374 vsize=106596 CPUtime=402.15 cores=0,2,4,6
/proc/22377/stat : 22377 (BTD) R 22374 22377 16590 0 -1 4202496 34405 0 0 0 40177 38 0 0 20 0 1 0 27520186 109154304 19093 18446744073709551615 4194304 35031035 140722095471040 140722095470040 4497578 0 0 1 0 0 0 0 17 2 0 0 9 0 0 37130264 37226188 67866624 140722095477253 140722095477329 140722095477329 140722095480785 0
/proc/22377/statm: 26649 19093 466 7529 0 19096 0
Current children cumulated CPU time (s) 402.15
Current children cumulated vsize (KiB) 106596
[startup+462.306 s]
/proc/loadavg: 2.02 2.02 2.05 3/181 22394
/proc/meminfo: memFree=31269204/32770624 swapFree=0/437220
[pid=22377] ppid=22374 vsize=106596 CPUtime=462.16 cores=0,2,4,6
/proc/22377/stat : 22377 (BTD) R 22374 22377 16590 0 -1 4202496 34759 0 0 0 46172 44 0 0 20 0 1 0 27520186 109154304 19095 18446744073709551615 4194304 35031035 140722095471040 140722095470040 4496740 0 0 1 0 0 0 0 17 2 0 0 9 0 0 37130264 37226188 67866624 140722095477253 140722095477329 140722095477329 140722095480785 0
/proc/22377/statm: 26649 19095 466 7529 0 19096 0
Current children cumulated CPU time (s) 462.16
Current children cumulated vsize (KiB) 106596
[startup+522.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/181 22396
/proc/meminfo: memFree=31269240/32770624 swapFree=0/437252
[pid=22377] ppid=22374 vsize=106596 CPUtime=522.14 cores=0,2,4,6
/proc/22377/stat : 22377 (BTD) R 22374 22377 16590 0 -1 4202496 35092 0 0 0 52165 49 0 0 20 0 1 0 27520186 109154304 19107 18446744073709551615 4194304 35031035 140722095471040 140722095470040 4541516 0 0 1 0 0 0 0 17 2 0 0 9 0 0 37130264 37226188 67866624 140722095477253 140722095477329 140722095477329 140722095480785 0
/proc/22377/statm: 26649 19107 466 7529 0 19096 0
Current children cumulated CPU time (s) 522.14
Current children cumulated vsize (KiB) 106596
[startup+582.3 s]
/proc/loadavg: 2.04 2.03 2.05 3/185 22534
/proc/meminfo: memFree=31311556/32770624 swapFree=0/437364
[pid=22377] ppid=22374 vsize=106728 CPUtime=582.13 cores=0,2,4,6
/proc/22377/stat : 22377 (BTD) R 22374 22377 16590 0 -1 4202496 35380 0 0 0 58158 55 0 0 20 0 1 0 27520186 109289472 19122 18446744073709551615 4194304 35031035 140722095471040 140722095470040 4497616 0 0 1 0 0 0 0 17 2 0 0 9 0 0 37130264 37226188 67866624 140722095477253 140722095477329 140722095477329 140722095480785 0
/proc/22377/statm: 26682 19122 466 7529 0 19129 0
Current children cumulated CPU time (s) 582.13
Current children cumulated vsize (KiB) 106728
################
# More data... #
################
[startup+1602.3 s]
/proc/loadavg: 1.98 1.99 2.03 3/181 22582
/proc/meminfo: memFree=31313440/32770624 swapFree=0/437752
[pid=22377] ppid=22374 vsize=107124 CPUtime=1602.04 cores=0,2,4,6
/proc/22377/stat : 22377 (BTD) R 22374 22377 16590 0 -1 4202496 42400 0 0 0 160022 182 0 0 20 0 1 0 27520186 109694976 19211 18446744073709551615 4194304 35031035 140722095471040 140722095470040 4213530 0 0 1 0 0 0 0 17 2 0 0 9 0 0 37130264 37226188 67866624 140722095477253 140722095477329 140722095477329 140722095480785 0
/proc/22377/statm: 26781 19211 466 7529 0 19228 0
Current children cumulated CPU time (s) 1602.04
Current children cumulated vsize (KiB) 107124
[startup+1662.3 s]
/proc/loadavg: 1.99 1.99 2.03 3/181 22584
/proc/meminfo: memFree=31313672/32770624 swapFree=0/437768
[pid=22377] ppid=22374 vsize=107124 CPUtime=1662.04 cores=0,2,4,6
/proc/22377/stat : 22377 (BTD) R 22374 22377 16590 0 -1 4202496 42634 0 0 0 166015 189 0 0 20 0 1 0 27520186 109694976 19227 18446744073709551615 4194304 35031035 140722095471040 140722095470040 4497177 0 0 1 0 0 0 0 17 2 0 0 9 0 0 37130264 37226188 67866624 140722095477253 140722095477329 140722095477329 140722095480785 0
/proc/22377/statm: 26781 19227 466 7529 0 19228 0
Current children cumulated CPU time (s) 1662.04
Current children cumulated vsize (KiB) 107124
[startup+1722.3 s]
/proc/loadavg: 2.00 1.99 2.03 3/181 22586
/proc/meminfo: memFree=31313796/32770624 swapFree=0/437792
[pid=22377] ppid=22374 vsize=107124 CPUtime=1722.02 cores=0,2,4,6
/proc/22377/stat : 22377 (BTD) R 22374 22377 16590 0 -1 4202496 42868 0 0 0 172006 196 0 0 20 0 1 0 27520186 109694976 19227 18446744073709551615 4194304 35031035 140722095471040 140722095470040 4496712 0 0 1 0 0 0 0 17 2 0 0 9 0 0 37130264 37226188 67866624 140722095477253 140722095477329 140722095477329 140722095480785 0
/proc/22377/statm: 26781 19227 466 7529 0 19228 0
Current children cumulated CPU time (s) 1722.02
Current children cumulated vsize (KiB) 107124
[startup+1782.31 s]
/proc/loadavg: 2.00 1.99 2.03 3/184 22602
/proc/meminfo: memFree=31308712/32770624 swapFree=0/437812
[pid=22377] ppid=22374 vsize=107124 CPUtime=1782.02 cores=0,2,4,6
/proc/22377/stat : 22377 (BTD) R 22374 22377 16590 0 -1 4202496 43338 0 0 0 177999 203 0 0 20 0 1 0 27520186 109694976 19227 18446744073709551615 4194304 35031035 140722095471040 140722095470040 4496750 0 0 1 0 0 0 0 17 2 0 0 9 0 0 37130264 37226188 67866624 140722095477253 140722095477329 140722095477329 140722095480785 0
/proc/22377/statm: 26781 19227 466 7529 0 19228 0
Current children cumulated CPU time (s) 1782.02
Current children cumulated vsize (KiB) 107124
[startup+1842.3 s]
/proc/loadavg: 2.00 1.99 2.03 3/184 22604
/proc/meminfo: memFree=31308804/32770624 swapFree=0/437844
[pid=22377] ppid=22374 vsize=107124 CPUtime=1842.02 cores=0,2,4,6
/proc/22377/stat : 22377 (BTD) R 22374 22377 16590 0 -1 4202496 43573 0 0 0 183991 211 0 0 20 0 1 0 27520186 109694976 19237 18446744073709551615 4194304 35031035 140722095471040 140722095470040 4497539 0 0 1 0 0 0 0 17 2 0 0 9 0 0 37130264 37226188 67866624 140722095477253 140722095477329 140722095477329 140722095480785 0
/proc/22377/statm: 26781 19237 466 7529 0 19228 0
Current children cumulated CPU time (s) 1842.02
Current children cumulated vsize (KiB) 107124
[startup+1902.3 s]
/proc/loadavg: 2.00 1.99 2.03 3/181 22606
/proc/meminfo: memFree=31311828/32770624 swapFree=0/437872
[pid=22377] ppid=22374 vsize=107124 CPUtime=1902.01 cores=0,2,4,6
/proc/22377/stat : 22377 (BTD) R 22374 22377 16590 0 -1 4202496 43810 0 0 0 189985 216 0 0 20 0 1 0 27520186 109694976 19237 18446744073709551615 4194304 35031035 140722095471040 140722095470040 4497600 0 0 1 0 0 0 0 17 2 0 0 9 0 0 37130264 37226188 67866624 140722095477253 140722095477329 140722095477329 140722095480785 0
/proc/22377/statm: 26781 19237 466 7529 0 19228 0
Current children cumulated CPU time (s) 1902.01
Current children cumulated vsize (KiB) 107124
[startup+1962.3 s]
/proc/loadavg: 1.99 1.99 2.03 3/181 22608
/proc/meminfo: memFree=31312080/32770624 swapFree=0/437892
[pid=22377] ppid=22374 vsize=107256 CPUtime=1962.01 cores=0,2,4,6
/proc/22377/stat : 22377 (BTD) R 22374 22377 16590 0 -1 4202496 44266 0 0 0 195979 222 0 0 20 0 1 0 27520186 109830144 19237 18446744073709551615 4194304 35031035 140722095471040 140722095470040 4497556 0 0 1 0 0 0 0 17 2 0 0 9 0 0 37130264 37226188 67866624 140722095477253 140722095477329 140722095477329 140722095480785 0
/proc/22377/statm: 26814 19237 466 7529 0 19261 0
Current children cumulated CPU time (s) 1962.01
Current children cumulated vsize (KiB) 107256
[startup+2022.3 s]
/proc/loadavg: 2.00 1.99 2.03 3/181 22610
/proc/meminfo: memFree=31312328/32770624 swapFree=0/437912
[pid=22377] ppid=22374 vsize=107256 CPUtime=2022 cores=0,2,4,6
/proc/22377/stat : 22377 (BTD) R 22374 22377 16590 0 -1 4202496 44605 0 0 0 201970 230 0 0 20 0 1 0 27520186 109830144 19258 18446744073709551615 4194304 35031035 140722095471040 140722095470040 4496712 0 0 1 0 0 0 0 17 2 0 0 9 0 0 37130264 37226188 67866624 140722095477253 140722095477329 140722095477329 140722095480785 0
/proc/22377/statm: 26814 19258 466 7529 0 19261 0
Current children cumulated CPU time (s) 2022
Current children cumulated vsize (KiB) 107256
[startup+2082.3 s]
/proc/loadavg: 2.00 1.99 2.03 3/181 22613
/proc/meminfo: memFree=31311960/32770624 swapFree=0/437932
[pid=22377] ppid=22374 vsize=107256 CPUtime=2082 cores=0,2,4,6
/proc/22377/stat : 22377 (BTD) R 22374 22377 16590 0 -1 4202496 44816 0 0 0 207964 236 0 0 20 0 1 0 27520186 109830144 19258 18446744073709551615 4194304 35031035 140722095471040 140722095470040 4497575 0 0 1 0 0 0 0 17 2 0 0 9 0 0 37130264 37226188 67866624 140722095477253 140722095477329 140722095477329 140722095480785 0
/proc/22377/statm: 26814 19258 466 7529 0 19261 0
Current children cumulated CPU time (s) 2082
Current children cumulated vsize (KiB) 107256
[startup+2142.3 s]
/proc/loadavg: 2.04 2.00 2.04 3/181 22615
/proc/meminfo: memFree=31312332/32770624 swapFree=0/437952
[pid=22377] ppid=22374 vsize=107256 CPUtime=2141.98 cores=0,2,4,6
/proc/22377/stat : 22377 (BTD) R 22374 22377 16590 0 -1 4202496 45254 0 0 0 213957 241 0 0 20 0 1 0 27520186 109830144 19258 18446744073709551615 4194304 35031035 140722095471040 140722095470040 4496712 0 0 1 0 0 0 0 17 2 0 0 9 0 0 37130264 37226188 67866624 140722095477253 140722095477329 140722095477329 140722095480785 0
/proc/22377/statm: 26814 19258 466 7529 0 19261 0
Current children cumulated CPU time (s) 2141.98
Current children cumulated vsize (KiB) 107256
[startup+2202.3 s]
/proc/loadavg: 2.02 2.00 2.04 3/181 22617
/proc/meminfo: memFree=31312536/32770624 swapFree=0/437976
[pid=22377] ppid=22374 vsize=107256 CPUtime=2201.99 cores=0,2,4,6
/proc/22377/stat : 22377 (BTD) R 22374 22377 16590 0 -1 4202496 45484 0 0 0 219950 249 0 0 20 0 1 0 27520186 109830144 19262 18446744073709551615 4194304 35031035 140722095471040 140722095470040 4496728 0 0 1 0 0 0 0 17 2 0 0 9 0 0 37130264 37226188 67866624 140722095477253 140722095477329 140722095477329 140722095480785 0
/proc/22377/statm: 26814 19262 466 7529 0 19261 0
Current children cumulated CPU time (s) 2201.99
Current children cumulated vsize (KiB) 107256
[startup+2262.3 s]
/proc/loadavg: 2.01 2.00 2.04 3/181 22620
/proc/meminfo: memFree=31312288/32770624 swapFree=0/437996
[pid=22377] ppid=22374 vsize=107256 CPUtime=2261.97 cores=0,2,4,6
/proc/22377/stat : 22377 (BTD) R 22374 22377 16590 0 -1 4202496 45707 0 0 0 225943 254 0 0 20 0 1 0 27520186 109830144 19262 18446744073709551615 4194304 35031035 140722095471040 140722095470040 4497582 0 0 1 0 0 0 0 17 2 0 0 9 0 0 37130264 37226188 67866624 140722095477253 140722095477329 140722095477329 140722095480785 0
/proc/22377/statm: 26814 19262 466 7529 0 19261 0
Current children cumulated CPU time (s) 2261.97
Current children cumulated vsize (KiB) 107256
[startup+2322.3 s]
/proc/loadavg: 1.95 1.99 2.03 3/181 22622
/proc/meminfo: memFree=31312292/32770624 swapFree=0/438016
[pid=22377] ppid=22374 vsize=107256 CPUtime=2321.98 cores=0,2,4,6
/proc/22377/stat : 22377 (BTD) R 22374 22377 16590 0 -1 4202496 45931 0 0 0 231939 259 0 0 20 0 1 0 27520186 109830144 19262 18446744073709551615 4194304 35031035 140722095471040 140722095470040 4497512 0 0 1 0 0 0 0 17 2 0 0 9 0 0 37130264 37226188 67866624 140722095477253 140722095477329 140722095477329 140722095480785 0
/proc/22377/statm: 26814 19262 466 7529 0 19261 0
Current children cumulated CPU time (s) 2321.98
Current children cumulated vsize (KiB) 107256
[startup+2382.3 s]
/proc/loadavg: 1.98 1.99 2.03 3/184 22638
/proc/meminfo: memFree=31307988/32770624 swapFree=0/438032
[pid=22377] ppid=22374 vsize=107256 CPUtime=2381.97 cores=0,2,4,6
/proc/22377/stat : 22377 (BTD) R 22374 22377 16590 0 -1 4202496 46153 0 0 0 237931 266 0 0 20 0 1 0 27520186 109830144 19262 18446744073709551615 4194304 35031035 140722095471040 140722095470040 4497575 0 0 1 0 0 0 0 17 2 0 0 9 0 0 37130264 37226188 67866624 140722095477253 140722095477329 140722095477329 140722095480785 0
/proc/22377/statm: 26814 19262 466 7529 0 19261 0
Current children cumulated CPU time (s) 2381.97
Current children cumulated vsize (KiB) 107256
[startup+2442.31 s]
/proc/loadavg: 2.04 2.00 2.04 3/185 22665
/proc/meminfo: memFree=31307100/32770624 swapFree=0/438112
[pid=22377] ppid=22374 vsize=107256 CPUtime=2441.97 cores=0,2,4,6
/proc/22377/stat : 22377 (BTD) R 22374 22377 16590 0 -1 4202496 46528 0 0 0 243926 271 0 0 20 0 1 0 27520186 109830144 19266 18446744073709551615 4194304 35031035 140722095471040 140722095470040 7760122 0 0 1 0 0 0 0 17 2 0 0 9 0 0 37130264 37226188 67866624 140722095477253 140722095477329 140722095477329 140722095480785 0
/proc/22377/statm: 26814 19266 466 7529 0 19261 0
Current children cumulated CPU time (s) 2441.97
Current children cumulated vsize (KiB) 107256
[startup+2502.3 s]
/proc/loadavg: 2.02 2.00 2.04 3/185 22667
/proc/meminfo: memFree=31307696/32770624 swapFree=0/438144
[pid=22377] ppid=22374 vsize=107256 CPUtime=2501.96 cores=0,2,4,6
/proc/22377/stat : 22377 (BTD) R 22374 22377 16590 0 -1 4202496 46767 0 0 0 249920 276 0 0 20 0 1 0 27520186 109830144 19266 18446744073709551615 4194304 35031035 140722095471040 140722095470040 4496750 0 0 1 0 0 0 0 17 2 0 0 9 0 0 37130264 37226188 67866624 140722095477253 140722095477329 140722095477329 140722095480785 0
/proc/22377/statm: 26814 19266 466 7529 0 19261 0
Current children cumulated CPU time (s) 2501.96
Current children cumulated vsize (KiB) 107256
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+2520 s]
/proc/loadavg: 2.01 2.00 2.04 3/185 22667
/proc/meminfo: memFree=31307696/32770624 swapFree=0/438148
[pid=22377] ppid=22374 vsize=107256 CPUtime=2519.65 cores=0,2,4,6
/proc/22377/stat : 22377 (BTD) R 22374 22377 16590 0 -1 4202496 46999 0 0 0 251687 278 0 0 20 0 1 0 27520186 109830144 19266 18446744073709551615 4194304 35031035 140722095471040 140722095470040 4213530 0 0 1 0 0 0 0 17 2 0 0 9 0 0 37130264 37226188 67866624 140722095477253 140722095477329 140722095477329 140722095480785 0
/proc/22377/statm: 26814 19266 466 7529 0 19261 0
Current children cumulated CPU time (s) 2519.65
Current children cumulated vsize (KiB) 107256
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 22377 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.66
CPU user time (s): 2516.88
CPU system time (s): 2.78474
CPU usage (%): 99.9866
Max. virtual memory (cumulated for all children) (KiB): 107256
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2516.88
system time used= 2.78474
maximum resident set size= 77064
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 46999
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= 10
involuntary context switches= 4211
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.02407 second user time and 8.86171 second system time
The end