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 (15266 MiB free)
memory of node 1: 16384 MiB (15621 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4389734-1568322260/watcher-4389734-1568322260 -o /tmp/evaluation-result-4389734-1568322260/solver-4389734-1568322260 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node105-1568308483-14144 --watchdog 2580 cosoco -lc -model -restarts -stick HOME/instance-4389734-1568322260.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
solver pid=15919, runsolver pid=15916
Current StackSize limit: 8192 KiB
[startup+0.100149 s]*
/proc/loadavg: 2.00 2.04 2.07 3/201 15920
/proc/meminfo: memFree=31628372/32770624 swapFree=66934728/67108860
[pid=15919] ppid=15916 vsize=28720 memory=5008 CPUtime=0.1 cores=1,3,5,7
/proc/15919/stat : 15919 (cosoco) R 15916 15919 14112 0 -1 4202496 1448 0 0 0 10 0 0 0 20 0 1 0 408484425 29409280 1252 33554432000 4194304 6210612 140731424594096 140731424590632 140304574704613 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8308220 8313664 15310848 140731424601099 140731424601201 140731424601201 140731424604110 0
/proc/15919/statm: 7180 1252 845 493 0 485 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 28720 KiB
Current children cumulated memory: 5008 KiB
[startup+0.209568 s]*
/proc/loadavg: 2.00 2.04 2.07 3/201 15920
/proc/meminfo: memFree=31626584/32770624 swapFree=66934728/67108860
[pid=15919] ppid=15916 vsize=30116 memory=6344 CPUtime=0.21 cores=1,3,5,7
/proc/15919/stat : 15919 (cosoco) R 15916 15919 14112 0 -1 4202496 1799 0 0 0 21 0 0 0 20 0 1 0 408484425 30838784 1586 33554432000 4194304 6210612 140731424594096 140731424590632 140304574704613 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8308220 8313664 15310848 140731424601099 140731424601201 140731424601201 140731424604110 0
/proc/15919/statm: 7529 1586 845 493 0 834 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 30116 KiB
Current children cumulated memory: 6344 KiB
[startup+0.309034 s]*
/proc/loadavg: 2.00 2.04 2.07 3/201 15920
/proc/meminfo: memFree=31625468/32770624 swapFree=66934728/67108860
[pid=15919] ppid=15916 vsize=31496 memory=7676 CPUtime=0.31 cores=1,3,5,7
/proc/15919/stat : 15919 (cosoco) R 15916 15919 14112 0 -1 4202496 2119 0 0 0 31 0 0 0 20 0 1 0 408484425 32251904 1919 33554432000 4194304 6210612 140731424594096 140731424590632 140304574704613 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8308220 8313664 15310848 140731424601099 140731424601201 140731424601201 140731424604110 0
/proc/15919/statm: 7874 1919 845 493 0 1179 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 31496 KiB
Current children cumulated memory: 7676 KiB
[startup+0.700282 s]
/proc/loadavg: 2.00 2.04 2.07 3/201 15920
/proc/meminfo: memFree=31623020/32770624 swapFree=66934728/67108860
[pid=15919] ppid=15916 vsize=36696 memory=12768 CPUtime=0.69 cores=1,3,5,7
/proc/15919/stat : 15919 (cosoco) R 15916 15919 14112 0 -1 4202496 3354 0 0 0 69 0 0 0 20 0 1 0 408484425 37576704 3127 33554432000 4194304 6210612 140731424594096 140731424582024 5012637 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8308220 8313664 15310848 140731424601099 140731424601201 140731424601201 140731424604110 0
/proc/15919/statm: 9174 3192 845 493 0 2479 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 36696 KiB
Current children cumulated memory: 12768 KiB
[startup+1.50028 s]
/proc/loadavg: 2.00 2.04 2.07 3/201 15920
/proc/meminfo: memFree=31616480/32770624 swapFree=66934728/67108860
[pid=15919] ppid=15916 vsize=46708 memory=22896 CPUtime=1.49 cores=1,3,5,7
/proc/15919/stat : 15919 (cosoco) R 15916 15919 14112 0 -1 4202496 5942 0 0 0 149 0 0 0 20 0 1 0 408484425 47828992 5724 33554432000 4194304 6210612 140731424594096 140731424582024 140304574700350 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8308220 8313664 15310848 140731424601099 140731424601201 140731424601201 140731424604110 0
/proc/15919/statm: 11677 5724 845 493 0 4982 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 46708 KiB
Current children cumulated memory: 22896 KiB
[startup+3.10945 s]
/proc/loadavg: 2.00 2.04 2.07 3/201 15920
/proc/meminfo: memFree=31590500/32770624 swapFree=66934728/67108860
[pid=15919] ppid=15916 vsize=67828 memory=43656 CPUtime=3.1 cores=1,3,5,7
/proc/15919/stat : 15919 (cosoco) R 15916 15919 14112 0 -1 4202496 11186 0 0 0 309 1 0 0 20 0 1 0 408484425 69455872 10914 33554432000 4194304 6210612 140731424594096 140731424582024 140304574704613 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8308220 8313664 15310848 140731424601099 140731424601201 140731424601201 140731424604110 0
/proc/15919/statm: 16957 10914 845 493 0 10262 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 67828 KiB
Current children cumulated memory: 43656 KiB
[startup+6.30027 s]
/proc/loadavg: 2.00 2.04 2.07 3/201 15920
/proc/meminfo: memFree=31551748/32770624 swapFree=66934728/67108860
[pid=15919] ppid=15916 vsize=110576 memory=85100 CPUtime=6.29 cores=1,3,5,7
/proc/15919/stat : 15919 (cosoco) R 15916 15919 14112 0 -1 4202496 21562 0 0 0 627 2 0 0 20 0 1 0 408484425 113229824 21275 33554432000 4194304 6210612 140731424594096 140731424582024 5476659 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8308220 8313664 15310848 140731424601099 140731424601201 140731424601201 140731424604110 0
/proc/15919/statm: 27644 21275 845 493 0 20949 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 110576 KiB
Current children cumulated memory: 85100 KiB
[startup+12.7003 s]
/proc/loadavg: 2.00 2.04 2.07 3/201 15920
/proc/meminfo: memFree=31473812/32770624 swapFree=66934728/67108860
[pid=15919] ppid=15916 vsize=197492 memory=167728 CPUtime=12.69 cores=1,3,5,7
/proc/15919/stat : 15919 (cosoco) R 15916 15919 14112 0 -1 4202496 41772 0 0 0 1265 4 0 0 20 0 1 0 408484425 202231808 41932 33554432000 4194304 6210612 140731424594096 140731424582024 5446488 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8308220 8313664 15310848 140731424601099 140731424601201 140731424601201 140731424604110 0
/proc/15919/statm: 49373 41932 845 493 0 42678 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 197492 KiB
Current children cumulated memory: 167728 KiB
[startup+25.5003 s]
/proc/loadavg: 2.00 2.04 2.07 3/201 15920
/proc/meminfo: memFree=31304376/32770624 swapFree=66934728/67108860
[pid=15919] ppid=15916 vsize=358036 memory=333800 CPUtime=25.49 cores=1,3,5,7
/proc/15919/stat : 15919 (cosoco) R 15916 15919 14112 0 -1 4202496 79731 0 0 0 2541 8 0 0 20 0 1 0 408484425 366628864 83450 33554432000 4194304 6210612 140731424594096 140731424582024 5442928 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8308220 8313664 15310848 140731424601099 140731424601201 140731424601201 140731424604110 0
/proc/15919/statm: 89509 83450 845 493 0 82814 0
Current children cumulated CPU time: 25.49 s
Current children cumulated vsize: 358036 KiB
Current children cumulated memory: 333800 KiB
[startup+51.1095 s]
/proc/loadavg: 2.00 2.04 2.07 3/201 15922
/proc/meminfo: memFree=30965672/32770624 swapFree=66934728/67108860
[pid=15919] ppid=15916 vsize=698700 memory=666260 CPUtime=51.09 cores=1,3,5,7
/proc/15919/stat : 15919 (cosoco) R 15916 15919 14112 0 -1 4202496 155739 0 0 0 5091 18 0 0 20 0 1 0 408484425 715468800 166565 33554432000 4194304 6210612 140731424594096 140731424582024 140304574704613 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8308220 8313664 15310848 140731424601099 140731424601201 140731424601201 140731424604110 0
/proc/15919/statm: 174675 166565 845 493 0 167980 0
Current children cumulated CPU time: 51.09 s
Current children cumulated vsize: 698700 KiB
Current children cumulated memory: 666260 KiB
[startup+102.3 s]
/proc/loadavg: 2.00 2.03 2.06 3/201 15926
/proc/meminfo: memFree=30305592/32770624 swapFree=66934728/67108860
[pid=15919] ppid=15916 vsize=1390424 memory=1326804 CPUtime=102.27 cores=1,3,5,7
/proc/15919/stat : 15919 (cosoco) R 15916 15919 14112 0 -1 4202496 306534 0 0 0 10190 37 0 0 20 0 1 0 408484425 1423794176 331701 33554432000 4194304 6210612 140731424594096 140731424582024 140304575628118 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8308220 8313664 15310848 140731424601099 140731424601201 140731424601201 140731424604110 0
/proc/15919/statm: 347606 331701 845 493 0 340911 0
Current children cumulated CPU time: 102.27 s
Current children cumulated vsize: 1390424 KiB
Current children cumulated memory: 1326804 KiB
[startup+162.3 s]
/proc/loadavg: 2.00 2.03 2.06 3/201 15931
/proc/meminfo: memFree=29527556/32770624 swapFree=66934728/67108860
[pid=15919] ppid=15916 vsize=2180112 memory=2103056 CPUtime=162.26 cores=1,3,5,7
/proc/15919/stat : 15919 (cosoco) R 15916 15919 14112 0 -1 4202496 482737 0 0 0 16168 58 0 0 20 0 1 0 408484425 2232434688 525764 33554432000 4194304 6210612 140731424594096 140731424582024 140304574704613 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8308220 8313664 15310848 140731424601099 140731424601201 140731424601201 140731424604110 0
/proc/15919/statm: 545028 525764 845 493 0 538333 0
Current children cumulated CPU time: 162.26 s
Current children cumulated vsize: 2180112 KiB
Current children cumulated memory: 2103056 KiB
[startup+222.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/200 15937
/proc/meminfo: memFree=28750860/32770624 swapFree=66934728/67108860
[pid=15919] ppid=15916 vsize=3010252 memory=2880128 CPUtime=222.24 cores=1,3,5,7
/proc/15919/stat : 15919 (cosoco) R 15916 15919 14112 0 -1 4202496 658685 0 0 0 22143 81 0 0 20 0 1 0 408484425 3082498048 720032 33554432000 4194304 6210612 140731424594096 140731424582024 140304575630751 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8308220 8313664 15310848 140731424601099 140731424601201 140731424601201 140731424604110 0
/proc/15919/statm: 752563 720032 845 493 0 745868 0
Current children cumulated CPU time: 222.24 s
Current children cumulated vsize: 3010252 KiB
Current children cumulated memory: 2880128 KiB
[startup+282.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/199 15941
/proc/meminfo: memFree=27970644/32770624 swapFree=66934728/67108860
[pid=15919] ppid=15916 vsize=3708664 memory=3656956 CPUtime=282.22 cores=1,3,5,7
/proc/15919/stat : 15919 (cosoco) R 15916 15919 14112 0 -1 4202496 833461 0 0 0 28117 105 0 0 20 0 1 0 408484425 3797671936 914239 33554432000 4194304 6210612 140731424594096 140731424582024 140304574704613 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8308220 8313664 15310848 140731424601099 140731424601201 140731424601201 140731424604110 0
/proc/15919/statm: 927166 914239 845 493 0 920471 0
Current children cumulated CPU time: 282.22 s
Current children cumulated vsize: 3708664 KiB
Current children cumulated memory: 3656956 KiB
[startup+342.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 15945
/proc/meminfo: memFree=27193344/32770624 swapFree=66934728/67108860
[pid=15919] ppid=15916 vsize=4605000 memory=4432536 CPUtime=342.21 cores=1,3,5,7
/proc/15919/stat : 15919 (cosoco) R 15916 15919 14112 0 -1 4202496 1009569 0 0 0 34090 131 0 0 20 0 1 0 408484425 4715520000 1108134 33554432000 4194304 6210612 140731424594096 140731424582024 140304574704613 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8308220 8313664 15310848 140731424601099 140731424601201 140731424601201 140731424604110 0
/proc/15919/statm: 1151250 1108134 845 493 0 1144555 0
Current children cumulated CPU time: 342.21 s
Current children cumulated vsize: 4605000 KiB
Current children cumulated memory: 4432536 KiB
[startup+402.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/200 16011
/proc/meminfo: memFree=25957588/32770624 swapFree=66934728/67108860
[pid=15919] ppid=15916 vsize=5303412 memory=5208776 CPUtime=402.2 cores=1,3,5,7
/proc/15919/stat : 15919 (cosoco) R 15916 15919 14112 0 -1 4202496 1184277 0 0 0 40063 157 0 0 20 0 1 0 408484425 5430693888 1302194 33554432000 4194304 6210612 140731424594096 140731424582024 5440930 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8308220 8313664 15310848 140731424601099 140731424601201 140731424601201 140731424604110 0
/proc/15919/statm: 1325853 1302194 845 493 0 1319158 0
Current children cumulated CPU time: 402.2 s
Current children cumulated vsize: 5303412 KiB
Current children cumulated memory: 5208776 KiB
[startup+462.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 16023
/proc/meminfo: memFree=24436928/32770624 swapFree=66934744/67108860
[pid=15919] ppid=15916 vsize=6282104 memory=5984972 CPUtime=462.18 cores=1,3,5,7
/proc/15919/stat : 15919 (cosoco) R 15916 15919 14112 0 -1 4202496 1359504 0 0 0 46037 181 0 0 20 0 1 0 408484425 6432874496 1496243 33554432000 4194304 6210612 140731424594096 140731424582024 140304575630797 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8308220 8313664 15310848 140731424601099 140731424601201 140731424601201 140731424604110 0
/proc/15919/statm: 1570526 1496243 845 493 0 1563831 0
Current children cumulated CPU time: 462.18 s
Current children cumulated vsize: 6282104 KiB
Current children cumulated memory: 5984972 KiB
################
# More data... #
################
Current children cumulated vsize: 9536128 KiB
Current children cumulated memory: 9086732 KiB
[startup+762.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 16047
/proc/meminfo: memFree=16829964/32770624 swapFree=66934744/67108860
[pid=15919] ppid=15916 vsize=10234144 memory=9864528 CPUtime=762.13 cores=1,3,5,7
/proc/15919/stat : 15919 (cosoco) R 15916 15919 14112 0 -1 4202496 2234345 0 0 0 75896 317 0 0 20 0 1 0 408484425 10479763456 2466132 33554432000 4194304 6210612 140731424594096 140731424582024 5012890 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8308220 8313664 15310848 140731424601099 140731424601201 140731424601201 140731424604110 0
/proc/15919/statm: 2558536 2466132 845 493 0 2551841 0
Current children cumulated CPU time: 762.13 s
Current children cumulated vsize: 10234144 KiB
Current children cumulated memory: 9864528 KiB
[startup+822.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/198 16051
/proc/meminfo: memFree=15308724/32770624 swapFree=66934744/67108860
[pid=15919] ppid=15916 vsize=10932028 memory=10638184 CPUtime=822.11 cores=1,3,5,7
/proc/15919/stat : 15919 (cosoco) R 15916 15919 14112 0 -1 4202496 2408970 0 0 0 81863 348 0 0 20 0 1 0 408484425 11194396672 2659546 33554432000 4194304 6210612 140731424594096 140731424582024 140304574704613 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8308220 8313664 15310848 140731424601099 140731424601201 140731424601201 140731424604110 0
/proc/15919/statm: 2733007 2659546 845 493 0 2726312 0
Current children cumulated CPU time: 822.11 s
Current children cumulated vsize: 10932028 KiB
Current children cumulated memory: 10638184 KiB
[startup+882.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/198 16055
/proc/meminfo: memFree=13787984/32770624 swapFree=66934744/67108860
[pid=15919] ppid=15916 vsize=11666692 memory=11413972 CPUtime=882.1 cores=1,3,5,7
/proc/15919/stat : 15919 (cosoco) R 15916 15919 14112 0 -1 4202496 2584127 0 0 0 87834 376 0 0 20 0 1 0 408484425 11946692608 2853493 33554432000 4194304 6210612 140731424594096 140731424582024 5451340 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8308220 8313664 15310848 140731424601099 140731424601201 140731424601201 140731424604110 0
/proc/15919/statm: 2916673 2853493 845 493 0 2909978 0
Current children cumulated CPU time: 882.1 s
Current children cumulated vsize: 11666692 KiB
Current children cumulated memory: 11413972 KiB
[startup+942.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 16061
/proc/meminfo: memFree=12265064/32770624 swapFree=66934744/67108860
[pid=15919] ppid=15916 vsize=12364312 memory=12189344 CPUtime=942.09 cores=1,3,5,7
/proc/15919/stat : 15919 (cosoco) R 15916 15919 14112 0 -1 4202496 2758715 0 0 0 93799 410 0 0 20 0 1 0 408484425 12661055488 3047336 33554432000 4194304 6210612 140731424594096 140731424582024 140304575630756 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8308220 8313664 15310848 140731424601099 140731424601201 140731424601201 140731424604110 0
/proc/15919/statm: 3091078 3047336 845 493 0 3084383 0
Current children cumulated CPU time: 942.09 s
Current children cumulated vsize: 12364312 KiB
Current children cumulated memory: 12189344 KiB
[startup+1002.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/198 16065
/proc/meminfo: memFree=10744176/32770624 swapFree=66934744/67108860
[pid=15919] ppid=15916 vsize=13061800 memory=12964716 CPUtime=1002.09 cores=1,3,5,7
/proc/15919/stat : 15919 (cosoco) R 15916 15919 14112 0 -1 4202496 2933278 0 0 0 99766 443 0 0 20 0 1 0 408484425 13375283200 3241179 33554432000 4194304 6210612 140731424594096 140731424582024 140304574704613 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8308220 8313664 15310848 140731424601099 140731424601201 140731424601201 140731424604110 0
/proc/15919/statm: 3265450 3241179 845 493 0 3258755 0
Current children cumulated CPU time: 1002.09 s
Current children cumulated vsize: 13061800 KiB
Current children cumulated memory: 12964716 KiB
[startup+1062.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 16077
/proc/meminfo: memFree=9223656/32770624 swapFree=66934752/67108860
[pid=15919] ppid=15916 vsize=14389392 memory=13739360 CPUtime=1062.08 cores=1,3,5,7
/proc/15919/stat : 15919 (cosoco) R 15916 15919 14112 0 -1 4202496 3108201 0 0 0 105732 476 0 0 20 0 1 0 408484425 14734737408 3434840 33554432000 4194304 6210612 140731424594096 140731424582024 140304574704613 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8308220 8313664 15310848 140731424601099 140731424601201 140731424601201 140731424604110 0
/proc/15919/statm: 3597348 3434840 845 493 0 3590653 0
Current children cumulated CPU time: 1062.08 s
Current children cumulated vsize: 14389392 KiB
Current children cumulated memory: 13739360 KiB
[startup+1122.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/200 16083
/proc/meminfo: memFree=7706468/32770624 swapFree=66934752/67108860
[pid=15919] ppid=15916 vsize=15086616 memory=14514460 CPUtime=1122.08 cores=1,3,5,7
/proc/15919/stat : 15919 (cosoco) R 15916 15919 14112 0 -1 4202496 3282712 0 0 0 111701 507 0 0 20 0 1 0 408484425 15448694784 3628615 33554432000 4194304 6210612 140731424594096 140731424582024 5478501 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8308220 8313664 15310848 140731424601099 140731424601201 140731424601201 140731424604110 0
/proc/15919/statm: 3771654 3628615 845 493 0 3764959 0
Current children cumulated CPU time: 1122.08 s
Current children cumulated vsize: 15086616 KiB
Current children cumulated memory: 14514460 KiB
[startup+1182.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 16087
/proc/meminfo: memFree=6186332/32770624 swapFree=66934752/67108860
[pid=15919] ppid=15916 vsize=15783708 memory=15287532 CPUtime=1182.06 cores=1,3,5,7
/proc/15919/stat : 15919 (cosoco) R 15916 15919 14112 0 -1 4202496 3457173 0 0 0 117666 540 0 0 20 0 1 0 408484425 16162516992 3821883 33554432000 4194304 6210612 140731424594096 140731424582024 5451394 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8308220 8313664 15310848 140731424601099 140731424601201 140731424601201 140731424604110 0
/proc/15919/statm: 3945927 3821883 845 493 0 3939232 0
Current children cumulated CPU time: 1182.06 s
Current children cumulated vsize: 15783708 KiB
Current children cumulated memory: 15287532 KiB
Maximum VSize exceeded: sending SIGTERM then SIGKILL
[startup+1189.9 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 16087
/proc/meminfo: memFree=6009836/32770624 swapFree=66934752/67108860
[pid=15919] ppid=15916 vsize=15872148 memory=15386076 CPUtime=1189.66 cores=1,3,5,7
/proc/15919/stat : 15919 (cosoco) R 15916 15919 14112 0 -1 4202496 3479306 0 0 0 118423 543 0 0 20 0 1 0 408484425 16253079552 3846519 33554432000 4194304 6210612 140731424594096 140731424582024 5451340 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8308220 8313664 15310848 140731424601099 140731424601201 140731424601201 140731424604110 0
/proc/15919/statm: 3968037 3846519 845 493 0 3961342 0
Current children cumulated CPU time: 1189.66 s
Current children cumulated vsize: 15872148 KiB
Current children cumulated memory: 15386076 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
??? end of watcher thread
[startup+1192.64 s]
# the end of solver process 15919 was just reported to runsolver
# cumulated CPU time of all completed processes: user=1184.52 s, system=6.21399 s
Solver just ended.
Dumping a history of the last processes samples
[startup+1190.4 s]
/proc/loadavg: 2.00 2.01 2.05 4/200 16088
/proc/meminfo: memFree=5976292/32770624 swapFree=66934764/67108860
[pid=15919] ppid=15916 vsize=15872148 memory=15386076 CPUtime=1189.75 cores=1,3,5,7
/proc/15919/stat : 15919 (cosoco) R 15916 15919 14112 0 -1 512 3479310 0 0 0 118431 544 0 0 20 0 1 0 408484425 16253079552 3846519 33554432000 4194304 6210612 140731424594096 140731424582024 5188952 0 16384 4096 8405026 18446744071580971376 0 0 17 3 0 0 0 0 0 8308220 8313664 15310848 140731424601099 140731424601201 140731424601201 140731424604110 0
/proc/15919/statm: 3968037 3846519 845 493 0 3961342 0
Current children cumulated CPU time: 1189.75 s
Current children cumulated vsize: 15872148 KiB
Current children cumulated memory: 15386076 KiB
[startup+1191.2 s]
/proc/loadavg: 2.00 2.01 2.05 4/200 16088
/proc/meminfo: memFree=5361188/32770624 swapFree=66934764/67108860
[pid=15919] ppid=15916 vsize=15872148 memory=15386076 CPUtime=1189.88 cores=1,3,5,7
/proc/15919/stat : 15919 (cosoco) S 15916 15919 14112 0 -1 512 3479310 0 0 0 118442 546 0 0 20 0 1 0 408484425 16253079552 3846519 33554432000 4194304 6210612 140731424594096 140731424582024 5188952 0 16384 4096 8405026 18446744071580971376 0 0 17 1 0 0 0 0 0 8308220 8313664 15310848 140731424601099 140731424601201 140731424601201 140731424604110 0
/proc/15919/statm: 3968037 3846519 845 493 0 3961342 0
Current children cumulated CPU time: 1189.88 s
Current children cumulated vsize: 15872148 KiB
Current children cumulated memory: 15386076 KiB
[startup+1191.6 s]
/proc/loadavg: 2.00 2.01 2.05 4/200 16088
/proc/meminfo: memFree=5361188/32770624 swapFree=66934764/67108860
[pid=15919] ppid=15916 vsize=15872148 memory=15386076 CPUtime=1189.93 cores=1,3,5,7
/proc/15919/stat : 15919 (cosoco) S 15916 15919 14112 0 -1 512 3479310 0 0 0 118447 546 0 0 20 0 1 0 408484425 16253079552 3846519 33554432000 4194304 6210612 140731424594096 140731424582024 5188952 0 16384 4096 8405026 18446744071580971376 0 0 17 1 0 0 0 0 0 8308220 8313664 15310848 140731424601099 140731424601201 140731424601201 140731424604110 0
/proc/15919/statm: 3968037 3846519 845 493 0 3961342 0
Current children cumulated CPU time: 1189.93 s
Current children cumulated vsize: 15872148 KiB
Current children cumulated memory: 15386076 KiB
[startup+1191.8 s]
/proc/loadavg: 2.00 2.01 2.05 4/200 16088
/proc/meminfo: memFree=5361188/32770624 swapFree=66934764/67108860
[pid=15919] ppid=15916 vsize=15872148 memory=15386076 CPUtime=1189.97 cores=1,3,5,7
/proc/15919/stat : 15919 (cosoco) S 15916 15919 14112 0 -1 512 3479310 0 0 0 118450 547 0 0 20 0 1 0 408484425 16253079552 3846519 33554432000 4194304 6210612 140731424594096 140731424582024 5188952 0 16384 4096 8405026 18446744071580971376 0 0 17 1 0 0 0 0 0 8308220 8313664 15310848 140731424601099 140731424601201 140731424601201 140731424604110 0
/proc/15919/statm: 3968037 3846519 845 493 0 3961342 0
Current children cumulated CPU time: 1189.97 s
Current children cumulated vsize: 15872148 KiB
Current children cumulated memory: 15386076 KiB
[startup+1191.9 s]
/proc/loadavg: 2.00 2.01 2.05 4/200 16088
/proc/meminfo: memFree=5361188/32770624 swapFree=66934764/67108860
[pid=15919] ppid=15916 vsize=15872148 memory=15386076 CPUtime=1189.98 cores=1,3,5,7
/proc/15919/stat : 15919 (cosoco) S 15916 15919 14112 0 -1 512 3479310 0 0 0 118451 547 0 0 20 0 1 0 408484425 16253079552 3846519 33554432000 4194304 6210612 140731424594096 140731424582024 5188952 0 16384 4096 8405026 18446744071580971376 0 0 17 1 0 0 0 0 0 8308220 8313664 15310848 140731424601099 140731424601201 140731424601201 140731424604110 0
/proc/15919/statm: 3968037 3846519 845 493 0 3961342 0
Current children cumulated CPU time: 1189.98 s
Current children cumulated vsize: 15872148 KiB
Current children cumulated memory: 15386076 KiB
Child ended because it received signal 9 (SIGKILL)
Real time (s): 1192.64
CPU time (s): 1190.73
CPU user time (s): 1184.52
CPU system time (s): 6.21399
CPU usage (%): 99.8397
Max. virtual memory (cumulated for all children) (KiB): 15872148
Max. memory (cumulated for all children) (KiB): 15386076
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1184.52
system time used= 6.21399
maximum resident set size= 15386188
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3479310
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= 124803
involuntary context switches= 915
# summary of solver processes directly reported to runsolver:
# pid: 15919
# total CPU time (s): 1190.73
# total CPU user time (s): 1184.52
# total CPU system time (s): 6.21399
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.28159 second user time and 7.95317 second system time
The end