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 (5084 MiB free)
memory of node 1: 16384 MiB (15450 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4397886-1568590212/watcher-4397886-1568590212 -o /tmp/evaluation-result-4397886-1568590212/solver-4397886-1568590212 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node136-1568572740-703 --watchdog 2560 cosoco -lc -model -restarts -stick HOME/instance-4397886-1568590212.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=4603, runsolver pid=4600
Current StackSize limit: 8192 KiB
[startup+0.100873 s]*
/proc/loadavg: 2.01 2.07 2.06 3/199 4604
/proc/meminfo: memFree=21014656/32770624 swapFree=67002448/67108860
[pid=4603] ppid=4600 vsize=38888 memory=15092 CPUtime=0.09 cores=1,3,5,7
/proc/4603/stat : 4603 (cosoco) R 4600 4603 671 0 -1 4202496 3975 0 0 0 9 0 0 0 20 0 1 0 435269810 39821312 3773 33554432000 4194304 6211092 140728635830352 140728635825512 139682497776613 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 12509184 140728635835403 140728635835505 140728635835505 140728635838414 0
/proc/4603/statm: 9722 3773 809 493 0 3027 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 38888 KiB
Current children cumulated memory: 15092 KiB
[startup+0.209679 s]*
/proc/loadavg: 2.01 2.07 2.06 3/199 4604
/proc/meminfo: memFree=21011128/32770624 swapFree=67002448/67108860
[pid=4603] ppid=4600 vsize=40596 memory=16872 CPUtime=0.2 cores=1,3,5,7
/proc/4603/stat : 4603 (cosoco) R 4600 4603 671 0 -1 4202496 4413 0 0 0 20 0 0 0 20 0 1 0 435269810 41570304 4218 33554432000 4194304 6211092 140728635830352 140728635825512 139682497776613 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 12509184 140728635835403 140728635835505 140728635835505 140728635838414 0
/proc/4603/statm: 10149 4218 819 493 0 3454 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 40596 KiB
Current children cumulated memory: 16872 KiB
[startup+0.309105 s]*
/proc/loadavg: 2.01 2.07 2.06 3/199 4604
/proc/meminfo: memFree=21009268/32770624 swapFree=67002448/67108860
[pid=4603] ppid=4600 vsize=41712 memory=17928 CPUtime=0.3 cores=1,3,5,7
/proc/4603/stat : 4603 (cosoco) R 4600 4603 671 0 -1 4202496 4671 0 0 0 30 0 0 0 20 0 1 0 435269810 42713088 4482 33554432000 4194304 6211092 140728635830352 140728635825512 139682497776613 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 12509184 140728635835403 140728635835505 140728635835505 140728635838414 0
/proc/4603/statm: 10428 4482 819 493 0 3733 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 41712 KiB
Current children cumulated memory: 17928 KiB
[startup+0.700284 s]
/proc/loadavg: 2.01 2.07 2.06 3/199 4604
/proc/meminfo: memFree=21005176/32770624 swapFree=67002448/67108860
[pid=4603] ppid=4600 vsize=45708 memory=21992 CPUtime=0.68 cores=1,3,5,7
/proc/4603/stat : 4603 (cosoco) R 4600 4603 671 0 -1 4202496 5666 0 0 0 68 0 0 0 20 0 1 0 435269810 46804992 5498 33554432000 4194304 6211092 140728635830352 140728635803912 139682497776613 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 12509184 140728635835403 140728635835505 140728635835505 140728635838414 0
/proc/4603/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.01 2.07 2.06 3/199 4604
/proc/meminfo: memFree=20992616/32770624 swapFree=67002448/67108860
[pid=4603] ppid=4600 vsize=54076 memory=30316 CPUtime=1.49 cores=1,3,5,7
/proc/4603/stat : 4603 (cosoco) R 4600 4603 671 0 -1 4202496 7743 0 0 0 148 1 0 0 20 0 1 0 435269810 55373824 7579 33554432000 4194304 6211092 140728635830352 140728635803912 139682497776613 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 12509184 140728635835403 140728635835505 140728635835505 140728635838414 0
/proc/4603/statm: 13519 7579 819 493 0 6824 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 54076 KiB
Current children cumulated memory: 30316 KiB
[startup+3.10942 s]
/proc/loadavg: 2.01 2.06 2.06 3/199 4604
/proc/meminfo: memFree=20951512/32770624 swapFree=67002448/67108860
[pid=4603] ppid=4600 vsize=71024 memory=46932 CPUtime=3.1 cores=1,3,5,7
/proc/4603/stat : 4603 (cosoco) R 4600 4603 671 0 -1 4202496 12084 0 0 0 309 1 0 0 20 0 1 0 435269810 72728576 11733 33554432000 4194304 6211092 140728635830352 140728635803912 139682497776613 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 12509184 140728635835403 140728635835505 140728635835505 140728635838414 0
/proc/4603/statm: 17756 11733 819 493 0 11061 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 71024 KiB
Current children cumulated memory: 46932 KiB
[startup+6.30026 s]
/proc/loadavg: 2.01 2.06 2.06 3/199 4604
/proc/meminfo: memFree=20890008/32770624 swapFree=67002448/67108860
[pid=4603] ppid=4600 vsize=104700 memory=80112 CPUtime=6.29 cores=1,3,5,7
/proc/4603/stat : 4603 (cosoco) R 4600 4603 671 0 -1 4202496 20539 0 0 0 627 2 0 0 20 0 1 0 435269810 107212800 20028 33554432000 4194304 6211092 140728635830352 140728635803912 139682497776613 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 12509184 140728635835403 140728635835505 140728635835505 140728635838414 0
/proc/4603/statm: 26175 20028 819 493 0 19480 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 104700 KiB
Current children cumulated memory: 80112 KiB
[startup+12.7003 s]
/proc/loadavg: 2.01 2.06 2.06 3/199 4604
/proc/meminfo: memFree=20765308/32770624 swapFree=67002448/67108860
[pid=4603] ppid=4600 vsize=170424 memory=146512 CPUtime=12.68 cores=1,3,5,7
/proc/4603/stat : 4603 (cosoco) R 4600 4603 671 0 -1 4202496 37312 0 0 0 1264 4 0 0 20 0 1 0 435269810 174514176 36628 33554432000 4194304 6211092 140728635830352 140728635803912 139682497776613 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 12509184 140728635835403 140728635835505 140728635835505 140728635838414 0
/proc/4603/statm: 42606 36628 819 493 0 35911 0
Current children cumulated CPU time: 12.68 s
Current children cumulated vsize: 170424 KiB
Current children cumulated memory: 146512 KiB
[startup+25.5003 s]
/proc/loadavg: 2.01 2.06 2.06 3/199 4606
/proc/meminfo: memFree=20492424/32770624 swapFree=67002448/67108860
[pid=4603] ppid=4600 vsize=304524 memory=280292 CPUtime=25.49 cores=1,3,5,7
/proc/4603/stat : 4603 (cosoco) R 4600 4603 671 0 -1 4202496 70592 0 0 0 2540 9 0 0 20 0 1 0 435269810 311832576 70073 33554432000 4194304 6211092 140728635830352 140728635803912 139682497776613 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 12509184 140728635835403 140728635835505 140728635835505 140728635838414 0
/proc/4603/statm: 76131 70073 819 493 0 69436 0
Current children cumulated CPU time: 25.49 s
Current children cumulated vsize: 304524 KiB
Current children cumulated memory: 280292 KiB
[startup+51.1095 s]
/proc/loadavg: 2.00 2.06 2.06 3/200 4615
/proc/meminfo: memFree=19951708/32770624 swapFree=67002448/67108860
[pid=4603] ppid=4600 vsize=574076 memory=545080 CPUtime=51.1 cores=1,3,5,7
/proc/4603/stat : 4603 (cosoco) R 4600 4603 671 0 -1 4202496 135975 0 0 0 5094 16 0 0 20 0 1 0 435269810 587853824 136270 33554432000 4194304 6211092 140728635830352 140728635803912 139682497776613 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 12509184 140728635835403 140728635835505 140728635835505 140728635838414 0
/proc/4603/statm: 143519 136270 819 493 0 136824 0
Current children cumulated CPU time: 51.1 s
Current children cumulated vsize: 574076 KiB
Current children cumulated memory: 545080 KiB
[startup+102.3 s]
/proc/loadavg: 2.00 2.05 2.06 3/200 4619
/proc/meminfo: memFree=18887588/32770624 swapFree=67002448/67108860
[pid=4603] ppid=4600 vsize=1115952 memory=1075972 CPUtime=102.3 cores=1,3,5,7
/proc/4603/stat : 4603 (cosoco) R 4600 4603 671 0 -1 4202496 265639 0 0 0 10198 32 0 0 20 0 1 0 435269810 1142734848 268993 33554432000 4194304 6211092 140728635830352 140728635803912 139682497776613 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 12509184 140728635835403 140728635835505 140728635835505 140728635838414 0
/proc/4603/statm: 278988 268993 819 493 0 272293 0
Current children cumulated CPU time: 102.3 s
Current children cumulated vsize: 1115952 KiB
Current children cumulated memory: 1075972 KiB
[startup+162.3 s]
/proc/loadavg: 2.00 2.04 2.05 3/200 4625
/proc/meminfo: memFree=17637060/32770624 swapFree=67002448/67108860
[pid=4603] ppid=4600 vsize=1743664 memory=1699840 CPUtime=162.3 cores=1,3,5,7
/proc/4603/stat : 4603 (cosoco) R 4600 4603 671 0 -1 4202496 417144 0 0 0 16178 52 0 0 20 0 1 0 435269810 1785511936 424960 33554432000 4194304 6211092 140728635830352 140728635803912 139682497776613 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 12509184 140728635835403 140728635835505 140728635835505 140728635838414 0
/proc/4603/statm: 435916 424960 819 493 0 429221 0
Current children cumulated CPU time: 162.3 s
Current children cumulated vsize: 1743664 KiB
Current children cumulated memory: 1699840 KiB
[startup+222.3 s]
/proc/loadavg: 2.00 2.03 2.05 3/200 4629
/proc/meminfo: memFree=16386112/32770624 swapFree=67002448/67108860
[pid=4603] ppid=4600 vsize=2347036 memory=2321696 CPUtime=222.31 cores=1,3,5,7
/proc/4603/stat : 4603 (cosoco) R 4600 4603 671 0 -1 4202496 567986 0 0 0 22160 71 0 0 20 0 1 0 435269810 2403364864 580424 33554432000 4194304 6211092 140728635830352 140728635803912 139682497776613 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 12509184 140728635835403 140728635835505 140728635835505 140728635838414 0
/proc/4603/statm: 586759 580424 819 493 0 580064 0
Current children cumulated CPU time: 222.31 s
Current children cumulated vsize: 2347036 KiB
Current children cumulated memory: 2321696 KiB
[startup+282.3 s]
/proc/loadavg: 2.00 2.03 2.05 3/200 4633
/proc/meminfo: memFree=15135192/32770624 swapFree=67002448/67108860
[pid=4603] ppid=4600 vsize=2987188 memory=2945368 CPUtime=282.31 cores=1,3,5,7
/proc/4603/stat : 4603 (cosoco) R 4600 4603 671 0 -1 4202496 719680 0 0 0 28140 91 0 0 20 0 1 0 435269810 3058880512 736342 33554432000 4194304 6211092 140728635830352 140728635803912 139682497776613 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 12509184 140728635835403 140728635835505 140728635835505 140728635838414 0
/proc/4603/statm: 746797 736342 819 493 0 740102 0
Current children cumulated CPU time: 282.31 s
Current children cumulated vsize: 2987188 KiB
Current children cumulated memory: 2945368 KiB
[startup+342.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/199 4639
/proc/meminfo: memFree=13887516/32770624 swapFree=67002448/67108860
[pid=4603] ppid=4600 vsize=3645660 memory=3566880 CPUtime=342.32 cores=1,3,5,7
/proc/4603/stat : 4603 (cosoco) R 4600 4603 671 0 -1 4202496 871441 0 0 0 34118 114 0 0 20 0 1 0 435269810 3733155840 891720 33554432000 4194304 6211092 140728635830352 140728635803912 139682497776613 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 12509184 140728635835403 140728635835505 140728635835505 140728635838414 0
/proc/4603/statm: 911415 891720 819 493 0 904720 0
Current children cumulated CPU time: 342.32 s
Current children cumulated vsize: 3645660 KiB
Current children cumulated memory: 3566880 KiB
[startup+402.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/199 4643
/proc/meminfo: memFree=12634268/32770624 swapFree=67002448/67108860
[pid=4603] ppid=4600 vsize=4248768 memory=4190512 CPUtime=402.32 cores=1,3,5,7
/proc/4603/stat : 4603 (cosoco) R 4600 4603 671 0 -1 4202496 1022627 0 0 0 40095 137 0 0 20 0 1 0 435269810 4350738432 1047628 33554432000 4194304 6211092 140728635830352 140728635803912 139682497776613 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 12509184 140728635835403 140728635835505 140728635835505 140728635838414 0
/proc/4603/statm: 1062192 1047628 819 493 0 1055497 0
Current children cumulated CPU time: 402.32 s
Current children cumulated vsize: 4248768 KiB
Current children cumulated memory: 4190512 KiB
[startup+462.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 4647
/proc/meminfo: memFree=11386868/32770624 swapFree=67002448/67108860
[pid=4603] ppid=4600 vsize=4851876 memory=4812184 CPUtime=462.33 cores=1,3,5,7
/proc/4603/stat : 4603 (cosoco) R 4600 4603 671 0 -1 4202496 1173944 0 0 0 46075 158 0 0 20 0 1 0 435269810 4968321024 1203046 33554432000 4194304 6211092 140728635830352 140728635803912 139682497776613 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 12509184 140728635835403 140728635835505 140728635835505 140728635838414 0
/proc/4603/statm: 1212969 1203046 819 493 0 1206274 0
Current children cumulated CPU time: 462.33 s
Current children cumulated vsize: 4851876 KiB
Current children cumulated memory: 4812184 KiB
################
# More data... #
################
Current children cumulated vsize: 9278340 KiB
Current children cumulated memory: 9167608 KiB
[startup+942.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 4694
/proc/meminfo: memFree=1398164/32770624 swapFree=67002448/67108860
[pid=4603] ppid=4600 vsize=9880788 memory=9790528 CPUtime=942.38 cores=1,3,5,7
/proc/4603/stat : 4603 (cosoco) R 4600 4603 671 0 -1 4202496 2386466 0 0 0 93867 371 0 0 20 0 1 0 435269810 10117926912 2447632 33554432000 4194304 6211092 140728635830352 140728635803912 139682497776613 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 12509184 140728635835403 140728635835505 140728635835505 140728635838414 0
/proc/4603/statm: 2470197 2447632 819 493 0 2463502 0
Current children cumulated CPU time: 942.38 s
Current children cumulated vsize: 9880788 KiB
Current children cumulated memory: 9790528 KiB
[startup+1002.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 4698
/proc/meminfo: memFree=182088/32770624 swapFree=67002448/67108860
[pid=4603] ppid=4600 vsize=10483104 memory=10411244 CPUtime=1002.39 cores=1,3,5,7
/proc/4603/stat : 4603 (cosoco) R 4600 4603 671 0 -1 4202496 2537730 0 0 0 99836 403 0 0 20 0 1 0 435269810 10734698496 2602811 33554432000 4194304 6211092 140728635830352 140728635803912 139682497776613 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 12509184 140728635835403 140728635835505 140728635835505 140728635838414 0
/proc/4603/statm: 2620776 2602811 819 493 0 2614081 0
Current children cumulated CPU time: 1002.39 s
Current children cumulated vsize: 10483104 KiB
Current children cumulated memory: 10411244 KiB
[startup+1062.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 4704
/proc/meminfo: memFree=204904/32770624 swapFree=66583280/67108860
[pid=4603] ppid=4600 vsize=11082120 memory=11029256 CPUtime=1062.39 cores=1,3,5,7
/proc/4603/stat : 4603 (cosoco) R 4600 4603 671 0 -1 4202496 2688857 0 0 0 105800 439 0 0 20 0 1 0 435269810 11348090880 2652969 33554432000 4194304 6211092 140728635830352 140728635803912 139682497776613 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 12509184 140728635835403 140728635835505 140728635835505 140728635838414 0
/proc/4603/statm: 2770530 2652969 488 493 0 2763835 0
Current children cumulated CPU time: 1062.39 s
Current children cumulated vsize: 11082120 KiB
Current children cumulated memory: 11029256 KiB
[startup+1122.3 s]
/proc/loadavg: 2.22 2.07 2.06 3/200 4899
/proc/meminfo: memFree=16161392/32770624 swapFree=66302788/67108860
[pid=4603] ppid=4600 vsize=11682456 memory=11648020 CPUtime=1122.4 cores=1,3,5,7
/proc/4603/stat : 4603 (cosoco) R 4600 4603 671 0 -1 4202496 2839791 0 0 0 111767 473 0 0 20 0 1 0 435269810 11962834944 2737527 33554432000 4194304 6211092 140728635830352 140728635803912 139682497776613 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 12509184 140728635835403 140728635835505 140728635835505 140728635838414 0
/proc/4603/statm: 2920614 2737527 488 493 0 2913919 0
Current children cumulated CPU time: 1122.4 s
Current children cumulated vsize: 11682456 KiB
Current children cumulated memory: 11648020 KiB
[startup+1182.3 s]
/proc/loadavg: 2.08 2.06 2.06 3/201 4904
/proc/meminfo: memFree=15535520/32770624 swapFree=66302792/67108860
[pid=4603] ppid=4600 vsize=12469912 memory=12268696 CPUtime=1182.29 cores=1,3,5,7
/proc/4603/stat : 4603 (cosoco) R 4600 4603 671 0 -1 4202496 2991167 0 2 0 117723 506 0 0 20 0 1 0 435269810 12769189888 2892697 33554432000 4194304 6211092 140728635830352 140728635803912 139682497776613 0 0 4096 8405026 0 0 0 17 1 0 0 11 0 0 8312316 8317760 12509184 140728635835403 140728635835505 140728635835505 140728635838414 0
/proc/4603/statm: 3117478 2892697 489 493 0 3110783 0
Current children cumulated CPU time: 1182.29 s
Current children cumulated vsize: 12469912 KiB
Current children cumulated memory: 12268696 KiB
[startup+1242.3 s]
/proc/loadavg: 2.03 2.05 2.05 3/202 4917
/proc/meminfo: memFree=14913276/32770624 swapFree=66303116/67108860
[pid=4603] ppid=4600 vsize=13071436 memory=12888516 CPUtime=1242.29 cores=1,3,5,7
/proc/4603/stat : 4603 (cosoco) R 4600 4603 671 0 -1 4202496 3142426 0 2 0 123690 539 0 0 20 0 1 0 435269810 13385150464 3047652 33554432000 4194304 6211092 140728635830352 140728635803912 139682497776613 0 0 4096 8405026 0 0 0 17 1 0 0 11 0 0 8312316 8317760 12509184 140728635835403 140728635835505 140728635835505 140728635838414 0
/proc/4603/statm: 3267859 3047652 489 493 0 3261164 0
Current children cumulated CPU time: 1242.29 s
Current children cumulated vsize: 13071436 KiB
Current children cumulated memory: 12888516 KiB
[startup+1302.3 s]
/proc/loadavg: 2.01 2.04 2.05 3/202 4921
/proc/meminfo: memFree=14288732/32770624 swapFree=66303116/67108860
[pid=4603] ppid=4600 vsize=13672960 memory=13510532 CPUtime=1302.29 cores=1,3,5,7
/proc/4603/stat : 4603 (cosoco) R 4600 4603 671 0 -1 4202496 3293472 0 2 0 129652 577 0 0 20 0 1 0 435269810 14001111040 3203156 33554432000 4194304 6211092 140728635830352 140728635803912 139682497776613 0 0 4096 8405026 0 0 0 17 1 0 0 11 0 0 8312316 8317760 12509184 140728635835403 140728635835505 140728635835505 140728635838414 0
/proc/4603/statm: 3418240 3203156 489 493 0 3411545 0
Current children cumulated CPU time: 1302.29 s
Current children cumulated vsize: 13672960 KiB
Current children cumulated memory: 13510532 KiB
[startup+1362.3 s]
/proc/loadavg: 2.00 2.04 2.05 3/202 4925
/proc/meminfo: memFree=13668468/32770624 swapFree=66303116/67108860
[pid=4603] ppid=4600 vsize=14274484 memory=14130352 CPUtime=1362.3 cores=1,3,5,7
/proc/4603/stat : 4603 (cosoco) R 4600 4603 671 0 -1 4202496 3444716 0 2 0 135618 612 0 0 20 0 1 0 435269810 14617071616 3358111 33554432000 4194304 6211092 140728635830352 140728635803912 139682497776613 0 0 4096 8405026 0 0 0 17 1 0 0 11 0 0 8312316 8317760 12509184 140728635835403 140728635835505 140728635835505 140728635838414 0
/proc/4603/statm: 3568621 3358111 489 493 0 3561926 0
Current children cumulated CPU time: 1362.3 s
Current children cumulated vsize: 14274484 KiB
Current children cumulated memory: 14130352 KiB
[startup+1422.3 s]
/proc/loadavg: 2.00 2.03 2.05 3/201 4931
/proc/meminfo: memFree=13044800/32770624 swapFree=66303116/67108860
[pid=4603] ppid=4600 vsize=14875744 memory=14752216 CPUtime=1422.3 cores=1,3,5,7
/proc/4603/stat : 4603 (cosoco) R 4600 4603 671 0 -1 4202496 3595892 0 2 0 141581 649 0 0 20 0 1 0 435269810 15232761856 3513577 33554432000 4194304 6211092 140728635830352 140728635803912 139682497776613 0 0 4096 8405026 0 0 0 17 1 0 0 11 0 0 8312316 8317760 12509184 140728635835403 140728635835505 140728635835505 140728635838414 0
/proc/4603/statm: 3718936 3513577 489 493 0 3712241 0
Current children cumulated CPU time: 1422.3 s
Current children cumulated vsize: 14875744 KiB
Current children cumulated memory: 14752216 KiB
[startup+1482.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/200 4935
/proc/meminfo: memFree=12425520/32770624 swapFree=66303116/67108860
[pid=4603] ppid=4600 vsize=15476740 memory=15371772 CPUtime=1482.3 cores=1,3,5,7
/proc/4603/stat : 4603 (cosoco) R 4600 4603 671 0 -1 4202496 3747020 0 2 0 147543 687 0 0 20 0 1 0 435269810 15848181760 3668466 33554432000 4194304 6211092 140728635830352 140728635803912 139682497776613 0 0 4096 8405026 0 0 0 17 1 0 0 11 0 0 8312316 8317760 12509184 140728635835403 140728635835505 140728635835505 140728635838414 0
/proc/4603/statm: 3869185 3668466 489 493 0 3862490 0
Current children cumulated CPU time: 1482.3 s
Current children cumulated vsize: 15476740 KiB
Current children cumulated memory: 15371772 KiB
Maximum VSize exceeded: sending SIGTERM then SIGKILL
[startup+1521.8 s]
/proc/loadavg: 2.00 2.02 2.05 3/200 4937
/proc/meminfo: memFree=12021320/32770624 swapFree=66303116/67108860
[pid=4603] ppid=4600 vsize=15872476 memory=15779580 CPUtime=1521.8 cores=1,3,5,7
/proc/4603/stat : 4603 (cosoco) R 4600 4603 671 0 -1 4202496 3846454 0 2 0 151468 712 0 0 20 0 1 0 435269810 16253415424 3770418 33554432000 4194304 6211092 140728635830352 140728635803912 139682497776613 0 0 4096 8405026 0 0 0 17 1 0 0 11 0 0 8312316 8317760 12509184 140728635835403 140728635835505 140728635835505 140728635838414 0
/proc/4603/statm: 3968119 3770418 489 493 0 3961424 0
Current children cumulated CPU time: 1521.8 s
Current children cumulated vsize: 15872476 KiB
Current children cumulated memory: 15779580 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
??? end of watcher thread
[startup+1524.7 s]
# the end of solver process 4603 was just reported to runsolver
# cumulated CPU time of all completed processes: user=1514.8 s, system=8.462 s
Solver just ended.
Dumping a history of the last processes samples
[startup+1523.2 s]
/proc/loadavg: 2.00 2.02 2.05 2/201 4938
/proc/meminfo: memFree=11679840/32770624 swapFree=66303124/67108860
[pid=4603] ppid=4600 vsize=15873136 memory=15780532 CPUtime=1522.21 cores=1,3,5,7
/proc/4603/stat : 4603 (cosoco) R 4600 4603 671 0 -1 512 3873706 0 4002 0 151478 743 0 0 20 0 1 0 435269810 16254091264 3801699 33554432000 4194304 6211092 140728635830352 140728635803912 5189768 0 16384 4096 8405026 0 0 0 17 1 0 0 108 0 0 8312316 8317760 12509184 140728635835403 140728635835505 140728635835505 140728635838414 0
/proc/4603/statm: 3968284 3801699 494 493 0 3961589 0
Current children cumulated CPU time: 1522.21 s
Current children cumulated vsize: 15873136 KiB
Current children cumulated memory: 15780532 KiB
[startup+1523.6 s]
/proc/loadavg: 2.00 2.02 2.05 2/201 4938
/proc/meminfo: memFree=11679840/32770624 swapFree=66303124/67108860
[pid=4603] ppid=4600 vsize=15873136 memory=15780532 CPUtime=1522.33 cores=1,3,5,7
/proc/4603/stat : 4603 (cosoco) R 4600 4603 671 0 -1 512 3883174 0 5404 0 151479 754 0 0 20 0 1 0 435269810 16254091264 3812589 33554432000 4194304 6211092 140728635830352 140728635803912 5189768 0 16384 4096 8405026 0 0 0 17 1 0 0 136 0 0 8312316 8317760 12509184 140728635835403 140728635835505 140728635835505 140728635838414 0
/proc/4603/statm: 3968284 3812589 494 493 0 3961589 0
Current children cumulated CPU time: 1522.33 s
Current children cumulated vsize: 15873136 KiB
Current children cumulated memory: 15780532 KiB
[startup+1523.8 s]
/proc/loadavg: 2.00 2.02 2.05 2/201 4938
/proc/meminfo: memFree=11679840/32770624 swapFree=66303124/67108860
[pid=4603] ppid=4600 vsize=15873136 memory=15780532 CPUtime=1522.37 cores=1,3,5,7
/proc/4603/stat : 4603 (cosoco) D 4600 4603 671 0 -1 512 3886648 0 5919 0 151479 758 0 0 20 0 1 0 435269810 16254091264 3816549 33554432000 4194304 6211092 140728635830352 140728635803912 5189768 0 16384 4096 8405026 18446744071580419444 0 0 17 3 0 0 152 0 0 8312316 8317760 12509184 140728635835403 140728635835505 140728635835505 140728635838414 0
/proc/4603/statm: 3968284 3816549 494 493 0 3961589 0
Current children cumulated CPU time: 1522.37 s
Current children cumulated vsize: 15873136 KiB
Current children cumulated memory: 15780532 KiB
Child ended because it received signal 9 (SIGKILL)
Real time (s): 1524.7
CPU time (s): 1523.26
CPU user time (s): 1514.8
CPU system time (s): 8.462
CPU usage (%): 99.9057
Max. virtual memory (cumulated for all children) (KiB): 15873136
Max. memory (cumulated for all children) (KiB): 15780532
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1514.8
system time used= 8.462
maximum resident set size= 15266360
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3886648
page faults= 5920
swaps= 0
block input operations= 384056
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 6079
involuntary context switches= 800
# summary of solver processes directly reported to runsolver:
# pid: 4603
# total CPU time (s): 1523.26
# total CPU user time (s): 1514.8
# total CPU system time (s): 8.462
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.37732 second user time and 10.3274 second system time
The end