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-4082683-1465234450/watcher-4082683-1465234450 -o /tmp/evaluation-result-4082683-1465234450/solver-4082683-1465234450 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node115-1465217932-31035 --watchdog 1960 naps-1.02 HOME/instance-4082683-1465234450.opb
pid=3131
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.07 2.12 2.09 3/176 3134
/proc/meminfo: memFree=30705168/32872528 swapFree=13072/1184284
[pid=3134] ppid=3131 vsize=6984 CPUtime=0 cores=0,2,4,6
/proc/3134/stat : 3134 (naps-1.02) R 3131 3134 31019 0 -1 4202496 421 0 0 0 0 0 0 0 20 0 1 0 105379751 7151616 296 33554432000 4194304 5796924 140735917382032 140737017758696 5087579 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/3134/statm: 1746 296 129 392 0 1345 0
[startup+0.100155 s]
/proc/loadavg: 2.07 2.12 2.09 3/176 3134
/proc/meminfo: memFree=30705168/32872528 swapFree=13072/1184284
[pid=3134] ppid=3131 vsize=7108 CPUtime=0.09 cores=0,2,4,6
/proc/3134/stat : 3134 (naps-1.02) R 3131 3134 31019 0 -1 4202496 497 0 0 0 9 0 0 0 20 0 1 0 105379751 7278592 370 33554432000 4194304 5796924 140735917382032 140737017758696 5183584 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/3134/statm: 1777 370 129 392 0 1376 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 7108
[startup+0.200276 s]
/proc/loadavg: 2.07 2.12 2.09 3/176 3134
/proc/meminfo: memFree=30705168/32872528 swapFree=13072/1184284
[pid=3134] ppid=3131 vsize=8584 CPUtime=0.19 cores=0,2,4,6
/proc/3134/stat : 3134 (naps-1.02) R 3131 3134 31019 0 -1 4202496 1967 0 0 0 19 0 0 0 20 0 1 0 105379751 8790016 1764 33554432000 4194304 5796924 140735917382032 140735917378520 4224784 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/3134/statm: 2146 1764 160 392 0 1745 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 8584
[startup+0.300301 s]
/proc/loadavg: 2.07 2.12 2.09 3/176 3134
/proc/meminfo: memFree=30705168/32872528 swapFree=13072/1184284
[pid=3134] ppid=3131 vsize=33780 CPUtime=0.29 cores=0,2,4,6
/proc/3134/stat : 3134 (naps-1.02) R 3131 3134 31019 0 -1 4202496 7517 0 0 0 29 0 0 0 20 0 1 0 105379751 34590720 7527 33554432000 4194304 5796924 140735917382032 140735917378520 4651098 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/3134/statm: 8445 7527 161 392 0 8044 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 33780
[startup+0.700287 s]
/proc/loadavg: 2.07 2.12 2.09 3/176 3134
/proc/meminfo: memFree=30705168/32872528 swapFree=13072/1184284
[pid=3134] ppid=3131 vsize=42932 CPUtime=0.69 cores=0,2,4,6
/proc/3134/stat : 3134 (naps-1.02) R 3131 3134 31019 0 -1 4202496 10232 0 0 0 68 1 0 0 20 0 1 0 105379751 43962368 10012 33554432000 4194304 5796924 140735917382032 140735917378520 4606507 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/3134/statm: 10733 10012 169 392 0 10332 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 42932
[startup+1.50026 s]
/proc/loadavg: 2.07 2.12 2.09 3/177 3135
/proc/meminfo: memFree=30665304/32872528 swapFree=13072/1184284
[pid=3134] ppid=3131 vsize=42932 CPUtime=1.49 cores=0,2,4,6
/proc/3134/stat : 3134 (naps-1.02) R 3131 3134 31019 0 -1 4202496 10340 0 0 0 148 1 0 0 20 0 1 0 105379751 43962368 10118 33554432000 4194304 5796924 140735917382032 140735917379048 4606847 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/3134/statm: 10733 10118 171 392 0 10332 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 42932
[startup+3.10029 s]
/proc/loadavg: 2.07 2.12 2.09 3/177 3135
/proc/meminfo: memFree=30664440/32872528 swapFree=13072/1184284
[pid=3134] ppid=3131 vsize=45108 CPUtime=3.09 cores=0,2,4,6
/proc/3134/stat : 3134 (naps-1.02) R 3131 3134 31019 0 -1 4202496 11075 0 0 0 308 1 0 0 20 0 1 0 105379751 46190592 10470 33554432000 4194304 5796924 140735917382032 140735917379048 4606645 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/3134/statm: 11277 10470 171 392 0 10876 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 45108
[startup+6.30025 s]
/proc/loadavg: 2.14 2.14 2.10 3/177 3135
/proc/meminfo: memFree=30653236/32872528 swapFree=13072/1184284
[pid=3134] ppid=3131 vsize=52180 CPUtime=6.29 cores=0,2,4,6
/proc/3134/stat : 3134 (naps-1.02) R 3131 3134 31019 0 -1 4202496 11598 0 0 0 628 1 0 0 20 0 1 0 105379751 53432320 12513 33554432000 4194304 5796924 140735917382032 140735917379272 4606518 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/3134/statm: 13045 12513 171 392 0 12644 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 52180
[startup+12.7003 s]
/proc/loadavg: 2.13 2.14 2.09 3/177 3135
/proc/meminfo: memFree=30683376/32872528 swapFree=13072/1184284
[pid=3134] ppid=3131 vsize=56600 CPUtime=12.68 cores=0,2,4,6
/proc/3134/stat : 3134 (naps-1.02) R 3131 3134 31019 0 -1 4202496 12210 0 0 0 1267 1 0 0 20 0 1 0 105379751 57958400 13602 33554432000 4194304 5796924 140735917382032 140735917379096 4606433 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/3134/statm: 14150 13602 171 392 0 13749 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 56600
[startup+25.5003 s]
/proc/loadavg: 2.17 2.14 2.10 4/177 3135
/proc/meminfo: memFree=30677756/32872528 swapFree=13076/1184288
[pid=3134] ppid=3131 vsize=56600 CPUtime=25.48 cores=0,2,4,6
/proc/3134/stat : 3134 (naps-1.02) R 3131 3134 31019 0 -1 4202496 12210 0 0 0 2547 1 0 0 20 0 1 0 105379751 57958400 13602 33554432000 4194304 5796924 140735917382032 140735917379096 4568992 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/3134/statm: 14150 13602 171 392 0 13749 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 56600
[startup+51.1004 s]
/proc/loadavg: 2.24 2.16 2.10 3/177 3135
/proc/meminfo: memFree=30623340/32872528 swapFree=13072/1184284
[pid=3134] ppid=3131 vsize=82612 CPUtime=51.08 cores=0,2,4,6
/proc/3134/stat : 3134 (naps-1.02) R 3131 3134 31019 0 -1 4202496 13295 0 0 0 5106 2 0 0 20 0 1 0 105379751 84594688 16498 33554432000 4194304 5796924 140735917382032 140735917379272 4606507 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/3134/statm: 20653 16498 171 392 0 20252 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 82612
[startup+102.3 s]
/proc/loadavg: 2.28 2.18 2.11 3/177 3136
/proc/meminfo: memFree=30622036/32872528 swapFree=13072/1184284
[pid=3134] ppid=3131 vsize=82612 CPUtime=102.28 cores=0,2,4,6
/proc/3134/stat : 3134 (naps-1.02) R 3131 3134 31019 0 -1 4202496 13297 0 0 0 10226 2 0 0 20 0 1 0 105379751 84594688 17522 33554432000 4194304 5796924 140735917382032 140735917379272 4606555 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/3134/statm: 20653 17522 171 392 0 20252 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 82612
[startup+162.3 s]
/proc/loadavg: 2.28 2.21 2.12 4/177 3137
/proc/meminfo: memFree=30595380/32872528 swapFree=13072/1184284
[pid=3134] ppid=3131 vsize=101468 CPUtime=162.25 cores=0,2,4,6
/proc/3134/stat : 3134 (naps-1.02) R 3131 3134 31019 0 -1 4202496 14017 0 0 0 16222 3 0 0 20 0 1 0 105379751 103903232 23512 33554432000 4194304 5796924 140735917382032 140735917379272 4606555 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/3134/statm: 25367 23512 171 392 0 24966 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 101468
[startup+222.307 s]
/proc/loadavg: 2.27 2.22 2.13 3/177 3138
/proc/meminfo: memFree=30591160/32872528 swapFree=13072/1184284
[pid=3134] ppid=3131 vsize=101468 CPUtime=222.25 cores=0,2,4,6
/proc/3134/stat : 3134 (naps-1.02) R 3131 3134 31019 0 -1 4202496 14019 0 0 0 22222 3 0 0 20 0 1 0 105379751 103903232 24536 33554432000 4194304 5796924 140735917382032 140735917379272 4606555 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/3134/statm: 25367 24536 171 392 0 24966 0
Current children cumulated CPU time (s) 222.25
Current children cumulated vsize (KiB) 101468
[startup+282.3 s]
/proc/loadavg: 2.18 2.21 2.13 3/177 3139
/proc/meminfo: memFree=30590292/32872528 swapFree=13072/1184284
[pid=3134] ppid=3131 vsize=101468 CPUtime=282.24 cores=0,2,4,6
/proc/3134/stat : 3134 (naps-1.02) R 3131 3134 31019 0 -1 4202496 14222 0 0 0 28220 4 0 0 20 0 1 0 105379751 103903232 25048 33554432000 4194304 5796924 140735917382032 140735917379496 4606768 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/3134/statm: 25367 25048 171 392 0 24966 0
Current children cumulated CPU time (s) 282.24
Current children cumulated vsize (KiB) 101468
[startup+342.3 s]
/proc/loadavg: 2.20 2.21 2.13 4/177 3141
/proc/meminfo: memFree=30587588/32872528 swapFree=13072/1184284
[pid=3134] ppid=3131 vsize=105968 CPUtime=342.23 cores=0,2,4,6
/proc/3134/stat : 3134 (naps-1.02) R 3131 3134 31019 0 -1 4202496 15068 0 0 0 34218 5 0 0 20 0 1 0 105379751 108511232 26173 33554432000 4194304 5796924 140735917382032 140735917379496 4606799 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/3134/statm: 26492 26173 171 392 0 26091 0
Current children cumulated CPU time (s) 342.23
Current children cumulated vsize (KiB) 105968
[startup+402.3 s]
/proc/loadavg: 2.33 2.26 2.15 3/178 3145
/proc/meminfo: memFree=30589752/32872528 swapFree=13072/1184284
[pid=3134] ppid=3131 vsize=105968 CPUtime=402.21 cores=0,2,4,6
/proc/3134/stat : 3134 (naps-1.02) R 3131 3134 31019 0 -1 4202496 15272 0 0 0 40216 5 0 0 20 0 1 0 105379751 108511232 26173 33554432000 4194304 5796924 140735917382032 140735917379496 4606507 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/3134/statm: 26492 26173 171 392 0 26091 0
Current children cumulated CPU time (s) 402.21
Current children cumulated vsize (KiB) 105968
[startup+462.3 s]
/proc/loadavg: 2.25 2.24 2.15 3/177 3146
/proc/meminfo: memFree=30622216/32872528 swapFree=13072/1184284
[pid=3134] ppid=3131 vsize=105968 CPUtime=462.21 cores=0,2,4,6
/proc/3134/stat : 3134 (naps-1.02) R 3131 3134 31019 0 -1 4202496 15682 0 0 0 46215 6 0 0 20 0 1 0 105379751 108511232 26173 33554432000 4194304 5796924 140735917382032 140735917379496 4606555 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/3134/statm: 26492 26173 171 392 0 26091 0
Current children cumulated CPU time (s) 462.21
Current children cumulated vsize (KiB) 105968
[startup+522.3 s]
/proc/loadavg: 2.25 2.25 2.16 4/177 3147
/proc/meminfo: memFree=30534456/32872528 swapFree=13072/1184284
[pid=3134] ppid=3131 vsize=105968 CPUtime=522.2 cores=0,2,4,6
/proc/3134/stat : 3134 (naps-1.02) R 3131 3134 31019 0 -1 4202496 16095 0 0 0 52212 8 0 0 20 0 1 0 105379751 108511232 26173 33554432000 4194304 5796924 140735917382032 140735917379496 4607232 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/3134/statm: 26492 26173 171 392 0 26091 0
Current children cumulated CPU time (s) 522.2
Current children cumulated vsize (KiB) 105968
[startup+582.3 s]
/proc/loadavg: 2.16 2.23 2.16 3/177 3148
/proc/meminfo: memFree=30579892/32872528 swapFree=13072/1184284
[pid=3134] ppid=3131 vsize=105968 CPUtime=582.19 cores=0,2,4,6
/proc/3134/stat : 3134 (naps-1.02) R 3131 3134 31019 0 -1 4202496 16302 0 0 0 58211 8 0 0 20 0 1 0 105379751 108511232 26173 33554432000 4194304 5796924 140735917382032 140735917379496 4607776 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/3134/statm: 26492 26173 171 392 0 26091 0
Current children cumulated CPU time (s) 582.19
Current children cumulated vsize (KiB) 105968
################
# More data... #
################
[startup+942.3 s]
/proc/loadavg: 2.35 2.29 2.20 3/177 3523
/proc/meminfo: memFree=30726772/32872528 swapFree=13072/1184284
[pid=3134] ppid=3131 vsize=124860 CPUtime=942.14 cores=0,2,4,6
/proc/3134/stat : 3134 (naps-1.02) R 3131 3134 31019 0 -1 4202496 18757 0 0 0 94198 16 0 0 20 0 1 0 105379751 127856640 28999 33554432000 4194304 5796924 140735917382032 140735917379272 4606555 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/3134/statm: 31215 28999 171 392 0 30814 0
Current children cumulated CPU time (s) 942.14
Current children cumulated vsize (KiB) 124860
[startup+1002.3 s]
/proc/loadavg: 2.27 2.28 2.20 3/178 3527
/proc/meminfo: memFree=30702620/32872528 swapFree=13072/1184284
[pid=3134] ppid=3131 vsize=124860 CPUtime=1002.12 cores=0,2,4,6
/proc/3134/stat : 3134 (naps-1.02) R 3131 3134 31019 0 -1 4202496 19939 0 0 0 100195 17 0 0 20 0 1 0 105379751 127856640 30896 33554432000 4194304 5796924 140735917382032 140735917379496 4606507 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/3134/statm: 31215 30896 171 392 0 30814 0
Current children cumulated CPU time (s) 1002.12
Current children cumulated vsize (KiB) 124860
[startup+1062.3 s]
/proc/loadavg: 2.14 2.24 2.18 4/177 3528
/proc/meminfo: memFree=30643228/32872528 swapFree=13072/1184284
[pid=3134] ppid=3131 vsize=124860 CPUtime=1062.11 cores=0,2,4,6
/proc/3134/stat : 3134 (naps-1.02) R 3131 3134 31019 0 -1 4202496 20740 0 0 0 106192 19 0 0 20 0 1 0 105379751 127856640 30896 33554432000 4194304 5796924 140735917382032 140735917379496 4606555 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/3134/statm: 31215 30896 171 392 0 30814 0
Current children cumulated CPU time (s) 1062.11
Current children cumulated vsize (KiB) 124860
[startup+1122.3 s]
/proc/loadavg: 2.22 2.25 2.19 3/177 3529
/proc/meminfo: memFree=30639816/32872528 swapFree=13072/1184284
[pid=3134] ppid=3131 vsize=205000 CPUtime=1122.11 cores=0,2,4,6
/proc/3134/stat : 3134 (naps-1.02) R 3131 3134 31019 0 -1 4202496 21554 0 0 0 112190 21 0 0 20 0 1 0 105379751 209920000 44473 33554432000 4194304 5796924 140735917382032 140735917379672 4606507 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/3134/statm: 51250 44473 171 392 0 50849 0
Current children cumulated CPU time (s) 1122.11
Current children cumulated vsize (KiB) 205000
[startup+1182.3 s]
/proc/loadavg: 2.13 2.22 2.18 3/177 3530
/proc/meminfo: memFree=30641940/32872528 swapFree=13072/1184284
[pid=3134] ppid=3131 vsize=174180 CPUtime=1182.1 cores=0,2,4,6
/proc/3134/stat : 3134 (naps-1.02) R 3131 3134 31019 0 -1 4202496 21767 0 0 0 118188 22 0 0 20 0 1 0 105379751 178360320 42870 33554432000 4194304 5796924 140735917382032 140735917379320 4606555 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/3134/statm: 43545 42870 171 392 0 43144 0
Current children cumulated CPU time (s) 1182.1
Current children cumulated vsize (KiB) 174180
[startup+1242.3 s]
/proc/loadavg: 2.22 2.23 2.18 4/177 3532
/proc/meminfo: memFree=30646980/32872528 swapFree=13072/1184284
[pid=3134] ppid=3131 vsize=174180 CPUtime=1242.09 cores=0,2,4,6
/proc/3134/stat : 3134 (naps-1.02) R 3131 3134 31019 0 -1 4202496 22569 0 0 0 124185 24 0 0 20 0 1 0 105379751 178360320 41334 33554432000 4194304 5796924 140735917382032 140735917379320 4606507 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/3134/statm: 43545 41334 171 392 0 43144 0
Current children cumulated CPU time (s) 1242.09
Current children cumulated vsize (KiB) 174180
[startup+1302.3 s]
/proc/loadavg: 2.26 2.25 2.19 3/177 3533
/proc/meminfo: memFree=30688944/32872528 swapFree=13072/1184284
[pid=3134] ppid=3131 vsize=124860 CPUtime=1302.08 cores=0,2,4,6
/proc/3134/stat : 3134 (naps-1.02) R 3131 3134 31019 0 -1 4202496 23168 0 0 0 130183 25 0 0 20 0 1 0 105379751 127856640 30907 33554432000 4194304 5796924 140735917382032 140735917379496 4607192 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/3134/statm: 31215 30907 171 392 0 30814 0
Current children cumulated CPU time (s) 1302.08
Current children cumulated vsize (KiB) 124860
[startup+1362.3 s]
/proc/loadavg: 2.23 2.25 2.19 3/177 3534
/proc/meminfo: memFree=30683492/32872528 swapFree=13072/1184284
[pid=3134] ppid=3131 vsize=124860 CPUtime=1362.07 cores=0,2,4,6
/proc/3134/stat : 3134 (naps-1.02) R 3131 3134 31019 0 -1 4202496 23971 0 0 0 136181 26 0 0 20 0 1 0 105379751 127856640 30907 33554432000 4194304 5796924 140735917382032 140735917379496 4606531 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/3134/statm: 31215 30907 171 392 0 30814 0
Current children cumulated CPU time (s) 1362.07
Current children cumulated vsize (KiB) 124860
[startup+1422.3 s]
/proc/loadavg: 2.19 2.23 2.18 3/177 3535
/proc/meminfo: memFree=30623600/32872528 swapFree=13072/1184284
[pid=3134] ppid=3131 vsize=205000 CPUtime=1422.07 cores=0,2,4,6
/proc/3134/stat : 3134 (naps-1.02) R 3131 3134 31019 0 -1 4202496 24767 0 0 0 142179 28 0 0 20 0 1 0 105379751 209920000 43961 33554432000 4194304 5796924 140735917382032 140735917379672 4606789 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/3134/statm: 51250 43961 171 392 0 50849 0
Current children cumulated CPU time (s) 1422.07
Current children cumulated vsize (KiB) 205000
[startup+1482.3 s]
/proc/loadavg: 2.20 2.23 2.18 3/177 3536
/proc/meminfo: memFree=30600532/32872528 swapFree=13072/1184284
[pid=3134] ppid=3131 vsize=174180 CPUtime=1482.06 cores=0,2,4,6
/proc/3134/stat : 3134 (naps-1.02) R 3131 3134 31019 0 -1 4202496 24978 0 0 0 148177 29 0 0 20 0 1 0 105379751 178360320 41334 33554432000 4194304 5796924 140735917382032 140735917379320 4606433 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/3134/statm: 43545 41334 171 392 0 43144 0
Current children cumulated CPU time (s) 1482.06
Current children cumulated vsize (KiB) 174180
[startup+1542.31 s]
/proc/loadavg: 2.12 2.20 2.17 3/177 3538
/proc/meminfo: memFree=30640824/32872528 swapFree=13072/1184284
[pid=3134] ppid=3131 vsize=174180 CPUtime=1542.06 cores=0,2,4,6
/proc/3134/stat : 3134 (naps-1.02) R 3131 3134 31019 0 -1 4202496 25780 0 0 0 154175 31 0 0 20 0 1 0 105379751 178360320 39798 33554432000 4194304 5796924 140735917382032 140735917379320 4606555 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/3134/statm: 43545 39798 171 392 0 43144 0
Current children cumulated CPU time (s) 1542.06
Current children cumulated vsize (KiB) 174180
[startup+1602.3 s]
/proc/loadavg: 2.15 2.20 2.18 3/178 3542
/proc/meminfo: memFree=30579920/32872528 swapFree=13072/1184284
[pid=3134] ppid=3131 vsize=205000 CPUtime=1602.04 cores=0,2,4,6
/proc/3134/stat : 3134 (naps-1.02) R 3131 3134 31019 0 -1 4202496 26379 0 0 0 160172 32 0 0 20 0 1 0 105379751 209920000 47033 33554432000 4194304 5796924 140735917382032 140735917379672 4606555 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/3134/statm: 51250 47033 171 392 0 50849 0
Current children cumulated CPU time (s) 1602.04
Current children cumulated vsize (KiB) 205000
[startup+1662.3 s]
/proc/loadavg: 2.12 2.19 2.17 3/178 3566
/proc/meminfo: memFree=30586536/32872528 swapFree=13072/1184284
[pid=3134] ppid=3131 vsize=205000 CPUtime=1662.02 cores=0,2,4,6
/proc/3134/stat : 3134 (naps-1.02) R 3131 3134 31019 0 -1 4202496 27073 0 0 0 166169 33 0 0 20 0 1 0 105379751 209920000 43350 33554432000 4194304 5796924 140735917382032 140735917379672 4606523 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/3134/statm: 51250 43350 171 392 0 50849 0
Current children cumulated CPU time (s) 1662.02
Current children cumulated vsize (KiB) 205000
[startup+1722.3 s]
/proc/loadavg: 2.10 2.17 2.17 4/177 3567
/proc/meminfo: memFree=30675680/32872528 swapFree=13072/1184284
[pid=3134] ppid=3131 vsize=124860 CPUtime=1722.02 cores=0,2,4,6
/proc/3134/stat : 3134 (naps-1.02) R 3131 3134 31019 0 -1 4202496 27184 0 0 0 172168 34 0 0 20 0 1 0 105379751 127856640 30907 33554432000 4194304 5796924 140735917382032 140735917379496 4606507 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/3134/statm: 31215 30907 171 392 0 30814 0
Current children cumulated CPU time (s) 1722.02
Current children cumulated vsize (KiB) 124860
[startup+1782.3 s]
/proc/loadavg: 2.14 2.18 2.17 3/176 3568
/proc/meminfo: memFree=30618160/32872528 swapFree=13072/1184284
[pid=3134] ppid=3131 vsize=205000 CPUtime=1782.01 cores=0,2,4,6
/proc/3134/stat : 3134 (naps-1.02) R 3131 3134 31019 0 -1 4202496 27997 0 0 0 178165 36 0 0 20 0 1 0 105379751 209920000 46009 33554432000 4194304 5796924 140735917382032 140735917379672 4606531 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/3134/statm: 51250 46009 171 392 0 50849 0
Current children cumulated CPU time (s) 1782.01
Current children cumulated vsize (KiB) 205000
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.3 s]
/proc/loadavg: 2.17 2.18 2.17 4/177 3569
/proc/meminfo: memFree=30639904/32872528 swapFree=13072/1184284
[pid=3134] ppid=3131 vsize=124860 CPUtime=1800 cores=0,2,4,6
/proc/3134/stat : 3134 (naps-1.02) R 3131 3134 31019 0 -1 4202496 27999 0 0 0 179964 36 0 0 20 0 1 0 105379751 127856640 30907 33554432000 4194304 5796924 140735917382032 140735917379496 4607258 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/3134/statm: 31215 30907 171 392 0 30814 0
Current children cumulated CPU time (s) 1800
Current children cumulated vsize (KiB) 124860
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 3134 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
[startup+1800.3 s]
/proc/loadavg: 2.17 2.18 2.17 4/177 3569
/proc/meminfo: memFree=30639904/32872528 swapFree=13072/1184284
[pid=3134] ppid=3131 vsize=124860 CPUtime=1800 cores=0,2,4,6
/proc/3134/stat : 3134 (naps-1.02) R 3131 3134 31019 0 -1 4202496 27999 0 0 0 179964 36 0 0 20 0 1 0 105379751 127856640 30907 33554432000 4194304 5796924 140735917382032 140735917379496 4607258 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/3134/statm: 31215 30907 171 392 0 30814 0
Current children cumulated CPU time (s) 1800
Current children cumulated vsize (KiB) 124860
Child status: 10
Real time (s): 1800.3
CPU time (s): 1800.02
CPU user time (s): 1799.65
CPU system time (s): 0.368943
CPU usage (%): 99.9842
Max. virtual memory (cumulated for all children) (KiB): 205000
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.65
system time used= 0.368943
maximum resident set size= 190180
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 28011
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= 22
involuntary context switches= 1859
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.21921 second user time and 8.34173 second system time
The end