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 (9923 MiB free)
memory of node 1: 16384 MiB (9647 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4391761-1568306005/watcher-4391761-1568306005 -o /tmp/evaluation-result-4391761-1568306005/solver-4391761-1568306005 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node124-1568305966-12716 --watchdog 2560 nacre_mini_release HOME/instance-4391761-1568306005.xml -complete -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
solver pid=12745, runsolver pid=12742
Current StackSize limit: 8192 KiB
[startup+0.100156 s]*
/proc/loadavg: 1.00 1.28 1.66 3/198 12746
/proc/meminfo: memFree=19992108/32770624 swapFree=66959212/67108860
[pid=12745] ppid=12742 vsize=90268 memory=56448 CPUtime=0.1 cores=1,3,5,7
/proc/12745/stat : 12745 (nacre_mini_rele) R 12742 12745 11693 0 -1 4202496 14711 0 0 0 8 2 0 0 20 0 1 0 406540731 92434432 14046 33554432000 4194304 4935366 140720423983488 140720423980488 140383645367269 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 7034520 7039168 13103104 140720423990267 140720423990373 140720423990373 140720423993282 0
/proc/12745/statm: 22600 14112 584 181 0 16217 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 90268 KiB
Current children cumulated memory: 56448 KiB
[startup+0.209487 s]*
/proc/loadavg: 1.00 1.28 1.66 4/198 12746
/proc/meminfo: memFree=19977304/32770624 swapFree=66959212/67108860
[pid=12745] ppid=12742 vsize=99084 memory=65160 CPUtime=0.21 cores=1,3,5,7
/proc/12745/stat : 12745 (nacre_mini_rele) R 12742 12745 11693 0 -1 4202496 16956 0 0 0 19 2 0 0 20 0 1 0 406540731 101462016 16290 33554432000 4194304 4935366 140720423983488 140720423980488 4451756 0 0 4096 24578 0 0 0 17 5 0 0 0 0 0 7034520 7039168 13103104 140720423990267 140720423990373 140720423990373 140720423993282 0
/proc/12745/statm: 24771 16290 594 181 0 18388 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 99084 KiB
Current children cumulated memory: 65160 KiB
[startup+0.309922 s]*
/proc/loadavg: 1.00 1.28 1.66 3/198 12746
/proc/meminfo: memFree=19977304/32770624 swapFree=66959212/67108860
[pid=12745] ppid=12742 vsize=99084 memory=65160 CPUtime=0.31 cores=1,3,5,7
/proc/12745/stat : 12745 (nacre_mini_rele) R 12742 12745 11693 0 -1 4202496 16956 0 0 0 29 2 0 0 20 0 1 0 406540731 101462016 16290 33554432000 4194304 4935366 140720423983488 140720423980488 4451769 0 0 4096 24578 0 0 0 17 5 0 0 0 0 0 7034520 7039168 13103104 140720423990267 140720423990373 140720423990373 140720423993282 0
/proc/12745/statm: 24771 16290 594 181 0 18388 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 99084 KiB
Current children cumulated memory: 65160 KiB
[startup+0.700392 s]
/proc/loadavg: 1.00 1.28 1.66 3/198 12746
/proc/meminfo: memFree=19977440/32770624 swapFree=66959212/67108860
[pid=12745] ppid=12742 vsize=99612 memory=65688 CPUtime=0.69 cores=1,3,5,7
/proc/12745/stat : 12745 (nacre_mini_rele) R 12742 12745 11693 0 -1 4202496 17085 0 0 0 67 2 0 0 20 0 1 0 406540731 102002688 16422 33554432000 4194304 4935366 140720423983488 140720423981736 140383651661088 0 0 4096 24578 0 0 0 17 5 0 0 0 0 0 7034520 7039168 13103104 140720423990267 140720423990373 140720423990373 140720423993282 0
/proc/12745/statm: 24903 16422 612 181 0 18520 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 99612 KiB
Current children cumulated memory: 65688 KiB
[startup+1.5004 s]
/proc/loadavg: 1.08 1.29 1.66 3/198 12746
/proc/meminfo: memFree=19977024/32770624 swapFree=66959212/67108860
[pid=12745] ppid=12742 vsize=99876 memory=65952 CPUtime=1.49 cores=1,3,5,7
/proc/12745/stat : 12745 (nacre_mini_rele) R 12742 12745 11693 0 -1 4202496 17149 0 0 0 147 2 0 0 20 0 1 0 406540731 102273024 16488 33554432000 4194304 4935366 140720423983488 140720423980632 4450992 0 0 4096 24578 0 0 0 17 5 0 0 0 0 0 7034520 7039168 13103104 140720423990267 140720423990373 140720423990373 140720423993282 0
/proc/12745/statm: 24969 16488 612 181 0 18586 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 99876 KiB
Current children cumulated memory: 65952 KiB
[startup+3.10975 s]
/proc/loadavg: 1.08 1.29 1.66 3/198 12746
/proc/meminfo: memFree=19976980/32770624 swapFree=66959212/67108860
[pid=12745] ppid=12742 vsize=100140 memory=66340 CPUtime=3.1 cores=1,3,5,7
/proc/12745/stat : 12745 (nacre_mini_rele) R 12742 12745 11693 0 -1 4202496 23125 0 0 0 307 3 0 0 20 0 1 0 406540731 102543360 16585 33554432000 4194304 4935366 140720423983488 140720423980536 140383645364863 0 0 4096 24578 0 0 0 17 5 0 0 0 0 0 7034520 7039168 13103104 140720423990267 140720423990373 140720423990373 140720423993282 0
/proc/12745/statm: 25035 16585 612 181 0 18652 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 100140 KiB
Current children cumulated memory: 66340 KiB
[startup+6.30038 s]
/proc/loadavg: 1.16 1.30 1.66 3/198 12746
/proc/meminfo: memFree=19975232/32770624 swapFree=66959212/67108860
[pid=12745] ppid=12742 vsize=100932 memory=68128 CPUtime=6.28 cores=1,3,5,7
/proc/12745/stat : 12745 (nacre_mini_rele) R 12742 12745 11693 0 -1 4202496 29663 0 0 0 625 3 0 0 20 0 1 0 406540731 103354368 17032 33554432000 4194304 4935366 140720423983488 140720423980920 4451012 0 0 4096 24578 0 0 0 17 5 0 0 0 0 0 7034520 7039168 13103104 140720423990267 140720423990373 140720423990373 140720423993282 0
/proc/12745/statm: 25233 17032 612 181 0 18850 0
Current children cumulated CPU time: 6.28 s
Current children cumulated vsize: 100932 KiB
Current children cumulated memory: 68128 KiB
[startup+12.7004 s]
/proc/loadavg: 1.22 1.31 1.66 3/198 12746
/proc/meminfo: memFree=19973640/32770624 swapFree=66959212/67108860
[pid=12745] ppid=12742 vsize=102120 memory=69320 CPUtime=12.69 cores=1,3,5,7
/proc/12745/stat : 12745 (nacre_mini_rele) R 12742 12745 11693 0 -1 4202496 35873 0 0 0 1264 5 0 0 20 0 1 0 406540731 104570880 17330 33554432000 4194304 4935366 140720423983488 140720423980824 4389179 0 0 4096 24578 0 0 0 17 5 0 0 0 0 0 7034520 7039168 13103104 140720423990267 140720423990373 140720423990373 140720423993282 0
/proc/12745/statm: 25530 17330 612 181 0 19147 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 102120 KiB
Current children cumulated memory: 69320 KiB
[startup+25.5004 s]
/proc/loadavg: 1.34 1.34 1.67 3/199 12747
/proc/meminfo: memFree=19970020/32770624 swapFree=66959212/67108860
[pid=12745] ppid=12742 vsize=104232 memory=71536 CPUtime=25.49 cores=1,3,5,7
/proc/12745/stat : 12745 (nacre_mini_rele) R 12742 12745 11693 0 -1 4202496 46294 0 0 0 2543 6 0 0 20 0 1 0 406540731 106733568 17884 33554432000 4194304 4935366 140720423983488 140720423980632 4385712 0 0 4096 24578 0 0 0 17 5 0 0 0 0 0 7034520 7039168 13103104 140720423990267 140720423990373 140720423990373 140720423993282 0
/proc/12745/statm: 26058 17884 612 181 0 19675 0
Current children cumulated CPU time: 25.49 s
Current children cumulated vsize: 104232 KiB
Current children cumulated memory: 71536 KiB
[startup+51.1097 s]
/proc/loadavg: 1.65 1.42 1.68 3/199 12749
/proc/meminfo: memFree=19967096/32770624 swapFree=66959212/67108860
[pid=12745] ppid=12742 vsize=106476 memory=74384 CPUtime=51.1 cores=1,3,5,7
/proc/12745/stat : 12745 (nacre_mini_rele) R 12742 12745 11693 0 -1 4202496 48343 0 0 0 5103 7 0 0 20 0 1 0 406540731 109031424 18596 33554432000 4194304 4935366 140720423983488 140720423980536 4385788 0 0 4096 24578 0 0 0 17 5 0 0 0 0 0 7034520 7039168 13103104 140720423990267 140720423990373 140720423990373 140720423993282 0
/proc/12745/statm: 26619 18596 612 181 0 20236 0
Current children cumulated CPU time: 51.1 s
Current children cumulated vsize: 106476 KiB
Current children cumulated memory: 74384 KiB
[startup+102.3 s]
/proc/loadavg: 1.85 1.51 1.70 3/199 12753
/proc/meminfo: memFree=19963780/32770624 swapFree=66959212/67108860
[pid=12745] ppid=12742 vsize=109512 memory=77296 CPUtime=102.28 cores=1,3,5,7
/proc/12745/stat : 12745 (nacre_mini_rele) R 12742 12745 11693 0 -1 4202496 50775 0 0 0 10221 7 0 0 20 0 1 0 406540731 112140288 19324 33554432000 4194304 4935366 140720423983488 140720423980632 140383646210499 0 0 4096 24578 0 0 0 17 5 0 0 0 0 0 7034520 7039168 13103104 140720423990267 140720423990373 140720423990373 140720423993282 0
/proc/12745/statm: 27378 19324 612 181 0 20995 0
Current children cumulated CPU time: 102.28 s
Current children cumulated vsize: 109512 KiB
Current children cumulated memory: 77296 KiB
[startup+162.3 s]
/proc/loadavg: 1.95 1.60 1.72 3/199 12757
/proc/meminfo: memFree=19961112/32770624 swapFree=66959212/67108860
[pid=12745] ppid=12742 vsize=111756 memory=79564 CPUtime=162.28 cores=1,3,5,7
/proc/12745/stat : 12745 (nacre_mini_rele) R 12742 12745 11693 0 -1 4202496 53558 0 0 0 16221 7 0 0 20 0 1 0 406540731 114438144 19891 33554432000 4194304 4935366 140720423983488 140720423980536 4383414 0 0 4096 24578 0 0 0 17 5 0 0 0 0 0 7034520 7039168 13103104 140720423990267 140720423990373 140720423990373 140720423993282 0
/proc/12745/statm: 27939 19891 612 181 0 21556 0
Current children cumulated CPU time: 162.28 s
Current children cumulated vsize: 111756 KiB
Current children cumulated memory: 79564 KiB
[startup+222.3 s]
/proc/loadavg: 1.98 1.67 1.73 3/199 12763
/proc/meminfo: memFree=19959304/32770624 swapFree=66959212/67108860
[pid=12745] ppid=12742 vsize=113736 memory=81380 CPUtime=222.28 cores=1,3,5,7
/proc/12745/stat : 12745 (nacre_mini_rele) R 12742 12745 11693 0 -1 4202496 54770 0 0 0 22220 8 0 0 20 0 1 0 406540731 116465664 20345 33554432000 4194304 4935366 140720423983488 140720423980920 4450992 0 0 4096 24578 0 0 0 17 5 0 0 0 0 0 7034520 7039168 13103104 140720423990267 140720423990373 140720423990373 140720423993282 0
/proc/12745/statm: 28434 20345 612 181 0 22051 0
Current children cumulated CPU time: 222.28 s
Current children cumulated vsize: 113736 KiB
Current children cumulated memory: 81380 KiB
[startup+282.3 s]
/proc/loadavg: 1.99 1.73 1.75 3/199 12767
/proc/meminfo: memFree=19957500/32770624 swapFree=66959212/67108860
[pid=12745] ppid=12742 vsize=115056 memory=82756 CPUtime=282.28 cores=1,3,5,7
/proc/12745/stat : 12745 (nacre_mini_rele) R 12742 12745 11693 0 -1 4202496 56221 0 0 0 28219 9 0 0 20 0 1 0 406540731 117817344 20689 33554432000 4194304 4935366 140720423983488 140720423980536 4450992 0 0 4096 24578 0 0 0 17 5 0 0 0 0 0 7034520 7039168 13103104 140720423990267 140720423990373 140720423990373 140720423993282 0
/proc/12745/statm: 28764 20689 612 181 0 22381 0
Current children cumulated CPU time: 282.28 s
Current children cumulated vsize: 115056 KiB
Current children cumulated memory: 82756 KiB
[startup+342.3 s]
/proc/loadavg: 2.00 1.78 1.77 3/199 12771
/proc/meminfo: memFree=19956296/32770624 swapFree=66959212/67108860
[pid=12745] ppid=12742 vsize=115584 memory=83372 CPUtime=342.28 cores=1,3,5,7
/proc/12745/stat : 12745 (nacre_mini_rele) R 12742 12745 11693 0 -1 4202496 57707 0 0 0 34219 9 0 0 20 0 1 0 406540731 118358016 20843 33554432000 4194304 4935366 140720423983488 140720423980632 4451012 0 0 4096 24578 0 0 0 17 5 0 0 0 0 0 7034520 7039168 13103104 140720423990267 140720423990373 140720423990373 140720423993282 0
/proc/12745/statm: 28896 20843 612 181 0 22513 0
Current children cumulated CPU time: 342.28 s
Current children cumulated vsize: 115584 KiB
Current children cumulated memory: 83372 KiB
[startup+402.3 s]
/proc/loadavg: 2.00 1.82 1.78 3/199 12777
/proc/meminfo: memFree=19954920/32770624 swapFree=66959212/67108860
[pid=12745] ppid=12742 vsize=116508 memory=84336 CPUtime=402.28 cores=1,3,5,7
/proc/12745/stat : 12745 (nacre_mini_rele) R 12742 12745 11693 0 -1 4202496 59033 0 0 0 40219 9 0 0 20 0 1 0 406540731 119304192 21084 33554432000 4194304 4935366 140720423983488 140720423980824 4420960 0 0 4096 24578 0 0 0 17 5 0 0 0 0 0 7034520 7039168 13103104 140720423990267 140720423990373 140720423990373 140720423993282 0
/proc/12745/statm: 29127 21084 612 181 0 22744 0
Current children cumulated CPU time: 402.28 s
Current children cumulated vsize: 116508 KiB
Current children cumulated memory: 84336 KiB
[startup+462.3 s]
/proc/loadavg: 2.00 1.85 1.79 3/199 12788
/proc/meminfo: memFree=19954604/32770624 swapFree=66959212/67108860
[pid=12745] ppid=12742 vsize=117432 memory=85252 CPUtime=462.28 cores=1,3,5,7
/proc/12745/stat : 12745 (nacre_mini_rele) R 12742 12745 11693 0 -1 4202496 60405 0 0 0 46219 9 0 0 20 0 1 0 406540731 120250368 21313 33554432000 4194304 4935366 140720423983488 140720423980920 4450992 0 0 4096 24578 0 0 0 17 5 0 0 0 0 0 7034520 7039168 13103104 140720423990267 140720423990373 140720423990373 140720423993282 0
/proc/12745/statm: 29358 21313 612 181 0 22975 0
Current children cumulated CPU time: 462.28 s
Current children cumulated vsize: 117432 KiB
Current children cumulated memory: 85252 KiB
################
# More data... #
################
/proc/12745/statm: 30447 22412 612 181 0 24064 0
Current children cumulated CPU time: 1602.28 s
Current children cumulated vsize: 121788 KiB
Current children cumulated memory: 89648 KiB
[startup+1662.3 s]
/proc/loadavg: 2.00 1.99 1.94 3/201 12901
/proc/meminfo: memFree=19949560/32770624 swapFree=66959212/67108860
[pid=12745] ppid=12742 vsize=121788 memory=89708 CPUtime=1662.28 cores=1,3,5,7
/proc/12745/stat : 12745 (nacre_mini_rele) R 12742 12745 11693 0 -1 4202496 77544 0 0 0 166216 12 0 0 20 0 1 0 406540731 124710912 22427 33554432000 4194304 4935366 140720423983488 140720423980536 4450992 0 0 4096 24578 0 0 0 17 5 0 0 0 0 0 7034520 7039168 13103104 140720423990267 140720423990373 140720423990373 140720423993282 0
/proc/12745/statm: 30447 22427 612 181 0 24064 0
Current children cumulated CPU time: 1662.28 s
Current children cumulated vsize: 121788 KiB
Current children cumulated memory: 89708 KiB
[startup+1722.3 s]
/proc/loadavg: 2.00 1.99 1.95 3/201 12927
/proc/meminfo: memFree=19948188/32770624 swapFree=66959212/67108860
[pid=12745] ppid=12742 vsize=121920 memory=89804 CPUtime=1722.28 cores=1,3,5,7
/proc/12745/stat : 12745 (nacre_mini_rele) R 12742 12745 11693 0 -1 4202496 78133 0 0 0 172216 12 0 0 20 0 1 0 406540731 124846080 22451 33554432000 4194304 4935366 140720423983488 140720423980632 140383646200372 0 0 4096 24578 0 0 0 17 5 0 0 0 0 0 7034520 7039168 13103104 140720423990267 140720423990373 140720423990373 140720423993282 0
/proc/12745/statm: 30480 22451 612 181 0 24097 0
Current children cumulated CPU time: 1722.28 s
Current children cumulated vsize: 121920 KiB
Current children cumulated memory: 89804 KiB
[startup+1782.3 s]
/proc/loadavg: 2.00 1.99 1.95 3/201 12931
/proc/meminfo: memFree=19948180/32770624 swapFree=66959212/67108860
[pid=12745] ppid=12742 vsize=122052 memory=89884 CPUtime=1782.28 cores=1,3,5,7
/proc/12745/stat : 12745 (nacre_mini_rele) R 12742 12745 11693 0 -1 4202496 78728 0 0 0 178216 12 0 0 20 0 1 0 406540731 124981248 22471 33554432000 4194304 4935366 140720423983488 140720423980920 4450992 0 0 4096 24578 0 0 0 17 5 0 0 0 0 0 7034520 7039168 13103104 140720423990267 140720423990373 140720423990373 140720423993282 0
/proc/12745/statm: 30513 22471 612 181 0 24130 0
Current children cumulated CPU time: 1782.28 s
Current children cumulated vsize: 122052 KiB
Current children cumulated memory: 89884 KiB
[startup+1842.3 s]
/proc/loadavg: 2.00 1.99 1.95 3/201 12937
/proc/meminfo: memFree=19948700/32770624 swapFree=66959212/67108860
[pid=12745] ppid=12742 vsize=122184 memory=90024 CPUtime=1842.28 cores=1,3,5,7
/proc/12745/stat : 12745 (nacre_mini_rele) R 12742 12745 11693 0 -1 4202496 79359 0 0 0 184216 12 0 0 20 0 1 0 406540731 125116416 22506 33554432000 4194304 4935366 140720423983488 140720423980632 4315075 0 0 4096 24578 0 0 0 17 5 0 0 0 0 0 7034520 7039168 13103104 140720423990267 140720423990373 140720423990373 140720423993282 0
/proc/12745/statm: 30546 22506 612 181 0 24163 0
Current children cumulated CPU time: 1842.28 s
Current children cumulated vsize: 122184 KiB
Current children cumulated memory: 90024 KiB
[startup+1902.3 s]
/proc/loadavg: 2.61 2.14 2.01 3/201 12941
/proc/meminfo: memFree=19949148/32770624 swapFree=66959212/67108860
[pid=12745] ppid=12742 vsize=122184 memory=90084 CPUtime=1902.28 cores=1,3,5,7
/proc/12745/stat : 12745 (nacre_mini_rele) R 12742 12745 11693 0 -1 4202496 79983 0 0 0 190216 12 0 0 20 0 1 0 406540731 125116416 22521 33554432000 4194304 4935366 140720423983488 140720423980632 140383645359923 0 0 4096 24578 0 0 0 17 5 0 0 0 0 0 7034520 7039168 13103104 140720423990267 140720423990373 140720423990373 140720423993282 0
/proc/12745/statm: 30546 22521 612 181 0 24163 0
Current children cumulated CPU time: 1902.28 s
Current children cumulated vsize: 122184 KiB
Current children cumulated memory: 90084 KiB
[startup+1962.3 s]
/proc/loadavg: 2.22 2.12 2.01 3/199 12945
/proc/meminfo: memFree=19948308/32770624 swapFree=66959212/67108860
[pid=12745] ppid=12742 vsize=122184 memory=90108 CPUtime=1962.28 cores=1,3,5,7
/proc/12745/stat : 12745 (nacre_mini_rele) R 12742 12745 11693 0 -1 4202496 80614 0 0 0 196216 12 0 0 20 0 1 0 406540731 125116416 22527 33554432000 4194304 4935366 140720423983488 140720423980632 4420625 0 0 4096 24578 0 0 0 17 5 0 0 0 0 0 7034520 7039168 13103104 140720423990267 140720423990373 140720423990373 140720423993282 0
/proc/12745/statm: 30546 22527 612 181 0 24163 0
Current children cumulated CPU time: 1962.28 s
Current children cumulated vsize: 122184 KiB
Current children cumulated memory: 90108 KiB
[startup+2022.3 s]
/proc/loadavg: 2.61 2.24 2.06 3/199 12951
/proc/meminfo: memFree=19948452/32770624 swapFree=66959212/67108860
[pid=12745] ppid=12742 vsize=122184 memory=90140 CPUtime=2022.28 cores=1,3,5,7
/proc/12745/stat : 12745 (nacre_mini_rele) R 12742 12745 11693 0 -1 4202496 81265 0 0 0 202216 12 0 0 20 0 1 0 406540731 125116416 22535 33554432000 4194304 4935366 140720423983488 140720423980632 140383651568632 0 0 4096 24578 0 0 0 17 5 0 0 0 0 0 7034520 7039168 13103104 140720423990267 140720423990373 140720423990373 140720423993282 0
/proc/12745/statm: 30546 22535 612 181 0 24163 0
Current children cumulated CPU time: 2022.28 s
Current children cumulated vsize: 122184 KiB
Current children cumulated memory: 90140 KiB
[startup+2082.3 s]
/proc/loadavg: 2.22 2.19 2.05 3/199 12955
/proc/meminfo: memFree=19948312/32770624 swapFree=66959212/67108860
[pid=12745] ppid=12742 vsize=122316 memory=90204 CPUtime=2082.28 cores=1,3,5,7
/proc/12745/stat : 12745 (nacre_mini_rele) R 12742 12745 11693 0 -1 4202496 81928 0 0 0 208216 12 0 0 20 0 1 0 406540731 125251584 22551 33554432000 4194304 4935366 140720423983488 140720423980536 4451012 0 0 4096 24578 0 0 0 17 5 0 0 0 0 0 7034520 7039168 13103104 140720423990267 140720423990373 140720423990373 140720423993282 0
/proc/12745/statm: 30579 22551 612 181 0 24196 0
Current children cumulated CPU time: 2082.28 s
Current children cumulated vsize: 122316 KiB
Current children cumulated memory: 90204 KiB
[startup+2142.3 s]
/proc/loadavg: 2.08 2.16 2.05 3/199 12959
/proc/meminfo: memFree=19948196/32770624 swapFree=66959212/67108860
[pid=12745] ppid=12742 vsize=122316 memory=90284 CPUtime=2142.28 cores=1,3,5,7
/proc/12745/stat : 12745 (nacre_mini_rele) R 12742 12745 11693 0 -1 4202496 82613 0 0 0 214216 12 0 0 20 0 1 0 406540731 125251584 22571 33554432000 4194304 4935366 140720423983488 140720423980536 140383651568368 0 0 4096 24578 0 0 0 17 5 0 0 0 0 0 7034520 7039168 13103104 140720423990267 140720423990373 140720423990373 140720423993282 0
/proc/12745/statm: 30579 22571 612 181 0 24196 0
Current children cumulated CPU time: 2142.28 s
Current children cumulated vsize: 122316 KiB
Current children cumulated memory: 90284 KiB
[startup+2202.3 s]
/proc/loadavg: 2.04 2.13 2.05 3/199 12965
/proc/meminfo: memFree=19948720/32770624 swapFree=66959212/67108860
[pid=12745] ppid=12742 vsize=122316 memory=90312 CPUtime=2202.29 cores=1,3,5,7
/proc/12745/stat : 12745 (nacre_mini_rele) R 12742 12745 11693 0 -1 4202496 83284 0 0 0 220216 13 0 0 20 0 1 0 406540731 125251584 22578 33554432000 4194304 4935366 140720423983488 140720423980536 4389179 0 0 4096 24578 0 0 0 17 5 0 0 0 0 0 7034520 7039168 13103104 140720423990267 140720423990373 140720423990373 140720423993282 0
/proc/12745/statm: 30579 22578 612 181 0 24196 0
Current children cumulated CPU time: 2202.29 s
Current children cumulated vsize: 122316 KiB
Current children cumulated memory: 90312 KiB
[startup+2262.3 s]
/proc/loadavg: 2.01 2.11 2.05 3/200 12977
/proc/meminfo: memFree=19948736/32770624 swapFree=66959212/67108860
[pid=12745] ppid=12742 vsize=122448 memory=90332 CPUtime=2262.29 cores=1,3,5,7
/proc/12745/stat : 12745 (nacre_mini_rele) R 12742 12745 11693 0 -1 4202496 83974 0 0 0 226216 13 0 0 20 0 1 0 406540731 125386752 22583 33554432000 4194304 4935366 140720423983488 140720423980536 140383645364823 0 0 4096 24578 0 0 0 17 5 0 0 0 0 0 7034520 7039168 13103104 140720423990267 140720423990373 140720423990373 140720423993282 0
/proc/12745/statm: 30612 22583 612 181 0 24229 0
Current children cumulated CPU time: 2262.29 s
Current children cumulated vsize: 122448 KiB
Current children cumulated memory: 90332 KiB
[startup+2322.3 s]
/proc/loadavg: 2.01 2.09 2.05 3/200 12981
/proc/meminfo: memFree=19948784/32770624 swapFree=66959212/67108860
[pid=12745] ppid=12742 vsize=122448 memory=90416 CPUtime=2322.29 cores=1,3,5,7
/proc/12745/stat : 12745 (nacre_mini_rele) R 12742 12745 11693 0 -1 4202496 84685 0 0 0 232216 13 0 0 20 0 1 0 406540731 125386752 22604 33554432000 4194304 4935366 140720423983488 140720423980536 4451012 0 0 4096 24578 0 0 0 17 5 0 0 0 0 0 7034520 7039168 13103104 140720423990267 140720423990373 140720423990373 140720423993282 0
/proc/12745/statm: 30612 22604 612 181 0 24229 0
Current children cumulated CPU time: 2322.29 s
Current children cumulated vsize: 122448 KiB
Current children cumulated memory: 90416 KiB
[startup+2382.3 s]
/proc/loadavg: 2.00 2.07 2.05 3/200 12987
/proc/meminfo: memFree=19948056/32770624 swapFree=66959212/67108860
[pid=12745] ppid=12742 vsize=122580 memory=90472 CPUtime=2382.29 cores=1,3,5,7
/proc/12745/stat : 12745 (nacre_mini_rele) R 12742 12745 11693 0 -1 4202496 85333 0 0 0 238216 13 0 0 20 0 1 0 406540731 125521920 22618 33554432000 4194304 4935366 140720423983488 140720423980920 4385656 0 0 4096 24578 0 0 0 17 5 0 0 0 0 0 7034520 7039168 13103104 140720423990267 140720423990373 140720423990373 140720423993282 0
/proc/12745/statm: 30645 22618 612 181 0 24262 0
Current children cumulated CPU time: 2382.29 s
Current children cumulated vsize: 122580 KiB
Current children cumulated memory: 90472 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2400 s]*
/proc/loadavg: 2.00 2.07 2.05 3/200 12988
/proc/meminfo: memFree=19947972/32770624 swapFree=66959212/67108860
[pid=12745] ppid=12742 vsize=122580 memory=90488 CPUtime=2400 cores=1,3,5,7
/proc/12745/stat : 12745 (nacre_mini_rele) R 12742 12745 11693 0 -1 4202496 85949 0 0 0 239987 13 0 0 20 0 1 0 406540731 125521920 22622 33554432000 4194304 4935366 140720423983488 140720423980920 140383646114544 0 0 4096 24578 0 0 0 17 5 0 0 0 0 0 7034520 7039168 13103104 140720423990267 140720423990373 140720423990373 140720423993282 0
/proc/12745/statm: 30645 22622 612 181 0 24262 0
Current children cumulated CPU time: 2400 s
Current children cumulated vsize: 122580 KiB
Current children cumulated memory: 90488 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2400.01 s]
# the end of solver process 12745 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2399.87 s, system=0.132 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 0
Real time (s): 2400.01
CPU time (s): 2400
CPU user time (s): 2399.87
CPU system time (s): 0.132
CPU usage (%): 99.9997
Max. virtual memory (cumulated for all children) (KiB): 122580
Max. memory (cumulated for all children) (KiB): 90488
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2399.87
system time used= 0.132
maximum resident set size= 90528
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 85992
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= 25
involuntary context switches= 1767
# summary of solver processes directly reported to runsolver:
# pid: 12745
# total CPU time (s): 2400
# total CPU user time (s): 2399.87
# total CPU system time (s): 0.132
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 9.54461 second user time and 17.9252 second system time
The end