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 (9705 MiB free)
memory of node 1: 16384 MiB (11687 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4391543-1568319996/watcher-4391543-1568319996 -o /tmp/evaluation-result-4391543-1568319996/solver-4391543-1568319996 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node140-1568307582-20542 --watchdog 2560 nacre_mini_release HOME/instance-4391543-1568319996.xml -ca -l100 -cm
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 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=23838, runsolver pid=23835
[startup+0.10016 s]*
/proc/loadavg: 2.11 2.05 2.05 3/199 23839
/proc/meminfo: memFree=21892388/32770624 swapFree=66999172/67108860
[pid=23838] ppid=23835 vsize=40700 memory=16676 CPUtime=0.1 cores=1,3,5,7
/proc/23838/stat : 23838 (nacre_mini_rele) R 23835 23838 20510 0 -1 4202496 4652 0 0 0 10 0 0 0 20 0 1 0 407938068 41676800 4169 33554432000 4194304 4935366 140729996767552 140729996762520 139715831362997 0 0 4096 24578 0 0 0 17 3 0 0 0 0 0 7034520 7039168 34549760 140729996776449 140729996776549 140729996776549 140729996779458 0
/proc/23838/statm: 10175 4169 588 181 0 3792 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 40700 KiB
Current children cumulated memory: 16676 KiB
[startup+0.209795 s]*
/proc/loadavg: 2.11 2.05 2.05 3/199 23839
/proc/meminfo: memFree=21892388/32770624 swapFree=66999172/67108860
[pid=23838] ppid=23835 vsize=40700 memory=16676 CPUtime=0.21 cores=1,3,5,7
/proc/23838/stat : 23838 (nacre_mini_rele) R 23835 23838 20510 0 -1 4202496 4671 0 0 0 21 0 0 0 20 0 1 0 407938068 41676800 4169 33554432000 4194304 4935366 140729996767552 140729996766072 139715837658024 0 0 4096 24578 0 0 0 17 3 0 0 0 0 0 7034520 7039168 34549760 140729996776449 140729996776549 140729996776549 140729996779458 0
/proc/23838/statm: 10175 4169 588 181 0 3792 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 40700 KiB
Current children cumulated memory: 16676 KiB
[startup+0.30982 s]*
/proc/loadavg: 2.11 2.05 2.05 3/199 23839
/proc/meminfo: memFree=21892388/32770624 swapFree=66999172/67108860
[pid=23838] ppid=23835 vsize=40700 memory=16676 CPUtime=0.31 cores=1,3,5,7
/proc/23838/stat : 23838 (nacre_mini_rele) R 23835 23838 20510 0 -1 4202496 4671 0 0 0 31 0 0 0 20 0 1 0 407938068 41676800 4169 33554432000 4194304 4935366 140729996767552 140729996766072 4450992 0 0 4096 24578 0 0 0 17 3 0 0 0 0 0 7034520 7039168 34549760 140729996776449 140729996776549 140729996776549 140729996779458 0
/proc/23838/statm: 10175 4169 588 181 0 3792 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 40700 KiB
Current children cumulated memory: 16676 KiB
[startup+0.700342 s]
/proc/loadavg: 2.11 2.05 2.05 3/199 23839
/proc/meminfo: memFree=21892016/32770624 swapFree=66999172/67108860
[pid=23838] ppid=23835 vsize=40700 memory=16676 CPUtime=0.69 cores=1,3,5,7
/proc/23838/stat : 23838 (nacre_mini_rele) R 23835 23838 20510 0 -1 4202496 4671 0 0 0 69 0 0 0 20 0 1 0 407938068 41676800 4169 33554432000 4194304 4935366 140729996767552 140729996766072 4450160 0 0 4096 24578 0 0 0 17 3 0 0 0 0 0 7034520 7039168 34549760 140729996776449 140729996776549 140729996776549 140729996779458 0
/proc/23838/statm: 10175 4169 588 181 0 3792 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 40700 KiB
Current children cumulated memory: 16676 KiB
[startup+1.50035 s]
/proc/loadavg: 2.11 2.05 2.05 3/199 23839
/proc/meminfo: memFree=21891644/32770624 swapFree=66999172/67108860
[pid=23838] ppid=23835 vsize=41232 memory=17204 CPUtime=1.49 cores=1,3,5,7
/proc/23838/stat : 23838 (nacre_mini_rele) R 23835 23838 20510 0 -1 4202496 4810 0 0 0 149 0 0 0 20 0 1 0 407938068 42221568 4301 33554432000 4194304 4935366 140729996767552 140729996765112 4400847 0 0 4096 24578 0 0 0 17 1 0 0 0 0 0 7034520 7039168 34549760 140729996776449 140729996776549 140729996776549 140729996779458 0
/proc/23838/statm: 10308 4301 613 181 0 3925 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 41232 KiB
Current children cumulated memory: 17204 KiB
[startup+3.10966 s]
/proc/loadavg: 2.11 2.05 2.05 3/199 23839
/proc/meminfo: memFree=21890528/32770624 swapFree=66999172/67108860
[pid=23838] ppid=23835 vsize=42728 memory=18604 CPUtime=3.1 cores=1,3,5,7
/proc/23838/stat : 23838 (nacre_mini_rele) R 23835 23838 20510 0 -1 4202496 8634 0 0 0 309 1 0 0 20 0 1 0 407938068 43753472 4651 33554432000 4194304 4935366 140729996767552 140729996765112 4400862 0 0 4096 24578 0 0 0 17 1 0 0 0 0 0 7034520 7039168 34549760 140729996776449 140729996776549 140729996776549 140729996779458 0
/proc/23838/statm: 10682 4651 613 181 0 4299 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 42728 KiB
Current children cumulated memory: 18604 KiB
[startup+6.30034 s]
/proc/loadavg: 2.02 2.04 2.05 3/199 23839
/proc/meminfo: memFree=21887888/32770624 swapFree=66999172/67108860
[pid=23838] ppid=23835 vsize=45352 memory=21236 CPUtime=6.29 cores=1,3,5,7
/proc/23838/stat : 23838 (nacre_mini_rele) R 23835 23838 20510 0 -1 4202496 13167 0 0 0 628 1 0 0 20 0 1 0 407938068 46440448 5309 33554432000 4194304 4935366 140729996767552 140729996765112 4332104 0 0 4096 24578 0 0 0 17 1 0 0 0 0 0 7034520 7039168 34549760 140729996776449 140729996776549 140729996776549 140729996779458 0
/proc/23838/statm: 11338 5309 613 181 0 4955 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 45352 KiB
Current children cumulated memory: 21236 KiB
[startup+12.7004 s]
/proc/loadavg: 2.02 2.04 2.05 3/199 23839
/proc/meminfo: memFree=21882432/32770624 swapFree=66999172/67108860
[pid=23838] ppid=23835 vsize=49748 memory=25724 CPUtime=12.69 cores=1,3,5,7
/proc/23838/stat : 23838 (nacre_mini_rele) R 23835 23838 20510 0 -1 4202496 18859 0 0 0 1268 1 0 0 20 0 1 0 407938068 50941952 6431 33554432000 4194304 4935366 140729996767552 140729996765320 4434561 0 0 4096 24578 0 0 0 17 1 0 0 0 0 0 7034520 7039168 34549760 140729996776449 140729996776549 140729996776549 140729996779458 0
/proc/23838/statm: 12437 6431 613 181 0 6054 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 49748 KiB
Current children cumulated memory: 25724 KiB
[startup+25.5003 s]
/proc/loadavg: 2.02 2.03 2.05 3/200 23841
/proc/meminfo: memFree=21874656/32770624 swapFree=66999172/67108860
[pid=23838] ppid=23835 vsize=56584 memory=32576 CPUtime=25.48 cores=1,3,5,7
/proc/23838/stat : 23838 (nacre_mini_rele) R 23835 23838 20510 0 -1 4202496 32903 0 0 0 2546 2 0 0 20 0 1 0 407938068 57942016 8144 33554432000 4194304 4935366 140729996767552 140729996765256 4461472 0 0 4096 24578 0 0 0 17 1 0 0 0 0 0 7034520 7039168 34549760 140729996776449 140729996776549 140729996776549 140729996779458 0
/proc/23838/statm: 14146 8144 613 181 0 7763 0
Current children cumulated CPU time: 25.48 s
Current children cumulated vsize: 56584 KiB
Current children cumulated memory: 32576 KiB
[startup+51.1098 s]
/proc/loadavg: 2.01 2.03 2.05 3/199 23842
/proc/meminfo: memFree=21857624/32770624 swapFree=66999172/67108860
[pid=23838] ppid=23835 vsize=66980 memory=42640 CPUtime=51.09 cores=1,3,5,7
/proc/23838/stat : 23838 (nacre_mini_rele) R 23835 23838 20510 0 -1 4202496 43851 0 0 0 5105 4 0 0 20 0 1 0 407938068 68587520 10660 33554432000 4194304 4935366 140729996767552 140729996765240 4434718 0 0 4096 24578 0 0 0 17 1 0 0 0 0 0 7034520 7039168 34549760 140729996776449 140729996776549 140729996776549 140729996779458 0
/proc/23838/statm: 16745 10660 613 181 0 10362 0
Current children cumulated CPU time: 51.09 s
Current children cumulated vsize: 66980 KiB
Current children cumulated memory: 42640 KiB
[startup+102.3 s]
/proc/loadavg: 2.00 2.03 2.05 3/199 23846
/proc/meminfo: memFree=21826124/32770624 swapFree=66999172/67108860
[pid=23838] ppid=23835 vsize=80488 memory=56184 CPUtime=102.27 cores=1,3,5,7
/proc/23838/stat : 23838 (nacre_mini_rele) R 23835 23838 20510 0 -1 4202496 56694 0 0 0 10221 6 0 0 20 0 1 0 407938068 82419712 14046 33554432000 4194304 4935366 140729996767552 140729996765064 4461252 0 0 4096 24578 0 0 0 17 1 0 0 0 0 0 7034520 7039168 34549760 140729996776449 140729996776549 140729996776549 140729996779458 0
/proc/23838/statm: 20122 14046 613 181 0 13739 0
Current children cumulated CPU time: 102.27 s
Current children cumulated vsize: 80488 KiB
Current children cumulated memory: 56184 KiB
[startup+162.3 s]
/proc/loadavg: 2.05 2.04 2.05 3/200 23853
/proc/meminfo: memFree=21782212/32770624 swapFree=66999176/67108860
[pid=23838] ppid=23835 vsize=94692 memory=70552 CPUtime=162.26 cores=1,3,5,7
/proc/23838/stat : 23838 (nacre_mini_rele) R 23835 23838 20510 0 -1 4202496 62737 0 0 0 16218 8 0 0 20 0 1 0 407938068 96964608 17638 33554432000 4194304 4935366 140729996767552 140729996765256 4400847 0 0 4096 24578 0 0 0 17 1 0 0 0 0 0 7034520 7039168 34549760 140729996776449 140729996776549 140729996776549 140729996779458 0
/proc/23838/statm: 23673 17638 613 181 0 17290 0
Current children cumulated CPU time: 162.26 s
Current children cumulated vsize: 94692 KiB
Current children cumulated memory: 70552 KiB
[startup+222.3 s]
/proc/loadavg: 2.02 2.03 2.05 3/199 23857
/proc/meminfo: memFree=21761656/32770624 swapFree=66999176/67108860
[pid=23838] ppid=23835 vsize=110468 memory=86208 CPUtime=222.24 cores=1,3,5,7
/proc/23838/stat : 23838 (nacre_mini_rele) R 23835 23838 20510 0 -1 4202496 73824 0 0 0 22215 9 0 0 20 0 1 0 407938068 113119232 21552 33554432000 4194304 4935366 140729996767552 140729996765240 4461073 0 0 4096 24578 0 0 0 17 1 0 0 0 0 0 7034520 7039168 34549760 140729996776449 140729996776549 140729996776549 140729996779458 0
/proc/23838/statm: 27617 21552 613 181 0 21234 0
Current children cumulated CPU time: 222.24 s
Current children cumulated vsize: 110468 KiB
Current children cumulated memory: 86208 KiB
[startup+282.3 s]
/proc/loadavg: 2.05 2.04 2.05 3/200 23869
/proc/meminfo: memFree=21709368/32770624 swapFree=66999176/67108860
[pid=23838] ppid=23835 vsize=137172 memory=111640 CPUtime=282.24 cores=1,3,5,7
/proc/23838/stat : 23838 (nacre_mini_rele) R 23835 23838 20510 0 -1 4202496 88740 0 0 0 28212 12 0 0 20 0 1 0 407938068 140464128 27910 33554432000 4194304 4935366 140729996767552 140729996765240 4434554 0 0 4096 24578 0 0 0 17 1 0 0 0 0 0 7034520 7039168 34549760 140729996776449 140729996776549 140729996776549 140729996779458 0
/proc/23838/statm: 34293 27910 613 181 0 27910 0
Current children cumulated CPU time: 282.24 s
Current children cumulated vsize: 137172 KiB
Current children cumulated memory: 111640 KiB
[startup+342.3 s]
/proc/loadavg: 2.02 2.04 2.05 3/201 23874
/proc/meminfo: memFree=21662188/32770624 swapFree=66999176/67108860
[pid=23838] ppid=23835 vsize=162308 memory=136912 CPUtime=342.22 cores=1,3,5,7
/proc/23838/stat : 23838 (nacre_mini_rele) R 23835 23838 20510 0 -1 4202496 109142 0 0 0 34207 15 0 0 20 0 1 0 407938068 166203392 34228 33554432000 4194304 4935366 140729996767552 140729996765240 139715832219790 0 0 4096 24578 0 0 0 17 1 0 0 0 0 0 7034520 7039168 34549760 140729996776449 140729996776549 140729996776549 140729996779458 0
/proc/23838/statm: 40577 34228 613 181 0 34194 0
Current children cumulated CPU time: 342.22 s
Current children cumulated vsize: 162308 KiB
Current children cumulated memory: 136912 KiB
[startup+402.3 s]
/proc/loadavg: 2.01 2.03 2.05 3/200 23878
/proc/meminfo: memFree=21625488/32770624 swapFree=66999176/67108860
[pid=23838] ppid=23835 vsize=184136 memory=159356 CPUtime=402.19 cores=1,3,5,7
/proc/23838/stat : 23838 (nacre_mini_rele) R 23835 23838 20510 0 -1 4202496 124748 0 0 0 40201 18 0 0 20 0 1 0 407938068 188555264 39839 33554432000 4194304 4935366 140729996767552 140729996765304 4461069 0 0 4096 24578 0 0 0 17 1 0 0 0 0 0 7034520 7039168 34549760 140729996776449 140729996776549 140729996776549 140729996779458 0
/proc/23838/statm: 46034 39839 613 181 0 39651 0
Current children cumulated CPU time: 402.19 s
Current children cumulated vsize: 184136 KiB
Current children cumulated memory: 159356 KiB
[startup+462.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/200 23882
/proc/meminfo: memFree=21591572/32770624 swapFree=66999176/67108860
[pid=23838] ppid=23835 vsize=202192 memory=177196 CPUtime=462.19 cores=1,3,5,7
/proc/23838/stat : 23838 (nacre_mini_rele) R 23835 23838 20510 0 -1 4202496 132518 0 0 0 46199 20 0 0 20 0 1 0 407938068 207044608 44299 33554432000 4194304 4935366 140729996767552 140729996765256 4434561 0 0 4096 24578 0 0 0 17 1 0 0 0 0 0 7034520 7039168 34549760 140729996776449 140729996776549 140729996776549 140729996779458 0
/proc/23838/statm: 50548 44299 613 181 0 44165 0
Current children cumulated CPU time: 462.19 s
Current children cumulated vsize: 202192 KiB
Current children cumulated memory: 177196 KiB
################
# More data... #
################
/proc/23838/statm: 90435 84354 613 181 0 84052 0
Current children cumulated CPU time: 1602 s
Current children cumulated vsize: 361740 KiB
Current children cumulated memory: 337416 KiB
[startup+1662.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/200 23992
/proc/meminfo: memFree=21262692/32770624 swapFree=66999176/67108860
[pid=23838] ppid=23835 vsize=363824 memory=339468 CPUtime=1661.99 cores=1,3,5,7
/proc/23838/stat : 23838 (nacre_mini_rele) R 23835 23838 20510 0 -1 4202496 297418 0 0 0 166150 49 0 0 20 0 1 0 407938068 372555776 84867 33554432000 4194304 4935366 140729996767552 140729996765240 4461472 0 0 4096 24578 0 0 0 17 1 0 0 0 0 0 7034520 7039168 34549760 140729996776449 140729996776549 140729996776549 140729996779458 0
/proc/23838/statm: 90956 84867 613 181 0 84573 0
Current children cumulated CPU time: 1661.99 s
Current children cumulated vsize: 363824 KiB
Current children cumulated memory: 339468 KiB
[startup+1722.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/200 23996
/proc/meminfo: memFree=21255320/32770624 swapFree=66999176/67108860
[pid=23838] ppid=23835 vsize=364704 memory=340436 CPUtime=1721.99 cores=1,3,5,7
/proc/23838/stat : 23838 (nacre_mini_rele) R 23835 23838 20510 0 -1 4202496 304206 0 0 0 172148 51 0 0 20 0 1 0 407938068 373456896 85109 33554432000 4194304 4935366 140729996767552 140729996765256 4400824 0 0 4096 24578 0 0 0 17 1 0 0 0 0 0 7034520 7039168 34549760 140729996776449 140729996776549 140729996776549 140729996779458 0
/proc/23838/statm: 91176 85109 613 181 0 84793 0
Current children cumulated CPU time: 1721.99 s
Current children cumulated vsize: 364704 KiB
Current children cumulated memory: 340436 KiB
[startup+1782.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/200 24003
/proc/meminfo: memFree=21244940/32770624 swapFree=66999176/67108860
[pid=23838] ppid=23835 vsize=365200 memory=340888 CPUtime=1781.99 cores=1,3,5,7
/proc/23838/stat : 23838 (nacre_mini_rele) R 23835 23838 20510 0 -1 4202496 310113 0 0 0 178147 52 0 0 20 0 1 0 407938068 373964800 85222 33554432000 4194304 4935366 140729996767552 140729996765240 4461238 0 0 4096 24578 0 0 0 17 1 0 0 0 0 0 7034520 7039168 34549760 140729996776449 140729996776549 140729996776549 140729996779458 0
/proc/23838/statm: 91300 85222 613 181 0 84917 0
Current children cumulated CPU time: 1781.99 s
Current children cumulated vsize: 365200 KiB
Current children cumulated memory: 340888 KiB
[startup+1842.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 24007
/proc/meminfo: memFree=21222560/32770624 swapFree=66999176/67108860
[pid=23838] ppid=23835 vsize=372968 memory=348980 CPUtime=1841.96 cores=1,3,5,7
/proc/23838/stat : 23838 (nacre_mini_rele) R 23835 23838 20510 0 -1 4202496 315517 0 0 0 184144 52 0 0 20 0 1 0 407938068 381919232 87245 33554432000 4194304 4935366 140729996767552 140729996765256 4417976 0 0 4096 24578 0 0 0 17 1 0 0 0 0 0 7034520 7039168 34549760 140729996776449 140729996776549 140729996776549 140729996779458 0
/proc/23838/statm: 93242 87245 613 181 0 86859 0
Current children cumulated CPU time: 1841.96 s
Current children cumulated vsize: 372968 KiB
Current children cumulated memory: 348980 KiB
[startup+1902.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 24011
/proc/meminfo: memFree=21217088/32770624 swapFree=66999176/67108860
[pid=23838] ppid=23835 vsize=373352 memory=349392 CPUtime=1901.95 cores=1,3,5,7
/proc/23838/stat : 23838 (nacre_mini_rele) R 23835 23838 20510 0 -1 4202496 317125 0 0 0 190143 52 0 0 20 0 1 0 407938068 382312448 87348 33554432000 4194304 4935366 140729996767552 140729996765240 4400824 0 0 4096 24578 0 0 0 17 1 0 0 0 0 0 7034520 7039168 34549760 140729996776449 140729996776549 140729996776549 140729996779458 0
/proc/23838/statm: 93338 87348 613 181 0 86955 0
Current children cumulated CPU time: 1901.95 s
Current children cumulated vsize: 373352 KiB
Current children cumulated memory: 349392 KiB
[startup+1962.3 s]
/proc/loadavg: 2.05 2.03 2.05 3/200 24018
/proc/meminfo: memFree=21216292/32770624 swapFree=66999176/67108860
[pid=23838] ppid=23835 vsize=373628 memory=349692 CPUtime=1961.95 cores=1,3,5,7
/proc/23838/stat : 23838 (nacre_mini_rele) R 23835 23838 20510 0 -1 4202496 318956 0 0 0 196142 53 0 0 20 0 1 0 407938068 382595072 87423 33554432000 4194304 4935366 140729996767552 140729996765256 4420605 0 0 4096 24578 0 0 0 17 1 0 0 0 0 0 7034520 7039168 34549760 140729996776449 140729996776549 140729996776549 140729996779458 0
/proc/23838/statm: 93407 87423 613 181 0 87024 0
Current children cumulated CPU time: 1961.95 s
Current children cumulated vsize: 373628 KiB
Current children cumulated memory: 349692 KiB
[startup+2022.3 s]
/proc/loadavg: 2.02 2.02 2.05 3/199 24022
/proc/meminfo: memFree=21212496/32770624 swapFree=66999176/67108860
[pid=23838] ppid=23835 vsize=374864 memory=350828 CPUtime=2021.95 cores=1,3,5,7
/proc/23838/stat : 23838 (nacre_mini_rele) R 23835 23838 20510 0 -1 4202496 321195 0 0 0 202142 53 0 0 20 0 1 0 407938068 383860736 87707 33554432000 4194304 4935366 140729996767552 140729996765304 139715832219790 0 0 4096 24578 0 0 0 17 1 0 0 0 0 0 7034520 7039168 34549760 140729996776449 140729996776549 140729996776549 140729996779458 0
/proc/23838/statm: 93716 87707 613 181 0 87333 0
Current children cumulated CPU time: 2021.95 s
Current children cumulated vsize: 374864 KiB
Current children cumulated memory: 350828 KiB
[startup+2082.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/200 24034
/proc/meminfo: memFree=21211000/32770624 swapFree=66999176/67108860
[pid=23838] ppid=23835 vsize=376724 memory=352664 CPUtime=2081.94 cores=1,3,5,7
/proc/23838/stat : 23838 (nacre_mini_rele) R 23835 23838 20510 0 -1 4202496 323969 0 0 0 208140 54 0 0 20 0 1 0 407938068 385765376 88166 33554432000 4194304 4935366 140729996767552 140729996765240 4400847 0 0 4096 24578 0 0 0 17 1 0 0 0 0 0 7034520 7039168 34549760 140729996776449 140729996776549 140729996776549 140729996779458 0
/proc/23838/statm: 94181 88166 613 181 0 87798 0
Current children cumulated CPU time: 2081.94 s
Current children cumulated vsize: 376724 KiB
Current children cumulated memory: 352664 KiB
[startup+2142.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/201 24062
/proc/meminfo: memFree=21191132/32770624 swapFree=66999180/67108860
[pid=23838] ppid=23835 vsize=395712 memory=371724 CPUtime=2141.93 cores=1,3,5,7
/proc/23838/stat : 23838 (nacre_mini_rele) R 23835 23838 20510 0 -1 4202496 333003 0 0 0 214138 55 0 0 20 0 1 0 407938068 405209088 92931 33554432000 4194304 4935366 140729996767552 140729996765304 4365360 0 0 4096 24578 0 0 0 17 1 0 0 0 0 0 7034520 7039168 34549760 140729996776449 140729996776549 140729996776549 140729996779458 0
/proc/23838/statm: 98928 92931 613 181 0 92545 0
Current children cumulated CPU time: 2141.93 s
Current children cumulated vsize: 395712 KiB
Current children cumulated memory: 371724 KiB
[startup+2202.3 s]
/proc/loadavg: 2.05 2.03 2.05 3/200 24066
/proc/meminfo: memFree=21174196/32770624 swapFree=66999180/67108860
[pid=23838] ppid=23835 vsize=410552 memory=386524 CPUtime=2201.92 cores=1,3,5,7
/proc/23838/stat : 23838 (nacre_mini_rele) R 23835 23838 20510 0 -1 4202496 342917 0 0 0 220135 57 0 0 20 0 1 0 407938068 420405248 96631 33554432000 4194304 4935366 140729996767552 140729996765256 4450336 0 0 4096 24578 0 0 0 17 1 0 0 0 0 0 7034520 7039168 34549760 140729996776449 140729996776549 140729996776549 140729996779458 0
/proc/23838/statm: 102638 96631 613 181 0 96255 0
Current children cumulated CPU time: 2201.92 s
Current children cumulated vsize: 410552 KiB
Current children cumulated memory: 386524 KiB
[startup+2262.3 s]
/proc/loadavg: 1.74 1.96 2.02 2/193 24116
/proc/meminfo: memFree=21595988/32770624 swapFree=66999180/67108860
[pid=23838] ppid=23835 vsize=424156 memory=400304 CPUtime=2261.91 cores=1,3,5,7
/proc/23838/stat : 23838 (nacre_mini_rele) R 23835 23838 20510 0 -1 4202496 354223 0 0 0 226132 59 0 0 20 0 1 0 407938068 434335744 100076 33554432000 4194304 4935366 140729996767552 140729996765304 4417875 0 0 4096 24578 0 0 0 17 1 0 0 0 0 0 7034520 7039168 34549760 140729996776449 140729996776549 140729996776549 140729996779458 0
/proc/23838/statm: 106039 100076 613 181 0 99656 0
Current children cumulated CPU time: 2261.91 s
Current children cumulated vsize: 424156 KiB
Current children cumulated memory: 400304 KiB
[startup+2322.3 s]
/proc/loadavg: 1.27 1.78 1.96 2/194 24122
/proc/meminfo: memFree=21589500/32770624 swapFree=66999180/67108860
[pid=23838] ppid=23835 vsize=431584 memory=407612 CPUtime=2321.9 cores=1,3,5,7
/proc/23838/stat : 23838 (nacre_mini_rele) R 23835 23838 20510 0 -1 4202496 365854 0 0 0 232130 60 0 0 20 0 1 0 407938068 441942016 101903 33554432000 4194304 4935366 140729996767552 140729996765256 4461073 0 0 4096 24578 0 0 0 17 1 0 0 0 0 0 7034520 7039168 34549760 140729996776449 140729996776549 140729996776549 140729996779458 0
/proc/23838/statm: 107896 101903 613 181 0 101513 0
Current children cumulated CPU time: 2321.9 s
Current children cumulated vsize: 431584 KiB
Current children cumulated memory: 407612 KiB
[startup+2382.3 s]
/proc/loadavg: 1.10 1.64 1.90 2/193 24127
/proc/meminfo: memFree=21579544/32770624 swapFree=66999180/67108860
[pid=23838] ppid=23835 vsize=442188 memory=418252 CPUtime=2381.9 cores=1,3,5,7
/proc/23838/stat : 23838 (nacre_mini_rele) R 23835 23838 20510 0 -1 4202496 382455 0 0 0 238127 63 0 0 20 0 1 0 407938068 452800512 104563 33554432000 4194304 4935366 140729996767552 140729996765256 4461073 0 0 4096 24578 0 0 0 17 1 0 0 0 0 0 7034520 7039168 34549760 140729996776449 140729996776549 140729996776549 140729996779458 0
/proc/23838/statm: 110547 104563 613 181 0 104164 0
Current children cumulated CPU time: 2381.9 s
Current children cumulated vsize: 442188 KiB
Current children cumulated memory: 418252 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2400.4 s]
/proc/loadavg: 1.08 1.61 1.89 2/193 24128
/proc/meminfo: memFree=21576352/32770624 swapFree=66999180/67108860
[pid=23838] ppid=23835 vsize=445320 memory=421388 CPUtime=2400 cores=1,3,5,7
/proc/23838/stat : 23838 (nacre_mini_rele) R 23835 23838 20510 0 -1 4202496 384361 0 0 0 239937 63 0 0 20 0 1 0 407938068 456007680 105347 33554432000 4194304 4935366 140729996767552 140729996765256 4461073 0 0 4096 24578 0 0 0 17 1 0 0 0 0 0 7034520 7039168 34549760 140729996776449 140729996776549 140729996776549 140729996779458 0
/proc/23838/statm: 111330 105347 613 181 0 104947 0
Current children cumulated CPU time: 2400 s
Current children cumulated vsize: 445320 KiB
Current children cumulated memory: 421388 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2400.41 s]
# the end of solver process 23838 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2399.37 s, system=0.640917 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 0
Real time (s): 2400.41
CPU time (s): 2400.01
CPU user time (s): 2399.37
CPU system time (s): 0.640917
CPU usage (%): 99.9836
Max. virtual memory (cumulated for all children) (KiB): 445320
Max. memory (cumulated for all children) (KiB): 421388
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2399.37
system time used= 0.640917
maximum resident set size= 421448
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 384404
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= 158
involuntary context switches= 2497
# summary of solver processes directly reported to runsolver:
# pid: 23838
# total CPU time (s): 2400.01
# total CPU user time (s): 2399.37
# total CPU system time (s): 0.640917
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 9.27681 second user time and 18.3717 second system time
The end