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 (12539 MiB free)
memory of node 1: 16384 MiB (15783 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4390435-1568354085/watcher-4390435-1568354085 -o /tmp/evaluation-result-4390435-1568354085/solver-4390435-1568354085 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node123-1568344627-20925 --watchdog 2560 cosoco -lc -model -restarts -stick HOME/instance-4390435-1568354085.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=22575, runsolver pid=22572
Current StackSize limit: 8192 KiB
[startup+0.100158 s]*
/proc/loadavg: 1.98 2.00 2.04 3/200 22576
/proc/meminfo: memFree=28991576/32770624 swapFree=66999908/67108860
[pid=22575] ppid=22572 vsize=39160 memory=15368 CPUtime=0.1 cores=1,3,5,7
/proc/22575/stat : 22575 (cosoco) R 22572 22575 20893 0 -1 4202496 4009 0 0 0 10 0 0 0 20 0 1 0 411673370 40099840 3842 33554432000 4194304 6210612 140722973765648 140722973762184 5742054 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8308220 8313664 13475840 140722973766667 140722973766769 140722973766769 140722973769678 0
/proc/22575/statm: 9790 3842 809 493 0 3095 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 39160 KiB
Current children cumulated memory: 15368 KiB
[startup+0.20973 s]*
/proc/loadavg: 1.98 2.00 2.04 3/200 22576
/proc/meminfo: memFree=28989716/32770624 swapFree=66999908/67108860
[pid=22575] ppid=22572 vsize=40736 memory=17008 CPUtime=0.21 cores=1,3,5,7
/proc/22575/stat : 22575 (cosoco) R 22572 22575 20893 0 -1 4202496 4432 0 0 0 21 0 0 0 20 0 1 0 411673370 41713664 4252 33554432000 4194304 6210612 140722973765648 140722973762184 140380977159141 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8308220 8313664 13475840 140722973766667 140722973766769 140722973766769 140722973769678 0
/proc/22575/statm: 10184 4252 819 493 0 3489 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 40736 KiB
Current children cumulated memory: 17008 KiB
[startup+0.30899 s]*
/proc/loadavg: 1.98 2.00 2.04 3/200 22576
/proc/meminfo: memFree=28988600/32770624 swapFree=66999908/67108860
[pid=22575] ppid=22572 vsize=41720 memory=18064 CPUtime=0.31 cores=1,3,5,7
/proc/22575/stat : 22575 (cosoco) R 22572 22575 20893 0 -1 4202496 4692 0 0 0 31 0 0 0 20 0 1 0 411673370 42721280 4516 33554432000 4194304 6210612 140722973765648 140722973762184 140380977159141 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8308220 8313664 13475840 140722973766667 140722973766769 140722973766769 140722973769678 0
/proc/22575/statm: 10430 4516 819 493 0 3735 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 41720 KiB
Current children cumulated memory: 18064 KiB
[startup+0.700272 s]
/proc/loadavg: 1.98 2.00 2.04 3/200 22576
/proc/meminfo: memFree=28986740/32770624 swapFree=66999908/67108860
[pid=22575] ppid=22572 vsize=45848 memory=21996 CPUtime=0.69 cores=1,3,5,7
/proc/22575/stat : 22575 (cosoco) R 22572 22575 20893 0 -1 4202496 5684 0 0 0 69 0 0 0 20 0 1 0 411673370 46948352 5499 33554432000 4194304 6210612 140722973765648 140722973762184 140380977159141 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8308220 8313664 13475840 140722973766667 140722973766769 140722973766769 140722973769678 0
/proc/22575/statm: 11462 5499 819 493 0 4767 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 45848 KiB
Current children cumulated memory: 21996 KiB
[startup+1.50028 s]
/proc/loadavg: 1.98 2.00 2.04 3/200 22576
/proc/meminfo: memFree=28981252/32770624 swapFree=66999908/67108860
[pid=22575] ppid=22572 vsize=54216 memory=30320 CPUtime=1.49 cores=1,3,5,7
/proc/22575/stat : 22575 (cosoco) R 22572 22575 20893 0 -1 4202496 7760 0 0 0 149 0 0 0 20 0 1 0 411673370 55517184 7580 33554432000 4194304 6210612 140722973765648 140722973739208 140380977159141 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8308220 8313664 13475840 140722973766667 140722973766769 140722973766769 140722973769678 0
/proc/22575/statm: 13554 7580 819 493 0 6859 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 54216 KiB
Current children cumulated memory: 30320 KiB
[startup+3.10952 s]
/proc/loadavg: 1.98 2.00 2.04 3/200 22576
/proc/meminfo: memFree=28960156/32770624 swapFree=66999908/67108860
[pid=22575] ppid=22572 vsize=71032 memory=47072 CPUtime=3.1 cores=1,3,5,7
/proc/22575/stat : 22575 (cosoco) R 22572 22575 20893 0 -1 4202496 12108 0 0 0 309 1 0 0 20 0 1 0 411673370 72736768 11768 33554432000 4194304 6210612 140722973765648 140722973739208 140380977159141 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8308220 8313664 13475840 140722973766667 140722973766769 140722973766769 140722973769678 0
/proc/22575/statm: 17758 11768 819 493 0 11063 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 71032 KiB
Current children cumulated memory: 47072 KiB
[startup+6.30027 s]
/proc/loadavg: 1.98 2.00 2.04 3/200 22576
/proc/meminfo: memFree=28928904/32770624 swapFree=66999908/67108860
[pid=22575] ppid=22572 vsize=104708 memory=80000 CPUtime=6.29 cores=1,3,5,7
/proc/22575/stat : 22575 (cosoco) R 22572 22575 20893 0 -1 4202496 20562 0 0 0 627 2 0 0 20 0 1 0 411673370 107220992 20000 33554432000 4194304 6210612 140722973765648 140722973739208 140380977159141 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8308220 8313664 13475840 140722973766667 140722973766769 140722973766769 140722973769678 0
/proc/22575/statm: 26177 20000 819 493 0 19482 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 104708 KiB
Current children cumulated memory: 80000 KiB
[startup+12.7003 s]
/proc/loadavg: 1.98 2.00 2.04 3/200 22576
/proc/meminfo: memFree=28866656/32770624 swapFree=66999908/67108860
[pid=22575] ppid=22572 vsize=170564 memory=146524 CPUtime=12.69 cores=1,3,5,7
/proc/22575/stat : 22575 (cosoco) R 22572 22575 20893 0 -1 4202496 37341 0 0 0 1265 4 0 0 20 0 1 0 411673370 174657536 36631 33554432000 4194304 6210612 140722973765648 140722973739208 5012488 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8308220 8313664 13475840 140722973766667 140722973766769 140722973766769 140722973769678 0
/proc/22575/statm: 42641 36631 819 493 0 35946 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 170564 KiB
Current children cumulated memory: 146524 KiB
[startup+25.5003 s]
/proc/loadavg: 1.98 2.00 2.04 3/200 22578
/proc/meminfo: memFree=28729664/32770624 swapFree=66999908/67108860
[pid=22575] ppid=22572 vsize=304664 memory=280520 CPUtime=25.49 cores=1,3,5,7
/proc/22575/stat : 22575 (cosoco) R 22572 22575 20893 0 -1 4202496 70686 0 0 0 2541 8 0 0 20 0 1 0 411673370 311975936 70130 33554432000 4194304 6210612 140722973765648 140722973739208 140380977159141 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8308220 8313664 13475840 140722973766667 140722973766769 140722973766769 140722973769678 0
/proc/22575/statm: 76166 70130 819 493 0 69471 0
Current children cumulated CPU time: 25.49 s
Current children cumulated vsize: 304664 KiB
Current children cumulated memory: 280520 KiB
[startup+51.1095 s]
/proc/loadavg: 1.99 2.00 2.04 3/200 22579
/proc/meminfo: memFree=28460068/32770624 swapFree=66999908/67108860
[pid=22575] ppid=22572 vsize=574348 memory=545708 CPUtime=51.09 cores=1,3,5,7
/proc/22575/stat : 22575 (cosoco) R 22572 22575 20893 0 -1 4202496 136104 0 0 0 5091 18 0 0 20 0 1 0 411673370 588132352 136427 33554432000 4194304 6210612 140722973765648 140722973739208 5446483 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8308220 8313664 13475840 140722973766667 140722973766769 140722973766769 140722973769678 0
/proc/22575/statm: 143587 136427 819 493 0 136892 0
Current children cumulated CPU time: 51.09 s
Current children cumulated vsize: 574348 KiB
Current children cumulated memory: 545708 KiB
[startup+102.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/199 22583
/proc/meminfo: memFree=27928364/32770624 swapFree=66999908/67108860
[pid=22575] ppid=22572 vsize=1118468 memory=1078636 CPUtime=102.27 cores=1,3,5,7
/proc/22575/stat : 22575 (cosoco) R 22572 22575 20893 0 -1 4202496 266343 0 0 0 10190 37 0 0 20 0 1 0 411673370 1145311232 269659 33554432000 4194304 6210612 140722973765648 140722973739208 140380977159141 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8308220 8313664 13475840 140722973766667 140722973766769 140722973766769 140722973769678 0
/proc/22575/statm: 279617 269659 819 493 0 272922 0
Current children cumulated CPU time: 102.27 s
Current children cumulated vsize: 1118468 KiB
Current children cumulated memory: 1078636 KiB
[startup+162.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/199 22589
/proc/meminfo: memFree=27299504/32770624 swapFree=66999908/67108860
[pid=22575] ppid=22572 vsize=1749084 memory=1705288 CPUtime=162.24 cores=1,3,5,7
/proc/22575/stat : 22575 (cosoco) R 22572 22575 20893 0 -1 4202496 418421 0 0 0 16169 55 0 0 20 0 1 0 411673370 1791062016 426322 33554432000 4194304 6210612 140722973765648 140722973739208 140380977159141 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8308220 8313664 13475840 140722973766667 140722973766769 140722973766769 140722973769678 0
/proc/22575/statm: 437271 426322 819 493 0 430576 0
Current children cumulated CPU time: 162.24 s
Current children cumulated vsize: 1749084 KiB
Current children cumulated memory: 1705288 KiB
[startup+222.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/199 22593
/proc/meminfo: memFree=26673596/32770624 swapFree=66999908/67108860
[pid=22575] ppid=22572 vsize=2355228 memory=2330092 CPUtime=222.22 cores=1,3,5,7
/proc/22575/stat : 22575 (cosoco) R 22572 22575 20893 0 -1 4202496 569966 0 0 0 22149 73 0 0 20 0 1 0 411673370 2411753472 582523 33554432000 4194304 6210612 140722973765648 140722973739208 140380977159141 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8308220 8313664 13475840 140722973766667 140722973766769 140722973766769 140722973769678 0
/proc/22575/statm: 588807 582523 819 493 0 582112 0
Current children cumulated CPU time: 222.22 s
Current children cumulated vsize: 2355228 KiB
Current children cumulated memory: 2330092 KiB
[startup+282.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/199 22598
/proc/meminfo: memFree=26046196/32770624 swapFree=66999908/67108860
[pid=22575] ppid=22572 vsize=2998284 memory=2956596 CPUtime=282.2 cores=1,3,5,7
/proc/22575/stat : 22575 (cosoco) R 22572 22575 20893 0 -1 4202496 722053 0 0 0 28127 93 0 0 20 0 1 0 411673370 3070242816 739149 33554432000 4194304 6210612 140722973765648 140722973739208 140380977159141 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8308220 8313664 13475840 140722973766667 140722973766769 140722973766769 140722973769678 0
/proc/22575/statm: 749571 739149 819 493 0 742876 0
Current children cumulated CPU time: 282.2 s
Current children cumulated vsize: 2998284 KiB
Current children cumulated memory: 2956596 KiB
[startup+342.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/199 22604
/proc/meminfo: memFree=25420412/32770624 swapFree=66999908/67108860
[pid=22575] ppid=22572 vsize=3659528 memory=3583144 CPUtime=342.17 cores=1,3,5,7
/proc/22575/stat : 22575 (cosoco) R 22572 22575 20893 0 -1 4202496 874139 0 0 0 34103 114 0 0 20 0 1 0 411673370 3747356672 895786 33554432000 4194304 6210612 140722973765648 140722973739208 140380977159141 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8308220 8313664 13475840 140722973766667 140722973766769 140722973766769 140722973769678 0
/proc/22575/statm: 914882 895786 819 493 0 908187 0
Current children cumulated CPU time: 342.17 s
Current children cumulated vsize: 3659528 KiB
Current children cumulated memory: 3583144 KiB
[startup+402.3 s]
/proc/loadavg: 2.04 2.01 2.05 3/200 22616
/proc/meminfo: memFree=24792432/32770624 swapFree=66999908/67108860
[pid=22575] ppid=22572 vsize=4265408 memory=4207276 CPUtime=402.16 cores=1,3,5,7
/proc/22575/stat : 22575 (cosoco) R 22572 22575 20893 0 -1 4202496 1025726 0 0 0 40081 135 0 0 20 0 1 0 411673370 4367777792 1051819 33554432000 4194304 6210612 140722973765648 140722973739208 140380977159141 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8308220 8313664 13475840 140722973766667 140722973766769 140722973766769 140722973769678 0
/proc/22575/statm: 1066352 1051819 819 493 0 1059657 0
Current children cumulated CPU time: 402.16 s
Current children cumulated vsize: 4265408 KiB
Current children cumulated memory: 4207276 KiB
[startup+462.3 s]
/proc/loadavg: 2.09 2.04 2.05 3/200 22642
/proc/meminfo: memFree=24164504/32770624 swapFree=66999908/67108860
[pid=22575] ppid=22572 vsize=4871156 memory=4833672 CPUtime=462.13 cores=1,3,5,7
/proc/22575/stat : 22575 (cosoco) R 22572 22575 20893 0 -1 4202496 1177272 0 0 0 46055 158 0 0 20 0 1 0 411673370 4988063744 1208418 33554432000 4194304 6210612 140722973765648 140722973739208 140380977159141 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8308220 8313664 13475840 140722973766667 140722973766769 140722973766769 140722973769678 0
/proc/22575/statm: 1217789 1208418 819 493 0 1211094 0
Current children cumulated CPU time: 462.13 s
Current children cumulated vsize: 4871156 KiB
Current children cumulated memory: 4833672 KiB
################
# More data... #
################
Current children cumulated vsize: 9317684 KiB
Current children cumulated memory: 9209184 KiB
[startup+942.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 22680
/proc/meminfo: memFree=19156128/32770624 swapFree=66999908/67108860
[pid=22575] ppid=22572 vsize=9922772 memory=9832484 CPUtime=941.97 cores=1,3,5,7
/proc/22575/stat : 22575 (cosoco) R 22572 22575 20893 0 -1 4202496 2391235 0 0 0 93847 350 0 0 20 0 1 0 411673370 10160918528 2458121 33554432000 4194304 6210612 140722973765648 140722973739208 140380977159141 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8308220 8313664 13475840 140722973766667 140722973766769 140722973766769 140722973769678 0
/proc/22575/statm: 2480693 2458121 819 493 0 2473998 0
Current children cumulated CPU time: 941.97 s
Current children cumulated vsize: 9922772 KiB
Current children cumulated memory: 9832484 KiB
[startup+1002.3 s]
/proc/loadavg: 1.96 2.00 2.04 3/200 22752
/proc/meminfo: memFree=18009696/32770624 swapFree=66999908/67108860
[pid=22575] ppid=22572 vsize=10527860 memory=10458048 CPUtime=1001.95 cores=1,3,5,7
/proc/22575/stat : 22575 (cosoco) R 22572 22575 20893 0 -1 4202496 2542775 0 0 0 99816 379 0 0 20 0 1 0 411673370 10780528640 2614512 33554432000 4194304 6210612 140722973765648 140722973739208 140380977159141 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8308220 8313664 13475840 140722973766667 140722973766769 140722973766769 140722973769678 0
/proc/22575/statm: 2631965 2614512 819 493 0 2625270 0
Current children cumulated CPU time: 1001.95 s
Current children cumulated vsize: 10527860 KiB
Current children cumulated memory: 10458048 KiB
[startup+1062.3 s]
/proc/loadavg: 1.99 2.00 2.04 3/200 22758
/proc/meminfo: memFree=16767488/32770624 swapFree=66999908/67108860
[pid=22575] ppid=22572 vsize=11132816 memory=11081464 CPUtime=1061.94 cores=1,3,5,7
/proc/22575/stat : 22575 (cosoco) R 22572 22575 20893 0 -1 4202496 2694233 0 0 0 105787 407 0 0 20 0 1 0 411673370 11400003584 2770366 33554432000 4194304 6210612 140722973765648 140722973739208 140380977159141 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8308220 8313664 13475840 140722973766667 140722973766769 140722973766769 140722973769678 0
/proc/22575/statm: 2783204 2770366 819 493 0 2776509 0
Current children cumulated CPU time: 1061.94 s
Current children cumulated vsize: 11132816 KiB
Current children cumulated memory: 11081464 KiB
[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/201 22763
/proc/meminfo: memFree=15521216/32770624 swapFree=66999908/67108860
[pid=22575] ppid=22572 vsize=11737508 memory=11706764 CPUtime=1121.92 cores=1,3,5,7
/proc/22575/stat : 22575 (cosoco) R 22572 22575 20893 0 -1 4202496 2845690 0 0 0 111758 434 0 0 20 0 1 0 411673370 12019208192 2926691 33554432000 4194304 6210612 140722973765648 140722973739208 140380977159141 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8308220 8313664 13475840 140722973766667 140722973766769 140722973766769 140722973769678 0
/proc/22575/statm: 2934377 2926691 819 493 0 2927682 0
Current children cumulated CPU time: 1121.92 s
Current children cumulated vsize: 11737508 KiB
Current children cumulated memory: 11706764 KiB
[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/201 22767
/proc/meminfo: memFree=14278208/32770624 swapFree=66999908/67108860
[pid=22575] ppid=22572 vsize=12529452 memory=12331608 CPUtime=1181.91 cores=1,3,5,7
/proc/22575/stat : 22575 (cosoco) R 22572 22575 20893 0 -1 4202496 2997573 0 0 0 117726 465 0 0 20 0 1 0 411673370 12830158848 3082902 33554432000 4194304 6210612 140722973765648 140722973739208 140380977159141 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8308220 8313664 13475840 140722973766667 140722973766769 140722973766769 140722973769678 0
/proc/22575/statm: 3132363 3082902 819 493 0 3125668 0
Current children cumulated CPU time: 1181.91 s
Current children cumulated vsize: 12529452 KiB
Current children cumulated memory: 12331608 KiB
[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/201 22773
/proc/meminfo: memFree=13034100/32770624 swapFree=66999908/67108860
[pid=22575] ppid=22572 vsize=13134408 memory=12954968 CPUtime=1241.89 cores=1,3,5,7
/proc/22575/stat : 22575 (cosoco) R 22572 22575 20893 0 -1 4202496 3149123 0 0 0 123697 492 0 0 20 0 1 0 411673370 13449633792 3238742 33554432000 4194304 6210612 140722973765648 140722973739208 140380977159141 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8308220 8313664 13475840 140722973766667 140722973766769 140722973766769 140722973769678 0
/proc/22575/statm: 3283602 3238742 819 493 0 3276907 0
Current children cumulated CPU time: 1241.89 s
Current children cumulated vsize: 13134408 KiB
Current children cumulated memory: 12954968 KiB
[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/200 22777
/proc/meminfo: memFree=11787772/32770624 swapFree=66999908/67108860
[pid=22575] ppid=22572 vsize=13739100 memory=13580200 CPUtime=1301.88 cores=1,3,5,7
/proc/22575/stat : 22575 (cosoco) R 22572 22575 20893 0 -1 4202496 3300526 0 0 0 129664 524 0 0 20 0 1 0 411673370 14068838400 3395050 33554432000 4194304 6210612 140722973765648 140722973739208 140380977159141 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8308220 8313664 13475840 140722973766667 140722973766769 140722973766769 140722973769678 0
/proc/22575/statm: 3434775 3395050 819 493 0 3428080 0
Current children cumulated CPU time: 1301.88 s
Current children cumulated vsize: 13739100 KiB
Current children cumulated memory: 13580200 KiB
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/200 22781
/proc/meminfo: memFree=10546152/32770624 swapFree=66999908/67108860
[pid=22575] ppid=22572 vsize=14343924 memory=14203460 CPUtime=1361.86 cores=1,3,5,7
/proc/22575/stat : 22575 (cosoco) R 22572 22575 20893 0 -1 4202496 3451969 0 0 0 135632 554 0 0 20 0 1 0 411673370 14688178176 3550865 33554432000 4194304 6210612 140722973765648 140722973739208 140380977159141 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8308220 8313664 13475840 140722973766667 140722973766769 140722973766769 140722973769678 0
/proc/22575/statm: 3585981 3550865 819 493 0 3579286 0
Current children cumulated CPU time: 1361.86 s
Current children cumulated vsize: 14343924 KiB
Current children cumulated memory: 14203460 KiB
[startup+1422.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/199 22787
/proc/meminfo: memFree=9299964/32770624 swapFree=66999908/67108860
[pid=22575] ppid=22572 vsize=14948484 memory=14828560 CPUtime=1421.85 cores=1,3,5,7
/proc/22575/stat : 22575 (cosoco) R 22572 22575 20893 0 -1 4202496 3603450 0 0 0 141600 585 0 0 20 0 1 0 411673370 15307247616 3707140 33554432000 4194304 6210612 140722973765648 140722973739208 140380977159141 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8308220 8313664 13475840 140722973766667 140722973766769 140722973766769 140722973769678 0
/proc/22575/statm: 3737121 3707140 819 493 0 3730426 0
Current children cumulated CPU time: 1421.85 s
Current children cumulated vsize: 14948484 KiB
Current children cumulated memory: 14828560 KiB
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/199 22791
/proc/meminfo: memFree=8059436/32770624 swapFree=66999908/67108860
[pid=22575] ppid=22572 vsize=15553044 memory=15451552 CPUtime=1481.83 cores=1,3,5,7
/proc/22575/stat : 22575 (cosoco) R 22572 22575 20893 0 -1 4202496 3754825 0 0 0 147565 618 0 0 20 0 1 0 411673370 15926317056 3862888 33554432000 4194304 6210612 140722973765648 140722973739208 140380977159141 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8308220 8313664 13475840 140722973766667 140722973766769 140722973766769 140722973769678 0
/proc/22575/statm: 3888261 3862888 819 493 0 3881566 0
Current children cumulated CPU time: 1481.83 s
Current children cumulated vsize: 15553044 KiB
Current children cumulated memory: 15451552 KiB
Maximum VSize exceeded: sending SIGTERM then SIGKILL
[startup+1514 s]*
/proc/loadavg: 2.00 2.00 2.04 3/199 22795
/proc/meminfo: memFree=7394552/32770624 swapFree=66999908/67108860
[pid=22575] ppid=22572 vsize=15872484 memory=15781128 CPUtime=1513.54 cores=1,3,5,7
/proc/22575/stat : 22575 (cosoco) R 22572 22575 20893 0 -1 4202496 3834859 0 0 0 150719 635 0 0 20 0 1 0 411673370 16253423616 3945282 33554432000 4194304 6210612 140722973765648 140722973739208 140380977159141 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8308220 8313664 13475840 140722973766667 140722973766769 140722973766769 140722973769678 0
/proc/22575/statm: 3968121 3945282 819 493 0 3961426 0
Current children cumulated CPU time: 1513.54 s
Current children cumulated vsize: 15872484 KiB
Current children cumulated memory: 15781128 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
??? end of watcher thread
[startup+1516.75 s]
# the end of solver process 22575 was just reported to runsolver
# cumulated CPU time of all completed processes: user=1507.47 s, system=7.17691 s
Solver just ended.
Dumping a history of the last processes samples
[startup+1515.2 s]
/proc/loadavg: 2.00 2.00 2.04 4/200 22796
/proc/meminfo: memFree=6813588/32770624 swapFree=66999908/67108860
[pid=22575] ppid=22572 vsize=15872484 memory=15781128 CPUtime=1513.75 cores=1,3,5,7
/proc/22575/stat : 22575 (cosoco) S 22572 22575 20893 0 -1 512 3834864 0 0 0 150737 638 0 0 20 0 1 0 411673370 16253423616 3945282 33554432000 4194304 6210612 140722973765648 140722973739208 5188952 0 16384 4096 8405026 18446744071580971376 0 0 17 5 0 0 0 0 0 8308220 8313664 13475840 140722973766667 140722973766769 140722973766769 140722973769678 0
/proc/22575/statm: 3968121 3945282 819 493 0 3961426 0
Current children cumulated CPU time: 1513.75 s
Current children cumulated vsize: 15872484 KiB
Current children cumulated memory: 15781128 KiB
[startup+1515.6 s]
/proc/loadavg: 2.00 2.00 2.04 4/200 22796
/proc/meminfo: memFree=6813588/32770624 swapFree=66999908/67108860
[pid=22575] ppid=22572 vsize=15872484 memory=15781128 CPUtime=1513.82 cores=1,3,5,7
/proc/22575/stat : 22575 (cosoco) R 22572 22575 20893 0 -1 512 3834864 0 0 0 150743 639 0 0 20 0 1 0 411673370 16253423616 3945282 33554432000 4194304 6210612 140722973765648 140722973739208 5188952 0 16384 4096 8405026 18446744071580971376 0 0 17 5 0 0 0 0 0 8308220 8313664 13475840 140722973766667 140722973766769 140722973766769 140722973769678 0
/proc/22575/statm: 3968121 3945282 819 493 0 3961426 0
Current children cumulated CPU time: 1513.82 s
Current children cumulated vsize: 15872484 KiB
Current children cumulated memory: 15781128 KiB
[startup+1516 s]*
/proc/loadavg: 2.00 2.00 2.04 4/200 22796
/proc/meminfo: memFree=6211500/32770624 swapFree=66999908/67108860
[pid=22575] ppid=22572 vsize=15872484 memory=15781128 CPUtime=1513.89 cores=1,3,5,7
/proc/22575/stat : 22575 (cosoco) S 22572 22575 20893 0 -1 512 3834864 0 0 0 150746 643 0 0 20 0 1 0 411673370 16253423616 3945282 33554432000 4194304 6210612 140722973765648 140722973739208 5188952 0 16384 4096 8405026 18446744071580971376 0 0 17 5 0 0 0 0 0 8308220 8313664 13475840 140722973766667 140722973766769 140722973766769 140722973769678 0
/proc/22575/statm: 3968121 3945282 819 493 0 3961426 0
Current children cumulated CPU time: 1513.89 s
Current children cumulated vsize: 15872484 KiB
Current children cumulated memory: 15781128 KiB
Child ended because it received signal 9 (SIGKILL)
Real time (s): 1516.75
CPU time (s): 1514.64
CPU user time (s): 1507.47
CPU system time (s): 7.17691
CPU usage (%): 99.861
Max. virtual memory (cumulated for all children) (KiB): 15872484
Max. memory (cumulated for all children) (KiB): 15781128
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1507.47
system time used= 7.17691
maximum resident set size= 15781352
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3834864
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= 144343
involuntary context switches= 1197
# summary of solver processes directly reported to runsolver:
# pid: 22575
# total CPU time (s): 1514.64
# total CPU user time (s): 1507.47
# total CPU system time (s): 7.17691
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.90865 second user time and 10.8367 second system time
The end