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 (15104 MiB free)
memory of node 1: 16384 MiB (15736 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4389929-1568358991/watcher-4389929-1568358991 -o /tmp/evaluation-result-4389929-1568358991/solver-4389929-1568358991 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node132-1568358941-24797 --watchdog 2580 cosoco -lc -model -restarts -stick HOME/instance-4389929-1568358991.xml
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=24827, runsolver pid=24824
[startup+0.100196 s]*
/proc/loadavg: 1.57 1.89 2.00 3/205 24828
/proc/meminfo: memFree=31561380/32770624 swapFree=67007752/67108860
[pid=24827] ppid=24824 vsize=39156 memory=15232 CPUtime=0.1 cores=0,2,4,6
/proc/24827/stat : 24827 (cosoco) R 24824 24827 22910 0 -1 4202496 4009 0 0 0 10 0 0 0 20 0 1 0 411821824 40095744 3808 33554432000 4194304 6210612 140731320312048 140731320308584 140658099182410 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8308220 8313664 34668544 140731320316939 140731320317041 140731320317041 140731320319950 0
/proc/24827/statm: 9789 3808 809 493 0 3094 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 39156 KiB
Current children cumulated memory: 15232 KiB
[startup+0.209812 s]*
/proc/loadavg: 1.57 1.89 2.00 3/205 24828
/proc/meminfo: memFree=31558156/32770624 swapFree=67007752/67108860
[pid=24827] ppid=24824 vsize=40732 memory=17008 CPUtime=0.21 cores=0,2,4,6
/proc/24827/stat : 24827 (cosoco) R 24824 24827 22910 0 -1 4202496 4435 0 0 0 21 0 0 0 20 0 1 0 411821824 41709568 4252 33554432000 4194304 6210612 140731320312048 140731320308584 140658089237477 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8308220 8313664 34668544 140731320316939 140731320317041 140731320317041 140731320319950 0
/proc/24827/statm: 10183 4252 819 493 0 3488 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 40732 KiB
Current children cumulated memory: 17008 KiB
[startup+0.309623 s]*
/proc/loadavg: 1.60 1.89 2.00 3/205 24828
/proc/meminfo: memFree=31556296/32770624 swapFree=67007752/67108860
[pid=24827] ppid=24824 vsize=41716 memory=18064 CPUtime=0.31 cores=0,2,4,6
/proc/24827/stat : 24827 (cosoco) R 24824 24827 22910 0 -1 4202496 4693 0 0 0 31 0 0 0 20 0 1 0 411821824 42717184 4516 33554432000 4194304 6210612 140731320312048 140731320308584 140658089237477 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8308220 8313664 34668544 140731320316939 140731320317041 140731320317041 140731320319950 0
/proc/24827/statm: 10429 4516 819 493 0 3734 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 41716 KiB
Current children cumulated memory: 18064 KiB
[startup+0.700334 s]
/proc/loadavg: 1.60 1.89 2.00 3/205 24828
/proc/meminfo: memFree=31551924/32770624 swapFree=67007752/67108860
[pid=24827] ppid=24824 vsize=45844 memory=21996 CPUtime=0.69 cores=0,2,4,6
/proc/24827/stat : 24827 (cosoco) R 24824 24827 22910 0 -1 4202496 5682 0 0 0 69 0 0 0 20 0 1 0 411821824 46944256 5499 33554432000 4194304 6210612 140731320312048 140731320308584 140658089237477 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8308220 8313664 34668544 140731320316939 140731320317041 140731320317041 140731320319950 0
/proc/24827/statm: 11461 5499 819 493 0 4766 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 45844 KiB
Current children cumulated memory: 21996 KiB
[startup+1.50034 s]
/proc/loadavg: 1.60 1.89 2.00 3/205 24830
/proc/meminfo: memFree=31540312/32770624 swapFree=67007752/67108860
[pid=24827] ppid=24824 vsize=54212 memory=30320 CPUtime=1.49 cores=0,2,4,6
/proc/24827/stat : 24827 (cosoco) R 24824 24827 22910 0 -1 4202496 7756 0 0 0 149 0 0 0 20 0 1 0 411821824 55513088 7580 33554432000 4194304 6210612 140731320312048 140731320285608 140658089233214 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8308220 8313664 34668544 140731320316939 140731320317041 140731320317041 140731320319950 0
/proc/24827/statm: 13553 7580 819 493 0 6858 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 54212 KiB
Current children cumulated memory: 30320 KiB
[startup+3.10973 s]
/proc/loadavg: 1.60 1.89 2.00 3/205 24830
/proc/meminfo: memFree=31498348/32770624 swapFree=67007752/67108860
[pid=24827] ppid=24824 vsize=71028 memory=46812 CPUtime=3.1 cores=0,2,4,6
/proc/24827/stat : 24827 (cosoco) R 24824 24827 22910 0 -1 4202496 12095 0 0 0 309 1 0 0 20 0 1 0 411821824 72732672 11703 33554432000 4194304 6210612 140731320312048 140731320285608 140658089237477 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8308220 8313664 34668544 140731320316939 140731320317041 140731320317041 140731320319950 0
/proc/24827/statm: 17757 11703 819 493 0 11062 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 71028 KiB
Current children cumulated memory: 46812 KiB
[startup+6.30033 s]
/proc/loadavg: 1.64 1.89 2.00 3/205 24830
/proc/meminfo: memFree=31436828/32770624 swapFree=67007752/67108860
[pid=24827] ppid=24824 vsize=104704 memory=80000 CPUtime=6.28 cores=0,2,4,6
/proc/24827/stat : 24827 (cosoco) R 24824 24827 22910 0 -1 4202496 20531 0 0 0 627 1 0 0 20 0 1 0 411821824 107216896 20000 33554432000 4194304 6210612 140731320312048 140731320285608 140658089237477 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8308220 8313664 34668544 140731320316939 140731320317041 140731320317041 140731320319950 0
/proc/24827/statm: 26176 20000 819 493 0 19481 0
Current children cumulated CPU time: 6.28 s
Current children cumulated vsize: 104704 KiB
Current children cumulated memory: 80000 KiB
[startup+12.7003 s]
/proc/loadavg: 1.67 1.90 2.00 3/205 24831
/proc/meminfo: memFree=31314744/32770624 swapFree=67007752/67108860
[pid=24827] ppid=24824 vsize=170296 memory=146260 CPUtime=12.69 cores=0,2,4,6
/proc/24827/stat : 24827 (cosoco) R 24824 24827 22910 0 -1 4202496 37282 0 0 0 1266 3 0 0 20 0 1 0 411821824 174383104 36565 33554432000 4194304 6210612 140731320312048 140731320285608 140658089237477 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8308220 8313664 34668544 140731320316939 140731320317041 140731320317041 140731320319950 0
/proc/24827/statm: 42574 36565 819 493 0 35879 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 170296 KiB
Current children cumulated memory: 146260 KiB
[startup+25.5003 s]
/proc/loadavg: 1.72 1.90 2.00 3/205 24831
/proc/meminfo: memFree=31045760/32770624 swapFree=67007752/67108860
[pid=24827] ppid=24824 vsize=304264 memory=279472 CPUtime=25.48 cores=0,2,4,6
/proc/24827/stat : 24827 (cosoco) R 24824 24827 22910 0 -1 4202496 70397 0 0 0 2541 7 0 0 20 0 1 0 411821824 311566336 69868 33554432000 4194304 6210612 140731320312048 140731320285608 140658089237477 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8308220 8313664 34668544 140731320316939 140731320317041 140731320317041 140731320319950 0
/proc/24827/statm: 76066 69868 819 493 0 69371 0
Current children cumulated CPU time: 25.48 s
Current children cumulated vsize: 304264 KiB
Current children cumulated memory: 279472 KiB
[startup+51.1096 s]
/proc/loadavg: 1.83 1.91 2.00 3/205 24833
/proc/meminfo: memFree=30511684/32770624 swapFree=67007752/67108860
[pid=24827] ppid=24824 vsize=573552 memory=546236 CPUtime=51.1 cores=0,2,4,6
/proc/24827/stat : 24827 (cosoco) R 24824 24827 22910 0 -1 4202496 136232 0 0 0 5092 18 0 0 20 0 1 0 411821824 587317248 136559 33554432000 4194304 6210612 140731320312048 140731320285608 140658089237477 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8308220 8313664 34668544 140731320316939 140731320317041 140731320317041 140731320319950 0
/proc/24827/statm: 143388 136559 819 493 0 136693 0
Current children cumulated CPU time: 51.1 s
Current children cumulated vsize: 573552 KiB
Current children cumulated memory: 546236 KiB
[startup+102.3 s]
/proc/loadavg: 1.93 1.92 2.00 3/204 24837
/proc/meminfo: memFree=29466736/32770624 swapFree=67007752/67108860
[pid=24827] ppid=24824 vsize=1115032 memory=1075184 CPUtime=102.28 cores=0,2,4,6
/proc/24827/stat : 24827 (cosoco) R 24824 24827 22910 0 -1 4202496 265566 0 0 0 10192 36 0 0 20 0 1 0 411821824 1141792768 268796 33554432000 4194304 6210612 140731320312048 140731320285608 140658089237477 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8308220 8313664 34668544 140731320316939 140731320317041 140731320317041 140731320319950 0
/proc/24827/statm: 278758 268796 819 493 0 272063 0
Current children cumulated CPU time: 102.28 s
Current children cumulated vsize: 1115032 KiB
Current children cumulated memory: 1075184 KiB
[startup+162.3 s]
/proc/loadavg: 1.97 1.94 2.00 3/204 24841
/proc/meminfo: memFree=28234356/32770624 swapFree=67007752/67108860
[pid=24827] ppid=24824 vsize=1742348 memory=1697944 CPUtime=162.28 cores=0,2,4,6
/proc/24827/stat : 24827 (cosoco) R 24824 24827 22910 0 -1 4202496 417168 0 0 0 16171 57 0 0 20 0 1 0 411821824 1784164352 424486 33554432000 4194304 6210612 140731320312048 140731320285608 140658089237477 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8308220 8313664 34668544 140731320316939 140731320317041 140731320317041 140731320319950 0
/proc/24827/statm: 435587 424486 819 493 0 428892 0
Current children cumulated CPU time: 162.28 s
Current children cumulated vsize: 1742348 KiB
Current children cumulated memory: 1697944 KiB
[startup+222.3 s]
/proc/loadavg: 1.99 1.95 2.00 3/204 24845
/proc/meminfo: memFree=26999652/32770624 swapFree=67007752/67108860
[pid=24827] ppid=24824 vsize=2344928 memory=2321096 CPUtime=222.26 cores=0,2,4,6
/proc/24827/stat : 24827 (cosoco) R 24824 24827 22910 0 -1 4202496 567833 0 0 0 22151 75 0 0 20 0 1 0 411821824 2401206272 580274 33554432000 4194304 6210612 140731320312048 140731320285608 140658089237477 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8308220 8313664 34668544 140731320316939 140731320317041 140731320317041 140731320319950 0
/proc/24827/statm: 586232 580274 819 493 0 579537 0
Current children cumulated CPU time: 222.26 s
Current children cumulated vsize: 2344928 KiB
Current children cumulated memory: 2321096 KiB
[startup+282.3 s]
/proc/loadavg: 2.00 1.96 2.00 3/204 24857
/proc/meminfo: memFree=25770172/32770624 swapFree=67007760/67108860
[pid=24827] ppid=24824 vsize=2984420 memory=2942280 CPUtime=282.26 cores=0,2,4,6
/proc/24827/stat : 24827 (cosoco) R 24824 24827 22910 0 -1 4202496 719200 0 0 0 28132 94 0 0 20 0 1 0 411821824 3056046080 735570 33554432000 4194304 6210612 140731320312048 140731320285608 140658089237477 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8308220 8313664 34668544 140731320316939 140731320317041 140731320317041 140731320319950 0
/proc/24827/statm: 746105 735570 819 493 0 739410 0
Current children cumulated CPU time: 282.26 s
Current children cumulated vsize: 2984420 KiB
Current children cumulated memory: 2942280 KiB
[startup+342.3 s]
/proc/loadavg: 2.00 1.96 2.00 3/205 24862
/proc/meminfo: memFree=24540020/32770624 swapFree=67007760/67108860
[pid=24827] ppid=24824 vsize=3642364 memory=3563352 CPUtime=342.25 cores=0,2,4,6
/proc/24827/stat : 24827 (cosoco) R 24824 24827 22910 0 -1 4202496 870222 0 0 0 34111 114 0 0 20 0 1 0 411821824 3729780736 890838 33554432000 4194304 6210612 140731320312048 140731320285608 140658089237477 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8308220 8313664 34668544 140731320316939 140731320317041 140731320317041 140731320319950 0
/proc/24827/statm: 910591 890838 819 493 0 903896 0
Current children cumulated CPU time: 342.25 s
Current children cumulated vsize: 3642364 KiB
Current children cumulated memory: 3563352 KiB
[startup+402.3 s]
/proc/loadavg: 2.00 1.97 2.00 3/205 24866
/proc/meminfo: memFree=23308096/32770624 swapFree=67007760/67108860
[pid=24827] ppid=24824 vsize=4244944 memory=4186392 CPUtime=402.25 cores=0,2,4,6
/proc/24827/stat : 24827 (cosoco) R 24824 24827 22910 0 -1 4202496 1021873 0 0 0 40090 135 0 0 20 0 1 0 411821824 4346822656 1046598 33554432000 4194304 6210612 140731320312048 140731320285608 140658089237477 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8308220 8313664 34668544 140731320316939 140731320317041 140731320317041 140731320319950 0
/proc/24827/statm: 1061236 1046598 819 493 0 1054541 0
Current children cumulated CPU time: 402.25 s
Current children cumulated vsize: 4244944 KiB
Current children cumulated memory: 4186392 KiB
[startup+462.3 s]
/proc/loadavg: 2.00 1.98 2.00 3/205 24872
/proc/meminfo: memFree=22076628/32770624 swapFree=67007760/67108860
[pid=24827] ppid=24824 vsize=4847392 memory=4809096 CPUtime=462.24 cores=0,2,4,6
/proc/24827/stat : 24827 (cosoco) R 24824 24827 22910 0 -1 4202496 1173007 0 0 0 46066 158 0 0 20 0 1 0 411821824 4963729408 1202274 33554432000 4194304 6210612 140731320312048 140731320285608 140658089237477 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8308220 8313664 34668544 140731320316939 140731320317041 140731320317041 140731320319950 0
/proc/24827/statm: 1211848 1202274 819 493 0 1205153 0
Current children cumulated CPU time: 462.24 s
Current children cumulated vsize: 4847392 KiB
Current children cumulated memory: 4809096 KiB
################
# More data... #
################
Current children cumulated vsize: 9872608 KiB
Current children cumulated memory: 9781636 KiB
[startup+1002.3 s]
/proc/loadavg: 2.00 1.99 2.00 3/204 24923
/proc/meminfo: memFree=11004508/32770624 swapFree=67007776/67108860
[pid=24827] ppid=24824 vsize=10474396 memory=10401880 CPUtime=1002.18 cores=0,2,4,6
/proc/24827/stat : 24827 (cosoco) R 24824 24827 22910 0 -1 4202496 2535202 0 0 0 99837 381 0 0 20 0 1 0 411821824 10725781504 2600470 33554432000 4194304 6210612 140731320312048 140731320285608 140658089237477 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8308220 8313664 34668544 140731320316939 140731320317041 140731320317041 140731320319950 0
/proc/24827/statm: 2618599 2600470 819 493 0 2611904 0
Current children cumulated CPU time: 1002.18 s
Current children cumulated vsize: 10474396 KiB
Current children cumulated memory: 10401880 KiB
[startup+1062.3 s]
/proc/loadavg: 2.00 1.99 2.00 3/204 24928
/proc/meminfo: memFree=9774784/32770624 swapFree=67007776/67108860
[pid=24827] ppid=24824 vsize=11076316 memory=11024292 CPUtime=1062.19 cores=0,2,4,6
/proc/24827/stat : 24827 (cosoco) R 24824 24827 22910 0 -1 4202496 2686528 0 0 0 105809 410 0 0 20 0 1 0 411821824 11342147584 2756073 33554432000 4194304 6210612 140731320312048 140731320285608 140658089237477 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8308220 8313664 34668544 140731320316939 140731320317041 140731320317041 140731320319950 0
/proc/24827/statm: 2769079 2756073 819 493 0 2762384 0
Current children cumulated CPU time: 1062.19 s
Current children cumulated vsize: 11076316 KiB
Current children cumulated memory: 11024292 KiB
[startup+1122.3 s]
/proc/loadavg: 2.06 2.00 2.01 3/204 24932
/proc/meminfo: memFree=8544364/32770624 swapFree=67007776/67108860
[pid=24827] ppid=24824 vsize=11678104 memory=11644664 CPUtime=1122.17 cores=0,2,4,6
/proc/24827/stat : 24827 (cosoco) R 24824 24827 22910 0 -1 4202496 2837832 0 0 0 111776 441 0 0 20 0 1 0 411821824 11958378496 2911166 33554432000 4194304 6210612 140731320312048 140731320285608 140658089237477 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8308220 8313664 34668544 140731320316939 140731320317041 140731320317041 140731320319950 0
/proc/24827/statm: 2919526 2911166 819 493 0 2912831 0
Current children cumulated CPU time: 1122.17 s
Current children cumulated vsize: 11678104 KiB
Current children cumulated memory: 11644664 KiB
[startup+1182.3 s]
/proc/loadavg: 2.16 2.03 2.02 3/203 24938
/proc/meminfo: memFree=7312780/32770624 swapFree=67008760/67108860
[pid=24827] ppid=24824 vsize=12466484 memory=12265880 CPUtime=1182.17 cores=0,2,4,6
/proc/24827/stat : 24827 (cosoco) R 24824 24827 22910 0 -1 4202496 2989953 0 0 0 117743 474 0 0 20 0 1 0 411821824 12765679616 3066470 33554432000 4194304 6210612 140731320312048 140731320285608 140658089237477 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8308220 8313664 34668544 140731320316939 140731320317041 140731320317041 140731320319950 0
/proc/24827/statm: 3116621 3066470 819 493 0 3109926 0
Current children cumulated CPU time: 1182.17 s
Current children cumulated vsize: 12466484 KiB
Current children cumulated memory: 12265880 KiB
[startup+1242.3 s]
/proc/loadavg: 2.06 2.03 2.02 3/205 24944
/proc/meminfo: memFree=6083916/32770624 swapFree=67008764/67108860
[pid=24827] ppid=24824 vsize=13068140 memory=12885984 CPUtime=1242.17 cores=0,2,4,6
/proc/24827/stat : 24827 (cosoco) R 24824 24827 22910 0 -1 4202496 3141201 0 0 0 123713 504 0 0 20 0 1 0 411821824 13381775360 3221496 33554432000 4194304 6210612 140731320312048 140731320285608 140658089237477 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8308220 8313664 34668544 140731320316939 140731320317041 140731320317041 140731320319950 0
/proc/24827/statm: 3267035 3221496 819 493 0 3260340 0
Current children cumulated CPU time: 1242.17 s
Current children cumulated vsize: 13068140 KiB
Current children cumulated memory: 12885984 KiB
[startup+1302.3 s]
/proc/loadavg: 2.02 2.02 2.02 3/205 24948
/proc/meminfo: memFree=4851968/32770624 swapFree=67008764/67108860
[pid=24827] ppid=24824 vsize=13669400 memory=13507604 CPUtime=1302.15 cores=0,2,4,6
/proc/24827/stat : 24827 (cosoco) R 24824 24827 22910 0 -1 4202496 3292367 0 0 0 129678 537 0 0 20 0 1 0 411821824 13997465600 3376901 33554432000 4194304 6210612 140731320312048 140731320285608 140658089237477 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8308220 8313664 34668544 140731320316939 140731320317041 140731320317041 140731320319950 0
/proc/24827/statm: 3417350 3376901 819 493 0 3410655 0
Current children cumulated CPU time: 1302.15 s
Current children cumulated vsize: 13669400 KiB
Current children cumulated memory: 13507604 KiB
[startup+1362.3 s]
/proc/loadavg: 2.01 2.02 2.02 3/205 24955
/proc/meminfo: memFree=3625152/32770624 swapFree=67008764/67108860
[pid=24827] ppid=24824 vsize=14270528 memory=14127444 CPUtime=1362.15 cores=0,2,4,6
/proc/24827/stat : 24827 (cosoco) R 24824 24827 22910 0 -1 4202496 3443522 0 0 0 135645 570 0 0 20 0 1 0 411821824 14613020672 3531861 33554432000 4194304 6210612 140731320312048 140731320285608 140658089237477 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8308220 8313664 34668544 140731320316939 140731320317041 140731320317041 140731320319950 0
/proc/24827/statm: 3567632 3531861 819 493 0 3560937 0
Current children cumulated CPU time: 1362.15 s
Current children cumulated vsize: 14270528 KiB
Current children cumulated memory: 14127444 KiB
[startup+1422.3 s]
/proc/loadavg: 2.00 2.01 2.02 3/205 24959
/proc/meminfo: memFree=2395980/32770624 swapFree=67008764/67108860
[pid=24827] ppid=24824 vsize=14871788 memory=14749016 CPUtime=1422.14 cores=0,2,4,6
/proc/24827/stat : 24827 (cosoco) R 24824 24827 22910 0 -1 4202496 3594705 0 0 0 141612 602 0 0 20 0 1 0 411821824 15228710912 3687254 33554432000 4194304 6210612 140731320312048 140731320285608 140658089237477 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8308220 8313664 34668544 140731320316939 140731320317041 140731320317041 140731320319950 0
/proc/24827/statm: 3717947 3687254 819 493 0 3711252 0
Current children cumulated CPU time: 1422.14 s
Current children cumulated vsize: 14871788 KiB
Current children cumulated memory: 14749016 KiB
[startup+1482.3 s]
/proc/loadavg: 2.00 2.01 2.02 3/205 24968
/proc/meminfo: memFree=1168744/32770624 swapFree=67008768/67108860
[pid=24827] ppid=24824 vsize=15472916 memory=15368492 CPUtime=1482.14 cores=0,2,4,6
/proc/24827/stat : 24827 (cosoco) R 24824 24827 22910 0 -1 4202496 3745974 0 0 0 147576 638 0 0 20 0 1 0 411821824 15844265984 3842123 33554432000 4194304 6210612 140731320312048 140731320285608 140658089237477 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8308220 8313664 34668544 140731320316939 140731320317041 140731320317041 140731320319950 0
/proc/24827/statm: 3868229 3842123 819 493 0 3861534 0
Current children cumulated CPU time: 1482.14 s
Current children cumulated vsize: 15472916 KiB
Current children cumulated memory: 15368492 KiB
Maximum VSize exceeded: sending SIGTERM then SIGKILL
[startup+1522.3 s]
/proc/loadavg: 2.00 2.01 2.02 3/204 24972
/proc/meminfo: memFree=349420/32770624 swapFree=67008768/67108860
[pid=24827] ppid=24824 vsize=15872744 memory=15782952 CPUtime=1522.13 cores=0,2,4,6
/proc/24827/stat : 24827 (cosoco) R 24824 24827 22910 0 -1 4202496 3846642 0 0 0 151548 665 0 0 20 0 1 0 411821824 16253689856 3945738 33554432000 4194304 6210612 140731320312048 140731320285608 140658089237477 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8308220 8313664 34668544 140731320316939 140731320317041 140731320317041 140731320319950 0
/proc/24827/statm: 3968186 3945738 819 493 0 3961491 0
Current children cumulated CPU time: 1522.13 s
Current children cumulated vsize: 15872744 KiB
Current children cumulated memory: 15782952 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
??? end of watcher thread
[startup+1525.18 s]
# the end of solver process 24827 was just reported to runsolver
# cumulated CPU time of all completed processes: user=1515.66 s, system=7.55507 s
Solver just ended.
Dumping a history of the last processes samples
[startup+1523.2 s]
/proc/loadavg: 2.00 2.01 2.02 3/205 24973
/proc/meminfo: memFree=236732/32770624 swapFree=67008772/67108860
[pid=24827] ppid=24824 vsize=15872744 memory=15782952 CPUtime=1522.24 cores=0,2,4,6
/proc/24827/stat : 24827 (cosoco) S 24824 24827 22910 0 -1 512 3846646 0 0 0 151557 667 0 0 20 0 1 0 411821824 16253689856 3945738 33554432000 4194304 6210612 140731320312048 140731320285608 5188952 0 16384 4096 8405026 0 0 0 17 2 0 0 0 0 0 8308220 8313664 34668544 140731320316939 140731320317041 140731320317041 140731320319950 0
/proc/24827/statm: 3968186 3945738 819 493 0 3961491 0
Current children cumulated CPU time: 1522.24 s
Current children cumulated vsize: 15872744 KiB
Current children cumulated memory: 15782952 KiB
[startup+1524 s]*
/proc/loadavg: 2.00 2.01 2.02 1/205 24973
/proc/meminfo: memFree=160512/32770624 swapFree=67008772/67108860
[pid=24827] ppid=24824 vsize=15872744 memory=15782952 CPUtime=1522.31 cores=0,2,4,6
/proc/24827/stat : 24827 (cosoco) S 24824 24827 22910 0 -1 512 3846646 0 0 0 151564 667 0 0 20 0 1 0 411821824 16253689856 3945738 33554432000 4194304 6210612 140731320312048 140731320285608 5188952 0 16384 4096 8405026 18446744071580971376 0 0 17 4 0 0 0 0 0 8308220 8313664 34668544 140731320316939 140731320317041 140731320317041 140731320319950 0
/proc/24827/statm: 3968186 3945738 819 493 0 3961491 0
Current children cumulated CPU time: 1522.31 s
Current children cumulated vsize: 15872744 KiB
Current children cumulated memory: 15782952 KiB
[startup+1524.2 s]
/proc/loadavg: 2.00 2.01 2.02 1/205 24973
/proc/meminfo: memFree=160512/32770624 swapFree=67008772/67108860
[pid=24827] ppid=24824 vsize=15872744 memory=15782952 CPUtime=1522.32 cores=0,2,4,6
/proc/24827/stat : 24827 (cosoco) S 24824 24827 22910 0 -1 512 3846646 0 0 0 151565 667 0 0 20 0 1 0 411821824 16253689856 3945738 33554432000 4194304 6210612 140731320312048 140731320285608 5188952 0 16384 4096 8405026 18446744071580971376 0 0 17 4 0 0 0 0 0 8308220 8313664 34668544 140731320316939 140731320317041 140731320317041 140731320319950 0
/proc/24827/statm: 3968186 3945738 819 493 0 3961491 0
Current children cumulated CPU time: 1522.32 s
Current children cumulated vsize: 15872744 KiB
Current children cumulated memory: 15782952 KiB
[startup+1524.3 s]
/proc/loadavg: 2.00 2.01 2.02 1/205 24973
/proc/meminfo: memFree=160512/32770624 swapFree=67008772/67108860
[pid=24827] ppid=24824 vsize=15872744 memory=15782952 CPUtime=1522.32 cores=0,2,4,6
/proc/24827/stat : 24827 (cosoco) S 24824 24827 22910 0 -1 512 3846646 0 0 0 151565 667 0 0 20 0 1 0 411821824 16253689856 3945738 33554432000 4194304 6210612 140731320312048 140731320285608 5188952 0 16384 4096 8405026 18446744071580971376 0 0 17 4 0 0 0 0 0 8308220 8313664 34668544 140731320316939 140731320317041 140731320317041 140731320319950 0
/proc/24827/statm: 3968186 3945738 819 493 0 3961491 0
Current children cumulated CPU time: 1522.32 s
Current children cumulated vsize: 15872744 KiB
Current children cumulated memory: 15782952 KiB
Child ended because it received signal 9 (SIGKILL)
Real time (s): 1525.18
CPU time (s): 1523.21
CPU user time (s): 1515.66
CPU system time (s): 7.55507
CPU usage (%): 99.871
Max. virtual memory (cumulated for all children) (KiB): 15872744
Max. memory (cumulated for all children) (KiB): 15782952
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1515.66
system time used= 7.55507
maximum resident set size= 15782984
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3846646
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= 82209
involuntary context switches= 1904
# summary of solver processes directly reported to runsolver:
# pid: 24827
# total CPU time (s): 1523.21
# total CPU user time (s): 1515.66
# total CPU system time (s): 7.55507
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.62832 second user time and 10.6383 second system time
The end