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-4082829-1465239585/watcher-4082829-1465239585 -o /tmp/evaluation-result-4082829-1465239585/solver-4082829-1465239585 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node137-1465218415-9446 --watchdog 1960 naps-1.02 HOME/instance-4082829-1465239585.opb
pid=12996
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.40 2.32 2.23 4/176 12999
/proc/meminfo: memFree=30194768/32872528 swapFree=18240/1696364
[pid=12999] ppid=12996 vsize=6984 CPUtime=0 cores=1,3,5,7
/proc/12999/stat : 12999 (naps-1.02) R 12996 12999 9429 0 -1 4202496 427 0 0 0 0 0 0 0 20 0 1 0 105890302 7151616 301 33554432000 4194304 5796924 140736056495280 140737143848520 5183584 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/12999/statm: 1746 301 128 392 0 1345 0
[startup+0.10016 s]
/proc/loadavg: 2.40 2.32 2.23 4/176 12999
/proc/meminfo: memFree=30194768/32872528 swapFree=18240/1696364
[pid=12999] ppid=12996 vsize=7568 CPUtime=0.09 cores=1,3,5,7
/proc/12999/stat : 12999 (naps-1.02) R 12996 12999 9429 0 -1 4202496 647 0 0 0 9 0 0 0 20 0 1 0 105890302 7749632 504 33554432000 4194304 5796924 140736056495280 140737143848520 5092518 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/12999/statm: 1892 504 128 392 0 1491 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 7568
[startup+0.200299 s]
/proc/loadavg: 2.40 2.32 2.23 4/176 12999
/proc/meminfo: memFree=30194768/32872528 swapFree=18240/1696364
[pid=12999] ppid=12996 vsize=8372 CPUtime=0.19 cores=1,3,5,7
/proc/12999/stat : 12999 (naps-1.02) R 12996 12999 9429 0 -1 4202496 897 0 0 0 19 0 0 0 20 0 1 0 105890302 8572928 734 33554432000 4194304 5796924 140736056495280 140737143848520 4564240 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/12999/statm: 2093 734 128 392 0 1692 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 8372
[startup+0.300301 s]
/proc/loadavg: 2.40 2.32 2.23 4/176 12999
/proc/meminfo: memFree=30194768/32872528 swapFree=18240/1696364
[pid=12999] ppid=12996 vsize=8964 CPUtime=0.29 cores=1,3,5,7
/proc/12999/stat : 12999 (naps-1.02) R 12996 12999 9429 0 -1 4202496 1143 0 0 0 29 0 0 0 20 0 1 0 105890302 9179136 959 33554432000 4194304 5796924 140736056495280 140737143848520 4639556 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/12999/statm: 2241 959 128 392 0 1840 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 8964
[startup+0.700277 s]
/proc/loadavg: 2.40 2.32 2.23 4/176 12999
/proc/meminfo: memFree=30194768/32872528 swapFree=18240/1696364
[pid=12999] ppid=12996 vsize=11720 CPUtime=0.69 cores=1,3,5,7
/proc/12999/stat : 12999 (naps-1.02) R 12996 12999 9429 0 -1 4202496 2105 0 0 0 69 0 0 0 20 0 1 0 105890302 12001280 2248 33554432000 4194304 5796924 140736056495280 140736056494536 5183584 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/12999/statm: 2930 2248 128 392 0 2529 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 11720
[startup+1.50031 s]
/proc/loadavg: 2.40 2.32 2.23 4/177 13000
/proc/meminfo: memFree=30183296/32872528 swapFree=18240/1696364
[pid=12999] ppid=12996 vsize=46596 CPUtime=1.49 cores=1,3,5,7
/proc/12999/stat : 12999 (naps-1.02) R 12996 12999 9429 0 -1 4202496 10854 0 0 0 147 2 0 0 20 0 1 0 105890302 47714304 10228 33554432000 4194304 5796924 140736056495280 140736056494536 4648289 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/12999/statm: 11649 10228 157 392 0 11248 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 46596
[startup+3.10032 s]
/proc/loadavg: 2.40 2.32 2.23 4/177 13000
/proc/meminfo: memFree=30144168/32872528 swapFree=18240/1696364
[pid=12999] ppid=12996 vsize=58560 CPUtime=3.09 cores=1,3,5,7
/proc/12999/stat : 12999 (naps-1.02) R 12996 12999 9429 0 -1 4202496 14871 0 0 0 306 3 0 0 20 0 1 0 105890302 59965440 12778 33554432000 4194304 5796924 140736056495280 140736056492328 4583065 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/12999/statm: 14640 12778 170 392 0 14239 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 58560
[startup+6.30031 s]
/proc/loadavg: 2.37 2.32 2.22 4/177 13000
/proc/meminfo: memFree=30134988/32872528 swapFree=18240/1696364
[pid=12999] ppid=12996 vsize=63536 CPUtime=6.29 cores=1,3,5,7
/proc/12999/stat : 12999 (naps-1.02) R 12996 12999 9429 0 -1 4202496 15965 0 0 0 626 3 0 0 20 0 1 0 105890302 65060864 14478 33554432000 4194304 5796924 140736056495280 140736056492424 4614082 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/12999/statm: 15884 14478 171 392 0 15483 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 63536
[startup+12.7003 s]
/proc/loadavg: 2.34 2.31 2.22 4/177 13000
/proc/meminfo: memFree=30119800/32872528 swapFree=18240/1696364
[pid=12999] ppid=12996 vsize=89768 CPUtime=12.69 cores=1,3,5,7
/proc/12999/stat : 12999 (naps-1.02) R 12996 12999 9429 0 -1 4202496 17724 0 0 0 1265 4 0 0 20 0 1 0 105890302 91922432 20301 33554432000 4194304 5796924 140736056495280 140736056492568 4607192 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/12999/statm: 22442 20301 171 392 0 22041 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 89768
[startup+25.5003 s]
/proc/loadavg: 2.34 2.31 2.22 4/178 13003
/proc/meminfo: memFree=30073672/32872528 swapFree=18244/1696368
[pid=12999] ppid=12996 vsize=108692 CPUtime=25.49 cores=1,3,5,7
/proc/12999/stat : 12999 (naps-1.02) R 12996 12999 9429 0 -1 4202496 18383 0 0 0 2544 5 0 0 20 0 1 0 105890302 111300608 25759 33554432000 4194304 5796924 140736056495280 140736056492520 4607201 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/12999/statm: 27173 25759 171 392 0 26772 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 108692
[startup+51.1004 s]
/proc/loadavg: 2.35 2.32 2.23 4/178 13003
/proc/meminfo: memFree=30042216/32872528 swapFree=18240/1696364
[pid=12999] ppid=12996 vsize=189036 CPUtime=51.09 cores=1,3,5,7
/proc/12999/stat : 12999 (naps-1.02) R 12996 12999 9429 0 -1 4202496 20538 0 0 0 5101 8 0 0 20 0 1 0 105890302 193572864 40921 33554432000 4194304 5796924 140736056495280 140736056492568 4607323 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/12999/statm: 47259 40921 171 392 0 46858 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 189036
[startup+102.3 s]
/proc/loadavg: 2.26 2.30 2.22 3/178 13027
/proc/meminfo: memFree=30033372/32872528 swapFree=18240/1696364
[pid=12999] ppid=12996 vsize=219856 CPUtime=102.28 cores=1,3,5,7
/proc/12999/stat : 12999 (naps-1.02) R 12996 12999 9429 0 -1 4202496 22911 0 0 0 10217 11 0 0 20 0 1 0 105890302 225132544 44060 33554432000 4194304 5796924 140736056495280 140736056492920 4569014 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/12999/statm: 54964 44060 171 392 0 54563 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 219856
[startup+162.3 s]
/proc/loadavg: 2.18 2.27 2.22 4/177 13028
/proc/meminfo: memFree=30124168/32872528 swapFree=18240/1696364
[pid=12999] ppid=12996 vsize=139716 CPUtime=162.27 cores=1,3,5,7
/proc/12999/stat : 12999 (naps-1.02) R 12996 12999 9429 0 -1 4202496 24893 0 0 0 16211 16 0 0 20 0 1 0 105890302 143069184 29793 33554432000 4194304 5796924 140736056495280 140736056492744 4593716 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/12999/statm: 34929 29793 171 392 0 34528 0
Current children cumulated CPU time (s) 162.27
Current children cumulated vsize (KiB) 139716
[startup+222.307 s]
/proc/loadavg: 2.35 2.29 2.23 4/177 13029
/proc/meminfo: memFree=29976052/32872528 swapFree=18240/1696364
[pid=12999] ppid=12996 vsize=219856 CPUtime=222.26 cores=1,3,5,7
/proc/12999/stat : 12999 (naps-1.02) R 12996 12999 9429 0 -1 4202496 26886 0 0 0 22207 19 0 0 20 0 1 0 105890302 225132544 48156 33554432000 4194304 5796924 140736056495280 140736056492920 4606555 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/12999/statm: 54964 48156 171 392 0 54563 0
Current children cumulated CPU time (s) 222.26
Current children cumulated vsize (KiB) 219856
[startup+282.3 s]
/proc/loadavg: 2.28 2.28 2.22 3/177 13031
/proc/meminfo: memFree=30017312/32872528 swapFree=18240/1696364
[pid=12999] ppid=12996 vsize=189036 CPUtime=282.24 cores=1,3,5,7
/proc/12999/stat : 12999 (naps-1.02) R 12996 12999 9429 0 -1 4202496 28899 0 0 0 28200 24 0 0 20 0 1 0 105890302 193572864 39897 33554432000 4194304 5796924 140736056495280 140736056492568 4606518 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/12999/statm: 47259 39897 171 392 0 46858 0
Current children cumulated CPU time (s) 282.24
Current children cumulated vsize (KiB) 189036
[startup+342.3 s]
/proc/loadavg: 2.23 2.27 2.22 4/177 13032
/proc/meminfo: memFree=30004228/32872528 swapFree=18240/1696364
[pid=12999] ppid=12996 vsize=219856 CPUtime=342.24 cores=1,3,5,7
/proc/12999/stat : 12999 (naps-1.02) R 12996 12999 9429 0 -1 4202496 30798 0 0 0 34196 28 0 0 20 0 1 0 105890302 225132544 45084 33554432000 4194304 5796924 140736056495280 140736056492920 4606555 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/12999/statm: 54964 45084 171 392 0 54563 0
Current children cumulated CPU time (s) 342.24
Current children cumulated vsize (KiB) 219856
[startup+402.3 s]
/proc/loadavg: 2.22 2.27 2.22 3/177 13033
/proc/meminfo: memFree=30008392/32872528 swapFree=18240/1696364
[pid=12999] ppid=12996 vsize=219856 CPUtime=402.22 cores=1,3,5,7
/proc/12999/stat : 12999 (naps-1.02) R 12996 12999 9429 0 -1 4202496 32114 0 0 0 40191 31 0 0 20 0 1 0 105890302 225132544 47132 33554432000 4194304 5796924 140736056495280 140736056492920 4606771 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/12999/statm: 54964 47132 171 392 0 54563 0
Current children cumulated CPU time (s) 402.22
Current children cumulated vsize (KiB) 219856
[startup+462.3 s]
/proc/loadavg: 2.17 2.24 2.21 4/177 13034
/proc/meminfo: memFree=30052760/32872528 swapFree=18240/1696364
[pid=12999] ppid=12996 vsize=219856 CPUtime=462.22 cores=1,3,5,7
/proc/12999/stat : 12999 (naps-1.02) R 12996 12999 9429 0 -1 4202496 33426 0 0 0 46187 35 0 0 20 0 1 0 105890302 225132544 47132 33554432000 4194304 5796924 140736056495280 140736056492920 4606744 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/12999/statm: 54964 47132 171 392 0 54563 0
Current children cumulated CPU time (s) 462.22
Current children cumulated vsize (KiB) 219856
[startup+522.3 s]
/proc/loadavg: 2.31 2.27 2.22 3/177 13035
/proc/meminfo: memFree=29988924/32872528 swapFree=18240/1696364
[pid=12999] ppid=12996 vsize=219856 CPUtime=522.21 cores=1,3,5,7
/proc/12999/stat : 12999 (naps-1.02) R 12996 12999 9429 0 -1 4202496 34738 0 0 0 52183 38 0 0 20 0 1 0 105890302 225132544 45084 33554432000 4194304 5796924 140736056495280 140736056492920 4606789 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/12999/statm: 54964 45084 171 392 0 54563 0
Current children cumulated CPU time (s) 522.21
Current children cumulated vsize (KiB) 219856
[startup+582.3 s]
/proc/loadavg: 2.37 2.30 2.23 3/177 13037
/proc/meminfo: memFree=30019824/32872528 swapFree=18240/1696364
[pid=12999] ppid=12996 vsize=189036 CPUtime=582.19 cores=1,3,5,7
/proc/12999/stat : 12999 (naps-1.02) R 12996 12999 9429 0 -1 4202496 35463 0 0 0 58179 40 0 0 20 0 1 0 105890302 193572864 40409 33554432000 4194304 5796924 140736056495280 140736056492568 4606799 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/12999/statm: 47259 40409 171 392 0 46858 0
Current children cumulated CPU time (s) 582.19
Current children cumulated vsize (KiB) 189036
################
# More data... #
################
[startup+942.3 s]
/proc/loadavg: 2.27 2.28 2.24 4/177 13047
/proc/meminfo: memFree=30029500/32872528 swapFree=18240/1696364
[pid=12999] ppid=12996 vsize=189036 CPUtime=942.13 cores=1,3,5,7
/proc/12999/stat : 12999 (naps-1.02) R 12996 12999 9429 0 -1 4202496 41956 0 0 0 94159 54 0 0 20 0 1 0 105890302 193572864 41159 33554432000 4194304 5796924 140736056495280 140736056492568 4606571 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/12999/statm: 47259 41159 171 392 0 46858 0
Current children cumulated CPU time (s) 942.13
Current children cumulated vsize (KiB) 189036
[startup+1002.3 s]
/proc/loadavg: 2.29 2.28 2.24 3/177 13048
/proc/meminfo: memFree=29919664/32872528 swapFree=18240/1696364
[pid=12999] ppid=12996 vsize=269944 CPUtime=1002.13 cores=1,3,5,7
/proc/12999/stat : 12999 (naps-1.02) R 12996 12999 9429 0 -1 4202496 42884 0 0 0 100157 56 0 0 20 0 1 0 105890302 276422656 58935 33554432000 4194304 5796924 140736056495280 140736056492920 4606555 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/12999/statm: 67486 58935 171 392 0 67085 0
Current children cumulated CPU time (s) 1002.13
Current children cumulated vsize (KiB) 269944
[startup+1062.3 s]
/proc/loadavg: 2.28 2.29 2.25 3/177 13049
/proc/meminfo: memFree=30002120/32872528 swapFree=18240/1696364
[pid=12999] ppid=12996 vsize=219856 CPUtime=1062.12 cores=1,3,5,7
/proc/12999/stat : 12999 (naps-1.02) R 12996 12999 9429 0 -1 4202496 44402 0 0 0 106153 59 0 0 20 0 1 0 105890302 225132544 45834 33554432000 4194304 5796924 140736056495280 140736056492920 4606768 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/12999/statm: 54964 45834 171 392 0 54563 0
Current children cumulated CPU time (s) 1062.12
Current children cumulated vsize (KiB) 219856
[startup+1122.3 s]
/proc/loadavg: 2.33 2.29 2.25 4/177 13050
/proc/meminfo: memFree=29900716/32872528 swapFree=18240/1696364
[pid=12999] ppid=12996 vsize=269944 CPUtime=1122.11 cores=1,3,5,7
/proc/12999/stat : 12999 (naps-1.02) R 12996 12999 9429 0 -1 4202496 44737 0 0 0 112151 60 0 0 20 0 1 0 105890302 276422656 62519 33554432000 4194304 5796924 140736056495280 140736056492920 4593279 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/12999/statm: 67486 62519 171 392 0 67085 0
Current children cumulated CPU time (s) 1122.11
Current children cumulated vsize (KiB) 269944
[startup+1182.3 s]
/proc/loadavg: 2.28 2.28 2.25 4/176 13097
/proc/meminfo: memFree=28719272/32872528 swapFree=18240/1696364
[pid=12999] ppid=12996 vsize=219856 CPUtime=1182.1 cores=1,3,5,7
/proc/12999/stat : 12999 (naps-1.02) R 12996 12999 9429 0 -1 4202496 46257 0 0 0 118147 63 0 0 20 0 1 0 105890302 225132544 47882 33554432000 4194304 5796924 140736056495280 140736056492920 4606555 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/12999/statm: 54964 47882 171 392 0 54563 0
Current children cumulated CPU time (s) 1182.1
Current children cumulated vsize (KiB) 219856
[startup+1242.3 s]
/proc/loadavg: 2.33 2.29 2.25 4/178 13102
/proc/meminfo: memFree=26967164/32872528 swapFree=18240/1696364
[pid=12999] ppid=12996 vsize=269944 CPUtime=1242.1 cores=1,3,5,7
/proc/12999/stat : 12999 (naps-1.02) R 12996 12999 9429 0 -1 4202496 46592 0 0 0 124145 65 0 0 20 0 1 0 105890302 276422656 64567 33554432000 4194304 5796924 140736056495280 140736056492920 4606523 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/12999/statm: 67486 64567 171 392 0 67085 0
Current children cumulated CPU time (s) 1242.1
Current children cumulated vsize (KiB) 269944
[startup+1302.3 s]
/proc/loadavg: 2.31 2.28 2.25 4/177 13103
/proc/meminfo: memFree=27038444/32872528 swapFree=18240/1696364
[pid=12999] ppid=12996 vsize=219856 CPUtime=1302.08 cores=1,3,5,7
/proc/12999/stat : 12999 (naps-1.02) R 12996 12999 9429 0 -1 4202496 48113 0 0 0 130141 67 0 0 20 0 1 0 105890302 225132544 46858 33554432000 4194304 5796924 140736056495280 140736056492920 4606480 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/12999/statm: 54964 46858 171 392 0 54563 0
Current children cumulated CPU time (s) 1302.08
Current children cumulated vsize (KiB) 219856
[startup+1362.3 s]
/proc/loadavg: 2.17 2.25 2.24 4/177 13104
/proc/meminfo: memFree=26970824/32872528 swapFree=18240/1696364
[pid=12999] ppid=12996 vsize=269944 CPUtime=1362.07 cores=1,3,5,7
/proc/12999/stat : 12999 (naps-1.02) R 12996 12999 9429 0 -1 4202496 48449 0 0 0 136139 68 0 0 20 0 1 0 105890302 276422656 63031 33554432000 4194304 5796924 140736056495280 140736056492920 4606555 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/12999/statm: 67486 63031 171 392 0 67085 0
Current children cumulated CPU time (s) 1362.07
Current children cumulated vsize (KiB) 269944
[startup+1422.3 s]
/proc/loadavg: 2.18 2.23 2.23 4/177 13105
/proc/meminfo: memFree=27044312/32872528 swapFree=18240/1696364
[pid=12999] ppid=12996 vsize=189036 CPUtime=1422.07 cores=1,3,5,7
/proc/12999/stat : 12999 (naps-1.02) R 12996 12999 9429 0 -1 4202496 49386 0 0 0 142136 71 0 0 20 0 1 0 105890302 193572864 44743 33554432000 4194304 5796924 140736056495280 140736056492568 4607258 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/12999/statm: 47259 44743 171 392 0 46858 0
Current children cumulated CPU time (s) 1422.07
Current children cumulated vsize (KiB) 189036
[startup+1482.3 s]
/proc/loadavg: 2.22 2.23 2.23 4/177 13106
/proc/meminfo: memFree=26980700/32872528 swapFree=18240/1696364
[pid=12999] ppid=12996 vsize=269944 CPUtime=1482.06 cores=1,3,5,7
/proc/12999/stat : 12999 (naps-1.02) R 12996 12999 9429 0 -1 4202496 50298 0 0 0 148133 73 0 0 20 0 1 0 105890302 276422656 60471 33554432000 4194304 5796924 140736056495280 140736056492920 4606491 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/12999/statm: 67486 60471 171 392 0 67085 0
Current children cumulated CPU time (s) 1482.06
Current children cumulated vsize (KiB) 269944
[startup+1542.31 s]
/proc/loadavg: 2.18 2.22 2.23 3/177 13108
/proc/meminfo: memFree=26927884/32872528 swapFree=18240/1696364
[pid=12999] ppid=12996 vsize=351332 CPUtime=1542.06 cores=1,3,5,7
/proc/12999/stat : 12999 (naps-1.02) R 12996 12999 9429 0 -1 4202496 50843 0 0 0 154132 74 0 0 20 0 1 0 105890302 359763968 73783 33554432000 4194304 5796924 140736056495280 140736056492920 4606555 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/12999/statm: 87833 73783 171 392 0 87432 0
Current children cumulated CPU time (s) 1542.06
Current children cumulated vsize (KiB) 351332
[startup+1602.3 s]
/proc/loadavg: 2.11 2.19 2.21 3/177 13109
/proc/meminfo: memFree=26999484/32872528 swapFree=18240/1696364
[pid=12999] ppid=12996 vsize=269944 CPUtime=1602.04 cores=1,3,5,7
/proc/12999/stat : 12999 (naps-1.02) R 12996 12999 9429 0 -1 4202496 52155 0 0 0 160127 77 0 0 20 0 1 0 105890302 276422656 56375 33554432000 4194304 5796924 140736056495280 140736056492920 4606555 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/12999/statm: 67486 56375 171 392 0 67085 0
Current children cumulated CPU time (s) 1602.04
Current children cumulated vsize (KiB) 269944
[startup+1662.3 s]
/proc/loadavg: 2.15 2.18 2.21 4/177 13110
/proc/meminfo: memFree=26940152/32872528 swapFree=18240/1696364
[pid=12999] ppid=12996 vsize=351332 CPUtime=1662.03 cores=1,3,5,7
/proc/12999/stat : 12999 (naps-1.02) R 12996 12999 9429 0 -1 4202496 52697 0 0 0 166125 78 0 0 20 0 1 0 105890302 359763968 70711 33554432000 4194304 5796924 140736056495280 140736056492920 4607212 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/12999/statm: 87833 70711 171 392 0 87432 0
Current children cumulated CPU time (s) 1662.03
Current children cumulated vsize (KiB) 351332
[startup+1722.3 s]
/proc/loadavg: 2.11 2.16 2.19 3/177 13111
/proc/meminfo: memFree=27034600/32872528 swapFree=18240/1696364
[pid=12999] ppid=12996 vsize=219856 CPUtime=1722.02 cores=1,3,5,7
/proc/12999/stat : 12999 (naps-1.02) R 12996 12999 9429 0 -1 4202496 53574 0 0 0 172122 80 0 0 20 0 1 0 105890302 225132544 47713 33554432000 4194304 5796924 140736056495280 140736056492920 4606555 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/12999/statm: 54964 47713 171 392 0 54563 0
Current children cumulated CPU time (s) 1722.02
Current children cumulated vsize (KiB) 219856
[startup+1782.3 s]
/proc/loadavg: 2.08 2.14 2.18 4/177 13112
/proc/meminfo: memFree=26970472/32872528 swapFree=18240/1696364
[pid=12999] ppid=12996 vsize=269944 CPUtime=1782.01 cores=1,3,5,7
/proc/12999/stat : 12999 (naps-1.02) R 12996 12999 9429 0 -1 4202496 54118 0 0 0 178120 81 0 0 20 0 1 0 105890302 276422656 63585 33554432000 4194304 5796924 140736056495280 140736056492920 4606606 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/12999/statm: 67486 63585 171 392 0 67085 0
Current children cumulated CPU time (s) 1782.01
Current children cumulated vsize (KiB) 269944
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.3 s]
/proc/loadavg: 2.13 2.15 2.18 3/177 13113
/proc/meminfo: memFree=26116300/32872528 swapFree=18240/1696364
[pid=12999] ppid=12996 vsize=351332 CPUtime=1800.01 cores=1,3,5,7
/proc/12999/stat : 12999 (naps-1.02) R 12996 12999 9429 0 -1 4202496 54638 0 0 0 179919 82 0 0 20 0 1 0 105890302 359763968 67681 33554432000 4194304 5796924 140736056495280 140736056492920 4606514 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/12999/statm: 87833 67681 171 392 0 87432 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 351332
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 12999 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
[startup+1800.3 s]
/proc/loadavg: 2.13 2.15 2.18 3/177 13113
/proc/meminfo: memFree=26116300/32872528 swapFree=18240/1696364
[pid=12999] ppid=12996 vsize=351332 CPUtime=1800.01 cores=1,3,5,7
/proc/12999/stat : 12999 (naps-1.02) R 12996 12999 9429 0 -1 4202496 54638 0 0 0 179919 82 0 0 20 0 1 0 105890302 359763968 67681 33554432000 4194304 5796924 140736056495280 140736056492920 4606514 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/12999/statm: 87833 67681 171 392 0 87432 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 351332
Child status: 10
Real time (s): 1800.3
CPU time (s): 1800.02
CPU user time (s): 1799.2
CPU system time (s): 0.822874
CPU usage (%): 99.9843
Max. virtual memory (cumulated for all children) (KiB): 400652
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.2
system time used= 0.822874
maximum resident set size= 345380
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 54650
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= 23
involuntary context switches= 2020
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.73428 second user time and 7.35788 second system time
The end