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-4082748-1465231731/watcher-4082748-1465231731 -o /tmp/evaluation-result-4082748-1465231731/solver-4082748-1465231731 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node137-1465218415-9445 --watchdog 1960 naps-1.02 HOME/instance-4082748-1465231731.opb
pid=12069
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.33 2.27 2.23 3/176 12072
/proc/meminfo: memFree=30160900/32872528 swapFree=18240/1696364
[pid=12072] ppid=12069 vsize=6696 CPUtime=0 cores=0,2,4,6
/proc/12072/stat : 12072 (naps-1.02) R 12069 12072 9429 0 -1 4202496 367 0 0 0 0 0 0 0 20 0 1 0 105104944 6856704 241 33554432000 4194304 5796924 140734874427936 140736366472680 4404063 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/12072/statm: 1674 249 128 392 0 1273 0
[startup+0.10015 s]
/proc/loadavg: 2.33 2.27 2.23 3/176 12072
/proc/meminfo: memFree=30160900/32872528 swapFree=18240/1696364
[pid=12072] ppid=12069 vsize=8084 CPUtime=0.09 cores=0,2,4,6
/proc/12072/stat : 12072 (naps-1.02) R 12069 12072 9429 0 -1 4202496 764 0 0 0 9 0 0 0 20 0 1 0 105104944 8278016 624 33554432000 4194304 5796924 140734874427936 140736366472680 5183584 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/12072/statm: 2021 624 128 392 0 1620 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 8084
[startup+0.200267 s]
/proc/loadavg: 2.33 2.27 2.23 3/176 12072
/proc/meminfo: memFree=30160900/32872528 swapFree=18240/1696364
[pid=12072] ppid=12069 vsize=11496 CPUtime=0.19 cores=0,2,4,6
/proc/12072/stat : 12072 (naps-1.02) R 12069 12072 9429 0 -1 4202496 1635 0 0 0 19 0 0 0 20 0 1 0 105104944 11771904 1489 33554432000 4194304 5796924 140734874427936 140736366472680 5095032 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/12072/statm: 2874 1489 128 392 0 2473 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 11496
[startup+0.300273 s]
/proc/loadavg: 2.33 2.27 2.23 3/176 12072
/proc/meminfo: memFree=30160900/32872528 swapFree=18240/1696364
[pid=12072] ppid=12069 vsize=15968 CPUtime=0.29 cores=0,2,4,6
/proc/12072/stat : 12072 (naps-1.02) R 12069 12072 9429 0 -1 4202496 2741 0 0 0 29 0 0 0 20 0 1 0 105104944 16351232 2595 33554432000 4194304 5796924 140734874427936 140734874427160 4404063 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/12072/statm: 3992 2595 128 392 0 3591 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 15968
[startup+0.700235 s]
/proc/loadavg: 2.33 2.27 2.23 3/176 12072
/proc/meminfo: memFree=30160900/32872528 swapFree=18240/1696364
[pid=12072] ppid=12069 vsize=22336 CPUtime=0.69 cores=0,2,4,6
/proc/12072/stat : 12072 (naps-1.02) R 12069 12072 9429 0 -1 4202496 4389 0 0 0 69 0 0 0 20 0 1 0 105104944 22872064 4200 33554432000 4194304 5796924 140734874427936 140734874427160 5087780 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/12072/statm: 5584 4200 139 392 0 5183 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 22336
[startup+1.50023 s]
/proc/loadavg: 2.31 2.27 2.23 3/177 12073
/proc/meminfo: memFree=30143888/32872528 swapFree=18240/1696364
[pid=12072] ppid=12069 vsize=27672 CPUtime=1.49 cores=0,2,4,6
/proc/12072/stat : 12072 (naps-1.02) R 12069 12072 9429 0 -1 4202496 6778 0 0 0 149 0 0 0 20 0 1 0 105104944 28336128 6248 33554432000 4194304 5796924 140734874427936 140734874426328 5092518 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/12072/statm: 6918 6248 170 392 0 6517 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 27672
[startup+3.10021 s]
/proc/loadavg: 2.31 2.27 2.23 3/177 12073
/proc/meminfo: memFree=30070676/32872528 swapFree=18240/1696364
[pid=12072] ppid=12069 vsize=103412 CPUtime=3.09 cores=0,2,4,6
/proc/12072/stat : 12072 (naps-1.02) R 12069 12072 9429 0 -1 4202496 23886 0 0 0 306 3 0 0 20 0 1 0 105104944 105893888 22859 33554432000 4194304 5796924 140734874427936 140734874425224 4606555 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/12072/statm: 25853 22859 180 392 0 25452 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 103412
[startup+6.3003 s]
/proc/loadavg: 2.31 2.27 2.23 4/177 12073
/proc/meminfo: memFree=30018392/32872528 swapFree=18240/1696364
[pid=12072] ppid=12069 vsize=118220 CPUtime=6.29 cores=0,2,4,6
/proc/12072/stat : 12072 (naps-1.02) R 12069 12072 9429 0 -1 4202496 25674 0 0 0 625 4 0 0 20 0 1 0 105104944 121057280 27284 33554432000 4194304 5796924 140734874427936 140734874425000 4606555 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/12072/statm: 29555 27284 180 392 0 29154 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 118220
[startup+12.7003 s]
/proc/loadavg: 2.26 2.26 2.23 3/177 12073
/proc/meminfo: memFree=30010796/32872528 swapFree=18240/1696364
[pid=12072] ppid=12069 vsize=118220 CPUtime=12.69 cores=0,2,4,6
/proc/12072/stat : 12072 (naps-1.02) R 12069 12072 9429 0 -1 4202496 25982 0 0 0 1265 4 0 0 20 0 1 0 105104944 121057280 27587 33554432000 4194304 5796924 140734874427936 140734874425000 4593546 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/12072/statm: 29555 27587 180 392 0 29154 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 118220
[startup+25.5004 s]
/proc/loadavg: 2.22 2.25 2.23 3/177 12073
/proc/meminfo: memFree=29992588/32872528 swapFree=18240/1696364
[pid=12072] ppid=12069 vsize=129824 CPUtime=25.49 cores=0,2,4,6
/proc/12072/stat : 12072 (naps-1.02) R 12069 12072 9429 0 -1 4202496 26517 0 0 0 2545 4 0 0 20 0 1 0 105104944 132939776 30097 33554432000 4194304 5796924 140734874427936 140734874425000 4594698 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/12072/statm: 32456 30097 180 392 0 32055 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 129824
[startup+51.1004 s]
/proc/loadavg: 2.21 2.25 2.23 3/177 12073
/proc/meminfo: memFree=29976712/32872528 swapFree=18240/1696364
[pid=12072] ppid=12069 vsize=118448 CPUtime=51.08 cores=0,2,4,6
/proc/12072/stat : 12072 (naps-1.02) R 12069 12072 9429 0 -1 4202496 27313 0 0 0 5104 4 0 0 20 0 1 0 105104944 121290752 26495 33554432000 4194304 5796924 140734874427936 140734874425000 4606507 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/12072/statm: 29612 26495 180 392 0 29211 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 118448
[startup+102.3 s]
/proc/loadavg: 2.29 2.26 2.23 4/178 12077
/proc/meminfo: memFree=29966688/32872528 swapFree=18240/1696364
[pid=12072] ppid=12069 vsize=160684 CPUtime=102.28 cores=0,2,4,6
/proc/12072/stat : 12072 (naps-1.02) R 12069 12072 9429 0 -1 4202496 29522 0 0 0 10222 6 0 0 20 0 1 0 105104944 164540416 37733 33554432000 4194304 5796924 140734874427936 140734874425176 4606433 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/12072/statm: 40171 37733 180 392 0 39770 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 160684
[startup+162.3 s]
/proc/loadavg: 2.18 2.23 2.22 3/177 12078
/proc/meminfo: memFree=30009160/32872528 swapFree=18240/1696364
[pid=12072] ppid=12069 vsize=160684 CPUtime=162.27 cores=0,2,4,6
/proc/12072/stat : 12072 (naps-1.02) R 12069 12072 9429 0 -1 4202496 29526 0 0 0 16221 6 0 0 20 0 1 0 105104944 164540416 38248 33554432000 4194304 5796924 140734874427936 140734874425176 4607261 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/12072/statm: 40171 38248 180 392 0 39770 0
Current children cumulated CPU time (s) 162.27
Current children cumulated vsize (KiB) 160684
[startup+222.307 s]
/proc/loadavg: 2.43 2.28 2.23 3/177 12080
/proc/meminfo: memFree=29929420/32872528 swapFree=18240/1696364
[pid=12072] ppid=12069 vsize=173080 CPUtime=222.26 cores=0,2,4,6
/proc/12072/stat : 12072 (naps-1.02) R 12069 12072 9429 0 -1 4202496 29598 0 0 0 22220 6 0 0 20 0 1 0 105104944 177233920 40875 33554432000 4194304 5796924 140734874427936 140734874425176 4606410 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/12072/statm: 43270 40875 180 392 0 42869 0
Current children cumulated CPU time (s) 222.26
Current children cumulated vsize (KiB) 173080
[startup+282.3 s]
/proc/loadavg: 2.35 2.27 2.23 4/177 12081
/proc/meminfo: memFree=29919984/32872528 swapFree=18240/1696364
[pid=12072] ppid=12069 vsize=222400 CPUtime=282.24 cores=0,2,4,6
/proc/12072/stat : 12072 (naps-1.02) R 12069 12072 9429 0 -1 4202496 30813 0 0 0 28217 7 0 0 20 0 1 0 105104944 227737600 49891 33554432000 4194304 5796924 140734874427936 140734874425224 4606555 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/12072/statm: 55600 49891 180 392 0 55199 0
Current children cumulated CPU time (s) 282.24
Current children cumulated vsize (KiB) 222400
[startup+342.3 s]
/proc/loadavg: 2.29 2.27 2.23 3/177 12173
/proc/meminfo: memFree=30121132/32872528 swapFree=18240/1696364
[pid=12072] ppid=12069 vsize=191756 CPUtime=342.24 cores=0,2,4,6
/proc/12072/stat : 12072 (naps-1.02) R 12069 12072 9429 0 -1 4202496 30890 0 0 0 34216 8 0 0 20 0 1 0 105104944 196358144 46017 33554432000 4194304 5796924 140734874427936 140734874425000 4606518 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/12072/statm: 47939 46017 180 392 0 47538 0
Current children cumulated CPU time (s) 342.24
Current children cumulated vsize (KiB) 191756
[startup+402.3 s]
/proc/loadavg: 2.37 2.30 2.25 3/177 12174
/proc/meminfo: memFree=30093656/32872528 swapFree=18240/1696364
[pid=12072] ppid=12069 vsize=191756 CPUtime=402.23 cores=0,2,4,6
/proc/12072/stat : 12072 (naps-1.02) R 12069 12072 9429 0 -1 4202496 31257 0 0 0 40215 8 0 0 20 0 1 0 105104944 196358144 46017 33554432000 4194304 5796924 140734874427936 140734874425400 4606704 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/12072/statm: 47939 46017 180 392 0 47538 0
Current children cumulated CPU time (s) 402.23
Current children cumulated vsize (KiB) 191756
[startup+462.3 s]
/proc/loadavg: 2.26 2.28 2.24 3/177 12175
/proc/meminfo: memFree=30089308/32872528 swapFree=18240/1696364
[pid=12072] ppid=12069 vsize=191756 CPUtime=462.21 cores=0,2,4,6
/proc/12072/stat : 12072 (naps-1.02) R 12069 12072 9429 0 -1 4202496 31629 0 0 0 46213 8 0 0 20 0 1 0 105104944 196358144 46017 33554432000 4194304 5796924 140734874427936 140734874425400 4606799 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/12072/statm: 47939 46017 180 392 0 47538 0
Current children cumulated CPU time (s) 462.21
Current children cumulated vsize (KiB) 191756
[startup+522.3 s]
/proc/loadavg: 2.19 2.25 2.23 3/177 12177
/proc/meminfo: memFree=30040472/32872528 swapFree=18240/1696364
[pid=12072] ppid=12069 vsize=191756 CPUtime=522.21 cores=0,2,4,6
/proc/12072/stat : 12072 (naps-1.02) R 12069 12072 9429 0 -1 4202496 32370 0 0 0 52211 10 0 0 20 0 1 0 105104944 196358144 46017 33554432000 4194304 5796924 140734874427936 140734874425400 4606555 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/12072/statm: 47939 46017 180 392 0 47538 0
Current children cumulated CPU time (s) 522.21
Current children cumulated vsize (KiB) 191756
[startup+582.3 s]
/proc/loadavg: 2.21 2.25 2.23 3/177 12178
/proc/meminfo: memFree=30041152/32872528 swapFree=18240/1696364
[pid=12072] ppid=12069 vsize=191756 CPUtime=582.2 cores=0,2,4,6
/proc/12072/stat : 12072 (naps-1.02) R 12069 12072 9429 0 -1 4202496 32742 0 0 0 58210 10 0 0 20 0 1 0 105104944 196358144 46017 33554432000 4194304 5796924 140734874427936 140734874425400 4606514 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/12072/statm: 47939 46017 180 392 0 47538 0
Current children cumulated CPU time (s) 582.2
Current children cumulated vsize (KiB) 191756
################
# More data... #
################
[startup+882.307 s]
/proc/loadavg: 2.35 2.30 2.25 3/177 12210
/proc/meminfo: memFree=30000976/32872528 swapFree=18240/1696364
[pid=12072] ppid=12069 vsize=241076 CPUtime=882.17 cores=0,2,4,6
/proc/12072/stat : 12072 (naps-1.02) R 12069 12072 9429 0 -1 4202496 35559 0 0 0 88201 16 0 0 20 0 1 0 105104944 246861824 55584 33554432000 4194304 5796924 140734874427936 140734874425224 4606565 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/12072/statm: 60269 55584 180 392 0 59868 0
Current children cumulated CPU time (s) 882.17
Current children cumulated vsize (KiB) 241076
[startup+942.3 s]
/proc/loadavg: 2.41 2.32 2.26 3/177 12211
/proc/meminfo: memFree=30044636/32872528 swapFree=18240/1696364
[pid=12072] ppid=12069 vsize=191756 CPUtime=942.15 cores=0,2,4,6
/proc/12072/stat : 12072 (naps-1.02) R 12069 12072 9429 0 -1 4202496 36160 0 0 0 94198 17 0 0 20 0 1 0 105104944 196358144 46017 33554432000 4194304 5796924 140734874427936 140734874425400 4607241 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/12072/statm: 47939 46017 180 392 0 47538 0
Current children cumulated CPU time (s) 942.15
Current children cumulated vsize (KiB) 191756
[startup+1002.3 s]
/proc/loadavg: 2.25 2.29 2.25 3/177 12212
/proc/meminfo: memFree=30071536/32872528 swapFree=18240/1696364
[pid=12072] ppid=12069 vsize=191756 CPUtime=1002.12 cores=0,2,4,6
/proc/12072/stat : 12072 (naps-1.02) R 12069 12072 9429 0 -1 4202496 37149 0 0 0 100193 19 0 0 20 0 1 0 105104944 196358144 46743 33554432000 4194304 5796924 140734874427936 140734874425400 4607258 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/12072/statm: 47939 46743 180 392 0 47538 0
Current children cumulated CPU time (s) 1002.12
Current children cumulated vsize (KiB) 191756
[startup+1062.3 s]
/proc/loadavg: 2.22 2.28 2.25 3/177 12213
/proc/meminfo: memFree=29962072/32872528 swapFree=18240/1696364
[pid=12072] ppid=12069 vsize=271896 CPUtime=1062.1 cores=0,2,4,6
/proc/12072/stat : 12072 (naps-1.02) R 12069 12072 9429 0 -1 4202496 38126 0 0 0 106189 21 0 0 20 0 1 0 105104944 278421504 61497 33554432000 4194304 5796924 140734874427936 140734874425576 4594171 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/12072/statm: 67974 61497 180 392 0 67573 0
Current children cumulated CPU time (s) 1062.1
Current children cumulated vsize (KiB) 271896
[startup+1122.3 s]
/proc/loadavg: 2.32 2.28 2.25 3/177 12215
/proc/meminfo: memFree=29987668/32872528 swapFree=18240/1696364
[pid=12072] ppid=12069 vsize=241076 CPUtime=1122.07 cores=0,2,4,6
/proc/12072/stat : 12072 (naps-1.02) R 12069 12072 9429 0 -1 4202496 38511 0 0 0 112186 21 0 0 20 0 1 0 105104944 246861824 56864 33554432000 4194304 5796924 140734874427936 140734874425224 4607229 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/12072/statm: 60269 56864 180 392 0 59868 0
Current children cumulated CPU time (s) 1122.07
Current children cumulated vsize (KiB) 241076
[startup+1182.3 s]
/proc/loadavg: 2.30 2.28 2.25 3/177 12216
/proc/meminfo: memFree=30035708/32872528 swapFree=18240/1696364
[pid=12072] ppid=12069 vsize=191756 CPUtime=1182.07 cores=0,2,4,6
/proc/12072/stat : 12072 (naps-1.02) R 12069 12072 9429 0 -1 4202496 38882 0 0 0 118185 22 0 0 20 0 1 0 105104944 196358144 46785 33554432000 4194304 5796924 140734874427936 140734874425400 4606555 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/12072/statm: 47939 46785 180 392 0 47538 0
Current children cumulated CPU time (s) 1182.07
Current children cumulated vsize (KiB) 191756
[startup+1242.3 s]
/proc/loadavg: 2.28 2.27 2.25 3/177 12217
/proc/meminfo: memFree=30019272/32872528 swapFree=18240/1696364
[pid=12072] ppid=12069 vsize=271896 CPUtime=1242.06 cores=0,2,4,6
/proc/12072/stat : 12072 (naps-1.02) R 12069 12072 9429 0 -1 4202496 39639 0 0 0 124183 23 0 0 20 0 1 0 105104944 278421504 59288 33554432000 4194304 5796924 140734874427936 140734874425576 4606442 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/12072/statm: 67974 59288 180 392 0 67573 0
Current children cumulated CPU time (s) 1242.06
Current children cumulated vsize (KiB) 271896
[startup+1302.3 s]
/proc/loadavg: 2.32 2.28 2.26 4/178 12221
/proc/meminfo: memFree=29976812/32872528 swapFree=18240/1696364
[pid=12072] ppid=12069 vsize=241076 CPUtime=1302.05 cores=0,2,4,6
/proc/12072/stat : 12072 (naps-1.02) R 12069 12072 9429 0 -1 4202496 40223 0 0 0 130181 24 0 0 20 0 1 0 105104944 246861824 58400 33554432000 4194304 5796924 140734874427936 140734874425224 4606555 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/12072/statm: 60269 58400 180 392 0 59868 0
Current children cumulated CPU time (s) 1302.05
Current children cumulated vsize (KiB) 241076
[startup+1362.3 s]
/proc/loadavg: 2.31 2.29 2.26 3/177 12222
/proc/meminfo: memFree=30068388/32872528 swapFree=18240/1696364
[pid=12072] ppid=12069 vsize=244364 CPUtime=1362.04 cores=0,2,4,6
/proc/12072/stat : 12072 (naps-1.02) R 12069 12072 9429 0 -1 4202496 42049 0 0 0 136178 26 0 0 20 0 1 0 105104944 250228736 55638 33554432000 4194304 5796924 140734874427936 140734874425176 4606704 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/12072/statm: 61091 55638 180 392 0 60690 0
Current children cumulated CPU time (s) 1362.04
Current children cumulated vsize (KiB) 244364
[startup+1422.3 s]
/proc/loadavg: 2.16 2.25 2.25 3/177 12224
/proc/meminfo: memFree=29978028/32872528 swapFree=18240/1696364
[pid=12072] ppid=12069 vsize=244364 CPUtime=1422.04 cores=0,2,4,6
/proc/12072/stat : 12072 (naps-1.02) R 12069 12072 9429 0 -1 4202496 42422 0 0 0 142177 27 0 0 20 0 1 0 105104944 250228736 55638 33554432000 4194304 5796924 140734874427936 140734874425224 4606507 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/12072/statm: 61091 55638 180 392 0 60690 0
Current children cumulated CPU time (s) 1422.04
Current children cumulated vsize (KiB) 244364
[startup+1482.3 s]
/proc/loadavg: 2.17 2.23 2.24 4/177 12225
/proc/meminfo: memFree=30022612/32872528 swapFree=18240/1696364
[pid=12072] ppid=12069 vsize=195044 CPUtime=1482.03 cores=0,2,4,6
/proc/12072/stat : 12072 (naps-1.02) R 12069 12072 9429 0 -1 4202496 43021 0 0 0 148174 29 0 0 20 0 1 0 105104944 199725056 47607 33554432000 4194304 5796924 140734874427936 140734874425400 4606507 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/12072/statm: 48761 47607 180 392 0 48360 0
Current children cumulated CPU time (s) 1482.03
Current children cumulated vsize (KiB) 195044
[startup+1542.31 s]
/proc/loadavg: 2.12 2.20 2.23 3/177 12226
/proc/meminfo: memFree=30018720/32872528 swapFree=18240/1696364
[pid=12072] ppid=12069 vsize=275184 CPUtime=1542.02 cores=0,2,4,6
/proc/12072/stat : 12072 (naps-1.02) R 12069 12072 9429 0 -1 4202496 43723 0 0 0 154172 30 0 0 20 0 1 0 105104944 281788416 60051 33554432000 4194304 5796924 140734874427936 140734874425576 4606721 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/12072/statm: 68796 60052 180 392 0 68395 0
Current children cumulated CPU time (s) 1542.02
Current children cumulated vsize (KiB) 275184
[startup+1602.3 s]
/proc/loadavg: 2.09 2.18 2.22 3/177 12227
/proc/meminfo: memFree=29988592/32872528 swapFree=18240/1696364
[pid=12072] ppid=12069 vsize=244364 CPUtime=1602 cores=0,2,4,6
/proc/12072/stat : 12072 (naps-1.02) R 12069 12072 9429 0 -1 4202496 44365 0 0 0 160169 31 0 0 20 0 1 0 105104944 250228736 55638 33554432000 4194304 5796924 140734874427936 140734874425224 4606789 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/12072/statm: 61091 55638 180 392 0 60690 0
Current children cumulated CPU time (s) 1602
Current children cumulated vsize (KiB) 244364
[startup+1662.3 s]
/proc/loadavg: 2.31 2.22 2.22 4/177 12228
/proc/meminfo: memFree=30019540/32872528 swapFree=18240/1696364
[pid=12072] ppid=12069 vsize=244364 CPUtime=1662 cores=0,2,4,6
/proc/12072/stat : 12072 (naps-1.02) R 12069 12072 9429 0 -1 4202496 44472 0 0 0 166168 32 0 0 20 0 1 0 105104944 250228736 59832 33554432000 4194304 5796924 140734874427936 140734874425224 4606507 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/12072/statm: 61091 59832 180 392 0 60690 0
Current children cumulated CPU time (s) 1662
Current children cumulated vsize (KiB) 244364
[startup+1722.3 s]
/proc/loadavg: 2.29 2.22 2.22 3/177 12230
/proc/meminfo: memFree=29971452/32872528 swapFree=18240/1696364
[pid=12072] ppid=12069 vsize=244364 CPUtime=1721.99 cores=0,2,4,6
/proc/12072/stat : 12072 (naps-1.02) R 12069 12072 9429 0 -1 4202496 45150 0 0 0 172166 33 0 0 20 0 1 0 105104944 250228736 59734 33554432000 4194304 5796924 140734874427936 140734874425224 4606433 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/12072/statm: 61091 59734 180 392 0 60690 0
Current children cumulated CPU time (s) 1721.99
Current children cumulated vsize (KiB) 244364
[startup+1782.3 s]
/proc/loadavg: 2.21 2.21 2.22 3/177 12231
/proc/meminfo: memFree=29996600/32872528 swapFree=18240/1696364
[pid=12072] ppid=12069 vsize=275184 CPUtime=1781.98 cores=0,2,4,6
/proc/12072/stat : 12072 (naps-1.02) R 12069 12072 9429 0 -1 4202496 45749 0 0 0 178164 34 0 0 20 0 1 0 105104944 281788416 65433 33554432000 4194304 5796924 140734874427936 140734874425576 4606555 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/12072/statm: 68796 65433 180 392 0 68395 0
Current children cumulated CPU time (s) 1781.98
Current children cumulated vsize (KiB) 275184
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.4 s]
/proc/loadavg: 2.24 2.21 2.22 3/177 12232
/proc/meminfo: memFree=30067300/32872528 swapFree=18240/1696364
[pid=12072] ppid=12069 vsize=195044 CPUtime=1800.07 cores=0,2,4,6
/proc/12072/stat : 12072 (naps-1.02) R 12069 12072 9429 0 -1 4202496 45750 0 0 0 179973 34 0 0 20 0 1 0 105104944 199725056 47607 33554432000 4194304 5796924 140734874427936 140734874425400 4606555 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/12072/statm: 48761 47607 180 392 0 48360 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 195044
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 12072 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.74
CPU system time (s): 0.348946
CPU usage (%): 99.9825
Max. virtual memory (cumulated for all children) (KiB): 275184
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.74
system time used= 0.348946
maximum resident set size= 263780
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 45762
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= 61
involuntary context switches= 1877
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.46917 second user time and 7.78582 second system time
The end