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 (14955 MiB free)
memory of node 1: 16384 MiB (15593 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4389886-1568358738/watcher-4389886-1568358738 -o /tmp/evaluation-result-4389886-1568358738/solver-4389886-1568358738 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node133-1568358515-4204 --watchdog 2580 cosoco -lc -model -restarts -stick HOME/instance-4389886-1568358738.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=4449, runsolver pid=4446
[startup+0.100152 s]*
/proc/loadavg: 4.00 2.72 2.24 3/205 4450
/proc/meminfo: memFree=31270136/32770624 swapFree=67003968/67108860
[pid=4449] ppid=4446 vsize=39152 memory=15356 CPUtime=0.09 cores=1,3,5,7
/proc/4449/stat : 4449 (cosoco) R 4446 4449 4172 0 -1 4202496 4007 0 0 0 9 0 0 0 20 0 1 0 412113459 40091648 3839 33554432000 4194304 6210612 140725808373712 140725808368872 139641022059648 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 16277504 140725808378891 140725808378993 140725808378993 140725808381902 0
/proc/4449/statm: 9788 3839 809 493 0 3093 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 39152 KiB
Current children cumulated memory: 15356 KiB
[startup+0.209899 s]*
/proc/loadavg: 4.00 2.72 2.24 3/205 4450
/proc/meminfo: memFree=31268732/32770624 swapFree=67003968/67108860
[pid=4449] ppid=4446 vsize=40728 memory=16872 CPUtime=0.2 cores=1,3,5,7
/proc/4449/stat : 4449 (cosoco) R 4446 4449 4172 0 -1 4202496 4430 0 0 0 20 0 0 0 20 0 1 0 412113459 41705472 4218 33554432000 4194304 6210612 140725808373712 140725808368872 5479513 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 16277504 140725808378891 140725808378993 140725808378993 140725808381902 0
/proc/4449/statm: 10182 4218 819 493 0 3487 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 40728 KiB
Current children cumulated memory: 16872 KiB
[startup+0.30936 s]*
/proc/loadavg: 4.00 2.72 2.24 3/205 4450
/proc/meminfo: memFree=31267616/32770624 swapFree=67003968/67108860
[pid=4449] ppid=4446 vsize=41712 memory=17928 CPUtime=0.3 cores=1,3,5,7
/proc/4449/stat : 4449 (cosoco) R 4446 4449 4172 0 -1 4202496 4680 0 0 0 30 0 0 0 20 0 1 0 412113459 42713088 4482 33554432000 4194304 6210612 140725808373712 140725808368872 5446100 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 16277504 140725808378891 140725808378993 140725808378993 140725808381902 0
/proc/4449/statm: 10428 4482 819 493 0 3733 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 41712 KiB
Current children cumulated memory: 17928 KiB
[startup+0.700283 s]
/proc/loadavg: 4.00 2.72 2.24 3/205 4450
/proc/meminfo: memFree=31265756/32770624 swapFree=67003968/67108860
[pid=4449] ppid=4446 vsize=45708 memory=21992 CPUtime=0.68 cores=1,3,5,7
/proc/4449/stat : 4449 (cosoco) R 4446 4449 4172 0 -1 4202496 5662 0 0 0 68 0 0 0 20 0 1 0 412113459 46804992 5498 33554432000 4194304 6210612 140725808373712 140725808368872 139641005997029 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 16277504 140725808378891 140725808378993 140725808378993 140725808381902 0
/proc/4449/statm: 11427 5498 819 493 0 4732 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 45708 KiB
Current children cumulated memory: 21992 KiB
[startup+1.50028 s]
/proc/loadavg: 4.00 2.72 2.24 3/205 4450
/proc/meminfo: memFree=31260548/32770624 swapFree=67003968/67108860
[pid=4449] ppid=4446 vsize=53944 memory=30052 CPUtime=1.48 cores=1,3,5,7
/proc/4449/stat : 4449 (cosoco) R 4446 4449 4172 0 -1 4202496 7712 0 0 0 148 0 0 0 20 0 1 0 412113459 55238656 7513 33554432000 4194304 6210612 140725808373712 140725808368872 5012594 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 16277504 140725808378891 140725808378993 140725808378993 140725808381902 0
/proc/4449/statm: 13486 7513 819 493 0 6791 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 53944 KiB
Current children cumulated memory: 30052 KiB
[startup+3.10975 s]
/proc/loadavg: 4.00 2.72 2.24 3/205 4450
/proc/meminfo: memFree=31239808/32770624 swapFree=67003968/67108860
[pid=4449] ppid=4446 vsize=70628 memory=46540 CPUtime=3.1 cores=1,3,5,7
/proc/4449/stat : 4449 (cosoco) R 4446 4449 4172 0 -1 4202496 12007 0 0 0 309 1 0 0 20 0 1 0 412113459 72323072 11635 33554432000 4194304 6210612 140725808373712 140725808347272 139641005997029 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 16277504 140725808378891 140725808378993 140725808378993 140725808381902 0
/proc/4449/statm: 17657 11635 819 493 0 10962 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 70628 KiB
Current children cumulated memory: 46540 KiB
[startup+6.30027 s]
/proc/loadavg: 3.68 2.68 2.23 3/205 4450
/proc/meminfo: memFree=31209204/32770624 swapFree=67003968/67108860
[pid=4449] ppid=4446 vsize=103908 memory=79200 CPUtime=6.29 cores=1,3,5,7
/proc/4449/stat : 4449 (cosoco) R 4446 4449 4172 0 -1 4202496 20349 0 0 0 627 2 0 0 20 0 1 0 412113459 106401792 19800 33554432000 4194304 6210612 140725808373712 140725808347272 139641005997029 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 16277504 140725808378891 140725808378993 140725808378993 140725808381902 0
/proc/4449/statm: 25977 19800 819 493 0 19282 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 103908 KiB
Current children cumulated memory: 79200 KiB
[startup+12.7003 s]
/proc/loadavg: 3.55 2.66 2.23 3/205 4450
/proc/meminfo: memFree=31147728/32770624 swapFree=67003968/67108860
[pid=4449] ppid=4446 vsize=168840 memory=144672 CPUtime=12.69 cores=1,3,5,7
/proc/4449/stat : 4449 (cosoco) R 4446 4449 4172 0 -1 4202496 36908 0 0 0 1266 3 0 0 20 0 1 0 412113459 172892160 36168 33554432000 4194304 6210612 140725808373712 140725808347272 139641005997029 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 16277504 140725808378891 140725808378993 140725808378993 140725808381902 0
/proc/4449/statm: 42210 36168 819 493 0 35515 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 168840 KiB
Current children cumulated memory: 144672 KiB
[startup+25.5003 s]
/proc/loadavg: 3.20 2.63 2.22 3/204 4450
/proc/meminfo: memFree=31012288/32770624 swapFree=67003968/67108860
[pid=4449] ppid=4446 vsize=301224 memory=276560 CPUtime=25.49 cores=1,3,5,7
/proc/4449/stat : 4449 (cosoco) R 4446 4449 4172 0 -1 4202496 69698 0 0 0 2542 7 0 0 20 0 1 0 412113459 308453376 69140 33554432000 4194304 6210612 140725808373712 140725808347272 139641005997029 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 16277504 140725808378891 140725808378993 140725808378993 140725808381902 0
/proc/4449/statm: 75306 69140 819 493 0 68611 0
Current children cumulated CPU time: 25.49 s
Current children cumulated vsize: 301224 KiB
Current children cumulated memory: 276560 KiB
[startup+51.1095 s]
/proc/loadavg: 2.79 2.58 2.22 3/205 4454
/proc/meminfo: memFree=30731624/32770624 swapFree=67003968/67108860
[pid=4449] ppid=4446 vsize=567476 memory=538116 CPUtime=51.1 cores=1,3,5,7
/proc/4449/stat : 4449 (cosoco) R 4446 4449 4172 0 -1 4202496 134729 0 0 0 5095 15 0 0 20 0 1 0 412113459 581095424 134529 33554432000 4194304 6210612 140725808373712 140725808347272 139641005997029 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 16277504 140725808378891 140725808378993 140725808378993 140725808381902 0
/proc/4449/statm: 141869 134529 819 493 0 135174 0
Current children cumulated CPU time: 51.1 s
Current children cumulated vsize: 567476 KiB
Current children cumulated memory: 538116 KiB
[startup+102.3 s]
/proc/loadavg: 2.34 2.49 2.21 3/205 4458
/proc/meminfo: memFree=30204216/32770624 swapFree=67003968/67108860
[pid=4449] ppid=4446 vsize=1088592 memory=1064736 CPUtime=102.28 cores=1,3,5,7
/proc/4449/stat : 4449 (cosoco) R 4446 4449 4172 0 -1 4202496 263363 0 0 0 10198 30 0 0 20 0 1 0 412113459 1114718208 266184 33554432000 4194304 6210612 140725808373712 140725808347272 139641006917539 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 16277504 140725808378891 140725808378993 140725808378993 140725808381902 0
/proc/4449/statm: 272148 266184 819 493 0 265453 0
Current children cumulated CPU time: 102.28 s
Current children cumulated vsize: 1088592 KiB
Current children cumulated memory: 1064736 KiB
[startup+162.3 s]
/proc/loadavg: 2.13 2.40 2.20 3/205 4463
/proc/meminfo: memFree=29583576/32770624 swapFree=67003968/67108860
[pid=4449] ppid=4446 vsize=1728352 memory=1684168 CPUtime=162.25 cores=1,3,5,7
/proc/4449/stat : 4449 (cosoco) R 4446 4449 4172 0 -1 4202496 413601 0 0 0 16177 48 0 0 20 0 1 0 412113459 1769832448 421042 33554432000 4194304 6210612 140725808373712 140725808347272 139641005997029 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 16277504 140725808378891 140725808378993 140725808378993 140725808381902 0
/proc/4449/statm: 432088 421042 819 493 0 425393 0
Current children cumulated CPU time: 162.25 s
Current children cumulated vsize: 1728352 KiB
Current children cumulated memory: 1684168 KiB
[startup+222.3 s]
/proc/loadavg: 2.09 2.34 2.19 3/206 4469
/proc/meminfo: memFree=28964440/32770624 swapFree=67003968/67108860
[pid=4449] ppid=4446 vsize=2327104 memory=2301316 CPUtime=222.23 cores=1,3,5,7
/proc/4449/stat : 4449 (cosoco) R 4446 4449 4172 0 -1 4202496 563300 0 0 0 22158 65 0 0 20 0 1 0 412113459 2382954496 575329 33554432000 4194304 6210612 140725808373712 140725808347272 139641005997029 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 16277504 140725808378891 140725808378993 140725808378993 140725808381902 0
/proc/4449/statm: 581776 575329 819 493 0 575081 0
Current children cumulated CPU time: 222.23 s
Current children cumulated vsize: 2327104 KiB
Current children cumulated memory: 2301316 KiB
[startup+282.3 s]
/proc/loadavg: 2.04 2.28 2.18 3/205 4473
/proc/meminfo: memFree=28340192/32770624 swapFree=67003968/67108860
[pid=4449] ppid=4446 vsize=2962768 memory=2920796 CPUtime=282.21 cores=1,3,5,7
/proc/4449/stat : 4449 (cosoco) R 4446 4449 4172 0 -1 4202496 713599 0 0 0 28136 85 0 0 20 0 1 0 412113459 3033874432 730199 33554432000 4194304 6210612 140725808373712 140725808347272 139641005997029 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 16277504 140725808378891 140725808378993 140725808378993 140725808381902 0
/proc/4449/statm: 740692 730199 819 493 0 733997 0
Current children cumulated CPU time: 282.21 s
Current children cumulated vsize: 2962768 KiB
Current children cumulated memory: 2920796 KiB
[startup+342.3 s]
/proc/loadavg: 2.01 2.23 2.17 3/204 4478
/proc/meminfo: memFree=27722544/32770624 swapFree=67003968/67108860
[pid=4449] ppid=4446 vsize=3561388 memory=3537084 CPUtime=342.2 cores=1,3,5,7
/proc/4449/stat : 4449 (cosoco) R 4446 4449 4172 0 -1 4202496 863677 0 0 0 34114 106 0 0 20 0 1 0 412113459 3646861312 884271 33554432000 4194304 6210612 140725808373712 140725808347272 5452047 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 16277504 140725808378891 140725808378993 140725808378993 140725808381902 0
/proc/4449/statm: 890347 884271 819 493 0 883652 0
Current children cumulated CPU time: 342.2 s
Current children cumulated vsize: 3561388 KiB
Current children cumulated memory: 3537084 KiB
[startup+402.3 s]
/proc/loadavg: 2.00 2.19 2.16 3/205 4484
/proc/meminfo: memFree=27101116/32770624 swapFree=67003968/67108860
[pid=4449] ppid=4446 vsize=4215372 memory=4156820 CPUtime=402.18 cores=1,3,5,7
/proc/4449/stat : 4449 (cosoco) R 4446 4449 4172 0 -1 4202496 1013590 0 0 0 40092 126 0 0 20 0 1 0 412113459 4316540928 1039205 33554432000 4194304 6210612 140725808373712 140725808347272 5440933 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 16277504 140725808378891 140725808378993 140725808378993 140725808381902 0
/proc/4449/statm: 1053843 1039205 819 493 0 1047148 0
Current children cumulated CPU time: 402.18 s
Current children cumulated vsize: 4215372 KiB
Current children cumulated memory: 4156820 KiB
[startup+462.3 s]
/proc/loadavg: 2.00 2.15 2.15 3/204 4489
/proc/meminfo: memFree=26479772/32770624 swapFree=67003968/67108860
[pid=4449] ppid=4446 vsize=4813860 memory=4773676 CPUtime=462.16 cores=1,3,5,7
/proc/4449/stat : 4449 (cosoco) R 4446 4449 4172 0 -1 4202496 1163352 0 0 0 46071 145 0 0 20 0 1 0 412113459 4929392640 1193419 33554432000 4194304 6210612 140725808373712 140725808347272 5446070 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 16277504 140725808378891 140725808378993 140725808378993 140725808381902 0
/proc/4449/statm: 1203465 1193419 819 493 0 1196770 0
Current children cumulated CPU time: 462.16 s
Current children cumulated vsize: 4813860 KiB
Current children cumulated memory: 4773676 KiB
################
# More data... #
################
Current children cumulated vsize: 10404696 KiB
Current children cumulated memory: 10330468 KiB
[startup+1062.3 s]
/proc/loadavg: 2.00 2.02 2.08 3/204 4547
/proc/meminfo: memFree=20280960/32770624 swapFree=67003968/67108860
[pid=4449] ppid=4446 vsize=11002524 memory=10948660 CPUtime=1062.04 cores=1,3,5,7
/proc/4449/stat : 4449 (cosoco) R 4446 4449 4172 0 -1 4202496 2662018 0 0 0 105811 393 0 0 20 0 1 0 412113459 11266584576 2737165 33554432000 4194304 6210612 140725808373712 140725808347272 5012647 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 16277504 140725808378891 140725808378993 140725808378993 140725808381902 0
/proc/4449/statm: 2750631 2737165 819 493 0 2743936 0
Current children cumulated CPU time: 1062.04 s
Current children cumulated vsize: 11002524 KiB
Current children cumulated memory: 10948660 KiB
[startup+1122.3 s]
/proc/loadavg: 2.00 2.02 2.08 3/205 4561
/proc/meminfo: memFree=19661164/32770624 swapFree=67003968/67108860
[pid=4449] ppid=4446 vsize=11600088 memory=11564808 CPUtime=1122.02 cores=1,3,5,7
/proc/4449/stat : 4449 (cosoco) R 4446 4449 4172 0 -1 4202496 2811689 0 0 0 111783 419 0 0 20 0 1 0 412113459 11878490112 2891202 33554432000 4194304 6210612 140725808373712 140725808347272 5442898 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 16277504 140725808378891 140725808378993 140725808378993 140725808381902 0
/proc/4449/statm: 2900022 2891202 819 493 0 2893327 0
Current children cumulated CPU time: 1122.02 s
Current children cumulated vsize: 11600088 KiB
Current children cumulated memory: 11564808 KiB
[startup+1182.3 s]
/proc/loadavg: 2.00 2.01 2.07 3/204 4565
/proc/meminfo: memFree=19042588/32770624 swapFree=67003968/67108860
[pid=4449] ppid=4446 vsize=12384640 memory=12182300 CPUtime=1182.02 cores=1,3,5,7
/proc/4449/stat : 4449 (cosoco) R 4446 4449 4172 0 -1 4202496 2961692 0 0 0 117753 449 0 0 20 0 1 0 412113459 12681871360 3045575 33554432000 4194304 6210612 140725808373712 140725808347272 139641005997029 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 16277504 140725808378891 140725808378993 140725808378993 140725808381902 0
/proc/4449/statm: 3096160 3045575 819 493 0 3089465 0
Current children cumulated CPU time: 1182.02 s
Current children cumulated vsize: 12384640 KiB
Current children cumulated memory: 12182300 KiB
[startup+1242.3 s]
/proc/loadavg: 2.00 2.01 2.06 3/204 4570
/proc/meminfo: memFree=18425720/32770624 swapFree=67003968/67108860
[pid=4449] ppid=4446 vsize=12982204 memory=12798192 CPUtime=1242 cores=1,3,5,7
/proc/4449/stat : 4449 (cosoco) R 4446 4449 4172 0 -1 4202496 3111334 0 0 0 123723 477 0 0 20 0 1 0 412113459 13293776896 3199548 33554432000 4194304 6210612 140725808373712 140725808347272 139641006923159 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 16277504 140725808378891 140725808378993 140725808378993 140725808381902 0
/proc/4449/statm: 3245551 3199548 819 493 0 3238856 0
Current children cumulated CPU time: 1242 s
Current children cumulated vsize: 12982204 KiB
Current children cumulated memory: 12798192 KiB
[startup+1302.3 s]
/proc/loadavg: 2.00 2.01 2.06 3/205 4576
/proc/meminfo: memFree=17808364/32770624 swapFree=67003968/67108860
[pid=4449] ppid=4446 vsize=13579636 memory=13414076 CPUtime=1301.99 cores=1,3,5,7
/proc/4449/stat : 4449 (cosoco) R 4446 4449 4172 0 -1 4202496 3260953 0 0 0 129695 504 0 0 20 0 1 0 412113459 13905547264 3353519 33554432000 4194304 6210612 140725808373712 140725808347272 139641005997029 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 16277504 140725808378891 140725808378993 140725808378993 140725808381902 0
/proc/4449/statm: 3394909 3353519 819 493 0 3388214 0
Current children cumulated CPU time: 1301.99 s
Current children cumulated vsize: 13579636 KiB
Current children cumulated memory: 13414076 KiB
[startup+1362.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/204 4580
/proc/meminfo: memFree=17189736/32770624 swapFree=67003968/67108860
[pid=4449] ppid=4446 vsize=14177200 memory=14032268 CPUtime=1361.98 cores=1,3,5,7
/proc/4449/stat : 4449 (cosoco) R 4446 4449 4172 0 -1 4202496 3410598 0 0 0 135663 535 0 0 20 0 1 0 412113459 14517452800 3508067 33554432000 4194304 6210612 140725808373712 140725808347272 139641005997029 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 16277504 140725808378891 140725808378993 140725808378993 140725808381902 0
/proc/4449/statm: 3544300 3508067 819 493 0 3537605 0
Current children cumulated CPU time: 1361.98 s
Current children cumulated vsize: 14177200 KiB
Current children cumulated memory: 14032268 KiB
[startup+1422.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/204 4585
/proc/meminfo: memFree=16572440/32770624 swapFree=67003968/67108860
[pid=4449] ppid=4446 vsize=14774500 memory=14647888 CPUtime=1421.97 cores=1,3,5,7
/proc/4449/stat : 4449 (cosoco) R 4446 4449 4172 0 -1 4202496 3560167 0 0 0 141632 565 0 0 20 0 1 0 412113459 15129088000 3661972 33554432000 4194304 6210612 140725808373712 140725808347272 139641005997029 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 16277504 140725808378891 140725808378993 140725808378993 140725808381902 0
/proc/4449/statm: 3693625 3661972 819 493 0 3686930 0
Current children cumulated CPU time: 1421.97 s
Current children cumulated vsize: 14774500 KiB
Current children cumulated memory: 14647888 KiB
[startup+1482.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/205 4591
/proc/meminfo: memFree=15953720/32770624 swapFree=67003968/67108860
[pid=4449] ppid=4446 vsize=15371404 memory=15265352 CPUtime=1481.96 cores=1,3,5,7
/proc/4449/stat : 4449 (cosoco) R 4446 4449 4172 0 -1 4202496 3709731 0 0 0 147599 597 0 0 20 0 1 0 412113459 15740317696 3816338 33554432000 4194304 6210612 140725808373712 140725808347272 139641005997029 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 16277504 140725808378891 140725808378993 140725808378993 140725808381902 0
/proc/4449/statm: 3842851 3816338 819 493 0 3836156 0
Current children cumulated CPU time: 1481.96 s
Current children cumulated vsize: 15371404 KiB
Current children cumulated memory: 15265352 KiB
Maximum VSize exceeded: sending SIGTERM then SIGKILL
[startup+1532.7 s]
/proc/loadavg: 2.00 2.01 2.05 3/203 4595
/proc/meminfo: memFree=15440684/32770624 swapFree=67003968/67108860
[pid=4449] ppid=4446 vsize=15872872 memory=15783096 CPUtime=1532.35 cores=1,3,5,7
/proc/4449/stat : 4449 (cosoco) R 4446 4449 4172 0 -1 4202496 3835355 0 0 0 152612 623 0 0 20 0 1 0 412113459 16253820928 3945774 33554432000 4194304 6210612 140725808373712 140725808347272 139641005997029 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 16277504 140725808378891 140725808378993 140725808378993 140725808381902 0
/proc/4449/statm: 3968218 3945774 819 493 0 3961523 0
Current children cumulated CPU time: 1532.35 s
Current children cumulated vsize: 15872872 KiB
Current children cumulated memory: 15783096 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
??? end of watcher thread
[startup+1535.44 s]
# the end of solver process 4449 was just reported to runsolver
# cumulated CPU time of all completed processes: user=1526.44 s, system=7.00147 s
Solver just ended.
Dumping a history of the last processes samples
[startup+1532.8 s]
/proc/loadavg: 2.00 2.01 2.05 3/203 4595
/proc/meminfo: memFree=15440684/32770624 swapFree=67003968/67108860
[pid=4449] ppid=4446 vsize=15872872 memory=15783096 CPUtime=1532.37 cores=1,3,5,7
/proc/4449/stat : 4449 (cosoco) R 4446 4449 4172 0 -1 512 3835359 0 0 0 152613 624 0 0 20 0 1 0 412113459 16253820928 3945774 33554432000 4194304 6210612 140725808373712 140725808347272 5188952 0 16384 4096 8405026 18446744071580971376 0 0 17 1 0 0 0 0 0 8308220 8313664 16277504 140725808378891 140725808378993 140725808378993 140725808381902 0
/proc/4449/statm: 3968218 3945774 819 493 0 3961523 0
Current children cumulated CPU time: 1532.37 s
Current children cumulated vsize: 15872872 KiB
Current children cumulated memory: 15783096 KiB
[startup+1533.6 s]
/proc/loadavg: 2.00 2.01 2.05 3/204 4596
/proc/meminfo: memFree=15254248/32770624 swapFree=67003968/67108860
[pid=4449] ppid=4446 vsize=15872872 memory=15783096 CPUtime=1532.51 cores=1,3,5,7
/proc/4449/stat : 4449 (cosoco) S 4446 4449 4172 0 -1 512 3835359 0 0 0 152626 625 0 0 20 0 1 0 412113459 16253820928 3945774 33554432000 4194304 6210612 140725808373712 140725808347272 5188952 0 16384 4096 8405026 18446744071580971376 0 0 17 5 0 0 0 0 0 8308220 8313664 16277504 140725808378891 140725808378993 140725808378993 140725808381902 0
/proc/4449/statm: 3968218 3945774 819 493 0 3961523 0
Current children cumulated CPU time: 1532.51 s
Current children cumulated vsize: 15872872 KiB
Current children cumulated memory: 15783096 KiB
[startup+1534.4 s]
/proc/loadavg: 2.00 2.01 2.05 3/204 4596
/proc/meminfo: memFree=14677800/32770624 swapFree=67003968/67108860
[pid=4449] ppid=4446 vsize=15872872 memory=15783096 CPUtime=1532.65 cores=1,3,5,7
/proc/4449/stat : 4449 (cosoco) S 4446 4449 4172 0 -1 512 3835359 0 0 0 152639 626 0 0 20 0 1 0 412113459 16253820928 3945774 33554432000 4194304 6210612 140725808373712 140725808347272 5188952 0 16384 4096 8405026 18446744071580971376 0 0 17 5 0 0 0 0 0 8308220 8313664 16277504 140725808378891 140725808378993 140725808378993 140725808381902 0
/proc/4449/statm: 3968218 3945774 819 493 0 3961523 0
Current children cumulated CPU time: 1532.65 s
Current children cumulated vsize: 15872872 KiB
Current children cumulated memory: 15783096 KiB
[startup+1534.6 s]
/proc/loadavg: 2.00 2.01 2.05 3/204 4596
/proc/meminfo: memFree=14677800/32770624 swapFree=67003968/67108860
[pid=4449] ppid=4446 vsize=15872872 memory=15783096 CPUtime=1532.68 cores=1,3,5,7
/proc/4449/stat : 4449 (cosoco) S 4446 4449 4172 0 -1 512 3835359 0 0 0 152642 626 0 0 20 0 1 0 412113459 16253820928 3945774 33554432000 4194304 6210612 140725808373712 140725808347272 5188952 0 16384 4096 8405026 18446744071580971376 0 0 17 5 0 0 0 0 0 8308220 8313664 16277504 140725808378891 140725808378993 140725808378993 140725808381902 0
/proc/4449/statm: 3968218 3945774 819 493 0 3961523 0
Current children cumulated CPU time: 1532.68 s
Current children cumulated vsize: 15872872 KiB
Current children cumulated memory: 15783096 KiB
[startup+1534.7 s]
/proc/loadavg: 2.00 2.01 2.05 3/204 4596
/proc/meminfo: memFree=14677800/32770624 swapFree=67003968/67108860
[pid=4449] ppid=4446 vsize=15872872 memory=15783096 CPUtime=1532.7 cores=1,3,5,7
/proc/4449/stat : 4449 (cosoco) R 4446 4449 4172 0 -1 512 3835359 0 0 0 152644 626 0 0 20 0 1 0 412113459 16253820928 3945774 33554432000 4194304 6210612 140725808373712 140725808347272 5188952 0 16384 4096 8405026 18446744071580971376 0 0 17 5 0 0 0 0 0 8308220 8313664 16277504 140725808378891 140725808378993 140725808378993 140725808381902 0
/proc/4449/statm: 3968218 3945774 819 493 0 3961523 0
Current children cumulated CPU time: 1532.7 s
Current children cumulated vsize: 15872872 KiB
Current children cumulated memory: 15783096 KiB
Child ended because it received signal 9 (SIGKILL)
Real time (s): 1535.44
CPU time (s): 1533.44
CPU user time (s): 1526.44
CPU system time (s): 7.00147
CPU usage (%): 99.8701
Max. virtual memory (cumulated for all children) (KiB): 15872872
Max. memory (cumulated for all children) (KiB): 15783096
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1526.44
system time used= 7.00147
maximum resident set size= 15783308
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3835359
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= 143570
involuntary context switches= 1456
# summary of solver processes directly reported to runsolver:
# pid: 4449
# total CPU time (s): 1533.44
# total CPU user time (s): 1526.44
# total CPU system time (s): 7.00147
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.68451 second user time and 10.5337 second system time
The end