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 (14373 MiB free)
memory of node 1: 16384 MiB (15478 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4408967-1569792834/watcher-4408967-1569792834 -o /tmp/evaluation-result-4408967-1569792834/solver-4408967-1569792834 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node133-1569787352-8873 --watchdog 2560 cosoco -lc -model -restarts -stick HOME/instance-4408967-1569792834.xml
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=9812, runsolver pid=9809
Current StackSize limit: 8192 KiB
[startup+0.100194 s]*
/proc/loadavg: 2.02 2.03 1.97 3/203 9813
/proc/meminfo: memFree=30567756/32770624 swapFree=67003180/67108860
[pid=9812] ppid=9809 vsize=28556 memory=5008 CPUtime=0.1 cores=0,2,4,6
/proc/9812/stat : 9812 (cosoco) R 9809 9812 8842 0 -1 4202496 1418 0 0 0 10 0 0 0 20 0 1 0 555522855 29241344 1252 33554432000 4194304 6211132 140731582364464 140731582361000 140232961989605 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 14929920 140731582366731 140731582366833 140731582366833 140731582369742 0
/proc/9812/statm: 7139 1252 845 493 0 444 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 28556 KiB
Current children cumulated memory: 5008 KiB
[startup+0.209926 s]*
/proc/loadavg: 2.02 2.03 1.97 3/203 9813
/proc/meminfo: memFree=30566672/32770624 swapFree=67003180/67108860
[pid=9812] ppid=9809 vsize=29636 memory=6064 CPUtime=0.21 cores=0,2,4,6
/proc/9812/stat : 9812 (cosoco) R 9809 9812 8842 0 -1 4202496 1681 0 0 0 21 0 0 0 20 0 1 0 555522855 30347264 1516 33554432000 4194304 6211132 140731582364464 140731582343944 140232961989605 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 14929920 140731582366731 140731582366833 140731582366833 140731582369742 0
/proc/9812/statm: 7409 1516 846 493 0 714 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 29636 KiB
Current children cumulated memory: 6064 KiB
[startup+0.309475 s]*
/proc/loadavg: 2.02 2.03 1.97 3/203 9813
/proc/meminfo: memFree=30565928/32770624 swapFree=67003180/67108860
[pid=9812] ppid=9809 vsize=30600 memory=6856 CPUtime=0.31 cores=0,2,4,6
/proc/9812/stat : 9812 (cosoco) R 9809 9812 8842 0 -1 4202496 1921 0 0 0 31 0 0 0 20 0 1 0 555522855 31334400 1714 33554432000 4194304 6211132 140731582364464 140731582343944 140232961989605 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 14929920 140731582366731 140731582366833 140731582366833 140731582369742 0
/proc/9812/statm: 7650 1714 846 493 0 955 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 30600 KiB
Current children cumulated memory: 6856 KiB
[startup+0.700336 s]
/proc/loadavg: 2.02 2.03 1.97 3/203 9813
/proc/meminfo: memFree=30564068/32770624 swapFree=67003180/67108860
[pid=9812] ppid=9809 vsize=34240 memory=10672 CPUtime=0.69 cores=0,2,4,6
/proc/9812/stat : 9812 (cosoco) R 9809 9812 8842 0 -1 4202496 2843 0 0 0 69 0 0 0 20 0 1 0 555522855 35061760 2668 33554432000 4194304 6211132 140731582364464 140731582343944 140232961989605 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 14929920 140731582366731 140731582366833 140731582366833 140731582369742 0
/proc/9812/statm: 8560 2668 846 493 0 1865 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 34240 KiB
Current children cumulated memory: 10672 KiB
[startup+1.50034 s]
/proc/loadavg: 2.02 2.03 1.97 3/203 9813
/proc/meminfo: memFree=30559356/32770624 swapFree=67003180/67108860
[pid=9812] ppid=9809 vsize=42108 memory=18212 CPUtime=1.49 cores=0,2,4,6
/proc/9812/stat : 9812 (cosoco) R 9809 9812 8842 0 -1 4202496 4772 0 0 0 149 0 0 0 20 0 1 0 555522855 43118592 4553 33554432000 4194304 6211132 140731582364464 140731582343944 140232961989605 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 14929920 140731582366731 140731582366833 140731582366833 140731582369742 0
/proc/9812/statm: 10527 4553 846 493 0 3832 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 42108 KiB
Current children cumulated memory: 18212 KiB
[startup+3.1098 s]
/proc/loadavg: 1.85 2.00 1.96 3/203 9813
/proc/meminfo: memFree=30540016/32770624 swapFree=67003180/67108860
[pid=9812] ppid=9809 vsize=57960 memory=33892 CPUtime=3.1 cores=0,2,4,6
/proc/9812/stat : 9812 (cosoco) R 9809 9812 8842 0 -1 4202496 8695 0 0 0 309 1 0 0 20 0 1 0 555522855 59351040 8473 33554432000 4194304 6211132 140731582364464 140731582343944 5446299 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 14929920 140731582366731 140731582366833 140731582366833 140731582369742 0
/proc/9812/statm: 14490 8473 846 493 0 7795 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 57960 KiB
Current children cumulated memory: 33892 KiB
[startup+6.30033 s]
/proc/loadavg: 1.85 2.00 1.96 3/204 9815
/proc/meminfo: memFree=30510048/32770624 swapFree=67003180/67108860
[pid=9812] ppid=9809 vsize=88356 memory=64596 CPUtime=6.29 cores=0,2,4,6
/proc/9812/stat : 9812 (cosoco) R 9809 9812 8842 0 -1 4202496 16429 0 0 0 628 1 0 0 20 0 1 0 555522855 90476544 16149 33554432000 4194304 6211132 140731582364464 140731582343944 140232961989605 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 14929920 140731582366731 140731582366833 140731582366833 140731582369742 0
/proc/9812/statm: 22089 16149 846 493 0 15394 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 88356 KiB
Current children cumulated memory: 64596 KiB
[startup+12.7002 s]
/proc/loadavg: 1.87 2.00 1.96 3/203 9815
/proc/meminfo: memFree=30451980/32770624 swapFree=67003180/67108860
[pid=9812] ppid=9809 vsize=150696 memory=126112 CPUtime=12.68 cores=0,2,4,6
/proc/9812/stat : 9812 (cosoco) R 9809 9812 8842 0 -1 4202496 31881 0 0 0 1265 3 0 0 20 0 1 0 555522855 154312704 31528 33554432000 4194304 6211132 140731582364464 140731582343944 5456342 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8312316 8317760 14929920 140731582366731 140731582366833 140731582366833 140731582369742 0
/proc/9812/statm: 37674 31528 846 493 0 30979 0
Current children cumulated CPU time: 12.68 s
Current children cumulated vsize: 150696 KiB
Current children cumulated memory: 126112 KiB
[startup+25.5004 s]
/proc/loadavg: 1.90 2.00 1.96 3/203 9815
/proc/meminfo: memFree=30326980/32770624 swapFree=67003180/67108860
[pid=9812] ppid=9809 vsize=276276 memory=249080 CPUtime=25.49 cores=0,2,4,6
/proc/9812/stat : 9812 (cosoco) R 9809 9812 8842 0 -1 4202496 62205 0 0 0 2541 8 0 0 20 0 1 0 555522855 282906624 62270 33554432000 4194304 6211132 140731582364464 140731582343944 140232961989605 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 14929920 140731582366731 140731582366833 140731582366833 140731582369742 0
/proc/9812/statm: 69069 62270 846 493 0 62374 0
Current children cumulated CPU time: 25.49 s
Current children cumulated vsize: 276276 KiB
Current children cumulated memory: 249080 KiB
[startup+51.1099 s]
/proc/loadavg: 1.93 2.00 1.96 3/203 9816
/proc/meminfo: memFree=30075384/32770624 swapFree=67003180/67108860
[pid=9812] ppid=9809 vsize=530256 memory=496124 CPUtime=51.08 cores=0,2,4,6
/proc/9812/stat : 9812 (cosoco) R 9809 9812 8842 0 -1 4202496 121965 0 0 0 5092 16 0 0 20 0 1 0 555522855 542982144 124031 33554432000 4194304 6211132 140731582364464 140731582343944 5443144 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 14929920 140731582366731 140731582366833 140731582366833 140731582369742 0
/proc/9812/statm: 132564 124031 846 493 0 125869 0
Current children cumulated CPU time: 51.08 s
Current children cumulated vsize: 530256 KiB
Current children cumulated memory: 496124 KiB
[startup+102.3 s]
/proc/loadavg: 1.95 2.00 1.96 3/203 9822
/proc/meminfo: memFree=29582568/32770624 swapFree=67003180/67108860
[pid=9812] ppid=9809 vsize=1017372 memory=990672 CPUtime=102.26 cores=0,2,4,6
/proc/9812/stat : 9812 (cosoco) R 9809 9812 8842 0 -1 4202496 240490 0 0 0 10194 32 0 0 20 0 1 0 555522855 1041788928 247668 33554432000 4194304 6211132 140731582364464 140731582343944 140232961989605 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 14929920 140731582366731 140731582366833 140731582366833 140731582369742 0
/proc/9812/statm: 254343 247668 846 493 0 247648 0
Current children cumulated CPU time: 102.26 s
Current children cumulated vsize: 1017372 KiB
Current children cumulated memory: 990672 KiB
[startup+162.3 s]
/proc/loadavg: 1.98 2.00 1.96 3/203 9826
/proc/meminfo: memFree=29001328/32770624 swapFree=67003180/67108860
[pid=9812] ppid=9809 vsize=1594528 memory=1569572 CPUtime=162.25 cores=0,2,4,6
/proc/9812/stat : 9812 (cosoco) R 9809 9812 8842 0 -1 4202496 379135 0 0 0 16175 50 0 0 20 0 1 0 555522855 1632796672 392393 33554432000 4194304 6211132 140731582364464 140731582343944 140232961989605 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 14929920 140731582366731 140731582366833 140731582366833 140731582369742 0
/proc/9812/statm: 398632 392393 846 493 0 391937 0
Current children cumulated CPU time: 162.25 s
Current children cumulated vsize: 1594528 KiB
Current children cumulated memory: 1569572 KiB
[startup+222.3 s]
/proc/loadavg: 1.99 2.00 1.96 3/204 9831
/proc/meminfo: memFree=28422360/32770624 swapFree=67003180/67108860
[pid=9812] ppid=9809 vsize=2184124 memory=2149124 CPUtime=222.24 cores=0,2,4,6
/proc/9812/stat : 9812 (cosoco) R 9809 9812 8842 0 -1 4202496 517872 0 0 0 22155 69 0 0 20 0 1 0 555522855 2236542976 537281 33554432000 4194304 6211132 140731582364464 140731582343944 140232961989605 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 14929920 140731582366731 140731582366833 140731582366833 140731582369742 0
/proc/9812/statm: 546031 537281 846 493 0 539336 0
Current children cumulated CPU time: 222.24 s
Current children cumulated vsize: 2184124 KiB
Current children cumulated memory: 2149124 KiB
[startup+282.3 s]
/proc/loadavg: 2.00 2.00 1.96 3/203 9837
/proc/meminfo: memFree=27840984/32770624 swapFree=67003180/67108860
[pid=9812] ppid=9809 vsize=2792304 memory=2726440 CPUtime=282.24 cores=0,2,4,6
/proc/9812/stat : 9812 (cosoco) R 9809 9812 8842 0 -1 4202496 656628 0 0 0 28137 87 0 0 20 0 1 0 555522855 2859319296 681610 33554432000 4194304 6211132 140731582364464 140731582343944 140232961989605 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 14929920 140731582366731 140731582366833 140731582366833 140731582369742 0
/proc/9812/statm: 698076 681610 846 493 0 691381 0
Current children cumulated CPU time: 282.24 s
Current children cumulated vsize: 2792304 KiB
Current children cumulated memory: 2726440 KiB
[startup+342.3 s]
/proc/loadavg: 2.00 2.00 1.96 3/204 9842
/proc/meminfo: memFree=27261872/32770624 swapFree=67003180/67108860
[pid=9812] ppid=9809 vsize=3344612 memory=3305368 CPUtime=342.22 cores=0,2,4,6
/proc/9812/stat : 9812 (cosoco) R 9809 9812 8842 0 -1 4202496 794750 0 0 0 34117 105 0 0 20 0 1 0 555522855 3424882688 826342 33554432000 4194304 6211132 140731582364464 140731582343944 140232961989605 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 14929920 140731582366731 140731582366833 140731582366833 140731582369742 0
/proc/9812/statm: 836153 826342 846 493 0 829458 0
Current children cumulated CPU time: 342.22 s
Current children cumulated vsize: 3344612 KiB
Current children cumulated memory: 3305368 KiB
[startup+402.3 s]
/proc/loadavg: 2.00 2.00 1.96 3/204 9846
/proc/meminfo: memFree=26682088/32770624 swapFree=67003180/67108860
[pid=9812] ppid=9809 vsize=3979996 memory=3883784 CPUtime=402.21 cores=0,2,4,6
/proc/9812/stat : 9812 (cosoco) R 9809 9812 8842 0 -1 4202496 933302 0 0 0 40098 123 0 0 20 0 1 0 555522855 4075515904 970946 33554432000 4194304 6211132 140731582364464 140731582343944 140232961989605 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 14929920 140731582366731 140731582366833 140731582366833 140731582369742 0
/proc/9812/statm: 994999 970946 846 493 0 988304 0
Current children cumulated CPU time: 402.21 s
Current children cumulated vsize: 3979996 KiB
Current children cumulated memory: 3883784 KiB
[startup+462.3 s]
/proc/loadavg: 2.00 2.00 1.96 3/204 9859
/proc/meminfo: memFree=26101532/32770624 swapFree=67003180/67108860
[pid=9812] ppid=9809 vsize=4532416 memory=4462684 CPUtime=462.2 cores=0,2,4,6
/proc/9812/stat : 9812 (cosoco) R 9809 9812 8842 0 -1 4202496 1071449 0 0 0 46080 140 0 0 20 0 1 0 555522855 4641193984 1115671 33554432000 4194304 6211132 140731582364464 140731582343944 140232961989605 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 14929920 140731582366731 140731582366833 140731582366833 140731582369742 0
/proc/9812/statm: 1133104 1115671 846 493 0 1126409 0
Current children cumulated CPU time: 462.2 s
Current children cumulated vsize: 4532416 KiB
Current children cumulated memory: 4462684 KiB
################
# More data... #
################
Current children cumulated vsize: 10366252 KiB
Current children cumulated memory: 10248712 KiB
[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 1.96 3/205 9918
/proc/meminfo: memFree=19724076/32770624 swapFree=67003180/67108860
[pid=9812] ppid=9809 vsize=10918540 memory=10827724 CPUtime=1122.11 cores=0,2,4,6
/proc/9812/stat : 9812 (cosoco) R 9809 9812 8842 0 -1 4202496 2592584 0 0 0 111847 364 0 0 20 0 1 0 555522855 11180584960 2706931 33554432000 4194304 6211132 140731582364464 140731582343944 140232961989605 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 14929920 140731582366731 140731582366833 140731582366833 140731582369742 0
/proc/9812/statm: 2729635 2706931 846 493 0 2722940 0
Current children cumulated CPU time: 1122.11 s
Current children cumulated vsize: 10918540 KiB
Current children cumulated memory: 10827724 KiB
[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 1.96 3/205 9924
/proc/meminfo: memFree=19146480/32770624 swapFree=67003180/67108860
[pid=9812] ppid=9809 vsize=11470820 memory=11406452 CPUtime=1182.1 cores=0,2,4,6
/proc/9812/stat : 9812 (cosoco) R 9809 9812 8842 0 -1 4202496 2730807 0 0 0 117822 388 0 0 20 0 1 0 555522855 11746119680 2851613 33554432000 4194304 6211132 140731582364464 140731582343944 140232961989605 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 14929920 140731582366731 140731582366833 140731582366833 140731582369742 0
/proc/9812/statm: 2867705 2851613 846 493 0 2861010 0
Current children cumulated CPU time: 1182.1 s
Current children cumulated vsize: 11470820 KiB
Current children cumulated memory: 11406452 KiB
[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 1.96 3/206 9942
/proc/meminfo: memFree=18565972/32770624 swapFree=67003180/67108860
[pid=9812] ppid=9809 vsize=12023036 memory=11983304 CPUtime=1242.09 cores=0,2,4,6
/proc/9812/stat : 9812 (cosoco) R 9809 9812 8842 0 -1 4202496 2869088 0 0 0 123798 411 0 0 20 0 1 0 555522855 12311588864 2995826 33554432000 4194304 6211132 140731582364464 140731582343944 140232961989605 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 14929920 140731582366731 140731582366833 140731582366833 140731582369742 0
/proc/9812/statm: 3005759 2995826 846 493 0 2999064 0
Current children cumulated CPU time: 1242.09 s
Current children cumulated vsize: 12023036 KiB
Current children cumulated memory: 11983304 KiB
[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 1.96 3/206 9946
/proc/meminfo: memFree=17986120/32770624 swapFree=67003180/67108860
[pid=9812] ppid=9809 vsize=12855340 memory=12561840 CPUtime=1302.08 cores=0,2,4,6
/proc/9812/stat : 9812 (cosoco) R 9809 9812 8842 0 -1 4202496 3007781 0 0 0 129772 436 0 0 20 0 1 0 555522855 13163868160 3140460 33554432000 4194304 6211132 140731582364464 140731582343944 140232961989605 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 14929920 140731582366731 140731582366833 140731582366833 140731582369742 0
/proc/9812/statm: 3213835 3140460 846 493 0 3207140 0
Current children cumulated CPU time: 1302.08 s
Current children cumulated vsize: 12855340 KiB
Current children cumulated memory: 12561840 KiB
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 1.96 3/204 9953
/proc/meminfo: memFree=17406088/32770624 swapFree=67003180/67108860
[pid=9812] ppid=9809 vsize=13407100 memory=13140148 CPUtime=1362.07 cores=0,2,4,6
/proc/9812/stat : 9812 (cosoco) R 9809 9812 8842 0 -1 4202496 3145917 0 0 0 135747 460 0 0 20 0 1 0 555522855 13728870400 3285037 33554432000 4194304 6211132 140731582364464 140731582343944 140232961989605 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 14929920 140731582366731 140731582366833 140731582366833 140731582369742 0
/proc/9812/statm: 3351775 3285037 846 493 0 3345080 0
Current children cumulated CPU time: 1362.07 s
Current children cumulated vsize: 13407100 KiB
Current children cumulated memory: 13140148 KiB
[startup+1422.3 s]
/proc/loadavg: 2.05 2.01 1.97 3/204 9957
/proc/meminfo: memFree=16826560/32770624 swapFree=67003180/67108860
[pid=9812] ppid=9809 vsize=13958992 memory=13718868 CPUtime=1422.06 cores=0,2,4,6
/proc/9812/stat : 9812 (cosoco) R 9809 9812 8842 0 -1 4202496 3284095 0 0 0 141721 485 0 0 20 0 1 0 555522855 14294007808 3429717 33554432000 4194304 6211132 140731582364464 140731582343944 140232961989605 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 14929920 140731582366731 140731582366833 140731582366833 140731582369742 0
/proc/9812/statm: 3489748 3429717 846 493 0 3483053 0
Current children cumulated CPU time: 1422.06 s
Current children cumulated vsize: 13958992 KiB
Current children cumulated memory: 13718868 KiB
[startup+1482.3 s]
/proc/loadavg: 2.02 2.01 1.97 3/204 9961
/proc/meminfo: memFree=16246916/32770624 swapFree=67003180/67108860
[pid=9812] ppid=9809 vsize=14510884 memory=14297164 CPUtime=1482.05 cores=0,2,4,6
/proc/9812/stat : 9812 (cosoco) R 9809 9812 8842 0 -1 4202496 3422281 0 0 0 147695 510 0 0 20 0 1 0 555522855 14859145216 3574291 33554432000 4194304 6211132 140731582364464 140731582343944 140232961989605 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 14929920 140731582366731 140731582366833 140731582366833 140731582369742 0
/proc/9812/statm: 3627721 3574291 846 493 0 3621026 0
Current children cumulated CPU time: 1482.05 s
Current children cumulated vsize: 14510884 KiB
Current children cumulated memory: 14297164 KiB
[startup+1542.3 s]
/proc/loadavg: 2.01 2.01 1.97 3/203 9969
/proc/meminfo: memFree=15668488/32770624 swapFree=67003180/67108860
[pid=9812] ppid=9809 vsize=15061720 memory=14872872 CPUtime=1542.05 cores=0,2,4,6
/proc/9812/stat : 9812 (cosoco) R 9809 9812 8842 0 -1 4202496 3560233 0 0 0 153665 540 0 0 20 0 1 0 555522855 15423201280 3718218 33554432000 4194304 6211132 140731582364464 140731582343944 140232961989605 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 14929920 140731582366731 140731582366833 140731582366833 140731582369742 0
/proc/9812/statm: 3765430 3718218 846 493 0 3758735 0
Current children cumulated CPU time: 1542.05 s
Current children cumulated vsize: 15061720 KiB
Current children cumulated memory: 14872872 KiB
[startup+1602.3 s]
/proc/loadavg: 2.00 2.01 1.97 3/204 9974
/proc/meminfo: memFree=15090256/32770624 swapFree=67003180/67108860
[pid=9812] ppid=9809 vsize=15612424 memory=15450092 CPUtime=1602.03 cores=0,2,4,6
/proc/9812/stat : 9812 (cosoco) R 9809 9812 8842 0 -1 4202496 3698114 0 0 0 159630 573 0 0 20 0 1 0 555522855 15987122176 3862523 33554432000 4194304 6211132 140731582364464 140731582343944 140232961989605 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 14929920 140731582366731 140731582366833 140731582366833 140731582369742 0
/proc/9812/statm: 3903106 3862523 846 493 0 3896411 0
Current children cumulated CPU time: 1602.03 s
Current children cumulated vsize: 15612424 KiB
Current children cumulated memory: 15450092 KiB
Maximum VSize exceeded: sending SIGTERM then SIGKILL
[startup+1630.7 s]
/proc/loadavg: 2.00 2.01 1.97 3/205 9986
/proc/meminfo: memFree=14820680/32770624 swapFree=67003180/67108860
[pid=9812] ppid=9809 vsize=15872728 memory=15722676 CPUtime=1630.43 cores=0,2,4,6
/proc/9812/stat : 9812 (cosoco) R 9809 9812 8842 0 -1 4202496 3763280 0 0 0 162455 588 0 0 20 0 1 0 555522855 16253673472 3930669 33554432000 4194304 6211132 140731582364464 140731582343944 140232961989605 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 14929920 140731582366731 140731582366833 140731582366833 140731582369742 0
/proc/9812/statm: 3968182 3930669 846 493 0 3961487 0
Current children cumulated CPU time: 1630.43 s
Current children cumulated vsize: 15872728 KiB
Current children cumulated memory: 15722676 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
??? end of watcher thread
[startup+1633.44 s]
# the end of solver process 9812 was just reported to runsolver
# cumulated CPU time of all completed processes: user=1624.83 s, system=6.65326 s
Solver just ended.
Dumping a history of the last processes samples
[startup+1632 s]*
/proc/loadavg: 2.00 2.01 1.97 3/206 9987
/proc/meminfo: memFree=14160904/32770624 swapFree=67003180/67108860
[pid=9812] ppid=9809 vsize=15872728 memory=15722676 CPUtime=1630.63 cores=0,2,4,6
/proc/9812/stat : 9812 (cosoco) S 9809 9812 8842 0 -1 512 3763284 0 0 0 162474 589 0 0 20 0 1 0 555522855 16253673472 3930669 33554432000 4194304 6211132 140731582364464 140731582343944 5189800 0 16384 4096 8405026 18446744071580971376 0 0 17 4 0 0 0 0 0 8312316 8317760 14929920 140731582366731 140731582366833 140731582366833 140731582369742 0
/proc/9812/statm: 3968182 3930669 846 493 0 3961487 0
Current children cumulated CPU time: 1630.63 s
Current children cumulated vsize: 15872728 KiB
Current children cumulated memory: 15722676 KiB
[startup+1632.4 s]
/proc/loadavg: 2.00 2.01 1.97 3/206 9987
/proc/meminfo: memFree=14160904/32770624 swapFree=67003180/67108860
[pid=9812] ppid=9809 vsize=15872728 memory=15722676 CPUtime=1630.69 cores=0,2,4,6
/proc/9812/stat : 9812 (cosoco) S 9809 9812 8842 0 -1 512 3763284 0 0 0 162479 590 0 0 20 0 1 0 555522855 16253673472 3930669 33554432000 4194304 6211132 140731582364464 140731582343944 5189800 0 16384 4096 8405026 18446744071580971376 0 0 17 4 0 0 0 0 0 8312316 8317760 14929920 140731582366731 140731582366833 140731582366833 140731582369742 0
/proc/9812/statm: 3968182 3930669 846 493 0 3961487 0
Current children cumulated CPU time: 1630.69 s
Current children cumulated vsize: 15872728 KiB
Current children cumulated memory: 15722676 KiB
[startup+1632.6 s]
/proc/loadavg: 2.00 2.01 1.97 3/206 9987
/proc/meminfo: memFree=14160904/32770624 swapFree=67003180/67108860
[pid=9812] ppid=9809 vsize=15872728 memory=15722676 CPUtime=1630.71 cores=0,2,4,6
/proc/9812/stat : 9812 (cosoco) S 9809 9812 8842 0 -1 512 3763284 0 0 0 162481 590 0 0 20 0 1 0 555522855 16253673472 3930669 33554432000 4194304 6211132 140731582364464 140731582343944 5189800 0 16384 4096 8405026 18446744071580971376 0 0 17 4 0 0 0 0 0 8312316 8317760 14929920 140731582366731 140731582366833 140731582366833 140731582369742 0
/proc/9812/statm: 3968182 3930669 846 493 0 3961487 0
Current children cumulated CPU time: 1630.71 s
Current children cumulated vsize: 15872728 KiB
Current children cumulated memory: 15722676 KiB
[startup+1632.7 s]
/proc/loadavg: 2.00 2.01 1.97 3/206 9987
/proc/meminfo: memFree=14160904/32770624 swapFree=67003180/67108860
[pid=9812] ppid=9809 vsize=15872728 memory=15722676 CPUtime=1630.74 cores=0,2,4,6
/proc/9812/stat : 9812 (cosoco) R 9809 9812 8842 0 -1 512 3763284 0 0 0 162483 591 0 0 20 0 1 0 555522855 16253673472 3930669 33554432000 4194304 6211132 140731582364464 140731582343944 5189800 0 16384 4096 8405026 18446744071580971376 0 0 17 4 0 0 0 0 0 8312316 8317760 14929920 140731582366731 140731582366833 140731582366833 140731582369742 0
/proc/9812/statm: 3968182 3930669 846 493 0 3961487 0
Current children cumulated CPU time: 1630.74 s
Current children cumulated vsize: 15872728 KiB
Current children cumulated memory: 15722676 KiB
Child ended because it received signal 9 (SIGKILL)
Real time (s): 1633.44
CPU time (s): 1631.48
CPU user time (s): 1624.83
CPU system time (s): 6.65326
CPU usage (%): 99.8801
Max. virtual memory (cumulated for all children) (KiB): 15872728
Max. memory (cumulated for all children) (KiB): 15722676
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1624.83
system time used= 6.65326
maximum resident set size= 15722828
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3763284
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= 125948
involuntary context switches= 1495
# summary of solver processes directly reported to runsolver:
# pid: 9812
# total CPU time (s): 1631.48
# total CPU user time (s): 1624.83
# total CPU system time (s): 6.65326
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.20828 second user time and 11.5951 second system time
The end