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-4267714-1502549092/watcher-4267714-1502549092 -o /tmp/evaluation-result-4267714-1502549092/solver-4267714-1502549092 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node127-1502500309-6741 --watchdog 2580 cosoco -lc -model -restarts HOME/instance-4267714-1502549092.xml
pid=15519
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
Current StackSize limit: 8192 KiB
[startup+0 s]
/proc/loadavg: 2.01 2.03 2.05 3/183 15522
/proc/meminfo: memFree=28844148/32770624 swapFree=0/563900
[pid=15522] ppid=15519 vsize=23672 CPUtime=0 cores=1,3,5,7
/proc/15522/stat : 15522 (runsolver) D 15519 15522 6677 0 -1 4202560 107 0 0 0 0 0 0 0 20 0 1 0 57102572 24240128 108 18446744073709551615 4194304 4338465 140734916194304 140734916191944 140457463481047 0 0 1 24578 18446744071580418449 0 0 17 3 0 0 0 0 0 6438912 6441760 7016448 140734916202690 140734916203081 140734916203081 140734916206538 0
/proc/15522/statm: 5918 108 54 36 0 2156 0
[startup+0.100752 s]
/proc/loadavg: 2.01 2.03 2.05 3/183 15522
/proc/meminfo: memFree=28844148/32770624 swapFree=0/563900
[pid=15522] ppid=15519 vsize=29100 CPUtime=0.03 cores=1,3,5,7
/proc/15522/stat : 15522 (cosoco) R 15519 15522 6677 0 -1 4202496 1527 0 0 0 3 0 0 0 20 0 1 0 57102572 29798400 1310 18446744073709551615 4194304 5972588 140725181007216 140725181000936 5635598 0 0 1 0 0 0 0 17 7 0 0 5 0 0 8070896 8075904 14680064 140725181010414 140725181010509 140725181010509 140725181013966 0
/proc/15522/statm: 7275 1310 744 435 0 638 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 29100
[startup+0.20075 s]
/proc/loadavg: 2.01 2.03 2.05 3/183 15522
/proc/meminfo: memFree=28844148/32770624 swapFree=0/563900
[pid=15522] ppid=15519 vsize=30024 CPUtime=0.13 cores=1,3,5,7
/proc/15522/stat : 15522 (cosoco) R 15519 15522 6677 0 -1 4202496 1796 0 0 0 13 0 0 0 20 0 1 0 57102572 30744576 1637 18446744073709551615 4194304 5972588 140725181007216 140725180994424 5048024 0 0 1 8405026 0 0 0 17 7 0 0 5 0 0 8070896 8075904 14680064 140725181010414 140725181010509 140725181010509 140725181013966 0
/proc/15522/statm: 7506 1637 779 435 0 869 0
Current children cumulated CPU time (s) 0.13
Current children cumulated vsize (KiB) 30024
[startup+0.300752 s]
/proc/loadavg: 2.01 2.03 2.05 3/183 15522
/proc/meminfo: memFree=28844148/32770624 swapFree=0/563900
[pid=15522] ppid=15519 vsize=30024 CPUtime=0.23 cores=1,3,5,7
/proc/15522/stat : 15522 (cosoco) R 15519 15522 6677 0 -1 4202496 1798 0 0 0 23 0 0 0 20 0 1 0 57102572 30744576 1637 18446744073709551615 4194304 5972588 140725181007216 140725180994424 5046284 0 0 1 8405026 0 0 0 17 7 0 0 5 0 0 8070896 8075904 14680064 140725181010414 140725181010509 140725181010509 140725181013966 0
/proc/15522/statm: 7506 1637 779 435 0 869 0
Current children cumulated CPU time (s) 0.23
Current children cumulated vsize (KiB) 30024
[startup+0.700248 s]
/proc/loadavg: 2.01 2.03 2.05 3/183 15522
/proc/meminfo: memFree=28844148/32770624 swapFree=0/563900
[pid=15522] ppid=15519 vsize=37296 CPUtime=0.63 cores=1,3,5,7
/proc/15522/stat : 15522 (cosoco) R 15519 15522 6677 0 -1 4202496 3598 0 0 0 63 0 0 0 20 0 1 0 57102572 38191104 3419 18446744073709551615 4194304 5972588 140725181007216 140725180994424 5039335 0 0 1 8405026 0 0 0 17 1 0 0 5 0 0 8070896 8075904 14680064 140725181010414 140725181010509 140725181010509 140725181013966 0
/proc/15522/statm: 9324 3419 780 435 0 2687 0
Current children cumulated CPU time (s) 0.63
Current children cumulated vsize (KiB) 37296
[startup+1.50022 s]
/proc/loadavg: 2.01 2.03 2.05 3/184 15523
/proc/meminfo: memFree=28834220/32770624 swapFree=0/563900
[pid=15522] ppid=15519 vsize=37696 CPUtime=1.43 cores=1,3,5,7
/proc/15522/stat : 15522 (cosoco) R 15519 15522 6677 0 -1 4202496 3690 0 0 0 143 0 0 0 20 0 1 0 57102572 38600704 3485 18446744073709551615 4194304 5972588 140725181007216 140725180994424 5039231 0 0 1 8405026 0 0 0 17 1 0 0 5 0 0 8070896 8075904 14680064 140725181010414 140725181010509 140725181010509 140725181013966 0
/proc/15522/statm: 9424 3485 780 435 0 2787 0
Current children cumulated CPU time (s) 1.43
Current children cumulated vsize (KiB) 37696
[startup+3.10022 s]
/proc/loadavg: 2.01 2.03 2.05 3/184 15523
/proc/meminfo: memFree=28833476/32770624 swapFree=0/563900
[pid=15522] ppid=15519 vsize=41704 CPUtime=3.03 cores=1,3,5,7
/proc/15522/stat : 15522 (cosoco) R 15519 15522 6677 0 -1 4202496 5452 0 0 0 303 0 0 0 20 0 1 0 57102572 42704896 4546 18446744073709551615 4194304 5972588 140725181007216 140725181003832 5046712 0 0 1 8405026 0 0 0 17 1 0 0 5 0 0 8070896 8075904 14680064 140725181010414 140725181010509 140725181010509 140725181013966 0
/proc/15522/statm: 10426 4546 780 435 0 3789 0
Current children cumulated CPU time (s) 3.03
Current children cumulated vsize (KiB) 41704
[startup+6.30022 s]
/proc/loadavg: 1.93 2.01 2.04 3/184 15523
/proc/meminfo: memFree=28828268/32770624 swapFree=0/563900
[pid=15522] ppid=15519 vsize=43036 CPUtime=6.22 cores=1,3,5,7
/proc/15522/stat : 15522 (cosoco) R 15519 15522 6677 0 -1 4202496 11282 0 0 0 622 0 0 0 20 0 1 0 57102572 44068864 4890 18446744073709551615 4194304 5972588 140725181007216 140725181003832 5094372 0 0 1 8405026 0 0 0 17 1 0 0 5 0 0 8070896 8075904 14680064 140725181010414 140725181010509 140725181010509 140725181013966 0
/proc/15522/statm: 10759 4890 780 435 0 4122 0
Current children cumulated CPU time (s) 6.22
Current children cumulated vsize (KiB) 43036
[startup+12.7002 s]
/proc/loadavg: 1.94 2.01 2.04 3/184 15523
/proc/meminfo: memFree=28823796/32770624 swapFree=0/563900
[pid=15522] ppid=15519 vsize=44788 CPUtime=12.63 cores=1,3,5,7
/proc/15522/stat : 15522 (cosoco) R 15519 15522 6677 0 -1 4202496 15579 0 0 0 1262 1 0 0 20 0 1 0 57102572 45862912 5323 18446744073709551615 4194304 5972588 140725181007216 140725181003832 5046284 0 0 1 8405026 0 0 0 17 1 0 0 5 0 0 8070896 8075904 14680064 140725181010414 140725181010509 140725181010509 140725181013966 0
/proc/15522/statm: 11197 5323 780 435 0 4560 0
Current children cumulated CPU time (s) 12.63
Current children cumulated vsize (KiB) 44788
[startup+25.5003 s]
/proc/loadavg: 1.95 2.01 2.04 3/184 15523
/proc/meminfo: memFree=28819904/32770624 swapFree=0/563656
[pid=15522] ppid=15519 vsize=45324 CPUtime=25.43 cores=1,3,5,7
/proc/15522/stat : 15522 (cosoco) R 15519 15522 6677 0 -1 4202496 21978 0 0 0 2542 1 0 0 20 0 1 0 57102572 46411776 5442 18446744073709551615 4194304 5972588 140725181007216 140725181003832 5139319 0 0 1 8405026 0 0 0 17 1 0 0 5 0 0 8070896 8075904 14680064 140725181010414 140725181010509 140725181010509 140725181013966 0
/proc/15522/statm: 11331 5442 780 435 0 4694 0
Current children cumulated CPU time (s) 25.43
Current children cumulated vsize (KiB) 45324
[startup+51.1003 s]
/proc/loadavg: 1.97 2.01 2.04 3/184 15524
/proc/meminfo: memFree=28813760/32770624 swapFree=0/563648
[pid=15522] ppid=15519 vsize=45592 CPUtime=51.03 cores=1,3,5,7
/proc/15522/stat : 15522 (cosoco) R 15519 15522 6677 0 -1 4202496 26463 0 0 0 5102 1 0 0 20 0 1 0 57102572 46686208 5513 18446744073709551615 4194304 5972588 140725181007216 140725181003832 5039600 0 0 1 8405026 0 0 0 17 1 0 0 5 0 0 8070896 8075904 14680064 140725181010414 140725181010509 140725181010509 140725181013966 0
/proc/15522/statm: 11398 5513 780 435 0 4761 0
Current children cumulated CPU time (s) 51.03
Current children cumulated vsize (KiB) 45592
[startup+102.3 s]
/proc/loadavg: 1.99 2.01 2.04 3/181 15525
/proc/meminfo: memFree=28805324/32770624 swapFree=0/563664
[pid=15522] ppid=15519 vsize=46132 CPUtime=102.22 cores=1,3,5,7
/proc/15522/stat : 15522 (cosoco) R 15519 15522 6677 0 -1 4202496 30895 0 0 0 10221 1 0 0 20 0 1 0 57102572 47239168 5651 18446744073709551615 4194304 5972588 140725181007216 140725181003848 5139264 0 0 1 8405026 0 0 0 17 1 0 0 5 0 0 8070896 8075904 14680064 140725181010414 140725181010509 140725181010509 140725181013966 0
/proc/15522/statm: 11533 5651 780 435 0 4896 0
Current children cumulated CPU time (s) 102.22
Current children cumulated vsize (KiB) 46132
[startup+162.3 s]
/proc/loadavg: 1.99 2.01 2.04 3/181 15527
/proc/meminfo: memFree=28805300/32770624 swapFree=0/563684
[pid=15522] ppid=15519 vsize=46264 CPUtime=162.21 cores=1,3,5,7
/proc/15522/stat : 15522 (cosoco) R 15519 15522 6677 0 -1 4202496 31149 0 0 0 16220 1 0 0 20 0 1 0 57102572 47374336 5682 18446744073709551615 4194304 5972588 140725181007216 140725181003976 5139338 0 0 1 8405026 0 0 0 17 1 0 0 5 0 0 8070896 8075904 14680064 140725181010414 140725181010509 140725181010509 140725181013966 0
/proc/15522/statm: 11566 5682 780 435 0 4929 0
Current children cumulated CPU time (s) 162.21
Current children cumulated vsize (KiB) 46264
[startup+222.306 s]
/proc/loadavg: 2.00 2.01 2.04 3/181 15529
/proc/meminfo: memFree=28805796/32770624 swapFree=0/563704
[pid=15522] ppid=15519 vsize=46264 CPUtime=222.21 cores=1,3,5,7
/proc/15522/stat : 15522 (cosoco) R 15519 15522 6677 0 -1 4202496 31377 0 0 0 22220 1 0 0 20 0 1 0 57102572 47374336 5701 18446744073709551615 4194304 5972588 140725181007216 140725181003976 5046712 0 0 1 8405026 0 0 0 17 1 0 0 5 0 0 8070896 8075904 14680064 140725181010414 140725181010509 140725181010509 140725181013966 0
/proc/15522/statm: 11566 5701 780 435 0 4929 0
Current children cumulated CPU time (s) 222.21
Current children cumulated vsize (KiB) 46264
[startup+282.3 s]
/proc/loadavg: 2.00 2.01 2.04 3/181 15531
/proc/meminfo: memFree=28806204/32770624 swapFree=0/563716
[pid=15522] ppid=15519 vsize=46264 CPUtime=282.21 cores=1,3,5,7
/proc/15522/stat : 15522 (cosoco) R 15519 15522 6677 0 -1 4202496 31589 0 0 0 28220 1 0 0 20 0 1 0 57102572 47374336 5703 18446744073709551615 4194304 5972588 140725181007216 140725181003976 5039358 0 0 1 8405026 0 0 0 17 1 0 0 5 0 0 8070896 8075904 14680064 140725181010414 140725181010509 140725181010509 140725181013966 0
/proc/15522/statm: 11566 5703 780 435 0 4929 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 46264
[startup+342.3 s]
/proc/loadavg: 2.00 2.01 2.04 3/181 15533
/proc/meminfo: memFree=28806568/32770624 swapFree=0/563724
[pid=15522] ppid=15519 vsize=46264 CPUtime=342.2 cores=1,3,5,7
/proc/15522/stat : 15522 (cosoco) R 15519 15522 6677 0 -1 4202496 31792 0 0 0 34219 1 0 0 20 0 1 0 57102572 47374336 5706 18446744073709551615 4194304 5972588 140725181007216 140725181003976 5039159 0 0 1 8405026 0 0 0 17 1 0 0 5 0 0 8070896 8075904 14680064 140725181010414 140725181010509 140725181010509 140725181013966 0
/proc/15522/statm: 11566 5706 780 435 0 4929 0
Current children cumulated CPU time (s) 342.2
Current children cumulated vsize (KiB) 46264
[startup+402.3 s]
/proc/loadavg: 2.00 2.01 2.04 3/181 15535
/proc/meminfo: memFree=28806204/32770624 swapFree=0/563728
[pid=15522] ppid=15519 vsize=46264 CPUtime=402.2 cores=1,3,5,7
/proc/15522/stat : 15522 (cosoco) R 15519 15522 6677 0 -1 4202496 31982 0 0 0 40219 1 0 0 20 0 1 0 57102572 47374336 5706 18446744073709551615 4194304 5972588 140725181007216 140725181003976 5139312 0 0 1 8405026 0 0 0 17 1 0 0 5 0 0 8070896 8075904 14680064 140725181010414 140725181010509 140725181010509 140725181013966 0
/proc/15522/statm: 11566 5706 780 435 0 4929 0
Current children cumulated CPU time (s) 402.2
Current children cumulated vsize (KiB) 46264
[startup+462.3 s]
/proc/loadavg: 2.00 2.01 2.04 3/181 15537
/proc/meminfo: memFree=28806824/32770624 swapFree=0/563736
[pid=15522] ppid=15519 vsize=46264 CPUtime=462.2 cores=1,3,5,7
/proc/15522/stat : 15522 (cosoco) R 15519 15522 6677 0 -1 4202496 32176 0 0 0 46219 1 0 0 20 0 1 0 57102572 47374336 5706 18446744073709551615 4194304 5972588 140725181007216 140725181003976 5046712 0 0 1 8405026 0 0 0 17 1 0 0 5 0 0 8070896 8075904 14680064 140725181010414 140725181010509 140725181010509 140725181013966 0
/proc/15522/statm: 11566 5706 780 435 0 4929 0
Current children cumulated CPU time (s) 462.2
Current children cumulated vsize (KiB) 46264
[startup+522.3 s]
/proc/loadavg: 2.00 2.01 2.04 3/181 15539
/proc/meminfo: memFree=28806692/32770624 swapFree=0/563740
[pid=15522] ppid=15519 vsize=46264 CPUtime=522.19 cores=1,3,5,7
/proc/15522/stat : 15522 (cosoco) R 15519 15522 6677 0 -1 4202496 32349 0 0 0 52218 1 0 0 20 0 1 0 57102572 47374336 5706 18446744073709551615 4194304 5972588 140725181007216 140725181003976 5039159 0 0 1 8405026 0 0 0 17 1 0 0 5 0 0 8070896 8075904 14680064 140725181010414 140725181010509 140725181010509 140725181013966 0
/proc/15522/statm: 11566 5706 780 435 0 4929 0
Current children cumulated CPU time (s) 522.19
Current children cumulated vsize (KiB) 46264
[startup+582.3 s]
/proc/loadavg: 2.00 2.01 2.04 3/185 15556
/proc/meminfo: memFree=28802592/32770624 swapFree=0/563744
[pid=15522] ppid=15519 vsize=46264 CPUtime=582.19 cores=1,3,5,7
/proc/15522/stat : 15522 (cosoco) R 15519 15522 6677 0 -1 4202496 32518 0 0 0 58218 1 0 0 20 0 1 0 57102572 47374336 5706 18446744073709551615 4194304 5972588 140725181007216 140725181003976 5139319 0 0 1 8405026 0 0 0 17 1 0 0 5 0 0 8070896 8075904 14680064 140725181010414 140725181010509 140725181010509 140725181013966 0
/proc/15522/statm: 11566 5706 780 435 0 4929 0
Current children cumulated CPU time (s) 582.19
Current children cumulated vsize (KiB) 46264
################
# More data... #
################
[startup+1602.3 s]
/proc/loadavg: 2.05 2.03 2.05 3/181 15666
/proc/meminfo: memFree=31167016/32770624 swapFree=0/563968
[pid=15522] ppid=15519 vsize=46264 CPUtime=1602.14 cores=1,3,5,7
/proc/15522/stat : 15522 (cosoco) R 15519 15522 6677 0 -1 4202496 35130 0 0 0 160213 1 0 0 20 0 1 0 57102572 47374336 5711 18446744073709551615 4194304 5972588 140725181007216 140725181003976 5139490 0 0 1 8405026 0 0 0 17 1 0 0 5 0 0 8070896 8075904 14680064 140725181010414 140725181010509 140725181010509 140725181013966 0
/proc/15522/statm: 11566 5711 780 435 0 4929 0
Current children cumulated CPU time (s) 1602.14
Current children cumulated vsize (KiB) 46264
[startup+1662.3 s]
/proc/loadavg: 2.02 2.02 2.05 3/181 15669
/proc/meminfo: memFree=31167116/32770624 swapFree=0/563988
[pid=15522] ppid=15519 vsize=46264 CPUtime=1662.14 cores=1,3,5,7
/proc/15522/stat : 15522 (cosoco) R 15519 15522 6677 0 -1 4202496 35305 0 0 0 166213 1 0 0 20 0 1 0 57102572 47374336 5711 18446744073709551615 4194304 5972588 140725181007216 140725181003976 5039701 0 0 1 8405026 0 0 0 17 1 0 0 5 0 0 8070896 8075904 14680064 140725181010414 140725181010509 140725181010509 140725181013966 0
/proc/15522/statm: 11566 5711 780 435 0 4929 0
Current children cumulated CPU time (s) 1662.14
Current children cumulated vsize (KiB) 46264
[startup+1722.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/181 15671
/proc/meminfo: memFree=31166992/32770624 swapFree=0/564004
[pid=15522] ppid=15519 vsize=46264 CPUtime=1722.14 cores=1,3,5,7
/proc/15522/stat : 15522 (cosoco) R 15519 15522 6677 0 -1 4202496 35420 0 0 0 172213 1 0 0 20 0 1 0 57102572 47374336 5711 18446744073709551615 4194304 5972588 140725181007216 140725181003976 5039364 0 0 1 8405026 0 0 0 17 1 0 0 5 0 0 8070896 8075904 14680064 140725181010414 140725181010509 140725181010509 140725181013966 0
/proc/15522/statm: 11566 5711 780 435 0 4929 0
Current children cumulated CPU time (s) 1722.14
Current children cumulated vsize (KiB) 46264
[startup+1782.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/185 15688
/proc/meminfo: memFree=31162104/32770624 swapFree=0/564048
[pid=15522] ppid=15519 vsize=46264 CPUtime=1782.13 cores=1,3,5,7
/proc/15522/stat : 15522 (cosoco) R 15519 15522 6677 0 -1 4202496 35498 0 0 0 178212 1 0 0 20 0 1 0 57102572 47374336 5711 18446744073709551615 4194304 5972588 140725181007216 140725181003976 5139291 0 0 1 8405026 0 0 0 17 1 0 0 5 0 0 8070896 8075904 14680064 140725181010414 140725181010509 140725181010509 140725181013966 0
/proc/15522/statm: 11566 5711 780 435 0 4929 0
Current children cumulated CPU time (s) 1782.13
Current children cumulated vsize (KiB) 46264
[startup+1842.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/186 15715
/proc/meminfo: memFree=31161464/32770624 swapFree=0/564056
[pid=15522] ppid=15519 vsize=46264 CPUtime=1842.13 cores=1,3,5,7
/proc/15522/stat : 15522 (cosoco) R 15519 15522 6677 0 -1 4202496 35674 0 0 0 184212 1 0 0 20 0 1 0 57102572 47374336 5713 18446744073709551615 4194304 5972588 140725181007216 140725181003976 5139312 0 0 1 8405026 0 0 0 17 1 0 0 5 0 0 8070896 8075904 14680064 140725181010414 140725181010509 140725181010509 140725181013966 0
/proc/15522/statm: 11566 5713 780 435 0 4929 0
Current children cumulated CPU time (s) 1842.13
Current children cumulated vsize (KiB) 46264
[startup+1902.3 s]
/proc/loadavg: 2.06 2.03 2.05 3/186 15717
/proc/meminfo: memFree=31162096/32770624 swapFree=0/564064
[pid=15522] ppid=15519 vsize=46264 CPUtime=1902.13 cores=1,3,5,7
/proc/15522/stat : 15522 (cosoco) R 15519 15522 6677 0 -1 4202496 35778 0 0 0 190212 1 0 0 20 0 1 0 57102572 47374336 5713 18446744073709551615 4194304 5972588 140725181007216 140725181003976 5139264 0 0 1 8405026 0 0 0 17 1 0 0 5 0 0 8070896 8075904 14680064 140725181010414 140725181010509 140725181010509 140725181013966 0
/proc/15522/statm: 11566 5713 780 435 0 4929 0
Current children cumulated CPU time (s) 1902.13
Current children cumulated vsize (KiB) 46264
[startup+1962.3 s]
/proc/loadavg: 2.02 2.02 2.05 3/183 15719
/proc/meminfo: memFree=31166280/32770624 swapFree=0/564084
[pid=15522] ppid=15519 vsize=46264 CPUtime=1962.12 cores=1,3,5,7
/proc/15522/stat : 15522 (cosoco) R 15519 15522 6677 0 -1 4202496 35886 0 0 0 196211 1 0 0 20 0 1 0 57102572 47374336 5713 18446744073709551615 4194304 5972588 140725181007216 140725181003976 5040613 0 0 1 8405026 0 0 0 17 1 0 0 5 0 0 8070896 8075904 14680064 140725181010414 140725181010509 140725181010509 140725181013966 0
/proc/15522/statm: 11566 5713 780 435 0 4929 0
Current children cumulated CPU time (s) 1962.12
Current children cumulated vsize (KiB) 46264
[startup+2022.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/183 15721
/proc/meminfo: memFree=31165908/32770624 swapFree=0/564104
[pid=15522] ppid=15519 vsize=46264 CPUtime=2022.12 cores=1,3,5,7
/proc/15522/stat : 15522 (cosoco) R 15519 15522 6677 0 -1 4202496 36049 0 0 0 202211 1 0 0 20 0 1 0 57102572 47374336 5713 18446744073709551615 4194304 5972588 140725181007216 140725181003976 5041538 0 0 1 8405026 0 0 0 17 1 0 0 5 0 0 8070896 8075904 14680064 140725181010414 140725181010509 140725181010509 140725181013966 0
/proc/15522/statm: 11566 5713 780 435 0 4929 0
Current children cumulated CPU time (s) 2022.12
Current children cumulated vsize (KiB) 46264
[startup+2082.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 15723
/proc/meminfo: memFree=31166276/32770624 swapFree=0/564116
[pid=15522] ppid=15519 vsize=46396 CPUtime=2082.12 cores=1,3,5,7
/proc/15522/stat : 15522 (cosoco) R 15519 15522 6677 0 -1 4202496 36177 0 0 0 208211 1 0 0 20 0 1 0 57102572 47509504 5721 18446744073709551615 4194304 5972588 140725181007216 140725181003832 5046284 0 0 1 8405026 0 0 0 17 1 0 0 5 0 0 8070896 8075904 14680064 140725181010414 140725181010509 140725181010509 140725181013966 0
/proc/15522/statm: 11599 5721 780 435 0 4962 0
Current children cumulated CPU time (s) 2082.12
Current children cumulated vsize (KiB) 46396
[startup+2142.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 15725
/proc/meminfo: memFree=31166028/32770624 swapFree=0/564136
[pid=15522] ppid=15519 vsize=46396 CPUtime=2142.12 cores=1,3,5,7
/proc/15522/stat : 15522 (cosoco) R 15519 15522 6677 0 -1 4202496 36283 0 0 0 214211 1 0 0 20 0 1 0 57102572 47509504 5721 18446744073709551615 4194304 5972588 140725181007216 140725181003832 5039600 0 0 1 8405026 0 0 0 17 1 0 0 5 0 0 8070896 8075904 14680064 140725181010414 140725181010509 140725181010509 140725181013966 0
/proc/15522/statm: 11599 5721 780 435 0 4962 0
Current children cumulated CPU time (s) 2142.12
Current children cumulated vsize (KiB) 46396
[startup+2202.31 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 15727
/proc/meminfo: memFree=31166540/32770624 swapFree=0/564156
[pid=15522] ppid=15519 vsize=46396 CPUtime=2202.12 cores=1,3,5,7
/proc/15522/stat : 15522 (cosoco) R 15519 15522 6677 0 -1 4202496 36397 0 0 0 220211 1 0 0 20 0 1 0 57102572 47509504 5721 18446744073709551615 4194304 5972588 140725181007216 140725181003832 5039524 0 0 1 8405026 0 0 0 17 1 0 0 5 0 0 8070896 8075904 14680064 140725181010414 140725181010509 140725181010509 140725181013966 0
/proc/15522/statm: 11599 5721 780 435 0 4962 0
Current children cumulated CPU time (s) 2202.12
Current children cumulated vsize (KiB) 46396
[startup+2262.3 s]
/proc/loadavg: 2.08 2.03 2.05 3/181 15729
/proc/meminfo: memFree=31166168/32770624 swapFree=0/564164
[pid=15522] ppid=15519 vsize=46396 CPUtime=2262.11 cores=1,3,5,7
/proc/15522/stat : 15522 (cosoco) R 15519 15522 6677 0 -1 4202496 36576 0 0 0 226210 1 0 0 20 0 1 0 57102572 47509504 5721 18446744073709551615 4194304 5972588 140725181007216 140725181003832 5139312 0 0 1 8405026 0 0 0 17 1 0 0 5 0 0 8070896 8075904 14680064 140725181010414 140725181010509 140725181010509 140725181013966 0
/proc/15522/statm: 11599 5721 780 435 0 4962 0
Current children cumulated CPU time (s) 2262.11
Current children cumulated vsize (KiB) 46396
[startup+2322.3 s]
/proc/loadavg: 2.03 2.02 2.05 3/181 15731
/proc/meminfo: memFree=31166440/32770624 swapFree=0/564176
[pid=15522] ppid=15519 vsize=46396 CPUtime=2322.11 cores=1,3,5,7
/proc/15522/stat : 15522 (cosoco) R 15519 15522 6677 0 -1 4202496 36735 0 0 0 232210 1 0 0 20 0 1 0 57102572 47509504 5721 18446744073709551615 4194304 5972588 140725181007216 140725181003832 5046712 0 0 1 8405026 0 0 0 17 1 0 0 5 0 0 8070896 8075904 14680064 140725181010414 140725181010509 140725181010509 140725181013966 0
/proc/15522/statm: 11599 5721 780 435 0 4962 0
Current children cumulated CPU time (s) 2322.11
Current children cumulated vsize (KiB) 46396
[startup+2382.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/185 15748
/proc/meminfo: memFree=31162184/32770624 swapFree=0/564192
[pid=15522] ppid=15519 vsize=46396 CPUtime=2382.11 cores=1,3,5,7
/proc/15522/stat : 15522 (cosoco) R 15519 15522 6677 0 -1 4202496 36808 0 0 0 238210 1 0 0 20 0 1 0 57102572 47509504 5721 18446744073709551615 4194304 5972588 140725181007216 140725181003832 5046284 0 0 1 8405026 0 0 0 17 1 0 0 5 0 0 8070896 8075904 14680064 140725181010414 140725181010509 140725181010509 140725181013966 0
/proc/15522/statm: 11599 5721 780 435 0 4962 0
Current children cumulated CPU time (s) 2382.11
Current children cumulated vsize (KiB) 46396
[startup+2442.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/185 15750
/proc/meminfo: memFree=31162168/32770624 swapFree=0/564204
[pid=15522] ppid=15519 vsize=46396 CPUtime=2442.1 cores=1,3,5,7
/proc/15522/stat : 15522 (cosoco) R 15519 15522 6677 0 -1 4202496 36998 0 0 0 244209 1 0 0 20 0 1 0 57102572 47509504 5725 18446744073709551615 4194304 5972588 140725181007216 140725181003832 5046712 0 0 1 8405026 0 0 0 17 1 0 0 5 0 0 8070896 8075904 14680064 140725181010414 140725181010509 140725181010509 140725181013966 0
/proc/15522/statm: 11599 5725 780 435 0 4962 0
Current children cumulated CPU time (s) 2442.1
Current children cumulated vsize (KiB) 46396
[startup+2502.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 15752
/proc/meminfo: memFree=31165688/32770624 swapFree=0/564212
[pid=15522] ppid=15519 vsize=46396 CPUtime=2502.1 cores=1,3,5,7
/proc/15522/stat : 15522 (cosoco) R 15519 15522 6677 0 -1 4202496 37176 0 0 0 250209 1 0 0 20 0 1 0 57102572 47509504 5725 18446744073709551615 4194304 5972588 140725181007216 140725181003832 5139291 0 0 1 8405026 0 0 0 17 1 0 0 5 0 0 8070896 8075904 14680064 140725181010414 140725181010509 140725181010509 140725181013966 0
/proc/15522/statm: 11599 5725 780 435 0 4962 0
Current children cumulated CPU time (s) 2502.1
Current children cumulated vsize (KiB) 46396
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+2520 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 15753
/proc/meminfo: memFree=31165688/32770624 swapFree=0/564220
[pid=15522] ppid=15519 vsize=46396 CPUtime=2519.8 cores=1,3,5,7
/proc/15522/stat : 15522 (cosoco) R 15519 15522 6677 0 -1 4202496 37233 0 0 0 251979 1 0 0 20 0 1 0 57102572 47509504 5725 18446744073709551615 4194304 5972588 140725181007216 140725181003832 5039193 0 0 1 8405026 0 0 0 17 1 0 0 5 0 0 8070896 8075904 14680064 140725181010414 140725181010509 140725181010509 140725181013966 0
/proc/15522/statm: 11599 5725 780 435 0 4962 0
Current children cumulated CPU time (s) 2519.8
Current children cumulated vsize (KiB) 46396
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 15522 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.81
CPU user time (s): 2519.79
CPU system time (s): 0.019999
CPU usage (%): 99.9926
Max. virtual memory (cumulated for all children) (KiB): 46396
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2519.79
system time used= 0.019999
maximum resident set size= 23024
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 37285
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= 19
involuntary context switches= 693
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.029 second user time and 8.06976 second system time
The end