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 (14873 MiB free)
memory of node 1: 16384 MiB (15175 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4409145-1569812687/watcher-4409145-1569812687 -o /tmp/evaluation-result-4409145-1569812687/solver-4409145-1569812687 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node105-1569808860-29382 --watchdog 2560 cosoco -lc -model -restarts -stick HOME/instance-4409145-1569812687.xml
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=29827, runsolver pid=29824
Current StackSize limit: 8192 KiB
[startup+0.100113 s]*
/proc/loadavg: 1.88 1.54 1.74 3/200 29828
/proc/meminfo: memFree=30756856/32770624 swapFree=66957812/67108860
[pid=29827] ppid=29824 vsize=39152 memory=15224 CPUtime=0.1 cores=1,3,5,7
/proc/29827/stat : 29827 (cosoco) R 29824 29827 29350 0 -1 4202496 4009 0 0 0 10 0 0 0 20 0 1 0 557526186 40091648 3806 33554432000 4194304 6211132 140729670889328 140729670885864 140326860319717 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 15986688 140729670894603 140729670894705 140729670894705 140729670897614 0
/proc/29827/statm: 9788 3806 809 493 0 3093 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 39152 KiB
Current children cumulated memory: 15224 KiB
[startup+0.209832 s]*
/proc/loadavg: 1.88 1.54 1.74 3/200 29828
/proc/meminfo: memFree=30754004/32770624 swapFree=66957812/67108860
[pid=29827] ppid=29824 vsize=40728 memory=16872 CPUtime=0.21 cores=1,3,5,7
/proc/29827/stat : 29827 (cosoco) R 29824 29827 29350 0 -1 4202496 4435 0 0 0 21 0 0 0 20 0 1 0 557526186 41705472 4218 33554432000 4194304 6211132 140729670889328 140729670885864 140326860319717 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 15986688 140729670894603 140729670894705 140729670894705 140729670897614 0
/proc/29827/statm: 10182 4218 819 493 0 3487 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 40728 KiB
Current children cumulated memory: 16872 KiB
[startup+0.309162 s]*
/proc/loadavg: 1.88 1.54 1.74 3/200 29828
/proc/meminfo: memFree=30752268/32770624 swapFree=66957812/67108860
[pid=29827] ppid=29824 vsize=41712 memory=17928 CPUtime=0.31 cores=1,3,5,7
/proc/29827/stat : 29827 (cosoco) R 29824 29827 29350 0 -1 4202496 4691 0 0 0 31 0 0 0 20 0 1 0 557526186 42713088 4482 33554432000 4194304 6211132 140729670889328 140729670885864 140326860319717 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 15986688 140729670894603 140729670894705 140729670894705 140729670897614 0
/proc/29827/statm: 10428 4482 819 493 0 3733 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 41712 KiB
Current children cumulated memory: 17928 KiB
[startup+0.700246 s]
/proc/loadavg: 1.88 1.54 1.74 3/200 29828
/proc/meminfo: memFree=30747580/32770624 swapFree=66957812/67108860
[pid=29827] ppid=29824 vsize=45840 memory=21992 CPUtime=0.69 cores=1,3,5,7
/proc/29827/stat : 29827 (cosoco) R 29824 29827 29350 0 -1 4202496 5679 0 0 0 69 0 0 0 20 0 1 0 557526186 46940160 5498 33554432000 4194304 6211132 140729670889328 140729670862888 5453958 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 15986688 140729670894603 140729670894705 140729670894705 140729670897614 0
/proc/29827/statm: 11460 5498 819 493 0 4765 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 45840 KiB
Current children cumulated memory: 21992 KiB
[startup+1.50024 s]
/proc/loadavg: 1.88 1.54 1.74 3/200 29828
/proc/meminfo: memFree=30737536/32770624 swapFree=66957812/67108860
[pid=29827] ppid=29824 vsize=54076 memory=30316 CPUtime=1.49 cores=1,3,5,7
/proc/29827/stat : 29827 (cosoco) R 29824 29827 29350 0 -1 4202496 7749 0 0 0 149 0 0 0 20 0 1 0 557526186 55373824 7579 33554432000 4194304 6211132 140729670889328 140729670862888 140326860319717 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 15986688 140729670894603 140729670894705 140729670894705 140729670897614 0
/proc/29827/statm: 13519 7579 819 493 0 6824 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 54076 KiB
Current children cumulated memory: 30316 KiB
[startup+3.10961 s]
/proc/loadavg: 1.89 1.55 1.74 3/200 29828
/proc/meminfo: memFree=30696120/32770624 swapFree=66957812/67108860
[pid=29827] ppid=29824 vsize=70892 memory=46812 CPUtime=3.1 cores=1,3,5,7
/proc/29827/stat : 29827 (cosoco) R 29824 29827 29350 0 -1 4202496 12081 0 0 0 309 1 0 0 20 0 1 0 557526186 72593408 11703 33554432000 4194304 6211132 140729670889328 140729670862888 140326860319717 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 15986688 140729670894603 140729670894705 140729670894705 140729670897614 0
/proc/29827/statm: 17723 11703 819 493 0 11028 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 70892 KiB
Current children cumulated memory: 46812 KiB
[startup+6.30022 s]
/proc/loadavg: 1.89 1.55 1.74 3/200 29828
/proc/meminfo: memFree=30634492/32770624 swapFree=66957812/67108860
[pid=29827] ppid=29824 vsize=104568 memory=79996 CPUtime=6.29 cores=1,3,5,7
/proc/29827/stat : 29827 (cosoco) R 29824 29827 29350 0 -1 4202496 20503 0 0 0 627 2 0 0 20 0 1 0 557526186 107077632 19933 33554432000 4194304 6211132 140729670889328 140729670862888 5452193 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 15986688 140729670894603 140729670894705 140729670894705 140729670897614 0
/proc/29827/statm: 26142 19933 819 493 0 19447 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 104568 KiB
Current children cumulated memory: 79996 KiB
[startup+12.7002 s]
/proc/loadavg: 1.89 1.55 1.74 3/200 29828
/proc/meminfo: memFree=30509436/32770624 swapFree=66957812/67108860
[pid=29827] ppid=29824 vsize=170160 memory=145992 CPUtime=12.69 cores=1,3,5,7
/proc/29827/stat : 29827 (cosoco) R 29824 29827 29350 0 -1 4202496 37226 0 0 0 1265 4 0 0 20 0 1 0 557526186 174243840 36498 33554432000 4194304 6211132 140729670889328 140729670862888 140326861243402 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 15986688 140729670894603 140729670894705 140729670894705 140729670897614 0
/proc/29827/statm: 42540 36498 819 493 0 35845 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 170160 KiB
Current children cumulated memory: 145992 KiB
[startup+25.5002 s]
/proc/loadavg: 1.92 1.58 1.74 3/201 29830
/proc/meminfo: memFree=30239096/32770624 swapFree=66957812/67108860
[pid=29827] ppid=29824 vsize=303732 memory=279464 CPUtime=25.49 cores=1,3,5,7
/proc/29827/stat : 29827 (cosoco) R 29824 29827 29350 0 -1 4202496 70414 0 0 0 2540 9 0 0 20 0 1 0 557526186 311021568 69866 33554432000 4194304 6211132 140729670889328 140729670862888 140326860319717 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 15986688 140729670894603 140729670894705 140729670894705 140729670897614 0
/proc/29827/statm: 75933 69866 819 493 0 69238 0
Current children cumulated CPU time: 25.49 s
Current children cumulated vsize: 303732 KiB
Current children cumulated memory: 279464 KiB
[startup+51.1096 s]
/proc/loadavg: 1.95 1.61 1.75 3/200 29831
/proc/meminfo: memFree=29698868/32770624 swapFree=66957812/67108860
[pid=29827] ppid=29824 vsize=572492 memory=543592 CPUtime=51.1 cores=1,3,5,7
/proc/29827/stat : 29827 (cosoco) R 29824 29827 29350 0 -1 4202496 135594 0 0 0 5092 18 0 0 20 0 1 0 557526186 586231808 135898 33554432000 4194304 6211132 140729670889328 140729670862888 140326860319717 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 15986688 140729670894603 140729670894705 140729670894705 140729670897614 0
/proc/29827/statm: 143123 135898 819 493 0 136428 0
Current children cumulated CPU time: 51.1 s
Current children cumulated vsize: 572492 KiB
Current children cumulated memory: 543592 KiB
[startup+102.3 s]
/proc/loadavg: 1.98 1.67 1.77 3/200 29835
/proc/meminfo: memFree=28639264/32770624 swapFree=66957812/67108860
[pid=29827] ppid=29824 vsize=1112784 memory=1072804 CPUtime=102.3 cores=1,3,5,7
/proc/29827/stat : 29827 (cosoco) R 29824 29827 29350 0 -1 4202496 264999 0 0 0 10195 35 0 0 20 0 1 0 557526186 1139490816 268201 33554432000 4194304 6211132 140729670889328 140729670862888 5479626 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 15986688 140729670894603 140729670894705 140729670894705 140729670897614 0
/proc/29827/statm: 278196 268201 819 493 0 271501 0
Current children cumulated CPU time: 102.3 s
Current children cumulated vsize: 1112784 KiB
Current children cumulated memory: 1072804 KiB
[startup+162.3 s]
/proc/loadavg: 1.99 1.73 1.78 3/200 29841
/proc/meminfo: memFree=27389344/32770624 swapFree=66957812/67108860
[pid=29827] ppid=29824 vsize=1738648 memory=1694704 CPUtime=162.31 cores=1,3,5,7
/proc/29827/stat : 29827 (cosoco) R 29824 29827 29350 0 -1 4202496 415885 0 0 0 16178 53 0 0 20 0 1 0 557526186 1780375552 423676 33554432000 4194304 6211132 140729670889328 140729670862888 140326860319717 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 15986688 140729670894603 140729670894705 140729670894705 140729670897614 0
/proc/29827/statm: 434662 423676 819 493 0 427967 0
Current children cumulated CPU time: 162.31 s
Current children cumulated vsize: 1738648 KiB
Current children cumulated memory: 1694704 KiB
[startup+222.3 s]
/proc/loadavg: 2.44 1.89 1.83 3/199 29845
/proc/meminfo: memFree=26140564/32770624 swapFree=66957812/67108860
[pid=29827] ppid=29824 vsize=2339908 memory=2314492 CPUtime=222.31 cores=1,3,5,7
/proc/29827/stat : 29827 (cosoco) R 29824 29827 29350 0 -1 4202496 566208 0 0 0 22160 71 0 0 20 0 1 0 557526186 2396065792 578623 33554432000 4194304 6211132 140729670889328 140729670862888 140326860319717 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 15986688 140729670894603 140729670894705 140729670894705 140729670897614 0
/proc/29827/statm: 584977 578623 819 493 0 578282 0
Current children cumulated CPU time: 222.31 s
Current children cumulated vsize: 2339908 KiB
Current children cumulated memory: 2314492 KiB
[startup+282.3 s]
/proc/loadavg: 2.23 1.94 1.85 3/198 29849
/proc/meminfo: memFree=24891144/32770624 swapFree=66957812/67108860
[pid=29827] ppid=29824 vsize=2977816 memory=2936132 CPUtime=282.32 cores=1,3,5,7
/proc/29827/stat : 29827 (cosoco) R 29824 29827 29350 0 -1 4202496 717184 0 0 0 28142 90 0 0 20 0 1 0 557526186 3049283584 734033 33554432000 4194304 6211132 140729670889328 140729670862888 140326860319717 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 15986688 140729670894603 140729670894705 140729670894705 140729670897614 0
/proc/29827/statm: 744454 734033 819 493 0 737759 0
Current children cumulated CPU time: 282.32 s
Current children cumulated vsize: 2977816 KiB
Current children cumulated memory: 2936132 KiB
[startup+342.3 s]
/proc/loadavg: 2.08 1.95 1.86 3/198 29855
/proc/meminfo: memFree=23644348/32770624 swapFree=66957812/67108860
[pid=29827] ppid=29824 vsize=3578680 memory=3554892 CPUtime=342.32 cores=1,3,5,7
/proc/29827/stat : 29827 (cosoco) R 29824 29827 29350 0 -1 4202496 868108 0 0 0 34123 109 0 0 20 0 1 0 557526186 3664568320 888723 33554432000 4194304 6211132 140729670889328 140729670862888 140326860319717 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 15986688 140729670894603 140729670894705 140729670894705 140729670897614 0
/proc/29827/statm: 894670 888723 819 493 0 887975 0
Current children cumulated CPU time: 342.32 s
Current children cumulated vsize: 3578680 KiB
Current children cumulated memory: 3554892 KiB
[startup+402.3 s]
/proc/loadavg: 2.03 1.96 1.87 3/198 29859
/proc/meminfo: memFree=22394328/32770624 swapFree=66957812/67108860
[pid=29827] ppid=29824 vsize=4235040 memory=4176792 CPUtime=402.33 cores=1,3,5,7
/proc/29827/stat : 29827 (cosoco) R 29824 29827 29350 0 -1 4202496 1019004 0 0 0 40103 130 0 0 20 0 1 0 557526186 4336680960 1044198 33554432000 4194304 6211132 140729670889328 140729670862888 5451532 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 15986688 140729670894603 140729670894705 140729670894705 140729670897614 0
/proc/29827/statm: 1058760 1044198 819 493 0 1052065 0
Current children cumulated CPU time: 402.33 s
Current children cumulated vsize: 4235040 KiB
Current children cumulated memory: 4176792 KiB
[startup+462.3 s]
/proc/loadavg: 2.01 1.96 1.88 3/199 29871
/proc/meminfo: memFree=21145648/32770624 swapFree=66957812/67108860
[pid=29827] ppid=29824 vsize=4835640 memory=4795860 CPUtime=462.33 cores=1,3,5,7
/proc/29827/stat : 29827 (cosoco) R 29824 29827 29350 0 -1 4202496 1169704 0 0 0 46081 152 0 0 20 0 1 0 557526186 4951695360 1198965 33554432000 4194304 6211132 140729670889328 140729670862888 140326860319717 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 15986688 140729670894603 140729670894705 140729670894705 140729670897614 0
/proc/29827/statm: 1208910 1198965 819 493 0 1202215 0
Current children cumulated CPU time: 462.33 s
Current children cumulated vsize: 4835640 KiB
Current children cumulated memory: 4795860 KiB
################
# More data... #
################
Current children cumulated vsize: 9247188 KiB
Current children cumulated memory: 9136308 KiB
[startup+942.3 s]
/proc/loadavg: 2.00 1.99 1.92 3/198 29909
/proc/meminfo: memFree=11164452/32770624 swapFree=66957812/67108860
[pid=29827] ppid=29824 vsize=9847392 memory=9754916 CPUtime=942.38 cores=1,3,5,7
/proc/29827/stat : 29827 (cosoco) R 29824 29827 29350 0 -1 4202496 2377607 0 0 0 93884 354 0 0 20 0 1 0 557526186 10083729408 2438729 33554432000 4194304 6211132 140729670889328 140729670862888 140326860319717 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 15986688 140729670894603 140729670894705 140729670894705 140729670897614 0
/proc/29827/statm: 2461848 2438729 819 493 0 2455153 0
Current children cumulated CPU time: 942.38 s
Current children cumulated vsize: 9847392 KiB
Current children cumulated memory: 9754916 KiB
[startup+1002.3 s]
/proc/loadavg: 2.00 1.99 1.93 3/198 29913
/proc/meminfo: memFree=9917892/32770624 swapFree=66957812/67108860
[pid=29827] ppid=29824 vsize=10447332 memory=10375504 CPUtime=1002.39 cores=1,3,5,7
/proc/29827/stat : 29827 (cosoco) R 29824 29827 29350 0 -1 4202496 2528455 0 0 0 99855 384 0 0 20 0 1 0 557526186 10698067968 2593876 33554432000 4194304 6211132 140729670889328 140729670862888 140326860319717 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 15986688 140729670894603 140729670894705 140729670894705 140729670897614 0
/proc/29827/statm: 2611833 2593876 819 493 0 2605138 0
Current children cumulated CPU time: 1002.39 s
Current children cumulated vsize: 10447332 KiB
Current children cumulated memory: 10375504 KiB
[startup+1062.3 s]
/proc/loadavg: 2.00 1.99 1.93 3/200 29928
/proc/meminfo: memFree=8670112/32770624 swapFree=66957812/67108860
[pid=29827] ppid=29824 vsize=11047404 memory=10993956 CPUtime=1062.38 cores=1,3,5,7
/proc/29827/stat : 29827 (cosoco) R 29824 29827 29350 0 -1 4202496 2679326 0 0 0 105824 414 0 0 20 0 1 0 557526186 11312541696 2748489 33554432000 4194304 6211132 140729670889328 140729670862888 140326860319717 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 15986688 140729670894603 140729670894705 140729670894705 140729670897614 0
/proc/29827/statm: 2761851 2748489 819 493 0 2755156 0
Current children cumulated CPU time: 1062.38 s
Current children cumulated vsize: 11047404 KiB
Current children cumulated memory: 10993956 KiB
[startup+1122.3 s]
/proc/loadavg: 2.00 1.99 1.94 3/200 29932
/proc/meminfo: memFree=7426100/32770624 swapFree=66957812/67108860
[pid=29827] ppid=29824 vsize=11647212 memory=11612084 CPUtime=1122.39 cores=1,3,5,7
/proc/29827/stat : 29827 (cosoco) R 29824 29827 29350 0 -1 4202496 2830291 0 0 0 111792 447 0 0 20 0 1 0 557526186 11926745088 2903021 33554432000 4194304 6211132 140729670889328 140729670862888 140326860319717 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 15986688 140729670894603 140729670894705 140729670894705 140729670897614 0
/proc/29827/statm: 2911803 2903021 819 493 0 2905108 0
Current children cumulated CPU time: 1122.39 s
Current children cumulated vsize: 11647212 KiB
Current children cumulated memory: 11612084 KiB
[startup+1182.3 s]
/proc/loadavg: 2.00 1.99 1.95 3/200 29936
/proc/meminfo: memFree=6178644/32770624 swapFree=66957812/67108860
[pid=29827] ppid=29824 vsize=12433744 memory=12231808 CPUtime=1182.4 cores=1,3,5,7
/proc/29827/stat : 29827 (cosoco) R 29824 29827 29350 0 -1 4202496 2981459 0 0 0 117761 479 0 0 20 0 1 0 557526186 12732153856 3057952 33554432000 4194304 6211132 140729670889328 140729670862888 140326860319717 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 15986688 140729670894603 140729670894705 140729670894705 140729670897614 0
/proc/29827/statm: 3108436 3057952 819 493 0 3101741 0
Current children cumulated CPU time: 1182.4 s
Current children cumulated vsize: 12433744 KiB
Current children cumulated memory: 12231808 KiB
[startup+1242.3 s]
/proc/loadavg: 2.00 1.99 1.95 3/201 29942
/proc/meminfo: memFree=4930456/32770624 swapFree=66957812/67108860
[pid=29827] ppid=29824 vsize=13033552 memory=12851824 CPUtime=1242.4 cores=1,3,5,7
/proc/29827/stat : 29827 (cosoco) R 29824 29827 29350 0 -1 4202496 3132250 0 0 0 123727 513 0 0 20 0 1 0 557526186 13346357248 3212956 33554432000 4194304 6211132 140729670889328 140729670862888 140326860319717 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 15986688 140729670894603 140729670894705 140729670894705 140729670897614 0
/proc/29827/statm: 3258388 3212956 819 493 0 3251693 0
Current children cumulated CPU time: 1242.4 s
Current children cumulated vsize: 13033552 KiB
Current children cumulated memory: 12851824 KiB
[startup+1302.3 s]
/proc/loadavg: 2.00 1.99 1.95 3/200 29946
/proc/meminfo: memFree=3686200/32770624 swapFree=66957812/67108860
[pid=29827] ppid=29824 vsize=13633228 memory=13470060 CPUtime=1302.41 cores=1,3,5,7
/proc/29827/stat : 29827 (cosoco) R 29824 29827 29350 0 -1 4202496 3283021 0 0 0 129695 546 0 0 20 0 1 0 557526186 13960425472 3367515 33554432000 4194304 6211132 140729670889328 140729670862888 140326860319717 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 15986688 140729670894603 140729670894705 140729670894705 140729670897614 0
/proc/29827/statm: 3408307 3367515 819 493 0 3401612 0
Current children cumulated CPU time: 1302.41 s
Current children cumulated vsize: 13633228 KiB
Current children cumulated memory: 13470060 KiB
[startup+1362.3 s]
/proc/loadavg: 2.00 1.99 1.95 3/198 29951
/proc/meminfo: memFree=2438208/32770624 swapFree=66957812/67108860
[pid=29827] ppid=29824 vsize=14232904 memory=14090340 CPUtime=1362.41 cores=1,3,5,7
/proc/29827/stat : 29827 (cosoco) R 29824 29827 29350 0 -1 4202496 3433808 0 0 0 135663 578 0 0 20 0 1 0 557526186 14574493696 3522585 33554432000 4194304 6211132 140729670889328 140729670862888 140326860319717 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 15986688 140729670894603 140729670894705 140729670894705 140729670897614 0
/proc/29827/statm: 3558226 3522585 819 493 0 3551531 0
Current children cumulated CPU time: 1362.41 s
Current children cumulated vsize: 14232904 KiB
Current children cumulated memory: 14090340 KiB
[startup+1422.3 s]
/proc/loadavg: 2.06 2.00 1.96 3/199 29957
/proc/meminfo: memFree=1194452/32770624 swapFree=66957812/67108860
[pid=29827] ppid=29824 vsize=14832448 memory=14708312 CPUtime=1422.42 cores=1,3,5,7
/proc/29827/stat : 29827 (cosoco) R 29824 29827 29350 0 -1 4202496 3584569 0 0 0 141631 611 0 0 20 0 1 0 557526186 15188426752 3677078 33554432000 4194304 6211132 140729670889328 140729670862888 140326860319717 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 15986688 140729670894603 140729670894705 140729670894705 140729670897614 0
/proc/29827/statm: 3708112 3677078 819 493 0 3701417 0
Current children cumulated CPU time: 1422.42 s
Current children cumulated vsize: 14832448 KiB
Current children cumulated memory: 14708312 KiB
[startup+1482.3 s]
/proc/loadavg: 2.02 2.00 1.96 3/198 29961
/proc/meminfo: memFree=191124/32770624 swapFree=66957932/67108860
[pid=29827] ppid=29824 vsize=15431860 memory=15326004 CPUtime=1482.43 cores=1,3,5,7
/proc/29827/stat : 29827 (cosoco) R 29824 29827 29350 0 -1 4202496 3736442 0 0 0 147597 646 0 0 20 0 1 0 557526186 15802224640 3831501 33554432000 4194304 6211132 140729670889328 140729670862888 140326860319717 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 15986688 140729670894603 140729670894705 140729670894705 140729670897614 0
/proc/29827/statm: 3857965 3831501 819 493 0 3851270 0
Current children cumulated CPU time: 1482.43 s
Current children cumulated vsize: 15431860 KiB
Current children cumulated memory: 15326004 KiB
Maximum VSize exceeded: sending SIGTERM then SIGKILL
[startup+1527 s]*
/proc/loadavg: 2.22 2.06 1.98 3/200 30031
/proc/meminfo: memFree=15913656/32770624 swapFree=66957944/67108860
[pid=29827] ppid=29824 vsize=15872212 memory=15780720 CPUtime=1526.54 cores=1,3,5,7
/proc/29827/stat : 29827 (cosoco) R 29824 29827 29350 0 -1 4202496 3848251 0 0 0 151982 672 0 0 20 0 1 0 557526186 16253145088 3945180 33554432000 4194304 6211132 140729670889328 140729670862888 140326860319717 0 0 4096 8405026 0 0 0 17 3 0 0 59 0 0 8312316 8317760 15986688 140729670894603 140729670894705 140729670894705 140729670897614 0
/proc/29827/statm: 3968053 3945180 819 493 0 3961358 0
Current children cumulated CPU time: 1526.54 s
Current children cumulated vsize: 15872212 KiB
Current children cumulated memory: 15780720 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
??? end of watcher thread
[startup+1529.88 s]
# the end of solver process 29827 was just reported to runsolver
# cumulated CPU time of all completed processes: user=1520.1 s, system=7.61411 s
Solver just ended.
Dumping a history of the last processes samples
[startup+1528 s]*
/proc/loadavg: 2.22 2.06 1.98 4/201 30032
/proc/meminfo: memFree=15390484/32770624 swapFree=66957944/67108860
[pid=29827] ppid=29824 vsize=15872212 memory=15780720 CPUtime=1526.69 cores=1,3,5,7
/proc/29827/stat : 29827 (cosoco) S 29824 29827 29350 0 -1 512 3848257 0 0 0 151995 674 0 0 20 0 1 0 557526186 16253145088 3945180 33554432000 4194304 6211132 140729670889328 140729670862888 5189800 0 16384 4096 8405026 18446744071580971376 0 0 17 1 0 0 59 0 0 8312316 8317760 15986688 140729670894603 140729670894705 140729670894705 140729670897614 0
/proc/29827/statm: 3968053 3945180 819 493 0 3961358 0
Current children cumulated CPU time: 1526.69 s
Current children cumulated vsize: 15872212 KiB
Current children cumulated memory: 15780720 KiB
[startup+1528.8 s]
/proc/loadavg: 2.22 2.06 1.98 4/201 30032
/proc/meminfo: memFree=15390484/32770624 swapFree=66957944/67108860
[pid=29827] ppid=29824 vsize=15872212 memory=15780720 CPUtime=1526.81 cores=1,3,5,7
/proc/29827/stat : 29827 (cosoco) S 29824 29827 29350 0 -1 512 3848257 0 0 0 152007 674 0 0 20 0 1 0 557526186 16253145088 3945180 33554432000 4194304 6211132 140729670889328 140729670862888 5189800 0 16384 4096 8405026 18446744071580971376 0 0 17 1 0 0 59 0 0 8312316 8317760 15986688 140729670894603 140729670894705 140729670894705 140729670897614 0
/proc/29827/statm: 3968053 3945180 819 493 0 3961358 0
Current children cumulated CPU time: 1526.81 s
Current children cumulated vsize: 15872212 KiB
Current children cumulated memory: 15780720 KiB
[startup+1529 s]*
/proc/loadavg: 2.20 2.06 1.98 4/201 30032
/proc/meminfo: memFree=14861872/32770624 swapFree=66957944/67108860
[pid=29827] ppid=29824 vsize=15872212 memory=15780720 CPUtime=1526.84 cores=1,3,5,7
/proc/29827/stat : 29827 (cosoco) S 29824 29827 29350 0 -1 512 3848257 0 0 0 152010 674 0 0 20 0 1 0 557526186 16253145088 3945180 33554432000 4194304 6211132 140729670889328 140729670862888 5189800 0 16384 4096 8405026 18446744071580971376 0 0 17 3 0 0 59 0 0 8312316 8317760 15986688 140729670894603 140729670894705 140729670894705 140729670897614 0
/proc/29827/statm: 3968053 3945180 819 493 0 3961358 0
Current children cumulated CPU time: 1526.84 s
Current children cumulated vsize: 15872212 KiB
Current children cumulated memory: 15780720 KiB
Child ended because it received signal 9 (SIGKILL)
Real time (s): 1529.88
CPU time (s): 1527.72
CPU user time (s): 1520.1
CPU system time (s): 7.61411
CPU usage (%): 99.8589
Max. virtual memory (cumulated for all children) (KiB): 15872212
Max. memory (cumulated for all children) (KiB): 15780720
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1520.1
system time used= 7.61411
maximum resident set size= 15780856
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3848257
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= 129377
involuntary context switches= 1865
# summary of solver processes directly reported to runsolver:
# pid: 29827
# total CPU time (s): 1527.72
# total CPU user time (s): 1520.1
# total CPU system time (s): 7.61411
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.37594 second user time and 10.625 second system time
The end