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 (8462 MiB free)
memory of node 1: 16384 MiB (11846 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4389791-1568321735/watcher-4389791-1568321735 -o /tmp/evaluation-result-4389791-1568321735/solver-4389791-1568321735 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node123-1568311188-14000 --watchdog 2580 cosoco -lc -model -restarts -stick HOME/instance-4389791-1568321735.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
solver pid=15823, runsolver pid=15820
Current StackSize limit: 8192 KiB
[startup+0.100195 s]*
/proc/loadavg: 2.00 2.02 2.05 3/199 15824
/proc/meminfo: memFree=20794412/32770624 swapFree=66999904/67108860
[pid=15823] ppid=15820 vsize=28948 memory=5364 CPUtime=0.1 cores=0,2,4,6
/proc/15823/stat : 15823 (cosoco) R 15820 15823 13969 0 -1 4202496 1544 0 0 0 10 0 0 0 20 0 1 0 408438358 29642752 1341 33554432000 4194304 6210612 140721258555536 140721258414824 139985698708453 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 31629312 140721258558475 140721258558577 140721258558577 140721258561486 0
/proc/15823/statm: 7237 1341 845 493 0 542 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 28948 KiB
Current children cumulated memory: 5364 KiB
[startup+0.209743 s]*
/proc/loadavg: 2.00 2.02 2.05 3/199 15824
/proc/meminfo: memFree=20793624/32770624 swapFree=66999904/67108860
[pid=15823] ppid=15820 vsize=29740 memory=6156 CPUtime=0.21 cores=0,2,4,6
/proc/15823/stat : 15823 (cosoco) R 15820 15823 13969 0 -1 4202496 1751 0 0 0 21 0 0 0 20 0 1 0 408438358 30453760 1539 33554432000 4194304 6210612 140721258555536 140721258414824 5446446 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 31629312 140721258558475 140721258558577 140721258558577 140721258561486 0
/proc/15823/statm: 7435 1539 845 493 0 740 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 29740 KiB
Current children cumulated memory: 6156 KiB
[startup+0.308933 s]*
/proc/loadavg: 2.00 2.02 2.05 3/199 15824
/proc/meminfo: memFree=20793252/32770624 swapFree=66999904/67108860
[pid=15823] ppid=15820 vsize=30532 memory=6948 CPUtime=0.3 cores=0,2,4,6
/proc/15823/stat : 15823 (cosoco) R 15820 15823 13969 0 -1 4202496 1942 0 0 0 30 0 0 0 20 0 1 0 408438358 31264768 1737 33554432000 4194304 6210612 140721258555536 140721258414824 139985698708453 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 31629312 140721258558475 140721258558577 140721258558577 140721258561486 0
/proc/15823/statm: 7633 1737 845 493 0 938 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 30532 KiB
Current children cumulated memory: 6948 KiB
[startup+0.700336 s]
/proc/loadavg: 2.00 2.02 2.05 3/199 15824
/proc/meminfo: memFree=20791888/32770624 swapFree=66999904/67108860
[pid=15823] ppid=15820 vsize=33436 memory=9852 CPUtime=0.69 cores=0,2,4,6
/proc/15823/stat : 15823 (cosoco) R 15820 15823 13969 0 -1 4202496 2670 0 0 0 69 0 0 0 20 0 1 0 408438358 34238464 2463 33554432000 4194304 6210612 140721258555536 140721258414824 139985698708453 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 31629312 140721258558475 140721258558577 140721258558577 140721258561486 0
/proc/15823/statm: 8359 2463 845 493 0 1664 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 33436 KiB
Current children cumulated memory: 9852 KiB
[startup+1.50034 s]
/proc/loadavg: 2.00 2.02 2.05 3/199 15824
/proc/meminfo: memFree=20788168/32770624 swapFree=66999904/67108860
[pid=15823] ppid=15820 vsize=39508 memory=15924 CPUtime=1.48 cores=0,2,4,6
/proc/15823/stat : 15823 (cosoco) R 15820 15823 13969 0 -1 4202496 4194 0 0 0 148 0 0 0 20 0 1 0 408438358 40456192 3981 33554432000 4194304 6210612 140721258555536 140721258414824 139985698708453 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 31629312 140721258558475 140721258558577 140721258558577 140721258561486 0
/proc/15823/statm: 9877 3981 845 493 0 3182 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 39508 KiB
Current children cumulated memory: 15924 KiB
[startup+3.10943 s]
/proc/loadavg: 2.00 2.02 2.05 3/199 15824
/proc/meminfo: memFree=20772056/32770624 swapFree=66999904/67108860
[pid=15823] ppid=15820 vsize=51732 memory=28088 CPUtime=3.1 cores=0,2,4,6
/proc/15823/stat : 15823 (cosoco) R 15820 15823 13969 0 -1 4202496 7430 0 0 0 309 1 0 0 20 0 1 0 408438358 52973568 7022 33554432000 4194304 6210612 140721258555536 140721258414824 139985698708453 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 31629312 140721258558475 140721258558577 140721258558577 140721258561486 0
/proc/15823/statm: 12933 7022 845 493 0 6238 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 51732 KiB
Current children cumulated memory: 28088 KiB
[startup+6.30033 s]
/proc/loadavg: 2.00 2.02 2.05 3/199 15825
/proc/meminfo: memFree=20749552/32770624 swapFree=66999904/67108860
[pid=15823] ppid=15820 vsize=75880 memory=52192 CPUtime=6.28 cores=0,2,4,6
/proc/15823/stat : 15823 (cosoco) R 15820 15823 13969 0 -1 4202496 13633 0 0 0 627 1 0 0 20 0 1 0 408438358 77701120 13048 33554432000 4194304 6210612 140721258555536 140721258414824 139985698708453 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 31629312 140721258558475 140721258558577 140721258558577 140721258561486 0
/proc/15823/statm: 18970 13048 845 493 0 12275 0
Current children cumulated CPU time: 6.28 s
Current children cumulated vsize: 75880 KiB
Current children cumulated memory: 52192 KiB
[startup+12.7003 s]
/proc/loadavg: 2.00 2.02 2.05 3/199 15825
/proc/meminfo: memFree=20704620/32770624 swapFree=66999904/67108860
[pid=15823] ppid=15820 vsize=124376 memory=100628 CPUtime=12.69 cores=0,2,4,6
/proc/15823/stat : 15823 (cosoco) R 15820 15823 13969 0 -1 4202496 25917 0 0 0 1266 3 0 0 20 0 1 0 408438358 127361024 25157 33554432000 4194304 6210612 140721258555536 140721258414824 139985698708453 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 31629312 140721258558475 140721258558577 140721258558577 140721258561486 0
/proc/15823/statm: 31094 25157 845 493 0 24399 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 124376 KiB
Current children cumulated memory: 100628 KiB
[startup+25.5003 s]
/proc/loadavg: 2.08 2.04 2.06 3/199 15827
/proc/meminfo: memFree=20605628/32770624 swapFree=66999904/67108860
[pid=15823] ppid=15820 vsize=221152 memory=197412 CPUtime=25.49 cores=0,2,4,6
/proc/15823/stat : 15823 (cosoco) R 15820 15823 13969 0 -1 4202496 50476 0 0 0 2543 6 0 0 20 0 1 0 408438358 226459648 49353 33554432000 4194304 6210612 140721258555536 140721258414824 139985698704190 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 31629312 140721258558475 140721258558577 140721258558577 140721258561486 0
/proc/15823/statm: 55288 49353 845 493 0 48593 0
Current children cumulated CPU time: 25.49 s
Current children cumulated vsize: 221152 KiB
Current children cumulated memory: 197412 KiB
[startup+51.1094 s]
/proc/loadavg: 2.05 2.04 2.05 3/199 15828
/proc/meminfo: memFree=20409084/32770624 swapFree=66999904/67108860
[pid=15823] ppid=15820 vsize=415072 memory=391116 CPUtime=51.1 cores=0,2,4,6
/proc/15823/stat : 15823 (cosoco) R 15820 15823 13969 0 -1 4202496 99075 0 0 0 5097 13 0 0 20 0 1 0 408438358 425033728 97779 33554432000 4194304 6210612 140721258555536 140721258414824 139985698708453 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 31629312 140721258558475 140721258558577 140721258558577 140721258561486 0
/proc/15823/statm: 103768 97779 845 493 0 97073 0
Current children cumulated CPU time: 51.1 s
Current children cumulated vsize: 415072 KiB
Current children cumulated memory: 391116 KiB
[startup+102.3 s]
/proc/loadavg: 2.14 2.06 2.06 3/199 15832
/proc/meminfo: memFree=20022424/32770624 swapFree=66999904/67108860
[pid=15823] ppid=15820 vsize=802912 memory=778404 CPUtime=102.28 cores=0,2,4,6
/proc/15823/stat : 15823 (cosoco) R 15820 15823 13969 0 -1 4202496 196026 0 0 0 10202 26 0 0 20 0 1 0 408438358 822181888 194601 33554432000 4194304 6210612 140721258555536 140721258414824 139985698708453 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 31629312 140721258558475 140721258558577 140721258558577 140721258561486 0
/proc/15823/statm: 200728 194601 845 493 0 194033 0
Current children cumulated CPU time: 102.28 s
Current children cumulated vsize: 802912 KiB
Current children cumulated memory: 778404 KiB
[startup+162.3 s]
/proc/loadavg: 2.16 2.08 2.06 3/199 15838
/proc/meminfo: memFree=19566612/32770624 swapFree=66999904/67108860
[pid=15823] ppid=15820 vsize=1257304 memory=1232472 CPUtime=162.27 cores=0,2,4,6
/proc/15823/stat : 15823 (cosoco) R 15820 15823 13969 0 -1 4202496 309556 0 0 0 16184 43 0 0 20 0 1 0 408438358 1287479296 308118 33554432000 4194304 6210612 140721258555536 140721258414824 139985698708453 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 31629312 140721258558475 140721258558577 140721258558577 140721258561486 0
/proc/15823/statm: 314326 308118 845 493 0 307631 0
Current children cumulated CPU time: 162.27 s
Current children cumulated vsize: 1257304 KiB
Current children cumulated memory: 1232472 KiB
[startup+222.3 s]
/proc/loadavg: 2.17 2.10 2.07 3/199 15843
/proc/meminfo: memFree=19112056/32770624 swapFree=66999904/67108860
[pid=15823] ppid=15820 vsize=1712776 memory=1686568 CPUtime=222.25 cores=0,2,4,6
/proc/15823/stat : 15823 (cosoco) R 15820 15823 13969 0 -1 4202496 423088 0 0 0 22168 57 0 0 20 0 1 0 408438358 1753882624 421642 33554432000 4194304 6210612 140721258555536 140721258414824 139985698708453 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 31629312 140721258558475 140721258558577 140721258558577 140721258561486 0
/proc/15823/statm: 428194 421642 845 493 0 421499 0
Current children cumulated CPU time: 222.25 s
Current children cumulated vsize: 1712776 KiB
Current children cumulated memory: 1686568 KiB
[startup+282.3 s]
/proc/loadavg: 2.06 2.08 2.06 3/199 15847
/proc/meminfo: memFree=18657008/32770624 swapFree=66999904/67108860
[pid=15823] ppid=15820 vsize=2165140 memory=2140644 CPUtime=282.25 cores=0,2,4,6
/proc/15823/stat : 15823 (cosoco) R 15820 15823 13969 0 -1 4202496 536655 0 0 0 28154 71 0 0 20 0 1 0 408438358 2217103360 535161 33554432000 4194304 6210612 140721258555536 140721258414824 139985698708453 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 31629312 140721258558475 140721258558577 140721258558577 140721258561486 0
/proc/15823/statm: 541285 535161 845 493 0 534590 0
Current children cumulated CPU time: 282.25 s
Current children cumulated vsize: 2165140 KiB
Current children cumulated memory: 2140644 KiB
[startup+342.3 s]
/proc/loadavg: 2.02 2.06 2.06 3/199 15860
/proc/meminfo: memFree=18200648/32770624 swapFree=66999904/67108860
[pid=15823] ppid=15820 vsize=2622496 memory=2596684 CPUtime=342.23 cores=0,2,4,6
/proc/15823/stat : 15823 (cosoco) R 15820 15823 13969 0 -1 4202496 650146 0 0 0 34136 87 0 0 20 0 1 0 408438358 2685435904 649171 33554432000 4194304 6210612 140721258555536 140721258414824 139985698708453 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 31629312 140721258558475 140721258558577 140721258558577 140721258561486 0
/proc/15823/statm: 655624 649171 845 493 0 648929 0
Current children cumulated CPU time: 342.23 s
Current children cumulated vsize: 2622496 KiB
Current children cumulated memory: 2596684 KiB
[startup+402.3 s]
/proc/loadavg: 2.01 2.05 2.05 3/199 15946
/proc/meminfo: memFree=17172180/32770624 swapFree=66999904/67108860
[pid=15823] ppid=15820 vsize=3074992 memory=3051364 CPUtime=402.22 cores=0,2,4,6
/proc/15823/stat : 15823 (cosoco) R 15820 15823 13969 0 -1 4202496 763466 0 0 0 40115 107 0 0 20 0 1 0 408438358 3148791808 762841 33554432000 4194304 6210612 140721258555536 140721258414824 139985698708453 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 31629312 140721258558475 140721258558577 140721258558577 140721258561486 0
/proc/15823/statm: 768748 762841 845 493 0 762053 0
Current children cumulated CPU time: 402.22 s
Current children cumulated vsize: 3074992 KiB
Current children cumulated memory: 3051364 KiB
[startup+462.3 s]
/proc/loadavg: 2.00 2.04 2.05 3/199 15950
/proc/meminfo: memFree=15991604/32770624 swapFree=66999904/67108860
[pid=15823] ppid=15820 vsize=3535176 memory=3504412 CPUtime=462.2 cores=0,2,4,6
/proc/15823/stat : 15823 (cosoco) R 15820 15823 13969 0 -1 4202496 876906 0 0 0 46097 123 0 0 20 0 1 0 408438358 3620020224 876103 33554432000 4194304 6210612 140721258555536 140721258414824 139985698708453 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 31629312 140721258558475 140721258558577 140721258558577 140721258561486 0
/proc/15823/statm: 883794 876103 845 493 0 877099 0
Current children cumulated CPU time: 462.2 s
Current children cumulated vsize: 3535176 KiB
Current children cumulated memory: 3504412 KiB
################
# More data... #
################
Current children cumulated vsize: 11266328 KiB
Current children cumulated memory: 11242104 KiB
[startup+1542.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/200 16051
/proc/meminfo: memFree=183496/32770624 swapFree=66999904/67108860
[pid=15823] ppid=15820 vsize=11718824 memory=11694968 CPUtime=1542.07 cores=0,2,4,6
/proc/15823/stat : 15823 (cosoco) R 15820 15823 13969 0 -1 4202496 2926327 0 0 0 153719 488 0 0 20 0 1 0 408438358 12000075776 2923742 33554432000 4194304 6210612 140721258555536 140721258414824 139985698708453 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 31629312 140721258558475 140721258558577 140721258558577 140721258561486 0
/proc/15823/statm: 2929706 2923742 845 493 0 2923011 0
Current children cumulated CPU time: 1542.07 s
Current children cumulated vsize: 11718824 KiB
Current children cumulated memory: 11694968 KiB
[startup+1602.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/200 16057
/proc/meminfo: memFree=193800/32770624 swapFree=66999904/67108860
[pid=15823] ppid=15820 vsize=12195660 memory=12151044 CPUtime=1602.07 cores=0,2,4,6
/proc/15823/stat : 15823 (cosoco) R 15820 15823 13969 0 -1 4202496 3040398 0 0 0 159694 513 0 0 20 0 1 0 408438358 12488355840 3037761 33554432000 4194304 6210612 140721258555536 140721258414824 139985698708453 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 31629312 140721258558475 140721258558577 140721258558577 140721258561486 0
/proc/15823/statm: 3048915 3037761 845 493 0 3042220 0
Current children cumulated CPU time: 1602.07 s
Current children cumulated vsize: 12195660 KiB
Current children cumulated memory: 12151044 KiB
[startup+1662.3 s]
/proc/loadavg: 2.32 2.08 2.07 2/207 16084
/proc/meminfo: memFree=15803916/32770624 swapFree=66999904/67108860
[pid=15823] ppid=15820 vsize=12647496 memory=12602920 CPUtime=1662.06 cores=0,2,4,6
/proc/15823/stat : 15823 (cosoco) R 15820 15823 13969 0 -1 4202496 3153894 0 0 0 165667 539 0 0 20 0 1 0 408438358 12951035904 3150730 33554432000 4194304 6210612 140721258555536 140721258414824 139985698708453 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8308220 8313664 31629312 140721258558475 140721258558577 140721258558577 140721258561486 0
/proc/15823/statm: 3161874 3150730 845 493 0 3155179 0
Current children cumulated CPU time: 1662.06 s
Current children cumulated vsize: 12647496 KiB
Current children cumulated memory: 12602920 KiB
[startup+1722.3 s]
/proc/loadavg: 2.15 2.08 2.07 3/202 16131
/proc/meminfo: memFree=16047092/32770624 swapFree=66999904/67108860
[pid=15823] ppid=15820 vsize=13096692 memory=13054192 CPUtime=1722.05 cores=0,2,4,6
/proc/15823/stat : 15823 (cosoco) R 15820 15823 13969 0 -1 4202496 3267065 0 0 0 171637 568 0 0 20 0 1 0 408438358 13411012608 3263548 33554432000 4194304 6210612 140721258555536 140721258414824 5451392 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8308220 8313664 31629312 140721258558475 140721258558577 140721258558577 140721258561486 0
/proc/15823/statm: 3274173 3263548 845 493 0 3267478 0
Current children cumulated CPU time: 1722.05 s
Current children cumulated vsize: 13096692 KiB
Current children cumulated memory: 13054192 KiB
[startup+1782.3 s]
/proc/loadavg: 2.01 2.05 2.06 3/202 16137
/proc/meminfo: memFree=15595648/32770624 swapFree=66999904/67108860
[pid=15823] ppid=15820 vsize=13547340 memory=13506756 CPUtime=1782.03 cores=0,2,4,6
/proc/15823/stat : 15823 (cosoco) R 15820 15823 13969 0 -1 4202496 3380631 0 0 0 177606 597 0 0 20 0 1 0 408438358 13872476160 3376689 33554432000 4194304 6210612 140721258555536 140721258414824 139985698708453 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 31629312 140721258558475 140721258558577 140721258558577 140721258561486 0
/proc/15823/statm: 3386835 3376689 845 493 0 3380140 0
Current children cumulated CPU time: 1782.03 s
Current children cumulated vsize: 13547340 KiB
Current children cumulated memory: 13506756 KiB
[startup+1842.3 s]
/proc/loadavg: 2.01 2.04 2.05 3/201 16142
/proc/meminfo: memFree=15140476/32770624 swapFree=66999904/67108860
[pid=15823] ppid=15820 vsize=13999572 memory=13961052 CPUtime=1842.03 cores=0,2,4,6
/proc/15823/stat : 15823 (cosoco) R 15820 15823 13969 0 -1 4202496 3494415 0 0 0 183578 625 0 0 20 0 1 0 408438358 14335561728 3490263 33554432000 4194304 6210612 140721258555536 140721258414824 139985698708453 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 31629312 140721258558475 140721258558577 140721258558577 140721258561486 0
/proc/15823/statm: 3499893 3490263 845 493 0 3493198 0
Current children cumulated CPU time: 1842.03 s
Current children cumulated vsize: 13999572 KiB
Current children cumulated memory: 13961052 KiB
[startup+1902.3 s]
/proc/loadavg: 2.00 2.04 2.05 3/201 16146
/proc/meminfo: memFree=14683796/32770624 swapFree=66999904/67108860
[pid=15823] ppid=15820 vsize=14450748 memory=14414312 CPUtime=1902.02 cores=0,2,4,6
/proc/15823/stat : 15823 (cosoco) R 15820 15823 13969 0 -1 4202496 3607936 0 0 0 189544 658 0 0 20 0 1 0 408438358 14797565952 3603578 33554432000 4194304 6210612 140721258555536 140721258414824 139985698708453 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 31629312 140721258558475 140721258558577 140721258558577 140721258561486 0
/proc/15823/statm: 3612687 3603578 845 493 0 3605992 0
Current children cumulated CPU time: 1902.02 s
Current children cumulated vsize: 14450748 KiB
Current children cumulated memory: 14414312 KiB
[startup+1962.3 s]
/proc/loadavg: 2.00 2.03 2.05 3/201 16152
/proc/meminfo: memFree=14230068/32770624 swapFree=66999904/67108860
[pid=15823] ppid=15820 vsize=14902048 memory=14867660 CPUtime=1962.01 cores=0,2,4,6
/proc/15823/stat : 15823 (cosoco) R 15820 15823 13969 0 -1 4202496 3721628 0 0 0 195507 694 0 0 20 0 1 0 408438358 15259697152 3716915 33554432000 4194304 6210612 140721258555536 140721258414824 139985698708453 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 31629312 140721258558475 140721258558577 140721258558577 140721258561486 0
/proc/15823/statm: 3725512 3716915 845 493 0 3718817 0
Current children cumulated CPU time: 1962.01 s
Current children cumulated vsize: 14902048 KiB
Current children cumulated memory: 14867660 KiB
[startup+2022.3 s]
/proc/loadavg: 2.04 2.04 2.05 3/199 16157
/proc/meminfo: memFree=13776996/32770624 swapFree=66999904/67108860
[pid=15823] ppid=15820 vsize=15352960 memory=15320372 CPUtime=2021.99 cores=0,2,4,6
/proc/15823/stat : 15823 (cosoco) R 15820 15823 13969 0 -1 4202496 3835054 0 0 0 201468 731 0 0 20 0 1 0 408438358 15721431040 3830093 33554432000 4194304 6210612 140721258555536 140721258414824 139985698708453 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 31629312 140721258558475 140721258558577 140721258558577 140721258561486 0
/proc/15823/statm: 3838240 3830093 845 493 0 3831545 0
Current children cumulated CPU time: 2021.99 s
Current children cumulated vsize: 15352960 KiB
Current children cumulated memory: 15320372 KiB
[startup+2082.3 s]
/proc/loadavg: 2.01 2.03 2.05 3/199 16161
/proc/meminfo: memFree=13323104/32770624 swapFree=66999904/67108860
[pid=15823] ppid=15820 vsize=15803608 memory=15773368 CPUtime=2081.98 cores=0,2,4,6
/proc/15823/stat : 15823 (cosoco) R 15820 15823 13969 0 -1 4202496 3948467 0 0 0 207432 766 0 0 20 0 1 0 408438358 16182894592 3943342 33554432000 4194304 6210612 140721258555536 140721258414824 139985698708453 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 31629312 140721258558475 140721258558577 140721258558577 140721258561486 0
/proc/15823/statm: 3950902 3943342 845 493 0 3944207 0
Current children cumulated CPU time: 2081.98 s
Current children cumulated vsize: 15803608 KiB
Current children cumulated memory: 15773368 KiB
Maximum VSize exceeded: sending SIGTERM then SIGKILL
[startup+2091.4 s]
/proc/loadavg: 2.01 2.03 2.05 3/200 16164
/proc/meminfo: memFree=13256272/32770624 swapFree=66999904/67108860
[pid=15823] ppid=15820 vsize=15872116 memory=15841832 CPUtime=2091.08 cores=0,2,4,6
/proc/15823/stat : 15823 (cosoco) R 15820 15823 13969 0 -1 4202496 3965755 0 0 0 208336 772 0 0 20 0 1 0 408438358 16253046784 3960458 33554432000 4194304 6210612 140721258555536 140721258414824 139985698708453 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 31629312 140721258558475 140721258558577 140721258558577 140721258561486 0
/proc/15823/statm: 3968029 3960458 845 493 0 3961334 0
Current children cumulated CPU time: 2091.08 s
Current children cumulated vsize: 15872116 KiB
Current children cumulated memory: 15841832 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
??? end of watcher thread
[startup+2094.19 s]
# the end of solver process 15823 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2083.63 s, system=8.52062 s
Solver just ended.
Dumping a history of the last processes samples
[startup+2092.8 s]
/proc/loadavg: 2.01 2.03 2.05 3/200 16165
/proc/meminfo: memFree=12973168/32770624 swapFree=66999904/67108860
[pid=15823] ppid=15820 vsize=15872120 memory=15841832 CPUtime=2091.26 cores=0,2,4,6
/proc/15823/stat : 15823 (cosoco) S 15820 15823 13969 0 -1 512 3965760 0 0 0 208354 772 0 0 20 0 1 0 408438358 16253050880 3960458 33554432000 4194304 6210612 140721258555536 140721258414824 5188952 0 16384 4096 8405026 18446744071580971376 0 0 17 4 0 0 0 0 0 8308220 8313664 31629312 140721258558475 140721258558577 140721258558577 140721258561486 0
/proc/15823/statm: 3968030 3960458 845 493 0 3961335 0
Current children cumulated CPU time: 2091.26 s
Current children cumulated vsize: 15872120 KiB
Current children cumulated memory: 15841832 KiB
[startup+2093.2 s]
/proc/loadavg: 2.01 2.03 2.05 4/200 16165
/proc/meminfo: memFree=12483244/32770624 swapFree=66999904/67108860
[pid=15823] ppid=15820 vsize=15872120 memory=15841832 CPUtime=2091.32 cores=0,2,4,6
/proc/15823/stat : 15823 (cosoco) S 15820 15823 13969 0 -1 512 3965760 0 0 0 208360 772 0 0 20 0 1 0 408438358 16253050880 3960458 33554432000 4194304 6210612 140721258555536 140721258414824 5188952 0 16384 4096 8405026 18446744071580971376 0 0 17 4 0 0 0 0 0 8308220 8313664 31629312 140721258558475 140721258558577 140721258558577 140721258561486 0
/proc/15823/statm: 3968030 3960458 845 493 0 3961335 0
Current children cumulated CPU time: 2091.32 s
Current children cumulated vsize: 15872120 KiB
Current children cumulated memory: 15841832 KiB
[startup+2093.4 s]
/proc/loadavg: 2.01 2.03 2.05 4/200 16165
/proc/meminfo: memFree=12483244/32770624 swapFree=66999904/67108860
[pid=15823] ppid=15820 vsize=15872120 memory=15841832 CPUtime=2091.35 cores=0,2,4,6
/proc/15823/stat : 15823 (cosoco) S 15820 15823 13969 0 -1 512 3965760 0 0 0 208363 772 0 0 20 0 1 0 408438358 16253050880 3960458 33554432000 4194304 6210612 140721258555536 140721258414824 5188952 0 16384 4096 8405026 18446744071580971376 0 0 17 4 0 0 0 0 0 8308220 8313664 31629312 140721258558475 140721258558577 140721258558577 140721258561486 0
/proc/15823/statm: 3968030 3960458 845 493 0 3961335 0
Current children cumulated CPU time: 2091.35 s
Current children cumulated vsize: 15872120 KiB
Current children cumulated memory: 15841832 KiB
Child ended because it received signal 9 (SIGKILL)
Real time (s): 2094.19
CPU time (s): 2092.15
CPU user time (s): 2083.63
CPU system time (s): 8.52062
CPU usage (%): 99.9026
Max. virtual memory (cumulated for all children) (KiB): 15872120
Max. memory (cumulated for all children) (KiB): 15841832
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2083.63
system time used= 8.52062
maximum resident set size= 15841904
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3965760
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= 120933
involuntary context switches= 3739
# summary of solver processes directly reported to runsolver:
# pid: 15823
# total CPU time (s): 2092.15
# total CPU user time (s): 2083.63
# total CPU system time (s): 8.52062
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.78835 second user time and 14.3428 second system time
The end