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-4082782-1465229930/watcher-4082782-1465229930 -o /tmp/evaluation-result-4082782-1465229930/solver-4082782-1465229930 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node137-1465218415-9445 --watchdog 1960 naps-1.02 HOME/instance-4082782-1465229930.opb
pid=11933
running on 4 cores: 0,2,4,6
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.24 2.29 2.26 3/176 11936
/proc/meminfo: memFree=26790284/32872528 swapFree=18240/1696364
[pid=11936] ppid=11933 vsize=7128 CPUtime=0 cores=0,2,4,6
/proc/11936/stat : 11936 (naps-1.02) R 11933 11936 9429 0 -1 4202496 460 0 0 0 0 0 0 0 20 0 1 0 104924868 7299072 335 33554432000 4194304 5796924 140734400372272 140733441390280 4623680 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/11936/statm: 1782 335 128 392 0 1381 0
[startup+0.100174 s]
/proc/loadavg: 2.24 2.29 2.26 3/176 11936
/proc/meminfo: memFree=26790284/32872528 swapFree=18240/1696364
[pid=11936] ppid=11933 vsize=23460 CPUtime=0.09 cores=0,2,4,6
/proc/11936/stat : 11936 (naps-1.02) R 11933 11936 9429 0 -1 4202496 4755 0 0 0 9 0 0 0 20 0 1 0 104924868 24023040 4399 33554432000 4194304 5796924 140734400372272 140734400371496 4659057 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/11936/statm: 5865 4401 158 392 0 5464 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 23460
[startup+0.200377 s]
/proc/loadavg: 2.24 2.29 2.26 3/176 11936
/proc/meminfo: memFree=26790284/32872528 swapFree=18240/1696364
[pid=11936] ppid=11933 vsize=47244 CPUtime=0.19 cores=0,2,4,6
/proc/11936/stat : 11936 (naps-1.02) R 11933 11936 9429 0 -1 4202496 10311 0 0 0 18 1 0 0 20 0 1 0 104924868 48377856 10216 33554432000 4194304 5796924 140734400372272 140734400371496 4564240 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/11936/statm: 11811 10216 159 392 0 11410 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 47244
[startup+0.300351 s]
/proc/loadavg: 2.24 2.29 2.26 3/176 11936
/proc/meminfo: memFree=26790284/32872528 swapFree=18240/1696364
[pid=11936] ppid=11933 vsize=56748 CPUtime=0.29 cores=0,2,4,6
/proc/11936/stat : 11936 (naps-1.02) R 11933 11936 9429 0 -1 4202496 12288 0 0 0 28 1 0 0 20 0 1 0 104924868 58109952 12043 33554432000 4194304 5796924 140734400372272 140734400371496 4623737 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/11936/statm: 14368 12064 159 392 0 13967 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 56748
[startup+0.7003 s]
/proc/loadavg: 2.24 2.29 2.26 3/176 11936
/proc/meminfo: memFree=26790284/32872528 swapFree=18240/1696364
[pid=11936] ppid=11933 vsize=57436 CPUtime=0.69 cores=0,2,4,6
/proc/11936/stat : 11936 (naps-1.02) R 11933 11936 9429 0 -1 4202496 14420 0 0 0 67 2 0 0 20 0 1 0 104924868 58814464 12819 33554432000 4194304 5796924 140734400372272 140734400371496 4592031 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/11936/statm: 14359 12819 169 392 0 13958 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 57436
[startup+1.50029 s]
/proc/loadavg: 2.24 2.29 2.26 3/177 11937
/proc/meminfo: memFree=26735284/32872528 swapFree=18240/1696364
[pid=11936] ppid=11933 vsize=64804 CPUtime=1.49 cores=0,2,4,6
/proc/11936/stat : 11936 (naps-1.02) R 11933 11936 9429 0 -1 4202496 14744 0 0 0 147 2 0 0 20 0 1 0 104924868 66359296 14672 33554432000 4194304 5796924 140734400372272 140734400369320 4606708 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/11936/statm: 16201 14672 170 392 0 15800 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 64804
[startup+3.1003 s]
/proc/loadavg: 2.22 2.29 2.25 3/177 11937
/proc/meminfo: memFree=26721136/32872528 swapFree=18240/1696364
[pid=11936] ppid=11933 vsize=69156 CPUtime=3.09 cores=0,2,4,6
/proc/11936/stat : 11936 (naps-1.02) R 11933 11936 9429 0 -1 4202496 14806 0 0 0 307 2 0 0 20 0 1 0 104924868 70815744 15755 33554432000 4194304 5796924 140734400372272 140734400369336 4606483 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/11936/statm: 17289 15755 170 392 0 16888 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 69156
[startup+6.3003 s]
/proc/loadavg: 2.22 2.29 2.25 3/177 11937
/proc/meminfo: memFree=26714580/32872528 swapFree=18240/1696364
[pid=11936] ppid=11933 vsize=73576 CPUtime=6.29 cores=0,2,4,6
/proc/11936/stat : 11936 (naps-1.02) R 11933 11936 9429 0 -1 4202496 15448 0 0 0 627 2 0 0 20 0 1 0 104924868 75341824 16844 33554432000 4194304 5796924 140734400372272 140734400369336 4607766 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/11936/statm: 18394 16844 170 392 0 17993 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 73576
[startup+12.7003 s]
/proc/loadavg: 2.26 2.29 2.26 3/177 11937
/proc/meminfo: memFree=26714652/32872528 swapFree=18240/1696364
[pid=11936] ppid=11933 vsize=73576 CPUtime=12.69 cores=0,2,4,6
/proc/11936/stat : 11936 (naps-1.02) R 11933 11936 9429 0 -1 4202496 15448 0 0 0 1267 2 0 0 20 0 1 0 104924868 75341824 16844 33554432000 4194304 5796924 140734400372272 140734400369336 4606782 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/11936/statm: 18394 16844 170 392 0 17993 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 73576
[startup+25.5004 s]
/proc/loadavg: 2.29 2.30 2.26 3/177 11937
/proc/meminfo: memFree=26700340/32872528 swapFree=18240/1696364
[pid=11936] ppid=11933 vsize=87900 CPUtime=25.49 cores=0,2,4,6
/proc/11936/stat : 11936 (naps-1.02) R 11933 11936 9429 0 -1 4202496 16879 0 0 0 2546 3 0 0 20 0 1 0 104924868 90009600 19321 33554432000 4194304 5796924 140734400372272 140734400369560 4606555 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/11936/statm: 21975 19321 170 392 0 21574 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 87900
[startup+51.1004 s]
/proc/loadavg: 2.31 2.31 2.26 3/177 11937
/proc/meminfo: memFree=26681636/32872528 swapFree=18240/1696364
[pid=11936] ppid=11933 vsize=95164 CPUtime=51.09 cores=0,2,4,6
/proc/11936/stat : 11936 (naps-1.02) R 11933 11936 9429 0 -1 4202496 18237 0 0 0 5105 4 0 0 20 0 1 0 104924868 97447936 21745 33554432000 4194304 5796924 140734400372272 140734400369512 4606480 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/11936/statm: 23791 21745 170 392 0 23390 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 95164
[startup+102.3 s]
/proc/loadavg: 2.36 2.32 2.27 3/178 11941
/proc/meminfo: memFree=26651064/32872528 swapFree=18240/1696364
[pid=11936] ppid=11933 vsize=102612 CPUtime=102.28 cores=0,2,4,6
/proc/11936/stat : 11936 (naps-1.02) R 11933 11936 9429 0 -1 4202496 19234 0 0 0 10224 4 0 0 20 0 1 0 104924868 105074688 23607 33554432000 4194304 5796924 140734400372272 140734400369512 4606531 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/11936/statm: 25653 23607 170 392 0 25252 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 102612
[startup+162.3 s]
/proc/loadavg: 2.28 2.30 2.27 3/176 11942
/proc/meminfo: memFree=26876344/32872528 swapFree=18240/1696364
[pid=11936] ppid=11933 vsize=170876 CPUtime=162.27 cores=0,2,4,6
/proc/11936/stat : 11936 (naps-1.02) R 11933 11936 9429 0 -1 4202496 22230 0 0 0 16221 6 0 0 20 0 1 0 104924868 174977024 32293 33554432000 4194304 5796924 140734400372272 140734400369560 4606442 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/11936/statm: 42719 32293 170 392 0 42318 0
Current children cumulated CPU time (s) 162.27
Current children cumulated vsize (KiB) 170876
[startup+222.307 s]
/proc/loadavg: 2.31 2.30 2.27 3/177 11944
/proc/meminfo: memFree=26837436/32872528 swapFree=18240/1696364
[pid=11936] ppid=11933 vsize=121556 CPUtime=222.27 cores=0,2,4,6
/proc/11936/stat : 11936 (naps-1.02) R 11933 11936 9429 0 -1 4202496 22905 0 0 0 22220 7 0 0 20 0 1 0 104924868 124473344 27473 33554432000 4194304 5796924 140734400372272 140734400369736 4607747 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/11936/statm: 30389 27473 170 392 0 29988 0
Current children cumulated CPU time (s) 222.27
Current children cumulated vsize (KiB) 121556
[startup+282.3 s]
/proc/loadavg: 2.28 2.29 2.27 3/177 11945
/proc/meminfo: memFree=26802588/32872528 swapFree=18240/1696364
[pid=11936] ppid=11933 vsize=134664 CPUtime=282.25 cores=0,2,4,6
/proc/11936/stat : 11936 (naps-1.02) R 11933 11936 9429 0 -1 4202496 24305 0 0 0 28217 8 0 0 20 0 1 0 104924868 137895936 30033 33554432000 4194304 5796924 140734400372272 140734400369512 4606555 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/11936/statm: 33666 30033 170 392 0 33265 0
Current children cumulated CPU time (s) 282.25
Current children cumulated vsize (KiB) 134664
[startup+342.3 s]
/proc/loadavg: 2.19 2.27 2.26 4/177 11991
/proc/meminfo: memFree=30139184/32872528 swapFree=18240/1696364
[pid=11936] ppid=11933 vsize=134664 CPUtime=342.23 cores=0,2,4,6
/proc/11936/stat : 11936 (naps-1.02) R 11933 11936 9429 0 -1 4202496 24822 0 0 0 34214 9 0 0 20 0 1 0 104924868 137895936 32602 33554432000 4194304 5796924 140734400372272 140734400369736 4606531 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/11936/statm: 33666 32602 170 392 0 33265 0
Current children cumulated CPU time (s) 342.23
Current children cumulated vsize (KiB) 134664
[startup+402.3 s]
/proc/loadavg: 2.37 2.30 2.27 3/177 11992
/proc/meminfo: memFree=30114472/32872528 swapFree=18240/1696364
[pid=11936] ppid=11933 vsize=146156 CPUtime=402.22 cores=0,2,4,6
/proc/11936/stat : 11936 (naps-1.02) R 11933 11936 9429 0 -1 4202496 26170 0 0 0 40212 10 0 0 20 0 1 0 104924868 149663744 35505 33554432000 4194304 5796924 140734400372272 140734400369336 4606555 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/11936/statm: 36539 35505 170 392 0 36138 0
Current children cumulated CPU time (s) 402.22
Current children cumulated vsize (KiB) 146156
[startup+462.3 s]
/proc/loadavg: 2.23 2.28 2.27 3/177 11993
/proc/meminfo: memFree=30098588/32872528 swapFree=18240/1696364
[pid=11936] ppid=11933 vsize=146156 CPUtime=462.2 cores=0,2,4,6
/proc/11936/stat : 11936 (naps-1.02) R 11933 11936 9429 0 -1 4202496 26613 0 0 0 46210 10 0 0 20 0 1 0 104924868 149663744 35505 33554432000 4194304 5796924 140734400372272 140734400369736 4606559 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/11936/statm: 36539 35505 170 392 0 36138 0
Current children cumulated CPU time (s) 462.2
Current children cumulated vsize (KiB) 146156
[startup+522.3 s]
/proc/loadavg: 2.12 2.24 2.25 3/177 11995
/proc/meminfo: memFree=30086312/32872528 swapFree=18240/1696364
[pid=11936] ppid=11933 vsize=146156 CPUtime=522.2 cores=0,2,4,6
/proc/11936/stat : 11936 (naps-1.02) R 11933 11936 9429 0 -1 4202496 27653 0 0 0 52208 12 0 0 20 0 1 0 104924868 149663744 35505 33554432000 4194304 5796924 140734400372272 140734400369736 4606480 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/11936/statm: 36539 35505 170 392 0 36138 0
Current children cumulated CPU time (s) 522.2
Current children cumulated vsize (KiB) 146156
[startup+582.3 s]
/proc/loadavg: 2.22 2.24 2.25 4/177 11996
/proc/meminfo: memFree=30047216/32872528 swapFree=18240/1696364
[pid=11936] ppid=11933 vsize=214584 CPUtime=582.19 cores=0,2,4,6
/proc/11936/stat : 11936 (naps-1.02) R 11933 11936 9429 0 -1 4202496 28653 0 0 0 58206 13 0 0 20 0 1 0 104924868 219734016 45256 33554432000 4194304 5796924 140734400372272 140734400369560 4606559 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/11936/statm: 53646 45256 170 392 0 53245 0
Current children cumulated CPU time (s) 582.19
Current children cumulated vsize (KiB) 214584
################
# More data... #
################
[startup+942.3 s]
/proc/loadavg: 2.18 2.20 2.22 3/177 12006
/proc/meminfo: memFree=30043876/32872528 swapFree=18240/1696364
[pid=11936] ppid=11933 vsize=177124 CPUtime=942.13 cores=0,2,4,6
/proc/11936/stat : 11936 (naps-1.02) R 11933 11936 9429 0 -1 4202496 34123 0 0 0 94192 21 0 0 20 0 1 0 104924868 181374976 43240 33554432000 4194304 5796924 140734400372272 140734400369736 4606555 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/11936/statm: 44281 43240 170 392 0 43880 0
Current children cumulated CPU time (s) 942.13
Current children cumulated vsize (KiB) 177124
[startup+1002.3 s]
/proc/loadavg: 2.23 2.20 2.22 3/177 12007
/proc/meminfo: memFree=29988772/32872528 swapFree=18240/1696364
[pid=11936] ppid=11933 vsize=245120 CPUtime=1002.12 cores=0,2,4,6
/proc/11936/stat : 11936 (naps-1.02) R 11933 11936 9429 0 -1 4202496 35116 0 0 0 100190 22 0 0 20 0 1 0 104924868 251002880 57063 33554432000 4194304 5796924 140734400372272 140734400369560 4591871 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/11936/statm: 61280 57063 170 392 0 60879 0
Current children cumulated CPU time (s) 1002.12
Current children cumulated vsize (KiB) 245120
[startup+1062.3 s]
/proc/loadavg: 2.38 2.26 2.24 3/177 12008
/proc/meminfo: memFree=29954280/32872528 swapFree=18240/1696364
[pid=11936] ppid=11933 vsize=245120 CPUtime=1062.12 cores=0,2,4,6
/proc/11936/stat : 11936 (naps-1.02) R 11933 11936 9429 0 -1 4202496 36166 0 0 0 106188 24 0 0 20 0 1 0 104924868 251002880 60135 33554432000 4194304 5796924 140734400372272 140734400369560 4606534 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/11936/statm: 61280 60135 170 392 0 60879 0
Current children cumulated CPU time (s) 1062.12
Current children cumulated vsize (KiB) 245120
[startup+1122.3 s]
/proc/loadavg: 2.35 2.27 2.24 3/177 12010
/proc/meminfo: memFree=29958280/32872528 swapFree=18240/1696364
[pid=11936] ppid=11933 vsize=245120 CPUtime=1122.11 cores=0,2,4,6
/proc/11936/stat : 11936 (naps-1.02) R 11933 11936 9429 0 -1 4202496 37219 0 0 0 112185 26 0 0 20 0 1 0 104924868 251002880 59111 33554432000 4194304 5796924 140734400372272 140734400369560 4606433 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/11936/statm: 61280 59111 170 392 0 60879 0
Current children cumulated CPU time (s) 1122.11
Current children cumulated vsize (KiB) 245120
[startup+1182.3 s]
/proc/loadavg: 2.25 2.25 2.23 3/177 12011
/proc/meminfo: memFree=29960460/32872528 swapFree=18240/1696364
[pid=11936] ppid=11933 vsize=245120 CPUtime=1182.09 cores=0,2,4,6
/proc/11936/stat : 11936 (naps-1.02) R 11933 11936 9429 0 -1 4202496 38256 0 0 0 118182 27 0 0 20 0 1 0 104924868 251002880 58599 33554432000 4194304 5796924 140734400372272 140734400369560 4569014 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/11936/statm: 61280 58599 170 392 0 60879 0
Current children cumulated CPU time (s) 1182.09
Current children cumulated vsize (KiB) 245120
[startup+1242.3 s]
/proc/loadavg: 2.31 2.26 2.24 3/177 12012
/proc/meminfo: memFree=30002424/32872528 swapFree=18240/1696364
[pid=11936] ppid=11933 vsize=195800 CPUtime=1242.08 cores=0,2,4,6
/proc/11936/stat : 11936 (naps-1.02) R 11933 11936 9429 0 -1 4202496 38853 0 0 0 124180 28 0 0 20 0 1 0 104924868 200499200 47933 33554432000 4194304 5796924 140734400372272 140734400369736 4607802 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/11936/statm: 48950 47933 170 392 0 48549 0
Current children cumulated CPU time (s) 1242.08
Current children cumulated vsize (KiB) 195800
[startup+1302.3 s]
/proc/loadavg: 2.39 2.29 2.25 4/178 12016
/proc/meminfo: memFree=29964680/32872528 swapFree=18240/1696364
[pid=11936] ppid=11933 vsize=195800 CPUtime=1302.08 cores=0,2,4,6
/proc/11936/stat : 11936 (naps-1.02) R 11933 11936 9429 0 -1 4202496 39913 0 0 0 130178 30 0 0 20 0 1 0 104924868 200499200 47933 33554432000 4194304 5796924 140734400372272 140734400369736 4607232 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/11936/statm: 48950 47933 170 392 0 48549 0
Current children cumulated CPU time (s) 1302.08
Current children cumulated vsize (KiB) 195800
[startup+1362.3 s]
/proc/loadavg: 2.26 2.26 2.24 3/177 12017
/proc/meminfo: memFree=29926908/32872528 swapFree=18240/1696364
[pid=11936] ppid=11933 vsize=275940 CPUtime=1362.07 cores=0,2,4,6
/proc/11936/stat : 11936 (naps-1.02) R 11933 11936 9429 0 -1 4202496 40967 0 0 0 136176 31 0 0 20 0 1 0 104924868 282562560 66858 33554432000 4194304 5796924 140734400372272 140734400369912 4606555 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/11936/statm: 68985 66858 170 392 0 68584 0
Current children cumulated CPU time (s) 1362.07
Current children cumulated vsize (KiB) 275940
[startup+1422.3 s]
/proc/loadavg: 2.14 2.23 2.23 3/177 12019
/proc/meminfo: memFree=29889160/32872528 swapFree=18240/1696364
[pid=11936] ppid=11933 vsize=245120 CPUtime=1422.07 cores=0,2,4,6
/proc/11936/stat : 11936 (naps-1.02) R 11933 11936 9429 0 -1 4202496 41728 0 0 0 142174 33 0 0 20 0 1 0 104924868 251002880 59118 33554432000 4194304 5796924 140734400372272 140734400369560 4606534 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/11936/statm: 61280 59118 170 392 0 60879 0
Current children cumulated CPU time (s) 1422.07
Current children cumulated vsize (KiB) 245120
[startup+1482.3 s]
/proc/loadavg: 2.16 2.21 2.22 3/177 12020
/proc/meminfo: memFree=29896740/32872528 swapFree=18240/1696364
[pid=11936] ppid=11933 vsize=275940 CPUtime=1482.05 cores=0,2,4,6
/proc/11936/stat : 11936 (naps-1.02) R 11933 11936 9429 0 -1 4202496 42780 0 0 0 148170 35 0 0 20 0 1 0 104924868 282562560 62257 33554432000 4194304 5796924 140734400372272 140734400369912 4593716 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/11936/statm: 68985 62257 170 392 0 68584 0
Current children cumulated CPU time (s) 1482.05
Current children cumulated vsize (KiB) 275940
[startup+1542.31 s]
/proc/loadavg: 2.31 2.25 2.23 3/177 12021
/proc/meminfo: memFree=29877700/32872528 swapFree=18240/1696364
[pid=11936] ppid=11933 vsize=245120 CPUtime=1542.05 cores=0,2,4,6
/proc/11936/stat : 11936 (naps-1.02) R 11933 11936 9429 0 -1 4202496 43229 0 0 0 154169 36 0 0 20 0 1 0 104924868 251002880 57070 33554432000 4194304 5796924 140734400372272 140734400369560 4583342 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/11936/statm: 61280 57070 170 392 0 60879 0
Current children cumulated CPU time (s) 1542.05
Current children cumulated vsize (KiB) 245120
[startup+1602.3 s]
/proc/loadavg: 2.23 2.23 2.22 3/177 12022
/proc/meminfo: memFree=29898772/32872528 swapFree=18240/1696364
[pid=11936] ppid=11933 vsize=245120 CPUtime=1602.03 cores=0,2,4,6
/proc/11936/stat : 11936 (naps-1.02) R 11933 11936 9429 0 -1 4202496 44270 0 0 0 160165 38 0 0 20 0 1 0 104924868 251002880 59125 33554432000 4194304 5796924 140734400372272 140734400369560 4606526 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/11936/statm: 61280 59125 170 392 0 60879 0
Current children cumulated CPU time (s) 1602.03
Current children cumulated vsize (KiB) 245120
[startup+1662.3 s]
/proc/loadavg: 2.30 2.25 2.23 4/177 12023
/proc/meminfo: memFree=29954348/32872528 swapFree=18240/1696364
[pid=11936] ppid=11933 vsize=195800 CPUtime=1662.02 cores=0,2,4,6
/proc/11936/stat : 11936 (naps-1.02) R 11933 11936 9429 0 -1 4202496 44885 0 0 0 166163 39 0 0 20 0 1 0 104924868 200499200 47947 33554432000 4194304 5796924 140734400372272 140734400369736 4594641 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/11936/statm: 48950 47947 170 392 0 48549 0
Current children cumulated CPU time (s) 1662.02
Current children cumulated vsize (KiB) 195800
[startup+1722.3 s]
/proc/loadavg: 2.33 2.26 2.23 4/177 12025
/proc/meminfo: memFree=29930720/32872528 swapFree=18240/1696364
[pid=11936] ppid=11933 vsize=195800 CPUtime=1722.02 cores=0,2,4,6
/proc/11936/stat : 11936 (naps-1.02) R 11933 11936 9429 0 -1 4202496 45332 0 0 0 172162 40 0 0 20 0 1 0 104924868 200499200 47947 33554432000 4194304 5796924 140734400372272 140734400369560 4606847 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/11936/statm: 48950 47947 170 392 0 48549 0
Current children cumulated CPU time (s) 1722.02
Current children cumulated vsize (KiB) 195800
[startup+1782.3 s]
/proc/loadavg: 2.33 2.27 2.23 3/177 12026
/proc/meminfo: memFree=29851228/32872528 swapFree=18240/1696364
[pid=11936] ppid=11933 vsize=276704 CPUtime=1782 cores=0,2,4,6
/proc/11936/stat : 11936 (naps-1.02) R 11933 11936 9429 0 -1 4202496 46517 0 0 0 178159 41 0 0 20 0 1 0 104924868 283344896 61387 33554432000 4194304 5796924 140734400372272 140734400369912 4606480 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/11936/statm: 69176 61387 170 392 0 68775 0
Current children cumulated CPU time (s) 1782
Current children cumulated vsize (KiB) 276704
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.3 s]
/proc/loadavg: 2.33 2.27 2.23 3/177 12027
/proc/meminfo: memFree=29968724/32872528 swapFree=18240/1696364
[pid=11936] ppid=11933 vsize=196564 CPUtime=1800.01 cores=0,2,4,6
/proc/11936/stat : 11936 (naps-1.02) R 11933 11936 9429 0 -1 4202496 46530 0 0 0 179959 42 0 0 20 0 1 0 104924868 201281536 48102 33554432000 4194304 5796924 140734400372272 140734400369736 4606507 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/11936/statm: 49141 48102 170 392 0 48740 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 196564
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 11936 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
[startup+1800.3 s]
/proc/loadavg: 2.33 2.27 2.23 3/177 12027
/proc/meminfo: memFree=29968724/32872528 swapFree=18240/1696364
[pid=11936] ppid=11933 vsize=196564 CPUtime=1800.01 cores=0,2,4,6
/proc/11936/stat : 11936 (naps-1.02) R 11933 11936 9429 0 -1 4202496 46530 0 0 0 179959 42 0 0 20 0 1 0 104924868 201281536 48102 33554432000 4194304 5796924 140734400372272 140734400369736 4606507 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/11936/statm: 49141 48102 170 392 0 48740 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 196564
Child status: 10
Real time (s): 1800.3
CPU time (s): 1800.01
CPU user time (s): 1799.59
CPU system time (s): 0.422935
CPU usage (%): 99.984
Max. virtual memory (cumulated for all children) (KiB): 326028
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.59
system time used= 0.422935
maximum resident set size= 276828
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 46542
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= 26
involuntary context switches= 1852
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.00924 second user time and 7.14991 second system time
The end