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-4118657-1467242713/watcher-4118657-1467242713 -o /tmp/evaluation-result-4118657-1467242713/solver-4118657-1467242713 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node107-1467233927-4324 --watchdog 1960 -S 80 naps-1.02 HOME/instance-4118657-1467242713.opb
pid=5106
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 Stack size limit: 81920 KiB
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: 81920 KiB
[startup+0 s]
/proc/loadavg: 2.18 2.11 2.02 3/176 5109
/proc/meminfo: memFree=31000232/32872528 swapFree=239020/271724
[pid=5109] ppid=5106 vsize=7004 CPUtime=0 cores=0,2,4,6
/proc/5109/stat : 5109 (naps-1.02) R 5106 5109 1985 0 -1 4202496 424 0 0 0 0 0 0 0 20 0 1 0 3302360 7172096 297 33554432000 4194304 5796924 140735065427568 140733234781992 4621249 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/5109/statm: 1751 297 128 392 0 1350 0
[startup+0.100183 s]
/proc/loadavg: 2.18 2.11 2.02 3/176 5109
/proc/meminfo: memFree=31000232/32872528 swapFree=239020/271724
[pid=5109] ppid=5106 vsize=7752 CPUtime=0.09 cores=0,2,4,6
/proc/5109/stat : 5109 (naps-1.02) R 5106 5109 1985 0 -1 4202496 708 0 0 0 9 0 0 0 20 0 1 0 3302360 7938048 567 33554432000 4194304 5796924 140735065427568 140735065426792 4404063 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/5109/statm: 1938 567 129 392 0 1537 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 7752
[startup+0.20026 s]
/proc/loadavg: 2.18 2.11 2.02 3/176 5109
/proc/meminfo: memFree=31000232/32872528 swapFree=239020/271724
[pid=5109] ppid=5106 vsize=14052 CPUtime=0.19 cores=0,2,4,6
/proc/5109/stat : 5109 (naps-1.02) R 5106 5109 1985 0 -1 4202496 3413 0 0 0 19 0 0 0 20 0 1 0 3302360 14389248 3153 33554432000 4194304 5796924 140735065427568 140735065426792 4659057 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/5109/statm: 3561 3155 167 392 0 3160 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 14052
[startup+0.300313 s]
/proc/loadavg: 2.18 2.11 2.02 3/176 5109
/proc/meminfo: memFree=31000232/32872528 swapFree=239020/271724
[pid=5109] ppid=5106 vsize=48196 CPUtime=0.29 cores=0,2,4,6
/proc/5109/stat : 5109 (naps-1.02) R 5106 5109 1985 0 -1 4202496 11471 0 0 0 28 1 0 0 20 0 1 0 3302360 49352704 10842 33554432000 4194304 5796924 140735065427568 140735065426792 4659057 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/5109/statm: 12049 10844 167 392 0 11648 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 48196
[startup+0.700292 s]
/proc/loadavg: 2.18 2.11 2.02 3/176 5109
/proc/meminfo: memFree=31000232/32872528 swapFree=239020/271724
[pid=5109] ppid=5106 vsize=73972 CPUtime=0.69 cores=0,2,4,6
/proc/5109/stat : 5109 (naps-1.02) R 5106 5109 1985 0 -1 4202496 16144 0 0 0 67 2 0 0 20 0 1 0 3302360 75747328 16474 33554432000 4194304 5796924 140735065427568 140735065426792 4650458 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/5109/statm: 18493 16474 167 392 0 18092 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 73972
[startup+1.50029 s]
/proc/loadavg: 2.18 2.11 2.02 3/177 5110
/proc/meminfo: memFree=30928644/32872528 swapFree=239020/271724
[pid=5109] ppid=5106 vsize=78324 CPUtime=1.49 cores=0,2,4,6
/proc/5109/stat : 5109 (naps-1.02) R 5106 5109 1985 0 -1 4202496 16771 0 0 0 147 2 0 0 20 0 1 0 3302360 80203776 17557 33554432000 4194304 5796924 140735065427568 140735065425016 4592059 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/5109/statm: 19581 17557 177 392 0 19180 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 78324
[startup+3.10027 s]
/proc/loadavg: 2.18 2.11 2.02 3/177 5110
/proc/meminfo: memFree=30927900/32872528 swapFree=239020/271724
[pid=5109] ppid=5106 vsize=78324 CPUtime=3.09 cores=0,2,4,6
/proc/5109/stat : 5109 (naps-1.02) R 5106 5109 1985 0 -1 4202496 16794 0 0 0 307 2 0 0 20 0 1 0 3302360 80203776 17580 33554432000 4194304 5796924 140735065427568 140735065425016 4606433 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/5109/statm: 19581 17580 177 392 0 19180 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 78324
[startup+6.30028 s]
/proc/loadavg: 2.16 2.10 2.02 3/177 5110
/proc/meminfo: memFree=30926564/32872528 swapFree=239020/271724
[pid=5109] ppid=5106 vsize=82744 CPUtime=6.29 cores=0,2,4,6
/proc/5109/stat : 5109 (naps-1.02) R 5106 5109 1985 0 -1 4202496 17263 0 0 0 627 2 0 0 20 0 1 0 3302360 84729856 19061 33554432000 4194304 5796924 140735065427568 140735065424632 4606480 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/5109/statm: 20686 19061 177 392 0 20285 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 82744
[startup+12.7003 s]
/proc/loadavg: 2.15 2.10 2.02 3/177 5110
/proc/meminfo: memFree=30920468/32872528 swapFree=239020/271724
[pid=5109] ppid=5106 vsize=82744 CPUtime=12.69 cores=0,2,4,6
/proc/5109/stat : 5109 (naps-1.02) R 5106 5109 1985 0 -1 4202496 17263 0 0 0 1267 2 0 0 20 0 1 0 3302360 84729856 19061 33554432000 4194304 5796924 140735065427568 140735065424632 4606507 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/5109/statm: 20686 19061 177 392 0 20285 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 82744
[startup+25.5003 s]
/proc/loadavg: 2.12 2.10 2.02 3/177 5110
/proc/meminfo: memFree=30903816/32872528 swapFree=239020/271724
[pid=5109] ppid=5106 vsize=97288 CPUtime=25.49 cores=0,2,4,6
/proc/5109/stat : 5109 (naps-1.02) R 5106 5109 1985 0 -1 4202496 18075 0 0 0 2546 3 0 0 20 0 1 0 3302360 99622912 21612 33554432000 4194304 5796924 140735065427568 140735065424808 4606555 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/5109/statm: 24322 21612 177 392 0 23921 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 97288
[startup+51.1003 s]
/proc/loadavg: 2.08 2.09 2.02 3/177 5111
/proc/meminfo: memFree=30924876/32872528 swapFree=239020/271724
[pid=5109] ppid=5106 vsize=134712 CPUtime=51.08 cores=0,2,4,6
/proc/5109/stat : 5109 (naps-1.02) R 5106 5109 1985 0 -1 4202496 19116 0 0 0 5105 3 0 0 20 0 1 0 3302360 137945088 29746 33554432000 4194304 5796924 140735065427568 140735065424856 4595150 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/5109/statm: 33678 29746 177 392 0 33277 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 134712
[startup+102.3 s]
/proc/loadavg: 2.10 2.09 2.02 3/177 5112
/proc/meminfo: memFree=30882480/32872528 swapFree=239020/271724
[pid=5109] ppid=5106 vsize=127636 CPUtime=102.29 cores=0,2,4,6
/proc/5109/stat : 5109 (naps-1.02) R 5106 5109 1985 0 -1 4202496 19126 0 0 0 10225 4 0 0 20 0 1 0 3302360 130699264 29601 33554432000 4194304 5796924 140735065427568 140735065424808 4606555 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/5109/statm: 31909 29601 177 392 0 31508 0
Current children cumulated CPU time (s) 102.29
Current children cumulated vsize (KiB) 127636
[startup+162.3 s]
/proc/loadavg: 2.11 2.09 2.02 3/177 5113
/proc/meminfo: memFree=30859808/32872528 swapFree=239020/271724
[pid=5109] ppid=5106 vsize=127636 CPUtime=162.26 cores=0,2,4,6
/proc/5109/stat : 5109 (naps-1.02) R 5106 5109 1985 0 -1 4202496 19345 0 0 0 16222 4 0 0 20 0 1 0 3302360 130699264 30554 33554432000 4194304 5796924 140735065427568 140735065424808 4591871 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/5109/statm: 31909 30554 177 392 0 31508 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 127636
[startup+222.307 s]
/proc/loadavg: 2.16 2.10 2.02 3/177 5160
/proc/meminfo: memFree=31262156/32872528 swapFree=239020/271724
[pid=5109] ppid=5106 vsize=176956 CPUtime=222.25 cores=0,2,4,6
/proc/5109/stat : 5109 (naps-1.02) R 5106 5109 1985 0 -1 4202496 19946 0 0 0 22220 5 0 0 20 0 1 0 3302360 181202944 39956 33554432000 4194304 5796924 140735065427568 140735065424856 4583042 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/5109/statm: 44239 39956 177 392 0 43838 0
Current children cumulated CPU time (s) 222.25
Current children cumulated vsize (KiB) 176956
[startup+282.3 s]
/proc/loadavg: 2.12 2.09 2.02 3/177 5161
/proc/meminfo: memFree=30203880/32872528 swapFree=239020/271724
[pid=5109] ppid=5106 vsize=127636 CPUtime=282.24 cores=0,2,4,6
/proc/5109/stat : 5109 (naps-1.02) R 5106 5109 1985 0 -1 4202496 20247 0 0 0 28218 6 0 0 20 0 1 0 3302360 130699264 30973 33554432000 4194304 5796924 140735065427568 140735065425032 4606555 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/5109/statm: 31909 30973 177 392 0 31508 0
Current children cumulated CPU time (s) 282.24
Current children cumulated vsize (KiB) 127636
[startup+342.3 s]
/proc/loadavg: 2.27 2.15 2.04 3/178 5166
/proc/meminfo: memFree=30157024/32872528 swapFree=239020/271724
[pid=5109] ppid=5106 vsize=176956 CPUtime=342.22 cores=0,2,4,6
/proc/5109/stat : 5109 (naps-1.02) R 5106 5109 1985 0 -1 4202496 20840 0 0 0 34215 7 0 0 20 0 1 0 3302360 181202944 38932 33554432000 4194304 5796924 140735065427568 140735065424856 4606427 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/5109/statm: 44239 38932 177 392 0 43838 0
Current children cumulated CPU time (s) 342.22
Current children cumulated vsize (KiB) 176956
[startup+402.3 s]
/proc/loadavg: 2.21 2.15 2.05 3/177 5167
/proc/meminfo: memFree=30170024/32872528 swapFree=239020/271724
[pid=5109] ppid=5106 vsize=139756 CPUtime=402.21 cores=0,2,4,6
/proc/5109/stat : 5109 (naps-1.02) R 5106 5109 1985 0 -1 4202496 21610 0 0 0 40213 8 0 0 20 0 1 0 3302360 143110144 33988 33554432000 4194304 5796924 140735065427568 140735065425032 4606480 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/5109/statm: 34939 33988 177 392 0 34538 0
Current children cumulated CPU time (s) 402.21
Current children cumulated vsize (KiB) 139756
[startup+462.3 s]
/proc/loadavg: 2.21 2.16 2.06 3/177 5168
/proc/meminfo: memFree=30149208/32872528 swapFree=239020/271724
[pid=5109] ppid=5106 vsize=139756 CPUtime=462.2 cores=0,2,4,6
/proc/5109/stat : 5109 (naps-1.02) R 5106 5109 1985 0 -1 4202496 22445 0 0 0 46211 9 0 0 20 0 1 0 3302360 143110144 33988 33554432000 4194304 5796924 140735065427568 140735065425032 4606555 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/5109/statm: 34939 33988 177 392 0 34538 0
Current children cumulated CPU time (s) 462.2
Current children cumulated vsize (KiB) 139756
[startup+522.3 s]
/proc/loadavg: 2.26 2.18 2.07 3/177 5169
/proc/meminfo: memFree=30123860/32872528 swapFree=239020/271724
[pid=5109] ppid=5106 vsize=219896 CPUtime=522.2 cores=0,2,4,6
/proc/5109/stat : 5109 (naps-1.02) R 5106 5109 1985 0 -1 4202496 23333 0 0 0 52209 11 0 0 20 0 1 0 3302360 225173504 47646 33554432000 4194304 5796924 140735065427568 140735065425208 4591861 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/5109/statm: 54974 47646 177 392 0 54573 0
Current children cumulated CPU time (s) 522.2
Current children cumulated vsize (KiB) 219896
[startup+582.3 s]
/proc/loadavg: 2.25 2.19 2.08 3/177 5170
/proc/meminfo: memFree=30124000/32872528 swapFree=239020/271724
[pid=5109] ppid=5106 vsize=189076 CPUtime=582.19 cores=0,2,4,6
/proc/5109/stat : 5109 (naps-1.02) R 5106 5109 1985 0 -1 4202496 23636 0 0 0 58207 12 0 0 20 0 1 0 3302360 193613824 45019 33554432000 4194304 5796924 140735065427568 140735065424856 4592010 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/5109/statm: 47269 45019 177 392 0 46868 0
Current children cumulated CPU time (s) 582.19
Current children cumulated vsize (KiB) 189076
################
# More data... #
################
[startup+942.3 s]
/proc/loadavg: 2.08 2.12 2.08 3/178 5179
/proc/meminfo: memFree=30177960/32872528 swapFree=239020/271724
[pid=5109] ppid=5106 vsize=139756 CPUtime=942.13 cores=0,2,4,6
/proc/5109/stat : 5109 (naps-1.02) R 5106 5109 1985 0 -1 4202496 27203 0 0 0 94195 18 0 0 20 0 1 0 3302360 143110144 33988 33554432000 4194304 5796924 140735065427568 140735065425032 4607232 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/5109/statm: 34939 33988 177 392 0 34538 0
Current children cumulated CPU time (s) 942.13
Current children cumulated vsize (KiB) 139756
[startup+1002.3 s]
/proc/loadavg: 2.10 2.12 2.09 3/177 5182
/proc/meminfo: memFree=30102044/32872528 swapFree=239020/271724
[pid=5109] ppid=5106 vsize=219896 CPUtime=1002.13 cores=0,2,4,6
/proc/5109/stat : 5109 (naps-1.02) R 5106 5109 1985 0 -1 4202496 28096 0 0 0 100193 20 0 0 20 0 1 0 3302360 225173504 50206 33554432000 4194304 5796924 140735065427568 140735065425208 4606507 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/5109/statm: 54974 50206 177 392 0 54573 0
Current children cumulated CPU time (s) 1002.13
Current children cumulated vsize (KiB) 219896
[startup+1062.3 s]
/proc/loadavg: 2.10 2.13 2.09 3/177 5182
/proc/meminfo: memFree=30129852/32872528 swapFree=239020/271724
[pid=5109] ppid=5106 vsize=189076 CPUtime=1062.11 cores=0,2,4,6
/proc/5109/stat : 5109 (naps-1.02) R 5106 5109 1985 0 -1 4202496 28594 0 0 0 106190 21 0 0 20 0 1 0 3302360 193613824 41947 33554432000 4194304 5796924 140735065427568 140735065424856 4606555 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/5109/statm: 47269 41947 177 392 0 46868 0
Current children cumulated CPU time (s) 1062.11
Current children cumulated vsize (KiB) 189076
[startup+1122.3 s]
/proc/loadavg: 2.04 2.10 2.08 3/177 5183
/proc/meminfo: memFree=30088092/32872528 swapFree=239020/271724
[pid=5109] ppid=5106 vsize=219896 CPUtime=1122.11 cores=0,2,4,6
/proc/5109/stat : 5109 (naps-1.02) R 5106 5109 1985 0 -1 4202496 29194 0 0 0 112189 22 0 0 20 0 1 0 3302360 225173504 50718 33554432000 4194304 5796924 140735065427568 140735065425208 4591861 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/5109/statm: 54974 50718 177 392 0 54573 0
Current children cumulated CPU time (s) 1122.11
Current children cumulated vsize (KiB) 219896
[startup+1182.3 s]
/proc/loadavg: 2.08 2.11 2.09 3/177 5184
/proc/meminfo: memFree=30133936/32872528 swapFree=239020/271724
[pid=5109] ppid=5106 vsize=139756 CPUtime=1182.09 cores=0,2,4,6
/proc/5109/stat : 5109 (naps-1.02) R 5106 5109 1985 0 -1 4202496 29503 0 0 0 118186 23 0 0 20 0 1 0 3302360 143110144 33988 33554432000 4194304 5796924 140735065427568 140735065425032 4592067 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/5109/statm: 34939 33988 177 392 0 34538 0
Current children cumulated CPU time (s) 1182.09
Current children cumulated vsize (KiB) 139756
[startup+1242.3 s]
/proc/loadavg: 2.15 2.12 2.09 3/177 5185
/proc/meminfo: memFree=30069416/32872528 swapFree=239020/271724
[pid=5109] ppid=5106 vsize=219896 CPUtime=1242.08 cores=0,2,4,6
/proc/5109/stat : 5109 (naps-1.02) R 5106 5109 1985 0 -1 4202496 30394 0 0 0 124184 24 0 0 20 0 1 0 3302360 225173504 49182 33554432000 4194304 5796924 140735065427568 140735065425208 4607232 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/5109/statm: 54974 49182 177 392 0 54573 0
Current children cumulated CPU time (s) 1242.08
Current children cumulated vsize (KiB) 219896
[startup+1302.3 s]
/proc/loadavg: 2.05 2.09 2.08 3/177 5187
/proc/meminfo: memFree=30120400/32872528 swapFree=239020/271724
[pid=5109] ppid=5106 vsize=139756 CPUtime=1302.08 cores=0,2,4,6
/proc/5109/stat : 5109 (naps-1.02) R 5106 5109 1985 0 -1 4202496 30708 0 0 0 130182 26 0 0 20 0 1 0 3302360 143110144 33988 33554432000 4194304 5796924 140735065427568 140735065425032 4596174 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/5109/statm: 34939 33988 177 392 0 34538 0
Current children cumulated CPU time (s) 1302.08
Current children cumulated vsize (KiB) 139756
[startup+1362.3 s]
/proc/loadavg: 2.02 2.07 2.08 3/177 5188
/proc/meminfo: memFree=30055748/32872528 swapFree=239020/271724
[pid=5109] ppid=5106 vsize=219896 CPUtime=1362.07 cores=0,2,4,6
/proc/5109/stat : 5109 (naps-1.02) R 5106 5109 1985 0 -1 4202496 31611 0 0 0 136180 27 0 0 20 0 1 0 3302360 225173504 47662 33554432000 4194304 5796924 140735065427568 140735065425208 4592438 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/5109/statm: 54974 47662 177 392 0 54573 0
Current children cumulated CPU time (s) 1362.07
Current children cumulated vsize (KiB) 219896
[startup+1422.3 s]
/proc/loadavg: 2.06 2.07 2.08 3/177 5189
/proc/meminfo: memFree=30101348/32872528 swapFree=239020/271724
[pid=5109] ppid=5106 vsize=139756 CPUtime=1422.06 cores=0,2,4,6
/proc/5109/stat : 5109 (naps-1.02) R 5106 5109 1985 0 -1 4202496 31933 0 0 0 142178 28 0 0 20 0 1 0 3302360 143110144 34004 33554432000 4194304 5796924 140735065427568 140735065425032 4606392 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/5109/statm: 34939 34004 177 392 0 34538 0
Current children cumulated CPU time (s) 1422.06
Current children cumulated vsize (KiB) 139756
[startup+1482.3 s]
/proc/loadavg: 2.02 2.06 2.07 3/177 5190
/proc/meminfo: memFree=30045988/32872528 swapFree=239020/271724
[pid=5109] ppid=5106 vsize=219896 CPUtime=1482.05 cores=0,2,4,6
/proc/5109/stat : 5109 (naps-1.02) R 5106 5109 1985 0 -1 4202496 32573 0 0 0 148175 30 0 0 20 0 1 0 3302360 225173504 46394 33554432000 4194304 5796924 140735065427568 140735065425208 4591861 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/5109/statm: 54974 46394 177 392 0 54573 0
Current children cumulated CPU time (s) 1482.05
Current children cumulated vsize (KiB) 219896
[startup+1542.31 s]
/proc/loadavg: 2.17 2.10 2.09 3/178 5194
/proc/meminfo: memFree=30010612/32872528 swapFree=239020/271724
[pid=5109] ppid=5106 vsize=139756 CPUtime=1542.04 cores=0,2,4,6
/proc/5109/stat : 5109 (naps-1.02) R 5106 5109 1985 0 -1 4202496 33137 0 0 0 154173 31 0 0 20 0 1 0 3302360 143110144 34004 33554432000 4194304 5796924 140735065427568 140735065425208 4606531 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/5109/statm: 34939 34004 177 392 0 34538 0
Current children cumulated CPU time (s) 1542.04
Current children cumulated vsize (KiB) 139756
[startup+1602.3 s]
/proc/loadavg: 2.19 2.12 2.09 3/177 5196
/proc/meminfo: memFree=30041388/32872528 swapFree=239020/271724
[pid=5109] ppid=5106 vsize=219896 CPUtime=1602.03 cores=0,2,4,6
/proc/5109/stat : 5109 (naps-1.02) R 5106 5109 1985 0 -1 4202496 33954 0 0 0 160170 33 0 0 20 0 1 0 3302360 225173504 46568 33554432000 4194304 5796924 140735065427568 140735065425208 4591861 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/5109/statm: 54974 46568 177 392 0 54573 0
Current children cumulated CPU time (s) 1602.03
Current children cumulated vsize (KiB) 219896
[startup+1662.3 s]
/proc/loadavg: 2.14 2.13 2.09 3/177 5197
/proc/meminfo: memFree=30086772/32872528 swapFree=239020/271724
[pid=5109] ppid=5106 vsize=139756 CPUtime=1662.02 cores=0,2,4,6
/proc/5109/stat : 5109 (naps-1.02) R 5106 5109 1985 0 -1 4202496 34038 0 0 0 166168 34 0 0 20 0 1 0 3302360 143110144 34004 33554432000 4194304 5796924 140735065427568 140735065425032 4607212 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/5109/statm: 34939 34004 177 392 0 34538 0
Current children cumulated CPU time (s) 1662.02
Current children cumulated vsize (KiB) 139756
[startup+1722.3 s]
/proc/loadavg: 2.17 2.14 2.10 3/177 5198
/proc/meminfo: memFree=30021740/32872528 swapFree=239020/271724
[pid=5109] ppid=5106 vsize=219896 CPUtime=1722.01 cores=0,2,4,6
/proc/5109/stat : 5109 (naps-1.02) R 5106 5109 1985 0 -1 4202496 34923 0 0 0 172166 35 0 0 20 0 1 0 3302360 225173504 47150 33554432000 4194304 5796924 140735065427568 140735065425208 4606555 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/5109/statm: 54974 47150 177 392 0 54573 0
Current children cumulated CPU time (s) 1722.01
Current children cumulated vsize (KiB) 219896
[startup+1782.3 s]
/proc/loadavg: 2.15 2.14 2.10 3/177 5199
/proc/meminfo: memFree=29988528/32872528 swapFree=239020/271724
[pid=5109] ppid=5106 vsize=219896 CPUtime=1782 cores=0,2,4,6
/proc/5109/stat : 5109 (naps-1.02) R 5106 5109 1985 0 -1 4202496 34936 0 0 0 178165 35 0 0 20 0 1 0 3302360 225173504 53806 33554432000 4194304 5796924 140735065427568 140735065425208 4606825 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/5109/statm: 54974 53806 177 392 0 54573 0
Current children cumulated CPU time (s) 1782
Current children cumulated vsize (KiB) 219896
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.3 s]
/proc/loadavg: 2.19 2.15 2.10 3/177 5199
/proc/meminfo: memFree=30065496/32872528 swapFree=239020/271724
[pid=5109] ppid=5106 vsize=139756 CPUtime=1800 cores=0,2,4,6
/proc/5109/stat : 5109 (naps-1.02) R 5106 5109 1985 0 -1 4202496 35029 0 0 0 179964 36 0 0 20 0 1 0 3302360 143110144 34004 33554432000 4194304 5796924 140735065427568 140735065425032 4592654 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/5109/statm: 34939 34004 177 392 0 34538 0
Current children cumulated CPU time (s) 1800
Current children cumulated vsize (KiB) 139756
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 5109 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
[startup+1800.3 s]
/proc/loadavg: 2.19 2.15 2.10 3/177 5199
/proc/meminfo: memFree=30065496/32872528 swapFree=239020/271724
[pid=5109] ppid=5106 vsize=139756 CPUtime=1800 cores=0,2,4,6
/proc/5109/stat : 5109 (naps-1.02) R 5106 5109 1985 0 -1 4202496 35029 0 0 0 179964 36 0 0 20 0 1 0 3302360 143110144 34004 33554432000 4194304 5796924 140735065427568 140735065425032 4592654 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/5109/statm: 34939 34004 177 392 0 34538 0
Current children cumulated CPU time (s) 1800
Current children cumulated vsize (KiB) 139756
Child status: 10
Real time (s): 1800.3
CPU time (s): 1800.01
CPU user time (s): 1799.65
CPU system time (s): 0.363944
CPU usage (%): 99.9839
Max. virtual memory (cumulated for all children) (KiB): 269984
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.65
system time used= 0.363944
maximum resident set size= 220460
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 35041
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= 1854
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.15921 second user time and 6.88795 second system time
The end