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-4105931-1466276517/watcher-4105931-1466276517 -o /tmp/evaluation-result-4105931-1466276517/solver-4105931-1466276517 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node124-1466276517-22625 --watchdog 1960 naps-1.02 HOME/instance-4105931-1466276517.opb
pid=22636
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: 1.36 1.92 2.08 3/171 22639
/proc/meminfo: memFree=30107612/32872528 swapFree=1497824/1644992
[pid=22639] ppid=22636 vsize=6708 CPUtime=0 cores=1,3,5,7
/proc/22639/stat : 22639 (naps-1.02) R 22636 22639 22608 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 29698544 6868992 229 33554432000 4194304 5796924 140736068417680 140736068416120 5183584 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/22639/statm: 1677 229 128 392 0 1276 0
[startup+0.100108 s]
/proc/loadavg: 1.36 1.92 2.08 3/171 22639
/proc/meminfo: memFree=30107612/32872528 swapFree=1497824/1644992
[pid=22639] ppid=22636 vsize=3012 CPUtime=0.09 cores=1,3,5,7
/proc/22639/stat : 22639 (naps-1.02) R 22636 22639 22608 0 -1 4202496 590 0 0 0 9 0 0 0 20 0 1 0 29698544 3084288 437 33554432000 4194304 5796924 140736068417680 140736068414664 5087529 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/22639/statm: 753 437 151 392 0 352 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 3012
[startup+0.200236 s]
/proc/loadavg: 1.36 1.92 2.08 3/171 22639
/proc/meminfo: memFree=30107612/32872528 swapFree=1497824/1644992
[pid=22639] ppid=22636 vsize=3012 CPUtime=0.19 cores=1,3,5,7
/proc/22639/stat : 22639 (naps-1.02) R 22636 22639 22608 0 -1 4202496 590 0 0 0 19 0 0 0 20 0 1 0 29698544 3084288 437 33554432000 4194304 5796924 140736068417680 140736068414664 5096706 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/22639/statm: 753 437 151 392 0 352 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 3012
[startup+0.300264 s]
/proc/loadavg: 1.36 1.92 2.08 3/171 22639
/proc/meminfo: memFree=30107612/32872528 swapFree=1497824/1644992
[pid=22639] ppid=22636 vsize=3012 CPUtime=0.29 cores=1,3,5,7
/proc/22639/stat : 22639 (naps-1.02) R 22636 22639 22608 0 -1 4202496 590 0 0 0 29 0 0 0 20 0 1 0 29698544 3084288 437 33554432000 4194304 5796924 140736068417680 140736068414664 4296021 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/22639/statm: 753 437 151 392 0 352 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 3012
[startup+0.700233 s]
/proc/loadavg: 1.36 1.92 2.08 3/171 22639
/proc/meminfo: memFree=30107612/32872528 swapFree=1497824/1644992
[pid=22639] ppid=22636 vsize=3012 CPUtime=0.69 cores=1,3,5,7
/proc/22639/stat : 22639 (naps-1.02) R 22636 22639 22608 0 -1 4202496 590 0 0 0 69 0 0 0 20 0 1 0 29698544 3084288 437 33554432000 4194304 5796924 140736068417680 140736068414664 5100093 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/22639/statm: 753 437 151 392 0 352 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 3012
[startup+1.5003 s]
/proc/loadavg: 1.36 1.92 2.08 3/178 22655
/proc/meminfo: memFree=29971652/32872528 swapFree=1497824/1644992
[pid=22639] ppid=22636 vsize=148888 CPUtime=1.49 cores=1,3,5,7
/proc/22639/stat : 22639 (naps-1.02) R 22636 22639 22608 0 -1 4202496 24051 0 0 0 144 5 0 0 20 0 1 0 29698544 152461312 35697 33554432000 4194304 5796924 140736068417680 140736068415000 5095032 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/22639/statm: 37222 35698 159 392 0 36821 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 148888
[startup+3.10031 s]
/proc/loadavg: 1.36 1.92 2.08 3/178 22655
/proc/meminfo: memFree=29819536/32872528 swapFree=1497824/1644992
[pid=22639] ppid=22636 vsize=156036 CPUtime=3.09 cores=1,3,5,7
/proc/22639/stat : 22639 (naps-1.02) R 22636 22639 22608 0 -1 4202496 26454 0 0 0 303 6 0 0 20 0 1 0 29698544 159780864 35753 33554432000 4194304 5796924 140736068417680 140736068415128 4606433 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/22639/statm: 39009 35753 161 392 0 38608 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 156036
[startup+6.30031 s]
/proc/loadavg: 1.41 1.92 2.08 3/177 22655
/proc/meminfo: memFree=29205224/32872528 swapFree=1497824/1644992
[pid=22639] ppid=22636 vsize=156036 CPUtime=6.29 cores=1,3,5,7
/proc/22639/stat : 22639 (naps-1.02) R 22636 22639 22608 0 -1 4202496 26465 0 0 0 623 6 0 0 20 0 1 0 29698544 159780864 36275 33554432000 4194304 5796924 140736068417680 140736068415528 4606708 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/22639/statm: 39009 36275 171 392 0 38608 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 156036
[startup+12.7003 s]
/proc/loadavg: 1.46 1.92 2.08 3/177 22655
/proc/meminfo: memFree=27593692/32872528 swapFree=1497824/1644992
[pid=22639] ppid=22636 vsize=174712 CPUtime=12.68 cores=1,3,5,7
/proc/22639/stat : 22639 (naps-1.02) R 22636 22639 22608 0 -1 4202496 26996 0 0 0 1262 6 0 0 20 0 1 0 29698544 178905088 37811 33554432000 4194304 5796924 140736068417680 140736068414920 4606433 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/22639/statm: 43678 37811 171 392 0 43277 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 174712
[startup+25.5004 s]
/proc/loadavg: 1.80 1.97 2.10 3/177 22655
/proc/meminfo: memFree=26619008/32872528 swapFree=1497824/1644992
[pid=22639] ppid=22636 vsize=174712 CPUtime=25.48 cores=1,3,5,7
/proc/22639/stat : 22639 (naps-1.02) R 22636 22639 22608 0 -1 4202496 27071 0 0 0 2542 6 0 0 20 0 1 0 29698544 178905088 40437 33554432000 4194304 5796924 140736068417680 140736068414920 4606480 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/22639/statm: 43678 40437 171 392 0 43277 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 174712
[startup+51.1004 s]
/proc/loadavg: 1.87 1.97 2.09 3/177 22655
/proc/meminfo: memFree=26838748/32872528 swapFree=1497824/1644992
[pid=22639] ppid=22636 vsize=194428 CPUtime=51.07 cores=1,3,5,7
/proc/22639/stat : 22639 (naps-1.02) R 22636 22639 22608 0 -1 4202496 27558 0 0 0 5100 7 0 0 20 0 1 0 29698544 199094272 43049 33554432000 4194304 5796924 140736068417680 140736068414920 4606507 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/22639/statm: 48607 43049 171 392 0 48206 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 194428
[startup+102.3 s]
/proc/loadavg: 1.98 1.99 2.09 3/176 22656
/proc/meminfo: memFree=26816360/32872528 swapFree=1497824/1644992
[pid=22639] ppid=22636 vsize=201612 CPUtime=102.25 cores=1,3,5,7
/proc/22639/stat : 22639 (naps-1.02) R 22636 22639 22608 0 -1 4202496 28118 0 0 0 10218 7 0 0 20 0 1 0 29698544 206450688 48284 33554432000 4194304 5796924 140736068417680 140736068414744 4606771 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/22639/statm: 50403 48284 171 392 0 50002 0
Current children cumulated CPU time (s) 102.25
Current children cumulated vsize (KiB) 201612
[startup+162.3 s]
/proc/loadavg: 2.25 2.06 2.10 3/177 22658
/proc/meminfo: memFree=26801752/32872528 swapFree=1497824/1644992
[pid=22639] ppid=22636 vsize=213244 CPUtime=162.23 cores=1,3,5,7
/proc/22639/stat : 22639 (naps-1.02) R 22636 22639 22608 0 -1 4202496 28706 0 0 0 16215 8 0 0 20 0 1 0 29698544 218361856 51392 33554432000 4194304 5796924 140736068417680 140736068414744 4606507 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/22639/statm: 53311 51392 171 392 0 52910 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 213244
[startup+222.307 s]
/proc/loadavg: 2.21 2.08 2.10 3/177 22659
/proc/meminfo: memFree=26799372/32872528 swapFree=1497824/1644992
[pid=22639] ppid=22636 vsize=213244 CPUtime=222.23 cores=1,3,5,7
/proc/22639/stat : 22639 (naps-1.02) R 22636 22639 22608 0 -1 4202496 28706 0 0 0 22215 8 0 0 20 0 1 0 29698544 218361856 51392 33554432000 4194304 5796924 140736068417680 140736068414744 4606433 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/22639/statm: 53311 51392 171 392 0 52910 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 213244
[startup+282.3 s]
/proc/loadavg: 2.18 2.09 2.10 3/177 22660
/proc/meminfo: memFree=26796864/32872528 swapFree=1497824/1644992
[pid=22639] ppid=22636 vsize=213244 CPUtime=282.21 cores=1,3,5,7
/proc/22639/stat : 22639 (naps-1.02) R 22636 22639 22608 0 -1 4202496 28706 0 0 0 28213 8 0 0 20 0 1 0 29698544 218361856 51392 33554432000 4194304 5796924 140736068417680 140736068414744 4606433 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/22639/statm: 53311 51392 171 392 0 52910 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 213244
[startup+342.3 s]
/proc/loadavg: 2.23 2.12 2.11 3/177 22661
/proc/meminfo: memFree=26794692/32872528 swapFree=1497824/1644992
[pid=22639] ppid=22636 vsize=213244 CPUtime=342.2 cores=1,3,5,7
/proc/22639/stat : 22639 (naps-1.02) R 22636 22639 22608 0 -1 4202496 28706 0 0 0 34212 8 0 0 20 0 1 0 29698544 218361856 51392 33554432000 4194304 5796924 140736068417680 140736068414744 4569014 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/22639/statm: 53311 51392 171 392 0 52910 0
Current children cumulated CPU time (s) 342.2
Current children cumulated vsize (KiB) 213244
[startup+402.3 s]
/proc/loadavg: 2.17 2.12 2.11 3/177 22662
/proc/meminfo: memFree=26792652/32872528 swapFree=1497824/1644992
[pid=22639] ppid=22636 vsize=213244 CPUtime=402.19 cores=1,3,5,7
/proc/22639/stat : 22639 (naps-1.02) R 22636 22639 22608 0 -1 4202496 28706 0 0 0 40211 8 0 0 20 0 1 0 29698544 218361856 51392 33554432000 4194304 5796924 140736068417680 140736068414744 4607232 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/22639/statm: 53311 51392 171 392 0 52910 0
Current children cumulated CPU time (s) 402.19
Current children cumulated vsize (KiB) 213244
[startup+462.3 s]
/proc/loadavg: 2.18 2.14 2.11 3/177 22664
/proc/meminfo: memFree=26794732/32872528 swapFree=1497824/1644992
[pid=22639] ppid=22636 vsize=213248 CPUtime=462.19 cores=1,3,5,7
/proc/22639/stat : 22639 (naps-1.02) R 22636 22639 22608 0 -1 4202496 30166 0 0 0 46209 10 0 0 20 0 1 0 29698544 218365952 49757 33554432000 4194304 5796924 140736068417680 140736068414968 4606503 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/22639/statm: 53312 49757 171 392 0 52911 0
Current children cumulated CPU time (s) 462.19
Current children cumulated vsize (KiB) 213248
[startup+522.3 s]
/proc/loadavg: 2.33 2.19 2.13 3/178 22668
/proc/meminfo: memFree=26786444/32872528 swapFree=1497824/1644992
[pid=22639] ppid=22636 vsize=213248 CPUtime=522.18 cores=1,3,5,7
/proc/22639/stat : 22639 (naps-1.02) R 22636 22639 22608 0 -1 4202496 30618 0 0 0 52207 11 0 0 20 0 1 0 29698544 218365952 51293 33554432000 4194304 5796924 140736068417680 140736068414968 4591861 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/22639/statm: 53312 51293 171 392 0 52911 0
Current children cumulated CPU time (s) 522.18
Current children cumulated vsize (KiB) 213248
[startup+582.3 s]
/proc/loadavg: 2.30 2.20 2.13 3/177 22669
/proc/meminfo: memFree=26783876/32872528 swapFree=1497824/1644992
[pid=22639] ppid=22636 vsize=232216 CPUtime=582.16 cores=1,3,5,7
/proc/22639/stat : 22639 (naps-1.02) R 22636 22639 22608 0 -1 4202496 31783 0 0 0 58204 12 0 0 20 0 1 0 29698544 237789184 51520 33554432000 4194304 5796924 140736068417680 140736068415320 4607277 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/22639/statm: 58054 51520 171 392 0 57653 0
Current children cumulated CPU time (s) 582.16
Current children cumulated vsize (KiB) 232216
################
# More data... #
################
[startup+882.307 s]
/proc/loadavg: 2.31 2.24 2.16 3/177 22675
/proc/meminfo: memFree=26756324/32872528 swapFree=1497824/1644992
[pid=22639] ppid=22636 vsize=233460 CPUtime=882.12 cores=1,3,5,7
/proc/22639/stat : 22639 (naps-1.02) R 22636 22639 22608 0 -1 4202496 36897 0 0 0 88193 19 0 0 20 0 1 0 29698544 239063040 51954 33554432000 4194304 5796924 140736068417680 140736068415320 4606480 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/22639/statm: 58365 51954 171 392 0 57964 0
Current children cumulated CPU time (s) 882.12
Current children cumulated vsize (KiB) 233460
[startup+942.3 s]
/proc/loadavg: 2.21 2.22 2.16 3/177 22676
/proc/meminfo: memFree=26756988/32872528 swapFree=1497824/1644992
[pid=22639] ppid=22636 vsize=233460 CPUtime=942.11 cores=1,3,5,7
/proc/22639/stat : 22639 (naps-1.02) R 22636 22639 22608 0 -1 4202496 37610 0 0 0 94191 20 0 0 20 0 1 0 29698544 239063040 51700 33554432000 4194304 5796924 140736068417680 140736068415320 4606555 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/22639/statm: 58365 51700 171 392 0 57964 0
Current children cumulated CPU time (s) 942.11
Current children cumulated vsize (KiB) 233460
[startup+1002.3 s]
/proc/loadavg: 2.27 2.24 2.17 3/177 22677
/proc/meminfo: memFree=26755560/32872528 swapFree=1497824/1644992
[pid=22639] ppid=22636 vsize=214492 CPUtime=1002.1 cores=1,3,5,7
/proc/22639/stat : 22639 (naps-1.02) R 22636 22639 22608 0 -1 4202496 38492 0 0 0 100188 22 0 0 20 0 1 0 29698544 219639808 51604 33554432000 4194304 5796924 140736068417680 140736068415144 4607192 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/22639/statm: 53623 51604 171 392 0 53222 0
Current children cumulated CPU time (s) 1002.1
Current children cumulated vsize (KiB) 214492
[startup+1062.3 s]
/proc/loadavg: 2.30 2.25 2.18 3/177 22679
/proc/meminfo: memFree=26761716/32872528 swapFree=1497824/1644992
[pid=22639] ppid=22636 vsize=214492 CPUtime=1062.09 cores=1,3,5,7
/proc/22639/stat : 22639 (naps-1.02) R 22636 22639 22608 0 -1 4202496 39469 0 0 0 106186 23 0 0 20 0 1 0 29698544 219639808 49556 33554432000 4194304 5796924 140736068417680 140736068415144 4607723 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/22639/statm: 53623 49556 171 392 0 53222 0
Current children cumulated CPU time (s) 1062.09
Current children cumulated vsize (KiB) 214492
[startup+1122.3 s]
/proc/loadavg: 2.16 2.22 2.17 3/178 22683
/proc/meminfo: memFree=26743720/32872528 swapFree=1497824/1644992
[pid=22639] ppid=22636 vsize=233460 CPUtime=1122.08 cores=1,3,5,7
/proc/22639/stat : 22639 (naps-1.02) R 22636 22639 22608 0 -1 4202496 40038 0 0 0 112183 25 0 0 20 0 1 0 29698544 239063040 53182 33554432000 4194304 5796924 140736068417680 140736068415320 4606555 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/22639/statm: 58365 53182 171 392 0 57964 0
Current children cumulated CPU time (s) 1122.08
Current children cumulated vsize (KiB) 233460
[startup+1182.3 s]
/proc/loadavg: 2.25 2.24 2.18 3/177 22684
/proc/meminfo: memFree=26747164/32872528 swapFree=1497824/1644992
[pid=22639] ppid=22636 vsize=214492 CPUtime=1182.07 cores=1,3,5,7
/proc/22639/stat : 22639 (naps-1.02) R 22636 22639 22608 0 -1 4202496 40443 0 0 0 118182 25 0 0 20 0 1 0 29698544 219639808 51092 33554432000 4194304 5796924 140736068417680 140736068415144 4606507 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/22639/statm: 53623 51092 171 392 0 53222 0
Current children cumulated CPU time (s) 1182.07
Current children cumulated vsize (KiB) 214492
[startup+1242.3 s]
/proc/loadavg: 2.32 2.25 2.19 3/177 22685
/proc/meminfo: memFree=26750736/32872528 swapFree=1497824/1644992
[pid=22639] ppid=22636 vsize=214492 CPUtime=1242.06 cores=1,3,5,7
/proc/22639/stat : 22639 (naps-1.02) R 22636 22639 22608 0 -1 4202496 41421 0 0 0 124180 26 0 0 20 0 1 0 29698544 219639808 49556 33554432000 4194304 5796924 140736068417680 140736068415144 4606480 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/22639/statm: 53623 49556 171 392 0 53222 0
Current children cumulated CPU time (s) 1242.06
Current children cumulated vsize (KiB) 214492
[startup+1302.3 s]
/proc/loadavg: 2.28 2.25 2.19 3/177 22686
/proc/meminfo: memFree=26736316/32872528 swapFree=1497824/1644992
[pid=22639] ppid=22636 vsize=233460 CPUtime=1302.05 cores=1,3,5,7
/proc/22639/stat : 22639 (naps-1.02) R 22636 22639 22608 0 -1 4202496 42006 0 0 0 130178 27 0 0 20 0 1 0 29698544 239063040 53182 33554432000 4194304 5796924 140736068417680 140736068415320 4606555 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/22639/statm: 58365 53182 171 392 0 57964 0
Current children cumulated CPU time (s) 1302.05
Current children cumulated vsize (KiB) 233460
[startup+1362.3 s]
/proc/loadavg: 2.19 2.23 2.18 3/177 22688
/proc/meminfo: memFree=26740236/32872528 swapFree=1497824/1644992
[pid=22639] ppid=22636 vsize=214492 CPUtime=1362.04 cores=1,3,5,7
/proc/22639/stat : 22639 (naps-1.02) R 22636 22639 22608 0 -1 4202496 42412 0 0 0 136176 28 0 0 20 0 1 0 29698544 219639808 51604 33554432000 4194304 5796924 140736068417680 140736068415144 4606507 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/22639/statm: 53623 51604 171 392 0 53222 0
Current children cumulated CPU time (s) 1362.04
Current children cumulated vsize (KiB) 214492
[startup+1422.3 s]
/proc/loadavg: 2.38 2.28 2.20 4/177 22689
/proc/meminfo: memFree=26724460/32872528 swapFree=1497824/1644992
[pid=22639] ppid=22636 vsize=233460 CPUtime=1422.04 cores=1,3,5,7
/proc/22639/stat : 22639 (naps-1.02) R 22636 22639 22608 0 -1 4202496 42989 0 0 0 142175 29 0 0 20 0 1 0 29698544 239063040 54718 33554432000 4194304 5796924 140736068417680 140736068415320 4607198 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/22639/statm: 58365 54718 171 392 0 57964 0
Current children cumulated CPU time (s) 1422.04
Current children cumulated vsize (KiB) 233460
[startup+1482.3 s]
/proc/loadavg: 2.19 2.24 2.18 3/177 22690
/proc/meminfo: memFree=26730400/32872528 swapFree=1497824/1644992
[pid=22639] ppid=22636 vsize=233460 CPUtime=1482.02 cores=1,3,5,7
/proc/22639/stat : 22639 (naps-1.02) R 22636 22639 22608 0 -1 4202496 43963 0 0 0 148172 30 0 0 20 0 1 0 29698544 239063040 52670 33554432000 4194304 5796924 140736068417680 140736068415320 4606708 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/22639/statm: 58365 52670 171 392 0 57964 0
Current children cumulated CPU time (s) 1482.02
Current children cumulated vsize (KiB) 233460
[startup+1542.31 s]
/proc/loadavg: 2.27 2.25 2.19 3/177 22691
/proc/meminfo: memFree=26738528/32872528 swapFree=1497824/1644992
[pid=22639] ppid=22636 vsize=214492 CPUtime=1542.02 cores=1,3,5,7
/proc/22639/stat : 22639 (naps-1.02) R 22636 22639 22608 0 -1 4202496 44369 0 0 0 154171 31 0 0 20 0 1 0 29698544 219639808 50068 33554432000 4194304 5796924 140736068417680 140736068415144 4594694 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/22639/statm: 53623 50068 171 392 0 53222 0
Current children cumulated CPU time (s) 1542.02
Current children cumulated vsize (KiB) 214492
[startup+1602.3 s]
/proc/loadavg: 2.29 2.27 2.19 3/177 22692
/proc/meminfo: memFree=26778112/32872528 swapFree=1497824/1644992
[pid=22639] ppid=22636 vsize=233460 CPUtime=1602.01 cores=1,3,5,7
/proc/22639/stat : 22639 (naps-1.02) R 22636 22639 22608 0 -1 4202496 44954 0 0 0 160169 32 0 0 20 0 1 0 29698544 239063040 53694 33554432000 4194304 5796924 140736068417680 140736068415320 4606555 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/22639/statm: 58365 53694 171 392 0 57964 0
Current children cumulated CPU time (s) 1602.01
Current children cumulated vsize (KiB) 233460
[startup+1662.3 s]
/proc/loadavg: 2.20 2.24 2.19 3/177 22694
/proc/meminfo: memFree=26785036/32872528 swapFree=1497824/1644992
[pid=22639] ppid=22636 vsize=214492 CPUtime=1662 cores=1,3,5,7
/proc/22639/stat : 22639 (naps-1.02) R 22636 22639 22608 0 -1 4202496 45360 0 0 0 166167 33 0 0 20 0 1 0 29698544 219639808 50580 33554432000 4194304 5796924 140736068417680 140736068415144 4606789 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/22639/statm: 53623 50580 171 392 0 53222 0
Current children cumulated CPU time (s) 1662
Current children cumulated vsize (KiB) 214492
[startup+1722.3 s]
/proc/loadavg: 2.24 2.24 2.18 3/178 22698
/proc/meminfo: memFree=26764396/32872528 swapFree=1497824/1644992
[pid=22639] ppid=22636 vsize=233460 CPUtime=1721.99 cores=1,3,5,7
/proc/22639/stat : 22639 (naps-1.02) R 22636 22639 22608 0 -1 4202496 45931 0 0 0 172165 34 0 0 20 0 1 0 29698544 239063040 54206 33554432000 4194304 5796924 140736068417680 140736068415320 4606555 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/22639/statm: 58365 54206 171 392 0 57964 0
Current children cumulated CPU time (s) 1721.99
Current children cumulated vsize (KiB) 233460
[startup+1782.3 s]
/proc/loadavg: 2.27 2.24 2.19 4/177 22699
/proc/meminfo: memFree=26771892/32872528 swapFree=1497824/1644992
[pid=22639] ppid=22636 vsize=214492 CPUtime=1781.98 cores=1,3,5,7
/proc/22639/stat : 22639 (naps-1.02) R 22636 22639 22608 0 -1 4202496 46337 0 0 0 178163 35 0 0 20 0 1 0 29698544 219639808 51604 33554432000 4194304 5796924 140736068417680 140736068415144 4606555 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/22639/statm: 53623 51604 171 392 0 53222 0
Current children cumulated CPU time (s) 1781.98
Current children cumulated vsize (KiB) 214492
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.4 s]
/proc/loadavg: 2.25 2.24 2.19 3/177 22699
/proc/meminfo: memFree=26768044/32872528 swapFree=1497824/1644992
[pid=22639] ppid=22636 vsize=233460 CPUtime=1800.08 cores=1,3,5,7
/proc/22639/stat : 22639 (naps-1.02) R 22636 22639 22608 0 -1 4202496 46907 0 0 0 179972 36 0 0 20 0 1 0 29698544 239063040 52670 33554432000 4194304 5796924 140736068417680 140736068415320 4592010 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/22639/statm: 58365 52670 171 392 0 57964 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 233460
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 22639 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.72
CPU system time (s): 0.364944
CPU usage (%): 99.9825
Max. virtual memory (cumulated for all children) (KiB): 263812
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.72
system time used= 0.364944
maximum resident set size= 246888
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 46919
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= 45
involuntary context switches= 2223
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.45532 second user time and 7.00493 second system time
The end