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-4268211-1502543262/watcher-4268211-1502543262 -o /tmp/evaluation-result-4268211-1502543262/solver-4268211-1502543262 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node134-1502500343-24509 --watchdog 2580 cosoco -lc -model -restarts HOME/instance-4268211-1502543262.xml
pid=2352
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.00 2.01 2.05 3/184 2355
/proc/meminfo: memFree=30964180/32770624 swapFree=0/596180
[pid=2355] ppid=2352 vsize=23672 CPUtime=0 cores=1,3,5,7
/proc/2355/stat : 2355 (runsolver) D 2352 2355 24445 0 -1 4202560 108 0 0 0 0 0 0 0 20 0 1 0 101832584 24240128 106 18446744073709551615 4194304 4338465 140726778481200 140726778478840 140696005935831 0 0 1 24578 18446744071580418449 0 0 17 1 0 0 0 0 0 6438912 6441760 19841024 140726778482881 140726778483273 140726778483273 140726778486730 0
/proc/2355/statm: 5918 106 53 36 0 2156 0
[startup+0.100156 s]
/proc/loadavg: 2.00 2.01 2.05 3/184 2355
/proc/meminfo: memFree=30964180/32770624 swapFree=0/596180
[pid=2355] ppid=2352 vsize=31356 CPUtime=0.01 cores=1,3,5,7
/proc/2355/stat : 2355 (cosoco) R 2352 2355 24445 0 -1 4202496 2058 0 0 0 1 0 0 0 20 0 1 0 101832584 32108544 1888 18446744073709551615 4194304 5972588 140726669092608 140726669089256 139775354346469 0 0 1 0 0 0 0 17 5 0 0 8 0 0 8070896 8075904 25239552 140726669095406 140726669095501 140726669095501 140726669098958 0
/proc/2355/statm: 7839 1888 736 435 0 1202 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 31356
[startup+0.200312 s]
/proc/loadavg: 2.00 2.01 2.05 3/184 2355
/proc/meminfo: memFree=30964180/32770624 swapFree=0/596180
[pid=2355] ppid=2352 vsize=40464 CPUtime=0.1 cores=1,3,5,7
/proc/2355/stat : 2355 (cosoco) R 2352 2355 24445 0 -1 4202496 4411 0 0 0 10 0 0 0 20 0 1 0 101832584 41435136 4240 18446744073709551615 4194304 5972588 140726669092608 140726669089256 139775354346469 0 0 1 0 0 0 0 17 5 0 0 8 0 0 8070896 8075904 25239552 140726669095406 140726669095501 140726669095501 140726669098958 0
/proc/2355/statm: 10116 4240 801 435 0 3479 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 40464
[startup+0.3003 s]
/proc/loadavg: 2.00 2.01 2.05 3/184 2355
/proc/meminfo: memFree=30964180/32770624 swapFree=0/596180
[pid=2355] ppid=2352 vsize=42352 CPUtime=0.2 cores=1,3,5,7
/proc/2355/stat : 2355 (cosoco) R 2352 2355 24445 0 -1 4202496 4889 0 0 0 20 0 0 0 20 0 1 0 101832584 43368448 4712 18446744073709551615 4194304 5972588 140726669092608 140726669089256 139775354346469 0 0 1 0 0 0 0 17 5 0 0 8 0 0 8070896 8075904 25239552 140726669095406 140726669095501 140726669095501 140726669098958 0
/proc/2355/statm: 10588 4712 801 435 0 3951 0
Current children cumulated CPU time (s) 0.2
Current children cumulated vsize (KiB) 42352
[startup+0.700221 s]
/proc/loadavg: 2.00 2.01 2.05 3/184 2355
/proc/meminfo: memFree=30964180/32770624 swapFree=0/596180
[pid=2355] ppid=2352 vsize=50012 CPUtime=0.6 cores=1,3,5,7
/proc/2355/stat : 2355 (cosoco) R 2352 2355 24445 0 -1 4202496 6799 0 0 0 60 0 0 0 20 0 1 0 101832584 51212288 6626 18446744073709551615 4194304 5972588 140726669092608 140726669089256 139775354346469 0 0 1 0 0 0 0 17 5 0 0 8 0 0 8070896 8075904 25239552 140726669095406 140726669095501 140726669095501 140726669098958 0
/proc/2355/statm: 12503 6626 801 435 0 5866 0
Current children cumulated CPU time (s) 0.6
Current children cumulated vsize (KiB) 50012
[startup+1.50025 s]
/proc/loadavg: 2.00 2.01 2.05 3/185 2356
/proc/meminfo: memFree=30936520/32770624 swapFree=0/596080
[pid=2355] ppid=2352 vsize=54120 CPUtime=1.4 cores=1,3,5,7
/proc/2355/stat : 2355 (cosoco) R 2352 2355 24445 0 -1 4202496 7872 0 0 0 140 0 0 0 20 0 1 0 101832584 55418880 7691 18446744073709551615 4194304 5972588 140726669092608 140726669089832 4995525 0 0 1 8405026 0 0 0 17 5 0 0 8 0 0 8070896 8075904 25239552 140726669095406 140726669095501 140726669095501 140726669098958 0
/proc/2355/statm: 13530 7691 840 435 0 6893 0
Current children cumulated CPU time (s) 1.4
Current children cumulated vsize (KiB) 54120
[startup+3.10026 s]
/proc/loadavg: 2.00 2.01 2.05 3/185 2356
/proc/meminfo: memFree=30936260/32770624 swapFree=0/596184
[pid=2355] ppid=2352 vsize=54252 CPUtime=3.01 cores=1,3,5,7
/proc/2355/stat : 2355 (cosoco) R 2352 2355 24445 0 -1 4202496 11560 0 0 0 300 1 0 0 20 0 1 0 101832584 55554048 7730 18446744073709551615 4194304 5972588 140726669092608 140726669089864 4995525 0 0 1 8405026 0 0 0 17 5 0 0 8 0 0 8070896 8075904 25239552 140726669095406 140726669095501 140726669095501 140726669098958 0
/proc/2355/statm: 13563 7730 841 435 0 6926 0
Current children cumulated CPU time (s) 3.01
Current children cumulated vsize (KiB) 54252
[startup+6.30026 s]
/proc/loadavg: 2.00 2.01 2.05 3/185 2356
/proc/meminfo: memFree=30935292/32770624 swapFree=0/596180
[pid=2355] ppid=2352 vsize=55124 CPUtime=6.21 cores=1,3,5,7
/proc/2355/stat : 2355 (cosoco) R 2352 2355 24445 0 -1 4202496 17330 0 0 0 620 1 0 0 20 0 1 0 101832584 56446976 7936 18446744073709551615 4194304 5972588 140726669092608 140726669089912 4995521 0 0 1 8405026 0 0 0 17 5 0 0 8 0 0 8070896 8075904 25239552 140726669095406 140726669095501 140726669095501 140726669098958 0
/proc/2355/statm: 13781 7936 841 435 0 7144 0
Current children cumulated CPU time (s) 6.21
Current children cumulated vsize (KiB) 55124
[startup+12.7002 s]
/proc/loadavg: 2.00 2.01 2.05 3/184 2357
/proc/meminfo: memFree=30934056/32770624 swapFree=0/596180
[pid=2355] ppid=2352 vsize=55784 CPUtime=12.6 cores=1,3,5,7
/proc/2355/stat : 2355 (cosoco) R 2352 2355 24445 0 -1 4202496 22384 0 0 0 1259 1 0 0 20 0 1 0 101832584 57122816 8110 18446744073709551615 4194304 5972588 140726669092608 140726669089272 5099648 0 0 1 8405026 0 0 0 17 5 0 0 8 0 0 8070896 8075904 25239552 140726669095406 140726669095501 140726669095501 140726669098958 0
/proc/2355/statm: 13946 8110 841 435 0 7309 0
Current children cumulated CPU time (s) 12.6
Current children cumulated vsize (KiB) 55784
[startup+25.5003 s]
/proc/loadavg: 2.00 2.01 2.05 3/184 2357
/proc/meminfo: memFree=30933072/32770624 swapFree=0/596172
[pid=2355] ppid=2352 vsize=56452 CPUtime=25.4 cores=1,3,5,7
/proc/2355/stat : 2355 (cosoco) R 2352 2355 24445 0 -1 4202496 31264 0 0 0 2538 2 0 0 20 0 1 0 101832584 57806848 8263 18446744073709551615 4194304 5972588 140726669092608 140726669089912 4995590 0 0 1 8405026 0 0 0 17 5 0 0 8 0 0 8070896 8075904 25239552 140726669095406 140726669095501 140726669095501 140726669098958 0
/proc/2355/statm: 14113 8263 841 435 0 7476 0
Current children cumulated CPU time (s) 25.4
Current children cumulated vsize (KiB) 56452
[startup+51.1003 s]
/proc/loadavg: 2.00 2.01 2.05 3/184 2357
/proc/meminfo: memFree=30932764/32770624 swapFree=0/596172
[pid=2355] ppid=2352 vsize=56716 CPUtime=51 cores=1,3,5,7
/proc/2355/stat : 2355 (cosoco) R 2352 2355 24445 0 -1 4202496 32356 0 0 0 5098 2 0 0 20 0 1 0 101832584 58077184 8329 18446744073709551615 4194304 5972588 140726669092608 140726669089640 5099648 0 0 1 8405026 0 0 0 17 5 0 0 8 0 0 8070896 8075904 25239552 140726669095406 140726669095501 140726669095501 140726669098958 0
/proc/2355/statm: 14179 8329 841 435 0 7542 0
Current children cumulated CPU time (s) 51
Current children cumulated vsize (KiB) 56716
[startup+102.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/184 2360
/proc/meminfo: memFree=30931780/32770624 swapFree=0/596168
[pid=2355] ppid=2352 vsize=57772 CPUtime=102.21 cores=1,3,5,7
/proc/2355/stat : 2355 (cosoco) R 2352 2355 24445 0 -1 4202496 33486 0 0 0 10219 2 0 0 20 0 1 0 101832584 59158528 8604 18446744073709551615 4194304 5972588 140726669092608 140726669089912 4962240 0 0 1 8405026 0 0 0 17 5 0 0 8 0 0 8070896 8075904 25239552 140726669095406 140726669095501 140726669095501 140726669098958 0
/proc/2355/statm: 14443 8604 841 435 0 7806 0
Current children cumulated CPU time (s) 102.21
Current children cumulated vsize (KiB) 57772
[startup+162.3 s]
/proc/loadavg: 2.04 2.03 2.05 3/184 2384
/proc/meminfo: memFree=30930556/32770624 swapFree=0/596180
[pid=2355] ppid=2352 vsize=59968 CPUtime=162.2 cores=1,3,5,7
/proc/2355/stat : 2355 (cosoco) R 2352 2355 24445 0 -1 4202496 35219 0 0 0 16218 2 0 0 20 0 1 0 101832584 61407232 9097 18446744073709551615 4194304 5972588 140726669092608 140726669089512 5071832 0 0 1 8405026 0 0 0 17 5 0 0 8 0 0 8070896 8075904 25239552 140726669095406 140726669095501 140726669095501 140726669098958 0
/proc/2355/statm: 14992 9097 841 435 0 8355 0
Current children cumulated CPU time (s) 162.2
Current children cumulated vsize (KiB) 59968
[startup+222.306 s]
/proc/loadavg: 2.01 2.02 2.05 3/185 2387
/proc/meminfo: memFree=30928648/32770624 swapFree=0/596196
[pid=2355] ppid=2352 vsize=60100 CPUtime=222.2 cores=1,3,5,7
/proc/2355/stat : 2355 (cosoco) R 2352 2355 24445 0 -1 4202496 36094 0 0 0 22218 2 0 0 20 0 1 0 101832584 61542400 9147 18446744073709551615 4194304 5972588 140726669092608 140726669089640 5099648 0 0 1 8405026 0 0 0 17 5 0 0 8 0 0 8070896 8075904 25239552 140726669095406 140726669095501 140726669095501 140726669098958 0
/proc/2355/statm: 15025 9147 841 435 0 8388 0
Current children cumulated CPU time (s) 222.2
Current children cumulated vsize (KiB) 60100
[startup+282.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/186 2391
/proc/meminfo: memFree=30927904/32770624 swapFree=0/596212
[pid=2355] ppid=2352 vsize=60628 CPUtime=282.2 cores=1,3,5,7
/proc/2355/stat : 2355 (cosoco) R 2352 2355 24445 0 -1 4202496 37298 0 0 0 28218 2 0 0 20 0 1 0 101832584 62083072 9228 18446744073709551615 4194304 5972588 140726669092608 140726669089912 4995572 0 0 1 8405026 0 0 0 17 5 0 0 8 0 0 8070896 8075904 25239552 140726669095406 140726669095501 140726669095501 140726669098958 0
/proc/2355/statm: 15157 9228 841 435 0 8520 0
Current children cumulated CPU time (s) 282.2
Current children cumulated vsize (KiB) 60628
[startup+342.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/186 2393
/proc/meminfo: memFree=30927972/32770624 swapFree=0/596224
[pid=2355] ppid=2352 vsize=60628 CPUtime=342.21 cores=1,3,5,7
/proc/2355/stat : 2355 (cosoco) R 2352 2355 24445 0 -1 4202496 38338 0 0 0 34218 3 0 0 20 0 1 0 101832584 62083072 9298 18446744073709551615 4194304 5972588 140726669092608 140726669089912 4995525 0 0 1 8405026 0 0 0 17 5 0 0 8 0 0 8070896 8075904 25239552 140726669095406 140726669095501 140726669095501 140726669098958 0
/proc/2355/statm: 15157 9298 841 435 0 8520 0
Current children cumulated CPU time (s) 342.21
Current children cumulated vsize (KiB) 60628
[startup+402.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/189 2409
/proc/meminfo: memFree=30923824/32770624 swapFree=0/596252
[pid=2355] ppid=2352 vsize=60760 CPUtime=402.21 cores=1,3,5,7
/proc/2355/stat : 2355 (cosoco) R 2352 2355 24445 0 -1 4202496 38994 0 0 0 40218 3 0 0 20 0 1 0 101832584 62218240 9299 18446744073709551615 4194304 5972588 140726669092608 140726669089640 4962364 0 0 1 8405026 0 0 0 17 5 0 0 8 0 0 8070896 8075904 25239552 140726669095406 140726669095501 140726669095501 140726669098958 0
/proc/2355/statm: 15190 9299 841 435 0 8553 0
Current children cumulated CPU time (s) 402.21
Current children cumulated vsize (KiB) 60760
[startup+462.3 s]
/proc/loadavg: 2.11 2.06 2.06 3/190 2436
/proc/meminfo: memFree=30922200/32770624 swapFree=0/596272
[pid=2355] ppid=2352 vsize=60760 CPUtime=462.21 cores=1,3,5,7
/proc/2355/stat : 2355 (cosoco) R 2352 2355 24445 0 -1 4202496 39655 0 0 0 46218 3 0 0 20 0 1 0 101832584 62218240 9308 18446744073709551615 4194304 5972588 140726669092608 140726669089912 5099616 0 0 1 8405026 0 0 0 17 5 0 0 8 0 0 8070896 8075904 25239552 140726669095406 140726669095501 140726669095501 140726669098958 0
/proc/2355/statm: 15190 9308 841 435 0 8553 0
Current children cumulated CPU time (s) 462.21
Current children cumulated vsize (KiB) 60760
[startup+522.3 s]
/proc/loadavg: 2.08 2.06 2.06 3/189 2438
/proc/meminfo: memFree=30922688/32770624 swapFree=0/596292
[pid=2355] ppid=2352 vsize=60760 CPUtime=522.21 cores=1,3,5,7
/proc/2355/stat : 2355 (cosoco) R 2352 2355 24445 0 -1 4202496 40232 0 0 0 52218 3 0 0 20 0 1 0 101832584 62218240 9318 18446744073709551615 4194304 5972588 140726669092608 140726669089912 5099616 0 0 1 8405026 0 0 0 17 5 0 0 8 0 0 8070896 8075904 25239552 140726669095406 140726669095501 140726669095501 140726669098958 0
/proc/2355/statm: 15190 9318 841 435 0 8553 0
Current children cumulated CPU time (s) 522.21
Current children cumulated vsize (KiB) 60760
[startup+582.3 s]
/proc/loadavg: 2.06 2.06 2.06 3/185 2440
/proc/meminfo: memFree=30926988/32770624 swapFree=0/596304
[pid=2355] ppid=2352 vsize=60760 CPUtime=582.21 cores=1,3,5,7
/proc/2355/stat : 2355 (cosoco) R 2352 2355 24445 0 -1 4202496 40805 0 0 0 58218 3 0 0 20 0 1 0 101832584 62218240 9318 18446744073709551615 4194304 5972588 140726669092608 140726669089912 5099619 0 0 1 8405026 0 0 0 17 5 0 0 8 0 0 8070896 8075904 25239552 140726669095406 140726669095501 140726669095501 140726669098958 0
/proc/2355/statm: 15190 9318 841 435 0 8553 0
Current children cumulated CPU time (s) 582.21
Current children cumulated vsize (KiB) 60760
################
# More data... #
################
[startup+1602.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 2508
/proc/meminfo: memFree=30917632/32770624 swapFree=0/596488
[pid=2355] ppid=2352 vsize=62608 CPUtime=1602.23 cores=1,3,5,7
/proc/2355/stat : 2355 (cosoco) R 2352 2355 24445 0 -1 4202496 54317 0 0 0 160219 4 0 0 20 0 1 0 101832584 64110592 9727 18446744073709551615 4194304 5972588 140726669092608 140726669089640 4968720 0 0 1 8405026 0 0 0 17 5 0 0 8 0 0 8070896 8075904 25239552 140726669095406 140726669095501 140726669095501 140726669098958 0
/proc/2355/statm: 15652 9727 841 435 0 9015 0
Current children cumulated CPU time (s) 1602.23
Current children cumulated vsize (KiB) 62608
[startup+1662.3 s]
/proc/loadavg: 2.04 2.03 2.05 3/187 2510
/proc/meminfo: memFree=30917656/32770624 swapFree=0/596516
[pid=2355] ppid=2352 vsize=62740 CPUtime=1662.23 cores=1,3,5,7
/proc/2355/stat : 2355 (cosoco) R 2352 2355 24445 0 -1 4202496 55030 0 0 0 166219 4 0 0 20 0 1 0 101832584 64245760 9782 18446744073709551615 4194304 5972588 140726669092608 140726669089640 4995472 0 0 1 8405026 0 0 0 17 5 0 0 8 0 0 8070896 8075904 25239552 140726669095406 140726669095501 140726669095501 140726669098958 0
/proc/2355/statm: 15685 9782 841 435 0 9048 0
Current children cumulated CPU time (s) 1662.23
Current children cumulated vsize (KiB) 62740
[startup+1722.3 s]
/proc/loadavg: 2.02 2.02 2.05 3/184 2512
/proc/meminfo: memFree=30921184/32770624 swapFree=0/596524
[pid=2355] ppid=2352 vsize=62872 CPUtime=1722.23 cores=1,3,5,7
/proc/2355/stat : 2355 (cosoco) R 2352 2355 24445 0 -1 4202496 55784 0 0 0 172218 5 0 0 20 0 1 0 101832584 64380928 9854 18446744073709551615 4194304 5972588 140726669092608 140726669089640 5099616 0 0 1 8405026 0 0 0 17 5 0 0 8 0 0 8070896 8075904 25239552 140726669095406 140726669095501 140726669095501 140726669098958 0
/proc/2355/statm: 15718 9854 841 435 0 9081 0
Current children cumulated CPU time (s) 1722.23
Current children cumulated vsize (KiB) 62872
[startup+1782.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/186 2516
/proc/meminfo: memFree=30921248/32770624 swapFree=0/596528
[pid=2355] ppid=2352 vsize=63004 CPUtime=1782.23 cores=1,3,5,7
/proc/2355/stat : 2355 (cosoco) R 2352 2355 24445 0 -1 4202496 56555 0 0 0 178218 5 0 0 20 0 1 0 101832584 64516096 9878 18446744073709551615 4194304 5972588 140726669092608 140726669089640 4995517 0 0 1 8405026 0 0 0 17 5 0 0 8 0 0 8070896 8075904 25239552 140726669095406 140726669095501 140726669095501 140726669098958 0
/proc/2355/statm: 15751 9878 841 435 0 9114 0
Current children cumulated CPU time (s) 1782.23
Current children cumulated vsize (KiB) 63004
[startup+1842.3 s]
/proc/loadavg: 1.87 1.98 2.03 3/186 2579
/proc/meminfo: memFree=30936964/32770624 swapFree=0/596564
[pid=2355] ppid=2352 vsize=63136 CPUtime=1842.23 cores=1,3,5,7
/proc/2355/stat : 2355 (cosoco) R 2352 2355 24445 0 -1 4202496 57262 0 0 0 184218 5 0 0 20 0 1 0 101832584 64651264 9903 18446744073709551615 4194304 5972588 140726669092608 140726669089640 4995502 0 0 1 8405026 0 0 0 17 5 0 0 8 0 0 8070896 8075904 25239552 140726669095406 140726669095501 140726669095501 140726669098958 0
/proc/2355/statm: 15784 9903 841 435 0 9147 0
Current children cumulated CPU time (s) 1842.23
Current children cumulated vsize (KiB) 63136
[startup+1902.3 s]
/proc/loadavg: 2.01 2.00 2.04 3/186 2582
/proc/meminfo: memFree=30936576/32770624 swapFree=0/596572
[pid=2355] ppid=2352 vsize=63136 CPUtime=1902.23 cores=1,3,5,7
/proc/2355/stat : 2355 (cosoco) R 2352 2355 24445 0 -1 4202496 58067 0 0 0 190218 5 0 0 20 0 1 0 101832584 64651264 9911 18446744073709551615 4194304 5972588 140726669092608 140726669089912 5099648 0 0 1 8405026 0 0 0 17 5 0 0 8 0 0 8070896 8075904 25239552 140726669095406 140726669095501 140726669095501 140726669098958 0
/proc/2355/statm: 15784 9911 841 435 0 9147 0
Current children cumulated CPU time (s) 1902.23
Current children cumulated vsize (KiB) 63136
[startup+1962.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/186 2584
/proc/meminfo: memFree=30936924/32770624 swapFree=0/596580
[pid=2355] ppid=2352 vsize=63136 CPUtime=1962.23 cores=1,3,5,7
/proc/2355/stat : 2355 (cosoco) R 2352 2355 24445 0 -1 4202496 58753 0 0 0 196218 5 0 0 20 0 1 0 101832584 64651264 9919 18446744073709551615 4194304 5972588 140726669092608 140726669089912 5099648 0 0 1 8405026 0 0 0 17 5 0 0 8 0 0 8070896 8075904 25239552 140726669095406 140726669095501 140726669095501 140726669098958 0
/proc/2355/statm: 15784 9919 841 435 0 9147 0
Current children cumulated CPU time (s) 1962.23
Current children cumulated vsize (KiB) 63136
[startup+2022.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/186 2586
/proc/meminfo: memFree=30936568/32770624 swapFree=0/596580
[pid=2355] ppid=2352 vsize=63136 CPUtime=2022.24 cores=1,3,5,7
/proc/2355/stat : 2355 (cosoco) R 2352 2355 24445 0 -1 4202496 59437 0 0 0 202219 5 0 0 20 0 1 0 101832584 64651264 9921 18446744073709551615 4194304 5972588 140726669092608 140726669089912 4995572 0 0 1 8405026 0 0 0 17 5 0 0 8 0 0 8070896 8075904 25239552 140726669095406 140726669095501 140726669095501 140726669098958 0
/proc/2355/statm: 15784 9921 841 435 0 9147 0
Current children cumulated CPU time (s) 2022.24
Current children cumulated vsize (KiB) 63136
[startup+2082.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/185 2590
/proc/meminfo: memFree=30936808/32770624 swapFree=0/596592
[pid=2355] ppid=2352 vsize=63136 CPUtime=2082.24 cores=1,3,5,7
/proc/2355/stat : 2355 (cosoco) R 2352 2355 24445 0 -1 4202496 60095 0 0 0 208219 5 0 0 20 0 1 0 101832584 64651264 9927 18446744073709551615 4194304 5972588 140726669092608 140726669089912 4995479 0 0 1 8405026 0 0 0 17 5 0 0 8 0 0 8070896 8075904 25239552 140726669095406 140726669095501 140726669095501 140726669098958 0
/proc/2355/statm: 15784 9927 841 435 0 9147 0
Current children cumulated CPU time (s) 2082.24
Current children cumulated vsize (KiB) 63136
[startup+2142.3 s]
/proc/loadavg: 2.08 2.03 2.05 3/185 2592
/proc/meminfo: memFree=30936696/32770624 swapFree=0/596608
[pid=2355] ppid=2352 vsize=63136 CPUtime=2142.24 cores=1,3,5,7
/proc/2355/stat : 2355 (cosoco) R 2352 2355 24445 0 -1 4202496 60732 0 0 0 214219 5 0 0 20 0 1 0 101832584 64651264 9928 18446744073709551615 4194304 5972588 140726669092608 140726669089912 4995572 0 0 1 8405026 0 0 0 17 5 0 0 8 0 0 8070896 8075904 25239552 140726669095406 140726669095501 140726669095501 140726669098958 0
/proc/2355/statm: 15784 9928 841 435 0 9147 0
Current children cumulated CPU time (s) 2142.24
Current children cumulated vsize (KiB) 63136
[startup+2202.31 s]
/proc/loadavg: 2.06 2.04 2.05 3/188 2608
/proc/meminfo: memFree=30932760/32770624 swapFree=0/596664
[pid=2355] ppid=2352 vsize=63136 CPUtime=2202.25 cores=1,3,5,7
/proc/2355/stat : 2355 (cosoco) R 2352 2355 24445 0 -1 4202496 61430 0 0 0 220220 5 0 0 20 0 1 0 101832584 64651264 9928 18446744073709551615 4194304 5972588 140726669092608 140726669089912 4995530 0 0 1 8405026 0 0 0 17 5 0 0 8 0 0 8070896 8075904 25239552 140726669095406 140726669095501 140726669095501 140726669098958 0
/proc/2355/statm: 15784 9928 841 435 0 9147 0
Current children cumulated CPU time (s) 2202.25
Current children cumulated vsize (KiB) 63136
[startup+2262.3 s]
/proc/loadavg: 2.02 2.03 2.05 3/188 2610
/proc/meminfo: memFree=30932760/32770624 swapFree=0/596672
[pid=2355] ppid=2352 vsize=63136 CPUtime=2262.24 cores=1,3,5,7
/proc/2355/stat : 2355 (cosoco) R 2352 2355 24445 0 -1 4202496 62121 0 0 0 226219 5 0 0 20 0 1 0 101832584 64651264 9928 18446744073709551615 4194304 5972588 140726669092608 140726669089912 4995530 0 0 1 8405026 0 0 0 17 5 0 0 8 0 0 8070896 8075904 25239552 140726669095406 140726669095501 140726669095501 140726669098958 0
/proc/2355/statm: 15784 9928 841 435 0 9147 0
Current children cumulated CPU time (s) 2262.24
Current children cumulated vsize (KiB) 63136
[startup+2322.3 s]
/proc/loadavg: 2.01 2.03 2.05 3/186 2613
/proc/meminfo: memFree=30936320/32770624 swapFree=0/596684
[pid=2355] ppid=2352 vsize=63136 CPUtime=2322.24 cores=1,3,5,7
/proc/2355/stat : 2355 (cosoco) R 2352 2355 24445 0 -1 4202496 62815 0 0 0 232219 5 0 0 20 0 1 0 101832584 64651264 9928 18446744073709551615 4194304 5972588 140726669092608 140726669089912 4995572 0 0 1 8405026 0 0 0 17 5 0 0 8 0 0 8070896 8075904 25239552 140726669095406 140726669095501 140726669095501 140726669098958 0
/proc/2355/statm: 15784 9928 841 435 0 9147 0
Current children cumulated CPU time (s) 2322.24
Current children cumulated vsize (KiB) 63136
[startup+2382.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/185 2615
/proc/meminfo: memFree=30936584/32770624 swapFree=0/596696
[pid=2355] ppid=2352 vsize=63136 CPUtime=2382.25 cores=1,3,5,7
/proc/2355/stat : 2355 (cosoco) R 2352 2355 24445 0 -1 4202496 63483 0 0 0 238220 5 0 0 20 0 1 0 101832584 64651264 9928 18446744073709551615 4194304 5972588 140726669092608 140726669089912 4995517 0 0 1 8405026 0 0 0 17 5 0 0 8 0 0 8070896 8075904 25239552 140726669095406 140726669095501 140726669095501 140726669098958 0
/proc/2355/statm: 15784 9928 841 435 0 9147 0
Current children cumulated CPU time (s) 2382.25
Current children cumulated vsize (KiB) 63136
[startup+2442.3 s]
/proc/loadavg: 2.04 2.03 2.05 3/185 2617
/proc/meminfo: memFree=30936584/32770624 swapFree=0/596716
[pid=2355] ppid=2352 vsize=63268 CPUtime=2442.25 cores=1,3,5,7
/proc/2355/stat : 2355 (cosoco) R 2352 2355 24445 0 -1 4202496 64304 0 0 0 244220 5 0 0 20 0 1 0 101832584 64786432 9938 18446744073709551615 4194304 5972588 140726669092608 140726669089640 5099616 0 0 1 8405026 0 0 0 17 5 0 0 8 0 0 8070896 8075904 25239552 140726669095406 140726669095501 140726669095501 140726669098958 0
/proc/2355/statm: 15817 9938 841 435 0 9180 0
Current children cumulated CPU time (s) 2442.25
Current children cumulated vsize (KiB) 63268
[startup+2502.3 s]
/proc/loadavg: 2.02 2.03 2.05 3/185 2619
/proc/meminfo: memFree=30936696/32770624 swapFree=0/596720
[pid=2355] ppid=2352 vsize=63400 CPUtime=2502.25 cores=1,3,5,7
/proc/2355/stat : 2355 (cosoco) R 2352 2355 24445 0 -1 4202496 65079 0 0 0 250220 5 0 0 20 0 1 0 101832584 64921600 9957 18446744073709551615 4194304 5972588 140726669092608 140726669089640 4995590 0 0 1 8405026 0 0 0 17 5 0 0 8 0 0 8070896 8075904 25239552 140726669095406 140726669095501 140726669095501 140726669098958 0
/proc/2355/statm: 15850 9957 841 435 0 9213 0
Current children cumulated CPU time (s) 2502.25
Current children cumulated vsize (KiB) 63400
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+2520 s]
/proc/loadavg: 2.01 2.03 2.05 3/185 2619
/proc/meminfo: memFree=30936572/32770624 swapFree=0/596720
[pid=2355] ppid=2352 vsize=63400 CPUtime=2519.94 cores=1,3,5,7
/proc/2355/stat : 2355 (cosoco) R 2352 2355 24445 0 -1 4202496 65956 0 0 0 251989 5 0 0 20 0 1 0 101832584 64921600 9990 18446744073709551615 4194304 5972588 140726669092608 140726669089912 5099648 0 0 1 8405026 0 0 0 17 5 0 0 8 0 0 8070896 8075904 25239552 140726669095406 140726669095501 140726669095501 140726669098958 0
/proc/2355/statm: 15850 9990 841 435 0 9213 0
Current children cumulated CPU time (s) 2519.94
Current children cumulated vsize (KiB) 63400
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 2355 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.96
CPU user time (s): 2519.9
CPU system time (s): 0.056001
CPU usage (%): 99.9982
Max. virtual memory (cumulated for all children) (KiB): 63400
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2519.9
system time used= 0.056001
maximum resident set size= 40044
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 66000
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= 17
involuntary context switches= 2557
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.02338 second user time and 10.0191 second system time
The end