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 (13055 MiB free)
memory of node 1: 16384 MiB (15757 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4389927-1568359096/watcher-4389927-1568359096 -o /tmp/evaluation-result-4389927-1568359096/solver-4389927-1568359096 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node103-1568359037-18067 --watchdog 2580 cosoco -lc -model -restarts -stick HOME/instance-4389927-1568359096.xml
running on 4 cores: 1,3,5,7
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=18096, runsolver pid=18093
[startup+0.100152 s]*
/proc/loadavg: 1.15 1.54 1.85 3/199 18097
/proc/meminfo: memFree=29482840/32770624 swapFree=66997060/67108860
[pid=18096] ppid=18093 vsize=39156 memory=15228 CPUtime=0.1 cores=1,3,5,7
/proc/18096/stat : 18096 (cosoco) R 18093 18096 18035 0 -1 4202496 4012 0 0 0 10 0 0 0 20 0 1 0 412162706 40095744 3807 33554432000 4194304 6210612 140722108861200 140722108857736 139828045712357 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8308220 8313664 31875072 140722108863499 140722108863601 140722108863601 140722108866510 0
/proc/18096/statm: 9789 3807 809 493 0 3094 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 39156 KiB
Current children cumulated memory: 15228 KiB
[startup+0.209421 s]*
/proc/loadavg: 1.15 1.54 1.85 3/199 18097
/proc/meminfo: memFree=29479540/32770624 swapFree=66997060/67108860
[pid=18096] ppid=18093 vsize=40732 memory=17004 CPUtime=0.21 cores=1,3,5,7
/proc/18096/stat : 18096 (cosoco) R 18093 18096 18035 0 -1 4202496 4435 0 0 0 21 0 0 0 20 0 1 0 412162706 41709568 4251 33554432000 4194304 6210612 140722108861200 140722108857736 5442786 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8308220 8313664 31875072 140722108863499 140722108863601 140722108863601 140722108866510 0
/proc/18096/statm: 10183 4251 819 493 0 3488 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 40732 KiB
Current children cumulated memory: 17004 KiB
[startup+0.309105 s]*
/proc/loadavg: 1.15 1.54 1.85 3/199 18097
/proc/meminfo: memFree=29477680/32770624 swapFree=66997060/67108860
[pid=18096] ppid=18093 vsize=41848 memory=18060 CPUtime=0.3 cores=1,3,5,7
/proc/18096/stat : 18096 (cosoco) R 18093 18096 18035 0 -1 4202496 4693 0 0 0 30 0 0 0 20 0 1 0 412162706 42852352 4515 33554432000 4194304 6210612 140722108861200 140722108857736 139828045708094 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8308220 8313664 31875072 140722108863499 140722108863601 140722108863601 140722108866510 0
/proc/18096/statm: 10462 4515 819 493 0 3767 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 41848 KiB
Current children cumulated memory: 18060 KiB
[startup+0.700278 s]
/proc/loadavg: 1.15 1.54 1.85 3/199 18097
/proc/meminfo: memFree=29473464/32770624 swapFree=66997060/67108860
[pid=18096] ppid=18093 vsize=45844 memory=21992 CPUtime=0.69 cores=1,3,5,7
/proc/18096/stat : 18096 (cosoco) R 18093 18096 18035 0 -1 4202496 5682 0 0 0 69 0 0 0 20 0 1 0 412162706 46944256 5498 33554432000 4194304 6210612 140722108861200 140722108834760 139828045712357 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8308220 8313664 31875072 140722108863499 140722108863601 140722108863601 140722108866510 0
/proc/18096/statm: 11461 5498 819 493 0 4766 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 45844 KiB
Current children cumulated memory: 21992 KiB
[startup+1.50028 s]
/proc/loadavg: 1.15 1.54 1.85 3/199 18097
/proc/meminfo: memFree=29463000/32770624 swapFree=66997060/67108860
[pid=18096] ppid=18093 vsize=54080 memory=30316 CPUtime=1.49 cores=1,3,5,7
/proc/18096/stat : 18096 (cosoco) R 18093 18096 18035 0 -1 4202496 7753 0 0 0 149 0 0 0 20 0 1 0 412162706 55377920 7579 33554432000 4194304 6210612 140722108861200 140722108834760 139828045712357 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8308220 8313664 31875072 140722108863499 140722108863601 140722108863601 140722108866510 0
/proc/18096/statm: 13520 7579 819 493 0 6825 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 54080 KiB
Current children cumulated memory: 30316 KiB
[startup+3.10921 s]
/proc/loadavg: 1.06 1.52 1.84 3/199 18097
/proc/meminfo: memFree=29422288/32770624 swapFree=66997060/67108860
[pid=18096] ppid=18093 vsize=71028 memory=46808 CPUtime=3.1 cores=1,3,5,7
/proc/18096/stat : 18096 (cosoco) R 18093 18096 18035 0 -1 4202496 12083 0 0 0 309 1 0 0 20 0 1 0 412162706 72732672 11702 33554432000 4194304 6210612 140722108861200 140722108834760 139828045712357 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8308220 8313664 31875072 140722108863499 140722108863601 140722108863601 140722108866510 0
/proc/18096/statm: 17757 11702 819 493 0 11062 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 71028 KiB
Current children cumulated memory: 46808 KiB
[startup+6.30022 s]
/proc/loadavg: 1.06 1.52 1.84 3/199 18097
/proc/meminfo: memFree=29359872/32770624 swapFree=66997060/67108860
[pid=18096] ppid=18093 vsize=104572 memory=79996 CPUtime=6.29 cores=1,3,5,7
/proc/18096/stat : 18096 (cosoco) R 18093 18096 18035 0 -1 4202496 20502 0 0 0 626 3 0 0 20 0 1 0 412162706 107081728 19999 33554432000 4194304 6210612 140722108861200 140722108834760 139828045712357 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8308220 8313664 31875072 140722108863499 140722108863601 140722108863601 140722108866510 0
/proc/18096/statm: 26143 19999 819 493 0 19448 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 104572 KiB
Current children cumulated memory: 79996 KiB
[startup+12.7002 s]
/proc/loadavg: 1.14 1.52 1.84 3/200 18099
/proc/meminfo: memFree=29234868/32770624 swapFree=66997060/67108860
[pid=18096] ppid=18093 vsize=170032 memory=145992 CPUtime=12.69 cores=1,3,5,7
/proc/18096/stat : 18096 (cosoco) R 18093 18096 18035 0 -1 4202496 37216 0 0 0 1264 5 0 0 20 0 1 0 412162706 174112768 36498 33554432000 4194304 6210612 140722108861200 140722108834760 139828045712357 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8308220 8313664 31875072 140722108863499 140722108863601 140722108863601 140722108866510 0
/proc/18096/statm: 42508 36498 819 493 0 35813 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 170032 KiB
Current children cumulated memory: 145992 KiB
[startup+25.5002 s]
/proc/loadavg: 1.33 1.55 1.85 3/199 18099
/proc/meminfo: memFree=28964312/32770624 swapFree=66997060/67108860
[pid=18096] ppid=18093 vsize=303736 memory=278484 CPUtime=25.49 cores=1,3,5,7
/proc/18096/stat : 18096 (cosoco) R 18093 18096 18035 0 -1 4202496 70646 0 0 0 2539 10 0 0 20 0 1 0 412162706 311025664 69621 33554432000 4194304 6210612 140722108861200 140722108834760 139828045712357 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8308220 8313664 31875072 140722108863499 140722108863601 140722108863601 140722108866510 0
/proc/18096/statm: 75934 69621 819 493 0 69239 0
Current children cumulated CPU time: 25.49 s
Current children cumulated vsize: 303736 KiB
Current children cumulated memory: 278484 KiB
[startup+51.1093 s]
/proc/loadavg: 1.56 1.58 1.85 3/199 18100
/proc/meminfo: memFree=28425312/32770624 swapFree=66997060/67108860
[pid=18096] ppid=18093 vsize=572496 memory=544384 CPUtime=51.1 cores=1,3,5,7
/proc/18096/stat : 18096 (cosoco) R 18093 18096 18035 0 -1 4202496 135743 0 0 0 5092 18 0 0 20 0 1 0 412162706 586235904 136096 33554432000 4194304 6210612 140722108861200 140722108834760 139828045712357 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8308220 8313664 31875072 140722108863499 140722108863601 140722108863601 140722108866510 0
/proc/18096/statm: 143124 136096 819 493 0 136429 0
Current children cumulated CPU time: 51.1 s
Current children cumulated vsize: 572496 KiB
Current children cumulated memory: 544384 KiB
[startup+102.3 s]
/proc/loadavg: 1.81 1.65 1.86 3/199 18106
/proc/meminfo: memFree=27368384/32770624 swapFree=66997060/67108860
[pid=18096] ppid=18093 vsize=1112656 memory=1072540 CPUtime=102.28 cores=1,3,5,7
/proc/18096/stat : 18096 (cosoco) R 18093 18096 18035 0 -1 4202496 264926 0 0 0 10193 35 0 0 20 0 1 0 412162706 1139359744 268135 33554432000 4194304 6210612 140722108861200 140722108834760 139828045712357 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8308220 8313664 31875072 140722108863499 140722108863601 140722108863601 140722108866510 0
/proc/18096/statm: 278164 268135 819 493 0 271469 0
Current children cumulated CPU time: 102.28 s
Current children cumulated vsize: 1112656 KiB
Current children cumulated memory: 1072540 KiB
[startup+162.3 s]
/proc/loadavg: 1.93 1.71 1.87 3/199 18110
/proc/meminfo: memFree=26122028/32770624 swapFree=66997060/67108860
[pid=18096] ppid=18093 vsize=1738124 memory=1694968 CPUtime=162.28 cores=1,3,5,7
/proc/18096/stat : 18096 (cosoco) R 18093 18096 18035 0 -1 4202496 415903 0 0 0 16174 54 0 0 20 0 1 0 412162706 1779838976 423742 33554432000 4194304 6210612 140722108861200 140722108834760 139828045712357 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8308220 8313664 31875072 140722108863499 140722108863601 140722108863601 140722108866510 0
/proc/18096/statm: 434531 423742 819 493 0 427836 0
Current children cumulated CPU time: 162.28 s
Current children cumulated vsize: 1738124 KiB
Current children cumulated memory: 1694968 KiB
[startup+222.3 s]
/proc/loadavg: 1.97 1.76 1.87 3/200 18122
/proc/meminfo: memFree=24877140/32770624 swapFree=66997060/67108860
[pid=18096] ppid=18093 vsize=2338988 memory=2314228 CPUtime=222.28 cores=1,3,5,7
/proc/18096/stat : 18096 (cosoco) R 18093 18096 18035 0 -1 4202496 566137 0 0 0 22154 74 0 0 20 0 1 0 412162706 2395123712 578557 33554432000 4194304 6210612 140722108861200 140722108834760 139828045712357 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8308220 8313664 31875072 140722108863499 140722108863601 140722108863601 140722108866510 0
/proc/18096/statm: 584747 578557 819 493 0 578052 0
Current children cumulated CPU time: 222.28 s
Current children cumulated vsize: 2338988 KiB
Current children cumulated memory: 2314228 KiB
[startup+282.3 s]
/proc/loadavg: 1.99 1.81 1.88 3/200 18128
/proc/meminfo: memFree=23631460/32770624 swapFree=66997060/67108860
[pid=18096] ppid=18093 vsize=2976896 memory=2933832 CPUtime=282.27 cores=1,3,5,7
/proc/18096/stat : 18096 (cosoco) R 18093 18096 18035 0 -1 4202496 717101 0 0 0 28134 93 0 0 20 0 1 0 412162706 3048341504 733458 33554432000 4194304 6210612 140722108861200 140722108834760 139828045712357 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8308220 8313664 31875072 140722108863499 140722108863601 140722108863601 140722108866510 0
/proc/18096/statm: 744224 733458 819 493 0 737529 0
Current children cumulated CPU time: 282.27 s
Current children cumulated vsize: 2976896 KiB
Current children cumulated memory: 2933832 KiB
[startup+342.3 s]
/proc/loadavg: 2.00 1.84 1.89 3/200 18132
/proc/meminfo: memFree=22388132/32770624 swapFree=66997060/67108860
[pid=18096] ppid=18093 vsize=3577892 memory=3553860 CPUtime=342.26 cores=1,3,5,7
/proc/18096/stat : 18096 (cosoco) R 18093 18096 18035 0 -1 4202496 867865 0 0 0 34112 114 0 0 20 0 1 0 412162706 3663761408 888465 33554432000 4194304 6210612 140722108861200 140722108834760 139828045712357 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8308220 8313664 31875072 140722108863499 140722108863601 140722108863601 140722108866510 0
/proc/18096/statm: 894473 888465 819 493 0 887778 0
Current children cumulated CPU time: 342.26 s
Current children cumulated vsize: 3577892 KiB
Current children cumulated memory: 3553860 KiB
[startup+402.3 s]
/proc/loadavg: 2.00 1.87 1.89 3/200 18136
/proc/meminfo: memFree=21142224/32770624 swapFree=66997060/67108860
[pid=18096] ppid=18093 vsize=4234120 memory=4174532 CPUtime=402.26 cores=1,3,5,7
/proc/18096/stat : 18096 (cosoco) R 18093 18096 18035 0 -1 4202496 1018933 0 0 0 40089 137 0 0 20 0 1 0 412162706 4335738880 1043633 33554432000 4194304 6210612 140722108861200 140722108834760 139828045712357 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8308220 8313664 31875072 140722108863499 140722108863601 140722108863601 140722108866510 0
/proc/18096/statm: 1058530 1043633 819 493 0 1051835 0
Current children cumulated CPU time: 402.26 s
Current children cumulated vsize: 4234120 KiB
Current children cumulated memory: 4174532 KiB
[startup+462.3 s]
/proc/loadavg: 2.00 1.89 1.90 3/200 18142
/proc/meminfo: memFree=19897884/32770624 swapFree=66997060/67108860
[pid=18096] ppid=18093 vsize=4834588 memory=4795668 CPUtime=462.26 cores=1,3,5,7
/proc/18096/stat : 18096 (cosoco) R 18093 18096 18035 0 -1 4202496 1169582 0 0 0 46064 162 0 0 20 0 1 0 412162706 4950618112 1198917 33554432000 4194304 6210612 140722108861200 140722108834760 139828045712357 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8308220 8313664 31875072 140722108863499 140722108863601 140722108863601 140722108866510 0
/proc/18096/statm: 1208647 1198917 819 493 0 1201952 0
Current children cumulated CPU time: 462.26 s
Current children cumulated vsize: 4834588 KiB
Current children cumulated memory: 4795668 KiB
################
# More data... #
################
Current children cumulated vsize: 9845548 KiB
Current children cumulated memory: 9753748 KiB
[startup+1002.3 s]
/proc/loadavg: 2.00 1.98 1.95 3/200 18194
/proc/meminfo: memFree=8706188/32770624 swapFree=66997060/67108860
[pid=18096] ppid=18093 vsize=10445488 memory=10372332 CPUtime=1002.22 cores=1,3,5,7
/proc/18096/stat : 18096 (cosoco) R 18093 18096 18035 0 -1 4202496 2527549 0 0 0 99827 395 0 0 20 0 1 0 412162706 10696179712 2593083 33554432000 4194304 6210612 140722108861200 140722108834760 139828045712357 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8308220 8313664 31875072 140722108863499 140722108863601 140722108863601 140722108866510 0
/proc/18096/statm: 2611372 2593083 819 493 0 2604677 0
Current children cumulated CPU time: 1002.22 s
Current children cumulated vsize: 10445488 KiB
Current children cumulated memory: 10372332 KiB
[startup+1062.3 s]
/proc/loadavg: 2.00 1.99 1.95 3/200 18198
/proc/meminfo: memFree=7464192/32770624 swapFree=66997060/67108860
[pid=18096] ppid=18093 vsize=11045428 memory=10992508 CPUtime=1062.21 cores=1,3,5,7
/proc/18096/stat : 18096 (cosoco) R 18093 18096 18035 0 -1 4202496 2678538 0 0 0 105796 425 0 0 20 0 1 0 412162706 11310518272 2748127 33554432000 4194304 6210612 140722108861200 140722108834760 139828045712357 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8308220 8313664 31875072 140722108863499 140722108863601 140722108863601 140722108866510 0
/proc/18096/statm: 2761357 2748127 819 493 0 2754662 0
Current children cumulated CPU time: 1062.21 s
Current children cumulated vsize: 11045428 KiB
Current children cumulated memory: 10992508 KiB
[startup+1122.3 s]
/proc/loadavg: 2.00 1.99 1.95 3/199 18202
/proc/meminfo: memFree=6221128/32770624 swapFree=66997060/67108860
[pid=18096] ppid=18093 vsize=11645368 memory=11611048 CPUtime=1122.2 cores=1,3,5,7
/proc/18096/stat : 18096 (cosoco) R 18093 18096 18035 0 -1 4202496 2829386 0 0 0 111767 453 0 0 20 0 1 0 412162706 11924856832 2902762 33554432000 4194304 6210612 140722108861200 140722108834760 139828045712357 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8308220 8313664 31875072 140722108863499 140722108863601 140722108863601 140722108866510 0
/proc/18096/statm: 2911342 2902762 819 493 0 2904647 0
Current children cumulated CPU time: 1122.2 s
Current children cumulated vsize: 11645368 KiB
Current children cumulated memory: 11611048 KiB
[startup+1182.3 s]
/proc/loadavg: 2.00 1.99 1.95 3/199 18208
/proc/meminfo: memFree=4977208/32770624 swapFree=66997060/67108860
[pid=18096] ppid=18093 vsize=12431900 memory=12230508 CPUtime=1182.2 cores=1,3,5,7
/proc/18096/stat : 18096 (cosoco) R 18093 18096 18035 0 -1 4202496 2980520 0 0 0 117737 483 0 0 20 0 1 0 412162706 12730265600 3057627 33554432000 4194304 6210612 140722108861200 140722108834760 139828045712357 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8308220 8313664 31875072 140722108863499 140722108863601 140722108863601 140722108866510 0
/proc/18096/statm: 3107975 3057627 819 493 0 3101280 0
Current children cumulated CPU time: 1182.2 s
Current children cumulated vsize: 12431900 KiB
Current children cumulated memory: 12230508 KiB
[startup+1242.3 s]
/proc/loadavg: 2.00 1.99 1.95 3/199 18212
/proc/meminfo: memFree=3737120/32770624 swapFree=66997060/67108860
[pid=18096] ppid=18093 vsize=13031708 memory=12848784 CPUtime=1242.2 cores=1,3,5,7
/proc/18096/stat : 18096 (cosoco) R 18093 18096 18035 0 -1 4202496 3131302 0 0 0 123704 516 0 0 20 0 1 0 412162706 13344468992 3212196 33554432000 4194304 6210612 140722108861200 140722108834760 139828045712357 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8308220 8313664 31875072 140722108863499 140722108863601 140722108863601 140722108866510 0
/proc/18096/statm: 3257927 3212196 819 493 0 3251232 0
Current children cumulated CPU time: 1242.2 s
Current children cumulated vsize: 13031708 KiB
Current children cumulated memory: 12848784 KiB
[startup+1302.3 s]
/proc/loadavg: 2.00 1.99 1.95 3/199 18216
/proc/meminfo: memFree=2492936/32770624 swapFree=66997060/67108860
[pid=18096] ppid=18093 vsize=13631252 memory=13468840 CPUtime=1302.19 cores=1,3,5,7
/proc/18096/stat : 18096 (cosoco) R 18093 18096 18035 0 -1 4202496 3282029 0 0 0 129671 548 0 0 20 0 1 0 412162706 13958402048 3367210 33554432000 4194304 6210612 140722108861200 140722108834760 139828045712357 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8308220 8313664 31875072 140722108863499 140722108863601 140722108863601 140722108866510 0
/proc/18096/statm: 3407813 3367210 819 493 0 3401118 0
Current children cumulated CPU time: 1302.19 s
Current children cumulated vsize: 13631252 KiB
Current children cumulated memory: 13468840 KiB
[startup+1362.3 s]
/proc/loadavg: 2.00 1.99 1.95 3/199 18222
/proc/meminfo: memFree=1253816/32770624 swapFree=66997060/67108860
[pid=18096] ppid=18093 vsize=14230664 memory=14086588 CPUtime=1362.2 cores=1,3,5,7
/proc/18096/stat : 18096 (cosoco) R 18093 18096 18035 0 -1 4202496 3432744 0 0 0 135639 581 0 0 20 0 1 0 412162706 14572199936 3521647 33554432000 4194304 6210612 140722108861200 140722108834760 139828045712357 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8308220 8313664 31875072 140722108863499 140722108863601 140722108863601 140722108866510 0
/proc/18096/statm: 3557666 3521647 819 493 0 3550971 0
Current children cumulated CPU time: 1362.2 s
Current children cumulated vsize: 14230664 KiB
Current children cumulated memory: 14086588 KiB
[startup+1422.3 s]
/proc/loadavg: 2.00 1.99 1.95 3/199 18233
/proc/meminfo: memFree=198604/32770624 swapFree=66944700/67108860
[pid=18096] ppid=18093 vsize=14829416 memory=14704700 CPUtime=1422.18 cores=1,3,5,7
/proc/18096/stat : 18096 (cosoco) R 18093 18096 18035 0 -1 4202496 3583785 0 0 0 141599 619 0 0 20 0 1 0 412162706 15185321984 3664144 33554432000 4194304 6210612 140722108861200 140722108834760 139828045712357 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 31875072 140722108863499 140722108863601 140722108863601 140722108866510 0
/proc/18096/statm: 3707354 3664144 514 493 0 3700659 0
Current children cumulated CPU time: 1422.18 s
Current children cumulated vsize: 14829416 KiB
Current children cumulated memory: 14704700 KiB
[startup+1482.3 s]
/proc/loadavg: 1.89 1.96 1.95 3/199 18237
/proc/meminfo: memFree=197064/32770624 swapFree=66618632/67108860
[pid=18096] ppid=18093 vsize=15426056 memory=15319680 CPUtime=1482.18 cores=1,3,5,7
/proc/18096/stat : 18096 (cosoco) R 18093 18096 18035 0 -1 4202496 3734830 0 0 0 147552 666 0 0 20 0 1 0 412162706 15796281344 3736278 33554432000 4194304 6210612 140722108861200 140722108834760 139828045712357 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8308220 8313664 31875072 140722108863499 140722108863601 140722108863601 140722108866510 0
/proc/18096/statm: 3856514 3736278 514 493 0 3849819 0
Current children cumulated CPU time: 1482.18 s
Current children cumulated vsize: 15426056 KiB
Current children cumulated memory: 15319680 KiB
Maximum VSize exceeded: sending SIGTERM then SIGKILL
[startup+1527.6 s]
/proc/loadavg: 1.95 1.96 1.95 2/194 18241
/proc/meminfo: memFree=15997152/32770624 swapFree=66447180/67108860
[pid=18096] ppid=18093 vsize=15872612 memory=15780532 CPUtime=1527.08 cores=1,3,5,7
/proc/18096/stat : 18096 (cosoco) R 18093 18096 18035 0 -1 4202496 3847483 0 0 0 152005 703 0 0 20 0 1 0 412162706 16253554688 3808597 33554432000 4194304 6210612 140722108861200 140722108834760 139828045712357 0 0 4096 8405026 0 0 0 17 3 0 0 39 0 0 8308220 8313664 31875072 140722108863499 140722108863601 140722108863601 140722108866510 0
/proc/18096/statm: 3968153 3808597 514 493 0 3961458 0
Current children cumulated CPU time: 1527.08 s
Current children cumulated vsize: 15872612 KiB
Current children cumulated memory: 15780532 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
??? end of watcher thread
[startup+1532.21 s]
# the end of solver process 18096 was just reported to runsolver
# cumulated CPU time of all completed processes: user=1521.8 s, system=7.89844 s
Solver just ended.
Dumping a history of the last processes samples
[startup+1529.7 s]*
/proc/loadavg: 2.03 1.98 1.96 1/197 18245
/proc/meminfo: memFree=15939376/32770624 swapFree=66447188/67108860
[pid=18096] ppid=18093 vsize=15890168 memory=15798120 CPUtime=1528.84 cores=1,3,5,7
/proc/18096/stat : 18096 (cosoco) D 18093 18096 18035 0 -1 4194304 3852042 0 0 0 152180 704 0 0 20 0 1 0 412162706 16271532032 3812994 33554432000 4194304 6210612 140722108861200 140722108834760 5188688 0 16384 4096 8405026 18446744071581916792 0 0 17 3 0 0 39 0 0 8308220 8313664 31875072 140722108863499 140722108863601 140722108863601 140722108866510 0
/proc/18096/statm: 3972542 3812994 514 493 0 3965847 0
Current children cumulated CPU time: 1528.84 s
Current children cumulated vsize: 15890168 KiB
Current children cumulated memory: 15798120 KiB
[startup+1530.5 s]
/proc/loadavg: 2.03 1.98 1.96 1/197 18245
/proc/meminfo: memFree=15939376/32770624 swapFree=66447188/67108860
[pid=18096] ppid=18093 vsize=15890168 memory=15798120 CPUtime=1528.84 cores=1,3,5,7
/proc/18096/stat : 18096 (cosoco) D 18093 18096 18035 0 -1 4202496 3852045 0 2 0 152180 704 0 0 20 0 1 0 412162706 16271532032 3812994 33554432000 4194304 6210612 140722108861200 140722108834760 5188936 0 16384 4096 8405026 18446744071580431491 0 0 17 3 0 0 138 0 0 8308220 8313664 31875072 140722108863499 140722108863601 140722108863601 140722108866510 0
/proc/18096/statm: 3972542 3812994 514 493 0 3965847 0
Current children cumulated CPU time: 1528.84 s
Current children cumulated vsize: 15890168 KiB
Current children cumulated memory: 15798120 KiB
[startup+1530.9 s]
/proc/loadavg: 2.03 1.98 1.96 1/198 18246
/proc/meminfo: memFree=15951424/32770624 swapFree=66447192/67108860
[pid=18096] ppid=18093 vsize=15890168 memory=15798120 CPUtime=1528.84 cores=1,3,5,7
/proc/18096/stat : 18096 (cosoco) S 18093 18096 18035 0 -1 512 3852050 0 3 0 152180 704 0 0 20 0 1 0 412162706 16271532032 3812993 33554432000 4194304 6210612 140722108861200 140722108834760 5188952 0 16384 4096 8405026 18446744071580971376 0 0 17 5 0 0 166 0 0 8308220 8313664 31875072 140722108863499 140722108863601 140722108863601 140722108866510 0
/proc/18096/statm: 3972542 3812993 514 493 0 3965847 0
Current children cumulated CPU time: 1528.84 s
Current children cumulated vsize: 15890168 KiB
Current children cumulated memory: 15798120 KiB
[startup+1531.3 s]
/proc/loadavg: 2.03 1.98 1.96 1/198 18246
/proc/meminfo: memFree=15951424/32770624 swapFree=66447192/67108860
[pid=18096] ppid=18093 vsize=15890168 memory=15798120 CPUtime=1528.84 cores=1,3,5,7
/proc/18096/stat : 18096 (cosoco) S 18093 18096 18035 0 -1 512 3852050 0 3 0 152180 704 0 0 20 0 1 0 412162706 16271532032 3812993 33554432000 4194304 6210612 140722108861200 140722108834760 5188952 0 16384 4096 8405026 18446744071580971376 0 0 17 5 0 0 166 0 0 8308220 8313664 31875072 140722108863499 140722108863601 140722108863601 140722108866510 0
/proc/18096/statm: 3972542 3812993 514 493 0 3965847 0
Current children cumulated CPU time: 1528.84 s
Current children cumulated vsize: 15890168 KiB
Current children cumulated memory: 15798120 KiB
Child ended because it received signal 9 (SIGKILL)
Real time (s): 1532.21
CPU time (s): 1529.7
CPU user time (s): 1521.8
CPU system time (s): 7.89844
CPU usage (%): 99.8363
Max. virtual memory (cumulated for all children) (KiB): 15890168
Max. memory (cumulated for all children) (KiB): 15798120
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1521.8
system time used= 7.89844
maximum resident set size= 15252192
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3852050
page faults= 3
swaps= 0
block input operations= 5456
block output operations= 2200
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 27
involuntary context switches= 1851
# summary of solver processes directly reported to runsolver:
# pid: 18096
# total CPU time (s): 1529.7
# total CPU user time (s): 1521.8
# total CPU system time (s): 7.89844
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.61841 second user time and 9.94395 second system time
The end