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 (4449 MiB free)
memory of node 1: 16384 MiB (14587 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4408476-1569812598/watcher-4408476-1569812598 -o /tmp/evaluation-result-4408476-1569812598/solver-4408476-1569812598 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node146-1569787351-18445 --watchdog 2580 cosoco -lc -model -restarts -stick HOME/instance-4408476-1569812598.xml
running on 4 cores: 1,3,5,7
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=22772, runsolver pid=22769
[startup+0.100167 s]*
/proc/loadavg: 2.06 2.05 2.05 3/199 22773
/proc/meminfo: memFree=19481116/32770624 swapFree=67002480/67108860
[pid=22772] ppid=22769 vsize=39152 memory=15352 CPUtime=0.09 cores=1,3,5,7
/proc/22772/stat : 22772 (cosoco) R 22769 22772 18413 0 -1 4202496 4007 0 0 0 9 0 0 0 20 0 1 0 557173648 40091648 3838 33554432000 4194304 6211132 140723986511584 140723986508120 5542622 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 38875136 140723986514955 140723986515057 140723986515057 140723986517966 0
/proc/22772/statm: 9788 3838 809 493 0 3093 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 39152 KiB
Current children cumulated memory: 15352 KiB
[startup+0.209694 s]*
/proc/loadavg: 2.06 2.05 2.05 3/199 22773
/proc/meminfo: memFree=19478140/32770624 swapFree=67002480/67108860
[pid=22772] ppid=22769 vsize=40728 memory=16868 CPUtime=0.2 cores=1,3,5,7
/proc/22772/stat : 22772 (cosoco) R 22769 22772 18413 0 -1 4202496 4430 0 0 0 20 0 0 0 20 0 1 0 557173648 41705472 4217 33554432000 4194304 6211132 140723986511584 140723986508120 5446681 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 38875136 140723986514955 140723986515057 140723986515057 140723986517966 0
/proc/22772/statm: 10182 4217 819 493 0 3487 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 40728 KiB
Current children cumulated memory: 16868 KiB
[startup+0.309123 s]*
/proc/loadavg: 2.06 2.05 2.05 3/199 22773
/proc/meminfo: memFree=19476016/32770624 swapFree=67002480/67108860
[pid=22772] ppid=22769 vsize=41712 memory=17924 CPUtime=0.3 cores=1,3,5,7
/proc/22772/stat : 22772 (cosoco) R 22769 22772 18413 0 -1 4202496 4684 0 0 0 30 0 0 0 20 0 1 0 557173648 42713088 4481 33554432000 4194304 6211132 140723986511584 140723986508120 139949638347749 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 38875136 140723986514955 140723986515057 140723986515057 140723986517966 0
/proc/22772/statm: 10428 4481 819 493 0 3733 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 41712 KiB
Current children cumulated memory: 17924 KiB
[startup+0.700287 s]
/proc/loadavg: 2.06 2.05 2.05 3/199 22773
/proc/meminfo: memFree=19471924/32770624 swapFree=67002480/67108860
[pid=22772] ppid=22769 vsize=45708 memory=21992 CPUtime=0.68 cores=1,3,5,7
/proc/22772/stat : 22772 (cosoco) R 22769 22772 18413 0 -1 4202496 5670 0 0 0 68 0 0 0 20 0 1 0 557173648 46804992 5498 33554432000 4194304 6211132 140723986511584 140723986508120 139949638347749 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 38875136 140723986514955 140723986515057 140723986515057 140723986517966 0
/proc/22772/statm: 11427 5498 819 493 0 4732 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 45708 KiB
Current children cumulated memory: 21992 KiB
[startup+1.50028 s]
/proc/loadavg: 2.06 2.05 2.05 3/199 22773
/proc/meminfo: memFree=19461880/32770624 swapFree=67002480/67108860
[pid=22772] ppid=22769 vsize=54076 memory=30052 CPUtime=1.49 cores=1,3,5,7
/proc/22772/stat : 22772 (cosoco) R 22769 22772 18413 0 -1 4202496 7732 0 0 0 148 1 0 0 20 0 1 0 557173648 55373824 7513 33554432000 4194304 6211132 140723986511584 140723986508120 139949638347749 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 38875136 140723986514955 140723986515057 140723986515057 140723986517966 0
/proc/22772/statm: 13519 7513 819 493 0 6824 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 54076 KiB
Current children cumulated memory: 30052 KiB
[startup+3.10938 s]
/proc/loadavg: 2.06 2.05 2.05 3/199 22773
/proc/meminfo: memFree=19420588/32770624 swapFree=67002480/67108860
[pid=22772] ppid=22769 vsize=70892 memory=46804 CPUtime=3.1 cores=1,3,5,7
/proc/22772/stat : 22772 (cosoco) R 22769 22772 18413 0 -1 4202496 12052 0 0 0 308 2 0 0 20 0 1 0 557173648 72593408 11701 33554432000 4194304 6211132 140723986511584 140723986508120 139949638347749 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 38875136 140723986514955 140723986515057 140723986515057 140723986517966 0
/proc/22772/statm: 17723 11701 819 493 0 11028 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 70892 KiB
Current children cumulated memory: 46804 KiB
[startup+6.30027 s]
/proc/loadavg: 2.06 2.05 2.05 3/199 22773
/proc/meminfo: memFree=19357712/32770624 swapFree=67002480/67108860
[pid=22772] ppid=22769 vsize=104304 memory=79728 CPUtime=6.28 cores=1,3,5,7
/proc/22772/stat : 22772 (cosoco) R 22769 22772 18413 0 -1 4202496 20449 0 0 0 626 2 0 0 20 0 1 0 557173648 106807296 19932 33554432000 4194304 6211132 140723986511584 140723986485144 139949638347749 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 38875136 140723986514955 140723986515057 140723986515057 140723986517966 0
/proc/22772/statm: 26076 19932 819 493 0 19381 0
Current children cumulated CPU time: 6.28 s
Current children cumulated vsize: 104304 KiB
Current children cumulated memory: 79728 KiB
[startup+12.7003 s]
/proc/loadavg: 2.05 2.04 2.05 3/199 22773
/proc/meminfo: memFree=19233088/32770624 swapFree=67002480/67108860
[pid=22772] ppid=22769 vsize=169632 memory=145728 CPUtime=12.69 cores=1,3,5,7
/proc/22772/stat : 22772 (cosoco) R 22769 22772 18413 0 -1 4202496 37121 0 0 0 1264 5 0 0 20 0 1 0 557173648 173703168 36432 33554432000 4194304 6211132 140723986511584 140723986485144 139949638347749 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 38875136 140723986514955 140723986515057 140723986515057 140723986517966 0
/proc/22772/statm: 42408 36432 819 493 0 35713 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 169632 KiB
Current children cumulated memory: 145728 KiB
[startup+25.5003 s]
/proc/loadavg: 2.04 2.04 2.05 3/199 22774
/proc/meminfo: memFree=18963648/32770624 swapFree=67002480/67108860
[pid=22772] ppid=22769 vsize=302940 memory=277680 CPUtime=25.5 cores=1,3,5,7
/proc/22772/stat : 22772 (cosoco) R 22769 22772 18413 0 -1 4202496 70452 0 0 0 2540 10 0 0 20 0 1 0 557173648 310210560 69420 33554432000 4194304 6211132 140723986511584 140723986485144 139949638347749 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 38875136 140723986514955 140723986515057 140723986515057 140723986517966 0
/proc/22772/statm: 75735 69420 819 493 0 69040 0
Current children cumulated CPU time: 25.5 s
Current children cumulated vsize: 302940 KiB
Current children cumulated memory: 277680 KiB
[startup+51.1094 s]
/proc/loadavg: 2.03 2.04 2.05 3/199 22776
/proc/meminfo: memFree=18424120/32770624 swapFree=67002480/67108860
[pid=22772] ppid=22769 vsize=570908 memory=542800 CPUtime=51.1 cores=1,3,5,7
/proc/22772/stat : 22772 (cosoco) R 22769 22772 18413 0 -1 4202496 135412 0 0 0 5092 18 0 0 20 0 1 0 557173648 584609792 135700 33554432000 4194304 6211132 140723986511584 140723986485144 139949638347749 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 38875136 140723986514955 140723986515057 140723986515057 140723986517966 0
/proc/22772/statm: 142727 135700 819 493 0 136032 0
Current children cumulated CPU time: 51.1 s
Current children cumulated vsize: 570908 KiB
Current children cumulated memory: 542800 KiB
[startup+102.3 s]
/proc/loadavg: 2.01 2.04 2.05 3/199 22780
/proc/meminfo: memFree=17369848/32770624 swapFree=67002480/67108860
[pid=22772] ppid=22769 vsize=1109484 memory=1069372 CPUtime=102.3 cores=1,3,5,7
/proc/22772/stat : 22772 (cosoco) R 22769 22772 18413 0 -1 4202496 264145 0 0 0 10195 35 0 0 20 0 1 0 557173648 1136111616 267343 33554432000 4194304 6211132 140723986511584 140723986485144 139949638347749 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 38875136 140723986514955 140723986515057 140723986515057 140723986517966 0
/proc/22772/statm: 277371 267343 819 493 0 270676 0
Current children cumulated CPU time: 102.3 s
Current children cumulated vsize: 1109484 KiB
Current children cumulated memory: 1069372 KiB
[startup+162.3 s]
/proc/loadavg: 2.00 2.03 2.05 3/199 22784
/proc/meminfo: memFree=16126548/32770624 swapFree=67002480/67108860
[pid=22772] ppid=22769 vsize=1733368 memory=1688436 CPUtime=162.3 cores=1,3,5,7
/proc/22772/stat : 22772 (cosoco) R 22769 22772 18413 0 -1 4202496 414781 0 0 0 16175 55 0 0 20 0 1 0 557173648 1774968832 422109 33554432000 4194304 6211132 140723986511584 140723986485144 139949638347749 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 38875136 140723986514955 140723986515057 140723986515057 140723986517966 0
/proc/22772/statm: 433342 422109 819 493 0 426647 0
Current children cumulated CPU time: 162.3 s
Current children cumulated vsize: 1733368 KiB
Current children cumulated memory: 1688436 KiB
[startup+222.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/199 22790
/proc/meminfo: memFree=14883320/32770624 swapFree=67002480/67108860
[pid=22772] ppid=22769 vsize=2332648 memory=2308156 CPUtime=222.31 cores=1,3,5,7
/proc/22772/stat : 22772 (cosoco) R 22769 22772 18413 0 -1 4202496 564635 0 0 0 22157 74 0 0 20 0 1 0 557173648 2388631552 577039 33554432000 4194304 6211132 140723986511584 140723986485144 139949638347749 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 38875136 140723986514955 140723986515057 140723986515057 140723986517966 0
/proc/22772/statm: 583162 577039 819 493 0 576467 0
Current children cumulated CPU time: 222.31 s
Current children cumulated vsize: 2332648 KiB
Current children cumulated memory: 2308156 KiB
[startup+282.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/199 22794
/proc/meminfo: memFree=13638344/32770624 swapFree=67002480/67108860
[pid=22772] ppid=22769 vsize=2968840 memory=2926164 CPUtime=282.31 cores=1,3,5,7
/proc/22772/stat : 22772 (cosoco) R 22769 22772 18413 0 -1 4202496 715182 0 0 0 28137 94 0 0 20 0 1 0 557173648 3040092160 731541 33554432000 4194304 6211132 140723986511584 140723986485144 139949638347749 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 38875136 140723986514955 140723986515057 140723986515057 140723986517966 0
/proc/22772/statm: 742210 731541 819 493 0 735515 0
Current children cumulated CPU time: 282.31 s
Current children cumulated vsize: 2968840 KiB
Current children cumulated memory: 2926164 KiB
[startup+342.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 22798
/proc/meminfo: memFree=12398296/32770624 swapFree=67002480/67108860
[pid=22772] ppid=22769 vsize=3567988 memory=3543792 CPUtime=342.31 cores=1,3,5,7
/proc/22772/stat : 22772 (cosoco) R 22769 22772 18413 0 -1 4202496 865359 0 0 0 34121 110 0 0 20 0 1 0 557173648 3653619712 885948 33554432000 4194304 6211132 140723986511584 140723986485144 139949638347749 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 38875136 140723986514955 140723986515057 140723986515057 140723986517966 0
/proc/22772/statm: 891997 885948 819 493 0 885302 0
Current children cumulated CPU time: 342.31 s
Current children cumulated vsize: 3567988 KiB
Current children cumulated memory: 3543792 KiB
[startup+402.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 22804
/proc/meminfo: memFree=11154980/32770624 swapFree=67002480/67108860
[pid=22772] ppid=22769 vsize=4222500 memory=4163372 CPUtime=402.33 cores=1,3,5,7
/proc/22772/stat : 22772 (cosoco) R 22769 22772 18413 0 -1 4202496 1016143 0 0 0 40103 130 0 0 20 0 1 0 557173648 4323840000 1040843 33554432000 4194304 6211132 140723986511584 140723986485144 139949638347749 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 38875136 140723986514955 140723986515057 140723986515057 140723986517966 0
/proc/22772/statm: 1055625 1040843 819 493 0 1048930 0
Current children cumulated CPU time: 402.33 s
Current children cumulated vsize: 4222500 KiB
Current children cumulated memory: 4163372 KiB
[startup+462.3 s]
/proc/loadavg: 2.05 2.03 2.05 3/198 22815
/proc/meminfo: memFree=9914444/32770624 swapFree=67002480/67108860
[pid=22772] ppid=22769 vsize=4821384 memory=4780580 CPUtime=462.33 cores=1,3,5,7
/proc/22772/stat : 22772 (cosoco) R 22769 22772 18413 0 -1 4202496 1166368 0 0 0 46081 152 0 0 20 0 1 0 557173648 4937097216 1195145 33554432000 4194304 6211132 140723986511584 140723986485144 139949638347749 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 38875136 140723986514955 140723986515057 140723986515057 140723986517966 0
/proc/22772/statm: 1205346 1195145 819 493 0 1198651 0
Current children cumulated CPU time: 462.33 s
Current children cumulated vsize: 4821384 KiB
Current children cumulated memory: 4780580 KiB
################
# More data... #
################
Current children cumulated vsize: 9833664 KiB
Current children cumulated memory: 9740036 KiB
[startup+1002.3 s]
/proc/loadavg: 2.00 2.04 2.05 3/199 22925
/proc/meminfo: memFree=19919556/32770624 swapFree=67002480/67108860
[pid=22772] ppid=22769 vsize=10434132 memory=10361256 CPUtime=1002.2 cores=1,3,5,7
/proc/22772/stat : 22772 (cosoco) R 22769 22772 18413 0 -1 4202496 2520503 0 0 0 99836 384 0 0 20 0 1 0 557173648 10684551168 2590314 33554432000 4194304 6211132 140723986511584 140723986485144 139949638347749 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 38875136 140723986514955 140723986515057 140723986515057 140723986517966 0
/proc/22772/statm: 2608533 2590314 819 493 0 2601838 0
Current children cumulated CPU time: 1002.2 s
Current children cumulated vsize: 10434132 KiB
Current children cumulated memory: 10361256 KiB
[startup+1062.3 s]
/proc/loadavg: 2.00 2.03 2.05 3/200 22937
/proc/meminfo: memFree=19299804/32770624 swapFree=67002480/67108860
[pid=22772] ppid=22769 vsize=11034468 memory=10979788 CPUtime=1062.18 cores=1,3,5,7
/proc/22772/stat : 22772 (cosoco) R 22769 22772 18413 0 -1 4202496 2670843 0 0 0 105806 412 0 0 20 0 1 0 557173648 11299295232 2744947 33554432000 4194304 6211132 140723986511584 140723986485144 139949638347749 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 38875136 140723986514955 140723986515057 140723986515057 140723986517966 0
/proc/22772/statm: 2758617 2744947 819 493 0 2751922 0
Current children cumulated CPU time: 1062.18 s
Current children cumulated vsize: 11034468 KiB
Current children cumulated memory: 10979788 KiB
[startup+1122.3 s]
/proc/loadavg: 2.00 2.03 2.05 3/200 22943
/proc/meminfo: memFree=18677456/32770624 swapFree=67002480/67108860
[pid=22772] ppid=22769 vsize=11634804 memory=11600580 CPUtime=1122.17 cores=1,3,5,7
/proc/22772/stat : 22772 (cosoco) R 22769 22772 18413 0 -1 4202496 2821193 0 0 0 111773 444 0 0 20 0 1 0 557173648 11914039296 2900145 33554432000 4194304 6211132 140723986511584 140723986485144 139949638347749 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 38875136 140723986514955 140723986515057 140723986515057 140723986517966 0
/proc/22772/statm: 2908701 2900145 819 493 0 2902006 0
Current children cumulated CPU time: 1122.17 s
Current children cumulated vsize: 11634804 KiB
Current children cumulated memory: 11600580 KiB
[startup+1182.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/200 22947
/proc/meminfo: memFree=18056132/32770624 swapFree=67002480/67108860
[pid=22772] ppid=22769 vsize=12422128 memory=12220900 CPUtime=1182.16 cores=1,3,5,7
/proc/22772/stat : 22772 (cosoco) R 22769 22772 18413 0 -1 4202496 2971932 0 0 0 117742 474 0 0 20 0 1 0 557173648 12720259072 3055225 33554432000 4194304 6211132 140723986511584 140723986485144 139949638347749 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 38875136 140723986514955 140723986515057 140723986515057 140723986517966 0
/proc/22772/statm: 3105532 3055225 819 493 0 3098837 0
Current children cumulated CPU time: 1182.16 s
Current children cumulated vsize: 12422128 KiB
Current children cumulated memory: 12220900 KiB
[startup+1242.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/200 22951
/proc/meminfo: memFree=17437104/32770624 swapFree=67002480/67108860
[pid=22772] ppid=22769 vsize=13022332 memory=12839592 CPUtime=1242.16 cores=1,3,5,7
/proc/22772/stat : 22772 (cosoco) R 22769 22772 18413 0 -1 4202496 3122193 0 0 0 123710 506 0 0 20 0 1 0 557173648 13334867968 3209898 33554432000 4194304 6211132 140723986511584 140723986485144 139949638347749 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 38875136 140723986514955 140723986515057 140723986515057 140723986517966 0
/proc/22772/statm: 3255583 3209898 819 493 0 3248888 0
Current children cumulated CPU time: 1242.16 s
Current children cumulated vsize: 13022332 KiB
Current children cumulated memory: 12839592 KiB
[startup+1302.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/200 22957
/proc/meminfo: memFree=16817116/32770624 swapFree=67002480/67108860
[pid=22772] ppid=22769 vsize=13622536 memory=13458340 CPUtime=1302.15 cores=1,3,5,7
/proc/22772/stat : 22772 (cosoco) R 22769 22772 18413 0 -1 4202496 3272530 0 0 0 129676 539 0 0 20 0 1 0 557173648 13949476864 3364585 33554432000 4194304 6211132 140723986511584 140723986485144 139949638347749 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 38875136 140723986514955 140723986515057 140723986515057 140723986517966 0
/proc/22772/statm: 3405634 3364585 819 493 0 3398939 0
Current children cumulated CPU time: 1302.15 s
Current children cumulated vsize: 13622536 KiB
Current children cumulated memory: 13458340 KiB
[startup+1362.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 22962
/proc/meminfo: memFree=16195532/32770624 swapFree=67002480/67108860
[pid=22772] ppid=22769 vsize=14222608 memory=14078868 CPUtime=1362.14 cores=1,3,5,7
/proc/22772/stat : 22772 (cosoco) R 22769 22772 18413 0 -1 4202496 3422799 0 0 0 135645 569 0 0 20 0 1 0 557173648 14563950592 3519717 33554432000 4194304 6211132 140723986511584 140723986485144 139949638347749 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 38875136 140723986514955 140723986515057 140723986515057 140723986517966 0
/proc/22772/statm: 3555652 3519717 819 493 0 3548957 0
Current children cumulated CPU time: 1362.14 s
Current children cumulated vsize: 14222608 KiB
Current children cumulated memory: 14078868 KiB
[startup+1422.3 s]
/proc/loadavg: 2.04 2.03 2.05 3/199 22966
/proc/meminfo: memFree=15575528/32770624 swapFree=67002480/67108860
[pid=22772] ppid=22769 vsize=14822548 memory=14697088 CPUtime=1422.14 cores=1,3,5,7
/proc/22772/stat : 22772 (cosoco) R 22769 22772 18413 0 -1 4202496 3573062 0 0 0 141612 602 0 0 20 0 1 0 557173648 15178289152 3674272 33554432000 4194304 6211132 140723986511584 140723986485144 139949638347749 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 38875136 140723986514955 140723986515057 140723986515057 140723986517966 0
/proc/22772/statm: 3705637 3674272 819 493 0 3698942 0
Current children cumulated CPU time: 1422.14 s
Current children cumulated vsize: 14822548 KiB
Current children cumulated memory: 14697088 KiB
[startup+1482.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/199 22972
/proc/meminfo: memFree=14952668/32770624 swapFree=67002480/67108860
[pid=22772] ppid=22769 vsize=15422092 memory=15317352 CPUtime=1482.13 cores=1,3,5,7
/proc/22772/stat : 22772 (cosoco) R 22769 22772 18413 0 -1 4202496 3723231 0 0 0 147573 640 0 0 20 0 1 0 557173648 15792222208 3829338 33554432000 4194304 6211132 140723986511584 140723986485144 139949638347749 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 38875136 140723986514955 140723986515057 140723986515057 140723986517966 0
/proc/22772/statm: 3855523 3829338 819 493 0 3848828 0
Current children cumulated CPU time: 1482.13 s
Current children cumulated vsize: 15422092 KiB
Current children cumulated memory: 15317352 KiB
Maximum VSize exceeded: sending SIGTERM then SIGKILL
[startup+1527.4 s]
/proc/loadavg: 2.01 2.02 2.05 3/199 22977
/proc/meminfo: memFree=14487852/32770624 swapFree=67002480/67108860
[pid=22772] ppid=22769 vsize=15872476 memory=15782000 CPUtime=1527.22 cores=1,3,5,7
/proc/22772/stat : 22772 (cosoco) R 22769 22772 18413 0 -1 4202496 3836019 0 0 0 152051 671 0 0 20 0 1 0 557173648 16253415424 3945500 33554432000 4194304 6211132 140723986511584 140723986485144 139949638347749 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 38875136 140723986514955 140723986515057 140723986515057 140723986517966 0
/proc/22772/statm: 3968119 3945500 819 493 0 3961424 0
Current children cumulated CPU time: 1527.22 s
Current children cumulated vsize: 15872476 KiB
Current children cumulated memory: 15782000 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
??? end of watcher thread
[startup+1530.2 s]
# the end of solver process 22772 was just reported to runsolver
# cumulated CPU time of all completed processes: user=1520.83 s, system=7.53813 s
Solver just ended.
Dumping a history of the last processes samples
[startup+1528 s]*
/proc/loadavg: 1.93 2.00 2.04 4/200 22978
/proc/meminfo: memFree=14142372/32770624 swapFree=67002480/67108860
[pid=22772] ppid=22769 vsize=15872476 memory=15782000 CPUtime=1527.32 cores=1,3,5,7
/proc/22772/stat : 22772 (cosoco) S 22769 22772 18413 0 -1 512 3836023 0 0 0 152060 672 0 0 20 0 1 0 557173648 16253415424 3945500 33554432000 4194304 6211132 140723986511584 140723986485144 5189800 0 16384 4096 8405026 18446744071580971376 0 0 17 1 0 0 0 0 0 8312316 8317760 38875136 140723986514955 140723986515057 140723986515057 140723986517966 0
/proc/22772/statm: 3968119 3945500 819 493 0 3961424 0
Current children cumulated CPU time: 1527.32 s
Current children cumulated vsize: 15872476 KiB
Current children cumulated memory: 15782000 KiB
[startup+1528.8 s]
/proc/loadavg: 1.93 2.00 2.04 4/200 22978
/proc/meminfo: memFree=14142372/32770624 swapFree=67002480/67108860
[pid=22772] ppid=22769 vsize=15872476 memory=15782000 CPUtime=1527.45 cores=1,3,5,7
/proc/22772/stat : 22772 (cosoco) S 22769 22772 18413 0 -1 512 3836023 0 0 0 152072 673 0 0 20 0 1 0 557173648 16253415424 3945500 33554432000 4194304 6211132 140723986511584 140723986485144 5189800 0 16384 4096 8405026 18446744071580971376 0 0 17 3 0 0 0 0 0 8312316 8317760 38875136 140723986514955 140723986515057 140723986515057 140723986517966 0
/proc/22772/statm: 3968119 3945500 819 493 0 3961424 0
Current children cumulated CPU time: 1527.45 s
Current children cumulated vsize: 15872476 KiB
Current children cumulated memory: 15782000 KiB
[startup+1529.2 s]
/proc/loadavg: 1.93 2.00 2.04 3/200 22978
/proc/meminfo: memFree=13556224/32770624 swapFree=67002480/67108860
[pid=22772] ppid=22769 vsize=15872476 memory=15782000 CPUtime=1527.53 cores=1,3,5,7
/proc/22772/stat : 22772 (cosoco) S 22769 22772 18413 0 -1 512 3836023 0 0 0 152079 674 0 0 20 0 1 0 557173648 16253415424 3945500 33554432000 4194304 6211132 140723986511584 140723986485144 5189800 0 16384 4096 8405026 18446744071580971376 0 0 17 3 0 0 0 0 0 8312316 8317760 38875136 140723986514955 140723986515057 140723986515057 140723986517966 0
/proc/22772/statm: 3968119 3945500 819 493 0 3961424 0
Current children cumulated CPU time: 1527.53 s
Current children cumulated vsize: 15872476 KiB
Current children cumulated memory: 15782000 KiB
[startup+1529.4 s]
/proc/loadavg: 1.93 2.00 2.04 3/200 22978
/proc/meminfo: memFree=13556224/32770624 swapFree=67002480/67108860
[pid=22772] ppid=22769 vsize=15872476 memory=15782000 CPUtime=1527.56 cores=1,3,5,7
/proc/22772/stat : 22772 (cosoco) S 22769 22772 18413 0 -1 512 3836023 0 0 0 152082 674 0 0 20 0 1 0 557173648 16253415424 3945500 33554432000 4194304 6211132 140723986511584 140723986485144 5189800 0 16384 4096 8405026 18446744071580971376 0 0 17 3 0 0 0 0 0 8312316 8317760 38875136 140723986514955 140723986515057 140723986515057 140723986517966 0
/proc/22772/statm: 3968119 3945500 819 493 0 3961424 0
Current children cumulated CPU time: 1527.56 s
Current children cumulated vsize: 15872476 KiB
Current children cumulated memory: 15782000 KiB
Child ended because it received signal 9 (SIGKILL)
Real time (s): 1530.2
CPU time (s): 1528.36
CPU user time (s): 1520.83
CPU system time (s): 7.53813
CPU usage (%): 99.8803
Max. virtual memory (cumulated for all children) (KiB): 15872476
Max. memory (cumulated for all children) (KiB): 15782000
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1520.83
system time used= 7.53813
maximum resident set size= 15782048
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3836023
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= 142129
involuntary context switches= 1162
# summary of solver processes directly reported to runsolver:
# pid: 22772
# total CPU time (s): 1528.36
# total CPU user time (s): 1520.83
# total CPU system time (s): 7.53813
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.89959 second user time and 9.86039 second system time
The end