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 (15213 MiB free)
memory of node 1: 16384 MiB (10206 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4397896-1568590702/watcher-4397896-1568590702 -o /tmp/evaluation-result-4397896-1568590702/solver-4397896-1568590702 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node102-1568572739-2566 --watchdog 2560 cosoco -lc -model -restarts -stick HOME/instance-4397896-1568590702.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=6525, runsolver pid=6522
Current StackSize limit: 8192 KiB
[startup+0.100337 s]*
/proc/loadavg: 2.00 2.01 2.05 3/199 6526
/proc/meminfo: memFree=26017512/32770624 swapFree=66998660/67108860
[pid=6525] ppid=6522 vsize=38888 memory=15092 CPUtime=0.1 cores=0,2,4,6
/proc/6525/stat : 6525 (cosoco) R 6522 6525 2535 0 -1 4202496 3980 0 0 0 10 0 0 0 20 0 1 0 435321666 39821312 3773 33554432000 4194304 6211092 140737449067312 140737449064584 139828426562533 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 22056960 140737449075723 140737449075825 140737449075825 140737449078734 0
/proc/6525/statm: 9722 3773 809 493 0 3027 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 38888 KiB
Current children cumulated memory: 15092 KiB
[startup+0.209602 s]*
/proc/loadavg: 2.00 2.01 2.05 3/199 6526
/proc/meminfo: memFree=26014268/32770624 swapFree=66998660/67108860
[pid=6525] ppid=6522 vsize=40728 memory=16872 CPUtime=0.2 cores=0,2,4,6
/proc/6525/stat : 6525 (cosoco) R 6522 6525 2535 0 -1 4202496 4417 0 0 0 20 0 0 0 20 0 1 0 435321666 41705472 4218 33554432000 4194304 6211092 140737449067312 140737449064584 139828426558270 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 22056960 140737449075723 140737449075825 140737449075825 140737449078734 0
/proc/6525/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.309161 s]*
/proc/loadavg: 2.00 2.01 2.05 3/199 6526
/proc/meminfo: memFree=26012036/32770624 swapFree=66998660/67108860
[pid=6525] ppid=6522 vsize=41712 memory=17928 CPUtime=0.3 cores=0,2,4,6
/proc/6525/stat : 6525 (cosoco) R 6522 6525 2535 0 -1 4202496 4676 0 0 0 30 0 0 0 20 0 1 0 435321666 42713088 4482 33554432000 4194304 6211092 140737449067312 140737449064584 139828426562533 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 22056960 140737449075723 140737449075825 140737449075825 140737449078734 0
/proc/6525/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.70034 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 6526
/proc/meminfo: memFree=26008316/32770624 swapFree=66998660/67108860
[pid=6525] ppid=6522 vsize=45708 memory=21992 CPUtime=0.69 cores=0,2,4,6
/proc/6525/stat : 6525 (cosoco) R 6522 6525 2535 0 -1 4202496 5672 0 0 0 69 0 0 0 20 0 1 0 435321666 46804992 5498 33554432000 4194304 6211092 140737449067312 140737449064584 5451500 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 22056960 140737449075723 140737449075825 140737449075825 140737449078734 0
/proc/6525/statm: 11427 5498 819 493 0 4732 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 45708 KiB
Current children cumulated memory: 21992 KiB
[startup+1.50034 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 6526
/proc/meminfo: memFree=25997608/32770624 swapFree=66998660/67108860
[pid=6525] ppid=6522 vsize=54076 memory=30316 CPUtime=1.48 cores=0,2,4,6
/proc/6525/stat : 6525 (cosoco) R 6522 6525 2535 0 -1 4202496 7752 0 0 0 148 0 0 0 20 0 1 0 435321666 55373824 7579 33554432000 4194304 6211092 140737449067312 140737449040872 5452161 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 22056960 140737449075723 140737449075825 140737449075825 140737449078734 0
/proc/6525/statm: 13519 7579 819 493 0 6824 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 54076 KiB
Current children cumulated memory: 30316 KiB
[startup+3.10956 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 6526
/proc/meminfo: memFree=25953416/32770624 swapFree=66998660/67108860
[pid=6525] ppid=6522 vsize=71024 memory=47068 CPUtime=3.09 cores=0,2,4,6
/proc/6525/stat : 6525 (cosoco) R 6522 6525 2535 0 -1 4202496 12105 0 0 0 308 1 0 0 20 0 1 0 435321666 72728576 11767 33554432000 4194304 6211092 140737449067312 140737449040872 139828426562533 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 22056960 140737449075723 140737449075825 140737449075825 140737449078734 0
/proc/6525/statm: 17756 11767 819 493 0 11061 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 71024 KiB
Current children cumulated memory: 47068 KiB
[startup+6.30033 s]
/proc/loadavg: 1.92 2.00 2.04 3/199 6526
/proc/meminfo: memFree=25891800/32770624 swapFree=66998660/67108860
[pid=6525] ppid=6522 vsize=104700 memory=79988 CPUtime=6.29 cores=0,2,4,6
/proc/6525/stat : 6525 (cosoco) R 6522 6525 2535 0 -1 4202496 20563 0 0 0 626 3 0 0 20 0 1 0 435321666 107212800 19997 33554432000 4194304 6211092 140737449067312 140737449040872 5479612 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 22056960 140737449075723 140737449075825 140737449075825 140737449078734 0
/proc/6525/statm: 26175 19997 819 493 0 19480 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 104700 KiB
Current children cumulated memory: 79988 KiB
[startup+12.7003 s]
/proc/loadavg: 1.93 2.00 2.04 3/199 6526
/proc/meminfo: memFree=25766564/32770624 swapFree=66998660/67108860
[pid=6525] ppid=6522 vsize=170556 memory=146520 CPUtime=12.69 cores=0,2,4,6
/proc/6525/stat : 6525 (cosoco) R 6522 6525 2535 0 -1 4202496 37353 0 0 0 1264 5 0 0 20 0 1 0 435321666 174649344 36630 33554432000 4194304 6211092 140737449067312 140737449040872 139828427483057 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 22056960 140737449075723 140737449075825 140737449075825 140737449078734 0
/proc/6525/statm: 42639 36630 819 493 0 35944 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 170556 KiB
Current children cumulated memory: 146520 KiB
[startup+25.5003 s]
/proc/loadavg: 1.95 2.00 2.04 3/199 6526
/proc/meminfo: memFree=25495880/32770624 swapFree=66998660/67108860
[pid=6525] ppid=6522 vsize=304788 memory=279988 CPUtime=25.49 cores=0,2,4,6
/proc/6525/stat : 6525 (cosoco) R 6522 6525 2535 0 -1 4202496 70536 0 0 0 2540 9 0 0 20 0 1 0 435321666 312102912 69997 33554432000 4194304 6211092 140737449067312 140737449040872 5479638 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 22056960 140737449075723 140737449075825 140737449075825 140737449078734 0
/proc/6525/statm: 76197 69997 819 493 0 69502 0
Current children cumulated CPU time: 25.49 s
Current children cumulated vsize: 304788 KiB
Current children cumulated memory: 279988 KiB
[startup+51.1094 s]
/proc/loadavg: 1.96 2.00 2.04 3/199 6528
/proc/meminfo: memFree=24951048/32770624 swapFree=66998660/67108860
[pid=6525] ppid=6522 vsize=574604 memory=547288 CPUtime=51.1 cores=0,2,4,6
/proc/6525/stat : 6525 (cosoco) R 6522 6525 2535 0 -1 4202496 136503 0 0 0 5095 15 0 0 20 0 1 0 435321666 588394496 136822 33554432000 4194304 6211092 140737449067312 140737449040872 5012923 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 22056960 140737449075723 140737449075825 140737449075825 140737449078734 0
/proc/6525/statm: 143651 136822 819 493 0 136956 0
Current children cumulated CPU time: 51.1 s
Current children cumulated vsize: 574604 KiB
Current children cumulated memory: 547288 KiB
[startup+102.3 s]
/proc/loadavg: 1.98 2.00 2.04 3/199 6532
/proc/meminfo: memFree=23887112/32770624 swapFree=66998660/67108860
[pid=6525] ppid=6522 vsize=1117272 memory=1077292 CPUtime=102.29 cores=0,2,4,6
/proc/6525/stat : 6525 (cosoco) R 6522 6525 2535 0 -1 4202496 266142 0 0 0 10195 34 0 0 20 0 1 0 435321666 1144086528 269323 33554432000 4194304 6211092 140737449067312 140737449040872 139828426631639 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 22056960 140737449075723 140737449075825 140737449075825 140737449078734 0
/proc/6525/statm: 279318 269323 819 493 0 272623 0
Current children cumulated CPU time: 102.29 s
Current children cumulated vsize: 1117272 KiB
Current children cumulated memory: 1077292 KiB
[startup+162.3 s]
/proc/loadavg: 1.99 2.00 2.04 3/199 6543
/proc/meminfo: memFree=22631216/32770624 swapFree=66998664/67108860
[pid=6525] ppid=6522 vsize=1745776 memory=1701372 CPUtime=162.3 cores=0,2,4,6
/proc/6525/stat : 6525 (cosoco) R 6522 6525 2535 0 -1 4202496 418047 0 0 0 16176 54 0 0 20 0 1 0 435321666 1787674624 425343 33554432000 4194304 6211092 140737449067312 140737449040872 5455653 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 22056960 140737449075723 140737449075825 140737449075825 140737449078734 0
/proc/6525/statm: 436444 425343 819 493 0 429749 0
Current children cumulated CPU time: 162.3 s
Current children cumulated vsize: 1745776 KiB
Current children cumulated memory: 1701372 KiB
[startup+222.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/200 6549
/proc/meminfo: memFree=21375940/32770624 swapFree=66998664/67108860
[pid=6525] ppid=6522 vsize=2349676 memory=2325580 CPUtime=222.3 cores=0,2,4,6
/proc/6525/stat : 6525 (cosoco) R 6522 6525 2535 0 -1 4202496 569011 0 0 0 22157 73 0 0 20 0 1 0 435321666 2406068224 581395 33554432000 4194304 6211092 140737449067312 140737449040872 139828436507535 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 22056960 140737449075723 140737449075825 140737449075825 140737449078734 0
/proc/6525/statm: 587419 581395 819 493 0 580724 0
Current children cumulated CPU time: 222.3 s
Current children cumulated vsize: 2349676 KiB
Current children cumulated memory: 2325580 KiB
[startup+282.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/199 6553
/proc/meminfo: memFree=20125856/32770624 swapFree=66998664/67108860
[pid=6525] ppid=6522 vsize=2990224 memory=2948076 CPUtime=282.3 cores=0,2,4,6
/proc/6525/stat : 6525 (cosoco) R 6522 6525 2535 0 -1 4202496 720663 0 0 0 28138 92 0 0 20 0 1 0 435321666 3061989376 737019 33554432000 4194304 6211092 140737449067312 140737449040872 5454188 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 22056960 140737449075723 140737449075825 140737449075825 140737449078734 0
/proc/6525/statm: 747556 737019 819 493 0 740861 0
Current children cumulated CPU time: 282.3 s
Current children cumulated vsize: 2990224 KiB
Current children cumulated memory: 2948076 KiB
[startup+342.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/198 6557
/proc/meminfo: memFree=18873672/32770624 swapFree=66998664/67108860
[pid=6525] ppid=6522 vsize=3649224 memory=3570452 CPUtime=342.31 cores=0,2,4,6
/proc/6525/stat : 6525 (cosoco) R 6522 6525 2535 0 -1 4202496 872032 0 0 0 34118 113 0 0 20 0 1 0 435321666 3736805376 892613 33554432000 4194304 6211092 140737449067312 140737449040872 139828426562533 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 22056960 140737449075723 140737449075825 140737449075825 140737449078734 0
/proc/6525/statm: 912306 892613 819 493 0 905611 0
Current children cumulated CPU time: 342.31 s
Current children cumulated vsize: 3649224 KiB
Current children cumulated memory: 3570452 KiB
[startup+402.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/200 6564
/proc/meminfo: memFree=17619908/32770624 swapFree=66998664/67108860
[pid=6525] ppid=6522 vsize=4252860 memory=4193996 CPUtime=402.31 cores=0,2,4,6
/proc/6525/stat : 6525 (cosoco) R 6522 6525 2535 0 -1 4202496 1023849 0 0 0 40099 132 0 0 20 0 1 0 435321666 4354928640 1048499 33554432000 4194304 6211092 140737449067312 140737449040872 5446648 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 22056960 140737449075723 140737449075825 140737449075825 140737449078734 0
/proc/6525/statm: 1063215 1048499 819 493 0 1056520 0
Current children cumulated CPU time: 402.31 s
Current children cumulated vsize: 4252860 KiB
Current children cumulated memory: 4193996 KiB
[startup+462.3 s]
/proc/loadavg: 2.00 2.00 2.04 4/199 6568
/proc/meminfo: memFree=16364560/32770624 swapFree=66998664/67108860
[pid=6525] ppid=6522 vsize=4856100 memory=4818000 CPUtime=462.31 cores=0,2,4,6
/proc/6525/stat : 6525 (cosoco) R 6522 6525 2535 0 -1 4202496 1175203 0 0 0 46077 154 0 0 20 0 1 0 435321666 4972646400 1204500 33554432000 4194304 6211092 140737449067312 140737449040872 5443111 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 22056960 140737449075723 140737449075825 140737449075825 140737449078734 0
/proc/6525/statm: 1214025 1204500 819 493 0 1207330 0
Current children cumulated CPU time: 462.31 s
Current children cumulated vsize: 4856100 KiB
Current children cumulated memory: 4818000 KiB
################
# More data... #
################
Current children cumulated vsize: 9888444 KiB
Current children cumulated memory: 9797380 KiB
[startup+1002.3 s]
/proc/loadavg: 2.08 2.01 2.05 3/202 6681
/proc/meminfo: memFree=19941280/32770624 swapFree=66998672/67108860
[pid=6525] ppid=6522 vsize=10490628 memory=10420136 CPUtime=1002.34 cores=0,2,4,6
/proc/6525/stat : 6525 (cosoco) R 6522 6525 2535 0 -1 4202496 2539357 0 0 0 99854 380 0 0 20 0 1 0 435321666 10742403072 2605034 33554432000 4194304 6211092 140737449067312 140737449040872 5446238 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 22056960 140737449075723 140737449075825 140737449075825 140737449078734 0
/proc/6525/statm: 2622657 2605034 819 493 0 2615962 0
Current children cumulated CPU time: 1002.34 s
Current children cumulated vsize: 10490628 KiB
Current children cumulated memory: 10420136 KiB
[startup+1062.3 s]
/proc/loadavg: 2.84 2.30 2.15 3/200 6690
/proc/meminfo: memFree=20297376/32770624 swapFree=66998676/67108860
[pid=6525] ppid=6522 vsize=11095716 memory=11043636 CPUtime=1062.32 cores=0,2,4,6
/proc/6525/stat : 6525 (cosoco) R 6522 6525 2535 0 -1 4202496 2690918 0 0 0 105823 409 0 0 20 0 1 0 435321666 11362013184 2760909 33554432000 4194304 6211092 140737449067312 140737449040872 139828426562533 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 22056960 140737449075723 140737449075825 140737449075825 140737449078734 0
/proc/6525/statm: 2773929 2760909 819 493 0 2767234 0
Current children cumulated CPU time: 1062.32 s
Current children cumulated vsize: 11095716 KiB
Current children cumulated memory: 11043636 KiB
[startup+1122.3 s]
/proc/loadavg: 2.31 2.25 2.13 3/202 6697
/proc/meminfo: memFree=19670748/32770624 swapFree=66998676/67108860
[pid=6525] ppid=6522 vsize=11700936 memory=11669444 CPUtime=1122.31 cores=0,2,4,6
/proc/6525/stat : 6525 (cosoco) R 6522 6525 2535 0 -1 4202496 2842490 0 0 0 111794 437 0 0 20 0 1 0 435321666 11981758464 2917361 33554432000 4194304 6211092 140737449067312 140737449040872 5453896 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 22056960 140737449075723 140737449075825 140737449075825 140737449078734 0
/proc/6525/statm: 2925234 2917361 819 493 0 2918539 0
Current children cumulated CPU time: 1122.31 s
Current children cumulated vsize: 11700936 KiB
Current children cumulated memory: 11669444 KiB
[startup+1182.3 s]
/proc/loadavg: 2.25 2.25 2.14 3/201 6701
/proc/meminfo: memFree=19046564/32770624 swapFree=66998676/67108860
[pid=6525] ppid=6522 vsize=12493012 memory=12292444 CPUtime=1182.29 cores=0,2,4,6
/proc/6525/stat : 6525 (cosoco) R 6522 6525 2535 0 -1 4202496 2994909 0 0 0 117763 466 0 0 20 0 1 0 435321666 12792844288 3073111 33554432000 4194304 6211092 140737449067312 140737449040872 5446278 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 22056960 140737449075723 140737449075825 140737449075825 140737449078734 0
/proc/6525/statm: 3123253 3073111 819 493 0 3116558 0
Current children cumulated CPU time: 1182.29 s
Current children cumulated vsize: 12493012 KiB
Current children cumulated memory: 12292444 KiB
[startup+1242.3 s]
/proc/loadavg: 2.16 2.22 2.14 3/201 6706
/proc/meminfo: memFree=18419340/32770624 swapFree=66998676/67108860
[pid=6525] ppid=6522 vsize=13098232 memory=12918252 CPUtime=1242.28 cores=0,2,4,6
/proc/6525/stat : 6525 (cosoco) R 6522 6525 2535 0 -1 4202496 3146486 0 0 0 123733 495 0 0 20 0 1 0 435321666 13412589568 3229563 33554432000 4194304 6211092 140737449067312 140737449040872 5013069 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 22056960 140737449075723 140737449075825 140737449075825 140737449078734 0
/proc/6525/statm: 3274558 3229563 819 493 0 3267863 0
Current children cumulated CPU time: 1242.28 s
Current children cumulated vsize: 13098232 KiB
Current children cumulated memory: 12918252 KiB
[startup+1302.3 s]
/proc/loadavg: 2.13 2.19 2.14 3/202 6712
/proc/meminfo: memFree=17794996/32770624 swapFree=66998676/67108860
[pid=6525] ppid=6522 vsize=13703188 memory=13541428 CPUtime=1302.27 cores=0,2,4,6
/proc/6525/stat : 6525 (cosoco) R 6522 6525 2535 0 -1 4202496 3297941 0 0 0 129702 525 0 0 20 0 1 0 435321666 14032064512 3385357 33554432000 4194304 6211092 140737449067312 140737449040872 5443096 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 22056960 140737449075723 140737449075825 140737449075825 140737449078734 0
/proc/6525/statm: 3425797 3385357 819 493 0 3419102 0
Current children cumulated CPU time: 1302.27 s
Current children cumulated vsize: 13703188 KiB
Current children cumulated memory: 13541428 KiB
[startup+1362.3 s]
/proc/loadavg: 2.11 2.17 2.13 4/201 6724
/proc/meminfo: memFree=17168876/32770624 swapFree=66998676/67108860
[pid=6525] ppid=6522 vsize=14308144 memory=14166976 CPUtime=1362.26 cores=0,2,4,6
/proc/6525/stat : 6525 (cosoco) R 6522 6525 2535 0 -1 4202496 3449463 0 0 0 135674 552 0 0 20 0 1 0 435321666 14651539456 3541744 33554432000 4194304 6211092 140737449067312 140737449040872 139828426562533 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 22056960 140737449075723 140737449075825 140737449075825 140737449078734 0
/proc/6525/statm: 3577036 3541744 819 493 0 3570341 0
Current children cumulated CPU time: 1362.26 s
Current children cumulated vsize: 14308144 KiB
Current children cumulated memory: 14166976 KiB
[startup+1422.3 s]
/proc/loadavg: 2.11 2.16 2.13 3/201 6754
/proc/meminfo: memFree=16544116/32770624 swapFree=66998688/67108860
[pid=6525] ppid=6522 vsize=14912968 memory=14792256 CPUtime=1422.24 cores=0,2,4,6
/proc/6525/stat : 6525 (cosoco) R 6522 6525 2535 0 -1 4202496 3600938 0 0 0 141645 579 0 0 20 0 1 0 435321666 15270879232 3698064 33554432000 4194304 6211092 140737449067312 140737449040872 5454176 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 22056960 140737449075723 140737449075825 140737449075825 140737449078734 0
/proc/6525/statm: 3728242 3698064 819 493 0 3721547 0
Current children cumulated CPU time: 1422.24 s
Current children cumulated vsize: 14912968 KiB
Current children cumulated memory: 14792256 KiB
[startup+1482.3 s]
/proc/loadavg: 2.04 2.13 2.13 3/202 6760
/proc/meminfo: memFree=15916772/32770624 swapFree=66998688/67108860
[pid=6525] ppid=6522 vsize=15517660 memory=15415488 CPUtime=1482.22 cores=0,2,4,6
/proc/6525/stat : 6525 (cosoco) R 6522 6525 2535 0 -1 4202496 3752389 0 0 0 147608 614 0 0 20 0 1 0 435321666 15890083840 3853872 33554432000 4194304 6211092 140737449067312 140737449040872 139828427486426 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 22056960 140737449075723 140737449075825 140737449075825 140737449078734 0
/proc/6525/statm: 3879415 3853872 819 493 0 3872720 0
Current children cumulated CPU time: 1482.22 s
Current children cumulated vsize: 15517660 KiB
Current children cumulated memory: 15415488 KiB
Maximum VSize exceeded: sending SIGTERM then SIGKILL
[startup+1517.5 s]
/proc/loadavg: 2.02 2.12 2.12 3/201 6761
/proc/meminfo: memFree=15551352/32770624 swapFree=66998688/67108860
[pid=6525] ppid=6522 vsize=15872080 memory=15782208 CPUtime=1517.42 cores=0,2,4,6
/proc/6525/stat : 6525 (cosoco) R 6522 6525 2535 0 -1 4202496 3841141 0 0 0 151105 637 0 0 20 0 1 0 435321666 16253009920 3945552 33554432000 4194304 6211092 140737449067312 140737449040872 139828427483060 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 22056960 140737449075723 140737449075825 140737449075825 140737449078734 0
/proc/6525/statm: 3968020 3945552 819 493 0 3961325 0
Current children cumulated CPU time: 1517.42 s
Current children cumulated vsize: 15872080 KiB
Current children cumulated memory: 15782208 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
??? end of watcher thread
[startup+1520.34 s]
# the end of solver process 6525 was just reported to runsolver
# cumulated CPU time of all completed processes: user=1511.47 s, system=7.25742 s
Solver just ended.
Dumping a history of the last processes samples
[startup+1518.4 s]
/proc/loadavg: 2.02 2.12 2.12 4/202 6762
/proc/meminfo: memFree=15280644/32770624 swapFree=66998688/67108860
[pid=6525] ppid=6522 vsize=15872080 memory=15782208 CPUtime=1517.63 cores=0,2,4,6
/proc/6525/stat : 6525 (cosoco) S 6522 6525 2535 0 -1 512 3841145 0 0 0 151124 639 0 0 20 0 1 0 435321666 16253009920 3945552 33554432000 4194304 6211092 140737449067312 140737449040872 5189768 0 16384 4096 8405026 18446744071580971376 0 0 17 0 0 0 0 0 0 8312316 8317760 22056960 140737449075723 140737449075825 140737449075825 140737449078734 0
/proc/6525/statm: 3968020 3945552 819 493 0 3961325 0
Current children cumulated CPU time: 1517.63 s
Current children cumulated vsize: 15872080 KiB
Current children cumulated memory: 15782208 KiB
[startup+1519.2 s]
/proc/loadavg: 2.02 2.12 2.12 3/202 6762
/proc/meminfo: memFree=14737524/32770624 swapFree=66998688/67108860
[pid=6525] ppid=6522 vsize=15872080 memory=15782208 CPUtime=1517.82 cores=0,2,4,6
/proc/6525/stat : 6525 (cosoco) S 6522 6525 2535 0 -1 512 3841145 0 0 0 151141 641 0 0 20 0 1 0 435321666 16253009920 3945552 33554432000 4194304 6211092 140737449067312 140737449040872 5189768 0 16384 4096 8405026 0 0 0 17 0 0 0 0 0 0 8312316 8317760 22056960 140737449075723 140737449075825 140737449075825 140737449078734 0
/proc/6525/statm: 3968020 3945552 819 493 0 3961325 0
Current children cumulated CPU time: 1517.82 s
Current children cumulated vsize: 15872080 KiB
Current children cumulated memory: 15782208 KiB
[startup+1519.4 s]
/proc/loadavg: 2.02 2.12 2.12 3/202 6762
/proc/meminfo: memFree=14737524/32770624 swapFree=66998688/67108860
[pid=6525] ppid=6522 vsize=15872080 memory=15782208 CPUtime=1517.87 cores=0,2,4,6
/proc/6525/stat : 6525 (cosoco) S 6522 6525 2535 0 -1 512 3841145 0 0 0 151146 641 0 0 20 0 1 0 435321666 16253009920 3945552 33554432000 4194304 6211092 140737449067312 140737449040872 5189768 0 16384 4096 8405026 18446744071580971376 0 0 17 2 0 0 0 0 0 8312316 8317760 22056960 140737449075723 140737449075825 140737449075825 140737449078734 0
/proc/6525/statm: 3968020 3945552 819 493 0 3961325 0
Current children cumulated CPU time: 1517.87 s
Current children cumulated vsize: 15872080 KiB
Current children cumulated memory: 15782208 KiB
[startup+1519.5 s]
/proc/loadavg: 2.02 2.12 2.12 3/202 6762
/proc/meminfo: memFree=14737524/32770624 swapFree=66998688/67108860
[pid=6525] ppid=6522 vsize=15872080 memory=15782208 CPUtime=1517.88 cores=0,2,4,6
/proc/6525/stat : 6525 (cosoco) R 6522 6525 2535 0 -1 512 3841145 0 0 0 151147 641 0 0 20 0 1 0 435321666 16253009920 3945552 33554432000 4194304 6211092 140737449067312 140737449040872 5189768 0 16384 4096 8405026 18446744071580971376 0 0 17 2 0 0 0 0 0 8312316 8317760 22056960 140737449075723 140737449075825 140737449075825 140737449078734 0
/proc/6525/statm: 3968020 3945552 819 493 0 3961325 0
Current children cumulated CPU time: 1517.88 s
Current children cumulated vsize: 15872080 KiB
Current children cumulated memory: 15782208 KiB
Child ended because it received signal 9 (SIGKILL)
Real time (s): 1520.34
CPU time (s): 1518.73
CPU user time (s): 1511.47
CPU system time (s): 7.25742
CPU usage (%): 99.8941
Max. virtual memory (cumulated for all children) (KiB): 15872080
Max. memory (cumulated for all children) (KiB): 15782208
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1511.47
system time used= 7.25742
maximum resident set size= 15782252
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3841145
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= 124051
involuntary context switches= 1656
# summary of solver processes directly reported to runsolver:
# pid: 6525
# total CPU time (s): 1518.73
# total CPU user time (s): 1511.47
# total CPU system time (s): 7.25742
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.49948 second user time and 10.4736 second system time
The end