runsolver version 3.4.0 (svn: 3012) Copyright (C) 2010-2013 Olivier ROUSSEL
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.
NUMA information:
number of nodes: 2
memory of node 0: 16374 MiB (9594 MiB free)
memory of node 1: 16384 MiB (10156 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4298613-1532777690/watcher-4298613-1532777690 -o /tmp/evaluation-result-4298613-1532777690/solver-4298613-1532777690 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node103-1532775163-27027 --watchdog 2580 nacre_mini_release HOME/instance-4298613-1532777690.xml -ca -l100 -cm
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 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
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=27341, runsolver pid=27338
[startup+0.100199 s]*
/proc/loadavg: 2.00 2.01 1.93 3/187 27342
/proc/meminfo: memFree=20224980/32770624 swapFree=67108860/67108860
[pid=27341] ppid=27338 vsize=26960 memory=3728 CPUtime=0.1 cores=0,2,4,6
/proc/27341/stat : 27341 (nacre_mini_rele) R 27338 27341 26996 0 -1 4202496 1105 0 0 0 10 0 0 0 20 0 1 0 95332144 27607040 932 33554432000 4194304 4933779 140721490224816 140721490221816 4367367 0 0 4096 24578 0 0 0 17 2 0 0 0 0 0 7034520 7039168 10289152 140721490232472 140721490232572 140721490232572 140721490235330 0
/proc/27341/statm: 6740 932 604 181 0 357 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 26960 KiB
Current children cumulated memory: 3728 KiB
[startup+0.209357 s]*
/proc/loadavg: 2.00 2.01 1.93 3/187 27342
/proc/meminfo: memFree=20224980/32770624 swapFree=67108860/67108860
[pid=27341] ppid=27338 vsize=26960 memory=3728 CPUtime=0.21 cores=0,2,4,6
/proc/27341/stat : 27341 (nacre_mini_rele) R 27338 27341 26996 0 -1 4202496 1110 0 0 0 21 0 0 0 20 0 1 0 95332144 27607040 932 33554432000 4194304 4933779 140721490224816 140721490221816 4367173 0 0 4096 24578 0 0 0 17 2 0 0 0 0 0 7034520 7039168 10289152 140721490232472 140721490232572 140721490232572 140721490235330 0
/proc/27341/statm: 6740 932 604 181 0 357 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 26960 KiB
Current children cumulated memory: 3728 KiB
[startup+0.308793 s]*
/proc/loadavg: 2.00 2.01 1.93 3/187 27342
/proc/meminfo: memFree=20224556/32770624 swapFree=67108860/67108860
[pid=27341] ppid=27338 vsize=27092 memory=3728 CPUtime=0.31 cores=0,2,4,6
/proc/27341/stat : 27341 (nacre_mini_rele) R 27338 27341 26996 0 -1 4202496 1125 0 0 0 31 0 0 0 20 0 1 0 95332144 27742208 932 33554432000 4194304 4933779 140721490224816 140721490222376 139659230379423 0 0 4096 24578 0 0 0 17 2 0 0 0 0 0 7034520 7039168 10289152 140721490232472 140721490232572 140721490232572 140721490235330 0
/proc/27341/statm: 6773 932 604 181 0 390 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 27092 KiB
Current children cumulated memory: 3728 KiB
[startup+0.700334 s]
/proc/loadavg: 2.00 2.01 1.93 3/187 27342
/proc/meminfo: memFree=20224784/32770624 swapFree=67108860/67108860
[pid=27341] ppid=27338 vsize=27356 memory=3992 CPUtime=0.69 cores=0,2,4,6
/proc/27341/stat : 27341 (nacre_mini_rele) R 27338 27341 26996 0 -1 4202496 1213 0 0 0 69 0 0 0 20 0 1 0 95332144 28012544 998 33554432000 4194304 4933779 140721490224816 140721490222376 4367678 0 0 4096 24578 0 0 0 17 2 0 0 0 0 0 7034520 7039168 10289152 140721490232472 140721490232572 140721490232572 140721490235330 0
/proc/27341/statm: 6839 998 609 181 0 456 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 27356 KiB
Current children cumulated memory: 3992 KiB
[startup+1.50034 s]
/proc/loadavg: 2.00 2.01 1.93 3/187 27342
/proc/meminfo: memFree=20224412/32770624 swapFree=67108860/67108860
[pid=27341] ppid=27338 vsize=28272 memory=4996 CPUtime=1.49 cores=0,2,4,6
/proc/27341/stat : 27341 (nacre_mini_rele) R 27338 27341 26996 0 -1 4202496 1435 0 0 0 149 0 0 0 20 0 1 0 95332144 28950528 1249 33554432000 4194304 4933779 140721490224816 140721490222968 4367088 0 0 4096 24578 0 0 0 17 2 0 0 0 0 0 7034520 7039168 10289152 140721490232472 140721490232572 140721490232572 140721490235330 0
/proc/27341/statm: 7068 1249 610 181 0 685 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 28272 KiB
Current children cumulated memory: 4996 KiB
[startup+3.10904 s]
/proc/loadavg: 2.00 2.01 1.93 3/187 27342
/proc/meminfo: memFree=20220676/32770624 swapFree=67108860/67108860
[pid=27341] ppid=27338 vsize=30280 memory=6964 CPUtime=3.1 cores=0,2,4,6
/proc/27341/stat : 27341 (nacre_mini_rele) R 27338 27341 26996 0 -1 4202496 2693 0 0 0 310 0 0 0 20 0 1 0 95332144 31006720 1741 33554432000 4194304 4933779 140721490224816 140721490222568 4372759 0 0 4096 24578 0 0 0 17 2 0 0 0 0 0 7034520 7039168 10289152 140721490232472 140721490232572 140721490232572 140721490235330 0
/proc/27341/statm: 7570 1741 610 181 0 1187 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 30280 KiB
Current children cumulated memory: 6964 KiB
[startup+6.30034 s]
/proc/loadavg: 2.00 2.01 1.93 3/187 27342
/proc/meminfo: memFree=20213980/32770624 swapFree=67108860/67108860
[pid=27341] ppid=27338 vsize=34708 memory=11240 CPUtime=6.29 cores=0,2,4,6
/proc/27341/stat : 27341 (nacre_mini_rele) R 27338 27341 26996 0 -1 4202496 5146 0 0 0 629 0 0 0 20 0 1 0 95332144 35540992 2810 33554432000 4194304 4933779 140721490224816 140721490222568 139659229453285 0 0 4096 24578 0 0 0 17 2 0 0 0 0 0 7034520 7039168 10289152 140721490232472 140721490232572 140721490232572 140721490235330 0
/proc/27341/statm: 8677 2810 610 181 0 2294 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 34708 KiB
Current children cumulated memory: 11240 KiB
[startup+12.7003 s]
/proc/loadavg: 2.00 2.01 1.93 3/187 27342
/proc/meminfo: memFree=20202884/32770624 swapFree=67108860/67108860
[pid=27341] ppid=27338 vsize=42452 memory=18824 CPUtime=12.69 cores=0,2,4,6
/proc/27341/stat : 27341 (nacre_mini_rele) R 27338 27341 26996 0 -1 4202496 9659 0 0 0 1268 1 0 0 20 0 1 0 95332144 43470848 4706 33554432000 4194304 4933779 140721490224816 140721490222504 139659235747104 0 0 4096 24578 0 0 0 17 2 0 0 0 0 0 7034520 7039168 10289152 140721490232472 140721490232572 140721490232572 140721490235330 0
/proc/27341/statm: 10613 4706 610 181 0 4230 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 42452 KiB
Current children cumulated memory: 18824 KiB
[startup+25.5004 s]
/proc/loadavg: 2.00 2.01 1.93 3/187 27342
/proc/meminfo: memFree=20185152/32770624 swapFree=67108860/67108860
[pid=27341] ppid=27338 vsize=51252 memory=27352 CPUtime=25.49 cores=0,2,4,6
/proc/27341/stat : 27341 (nacre_mini_rele) R 27338 27341 26996 0 -1 4202496 21840 0 0 0 2547 2 0 0 20 0 1 0 95332144 52482048 6838 33554432000 4194304 4933779 140721490224816 140721490222584 4365857 0 0 4096 24578 0 0 0 17 2 0 0 0 0 0 7034520 7039168 10289152 140721490232472 140721490232572 140721490232572 140721490235330 0
/proc/27341/statm: 12813 6838 610 181 0 6430 0
Current children cumulated CPU time: 25.49 s
Current children cumulated vsize: 51252 KiB
Current children cumulated memory: 27352 KiB
[startup+51.1095 s]
/proc/loadavg: 2.00 2.01 1.93 3/187 27342
/proc/meminfo: memFree=20159980/32770624 swapFree=67108860/67108860
[pid=27341] ppid=27338 vsize=61204 memory=37552 CPUtime=51.1 cores=0,2,4,6
/proc/27341/stat : 27341 (nacre_mini_rele) R 27338 27341 26996 0 -1 4202496 32181 0 0 0 5107 3 0 0 20 0 1 0 95332144 62672896 9388 33554432000 4194304 4933779 140721490224816 140721490222520 4482194 0 0 4096 24578 0 0 0 17 2 0 0 0 0 0 7034520 7039168 10289152 140721490232472 140721490232572 140721490232572 140721490235330 0
/proc/27341/statm: 15301 9388 610 181 0 8918 0
Current children cumulated CPU time: 51.1 s
Current children cumulated vsize: 61204 KiB
Current children cumulated memory: 37552 KiB
[startup+102.3 s]
/proc/loadavg: 2.08 2.03 1.94 3/187 27343
/proc/meminfo: memFree=20127784/32770624 swapFree=67108860/67108860
[pid=27341] ppid=27338 vsize=74860 memory=51216 CPUtime=102.27 cores=0,2,4,6
/proc/27341/stat : 27341 (nacre_mini_rele) R 27338 27341 26996 0 -1 4202496 45497 0 0 0 10223 4 0 0 20 0 1 0 95332144 76656640 12804 33554432000 4194304 4933779 140721490224816 140721490222504 4367567 0 0 4096 24578 0 0 0 17 2 0 0 0 0 0 7034520 7039168 10289152 140721490232472 140721490232572 140721490232572 140721490235330 0
/proc/27341/statm: 18715 12804 610 181 0 12332 0
Current children cumulated CPU time: 102.27 s
Current children cumulated vsize: 74860 KiB
Current children cumulated memory: 51216 KiB
[startup+162.3 s]
/proc/loadavg: 2.03 2.02 1.95 3/187 27344
/proc/meminfo: memFree=20100252/32770624 swapFree=67108860/67108860
[pid=27341] ppid=27338 vsize=85796 memory=61240 CPUtime=162.27 cores=0,2,4,6
/proc/27341/stat : 27341 (nacre_mini_rele) R 27338 27341 26996 0 -1 4202496 49244 0 0 0 16222 5 0 0 20 0 1 0 95332144 87855104 15310 33554432000 4194304 4933779 140721490224816 140721490222328 4367542 0 0 4096 24578 0 0 0 17 2 0 0 0 0 0 7034520 7039168 10289152 140721490232472 140721490232572 140721490232572 140721490235330 0
/proc/27341/statm: 21449 15310 610 181 0 15066 0
Current children cumulated CPU time: 162.27 s
Current children cumulated vsize: 85796 KiB
Current children cumulated memory: 61240 KiB
[startup+222.3 s]
/proc/loadavg: 2.01 2.02 1.95 3/187 27345
/proc/meminfo: memFree=20074876/32770624 swapFree=67108860/67108860
[pid=27341] ppid=27338 vsize=92756 memory=68216 CPUtime=222.27 cores=0,2,4,6
/proc/27341/stat : 27341 (nacre_mini_rele) R 27338 27341 26996 0 -1 4202496 54271 0 0 0 22222 5 0 0 20 0 1 0 95332144 94982144 17054 33554432000 4194304 4933779 140721490224816 140721490222504 4366800 0 0 4096 24578 0 0 0 17 2 0 0 0 0 0 7034520 7039168 10289152 140721490232472 140721490232572 140721490232572 140721490235330 0
/proc/27341/statm: 23189 17054 610 181 0 16806 0
Current children cumulated CPU time: 222.27 s
Current children cumulated vsize: 92756 KiB
Current children cumulated memory: 68216 KiB
[startup+282.3 s]
/proc/loadavg: 2.00 2.01 1.95 3/187 27346
/proc/meminfo: memFree=20051520/32770624 swapFree=67108860/67108860
[pid=27341] ppid=27338 vsize=101528 memory=77168 CPUtime=282.25 cores=0,2,4,6
/proc/27341/stat : 27341 (nacre_mini_rele) R 27338 27341 26996 0 -1 4202496 61621 0 0 0 28219 6 0 0 20 0 1 0 95332144 103964672 19292 33554432000 4194304 4933779 140721490224816 140721490222504 4366714 0 0 4096 24578 0 0 0 17 2 0 0 0 0 0 7034520 7039168 10289152 140721490232472 140721490232572 140721490232572 140721490235330 0
/proc/27341/statm: 25382 19292 610 181 0 18999 0
Current children cumulated CPU time: 282.25 s
Current children cumulated vsize: 101528 KiB
Current children cumulated memory: 77168 KiB
[startup+342.3 s]
/proc/loadavg: 2.00 2.01 1.95 3/188 27355
/proc/meminfo: memFree=20031152/32770624 swapFree=67108860/67108860
[pid=27341] ppid=27338 vsize=106872 memory=82788 CPUtime=342.26 cores=0,2,4,6
/proc/27341/stat : 27341 (nacre_mini_rele) R 27338 27341 26996 0 -1 4202496 65258 0 0 0 34219 7 0 0 20 0 1 0 95332144 109436928 20697 33554432000 4194304 4933779 140721490224816 140721490222504 4369552 0 0 4096 24578 0 0 0 17 2 0 0 0 0 0 7034520 7039168 10289152 140721490232472 140721490232572 140721490232572 140721490235330 0
/proc/27341/statm: 26718 20697 610 181 0 20335 0
Current children cumulated CPU time: 342.26 s
Current children cumulated vsize: 106872 KiB
Current children cumulated memory: 82788 KiB
[startup+402.3 s]
/proc/loadavg: 2.05 2.03 1.96 3/188 27356
/proc/meminfo: memFree=20011924/32770624 swapFree=67108860/67108860
[pid=27341] ppid=27338 vsize=114476 memory=90292 CPUtime=402.26 cores=0,2,4,6
/proc/27341/stat : 27341 (nacre_mini_rele) R 27338 27341 26996 0 -1 4202496 70715 0 0 0 40218 8 0 0 20 0 1 0 95332144 117223424 22573 33554432000 4194304 4933779 140721490224816 140721490222504 139659229462460 0 0 4096 24578 0 0 0 17 2 0 0 0 0 0 7034520 7039168 10289152 140721490232472 140721490232572 140721490232572 140721490235330 0
/proc/27341/statm: 28619 22573 610 181 0 22236 0
Current children cumulated CPU time: 402.26 s
Current children cumulated vsize: 114476 KiB
Current children cumulated memory: 90292 KiB
[startup+462.3 s]
/proc/loadavg: 2.02 2.02 1.96 3/188 27357
/proc/meminfo: memFree=20000496/32770624 swapFree=67108860/67108860
[pid=27341] ppid=27338 vsize=117160 memory=93224 CPUtime=462.24 cores=0,2,4,6
/proc/27341/stat : 27341 (nacre_mini_rele) R 27338 27341 26996 0 -1 4202496 76567 0 0 0 46216 8 0 0 20 0 1 0 95332144 119971840 23306 33554432000 4194304 4933779 140721490224816 140721490222504 139659229445800 0 0 4096 24578 0 0 0 17 2 0 0 0 0 0 7034520 7039168 10289152 140721490232472 140721490232572 140721490232572 140721490235330 0
/proc/27341/statm: 29290 23306 610 181 0 22907 0
Current children cumulated CPU time: 462.24 s
Current children cumulated vsize: 117160 KiB
Current children cumulated memory: 93224 KiB
################
# More data... #
################
/proc/27341/statm: 46341 40373 610 181 0 39958 0
Current children cumulated CPU time: 1722.19 s
Current children cumulated vsize: 185364 KiB
Current children cumulated memory: 161492 KiB
[startup+1782.3 s]
/proc/loadavg: 2.00 2.01 1.97 3/188 27419
/proc/meminfo: memFree=19758764/32770624 swapFree=67108860/67108860
[pid=27341] ppid=27338 vsize=187548 memory=163644 CPUtime=1782.19 cores=0,2,4,6
/proc/27341/stat : 27341 (nacre_mini_rele) R 27338 27341 26996 0 -1 4202496 141850 0 0 0 178200 19 0 0 20 0 1 0 95332144 192049152 40911 33554432000 4194304 4933779 140721490224816 140721490222504 4437393 0 0 4096 24578 0 0 0 17 2 0 0 0 0 0 7034520 7039168 10289152 140721490232472 140721490232572 140721490232572 140721490235330 0
/proc/27341/statm: 46887 40911 610 181 0 40504 0
Current children cumulated CPU time: 1782.19 s
Current children cumulated vsize: 187548 KiB
Current children cumulated memory: 163644 KiB
[startup+1842.3 s]
/proc/loadavg: 2.00 2.01 1.97 3/188 27420
/proc/meminfo: memFree=19752988/32770624 swapFree=67108860/67108860
[pid=27341] ppid=27338 vsize=187944 memory=164192 CPUtime=1842.19 cores=0,2,4,6
/proc/27341/stat : 27341 (nacre_mini_rele) R 27338 27341 26996 0 -1 4202496 142955 0 0 0 184200 19 0 0 20 0 1 0 95332144 192454656 41048 33554432000 4194304 4933779 140721490224816 140721490222504 139659230376790 0 0 4096 24578 0 0 0 17 2 0 0 0 0 0 7034520 7039168 10289152 140721490232472 140721490232572 140721490232572 140721490235330 0
/proc/27341/statm: 46986 41048 610 181 0 40603 0
Current children cumulated CPU time: 1842.19 s
Current children cumulated vsize: 187944 KiB
Current children cumulated memory: 164192 KiB
[startup+1902.3 s]
/proc/loadavg: 2.00 2.01 1.97 3/187 27421
/proc/meminfo: memFree=19749036/32770624 swapFree=67108860/67108860
[pid=27341] ppid=27338 vsize=188164 memory=164364 CPUtime=1902.18 cores=0,2,4,6
/proc/27341/stat : 27341 (nacre_mini_rele) R 27338 27341 26996 0 -1 4202496 144009 0 0 0 190199 19 0 0 20 0 1 0 95332144 192679936 41091 33554432000 4194304 4933779 140721490224816 140721490222504 4366853 0 0 4096 24578 0 0 0 17 2 0 0 0 0 0 7034520 7039168 10289152 140721490232472 140721490232572 140721490232572 140721490235330 0
/proc/27341/statm: 47041 41091 610 181 0 40658 0
Current children cumulated CPU time: 1902.18 s
Current children cumulated vsize: 188164 KiB
Current children cumulated memory: 164364 KiB
[startup+1962.3 s]
/proc/loadavg: 2.00 2.01 1.97 3/187 27422
/proc/meminfo: memFree=19736916/32770624 swapFree=67108860/67108860
[pid=27341] ppid=27338 vsize=190384 memory=166532 CPUtime=1962.18 cores=0,2,4,6
/proc/27341/stat : 27341 (nacre_mini_rele) R 27338 27341 26996 0 -1 4202496 145600 0 0 0 196199 19 0 0 20 0 1 0 95332144 194953216 41633 33554432000 4194304 4933779 140721490224816 140721490222520 4437585 0 0 4096 24578 0 0 0 17 2 0 0 0 0 0 7034520 7039168 10289152 140721490232472 140721490232572 140721490232572 140721490235330 0
/proc/27341/statm: 47596 41633 610 181 0 41213 0
Current children cumulated CPU time: 1962.18 s
Current children cumulated vsize: 190384 KiB
Current children cumulated memory: 166532 KiB
[startup+2022.3 s]
/proc/loadavg: 2.00 2.01 1.97 3/187 27423
/proc/meminfo: memFree=19733816/32770624 swapFree=67108860/67108860
[pid=27341] ppid=27338 vsize=193576 memory=169696 CPUtime=2022.18 cores=0,2,4,6
/proc/27341/stat : 27341 (nacre_mini_rele) R 27338 27341 26996 0 -1 4202496 148175 0 0 0 202198 20 0 0 20 0 1 0 95332144 198221824 42424 33554432000 4194304 4933779 140721490224816 140721490222520 4437389 0 0 4096 24578 0 0 0 17 2 0 0 0 0 0 7034520 7039168 10289152 140721490232472 140721490232572 140721490232572 140721490235330 0
/proc/27341/statm: 48394 42424 610 181 0 42011 0
Current children cumulated CPU time: 2022.18 s
Current children cumulated vsize: 193576 KiB
Current children cumulated memory: 169696 KiB
[startup+2082.3 s]
/proc/loadavg: 2.00 2.01 1.97 3/187 27424
/proc/meminfo: memFree=19730068/32770624 swapFree=67108860/67108860
[pid=27341] ppid=27338 vsize=197200 memory=173068 CPUtime=2082.18 cores=0,2,4,6
/proc/27341/stat : 27341 (nacre_mini_rele) R 27338 27341 26996 0 -1 4202496 151633 0 0 0 208197 21 0 0 20 0 1 0 95332144 201932800 43267 33554432000 4194304 4933779 140721490224816 140721490222504 139659229445948 0 0 4096 24578 0 0 0 17 2 0 0 0 0 0 7034520 7039168 10289152 140721490232472 140721490232572 140721490232572 140721490235330 0
/proc/27341/statm: 49300 43267 610 181 0 42917 0
Current children cumulated CPU time: 2082.18 s
Current children cumulated vsize: 197200 KiB
Current children cumulated memory: 173068 KiB
[startup+2142.3 s]
/proc/loadavg: 2.04 2.03 1.97 3/188 27433
/proc/meminfo: memFree=19727596/32770624 swapFree=67108860/67108860
[pid=27341] ppid=27338 vsize=198660 memory=174816 CPUtime=2142.17 cores=0,2,4,6
/proc/27341/stat : 27341 (nacre_mini_rele) R 27338 27341 26996 0 -1 4202496 155189 0 0 0 214196 21 0 0 20 0 1 0 95332144 203427840 43704 33554432000 4194304 4933779 140721490224816 140721490222520 4437389 0 0 4096 24578 0 0 0 17 2 0 0 0 0 0 7034520 7039168 10289152 140721490232472 140721490232572 140721490232572 140721490235330 0
/proc/27341/statm: 49665 43704 610 181 0 43282 0
Current children cumulated CPU time: 2142.17 s
Current children cumulated vsize: 198660 KiB
Current children cumulated memory: 174816 KiB
[startup+2202.3 s]
/proc/loadavg: 2.01 2.02 1.97 3/188 27434
/proc/meminfo: memFree=19724556/32770624 swapFree=67108860/67108860
[pid=27341] ppid=27338 vsize=198996 memory=175188 CPUtime=2202.17 cores=0,2,4,6
/proc/27341/stat : 27341 (nacre_mini_rele) R 27338 27341 26996 0 -1 4202496 155944 0 0 0 220196 21 0 0 20 0 1 0 95332144 203771904 43797 33554432000 4194304 4933779 140721490224816 140721490222504 4369280 0 0 4096 24578 0 0 0 17 2 0 0 0 0 0 7034520 7039168 10289152 140721490232472 140721490232572 140721490232572 140721490235330 0
/proc/27341/statm: 49749 43797 610 181 0 43366 0
Current children cumulated CPU time: 2202.17 s
Current children cumulated vsize: 198996 KiB
Current children cumulated memory: 175188 KiB
[startup+2262.3 s]
/proc/loadavg: 2.01 2.02 1.97 3/188 27435
/proc/meminfo: memFree=19722076/32770624 swapFree=67108860/67108860
[pid=27341] ppid=27338 vsize=200860 memory=177108 CPUtime=2262.16 cores=0,2,4,6
/proc/27341/stat : 27341 (nacre_mini_rele) R 27338 27341 26996 0 -1 4202496 157210 0 0 0 226195 21 0 0 20 0 1 0 95332144 205680640 44277 33554432000 4194304 4933779 140721490224816 140721490222568 4475772 0 0 4096 24578 0 0 0 17 2 0 0 0 0 0 7034520 7039168 10289152 140721490232472 140721490232572 140721490232572 140721490235330 0
/proc/27341/statm: 50215 44277 610 181 0 43832 0
Current children cumulated CPU time: 2262.16 s
Current children cumulated vsize: 200860 KiB
Current children cumulated memory: 177108 KiB
[startup+2322.3 s]
/proc/loadavg: 2.00 2.01 1.97 3/188 27436
/proc/meminfo: memFree=19712528/32770624 swapFree=67108860/67108860
[pid=27341] ppid=27338 vsize=203508 memory=179684 CPUtime=2322.17 cores=0,2,4,6
/proc/27341/stat : 27341 (nacre_mini_rele) R 27338 27341 26996 0 -1 4202496 159326 0 0 0 232195 22 0 0 20 0 1 0 95332144 208392192 44921 33554432000 4194304 4933779 140721490224816 140721490222504 4437570 0 0 4096 24578 0 0 0 17 2 0 0 0 0 0 7034520 7039168 10289152 140721490232472 140721490232572 140721490232572 140721490235330 0
/proc/27341/statm: 50877 44921 610 181 0 44494 0
Current children cumulated CPU time: 2322.17 s
Current children cumulated vsize: 203508 KiB
Current children cumulated memory: 179684 KiB
[startup+2382.3 s]
/proc/loadavg: 2.00 2.01 1.97 3/188 27437
/proc/meminfo: memFree=19702484/32770624 swapFree=67108860/67108860
[pid=27341] ppid=27338 vsize=204456 memory=180624 CPUtime=2382.16 cores=0,2,4,6
/proc/27341/stat : 27341 (nacre_mini_rele) R 27338 27341 26996 0 -1 4202496 161395 0 0 0 238194 22 0 0 20 0 1 0 95332144 209362944 45156 33554432000 4194304 4933779 140721490224816 140721490222520 4368395 0 0 4096 24578 0 0 0 17 2 0 0 0 0 0 7034520 7039168 10289152 140721490232472 140721490232572 140721490232572 140721490235330 0
/proc/27341/statm: 51114 45156 610 181 0 44731 0
Current children cumulated CPU time: 2382.16 s
Current children cumulated vsize: 204456 KiB
Current children cumulated memory: 180624 KiB
[startup+2442.3 s]
/proc/loadavg: 2.05 2.03 1.98 3/187 27438
/proc/meminfo: memFree=19692736/32770624 swapFree=67108860/67108860
[pid=27341] ppid=27338 vsize=206408 memory=182352 CPUtime=2442.16 cores=0,2,4,6
/proc/27341/stat : 27341 (nacre_mini_rele) R 27338 27341 26996 0 -1 4202496 163911 0 0 0 244194 22 0 0 20 0 1 0 95332144 211361792 45588 33554432000 4194304 4933779 140721490224816 140721490222504 4212032 0 0 4096 24578 0 0 0 17 2 0 0 0 0 0 7034520 7039168 10289152 140721490232472 140721490232572 140721490232572 140721490235330 0
/proc/27341/statm: 51602 45588 610 181 0 45219 0
Current children cumulated CPU time: 2442.16 s
Current children cumulated vsize: 206408 KiB
Current children cumulated memory: 182352 KiB
[startup+2502.3 s]
/proc/loadavg: 2.02 2.02 1.98 3/187 27439
/proc/meminfo: memFree=19686040/32770624 swapFree=67108860/67108860
[pid=27341] ppid=27338 vsize=206580 memory=182572 CPUtime=2502.15 cores=0,2,4,6
/proc/27341/stat : 27341 (nacre_mini_rele) R 27338 27341 26996 0 -1 4202496 166416 0 0 0 250193 22 0 0 20 0 1 0 95332144 211537920 45643 33554432000 4194304 4933779 140721490224816 140721490222504 4367441 0 0 4096 24578 0 0 0 17 2 0 0 0 0 0 7034520 7039168 10289152 140721490232472 140721490232572 140721490232572 140721490235330 0
/proc/27341/statm: 51645 45643 610 181 0 45262 0
Current children cumulated CPU time: 2502.15 s
Current children cumulated vsize: 206580 KiB
Current children cumulated memory: 182572 KiB
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+2520 s]*
/proc/loadavg: 2.01 2.02 1.98 3/187 27561
/proc/meminfo: memFree=20026940/32770624 swapFree=67108860/67108860
[pid=27341] ppid=27338 vsize=206580 memory=182976 CPUtime=2519.86 cores=0,2,4,6
/proc/27341/stat : 27341 (nacre_mini_rele) R 27338 27341 26996 0 -1 4202496 168426 0 0 0 251964 22 0 0 20 0 1 0 95332144 211537920 45744 33554432000 4194304 4933779 140721490224816 140721490222504 4437393 0 0 4096 24578 0 0 0 17 2 0 0 0 0 0 7034520 7039168 10289152 140721490232472 140721490232572 140721490232572 140721490235330 0
/proc/27341/statm: 51645 45744 610 181 0 45262 0
Current children cumulated CPU time: 2519.86 s
Current children cumulated vsize: 206580 KiB
Current children cumulated memory: 182976 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2520.01 s]
# the end of solver process 27341 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2519.65 s, system=0.230992 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 0
Real time (s): 2520.01
CPU time (s): 2519.88
CPU user time (s): 2519.65
CPU system time (s): 0.230992
CPU usage (%): 99.9946
Max. virtual memory (cumulated for all children) (KiB): 206580
Max. memory (cumulated for all children) (KiB): 182976
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2519.65
system time used= 0.230992
maximum resident set size= 183052
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 168470
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= 86
involuntary context switches= 3151
# summary of solver processes directly reported to runsolver:
# pid: 27341
# total CPU time (s): 2519.88
# total CPU user time (s): 2519.65
# total CPU system time (s): 0.230992
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 12.5775 second user time and 15.3458 second system time
The end