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 (12945 MiB free)
memory of node 1: 16384 MiB (15680 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4389936-1568359295/watcher-4389936-1568359295 -o /tmp/evaluation-result-4389936-1568359295/solver-4389936-1568359295 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node139-1568359397-3244 --watchdog 2580 cosoco -lc -model -restarts -stick HOME/instance-4389936-1568359295.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
Current StackSize limit: 8192 KiB
solver pid=3274, runsolver pid=3271
[startup+0.100234 s]*
/proc/loadavg: 1.74 1.85 1.98 3/199 3275
/proc/meminfo: memFree=29307996/32770624 swapFree=66932328/67108860
[pid=3274] ppid=3271 vsize=39152 memory=15356 CPUtime=0.1 cores=0,2,4,6
/proc/3274/stat : 3274 (cosoco) R 3271 3274 3213 0 -1 4202496 4007 0 0 0 10 0 0 0 20 0 1 0 412197314 40091648 3839 33554432000 4194304 6210612 140730992239648 140730992236184 5742063 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 33959936 140730992247819 140730992247921 140730992247921 140730992250830 0
/proc/3274/statm: 9788 3839 809 493 0 3093 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 39152 KiB
Current children cumulated memory: 15356 KiB
[startup+0.209592 s]*
/proc/loadavg: 1.74 1.85 1.98 3/199 3275
/proc/meminfo: memFree=29307568/32770624 swapFree=66932328/67108860
[pid=3274] ppid=3271 vsize=40728 memory=16872 CPUtime=0.21 cores=0,2,4,6
/proc/3274/stat : 3274 (cosoco) R 3271 3274 3213 0 -1 4202496 4430 0 0 0 21 0 0 0 20 0 1 0 412197314 41705472 4218 33554432000 4194304 6210612 140730992239648 140730992236184 139746681960762 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 33959936 140730992247819 140730992247921 140730992247921 140730992250830 0
/proc/3274/statm: 10182 4218 819 493 0 3487 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 40728 KiB
Current children cumulated memory: 16872 KiB
[startup+0.309285 s]*
/proc/loadavg: 1.74 1.85 1.98 3/199 3275
/proc/meminfo: memFree=29311000/32770624 swapFree=66932328/67108860
[pid=3274] ppid=3271 vsize=41712 memory=17928 CPUtime=0.31 cores=0,2,4,6
/proc/3274/stat : 3274 (cosoco) R 3271 3274 3213 0 -1 4202496 4682 0 0 0 31 0 0 0 20 0 1 0 412197314 42713088 4482 33554432000 4194304 6210612 140730992239648 140730992236184 139746681891813 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 33959936 140730992247819 140730992247921 140730992247921 140730992250830 0
/proc/3274/statm: 10428 4482 819 493 0 3733 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 41712 KiB
Current children cumulated memory: 17928 KiB
[startup+0.700337 s]
/proc/loadavg: 1.74 1.85 1.98 3/199 3275
/proc/meminfo: memFree=29316836/32770624 swapFree=66932328/67108860
[pid=3274] ppid=3271 vsize=45708 memory=21992 CPUtime=0.69 cores=0,2,4,6
/proc/3274/stat : 3274 (cosoco) R 3271 3274 3213 0 -1 4202496 5669 0 0 0 69 0 0 0 20 0 1 0 412197314 46804992 5498 33554432000 4194304 6210612 140730992239648 140730992236184 139746681891813 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 33959936 140730992247819 140730992247921 140730992247921 140730992250830 0
/proc/3274/statm: 11427 5498 819 493 0 4732 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 45708 KiB
Current children cumulated memory: 21992 KiB
[startup+1.50034 s]
/proc/loadavg: 1.74 1.85 1.98 3/198 3278
/proc/meminfo: memFree=29922776/32770624 swapFree=66932328/67108860
[pid=3274] ppid=3271 vsize=53944 memory=30052 CPUtime=1.49 cores=0,2,4,6
/proc/3274/stat : 3274 (cosoco) R 3271 3274 3213 0 -1 4202496 7717 0 0 0 149 0 0 0 20 0 1 0 412197314 55238656 7513 33554432000 4194304 6210612 140730992239648 140730992236184 139746681891813 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 33959936 140730992247819 140730992247921 140730992247921 140730992250830 0
/proc/3274/statm: 13486 7513 819 493 0 6791 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 53944 KiB
Current children cumulated memory: 30052 KiB
[startup+3.1094 s]
/proc/loadavg: 1.60 1.82 1.97 3/198 3278
/proc/meminfo: memFree=29882052/32770624 swapFree=66932328/67108860
[pid=3274] ppid=3271 vsize=70760 memory=46540 CPUtime=3.1 cores=0,2,4,6
/proc/3274/stat : 3274 (cosoco) R 3271 3274 3213 0 -1 4202496 12035 0 0 0 309 1 0 0 20 0 1 0 412197314 72458240 11635 33554432000 4194304 6210612 140730992239648 140730992213208 5012488 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 33959936 140730992247819 140730992247921 140730992247921 140730992250830 0
/proc/3274/statm: 17690 11635 819 493 0 10995 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 70760 KiB
Current children cumulated memory: 46540 KiB
[startup+6.30033 s]
/proc/loadavg: 1.60 1.82 1.97 3/198 3278
/proc/meminfo: memFree=29820416/32770624 swapFree=66932328/67108860
[pid=3274] ppid=3271 vsize=104172 memory=79464 CPUtime=6.29 cores=0,2,4,6
/proc/3274/stat : 3274 (cosoco) R 3271 3274 3213 0 -1 4202496 20426 0 0 0 627 2 0 0 20 0 1 0 412197314 106672128 19866 33554432000 4194304 6210612 140730992239648 140730992213208 139746681891813 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 33959936 140730992247819 140730992247921 140730992247921 140730992250830 0
/proc/3274/statm: 26043 19866 819 493 0 19348 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 104172 KiB
Current children cumulated memory: 79464 KiB
[startup+12.7003 s]
/proc/loadavg: 1.66 1.83 1.97 3/198 3278
/proc/meminfo: memFree=29697052/32770624 swapFree=66932328/67108860
[pid=3274] ppid=3271 vsize=169632 memory=145464 CPUtime=12.69 cores=0,2,4,6
/proc/3274/stat : 3274 (cosoco) R 3271 3274 3213 0 -1 4202496 37091 0 0 0 1264 5 0 0 20 0 1 0 412197314 173703168 36366 33554432000 4194304 6210612 140730992239648 140730992213208 139746681891813 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 33959936 140730992247819 140730992247921 140730992247921 140730992250830 0
/proc/3274/statm: 42408 36366 819 493 0 35713 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 169632 KiB
Current children cumulated memory: 145464 KiB
[startup+25.5003 s]
/proc/loadavg: 1.71 1.83 1.97 3/198 3280
/proc/meminfo: memFree=29428504/32770624 swapFree=66932328/67108860
[pid=3274] ppid=3271 vsize=302808 memory=277416 CPUtime=25.49 cores=0,2,4,6
/proc/3274/stat : 3274 (cosoco) R 3271 3274 3213 0 -1 4202496 70412 0 0 0 2540 9 0 0 20 0 1 0 412197314 310075392 69354 33554432000 4194304 6210612 140730992239648 140730992213208 5442951 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 33959936 140730992247819 140730992247921 140730992247921 140730992250830 0
/proc/3274/statm: 75702 69354 819 493 0 69007 0
Current children cumulated CPU time: 25.49 s
Current children cumulated vsize: 302808 KiB
Current children cumulated memory: 277416 KiB
[startup+51.1095 s]
/proc/loadavg: 1.81 1.85 1.97 3/198 3281
/proc/meminfo: memFree=28886216/32770624 swapFree=66932328/67108860
[pid=3274] ppid=3271 vsize=570644 memory=543064 CPUtime=51.09 cores=0,2,4,6
/proc/3274/stat : 3274 (cosoco) R 3271 3274 3213 0 -1 4202496 135972 0 0 0 5092 17 0 0 20 0 1 0 412197314 584339456 135766 33554432000 4194304 6210612 140730992239648 140730992213208 139746681891813 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 33959936 140730992247819 140730992247921 140730992247921 140730992250830 0
/proc/3274/statm: 142661 135766 819 493 0 135966 0
Current children cumulated CPU time: 51.09 s
Current children cumulated vsize: 570644 KiB
Current children cumulated memory: 543064 KiB
[startup+102.3 s]
/proc/loadavg: 1.92 1.87 1.97 3/199 3286
/proc/meminfo: memFree=27831804/32770624 swapFree=66932328/67108860
[pid=3274] ppid=3271 vsize=1109220 memory=1069108 CPUtime=102.28 cores=0,2,4,6
/proc/3274/stat : 3274 (cosoco) R 3271 3274 3213 0 -1 4202496 264599 0 0 0 10191 37 0 0 20 0 1 0 412197314 1135841280 267277 33554432000 4194304 6210612 140730992239648 140730992213208 139746681891813 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 33959936 140730992247819 140730992247921 140730992247921 140730992250830 0
/proc/3274/statm: 277305 267277 819 493 0 270610 0
Current children cumulated CPU time: 102.28 s
Current children cumulated vsize: 1109220 KiB
Current children cumulated memory: 1069108 KiB
[startup+162.3 s]
/proc/loadavg: 1.97 1.90 1.97 3/198 3293
/proc/meminfo: memFree=26583768/32770624 swapFree=66932328/67108860
[pid=3274] ppid=3271 vsize=1733104 memory=1688436 CPUtime=162.28 cores=0,2,4,6
/proc/3274/stat : 3274 (cosoco) R 3271 3274 3213 0 -1 4202496 415321 0 0 0 16170 58 0 0 20 0 1 0 412197314 1774698496 422109 33554432000 4194304 6210612 140730992239648 140730992213208 139746681891813 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 33959936 140730992247819 140730992247921 140730992247921 140730992250830 0
/proc/3274/statm: 433276 422109 819 493 0 426581 0
Current children cumulated CPU time: 162.28 s
Current children cumulated vsize: 1733104 KiB
Current children cumulated memory: 1688436 KiB
[startup+222.3 s]
/proc/loadavg: 1.99 1.91 1.97 3/198 3297
/proc/meminfo: memFree=25333400/32770624 swapFree=66932328/67108860
[pid=3274] ppid=3271 vsize=2332252 memory=2308156 CPUtime=222.28 cores=0,2,4,6
/proc/3274/stat : 3274 (cosoco) R 3271 3274 3213 0 -1 4202496 565132 0 0 0 22148 80 0 0 20 0 1 0 412197314 2388226048 577039 33554432000 4194304 6210612 140730992239648 140730992213208 139746681891813 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 33959936 140730992247819 140730992247921 140730992247921 140730992250830 0
/proc/3274/statm: 583063 577039 819 493 0 576368 0
Current children cumulated CPU time: 222.28 s
Current children cumulated vsize: 2332252 KiB
Current children cumulated memory: 2308156 KiB
[startup+282.3 s]
/proc/loadavg: 2.00 1.93 1.97 3/198 3301
/proc/meminfo: memFree=24087768/32770624 swapFree=66932328/67108860
[pid=3274] ppid=3271 vsize=2968180 memory=2925636 CPUtime=282.27 cores=0,2,4,6
/proc/3274/stat : 3274 (cosoco) R 3271 3274 3213 0 -1 4202496 715609 0 0 0 28128 99 0 0 20 0 1 0 412197314 3039416320 731409 33554432000 4194304 6210612 140730992239648 140730992213208 139746681891813 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 33959936 140730992247819 140730992247921 140730992247921 140730992250830 0
/proc/3274/statm: 742045 731409 819 493 0 735350 0
Current children cumulated CPU time: 282.27 s
Current children cumulated vsize: 2968180 KiB
Current children cumulated memory: 2925636 KiB
[startup+342.3 s]
/proc/loadavg: 2.00 1.94 1.97 3/198 3307
/proc/meminfo: memFree=22842868/32770624 swapFree=66932328/67108860
[pid=3274] ppid=3271 vsize=3567196 memory=3543000 CPUtime=342.27 cores=0,2,4,6
/proc/3274/stat : 3274 (cosoco) R 3271 3274 3213 0 -1 4202496 865698 0 0 0 34107 120 0 0 20 0 1 0 412197314 3652808704 885750 33554432000 4194304 6210612 140730992239648 140730992213208 139746681891813 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 33959936 140730992247819 140730992247921 140730992247921 140730992250830 0
/proc/3274/statm: 891799 885750 819 493 0 885104 0
Current children cumulated CPU time: 342.27 s
Current children cumulated vsize: 3567196 KiB
Current children cumulated memory: 3543000 KiB
[startup+402.3 s]
/proc/loadavg: 2.00 1.95 1.97 3/198 3311
/proc/meminfo: memFree=21590960/32770624 swapFree=66932328/67108860
[pid=3274] ppid=3271 vsize=4221444 memory=4162580 CPUtime=402.27 cores=0,2,4,6
/proc/3274/stat : 3274 (cosoco) R 3271 3274 3213 0 -1 4202496 1016463 0 0 0 40084 143 0 0 20 0 1 0 412197314 4322758656 1040645 33554432000 4194304 6210612 140730992239648 140730992213208 139746681891813 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 33959936 140730992247819 140730992247921 140730992247921 140730992250830 0
/proc/3274/statm: 1055361 1040645 819 493 0 1048666 0
Current children cumulated CPU time: 402.27 s
Current children cumulated vsize: 4221444 KiB
Current children cumulated memory: 4162580 KiB
[startup+462.3 s]
/proc/loadavg: 2.00 1.96 1.97 3/197 3322
/proc/meminfo: memFree=20346232/32770624 swapFree=66932328/67108860
[pid=3274] ppid=3271 vsize=4820064 memory=4779524 CPUtime=462.26 cores=0,2,4,6
/proc/3274/stat : 3274 (cosoco) R 3271 3274 3213 0 -1 4202496 1166646 0 0 0 46059 167 0 0 20 0 1 0 412197314 4935745536 1194881 33554432000 4194304 6210612 140730992239648 140730992213208 5451322 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 33959936 140730992247819 140730992247921 140730992247921 140730992250830 0
/proc/3274/statm: 1205016 1194881 819 493 0 1198321 0
Current children cumulated CPU time: 462.26 s
Current children cumulated vsize: 4820064 KiB
Current children cumulated memory: 4779524 KiB
################
# More data... #
################
Current children cumulated vsize: 9814260 KiB
Current children cumulated memory: 9721144 KiB
[startup+1002.3 s]
/proc/loadavg: 2.00 1.99 1.97 3/197 3364
/proc/meminfo: memFree=9132208/32770624 swapFree=66932328/67108860
[pid=3274] ppid=3271 vsize=10412352 memory=10337520 CPUtime=1002.23 cores=0,2,4,6
/proc/3274/stat : 3274 (cosoco) R 3271 3274 3213 0 -1 4202496 2520236 0 0 0 99816 407 0 0 20 0 1 0 412197314 10662248448 2584380 33554432000 4194304 6210612 140730992239648 140730992213208 139746681891813 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 33959936 140730992247819 140730992247921 140730992247921 140730992250830 0
/proc/3274/statm: 2603088 2584380 819 493 0 2596393 0
Current children cumulated CPU time: 1002.23 s
Current children cumulated vsize: 10412352 KiB
Current children cumulated memory: 10337520 KiB
[startup+1062.3 s]
/proc/loadavg: 2.00 1.99 1.97 3/198 3378
/proc/meminfo: memFree=7884172/32770624 swapFree=66932328/67108860
[pid=3274] ppid=3271 vsize=11010180 memory=10955932 CPUtime=1062.23 cores=0,2,4,6
/proc/3274/stat : 3274 (cosoco) R 3271 3274 3213 0 -1 4202496 2670574 0 0 0 105784 439 0 0 20 0 1 0 412197314 11274424320 2738983 33554432000 4194304 6210612 140730992239648 140730992213208 139746681891813 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 33959936 140730992247819 140730992247921 140730992247921 140730992250830 0
/proc/3274/statm: 2752545 2738983 819 493 0 2745850 0
Current children cumulated CPU time: 1062.23 s
Current children cumulated vsize: 11010180 KiB
Current children cumulated memory: 10955932 KiB
[startup+1122.3 s]
/proc/loadavg: 2.00 1.99 1.97 3/198 3382
/proc/meminfo: memFree=6638724/32770624 swapFree=66932328/67108860
[pid=3274] ppid=3271 vsize=11608140 memory=11572300 CPUtime=1122.22 cores=0,2,4,6
/proc/3274/stat : 3274 (cosoco) R 3271 3274 3213 0 -1 4202496 2820916 0 0 0 111753 469 0 0 20 0 1 0 412197314 11886735360 2893075 33554432000 4194304 6210612 140730992239648 140730992213208 139746681891813 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 33959936 140730992247819 140730992247921 140730992247921 140730992250830 0
/proc/3274/statm: 2902035 2893075 819 493 0 2895340 0
Current children cumulated CPU time: 1122.22 s
Current children cumulated vsize: 11608140 KiB
Current children cumulated memory: 11572300 KiB
[startup+1182.3 s]
/proc/loadavg: 2.00 1.99 1.97 3/198 3386
/proc/meminfo: memFree=5394612/32770624 swapFree=66932328/67108860
[pid=3274] ppid=3271 vsize=12392824 memory=12190004 CPUtime=1182.22 cores=0,2,4,6
/proc/3274/stat : 3274 (cosoco) R 3271 3274 3213 0 -1 4202496 2971948 0 0 0 117722 500 0 0 20 0 1 0 412197314 12690251776 3047501 33554432000 4194304 6210612 140730992239648 140730992213208 139746681891813 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 33959936 140730992247819 140730992247921 140730992247921 140730992250830 0
/proc/3274/statm: 3098206 3047501 819 493 0 3091511 0
Current children cumulated CPU time: 1182.22 s
Current children cumulated vsize: 12392824 KiB
Current children cumulated memory: 12190004 KiB
[startup+1242.3 s]
/proc/loadavg: 2.00 1.99 1.97 3/198 3392
/proc/meminfo: memFree=4149700/32770624 swapFree=66932328/67108860
[pid=3274] ppid=3271 vsize=12990520 memory=12806008 CPUtime=1242.21 cores=0,2,4,6
/proc/3274/stat : 3274 (cosoco) R 3271 3274 3213 0 -1 4202496 3122398 0 0 0 123688 533 0 0 20 0 1 0 412197314 13302292480 3201502 33554432000 4194304 6210612 140730992239648 140730992213208 139746681891813 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 33959936 140730992247819 140730992247921 140730992247921 140730992250830 0
/proc/3274/statm: 3247630 3201502 819 493 0 3240935 0
Current children cumulated CPU time: 1242.21 s
Current children cumulated vsize: 12990520 KiB
Current children cumulated memory: 12806008 KiB
[startup+1302.3 s]
/proc/loadavg: 2.00 1.99 1.97 3/198 3396
/proc/meminfo: memFree=2905156/32770624 swapFree=66932328/67108860
[pid=3274] ppid=3271 vsize=13588084 memory=13424144 CPUtime=1302.21 cores=0,2,4,6
/proc/3274/stat : 3274 (cosoco) R 3271 3274 3213 0 -1 4202496 3272671 0 0 0 129653 568 0 0 20 0 1 0 412197314 13914198016 3356036 33554432000 4194304 6210612 140730992239648 140730992213208 139746681891813 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 33959936 140730992247819 140730992247921 140730992247921 140730992250830 0
/proc/3274/statm: 3397021 3356036 819 493 0 3390326 0
Current children cumulated CPU time: 1302.21 s
Current children cumulated vsize: 13588084 KiB
Current children cumulated memory: 13424144 KiB
[startup+1362.3 s]
/proc/loadavg: 2.00 1.99 1.97 3/197 3400
/proc/meminfo: memFree=1660200/32770624 swapFree=66932328/67108860
[pid=3274] ppid=3271 vsize=14184988 memory=14039456 CPUtime=1362.2 cores=0,2,4,6
/proc/3274/stat : 3274 (cosoco) R 3271 3274 3213 0 -1 4202496 3422746 0 0 0 135615 605 0 0 20 0 1 0 412197314 14525427712 3509864 33554432000 4194304 6210612 140730992239648 140730992213208 139746681891813 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 33959936 140730992247819 140730992247921 140730992247921 140730992250830 0
/proc/3274/statm: 3546247 3509864 819 493 0 3539552 0
Current children cumulated CPU time: 1362.2 s
Current children cumulated vsize: 14184988 KiB
Current children cumulated memory: 14039456 KiB
[startup+1422.3 s]
/proc/loadavg: 2.00 1.99 1.97 3/197 3406
/proc/meminfo: memFree=415848/32770624 swapFree=66932328/67108860
[pid=3274] ppid=3271 vsize=14780836 memory=14655700 CPUtime=1422.2 cores=0,2,4,6
/proc/3274/stat : 3274 (cosoco) R 3271 3274 3213 0 -1 4202496 3572913 0 0 0 141570 650 0 0 20 0 1 0 412197314 15135576064 3663925 33554432000 4194304 6210612 140730992239648 140730992213208 139746681891813 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 33959936 140730992247819 140730992247921 140730992247921 140730992250830 0
/proc/3274/statm: 3695209 3663925 819 493 0 3688514 0
Current children cumulated CPU time: 1422.2 s
Current children cumulated vsize: 14780836 KiB
Current children cumulated memory: 14655700 KiB
[startup+1482.3 s]
/proc/loadavg: 2.00 1.99 1.97 3/197 3410
/proc/meminfo: memFree=189824/32770624 swapFree=66385208/67108860
[pid=3274] ppid=3271 vsize=15377212 memory=15270700 CPUtime=1482.2 cores=0,2,4,6
/proc/3274/stat : 3274 (cosoco) R 3271 3274 3213 0 -1 4202496 3723207 0 0 0 147528 692 0 0 20 0 1 0 412197314 15746265088 3817675 33554432000 4194304 6210612 140730992239648 140730992213208 139746681891813 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 33959936 140730992247819 140730992247921 140730992247921 140730992250830 0
/proc/3274/statm: 3844303 3817675 817 493 0 3837608 0
Current children cumulated CPU time: 1482.2 s
Current children cumulated vsize: 15377212 KiB
Current children cumulated memory: 15270700 KiB
Maximum VSize exceeded: sending SIGTERM then SIGKILL
[startup+1532.11 s]
/proc/loadavg: 1.84 1.95 1.96 2/190 3464
/proc/meminfo: memFree=15075804/32770624 swapFree=66883904/67108860
[pid=3274] ppid=3271 vsize=15872080 memory=15781924 CPUtime=1532 cores=0,2,4,6
/proc/3274/stat : 3274 (cosoco) R 3271 3274 3213 0 -1 4202496 3847656 0 0 0 152476 724 0 0 20 0 1 0 412197314 16253009920 3934533 33554432000 4194304 6210612 140730992239648 140730992213208 139746682815731 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 33959936 140730992247819 140730992247921 140730992247921 140730992250830 0
/proc/3274/statm: 3968020 3934533 817 493 0 3961325 0
Current children cumulated CPU time: 1532 s
Current children cumulated vsize: 15872080 KiB
Current children cumulated memory: 15781924 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
??? end of watcher thread
[startup+1535.01 s]
# the end of solver process 3274 was just reported to runsolver
# cumulated CPU time of all completed processes: user=1525.04 s, system=8.16497 s
Solver just ended.
Dumping a history of the last processes samples
[startup+1532.8 s]
/proc/loadavg: 1.84 1.95 1.96 2/190 3464
/proc/meminfo: memFree=15075804/32770624 swapFree=66883904/67108860
[pid=3274] ppid=3271 vsize=15872080 memory=15781924 CPUtime=1532.11 cores=0,2,4,6
/proc/3274/stat : 3274 (cosoco) R 3271 3274 3213 0 -1 512 3847663 0 0 0 152486 725 0 0 20 0 1 0 412197314 16253009920 3934533 33554432000 4194304 6210612 140730992239648 140730992213208 5188952 0 16384 4096 8405026 0 0 0 17 6 0 0 0 0 0 8308220 8313664 33959936 140730992247819 140730992247921 140730992247921 140730992250830 0
/proc/3274/statm: 3968020 3934533 817 493 0 3961325 0
Current children cumulated CPU time: 1532.11 s
Current children cumulated vsize: 15872080 KiB
Current children cumulated memory: 15781924 KiB
[startup+1533.6 s]
/proc/loadavg: 1.84 1.95 1.96 2/191 3465
/proc/meminfo: memFree=14600992/32770624 swapFree=66883908/67108860
[pid=3274] ppid=3271 vsize=15872080 memory=15781924 CPUtime=1532.23 cores=0,2,4,6
/proc/3274/stat : 3274 (cosoco) S 3271 3274 3213 0 -1 512 3847663 0 0 0 152497 726 0 0 20 0 1 0 412197314 16253009920 3934533 33554432000 4194304 6210612 140730992239648 140730992213208 5188952 0 16384 4096 8405026 0 0 0 17 2 0 0 0 0 0 8308220 8313664 33959936 140730992247819 140730992247921 140730992247921 140730992250830 0
/proc/3274/statm: 3968020 3934533 817 493 0 3961325 0
Current children cumulated CPU time: 1532.23 s
Current children cumulated vsize: 15872080 KiB
Current children cumulated memory: 15781924 KiB
[startup+1534 s]*
/proc/loadavg: 1.84 1.95 1.96 1/191 3465
/proc/meminfo: memFree=14072256/32770624 swapFree=66883908/67108860
[pid=3274] ppid=3271 vsize=15872080 memory=15781924 CPUtime=1532.28 cores=0,2,4,6
/proc/3274/stat : 3274 (cosoco) S 3271 3274 3213 0 -1 512 3847663 0 0 0 152502 726 0 0 20 0 1 0 412197314 16253009920 3934533 33554432000 4194304 6210612 140730992239648 140730992213208 5188952 0 16384 4096 8405026 18446744071580971376 0 0 17 4 0 0 0 0 0 8308220 8313664 33959936 140730992247819 140730992247921 140730992247921 140730992250830 0
/proc/3274/statm: 3968020 3934533 817 493 0 3961325 0
Current children cumulated CPU time: 1532.28 s
Current children cumulated vsize: 15872080 KiB
Current children cumulated memory: 15781924 KiB
[startup+1534.11 s]
/proc/loadavg: 1.84 1.95 1.96 1/191 3465
/proc/meminfo: memFree=14072256/32770624 swapFree=66883908/67108860
[pid=3274] ppid=3271 vsize=15872080 memory=15781924 CPUtime=1532.3 cores=0,2,4,6
/proc/3274/stat : 3274 (cosoco) S 3271 3274 3213 0 -1 512 3847663 0 0 0 152504 726 0 0 20 0 1 0 412197314 16253009920 3934533 33554432000 4194304 6210612 140730992239648 140730992213208 5188952 0 16384 4096 8405026 18446744071580971376 0 0 17 4 0 0 0 0 0 8308220 8313664 33959936 140730992247819 140730992247921 140730992247921 140730992250830 0
/proc/3274/statm: 3968020 3934533 817 493 0 3961325 0
Current children cumulated CPU time: 1532.3 s
Current children cumulated vsize: 15872080 KiB
Current children cumulated memory: 15781924 KiB
Child ended because it received signal 9 (SIGKILL)
Real time (s): 1535.01
CPU time (s): 1533.21
CPU user time (s): 1525.04
CPU system time (s): 8.16497
CPU usage (%): 99.8827
Max. virtual memory (cumulated for all children) (KiB): 15872080
Max. memory (cumulated for all children) (KiB): 15781924
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1525.04
system time used= 8.16497
maximum resident set size= 15738340
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3847663
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= 129022
involuntary context switches= 1931
# summary of solver processes directly reported to runsolver:
# pid: 3274
# total CPU time (s): 1533.21
# total CPU user time (s): 1525.04
# total CPU system time (s): 8.16497
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.74583 second user time and 10.2275 second system time
The end