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-4105547-1466273885/watcher-4105547-1466273885 -o /tmp/evaluation-result-4105547-1466273885/solver-4105547-1466273885 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node107-1466270270-20208 --watchdog 1960 naps-1.02 HOME/instance-4105547-1466273885.opb
pid=20574
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 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: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.00 2.00 1.94 3/176 20577
/proc/meminfo: memFree=31138448/32872528 swapFree=241348/274052
[pid=20577] ppid=20574 vsize=7128 CPUtime=0 cores=1,3,5,7
/proc/20577/stat : 20577 (naps-1.02) R 20574 20577 5548 0 -1 4202496 459 0 0 0 0 0 0 0 20 0 1 0 29438528 7299072 334 33554432000 4194304 5796924 140736931156416 140735823508968 5092450 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/20577/statm: 1782 334 128 392 0 1381 0
[startup+0.100158 s]
/proc/loadavg: 2.00 2.00 1.94 3/176 20577
/proc/meminfo: memFree=31138448/32872528 swapFree=241348/274052
[pid=20577] ppid=20574 vsize=7136 CPUtime=0.09 cores=1,3,5,7
/proc/20577/stat : 20577 (naps-1.02) R 20574 20577 5548 0 -1 4202496 511 0 0 0 9 0 0 0 20 0 1 0 29438528 7307264 383 33554432000 4194304 5796924 140736931156416 140735823508968 5183584 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/20577/statm: 1784 383 129 392 0 1383 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 7136
[startup+0.200277 s]
/proc/loadavg: 2.00 2.00 1.94 3/176 20577
/proc/meminfo: memFree=31138448/32872528 swapFree=241348/274052
[pid=20577] ppid=20574 vsize=7384 CPUtime=0.19 cores=1,3,5,7
/proc/20577/stat : 20577 (naps-1.02) R 20574 20577 5548 0 -1 4202496 568 0 0 0 19 0 0 0 20 0 1 0 29438528 7561216 440 33554432000 4194304 5796924 140736931156416 140735823508968 5183584 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/20577/statm: 1846 440 129 392 0 1445 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 7384
[startup+0.300262 s]
/proc/loadavg: 2.00 2.00 1.94 3/176 20577
/proc/meminfo: memFree=31138448/32872528 swapFree=241348/274052
[pid=20577] ppid=20574 vsize=7648 CPUtime=0.29 cores=1,3,5,7
/proc/20577/stat : 20577 (naps-1.02) R 20574 20577 5548 0 -1 4202496 653 0 0 0 29 0 0 0 20 0 1 0 29438528 7831552 524 33554432000 4194304 5796924 140736931156416 140735823508968 5183584 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/20577/statm: 1912 524 129 392 0 1511 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 7648
[startup+0.700247 s]
/proc/loadavg: 2.00 2.00 1.94 3/176 20577
/proc/meminfo: memFree=31138448/32872528 swapFree=241348/274052
[pid=20577] ppid=20574 vsize=13440 CPUtime=0.69 cores=1,3,5,7
/proc/20577/stat : 20577 (naps-1.02) R 20574 20577 5548 0 -1 4202496 3336 0 0 0 69 0 0 0 20 0 1 0 29438528 13762560 2933 33554432000 4194304 5796924 140736931156416 140736931155640 4623680 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/20577/statm: 3360 2933 159 392 0 2959 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 13440
[startup+1.50029 s]
/proc/loadavg: 2.00 2.00 1.94 3/177 20578
/proc/meminfo: memFree=31087192/32872528 swapFree=241348/274052
[pid=20577] ppid=20574 vsize=55988 CPUtime=1.49 cores=1,3,5,7
/proc/20577/stat : 20577 (naps-1.02) R 20574 20577 5548 0 -1 4202496 12204 0 0 0 148 1 0 0 20 0 1 0 29438528 57331712 12894 33554432000 4194304 5796924 140736931156416 140736931153864 4606507 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/20577/statm: 13997 12894 171 392 0 13596 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 55988
[startup+3.1003 s]
/proc/loadavg: 2.00 2.00 1.94 3/177 20578
/proc/meminfo: memFree=31084524/32872528 swapFree=241348/274052
[pid=20577] ppid=20574 vsize=63064 CPUtime=3.09 cores=1,3,5,7
/proc/20577/stat : 20577 (naps-1.02) R 20574 20577 5548 0 -1 4202496 12694 0 0 0 308 1 0 0 20 0 1 0 29438528 64577536 13893 33554432000 4194304 5796924 140736931156416 140736931153656 4611179 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/20577/statm: 15766 13893 171 392 0 15365 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 63064
[startup+6.30031 s]
/proc/loadavg: 2.00 2.00 1.94 3/177 20578
/proc/meminfo: memFree=31081928/32872528 swapFree=241348/274052
[pid=20577] ppid=20574 vsize=63064 CPUtime=6.29 cores=1,3,5,7
/proc/20577/stat : 20577 (naps-1.02) R 20574 20577 5548 0 -1 4202496 12861 0 0 0 628 1 0 0 20 0 1 0 29438528 64577536 14059 33554432000 4194304 5796924 140736931156416 140736931153656 4606507 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/20577/statm: 15766 14059 171 392 0 15365 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 63064
[startup+12.7003 s]
/proc/loadavg: 2.00 2.00 1.94 3/177 20578
/proc/meminfo: memFree=31039096/32872528 swapFree=241348/274052
[pid=20577] ppid=20574 vsize=70204 CPUtime=12.69 cores=1,3,5,7
/proc/20577/stat : 20577 (naps-1.02) R 20574 20577 5548 0 -1 4202496 13123 0 0 0 1268 1 0 0 20 0 1 0 29438528 71888896 16340 33554432000 4194304 5796924 140736931156416 140736931153480 4606480 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/20577/statm: 17551 16340 171 392 0 17150 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 70204
[startup+25.5004 s]
/proc/loadavg: 2.00 2.00 1.94 3/177 20578
/proc/meminfo: memFree=31030372/32872528 swapFree=241348/274052
[pid=20577] ppid=20574 vsize=70204 CPUtime=25.49 cores=1,3,5,7
/proc/20577/stat : 20577 (naps-1.02) R 20574 20577 5548 0 -1 4202496 13385 0 0 0 2548 1 0 0 20 0 1 0 29438528 71888896 16598 33554432000 4194304 5796924 140736931156416 140736931153480 4607258 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/20577/statm: 17551 16598 171 392 0 17150 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 70204
[startup+51.1004 s]
/proc/loadavg: 2.00 2.00 1.94 3/177 20579
/proc/meminfo: memFree=31005844/32872528 swapFree=241348/274052
[pid=20577] ppid=20574 vsize=149980 CPUtime=51.08 cores=1,3,5,7
/proc/20577/stat : 20577 (naps-1.02) R 20574 20577 5548 0 -1 4202496 15804 0 0 0 5105 3 0 0 20 0 1 0 29438528 153579520 28081 33554432000 4194304 5796924 140736931156416 140736931153656 4606507 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/20577/statm: 37495 28081 171 392 0 37094 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 149980
[startup+102.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/177 20580
/proc/meminfo: memFree=30988516/32872528 swapFree=241348/274052
[pid=20577] ppid=20574 vsize=131812 CPUtime=102.28 cores=1,3,5,7
/proc/20577/stat : 20577 (naps-1.02) R 20574 20577 5548 0 -1 4202496 17073 0 0 0 10224 4 0 0 20 0 1 0 29438528 134975488 27365 33554432000 4194304 5796924 140736931156416 140736931153880 4606507 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/20577/statm: 32953 27365 171 392 0 32552 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 131812
[startup+162.3 s]
/proc/loadavg: 2.07 2.03 1.95 3/177 20584
/proc/meminfo: memFree=30984232/32872528 swapFree=241348/274052
[pid=20577] ppid=20574 vsize=131812 CPUtime=162.24 cores=1,3,5,7
/proc/20577/stat : 20577 (naps-1.02) R 20574 20577 5548 0 -1 4202496 17756 0 0 0 16219 5 0 0 20 0 1 0 29438528 134975488 27980 33554432000 4194304 5796924 140736931156416 140736931153880 4606514 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/20577/statm: 32953 27980 171 392 0 32552 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 131812
[startup+222.307 s]
/proc/loadavg: 2.06 2.03 1.96 3/177 20586
/proc/meminfo: memFree=30991892/32872528 swapFree=241348/274052
[pid=20577] ppid=20574 vsize=181132 CPUtime=222.24 cores=1,3,5,7
/proc/20577/stat : 20577 (naps-1.02) R 20574 20577 5548 0 -1 4202496 18975 0 0 0 22216 8 0 0 20 0 1 0 29438528 185479168 36893 33554432000 4194304 5796924 140736931156416 140736931153704 4596110 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/20577/statm: 45283 36893 171 392 0 44882 0
Current children cumulated CPU time (s) 222.24
Current children cumulated vsize (KiB) 181132
[startup+282.3 s]
/proc/loadavg: 2.02 2.02 1.96 3/177 20587
/proc/meminfo: memFree=30989768/32872528 swapFree=241348/274052
[pid=20577] ppid=20574 vsize=181132 CPUtime=282.23 cores=1,3,5,7
/proc/20577/stat : 20577 (naps-1.02) R 20574 20577 5548 0 -1 4202496 20021 0 0 0 28212 11 0 0 20 0 1 0 29438528 185479168 37917 33554432000 4194304 5796924 140736931156416 140736931153704 4583083 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/20577/statm: 45283 37917 171 392 0 44882 0
Current children cumulated CPU time (s) 282.23
Current children cumulated vsize (KiB) 181132
[startup+342.3 s]
/proc/loadavg: 2.04 2.03 1.96 3/177 20589
/proc/meminfo: memFree=31027028/32872528 swapFree=241348/274052
[pid=20577] ppid=20574 vsize=131812 CPUtime=342.22 cores=1,3,5,7
/proc/20577/stat : 20577 (naps-1.02) R 20574 20577 5548 0 -1 4202496 21621 0 0 0 34207 15 0 0 20 0 1 0 29438528 134975488 27985 33554432000 4194304 5796924 140736931156416 140736931153880 4593546 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/20577/statm: 32953 27985 171 392 0 32552 0
Current children cumulated CPU time (s) 342.22
Current children cumulated vsize (KiB) 131812
[startup+402.3 s]
/proc/loadavg: 2.01 2.02 1.96 3/177 20590
/proc/meminfo: memFree=30970680/32872528 swapFree=241348/274052
[pid=20577] ppid=20574 vsize=211952 CPUtime=402.21 cores=1,3,5,7
/proc/20577/stat : 20577 (naps-1.02) R 20574 20577 5548 0 -1 4202496 23256 0 0 0 40203 18 0 0 20 0 1 0 29438528 217038848 42592 33554432000 4194304 5796924 140736931156416 140736931154056 4606555 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/20577/statm: 52988 42592 171 392 0 52587 0
Current children cumulated CPU time (s) 402.21
Current children cumulated vsize (KiB) 211952
[startup+462.3 s]
/proc/loadavg: 2.00 2.02 1.96 3/177 20591
/proc/meminfo: memFree=30967704/32872528 swapFree=241348/274052
[pid=20577] ppid=20574 vsize=131812 CPUtime=462.2 cores=1,3,5,7
/proc/20577/stat : 20577 (naps-1.02) R 20574 20577 5548 0 -1 4202496 24081 0 0 0 46200 20 0 0 20 0 1 0 29438528 134975488 28497 33554432000 4194304 5796924 140736931156416 140736931153880 4606507 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/20577/statm: 32953 28497 171 392 0 32552 0
Current children cumulated CPU time (s) 462.2
Current children cumulated vsize (KiB) 131812
[startup+522.3 s]
/proc/loadavg: 2.00 2.01 1.96 3/177 20592
/proc/meminfo: memFree=30975504/32872528 swapFree=241348/274052
[pid=20577] ppid=20574 vsize=181132 CPUtime=522.2 cores=1,3,5,7
/proc/20577/stat : 20577 (naps-1.02) R 20574 20577 5548 0 -1 4202496 25946 0 0 0 52196 24 0 0 20 0 1 0 29438528 185479168 36893 33554432000 4194304 5796924 140736931156416 140736931153880 4606552 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/20577/statm: 45283 36893 171 392 0 44882 0
Current children cumulated CPU time (s) 522.2
Current children cumulated vsize (KiB) 181132
[startup+582.3 s]
/proc/loadavg: 2.05 2.02 1.97 3/177 20593
/proc/meminfo: memFree=30940608/32872528 swapFree=241348/274052
[pid=20577] ppid=20574 vsize=181132 CPUtime=582.19 cores=1,3,5,7
/proc/20577/stat : 20577 (naps-1.02) R 20574 20577 5548 0 -1 4202496 26776 0 0 0 58193 26 0 0 20 0 1 0 29438528 185479168 38941 33554432000 4194304 5796924 140736931156416 140736931153704 4606507 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/20577/statm: 45283 38941 171 392 0 44882 0
Current children cumulated CPU time (s) 582.19
Current children cumulated vsize (KiB) 181132
################
# More data... #
################
[startup+882.307 s]
/proc/loadavg: 2.01 2.01 1.97 3/177 20647
/proc/meminfo: memFree=30926700/32872528 swapFree=241348/274052
[pid=20577] ppid=20574 vsize=225968 CPUtime=882.15 cores=1,3,5,7
/proc/20577/stat : 20577 (naps-1.02) R 20574 20577 5548 0 -1 4202496 34945 0 0 0 88175 40 0 0 20 0 1 0 29438528 231391232 50232 33554432000 4194304 5796924 140736931156416 140736931154056 4606523 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/20577/statm: 56492 50232 171 392 0 56091 0
Current children cumulated CPU time (s) 882.15
Current children cumulated vsize (KiB) 225968
[startup+942.3 s]
/proc/loadavg: 2.06 2.02 1.98 3/177 20648
/proc/meminfo: memFree=30937264/32872528 swapFree=241348/274052
[pid=20577] ppid=20574 vsize=195148 CPUtime=942.13 cores=1,3,5,7
/proc/20577/stat : 20577 (naps-1.02) R 20574 20577 5548 0 -1 4202496 36558 0 0 0 94170 43 0 0 20 0 1 0 29438528 199831552 47093 33554432000 4194304 5796924 140736931156416 140736931153704 4591799 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/20577/statm: 48787 47093 171 392 0 48386 0
Current children cumulated CPU time (s) 942.13
Current children cumulated vsize (KiB) 195148
[startup+1002.3 s]
/proc/loadavg: 2.02 2.02 1.98 3/177 20650
/proc/meminfo: memFree=30851784/32872528 swapFree=241348/274052
[pid=20577] ppid=20574 vsize=276056 CPUtime=1002.12 cores=1,3,5,7
/proc/20577/stat : 20577 (naps-1.02) R 20574 20577 5548 0 -1 4202496 37996 0 0 0 100166 46 0 0 20 0 1 0 29438528 282681344 67941 33554432000 4194304 5796924 140736931156416 140736931154056 4606555 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/20577/statm: 69014 67941 171 392 0 68613 0
Current children cumulated CPU time (s) 1002.12
Current children cumulated vsize (KiB) 276056
[startup+1062.3 s]
/proc/loadavg: 2.08 2.03 1.98 3/177 20651
/proc/meminfo: memFree=30884280/32872528 swapFree=241348/274052
[pid=20577] ppid=20574 vsize=276056 CPUtime=1062.11 cores=1,3,5,7
/proc/20577/stat : 20577 (naps-1.02) R 20574 20577 5548 0 -1 4202496 40161 0 0 0 106163 48 0 0 20 0 1 0 29438528 282681344 60261 33554432000 4194304 5796924 140736931156416 140736931154056 4606555 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/20577/statm: 69014 60261 171 392 0 68613 0
Current children cumulated CPU time (s) 1062.11
Current children cumulated vsize (KiB) 276056
[startup+1122.3 s]
/proc/loadavg: 2.08 2.03 1.99 3/177 20652
/proc/meminfo: memFree=30922672/32872528 swapFree=241348/274052
[pid=20577] ppid=20574 vsize=225968 CPUtime=1122.1 cores=1,3,5,7
/proc/20577/stat : 20577 (naps-1.02) R 20574 20577 5548 0 -1 4202496 41509 0 0 0 112159 51 0 0 20 0 1 0 29438528 231391232 52280 33554432000 4194304 5796924 140736931156416 140736931154056 4606555 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/20577/statm: 56492 52280 171 392 0 56091 0
Current children cumulated CPU time (s) 1122.1
Current children cumulated vsize (KiB) 225968
[startup+1182.3 s]
/proc/loadavg: 2.06 2.04 2.00 3/177 20653
/proc/meminfo: memFree=30897344/32872528 swapFree=241348/274052
[pid=20577] ppid=20574 vsize=225968 CPUtime=1182.09 cores=1,3,5,7
/proc/20577/stat : 20577 (naps-1.02) R 20574 20577 5548 0 -1 4202496 43699 0 0 0 118154 55 0 0 20 0 1 0 29438528 231391232 52792 33554432000 4194304 5796924 140736931156416 140736931154056 4595134 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/20577/statm: 56492 52792 171 392 0 56091 0
Current children cumulated CPU time (s) 1182.09
Current children cumulated vsize (KiB) 225968
[startup+1242.3 s]
/proc/loadavg: 2.02 2.03 2.00 3/177 20654
/proc/meminfo: memFree=30787076/32872528 swapFree=241348/274052
[pid=20577] ppid=20574 vsize=357444 CPUtime=1242.08 cores=1,3,5,7
/proc/20577/stat : 20577 (naps-1.02) R 20574 20577 5548 0 -1 4202496 45087 0 0 0 124150 58 0 0 20 0 1 0 29438528 366022656 83301 33554432000 4194304 5796924 140736931156416 140736931154056 4606555 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/20577/statm: 89361 83301 171 392 0 88960 0
Current children cumulated CPU time (s) 1242.08
Current children cumulated vsize (KiB) 357444
[startup+1302.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/177 20656
/proc/meminfo: memFree=30871816/32872528 swapFree=241348/274052
[pid=20577] ppid=20574 vsize=276056 CPUtime=1302.06 cores=1,3,5,7
/proc/20577/stat : 20577 (naps-1.02) R 20574 20577 5548 0 -1 4202496 46752 0 0 0 130145 61 0 0 20 0 1 0 29438528 282681344 65381 33554432000 4194304 5796924 140736931156416 140736931154056 4606789 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/20577/statm: 69014 65381 171 392 0 68613 0
Current children cumulated CPU time (s) 1302.06
Current children cumulated vsize (KiB) 276056
[startup+1362.3 s]
/proc/loadavg: 2.07 2.03 2.00 3/178 20660
/proc/meminfo: memFree=30889548/32872528 swapFree=241348/274052
[pid=20577] ppid=20574 vsize=225968 CPUtime=1362.06 cores=1,3,5,7
/proc/20577/stat : 20577 (naps-1.02) R 20574 20577 5548 0 -1 4202496 48128 0 0 0 136141 65 0 0 20 0 1 0 29438528 231391232 54840 33554432000 4194304 5796924 140736931156416 140736931154056 4606555 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/20577/statm: 56492 54840 171 392 0 56091 0
Current children cumulated CPU time (s) 1362.06
Current children cumulated vsize (KiB) 225968
[startup+1422.3 s]
/proc/loadavg: 2.02 2.02 2.00 3/177 20661
/proc/meminfo: memFree=30792100/32872528 swapFree=241348/274052
[pid=20577] ppid=20574 vsize=357444 CPUtime=1422.05 cores=1,3,5,7
/proc/20577/stat : 20577 (naps-1.02) R 20574 20577 5548 0 -1 4202496 49510 0 0 0 142138 67 0 0 20 0 1 0 29438528 366022656 82789 33554432000 4194304 5796924 140736931156416 140736931154056 4606555 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/20577/statm: 89361 82789 171 392 0 88960 0
Current children cumulated CPU time (s) 1422.05
Current children cumulated vsize (KiB) 357444
[startup+1482.3 s]
/proc/loadavg: 2.07 2.03 2.00 3/177 20662
/proc/meminfo: memFree=30893712/32872528 swapFree=241348/274052
[pid=20577] ppid=20574 vsize=225968 CPUtime=1482.04 cores=1,3,5,7
/proc/20577/stat : 20577 (naps-1.02) R 20574 20577 5548 0 -1 4202496 50330 0 0 0 148135 69 0 0 20 0 1 0 29438528 231391232 51768 33554432000 4194304 5796924 140736931156416 140736931154056 4607192 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/20577/statm: 56492 51768 171 392 0 56091 0
Current children cumulated CPU time (s) 1482.04
Current children cumulated vsize (KiB) 225968
[startup+1542.31 s]
/proc/loadavg: 2.18 2.06 2.01 3/177 20663
/proc/meminfo: memFree=30871072/32872528 swapFree=241348/274052
[pid=20577] ppid=20574 vsize=276056 CPUtime=1542.03 cores=1,3,5,7
/proc/20577/stat : 20577 (naps-1.02) R 20574 20577 5548 0 -1 4202496 51187 0 0 0 154132 71 0 0 20 0 1 0 29438528 282681344 62309 33554432000 4194304 5796924 140736931156416 140736931154056 4606555 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/20577/statm: 69014 62309 171 392 0 68613 0
Current children cumulated CPU time (s) 1542.03
Current children cumulated vsize (KiB) 276056
[startup+1602.3 s]
/proc/loadavg: 2.10 2.06 2.01 3/177 20665
/proc/meminfo: memFree=30855308/32872528 swapFree=241348/274052
[pid=20577] ppid=20574 vsize=276056 CPUtime=1602 cores=1,3,5,7
/proc/20577/stat : 20577 (naps-1.02) R 20574 20577 5548 0 -1 4202496 52846 0 0 0 160126 74 0 0 20 0 1 0 29438528 282681344 61285 33554432000 4194304 5796924 140736931156416 140736931154056 4607258 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/20577/statm: 69014 61285 171 392 0 68613 0
Current children cumulated CPU time (s) 1602
Current children cumulated vsize (KiB) 276056
[startup+1662.3 s]
/proc/loadavg: 2.04 2.05 2.00 3/177 20666
/proc/meminfo: memFree=30940300/32872528 swapFree=241348/274052
[pid=20577] ppid=20574 vsize=195148 CPUtime=1661.99 cores=1,3,5,7
/proc/20577/stat : 20577 (naps-1.02) R 20574 20577 5548 0 -1 4202496 53080 0 0 0 166124 75 0 0 20 0 1 0 29438528 199831552 44533 33554432000 4194304 5796924 140736931156416 140736931153704 4606596 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/20577/statm: 48787 44533 171 392 0 48386 0
Current children cumulated CPU time (s) 1661.99
Current children cumulated vsize (KiB) 195148
[startup+1722.3 s]
/proc/loadavg: 2.01 2.04 2.00 3/177 20667
/proc/meminfo: memFree=30852588/32872528 swapFree=241348/274052
[pid=20577] ppid=20574 vsize=276056 CPUtime=1721.99 cores=1,3,5,7
/proc/20577/stat : 20577 (naps-1.02) R 20574 20577 5548 0 -1 4202496 54517 0 0 0 172121 78 0 0 20 0 1 0 29438528 282681344 60773 33554432000 4194304 5796924 140736931156416 140736931154056 4592160 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/20577/statm: 69014 60773 171 392 0 68613 0
Current children cumulated CPU time (s) 1721.99
Current children cumulated vsize (KiB) 276056
[startup+1782.3 s]
/proc/loadavg: 2.00 2.03 2.00 3/177 20668
/proc/meminfo: memFree=30933708/32872528 swapFree=241348/274052
[pid=20577] ppid=20574 vsize=195148 CPUtime=1781.97 cores=1,3,5,7
/proc/20577/stat : 20577 (naps-1.02) R 20574 20577 5548 0 -1 4202496 55273 0 0 0 178117 80 0 0 20 0 1 0 29438528 199831552 46581 33554432000 4194304 5796924 140736931156416 140736931153704 4606552 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/20577/statm: 48787 46581 171 392 0 48386 0
Current children cumulated CPU time (s) 1781.97
Current children cumulated vsize (KiB) 195148
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.4 s]
/proc/loadavg: 2.00 2.02 2.00 3/177 20669
/proc/meminfo: memFree=30913116/32872528 swapFree=241348/274052
[pid=20577] ppid=20574 vsize=225968 CPUtime=1800.07 cores=1,3,5,7
/proc/20577/stat : 20577 (naps-1.02) R 20574 20577 5548 0 -1 4202496 55863 0 0 0 179926 81 0 0 20 0 1 0 29438528 231391232 50232 33554432000 4194304 5796924 140736931156416 140736931154056 4606446 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/20577/statm: 56492 50232 171 392 0 56091 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 225968
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 20577 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 10
Real time (s): 1800.4
CPU time (s): 1800.09
CPU user time (s): 1799.27
CPU system time (s): 0.814876
CPU usage (%): 99.9823
Max. virtual memory (cumulated for all children) (KiB): 357444
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.27
system time used= 0.814876
maximum resident set size= 347540
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 55875
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= 67
involuntary context switches= 1857
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.55731 second user time and 6.90395 second system time
The end