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 (13829 MiB free)
memory of node 1: 16384 MiB (14216 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4391407-1568301593/watcher-4391407-1568301593 -o /tmp/evaluation-result-4391407-1568301593/solver-4391407-1568301593 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node126-1568301555-23461 --watchdog 2560 nacre_mini_release HOME/instance-4391407-1568301593.xml -ca -l100 -cm
running on 4 cores: 0,2,4,6
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=23491, runsolver pid=23484
[startup+0.100108 s]*
/proc/loadavg: 1.22 1.06 1.32 4/200 23493
/proc/meminfo: memFree=28709236/32770624 swapFree=67004752/67108860
[pid=23491] ppid=23484 vsize=27044 memory=3724 CPUtime=0.06 cores=0,2,4,6
/proc/23491/stat : 23491 (nacre_mini_rele) R 23484 23491 11220 0 -1 4202496 1122 0 1 0 6 0 0 0 20 0 1 0 406427086 27693056 931 33554432000 4194304 4935366 140722585231408 140722585228408 140049674316773 0 0 4096 24578 0 0 0 17 0 0 0 3 0 0 7034520 7039168 10924032 140722585236481 140722585236581 140722585236581 140722585239490 0
/proc/23491/statm: 6761 931 603 181 0 378 0
Current children cumulated CPU time: 0.06 s
Current children cumulated vsize: 27044 KiB
Current children cumulated memory: 3724 KiB
[startup+0.209477 s]*
/proc/loadavg: 1.22 1.06 1.32 4/200 23493
/proc/meminfo: memFree=28707408/32770624 swapFree=67004752/67108860
[pid=23491] ppid=23484 vsize=28184 memory=4780 CPUtime=0.17 cores=0,2,4,6
/proc/23491/stat : 23491 (nacre_mini_rele) R 23484 23491 11220 0 -1 4202496 1397 0 1 0 17 0 0 0 20 0 1 0 406427086 28860416 1195 33554432000 4194304 4935366 140722585231408 140722585228408 140049674316773 0 0 4096 24578 0 0 0 17 0 0 0 3 0 0 7034520 7039168 10924032 140722585236481 140722585236581 140722585236581 140722585239490 0
/proc/23491/statm: 7046 1195 603 181 0 663 0
Current children cumulated CPU time: 0.17 s
Current children cumulated vsize: 28184 KiB
Current children cumulated memory: 4780 KiB
[startup+0.309247 s]*
/proc/loadavg: 1.22 1.06 1.32 4/200 23493
/proc/meminfo: memFree=28705176/32770624 swapFree=67004752/67108860
[pid=23491] ppid=23484 vsize=29176 memory=5792 CPUtime=0.27 cores=0,2,4,6
/proc/23491/stat : 23491 (nacre_mini_rele) R 23484 23491 11220 0 -1 4202496 1615 0 1 0 27 0 0 0 20 0 1 0 406427086 29876224 1448 33554432000 4194304 4935366 140722585231408 140722585228408 4418740 0 0 4096 24578 0 0 0 17 0 0 0 3 0 0 7034520 7039168 10924032 140722585236481 140722585236581 140722585236581 140722585239490 0
/proc/23491/statm: 7294 1448 603 181 0 911 0
Current children cumulated CPU time: 0.27 s
Current children cumulated vsize: 29176 KiB
Current children cumulated memory: 5792 KiB
[startup+0.700235 s]
/proc/loadavg: 1.22 1.06 1.32 4/200 23493
/proc/meminfo: memFree=28703316/32770624 swapFree=67004752/67108860
[pid=23491] ppid=23484 vsize=31664 memory=8036 CPUtime=0.65 cores=0,2,4,6
/proc/23491/stat : 23491 (nacre_mini_rele) R 23484 23491 11220 0 -1 4202496 2245 0 1 0 65 0 0 0 20 0 1 0 406427086 32423936 2009 33554432000 4194304 4935366 140722585231408 140722585228408 4461069 0 0 4096 24578 0 0 0 17 0 0 0 3 0 0 7034520 7039168 10924032 140722585236481 140722585236581 140722585236581 140722585239490 0
/proc/23491/statm: 7916 2009 603 181 0 1533 0
Current children cumulated CPU time: 0.65 s
Current children cumulated vsize: 31664 KiB
Current children cumulated memory: 8036 KiB
[startup+1.50029 s]
/proc/loadavg: 1.22 1.06 1.32 4/200 23493
/proc/meminfo: memFree=28696948/32770624 swapFree=67004752/67108860
[pid=23491] ppid=23484 vsize=33776 memory=10412 CPUtime=1.45 cores=0,2,4,6
/proc/23491/stat : 23491 (nacre_mini_rele) R 23484 23491 11220 0 -1 4202496 2823 0 1 0 145 0 0 0 20 0 1 0 406427086 34586624 2603 33554432000 4194304 4935366 140722585231408 140722585229176 4450311 0 0 4096 24578 0 0 0 17 0 0 0 3 0 0 7034520 7039168 10924032 140722585236481 140722585236581 140722585236581 140722585239490 0
/proc/23491/statm: 8444 2603 603 181 0 2061 0
Current children cumulated CPU time: 1.45 s
Current children cumulated vsize: 33776 KiB
Current children cumulated memory: 10412 KiB
[startup+3.10936 s]
/proc/loadavg: 1.29 1.08 1.32 4/200 23493
/proc/meminfo: memFree=28682076/32770624 swapFree=67004752/67108860
[pid=23491] ppid=23484 vsize=37108 memory=12976 CPUtime=3.06 cores=0,2,4,6
/proc/23491/stat : 23491 (nacre_mini_rele) R 23484 23491 11220 0 -1 4202496 5834 0 1 0 305 1 0 0 20 0 1 0 406427086 37998592 3244 33554432000 4194304 4935366 140722585231408 140722585229096 4450164 0 0 4096 24578 0 0 0 17 0 0 0 3 0 0 7034520 7039168 10924032 140722585236481 140722585236581 140722585236581 140722585239490 0
/proc/23491/statm: 9277 3244 603 181 0 2894 0
Current children cumulated CPU time: 3.06 s
Current children cumulated vsize: 37108 KiB
Current children cumulated memory: 12976 KiB
[startup+6.30022 s]
/proc/loadavg: 1.29 1.08 1.32 4/200 23493
/proc/meminfo: memFree=28670172/32770624 swapFree=67004752/67108860
[pid=23491] ppid=23484 vsize=39888 memory=16084 CPUtime=6.24 cores=0,2,4,6
/proc/23491/stat : 23491 (nacre_mini_rele) R 23484 23491 11220 0 -1 4202496 9418 0 1 0 623 1 0 0 20 0 1 0 406427086 40845312 4021 33554432000 4194304 4935366 140722585231408 140722585229112 4461073 0 0 4096 24578 0 0 0 17 0 0 0 3 0 0 7034520 7039168 10924032 140722585236481 140722585236581 140722585236581 140722585239490 0
/proc/23491/statm: 9972 4021 603 181 0 3589 0
Current children cumulated CPU time: 6.24 s
Current children cumulated vsize: 39888 KiB
Current children cumulated memory: 16084 KiB
[startup+12.7003 s]
/proc/loadavg: 1.40 1.11 1.33 4/201 23495
/proc/meminfo: memFree=28651616/32770624 swapFree=67004752/67108860
[pid=23491] ppid=23484 vsize=44064 memory=20388 CPUtime=12.65 cores=0,2,4,6
/proc/23491/stat : 23491 (nacre_mini_rele) R 23484 23491 11220 0 -1 4202496 14140 0 1 0 1263 2 0 0 20 0 1 0 406427086 45121536 5097 33554432000 4194304 4935366 140722585231408 140722585229096 4461480 0 0 4096 24578 0 0 0 17 0 0 0 3 0 0 7034520 7039168 10924032 140722585236481 140722585236581 140722585236581 140722585239490 0
/proc/23491/statm: 11016 5097 603 181 0 4633 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 44064 KiB
Current children cumulated memory: 20388 KiB
[startup+25.5003 s]
/proc/loadavg: 1.49 1.14 1.33 4/200 23495
/proc/meminfo: memFree=28625204/32770624 swapFree=67004752/67108860
[pid=23491] ppid=23484 vsize=49232 memory=25628 CPUtime=25.45 cores=0,2,4,6
/proc/23491/stat : 23491 (nacre_mini_rele) R 23484 23491 11220 0 -1 4202496 25502 0 1 0 2542 3 0 0 20 0 1 0 406427086 50413568 6407 33554432000 4194304 4935366 140722585231408 140722585229096 4461073 0 0 4096 24578 0 0 0 17 0 0 0 3 0 0 7034520 7039168 10924032 140722585236481 140722585236581 140722585236581 140722585239490 0
/proc/23491/statm: 12308 6407 603 181 0 5925 0
Current children cumulated CPU time: 25.45 s
Current children cumulated vsize: 49232 KiB
Current children cumulated memory: 25628 KiB
[startup+51.1097 s]
/proc/loadavg: 1.66 1.20 1.35 5/203 23506
/proc/meminfo: memFree=28588576/32770624 swapFree=67004752/67108860
[pid=23491] ppid=23484 vsize=56888 memory=32336 CPUtime=51.05 cores=0,2,4,6
/proc/23491/stat : 23491 (nacre_mini_rele) R 23484 23491 11220 0 -1 4202496 34259 0 1 0 5101 4 0 0 20 0 1 0 406427086 58253312 8084 33554432000 4194304 4935366 140722585231408 140722585229096 4461069 0 0 4096 24578 0 0 0 17 0 0 0 3 0 0 7034520 7039168 10924032 140722585236481 140722585236581 140722585236581 140722585239490 0
/proc/23491/statm: 14222 8084 603 181 0 7839 0
Current children cumulated CPU time: 51.05 s
Current children cumulated vsize: 56888 KiB
Current children cumulated memory: 32336 KiB
[startup+102.3 s]
/proc/loadavg: 2.01 1.38 1.40 4/204 23511
/proc/meminfo: memFree=28538128/32770624 swapFree=67004752/67108860
[pid=23491] ppid=23484 vsize=65220 memory=40828 CPUtime=102.23 cores=0,2,4,6
/proc/23491/stat : 23491 (nacre_mini_rele) R 23484 23491 11220 0 -1 4202496 44698 0 1 0 10218 5 0 0 20 0 1 0 406427086 66785280 10207 33554432000 4194304 4935366 140722585231408 140722585229112 4461073 0 0 4096 24578 0 0 0 17 0 0 0 3 0 0 7034520 7039168 10924032 140722585236481 140722585236581 140722585236581 140722585239490 0
/proc/23491/statm: 16305 10207 603 181 0 9922 0
Current children cumulated CPU time: 102.23 s
Current children cumulated vsize: 65220 KiB
Current children cumulated memory: 40828 KiB
[startup+162.3 s]
/proc/loadavg: 2.00 1.50 1.44 4/203 23515
/proc/meminfo: memFree=28494656/32770624 swapFree=67004752/67108860
[pid=23491] ppid=23484 vsize=71404 memory=47108 CPUtime=162.22 cores=0,2,4,6
/proc/23491/stat : 23491 (nacre_mini_rele) R 23484 23491 11220 0 -1 4202496 56258 0 1 0 16216 6 0 0 20 0 1 0 406427086 73117696 11777 33554432000 4194304 4935366 140722585231408 140722585229096 4461073 0 0 4096 24578 0 0 0 17 0 0 0 3 0 0 7034520 7039168 10924032 140722585236481 140722585236581 140722585236581 140722585239490 0
/proc/23491/statm: 17851 11777 603 181 0 11468 0
Current children cumulated CPU time: 162.22 s
Current children cumulated vsize: 71404 KiB
Current children cumulated memory: 47108 KiB
[startup+222.3 s]
/proc/loadavg: 1.96 1.57 1.47 4/203 23519
/proc/meminfo: memFree=28460008/32770624 swapFree=67004752/67108860
[pid=23491] ppid=23484 vsize=77392 memory=53480 CPUtime=222.21 cores=0,2,4,6
/proc/23491/stat : 23491 (nacre_mini_rele) R 23484 23491 11220 0 -1 4202496 69301 0 1 0 22213 8 0 0 20 0 1 0 406427086 79249408 13370 33554432000 4194304 4935366 140722585231408 140722585229096 4461073 0 0 4096 24578 0 0 0 17 4 0 0 3 0 0 7034520 7039168 10924032 140722585236481 140722585236581 140722585236581 140722585239490 0
/proc/23491/statm: 19348 13370 603 181 0 12965 0
Current children cumulated CPU time: 222.21 s
Current children cumulated vsize: 77392 KiB
Current children cumulated memory: 53480 KiB
[startup+282.3 s]
/proc/loadavg: 1.99 1.65 1.50 4/204 23525
/proc/meminfo: memFree=28425968/32770624 swapFree=67004752/67108860
[pid=23491] ppid=23484 vsize=82972 memory=59200 CPUtime=282.2 cores=0,2,4,6
/proc/23491/stat : 23491 (nacre_mini_rele) R 23484 23491 11220 0 -1 4202496 72967 0 1 0 28212 8 0 0 20 0 1 0 406427086 84963328 14800 33554432000 4194304 4935366 140722585231408 140722585229160 4461523 0 0 4096 24578 0 0 0 17 4 0 0 3 0 0 7034520 7039168 10924032 140722585236481 140722585236581 140722585236581 140722585239490 0
/proc/23491/statm: 20743 14800 603 181 0 14360 0
Current children cumulated CPU time: 282.2 s
Current children cumulated vsize: 82972 KiB
Current children cumulated memory: 59200 KiB
[startup+342.3 s]
/proc/loadavg: 1.99 1.71 1.53 4/202 23529
/proc/meminfo: memFree=28404228/32770624 swapFree=67004752/67108860
[pid=23491] ppid=23484 vsize=87272 memory=63456 CPUtime=342.21 cores=0,2,4,6
/proc/23491/stat : 23491 (nacre_mini_rele) R 23484 23491 11220 0 -1 4202496 77634 0 1 0 34212 9 0 0 20 0 1 0 406427086 89366528 15864 33554432000 4194304 4935366 140722585231408 140722585229096 4420836 0 0 4096 24578 0 0 0 17 4 0 0 3 0 0 7034520 7039168 10924032 140722585236481 140722585236581 140722585236581 140722585239490 0
/proc/23491/statm: 21818 15864 603 181 0 15435 0
Current children cumulated CPU time: 342.21 s
Current children cumulated vsize: 87272 KiB
Current children cumulated memory: 63456 KiB
[startup+402.3 s]
/proc/loadavg: 2.00 1.77 1.56 4/199 23534
/proc/meminfo: memFree=28385264/32770624 swapFree=67004752/67108860
[pid=23491] ppid=23484 vsize=90880 memory=67072 CPUtime=402.2 cores=0,2,4,6
/proc/23491/stat : 23491 (nacre_mini_rele) R 23484 23491 11220 0 -1 4202496 83119 0 1 0 40211 9 0 0 20 0 1 0 406427086 93061120 16768 33554432000 4194304 4935366 140722585231408 140722585229096 4420692 0 0 4096 24578 0 0 0 17 4 0 0 3 0 0 7034520 7039168 10924032 140722585236481 140722585236581 140722585236581 140722585239490 0
/proc/23491/statm: 22720 16768 603 181 0 16337 0
Current children cumulated CPU time: 402.2 s
Current children cumulated vsize: 90880 KiB
Current children cumulated memory: 67072 KiB
[startup+462.3 s]
/proc/loadavg: 2.00 1.81 1.59 4/200 23540
/proc/meminfo: memFree=28361664/32770624 swapFree=67004752/67108860
[pid=23491] ppid=23484 vsize=96924 memory=70652 CPUtime=462.2 cores=0,2,4,6
/proc/23491/stat : 23491 (nacre_mini_rele) R 23484 23491 11220 0 -1 4202496 90047 0 1 0 46210 10 0 0 20 0 1 0 406427086 99250176 17663 33554432000 4194304 4935366 140722585231408 140722585229096 4461073 0 0 4096 24578 0 0 0 17 4 0 0 3 0 0 7034520 7039168 10924032 140722585236481 140722585236581 140722585236581 140722585239490 0
/proc/23491/statm: 24231 17663 603 181 0 17848 0
Current children cumulated CPU time: 462.2 s
Current children cumulated vsize: 96924 KiB
Current children cumulated memory: 70652 KiB
################
# More data... #
################
/proc/23491/statm: 33983 27744 603 181 0 27600 0
Current children cumulated CPU time: 1602.19 s
Current children cumulated vsize: 135932 KiB
Current children cumulated memory: 110976 KiB
[startup+1662.3 s]
/proc/loadavg: 2.00 2.02 1.93 4/199 23651
/proc/meminfo: memFree=28102960/32770624 swapFree=67004752/67108860
[pid=23491] ppid=23484 vsize=137436 memory=112500 CPUtime=1662.19 cores=0,2,4,6
/proc/23491/stat : 23491 (nacre_mini_rele) R 23484 23491 11220 0 -1 4202496 161938 0 1 0 166202 17 0 0 20 0 1 0 406427086 140734464 28125 33554432000 4194304 4935366 140722585231408 140722585229096 4461069 0 0 4096 24578 0 0 0 17 4 0 0 3 0 0 7034520 7039168 10924032 140722585236481 140722585236581 140722585236581 140722585239490 0
/proc/23491/statm: 34359 28125 603 181 0 27976 0
Current children cumulated CPU time: 1662.19 s
Current children cumulated vsize: 137436 KiB
Current children cumulated memory: 112500 KiB
[startup+1722.3 s]
/proc/loadavg: 2.00 2.02 1.93 4/200 23657
/proc/meminfo: memFree=28094224/32770624 swapFree=67004752/67108860
[pid=23491] ppid=23484 vsize=138792 memory=113632 CPUtime=1722.19 cores=0,2,4,6
/proc/23491/stat : 23491 (nacre_mini_rele) R 23484 23491 11220 0 -1 4202496 165614 0 1 0 172201 18 0 0 20 0 1 0 406427086 142123008 28408 33554432000 4194304 4935366 140722585231408 140722585229096 4420850 0 0 4096 24578 0 0 0 17 4 0 0 3 0 0 7034520 7039168 10924032 140722585236481 140722585236581 140722585236581 140722585239490 0
/proc/23491/statm: 34698 28408 603 181 0 28315 0
Current children cumulated CPU time: 1722.19 s
Current children cumulated vsize: 138792 KiB
Current children cumulated memory: 113632 KiB
[startup+1782.3 s]
/proc/loadavg: 2.00 2.01 1.94 4/199 23661
/proc/meminfo: memFree=28084756/32770624 swapFree=67004752/67108860
[pid=23491] ppid=23484 vsize=139484 memory=114532 CPUtime=1782.19 cores=0,2,4,6
/proc/23491/stat : 23491 (nacre_mini_rele) R 23484 23491 11220 0 -1 4202496 169426 0 1 0 178201 18 0 0 20 0 1 0 406427086 142831616 28633 33554432000 4194304 4935366 140722585231408 140722585229096 4461261 0 0 4096 24578 0 0 0 17 4 0 0 3 0 0 7034520 7039168 10924032 140722585236481 140722585236581 140722585236581 140722585239490 0
/proc/23491/statm: 34871 28633 603 181 0 28488 0
Current children cumulated CPU time: 1782.19 s
Current children cumulated vsize: 139484 KiB
Current children cumulated memory: 114532 KiB
[startup+1842.3 s]
/proc/loadavg: 2.00 2.01 1.94 4/199 23665
/proc/meminfo: memFree=28073340/32770624 swapFree=67004752/67108860
[pid=23491] ppid=23484 vsize=140980 memory=116472 CPUtime=1842.18 cores=0,2,4,6
/proc/23491/stat : 23491 (nacre_mini_rele) R 23484 23491 11220 0 -1 4202496 173729 0 1 0 184200 18 0 0 20 0 1 0 406427086 144363520 29118 33554432000 4194304 4935366 140722585231408 140722585229096 4461073 0 0 4096 24578 0 0 0 17 4 0 0 3 0 0 7034520 7039168 10924032 140722585236481 140722585236581 140722585236581 140722585239490 0
/proc/23491/statm: 35245 29118 603 181 0 28862 0
Current children cumulated CPU time: 1842.18 s
Current children cumulated vsize: 140980 KiB
Current children cumulated memory: 116472 KiB
[startup+1902.3 s]
/proc/loadavg: 2.00 2.01 1.95 4/202 23680
/proc/meminfo: memFree=28063900/32770624 swapFree=67004752/67108860
[pid=23491] ppid=23484 vsize=142484 memory=117844 CPUtime=1902.18 cores=0,2,4,6
/proc/23491/stat : 23491 (nacre_mini_rele) R 23484 23491 11220 0 -1 4202496 175651 0 1 0 190200 18 0 0 20 0 1 0 406427086 145903616 29461 33554432000 4194304 4935366 140722585231408 140722585229096 4461073 0 0 4096 24578 0 0 0 17 4 0 0 3 0 0 7034520 7039168 10924032 140722585236481 140722585236581 140722585236581 140722585239490 0
/proc/23491/statm: 35621 29461 603 181 0 29238 0
Current children cumulated CPU time: 1902.18 s
Current children cumulated vsize: 142484 KiB
Current children cumulated memory: 117844 KiB
[startup+1962.3 s]
/proc/loadavg: 2.00 2.01 1.95 4/201 23684
/proc/meminfo: memFree=28055384/32770624 swapFree=67004752/67108860
[pid=23491] ppid=23484 vsize=143316 memory=118824 CPUtime=1962.19 cores=0,2,4,6
/proc/23491/stat : 23491 (nacre_mini_rele) R 23484 23491 11220 0 -1 4202496 177587 0 1 0 196200 19 0 0 20 0 1 0 406427086 146755584 29706 33554432000 4194304 4935366 140722585231408 140722585228920 4461261 0 0 4096 24578 0 0 0 17 4 0 0 3 0 0 7034520 7039168 10924032 140722585236481 140722585236581 140722585236581 140722585239490 0
/proc/23491/statm: 35829 29706 603 181 0 29446 0
Current children cumulated CPU time: 1962.19 s
Current children cumulated vsize: 143316 KiB
Current children cumulated memory: 118824 KiB
[startup+2022.3 s]
/proc/loadavg: 2.00 2.01 1.95 4/201 23688
/proc/meminfo: memFree=28047320/32770624 swapFree=67004752/67108860
[pid=23491] ppid=23484 vsize=144604 memory=119984 CPUtime=2022.19 cores=0,2,4,6
/proc/23491/stat : 23491 (nacre_mini_rele) R 23484 23491 11220 0 -1 4202496 179997 0 1 0 202200 19 0 0 20 0 1 0 406427086 148074496 29996 33554432000 4194304 4935366 140722585231408 140722585229096 4461250 0 0 4096 24578 0 0 0 17 4 0 0 3 0 0 7034520 7039168 10924032 140722585236481 140722585236581 140722585236581 140722585239490 0
/proc/23491/statm: 36151 29996 603 181 0 29768 0
Current children cumulated CPU time: 2022.19 s
Current children cumulated vsize: 144604 KiB
Current children cumulated memory: 119984 KiB
[startup+2082.3 s]
/proc/loadavg: 2.08 2.03 1.96 4/202 23694
/proc/meminfo: memFree=28039100/32770624 swapFree=67004752/67108860
[pid=23491] ppid=23484 vsize=146004 memory=121496 CPUtime=2082.19 cores=0,2,4,6
/proc/23491/stat : 23491 (nacre_mini_rele) R 23484 23491 11220 0 -1 4202496 182739 0 1 0 208200 19 0 0 20 0 1 0 406427086 149508096 30374 33554432000 4194304 4935366 140722585231408 140722585229096 4461250 0 0 4096 24578 0 0 0 17 4 0 0 3 0 0 7034520 7039168 10924032 140722585236481 140722585236581 140722585236581 140722585239490 0
/proc/23491/statm: 36501 30374 603 181 0 30118 0
Current children cumulated CPU time: 2082.19 s
Current children cumulated vsize: 146004 KiB
Current children cumulated memory: 121496 KiB
[startup+2142.3 s]
/proc/loadavg: 2.03 2.03 1.96 4/201 23698
/proc/meminfo: memFree=28030524/32770624 swapFree=67004752/67108860
[pid=23491] ppid=23484 vsize=146836 memory=122276 CPUtime=2142.19 cores=0,2,4,6
/proc/23491/stat : 23491 (nacre_mini_rele) R 23484 23491 11220 0 -1 4202496 185508 0 1 0 214200 19 0 0 20 0 1 0 406427086 150360064 30569 33554432000 4194304 4935366 140722585231408 140722585229096 4461197 0 0 4096 24578 0 0 0 17 4 0 0 3 0 0 7034520 7039168 10924032 140722585236481 140722585236581 140722585236581 140722585239490 0
/proc/23491/statm: 36709 30569 603 181 0 30326 0
Current children cumulated CPU time: 2142.19 s
Current children cumulated vsize: 146836 KiB
Current children cumulated memory: 122276 KiB
[startup+2202.3 s]
/proc/loadavg: 2.01 2.02 1.96 4/199 23703
/proc/meminfo: memFree=28021620/32770624 swapFree=67004752/67108860
[pid=23491] ppid=23484 vsize=148276 memory=123584 CPUtime=2202.19 cores=0,2,4,6
/proc/23491/stat : 23491 (nacre_mini_rele) R 23484 23491 11220 0 -1 4202496 188767 0 1 0 220199 20 0 0 20 0 1 0 406427086 151834624 30896 33554432000 4194304 4935366 140722585231408 140722585229096 4461069 0 0 4096 24578 0 0 0 17 4 0 0 3 0 0 7034520 7039168 10924032 140722585236481 140722585236581 140722585236581 140722585239490 0
/proc/23491/statm: 37069 30896 603 181 0 30686 0
Current children cumulated CPU time: 2202.19 s
Current children cumulated vsize: 148276 KiB
Current children cumulated memory: 123584 KiB
[startup+2262.3 s]
/proc/loadavg: 2.00 2.01 1.96 4/201 23710
/proc/meminfo: memFree=28012524/32770624 swapFree=67004752/67108860
[pid=23491] ppid=23484 vsize=148916 memory=124368 CPUtime=2262.19 cores=0,2,4,6
/proc/23491/stat : 23491 (nacre_mini_rele) R 23484 23491 11220 0 -1 4202496 192034 0 1 0 226198 21 0 0 20 0 1 0 406427086 152489984 31092 33554432000 4194304 4935366 140722585231408 140722585229096 4461073 0 0 4096 24578 0 0 0 17 4 0 0 3 0 0 7034520 7039168 10924032 140722585236481 140722585236581 140722585236581 140722585239490 0
/proc/23491/statm: 37229 31092 603 181 0 30846 0
Current children cumulated CPU time: 2262.19 s
Current children cumulated vsize: 148916 KiB
Current children cumulated memory: 124368 KiB
[startup+2322.3 s]
/proc/loadavg: 2.00 2.01 1.96 4/200 23714
/proc/meminfo: memFree=28001596/32770624 swapFree=67004752/67108860
[pid=23491] ppid=23484 vsize=150344 memory=125732 CPUtime=2322.19 cores=0,2,4,6
/proc/23491/stat : 23491 (nacre_mini_rele) R 23484 23491 11220 0 -1 4202496 195743 0 1 0 232198 21 0 0 20 0 1 0 406427086 153952256 31433 33554432000 4194304 4935366 140722585231408 140722585229096 4461472 0 0 4096 24578 0 0 0 17 4 0 0 3 0 0 7034520 7039168 10924032 140722585236481 140722585236581 140722585236581 140722585239490 0
/proc/23491/statm: 37586 31433 603 181 0 31203 0
Current children cumulated CPU time: 2322.19 s
Current children cumulated vsize: 150344 KiB
Current children cumulated memory: 125732 KiB
[startup+2382.3 s]
/proc/loadavg: 2.00 2.01 1.96 4/200 23719
/proc/meminfo: memFree=27995736/32770624 swapFree=67004752/67108860
[pid=23491] ppid=23484 vsize=151132 memory=126864 CPUtime=2382.18 cores=0,2,4,6
/proc/23491/stat : 23491 (nacre_mini_rele) R 23484 23491 11220 0 -1 4202496 199485 0 1 0 238197 21 0 0 20 0 1 0 406427086 154759168 31716 33554432000 4194304 4935366 140722585231408 140722585229096 4461069 0 0 4096 24578 0 0 0 17 4 0 0 3 0 0 7034520 7039168 10924032 140722585236481 140722585236581 140722585236581 140722585239490 0
/proc/23491/statm: 37783 31716 603 181 0 31400 0
Current children cumulated CPU time: 2382.18 s
Current children cumulated vsize: 151132 KiB
Current children cumulated memory: 126864 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2400.2 s]
/proc/loadavg: 2.00 2.01 1.96 4/200 23722
/proc/meminfo: memFree=27994628/32770624 swapFree=67004752/67108860
[pid=23491] ppid=23484 vsize=151556 memory=127320 CPUtime=2400.08 cores=0,2,4,6
/proc/23491/stat : 23491 (nacre_mini_rele) R 23484 23491 11220 0 -1 4202496 201060 0 1 0 239987 21 0 0 20 0 1 0 406427086 155193344 31830 33554432000 4194304 4935366 140722585231408 140722585228920 4461069 0 0 4096 24578 0 0 0 17 4 0 0 3 0 0 7034520 7039168 10924032 140722585236481 140722585236581 140722585236581 140722585239490 0
/proc/23491/statm: 37889 31830 603 181 0 31506 0
Current children cumulated CPU time: 2400.08 s
Current children cumulated vsize: 151556 KiB
Current children cumulated memory: 127320 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2400.2 s]
# the end of solver process 23491 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2399.88 s, system=0.220998 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 0
Real time (s): 2400.2
CPU time (s): 2400.1
CPU user time (s): 2399.88
CPU system time (s): 0.220998
CPU usage (%): 99.9957
Max. virtual memory (cumulated for all children) (KiB): 151556
Max. memory (cumulated for all children) (KiB): 127320
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2399.88
system time used= 0.220998
maximum resident set size= 127416
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 201103
page faults= 1
swaps= 0
block input operations= 2400
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 67
involuntary context switches= 1478
# summary of solver processes directly reported to runsolver:
# pid: 23491
# total CPU time (s): 2400.1
# total CPU user time (s): 2399.88
# total CPU system time (s): 0.220998
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 8.96718 second user time and 17.717 second system time
The end