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 (15425 MiB free)
memory of node 1: 16384 MiB (15752 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4409085-1569792909/watcher-4409085-1569792909 -o /tmp/evaluation-result-4409085-1569792909/solver-4409085-1569792909 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node149-1569787356-4538 --watchdog 2560 cosoco -lc -model -restarts -stick HOME/instance-4409085-1569792909.xml
running on 4 cores: 0,2,4,6
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=5598, runsolver pid=5595
Current StackSize limit: 8192 KiB
[startup+0.100144 s]*
/proc/loadavg: 2.00 2.06 2.07 3/200 5599
/proc/meminfo: memFree=31925124/32770624 swapFree=66942712/67108860
[pid=5598] ppid=5595 vsize=28736 memory=5008 CPUtime=0.1 cores=0,2,4,6
/proc/5598/stat : 5598 (cosoco) R 5595 5598 4507 0 -1 4202496 1460 0 0 0 10 0 0 0 20 0 1 0 555529416 29425664 1252 33554432000 4194304 6211132 140728935664432 140728935660968 139639964134373 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 26198016 140728935666699 140728935666801 140728935666801 140728935669710 0
/proc/5598/statm: 7184 1252 845 493 0 489 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 28736 KiB
Current children cumulated memory: 5008 KiB
[startup+0.209471 s]*
/proc/loadavg: 2.00 2.06 2.07 3/200 5599
/proc/meminfo: memFree=31923720/32770624 swapFree=66942712/67108860
[pid=5598] ppid=5595 vsize=30148 memory=6592 CPUtime=0.21 cores=0,2,4,6
/proc/5598/stat : 5598 (cosoco) R 5595 5598 4507 0 -1 4202496 1811 0 0 0 21 0 0 0 20 0 1 0 555529416 30871552 1648 33554432000 4194304 6211132 140728935664432 140728935660968 5012962 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 26198016 140728935666699 140728935666801 140728935666801 140728935669710 0
/proc/5598/statm: 7537 1648 846 493 0 842 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 30148 KiB
Current children cumulated memory: 6592 KiB
[startup+0.308937 s]*
/proc/loadavg: 2.00 2.06 2.07 3/200 5599
/proc/meminfo: memFree=31922604/32770624 swapFree=66942712/67108860
[pid=5598] ppid=5595 vsize=31204 memory=7648 CPUtime=0.31 cores=0,2,4,6
/proc/5598/stat : 5598 (cosoco) R 5595 5598 4507 0 -1 4202496 2080 0 0 0 31 0 0 0 20 0 1 0 555529416 31952896 1912 33554432000 4194304 6211132 140728935664432 140728935660968 139639964134373 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 26198016 140728935666699 140728935666801 140728935666801 140728935669710 0
/proc/5598/statm: 7801 1912 846 493 0 1106 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 31204 KiB
Current children cumulated memory: 7648 KiB
[startup+0.700276 s]
/proc/loadavg: 2.00 2.06 2.07 3/200 5599
/proc/meminfo: memFree=31920372/32770624 swapFree=66942712/67108860
[pid=5598] ppid=5595 vsize=35768 memory=12204 CPUtime=0.69 cores=0,2,4,6
/proc/5598/stat : 5598 (cosoco) R 5595 5598 4507 0 -1 4202496 3219 0 0 0 69 0 0 0 20 0 1 0 555529416 36626432 3051 33554432000 4194304 6211132 140728935664432 140728935646216 139639964134373 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 26198016 140728935666699 140728935666801 140728935666801 140728935669710 0
/proc/5598/statm: 8942 3051 846 493 0 2247 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 35768 KiB
Current children cumulated memory: 12204 KiB
[startup+1.50028 s]
/proc/loadavg: 2.00 2.06 2.07 3/200 5599
/proc/meminfo: memFree=31914044/32770624 swapFree=66942712/67108860
[pid=5598] ppid=5595 vsize=45220 memory=21600 CPUtime=1.49 cores=0,2,4,6
/proc/5598/stat : 5598 (cosoco) R 5595 5598 4507 0 -1 4202496 5598 0 0 0 149 0 0 0 20 0 1 0 555529416 46305280 5400 33554432000 4194304 6211132 140728935664432 140728935646216 139639964134373 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 26198016 140728935666699 140728935666801 140728935666801 140728935669710 0
/proc/5598/statm: 11305 5400 846 493 0 4610 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 45220 KiB
Current children cumulated memory: 21600 KiB
[startup+3.10951 s]
/proc/loadavg: 2.00 2.06 2.07 3/200 5599
/proc/meminfo: memFree=31890160/32770624 swapFree=66942712/67108860
[pid=5598] ppid=5595 vsize=64636 memory=40700 CPUtime=3.1 cores=0,2,4,6
/proc/5598/stat : 5598 (cosoco) R 5595 5598 4507 0 -1 4202496 10418 0 0 0 309 1 0 0 20 0 1 0 555529416 66187264 10175 33554432000 4194304 6211132 140728935664432 140728935646216 5446654 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 26198016 140728935666699 140728935666801 140728935666801 140728935669710 0
/proc/5598/statm: 16159 10175 846 493 0 9464 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 64636 KiB
Current children cumulated memory: 40700 KiB
[startup+6.30027 s]
/proc/loadavg: 2.00 2.06 2.07 3/201 5601
/proc/meminfo: memFree=31853188/32770624 swapFree=66942712/67108860
[pid=5598] ppid=5595 vsize=103204 memory=78584 CPUtime=6.28 cores=0,2,4,6
/proc/5598/stat : 5598 (cosoco) R 5595 5598 4507 0 -1 4202496 19936 0 0 0 627 1 0 0 20 0 1 0 555529416 105680896 19646 33554432000 4194304 6211132 140728935664432 140728935646216 139639964134373 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 26198016 140728935666699 140728935666801 140728935666801 140728935669710 0
/proc/5598/statm: 25801 19646 846 493 0 19106 0
Current children cumulated CPU time: 6.28 s
Current children cumulated vsize: 103204 KiB
Current children cumulated memory: 78584 KiB
[startup+12.7003 s]
/proc/loadavg: 2.00 2.06 2.07 3/201 5601
/proc/meminfo: memFree=31782672/32770624 swapFree=66942712/67108860
[pid=5598] ppid=5595 vsize=181104 memory=154576 CPUtime=12.68 cores=0,2,4,6
/proc/5598/stat : 5598 (cosoco) R 5595 5598 4507 0 -1 4202496 38990 0 0 0 1264 4 0 0 20 0 1 0 555529416 185450496 38644 33554432000 4194304 6211132 140728935664432 140728935646216 139639964134373 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 26198016 140728935666699 140728935666801 140728935666801 140728935669710 0
/proc/5598/statm: 45276 38644 846 493 0 38581 0
Current children cumulated CPU time: 12.68 s
Current children cumulated vsize: 181104 KiB
Current children cumulated memory: 154576 KiB
[startup+25.5003 s]
/proc/loadavg: 2.00 2.05 2.07 3/200 5601
/proc/meminfo: memFree=31627704/32770624 swapFree=66942712/67108860
[pid=5598] ppid=5595 vsize=331296 memory=306720 CPUtime=25.48 cores=0,2,4,6
/proc/5598/stat : 5598 (cosoco) R 5595 5598 4507 0 -1 4202496 76581 0 0 0 2540 8 0 0 20 0 1 0 555529416 339247104 76680 33554432000 4194304 6211132 140728935664432 140728935646216 139639964130110 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 26198016 140728935666699 140728935666801 140728935666801 140728935669710 0
/proc/5598/statm: 82824 76680 846 493 0 76129 0
Current children cumulated CPU time: 25.48 s
Current children cumulated vsize: 331296 KiB
Current children cumulated memory: 306720 KiB
[startup+51.1092 s]
/proc/loadavg: 2.00 2.05 2.06 3/200 5604
/proc/meminfo: memFree=31316896/32770624 swapFree=66942712/67108860
[pid=5598] ppid=5595 vsize=640000 memory=611728 CPUtime=51.08 cores=0,2,4,6
/proc/5598/stat : 5598 (cosoco) R 5595 5598 4507 0 -1 4202496 150374 0 0 0 5092 16 0 0 20 0 1 0 555529416 655360000 152932 33554432000 4194304 6211132 140728935664432 140728935646216 139639964134373 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 26198016 140728935666699 140728935666801 140728935666801 140728935669710 0
/proc/5598/statm: 160000 152932 846 493 0 153305 0
Current children cumulated CPU time: 51.08 s
Current children cumulated vsize: 640000 KiB
Current children cumulated memory: 611728 KiB
[startup+102.3 s]
/proc/loadavg: 2.00 2.04 2.06 3/200 5608
/proc/meminfo: memFree=30709432/32770624 swapFree=66942712/67108860
[pid=5598] ppid=5595 vsize=1261888 memory=1219436 CPUtime=102.25 cores=0,2,4,6
/proc/5598/stat : 5598 (cosoco) R 5595 5598 4507 0 -1 4202496 296626 0 0 0 10191 34 0 0 20 0 1 0 555529416 1292173312 304859 33554432000 4194304 6211132 140728935664432 140728935646216 139639964134373 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 26198016 140728935666699 140728935666801 140728935666801 140728935669710 0
/proc/5598/statm: 315472 304859 846 493 0 308777 0
Current children cumulated CPU time: 102.25 s
Current children cumulated vsize: 1261888 KiB
Current children cumulated memory: 1219436 KiB
[startup+162.3 s]
/proc/loadavg: 2.00 2.04 2.05 3/199 5612
/proc/meminfo: memFree=29994404/32770624 swapFree=66942712/67108860
[pid=5598] ppid=5595 vsize=1979688 memory=1933316 CPUtime=162.23 cores=0,2,4,6
/proc/5598/stat : 5598 (cosoco) R 5595 5598 4507 0 -1 4202496 467464 0 0 0 16168 55 0 0 20 0 1 0 555529416 2027200512 483329 33554432000 4194304 6211132 140728935664432 140728935646216 139639964134373 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 26198016 140728935666699 140728935666801 140728935666801 140728935669710 0
/proc/5598/statm: 494922 483329 846 493 0 488227 0
Current children cumulated CPU time: 162.23 s
Current children cumulated vsize: 1979688 KiB
Current children cumulated memory: 1933316 KiB
[startup+222.3 s]
/proc/loadavg: 2.00 2.03 2.05 3/199 5616
/proc/meminfo: memFree=29281348/32770624 swapFree=66942712/67108860
[pid=5598] ppid=5595 vsize=2716980 memory=2645424 CPUtime=222.21 cores=0,2,4,6
/proc/5598/stat : 5598 (cosoco) R 5595 5598 4507 0 -1 4202496 638389 0 0 0 22145 76 0 0 20 0 1 0 555529416 2782187520 661356 33554432000 4194304 6211132 140728935664432 140728935646216 139639964134373 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 26198016 140728935666699 140728935666801 140728935666801 140728935669710 0
/proc/5598/statm: 679245 661356 846 493 0 672550 0
Current children cumulated CPU time: 222.21 s
Current children cumulated vsize: 2716980 KiB
Current children cumulated memory: 2645424 KiB
[startup+282.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/200 5622
/proc/meminfo: memFree=28568744/32770624 swapFree=66942712/67108860
[pid=5598] ppid=5595 vsize=3398352 memory=3358760 CPUtime=282.19 cores=0,2,4,6
/proc/5598/stat : 5598 (cosoco) R 5595 5598 4507 0 -1 4202496 808614 0 0 0 28118 101 0 0 20 0 1 0 555529416 3479912448 839690 33554432000 4194304 6211132 140728935664432 140728935646216 139639964134373 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 26198016 140728935666699 140728935666801 140728935666801 140728935669710 0
/proc/5598/statm: 849588 839690 846 493 0 842893 0
Current children cumulated CPU time: 282.19 s
Current children cumulated vsize: 3398352 KiB
Current children cumulated memory: 3358760 KiB
[startup+342.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/200 5634
/proc/meminfo: memFree=27855376/32770624 swapFree=66942712/67108860
[pid=5598] ppid=5595 vsize=4161592 memory=4069340 CPUtime=342.17 cores=0,2,4,6
/proc/5598/stat : 5598 (cosoco) R 5595 5598 4507 0 -1 4202496 979213 0 0 0 34096 121 0 0 20 0 1 0 555529416 4261470208 1017335 33554432000 4194304 6211132 140728935664432 140728935646216 139639964134373 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 26198016 140728935666699 140728935666801 140728935666801 140728935669710 0
/proc/5598/statm: 1040398 1017335 846 493 0 1033703 0
Current children cumulated CPU time: 342.17 s
Current children cumulated vsize: 4161592 KiB
Current children cumulated memory: 4069340 KiB
[startup+402.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/200 5638
/proc/meminfo: memFree=27141164/32770624 swapFree=66942712/67108860
[pid=5598] ppid=5595 vsize=4841656 memory=4782820 CPUtime=402.16 cores=0,2,4,6
/proc/5598/stat : 5598 (cosoco) R 5595 5598 4507 0 -1 4202496 1149455 0 0 0 40073 143 0 0 20 0 1 0 555529416 4957855744 1195705 33554432000 4194304 6211132 140728935664432 140728935646216 139639964134373 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 26198016 140728935666699 140728935666801 140728935666801 140728935669710 0
/proc/5598/statm: 1210414 1195705 846 493 0 1203719 0
Current children cumulated CPU time: 402.16 s
Current children cumulated vsize: 4841656 KiB
Current children cumulated memory: 4782820 KiB
[startup+462.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/201 5644
/proc/meminfo: memFree=26426956/32770624 swapFree=66942712/67108860
[pid=5598] ppid=5595 vsize=5523748 memory=5494608 CPUtime=462.14 cores=0,2,4,6
/proc/5598/stat : 5598 (cosoco) R 5595 5598 4507 0 -1 4202496 1319878 0 0 0 46049 165 0 0 20 0 1 0 555529416 5656317952 1373652 33554432000 4194304 6211132 140728935664432 140728935646216 139639964134373 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 26198016 140728935666699 140728935666801 140728935666801 140728935669710 0
/proc/5598/statm: 1380937 1373652 846 493 0 1374242 0
Current children cumulated CPU time: 462.14 s
Current children cumulated vsize: 5523748 KiB
Current children cumulated memory: 5494608 KiB
################
# More data... #
################
Current children cumulated vsize: 9236092 KiB
Current children cumulated memory: 9055400 KiB
[startup+822.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/200 5672
/proc/meminfo: memFree=22146976/32770624 swapFree=66942712/67108860
[pid=5598] ppid=5595 vsize=9920224 memory=9766700 CPUtime=822.01 cores=0,2,4,6
/proc/5598/stat : 5598 (cosoco) R 5595 5598 4507 0 -1 4202496 2342856 0 0 0 81882 319 0 0 20 0 1 0 555529416 10158309376 2441675 33554432000 4194304 6211132 140728935664432 140728935646216 139639964134373 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 26198016 140728935666699 140728935666801 140728935666801 140728935669710 0
/proc/5598/statm: 2480056 2441675 846 493 0 2473361 0
Current children cumulated CPU time: 822.01 s
Current children cumulated vsize: 9920224 KiB
Current children cumulated memory: 9766700 KiB
[startup+882.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 5676
/proc/meminfo: memFree=21433376/32770624 swapFree=66942712/67108860
[pid=5598] ppid=5595 vsize=10599628 memory=10478924 CPUtime=882 cores=0,2,4,6
/proc/5598/stat : 5598 (cosoco) R 5595 5598 4507 0 -1 4202496 2512956 0 0 0 87855 345 0 0 20 0 1 0 555529416 10854019072 2619731 33554432000 4194304 6211132 140728935664432 140728935646216 139639964134373 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 26198016 140728935666699 140728935666801 140728935666801 140728935669710 0
/proc/5598/statm: 2649907 2619731 846 493 0 2643212 0
Current children cumulated CPU time: 882 s
Current children cumulated vsize: 10599628 KiB
Current children cumulated memory: 10478924 KiB
[startup+942.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/200 5688
/proc/meminfo: memFree=20720544/32770624 swapFree=66942712/67108860
[pid=5598] ppid=5595 vsize=11278504 memory=11189320 CPUtime=941.98 cores=0,2,4,6
/proc/5598/stat : 5598 (cosoco) R 5595 5598 4507 0 -1 4202496 2683096 0 0 0 93825 373 0 0 20 0 1 0 555529416 11549188096 2797330 33554432000 4194304 6211132 140728935664432 140728935646216 139639964134373 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 26198016 140728935666699 140728935666801 140728935666801 140728935669710 0
/proc/5598/statm: 2819626 2797330 846 493 0 2812931 0
Current children cumulated CPU time: 941.98 s
Current children cumulated vsize: 11278504 KiB
Current children cumulated memory: 11189320 KiB
[startup+1002.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/201 5694
/proc/meminfo: memFree=20009492/32770624 swapFree=66942712/67108860
[pid=5598] ppid=5595 vsize=11957248 memory=11899180 CPUtime=1001.96 cores=0,2,4,6
/proc/5598/stat : 5598 (cosoco) R 5595 5598 4507 0 -1 4202496 2853132 0 0 0 99791 405 0 0 20 0 1 0 555529416 12244221952 2974795 33554432000 4194304 6211132 140728935664432 140728935646216 139639964134373 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 26198016 140728935666699 140728935666801 140728935666801 140728935669710 0
/proc/5598/statm: 2989312 2974795 846 493 0 2982617 0
Current children cumulated CPU time: 1001.96 s
Current children cumulated vsize: 11957248 KiB
Current children cumulated memory: 11899180 KiB
[startup+1062.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/200 5698
/proc/meminfo: memFree=19296644/32770624 swapFree=66942712/67108860
[pid=5598] ppid=5595 vsize=12635860 memory=12611088 CPUtime=1061.95 cores=0,2,4,6
/proc/5598/stat : 5598 (cosoco) R 5595 5598 4507 0 -1 4202496 3023146 0 0 0 105757 438 0 0 20 0 1 0 555529416 12939120640 3152772 33554432000 4194304 6211132 140728935664432 140728935646216 139639964134373 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 26198016 140728935666699 140728935666801 140728935666801 140728935669710 0
/proc/5598/statm: 3158965 3152772 846 493 0 3152270 0
Current children cumulated CPU time: 1061.95 s
Current children cumulated vsize: 12635860 KiB
Current children cumulated memory: 12611088 KiB
[startup+1122.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/200 5714
/proc/meminfo: memFree=18584092/32770624 swapFree=66942716/67108860
[pid=5598] ppid=5595 vsize=13602308 memory=13321560 CPUtime=1121.93 cores=0,2,4,6
/proc/5598/stat : 5598 (cosoco) R 5595 5598 4507 0 -1 4202496 3193837 0 0 0 111723 470 0 0 20 0 1 0 555529416 13928763392 3330390 33554432000 4194304 6211132 140728935664432 140728935646216 139639964134373 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 26198016 140728935666699 140728935666801 140728935666801 140728935669710 0
/proc/5598/statm: 3400577 3330390 846 493 0 3393882 0
Current children cumulated CPU time: 1121.93 s
Current children cumulated vsize: 13602308 KiB
Current children cumulated memory: 13321560 KiB
[startup+1182.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/201 5720
/proc/meminfo: memFree=17870404/32770624 swapFree=66942716/67108860
[pid=5598] ppid=5595 vsize=14281052 memory=14033996 CPUtime=1181.9 cores=0,2,4,6
/proc/5598/stat : 5598 (cosoco) R 5595 5598 4507 0 -1 4202496 3363948 0 0 0 117688 502 0 0 20 0 1 0 555529416 14623797248 3508499 33554432000 4194304 6211132 140728935664432 140728935646216 139639964134373 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 26198016 140728935666699 140728935666801 140728935666801 140728935669710 0
/proc/5598/statm: 3570263 3508499 846 493 0 3563568 0
Current children cumulated CPU time: 1181.9 s
Current children cumulated vsize: 14281052 KiB
Current children cumulated memory: 14033996 KiB
[startup+1242.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 5725
/proc/meminfo: memFree=17158052/32770624 swapFree=66942716/67108860
[pid=5598] ppid=5595 vsize=14959796 memory=14745376 CPUtime=1241.89 cores=0,2,4,6
/proc/5598/stat : 5598 (cosoco) R 5595 5598 4507 0 -1 4202496 3533859 0 0 0 123655 534 0 0 20 0 1 0 555529416 15318831104 3686344 33554432000 4194304 6211132 140728935664432 140728935646216 139639964134373 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 26198016 140728935666699 140728935666801 140728935666801 140728935669710 0
/proc/5598/statm: 3739949 3686344 846 493 0 3733254 0
Current children cumulated CPU time: 1241.89 s
Current children cumulated vsize: 14959796 KiB
Current children cumulated memory: 14745376 KiB
[startup+1302.3 s]
/proc/loadavg: 2.14 2.05 2.05 3/199 5729
/proc/meminfo: memFree=16444716/32770624 swapFree=66942716/67108860
[pid=5598] ppid=5595 vsize=15638540 memory=15457020 CPUtime=1301.88 cores=0,2,4,6
/proc/5598/stat : 5598 (cosoco) R 5595 5598 4507 0 -1 4202496 3703792 0 0 0 129621 567 0 0 20 0 1 0 555529416 16013864960 3864255 33554432000 4194304 6211132 140728935664432 140728935646216 139639964134373 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 26198016 140728935666699 140728935666801 140728935666801 140728935669710 0
/proc/5598/statm: 3909635 3864255 846 493 0 3902940 0
Current children cumulated CPU time: 1301.88 s
Current children cumulated vsize: 15638540 KiB
Current children cumulated memory: 15457020 KiB
Maximum VSize exceeded: sending SIGTERM then SIGKILL
[startup+1323 s]*
/proc/loadavg: 2.10 2.04 2.05 3/199 5732
/proc/meminfo: memFree=16196584/32770624 swapFree=66942716/67108860
[pid=5598] ppid=5595 vsize=15872576 memory=15701068 CPUtime=1322.58 cores=0,2,4,6
/proc/5598/stat : 5598 (cosoco) R 5595 5598 4507 0 -1 4202496 3762386 0 0 0 131679 579 0 0 20 0 1 0 555529416 16253517824 3925267 33554432000 4194304 6211132 140728935664432 140728935646216 139639964134373 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 26198016 140728935666699 140728935666801 140728935666801 140728935669710 0
/proc/5598/statm: 3968144 3925267 846 493 0 3961449 0
Current children cumulated CPU time: 1322.58 s
Current children cumulated vsize: 15872576 KiB
Current children cumulated memory: 15701068 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
??? end of watcher thread
[startup+1325.74 s]
# the end of solver process 5598 was just reported to runsolver
# cumulated CPU time of all completed processes: user=1316.98 s, system=6.53341 s
Solver just ended.
Dumping a history of the last processes samples
[startup+1323.2 s]
/proc/loadavg: 2.10 2.04 2.05 3/199 5732
/proc/meminfo: memFree=16196584/32770624 swapFree=66942716/67108860
[pid=5598] ppid=5595 vsize=15872576 memory=15701332 CPUtime=1322.58 cores=0,2,4,6
/proc/5598/stat : 5598 (cosoco) S 5595 5598 4507 0 -1 512 3762394 0 0 0 131679 579 0 0 20 0 1 0 555529416 16253517824 3925333 33554432000 4194304 6211132 140728935664432 140728935646216 5189800 0 16384 4096 8405026 18446744071580971376 0 0 17 2 0 0 0 0 0 8312316 8317760 26198016 140728935666699 140728935666801 140728935666801 140728935669710 0
/proc/5598/statm: 3968144 3925333 846 493 0 3961449 0
Current children cumulated CPU time: 1322.58 s
Current children cumulated vsize: 15872576 KiB
Current children cumulated memory: 15701332 KiB
[startup+1324 s]*
/proc/loadavg: 2.10 2.04 2.05 3/200 5733
/proc/meminfo: memFree=15993456/32770624 swapFree=66942732/67108860
[pid=5598] ppid=5595 vsize=15872576 memory=15701332 CPUtime=1322.63 cores=0,2,4,6
/proc/5598/stat : 5598 (cosoco) S 5595 5598 4507 0 -1 512 3762394 0 0 0 131684 579 0 0 20 0 1 0 555529416 16253517824 3925333 33554432000 4194304 6211132 140728935664432 140728935646216 5189800 0 16384 4096 8405026 18446744071580971376 0 0 17 2 0 0 0 0 0 8312316 8317760 26198016 140728935666699 140728935666801 140728935666801 140728935669710 0
/proc/5598/statm: 3968144 3925333 846 493 0 3961449 0
Current children cumulated CPU time: 1322.63 s
Current children cumulated vsize: 15872576 KiB
Current children cumulated memory: 15701332 KiB
[startup+1324.8 s]
/proc/loadavg: 2.10 2.04 2.05 3/200 5733
/proc/meminfo: memFree=15993456/32770624 swapFree=66942732/67108860
[pid=5598] ppid=5595 vsize=15872576 memory=15701332 CPUtime=1322.74 cores=0,2,4,6
/proc/5598/stat : 5598 (cosoco) S 5595 5598 4507 0 -1 512 3762394 0 0 0 131695 579 0 0 20 0 1 0 555529416 16253517824 3925333 33554432000 4194304 6211132 140728935664432 140728935646216 5189800 0 16384 4096 8405026 18446744071580971376 0 0 17 4 0 0 0 0 0 8312316 8317760 26198016 140728935666699 140728935666801 140728935666801 140728935669710 0
/proc/5598/statm: 3968144 3925333 846 493 0 3961449 0
Current children cumulated CPU time: 1322.74 s
Current children cumulated vsize: 15872576 KiB
Current children cumulated memory: 15701332 KiB
[startup+1325 s]*
/proc/loadavg: 2.10 2.04 2.05 3/200 5733
/proc/meminfo: memFree=15463356/32770624 swapFree=66942732/67108860
[pid=5598] ppid=5595 vsize=15872576 memory=15701332 CPUtime=1322.78 cores=0,2,4,6
/proc/5598/stat : 5598 (cosoco) S 5595 5598 4507 0 -1 512 3762394 0 0 0 131698 580 0 0 20 0 1 0 555529416 16253517824 3925333 33554432000 4194304 6211132 140728935664432 140728935646216 5189800 0 16384 4096 8405026 18446744071580971376 0 0 17 2 0 0 0 0 0 8312316 8317760 26198016 140728935666699 140728935666801 140728935666801 140728935669710 0
/proc/5598/statm: 3968144 3925333 846 493 0 3961449 0
Current children cumulated CPU time: 1322.78 s
Current children cumulated vsize: 15872576 KiB
Current children cumulated memory: 15701332 KiB
Child ended because it received signal 9 (SIGKILL)
Real time (s): 1325.74
CPU time (s): 1323.52
CPU user time (s): 1316.98
CPU system time (s): 6.53341
CPU usage (%): 99.8322
Max. virtual memory (cumulated for all children) (KiB): 15872576
Max. memory (cumulated for all children) (KiB): 15701332
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1316.98
system time used= 6.53341
maximum resident set size= 15701344
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3762394
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= 90166
involuntary context switches= 1303
# summary of solver processes directly reported to runsolver:
# pid: 5598
# total CPU time (s): 1323.52
# total CPU user time (s): 1316.98
# total CPU system time (s): 6.53341
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.31403 second user time and 8.48418 second system time
The end