runsolver Copyright (C) 2010-2013 Olivier ROUSSEL
This is runsolver version 3.3.7 (svn: 2553)
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.
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4268176-1502549629/watcher-4268176-1502549629 -o /tmp/evaluation-result-4268176-1502549629/solver-4268176-1502549629 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node132-1502500306-27513 --watchdog 2580 cosoco -lc -model -restarts HOME/instance-4268176-1502549629.xml
pid=5579
running on 4 cores: 0,2,4,6
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
Current StackSize limit: 8192 KiB
[startup+0 s]
/proc/loadavg: 2.00 2.01 2.04 2/183 5582
/proc/meminfo: memFree=31088680/32770624 swapFree=0/474428
[pid=5582] ppid=5579 vsize=23672 CPUtime=0 cores=0,2,4,6
/proc/5582/stat : 5582 (runsolver) D 5579 5582 27450 0 -1 4202560 107 0 0 0 0 0 0 0 20 0 1 0 154615660 24240128 108 18446744073709551615 4194304 4338465 140724701482720 140724701480360 140283878228695 0 0 1 24578 18446744071580418449 0 0 17 2 0 0 0 0 0 6438912 6441760 38797312 140724701491393 140724701491785 140724701491785 140724701495242 0
/proc/5582/statm: 5918 108 54 36 0 2156 0
[startup+0.100622 s]
/proc/loadavg: 2.00 2.01 2.04 2/183 5582
/proc/meminfo: memFree=31088680/32770624 swapFree=0/474428
[pid=5582] ppid=5579 vsize=34328 CPUtime=0.04 cores=0,2,4,6
/proc/5582/stat : 5582 (cosoco) R 5579 5582 27450 0 -1 4202496 2832 0 0 0 4 0 0 0 20 0 1 0 154615660 35151872 2653 18446744073709551615 4194304 5972588 140729146941808 140729146935528 5471948 0 0 1 0 0 0 0 17 6 0 0 5 0 0 8070896 8075904 39829504 140729146950126 140729146950221 140729146950221 140729146953678 0
/proc/5582/statm: 8582 2653 741 435 0 1945 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 34328
[startup+0.200624 s]
/proc/loadavg: 2.00 2.01 2.04 2/183 5582
/proc/meminfo: memFree=31088680/32770624 swapFree=0/474428
[pid=5582] ppid=5579 vsize=36916 CPUtime=0.14 cores=0,2,4,6
/proc/5582/stat : 5582 (cosoco) R 5579 5582 27450 0 -1 4202496 3485 0 0 0 14 0 0 0 20 0 1 0 154615660 37801984 3313 18446744073709551615 4194304 5972588 140729146941808 140729146939032 5328506 0 0 1 8405026 0 0 0 17 6 0 0 5 0 0 8070896 8075904 39829504 140729146950126 140729146950221 140729146950221 140729146953678 0
/proc/5582/statm: 9229 3313 758 435 0 2592 0
Current children cumulated CPU time (s) 0.14
Current children cumulated vsize (KiB) 36916
[startup+0.300625 s]
/proc/loadavg: 2.00 2.01 2.04 2/183 5582
/proc/meminfo: memFree=31088680/32770624 swapFree=0/474428
[pid=5582] ppid=5579 vsize=38768 CPUtime=0.24 cores=0,2,4,6
/proc/5582/stat : 5582 (cosoco) R 5579 5582 27450 0 -1 4202496 3956 0 0 0 24 0 0 0 20 0 1 0 154615660 39698432 3775 18446744073709551615 4194304 5972588 140729146941808 140729146938744 5099664 0 0 1 8405026 0 0 0 17 6 0 0 5 0 0 8070896 8075904 39829504 140729146950126 140729146950221 140729146950221 140729146953678 0
/proc/5582/statm: 9692 3775 776 435 0 3055 0
Current children cumulated CPU time (s) 0.24
Current children cumulated vsize (KiB) 38768
[startup+0.700332 s]
/proc/loadavg: 2.00 2.01 2.04 2/183 5582
/proc/meminfo: memFree=31088680/32770624 swapFree=0/474428
[pid=5582] ppid=5579 vsize=143252 CPUtime=0.63 cores=0,2,4,6
/proc/5582/stat : 5582 (cosoco) R 5579 5582 27450 0 -1 4202496 29401 0 0 0 59 4 0 0 20 0 1 0 154615660 146690048 29185 18446744073709551615 4194304 5972588 140729146941808 140729146938744 5338181 0 0 1 8405026 0 0 0 17 4 0 0 5 0 0 8070896 8075904 39829504 140729146950126 140729146950221 140729146950221 140729146953678 0
/proc/5582/statm: 35813 29185 776 435 0 29176 0
Current children cumulated CPU time (s) 0.63
Current children cumulated vsize (KiB) 143252
[startup+1.50032 s]
/proc/loadavg: 2.00 2.01 2.04 3/184 5583
/proc/meminfo: memFree=30941520/32770624 swapFree=0/474440
[pid=5582] ppid=5579 vsize=201980 CPUtime=1.44 cores=0,2,4,6
/proc/5582/stat : 5582 (cosoco) R 5579 5582 27450 0 -1 4202496 42817 0 0 0 137 7 0 0 20 0 1 0 154615660 206827520 42617 18446744073709551615 4194304 5972588 140729146941808 140729146939112 5139291 0 0 1 8405026 0 0 0 17 4 0 0 5 0 0 8070896 8075904 39829504 140729146950126 140729146950221 140729146950221 140729146953678 0
/proc/5582/statm: 50495 42617 778 435 0 43858 0
Current children cumulated CPU time (s) 1.44
Current children cumulated vsize (KiB) 201980
[startup+3.1003 s]
/proc/loadavg: 2.00 2.01 2.04 3/184 5583
/proc/meminfo: memFree=30905840/32770624 swapFree=0/474440
[pid=5582] ppid=5579 vsize=225108 CPUtime=3.04 cores=0,2,4,6
/proc/5582/stat : 5582 (cosoco) R 5579 5582 27450 0 -1 4202496 69643 0 0 0 296 8 0 0 20 0 1 0 154615660 230510592 48031 18446744073709551615 4194304 5972588 140729146941808 140729146939112 5046940 0 0 1 8405026 0 0 0 17 4 0 0 5 0 0 8070896 8075904 39829504 140729146950126 140729146950221 140729146950221 140729146953678 0
/proc/5582/statm: 56277 48031 778 435 0 49640 0
Current children cumulated CPU time (s) 3.04
Current children cumulated vsize (KiB) 225108
[startup+6.3003 s]
/proc/loadavg: 2.00 2.01 2.04 3/184 5583
/proc/meminfo: memFree=30895448/32770624 swapFree=0/474432
[pid=5582] ppid=5579 vsize=230256 CPUtime=6.24 cores=0,2,4,6
/proc/5582/stat : 5582 (cosoco) R 5579 5582 27450 0 -1 4202496 99507 0 0 0 613 11 0 0 20 0 1 0 154615660 235782144 49195 18446744073709551615 4194304 5972588 140729146941808 140729146938744 5094372 0 0 1 8405026 0 0 0 17 4 0 0 5 0 0 8070896 8075904 39829504 140729146950126 140729146950221 140729146950221 140729146953678 0
/proc/5582/statm: 57564 49195 778 435 0 50927 0
Current children cumulated CPU time (s) 6.24
Current children cumulated vsize (KiB) 230256
[startup+12.7003 s]
/proc/loadavg: 2.00 2.01 2.04 3/184 5583
/proc/meminfo: memFree=30892348/32770624 swapFree=0/474432
[pid=5582] ppid=5579 vsize=232616 CPUtime=12.64 cores=0,2,4,6
/proc/5582/stat : 5582 (cosoco) R 5579 5582 27450 0 -1 4202496 126658 0 0 0 1250 14 0 0 20 0 1 0 154615660 238198784 49722 18446744073709551615 4194304 5972588 140729146941808 140729146938616 5139312 0 0 1 8405026 0 0 0 17 4 0 0 5 0 0 8070896 8075904 39829504 140729146950126 140729146950221 140729146950221 140729146953678 0
/proc/5582/statm: 58154 49722 778 435 0 51517 0
Current children cumulated CPU time (s) 12.64
Current children cumulated vsize (KiB) 232616
[startup+25.5003 s]
/proc/loadavg: 2.00 2.01 2.04 3/184 5583
/proc/meminfo: memFree=30891728/32770624 swapFree=0/474432
[pid=5582] ppid=5579 vsize=233344 CPUtime=25.44 cores=0,2,4,6
/proc/5582/stat : 5582 (cosoco) R 5579 5582 27450 0 -1 4202496 155225 0 0 0 2528 16 0 0 20 0 1 0 154615660 238944256 49877 18446744073709551615 4194304 5972588 140729146941808 140729146938616 5338164 0 0 1 8405026 0 0 0 17 4 0 0 5 0 0 8070896 8075904 39829504 140729146950126 140729146950221 140729146950221 140729146953678 0
/proc/5582/statm: 58336 49877 778 435 0 51699 0
Current children cumulated CPU time (s) 25.44
Current children cumulated vsize (KiB) 233344
[startup+51.1003 s]
/proc/loadavg: 2.00 2.01 2.04 3/188 5599
/proc/meminfo: memFree=30884908/32770624 swapFree=0/474424
[pid=5582] ppid=5579 vsize=236312 CPUtime=51.03 cores=0,2,4,6
/proc/5582/stat : 5582 (cosoco) R 5579 5582 27450 0 -1 4202496 183581 0 0 0 5085 18 0 0 20 0 1 0 154615660 241983488 50558 18446744073709551615 4194304 5972588 140729146941808 140729146939112 5312315 0 0 1 8405026 0 0 0 17 4 0 0 5 0 0 8070896 8075904 39829504 140729146950126 140729146950221 140729146950221 140729146953678 0
/proc/5582/statm: 59078 50558 778 435 0 52441 0
Current children cumulated CPU time (s) 51.03
Current children cumulated vsize (KiB) 236312
[startup+102.3 s]
/proc/loadavg: 2.00 2.01 2.04 3/189 5602
/proc/meminfo: memFree=30882956/32770624 swapFree=0/474436
[pid=5582] ppid=5579 vsize=236312 CPUtime=102.22 cores=0,2,4,6
/proc/5582/stat : 5582 (cosoco) R 5579 5582 27450 0 -1 4202496 196149 0 0 0 10203 19 0 0 20 0 1 0 154615660 241983488 50813 18446744073709551615 4194304 5972588 140729146941808 140729146939112 5338173 0 0 1 8405026 0 0 0 17 0 0 0 5 0 0 8070896 8075904 39829504 140729146950126 140729146950221 140729146950221 140729146953678 0
/proc/5582/statm: 59078 50813 778 435 0 52441 0
Current children cumulated CPU time (s) 102.22
Current children cumulated vsize (KiB) 236312
[startup+162.3 s]
/proc/loadavg: 1.96 2.00 2.03 3/186 5604
/proc/meminfo: memFree=30877048/32770624 swapFree=0/474456
[pid=5582] ppid=5579 vsize=239624 CPUtime=162.21 cores=0,2,4,6
/proc/5582/stat : 5582 (cosoco) R 5579 5582 27450 0 -1 4202496 208900 0 0 0 16201 20 0 0 20 0 1 0 154615660 245374976 53269 18446744073709551615 4194304 5972588 140729146941808 140729146939112 5338181 0 0 1 8405026 0 0 0 17 4 0 0 5 0 0 8070896 8075904 39829504 140729146950126 140729146950221 140729146950221 140729146953678 0
/proc/5582/statm: 59906 53269 778 435 0 53269 0
Current children cumulated CPU time (s) 162.21
Current children cumulated vsize (KiB) 239624
[startup+222.306 s]
/proc/loadavg: 1.95 2.00 2.03 3/186 5606
/proc/meminfo: memFree=30874928/32770624 swapFree=0/474464
[pid=5582] ppid=5579 vsize=241056 CPUtime=222.2 cores=0,2,4,6
/proc/5582/stat : 5582 (cosoco) R 5579 5582 27450 0 -1 4202496 211758 0 0 0 22200 20 0 0 20 0 1 0 154615660 246841344 54048 18446744073709551615 4194304 5972588 140729146941808 140729146938616 5338173 0 0 1 8405026 0 0 0 17 4 0 0 5 0 0 8070896 8075904 39829504 140729146950126 140729146950221 140729146950221 140729146953678 0
/proc/5582/statm: 60264 54048 778 435 0 53627 0
Current children cumulated CPU time (s) 222.2
Current children cumulated vsize (KiB) 241056
[startup+282.3 s]
/proc/loadavg: 1.98 2.00 2.03 3/186 5608
/proc/meminfo: memFree=30874196/32770624 swapFree=0/474488
[pid=5582] ppid=5579 vsize=241056 CPUtime=282.19 cores=0,2,4,6
/proc/5582/stat : 5582 (cosoco) R 5579 5582 27450 0 -1 4202496 213603 0 0 0 28199 20 0 0 20 0 1 0 154615660 246841344 54103 18446744073709551615 4194304 5972588 140729146941808 140729146939112 5338181 0 0 1 8405026 0 0 0 17 0 0 0 5 0 0 8070896 8075904 39829504 140729146950126 140729146950221 140729146950221 140729146953678 0
/proc/5582/statm: 60264 54103 778 435 0 53627 0
Current children cumulated CPU time (s) 282.19
Current children cumulated vsize (KiB) 241056
[startup+342.3 s]
/proc/loadavg: 1.99 2.00 2.03 3/185 5610
/proc/meminfo: memFree=30872476/32770624 swapFree=0/474496
[pid=5582] ppid=5579 vsize=242364 CPUtime=342.19 cores=0,2,4,6
/proc/5582/stat : 5582 (cosoco) R 5579 5582 27450 0 -1 4202496 215797 0 0 0 34198 21 0 0 20 0 1 0 154615660 248180736 54472 18446744073709551615 4194304 5972588 140729146941808 140729146939112 5139312 0 0 1 8405026 0 0 0 17 4 0 0 5 0 0 8070896 8075904 39829504 140729146950126 140729146950221 140729146950221 140729146953678 0
/proc/5582/statm: 60591 54472 778 435 0 53954 0
Current children cumulated CPU time (s) 342.19
Current children cumulated vsize (KiB) 242364
[startup+402.3 s]
/proc/loadavg: 2.04 2.01 2.04 3/184 5612
/proc/meminfo: memFree=30871964/32770624 swapFree=0/474516
[pid=5582] ppid=5579 vsize=242364 CPUtime=402.19 cores=0,2,4,6
/proc/5582/stat : 5582 (cosoco) R 5579 5582 27450 0 -1 4202496 216645 0 0 0 40198 21 0 0 20 0 1 0 154615660 248180736 54656 18446744073709551615 4194304 5972588 140729146941808 140729146939112 5047707 0 0 1 8405026 0 0 0 17 4 0 0 5 0 0 8070896 8075904 39829504 140729146950126 140729146950221 140729146950221 140729146953678 0
/proc/5582/statm: 60591 54656 778 435 0 53954 0
Current children cumulated CPU time (s) 402.19
Current children cumulated vsize (KiB) 242364
[startup+462.3 s]
/proc/loadavg: 2.02 2.01 2.04 3/184 5614
/proc/meminfo: memFree=30871596/32770624 swapFree=0/474524
[pid=5582] ppid=5579 vsize=242364 CPUtime=462.18 cores=0,2,4,6
/proc/5582/stat : 5582 (cosoco) R 5579 5582 27450 0 -1 4202496 217575 0 0 0 46197 21 0 0 20 0 1 0 154615660 248180736 54661 18446744073709551615 4194304 5972588 140729146941808 140729146939112 5338173 0 0 1 8405026 0 0 0 17 4 0 0 5 0 0 8070896 8075904 39829504 140729146950126 140729146950221 140729146950221 140729146953678 0
/proc/5582/statm: 60591 54661 778 435 0 53954 0
Current children cumulated CPU time (s) 462.18
Current children cumulated vsize (KiB) 242364
[startup+522.3 s]
/proc/loadavg: 2.01 2.01 2.04 3/184 5616
/proc/meminfo: memFree=30871676/32770624 swapFree=0/474540
[pid=5582] ppid=5579 vsize=242364 CPUtime=522.18 cores=0,2,4,6
/proc/5582/stat : 5582 (cosoco) R 5579 5582 27450 0 -1 4202496 218632 0 0 0 52197 21 0 0 20 0 1 0 154615660 248180736 54674 18446744073709551615 4194304 5972588 140729146941808 140729146939112 5338144 0 0 1 8405026 0 0 0 17 4 0 0 5 0 0 8070896 8075904 39829504 140729146950126 140729146950221 140729146950221 140729146953678 0
/proc/5582/statm: 60591 54674 778 435 0 53954 0
Current children cumulated CPU time (s) 522.18
Current children cumulated vsize (KiB) 242364
[startup+582.3 s]
/proc/loadavg: 2.00 2.01 2.04 3/184 5618
/proc/meminfo: memFree=30871804/32770624 swapFree=0/474548
[pid=5582] ppid=5579 vsize=242364 CPUtime=582.17 cores=0,2,4,6
/proc/5582/stat : 5582 (cosoco) R 5579 5582 27450 0 -1 4202496 219692 0 0 0 58196 21 0 0 20 0 1 0 154615660 248180736 54674 18446744073709551615 4194304 5972588 140729146941808 140729146939112 5139312 0 0 1 8405026 0 0 0 17 4 0 0 5 0 0 8070896 8075904 39829504 140729146950126 140729146950221 140729146950221 140729146953678 0
/proc/5582/statm: 60591 54674 778 435 0 53954 0
Current children cumulated CPU time (s) 582.17
Current children cumulated vsize (KiB) 242364
################
# More data... #
################
[startup+1602.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/184 5771
/proc/meminfo: memFree=30872412/32770624 swapFree=0/474756
[pid=5582] ppid=5579 vsize=243576 CPUtime=1602.1 cores=0,2,4,6
/proc/5582/stat : 5582 (cosoco) R 5579 5582 27450 0 -1 4202496 230248 0 0 0 160188 22 0 0 20 0 1 0 154615660 249421824 54892 18446744073709551615 4194304 5972588 140729146941808 140729146939112 5139312 0 0 1 8405026 0 0 0 17 4 0 0 5 0 0 8070896 8075904 39829504 140729146950126 140729146950221 140729146950221 140729146953678 0
/proc/5582/statm: 60894 54892 778 435 0 54257 0
Current children cumulated CPU time (s) 1602.1
Current children cumulated vsize (KiB) 243576
[startup+1662.3 s]
/proc/loadavg: 2.05 2.03 2.05 3/185 5774
/proc/meminfo: memFree=30872552/32770624 swapFree=0/474764
[pid=5582] ppid=5579 vsize=243576 CPUtime=1662.09 cores=0,2,4,6
/proc/5582/stat : 5582 (cosoco) R 5579 5582 27450 0 -1 4202496 230418 0 0 0 166187 22 0 0 20 0 1 0 154615660 249421824 54892 18446744073709551615 4194304 5972588 140729146941808 140729146939112 5338185 0 0 1 8405026 0 0 0 17 4 0 0 5 0 0 8070896 8075904 39829504 140729146950126 140729146950221 140729146950221 140729146953678 0
/proc/5582/statm: 60894 54892 778 435 0 54257 0
Current children cumulated CPU time (s) 1662.09
Current children cumulated vsize (KiB) 243576
[startup+1722.3 s]
/proc/loadavg: 2.02 2.02 2.05 3/185 5776
/proc/meminfo: memFree=30872556/32770624 swapFree=0/474772
[pid=5582] ppid=5579 vsize=243576 CPUtime=1722.09 cores=0,2,4,6
/proc/5582/stat : 5582 (cosoco) R 5579 5582 27450 0 -1 4202496 231451 0 0 0 172187 22 0 0 20 0 1 0 154615660 249421824 54892 18446744073709551615 4194304 5972588 140729146941808 140729146939112 5046135 0 0 1 8405026 0 0 0 17 4 0 0 5 0 0 8070896 8075904 39829504 140729146950126 140729146950221 140729146950221 140729146953678 0
/proc/5582/statm: 60894 54892 778 435 0 54257 0
Current children cumulated CPU time (s) 1722.09
Current children cumulated vsize (KiB) 243576
[startup+1782.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/185 5778
/proc/meminfo: memFree=30872320/32770624 swapFree=0/474788
[pid=5582] ppid=5579 vsize=243576 CPUtime=1782.08 cores=0,2,4,6
/proc/5582/stat : 5582 (cosoco) R 5579 5582 27450 0 -1 4202496 231600 0 0 0 178186 22 0 0 20 0 1 0 154615660 249421824 54892 18446744073709551615 4194304 5972588 140729146941808 140729146939112 5139312 0 0 1 8405026 0 0 0 17 4 0 0 5 0 0 8070896 8075904 39829504 140729146950126 140729146950221 140729146950221 140729146953678 0
/proc/5582/statm: 60894 54892 778 435 0 54257 0
Current children cumulated CPU time (s) 1782.08
Current children cumulated vsize (KiB) 243576
[startup+1842.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 5794
/proc/meminfo: memFree=30865576/32770624 swapFree=0/474800
[pid=5582] ppid=5579 vsize=243716 CPUtime=1842.08 cores=0,2,4,6
/proc/5582/stat : 5582 (cosoco) R 5579 5582 27450 0 -1 4202496 231881 0 0 0 184186 22 0 0 20 0 1 0 154615660 249565184 54923 18446744073709551615 4194304 5972588 140729146941808 140729146938744 5312304 0 0 1 8405026 0 0 0 17 4 0 0 5 0 0 8070896 8075904 39829504 140729146950126 140729146950221 140729146950221 140729146953678 0
/proc/5582/statm: 60929 54923 778 435 0 54292 0
Current children cumulated CPU time (s) 1842.08
Current children cumulated vsize (KiB) 243716
[startup+1902.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 5796
/proc/meminfo: memFree=30866736/32770624 swapFree=0/474828
[pid=5582] ppid=5579 vsize=243716 CPUtime=1902.07 cores=0,2,4,6
/proc/5582/stat : 5582 (cosoco) R 5579 5582 27450 0 -1 4202496 233258 0 0 0 190185 22 0 0 20 0 1 0 154615660 249565184 54930 18446744073709551615 4194304 5972588 140729146941808 140729146939112 5312315 0 0 1 8405026 0 0 0 17 4 0 0 5 0 0 8070896 8075904 39829504 140729146950126 140729146950221 140729146950221 140729146953678 0
/proc/5582/statm: 60929 54930 778 435 0 54292 0
Current children cumulated CPU time (s) 1902.07
Current children cumulated vsize (KiB) 243716
[startup+1962.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/184 5798
/proc/meminfo: memFree=30870364/32770624 swapFree=0/474840
[pid=5582] ppid=5579 vsize=243716 CPUtime=1962.07 cores=0,2,4,6
/proc/5582/stat : 5582 (cosoco) R 5579 5582 27450 0 -1 4202496 233399 0 0 0 196185 22 0 0 20 0 1 0 154615660 249565184 54930 18446744073709551615 4194304 5972588 140729146941808 140729146939112 5338177 0 0 1 8405026 0 0 0 17 4 0 0 5 0 0 8070896 8075904 39829504 140729146950126 140729146950221 140729146950221 140729146953678 0
/proc/5582/statm: 60929 54930 778 435 0 54292 0
Current children cumulated CPU time (s) 1962.07
Current children cumulated vsize (KiB) 243716
[startup+2022.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/184 5800
/proc/meminfo: memFree=30870884/32770624 swapFree=0/474852
[pid=5582] ppid=5579 vsize=243716 CPUtime=2022.06 cores=0,2,4,6
/proc/5582/stat : 5582 (cosoco) R 5579 5582 27450 0 -1 4202496 234202 0 0 0 202184 22 0 0 20 0 1 0 154615660 249565184 54930 18446744073709551615 4194304 5972588 140729146941808 140729146939112 5338173 0 0 1 8405026 0 0 0 17 4 0 0 5 0 0 8070896 8075904 39829504 140729146950126 140729146950221 140729146950221 140729146953678 0
/proc/5582/statm: 60929 54930 778 435 0 54292 0
Current children cumulated CPU time (s) 2022.06
Current children cumulated vsize (KiB) 243716
[startup+2082.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/184 5802
/proc/meminfo: memFree=30870948/32770624 swapFree=0/474864
[pid=5582] ppid=5579 vsize=243716 CPUtime=2082.06 cores=0,2,4,6
/proc/5582/stat : 5582 (cosoco) R 5579 5582 27450 0 -1 4202496 234455 0 0 0 208184 22 0 0 20 0 1 0 154615660 249565184 54930 18446744073709551615 4194304 5972588 140729146941808 140729146939112 5338173 0 0 1 8405026 0 0 0 17 4 0 0 5 0 0 8070896 8075904 39829504 140729146950126 140729146950221 140729146950221 140729146953678 0
/proc/5582/statm: 60929 54930 778 435 0 54292 0
Current children cumulated CPU time (s) 2082.06
Current children cumulated vsize (KiB) 243716
[startup+2142.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/185 5805
/proc/meminfo: memFree=30871184/32770624 swapFree=0/474888
[pid=5582] ppid=5579 vsize=243716 CPUtime=2142.05 cores=0,2,4,6
/proc/5582/stat : 5582 (cosoco) R 5579 5582 27450 0 -1 4202496 234586 0 0 0 214183 22 0 0 20 0 1 0 154615660 249565184 54930 18446744073709551615 4194304 5972588 140729146941808 140729146939112 5338173 0 0 1 8405026 0 0 0 17 0 0 0 5 0 0 8070896 8075904 39829504 140729146950126 140729146950221 140729146950221 140729146953678 0
/proc/5582/statm: 60929 54930 778 435 0 54292 0
Current children cumulated CPU time (s) 2142.05
Current children cumulated vsize (KiB) 243716
[startup+2202.31 s]
/proc/loadavg: 2.02 2.01 2.05 3/185 5807
/proc/meminfo: memFree=30871524/32770624 swapFree=0/474892
[pid=5582] ppid=5579 vsize=243716 CPUtime=2202.05 cores=0,2,4,6
/proc/5582/stat : 5582 (cosoco) R 5579 5582 27450 0 -1 4202496 234717 0 0 0 220183 22 0 0 20 0 1 0 154615660 249565184 54930 18446744073709551615 4194304 5972588 140729146941808 140729146939112 5338173 0 0 1 8405026 0 0 0 17 4 0 0 5 0 0 8070896 8075904 39829504 140729146950126 140729146950221 140729146950221 140729146953678 0
/proc/5582/statm: 60929 54930 778 435 0 54292 0
Current children cumulated CPU time (s) 2202.05
Current children cumulated vsize (KiB) 243716
[startup+2262.3 s]
/proc/loadavg: 2.08 2.03 2.05 3/185 5809
/proc/meminfo: memFree=30871404/32770624 swapFree=0/474896
[pid=5582] ppid=5579 vsize=243716 CPUtime=2262.04 cores=0,2,4,6
/proc/5582/stat : 5582 (cosoco) R 5579 5582 27450 0 -1 4202496 235370 0 0 0 226182 22 0 0 20 0 1 0 154615660 249565184 54930 18446744073709551615 4194304 5972588 140729146941808 140729146939112 5045825 0 0 1 8405026 0 0 0 17 4 0 0 5 0 0 8070896 8075904 39829504 140729146950126 140729146950221 140729146950221 140729146953678 0
/proc/5582/statm: 60929 54930 778 435 0 54292 0
Current children cumulated CPU time (s) 2262.04
Current children cumulated vsize (KiB) 243716
[startup+2322.3 s]
/proc/loadavg: 2.03 2.02 2.05 3/185 5811
/proc/meminfo: memFree=30871620/32770624 swapFree=0/474900
[pid=5582] ppid=5579 vsize=243716 CPUtime=2322.04 cores=0,2,4,6
/proc/5582/stat : 5582 (cosoco) R 5579 5582 27450 0 -1 4202496 235780 0 0 0 232182 22 0 0 20 0 1 0 154615660 249565184 54930 18446744073709551615 4194304 5972588 140729146941808 140729146939112 5312315 0 0 1 8405026 0 0 0 17 4 0 0 5 0 0 8070896 8075904 39829504 140729146950126 140729146950221 140729146950221 140729146953678 0
/proc/5582/statm: 60929 54930 778 435 0 54292 0
Current children cumulated CPU time (s) 2322.04
Current children cumulated vsize (KiB) 243716
[startup+2382.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/185 5813
/proc/meminfo: memFree=30870756/32770624 swapFree=0/474912
[pid=5582] ppid=5579 vsize=243716 CPUtime=2382.04 cores=0,2,4,6
/proc/5582/stat : 5582 (cosoco) R 5579 5582 27450 0 -1 4202496 235935 0 0 0 238182 22 0 0 20 0 1 0 154615660 249565184 54930 18446744073709551615 4194304 5972588 140729146941808 140729146939112 5338177 0 0 1 8405026 0 0 0 17 4 0 0 5 0 0 8070896 8075904 39829504 140729146950126 140729146950221 140729146950221 140729146953678 0
/proc/5582/statm: 60929 54930 778 435 0 54292 0
Current children cumulated CPU time (s) 2382.04
Current children cumulated vsize (KiB) 243716
[startup+2442.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 5830
/proc/meminfo: memFree=30866828/32770624 swapFree=0/474900
[pid=5582] ppid=5579 vsize=243716 CPUtime=2442.03 cores=0,2,4,6
/proc/5582/stat : 5582 (cosoco) R 5579 5582 27450 0 -1 4202496 236657 0 0 0 244181 22 0 0 20 0 1 0 154615660 249565184 54930 18446744073709551615 4194304 5972588 140729146941808 140729146939112 5338181 0 0 1 8405026 0 0 0 17 4 0 0 5 0 0 8070896 8075904 39829504 140729146950126 140729146950221 140729146950221 140729146953678 0
/proc/5582/statm: 60929 54930 778 435 0 54292 0
Current children cumulated CPU time (s) 2442.03
Current children cumulated vsize (KiB) 243716
[startup+2502.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 5832
/proc/meminfo: memFree=30867048/32770624 swapFree=0/474916
[pid=5582] ppid=5579 vsize=243716 CPUtime=2502.03 cores=0,2,4,6
/proc/5582/stat : 5582 (cosoco) R 5579 5582 27450 0 -1 4202496 236829 0 0 0 250181 22 0 0 20 0 1 0 154615660 249565184 54930 18446744073709551615 4194304 5972588 140729146941808 140729146939112 5046712 0 0 1 8405026 0 0 0 17 4 0 0 5 0 0 8070896 8075904 39829504 140729146950126 140729146950221 140729146950221 140729146953678 0
/proc/5582/statm: 60929 54930 778 435 0 54292 0
Current children cumulated CPU time (s) 2502.03
Current children cumulated vsize (KiB) 243716
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+2520 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 5832
/proc/meminfo: memFree=30867296/32770624 swapFree=0/474920
[pid=5582] ppid=5579 vsize=243716 CPUtime=2519.73 cores=0,2,4,6
/proc/5582/stat : 5582 (cosoco) R 5579 5582 27450 0 -1 4202496 236971 0 0 0 251951 22 0 0 20 0 1 0 154615660 249565184 54930 18446744073709551615 4194304 5972588 140729146941808 140729146939112 5338173 0 0 1 8405026 0 0 0 17 4 0 0 5 0 0 8070896 8075904 39829504 140729146950126 140729146950221 140729146950221 140729146953678 0
/proc/5582/statm: 60929 54930 778 435 0 54292 0
Current children cumulated CPU time (s) 2519.73
Current children cumulated vsize (KiB) 243716
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 5582 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 1
Real time (s): 2520
CPU time (s): 2519.74
CPU user time (s): 2519.51
CPU system time (s): 0.229983
CPU usage (%): 99.9896
Max. virtual memory (cumulated for all children) (KiB): 243716
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2519.51
system time used= 0.229983
maximum resident set size= 219796
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 237024
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= 54
involuntary context switches= 4195
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.97743 second user time and 9.07882 second system time
The end