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-4267627-1502528773/watcher-4267627-1502528773 -o /tmp/evaluation-result-4267627-1502528773/solver-4267627-1502528773 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node133-1502500327-28377 --watchdog 2580 cosoco -lc -model -restarts HOME/instance-4267627-1502528773.xml
pid=3396
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.05 3/185 3399
/proc/meminfo: memFree=23340280/32770624 swapFree=0/456388
[pid=3399] ppid=3396 vsize=23672 CPUtime=0 cores=0,2,4,6
/proc/3399/stat : 3399 (runsolver) D 3396 3399 28313 0 -1 4202560 107 0 0 0 0 0 0 0 20 0 1 0 100692489 24240128 107 18446744073709551615 4194304 4338465 140723075425200 140723075422840 139961427215063 0 0 1 24578 18446744071580418449 0 0 17 0 0 0 0 0 0 6438912 6441760 22855680 140723075428545 140723075428937 140723075428937 140723075432394 0
/proc/3399/statm: 5918 107 54 36 0 2156 0
[startup+0.100198 s]
/proc/loadavg: 2.00 2.01 2.05 3/185 3399
/proc/meminfo: memFree=23340280/32770624 swapFree=0/456388
[pid=3399] ppid=3396 vsize=27260 CPUtime=0.01 cores=0,2,4,6
/proc/3399/stat : 3399 (cosoco) R 3396 3399 28313 0 -1 4202496 1020 0 0 0 1 0 0 0 20 0 1 0 100692489 27914240 832 18446744073709551615 4194304 5972588 140724063854480 140724063851128 140304943549413 0 0 1 0 0 0 0 17 4 0 0 7 0 0 8070896 8075904 15724544 140724063859182 140724063859277 140724063859277 140724063862734 0
/proc/3399/statm: 6815 832 709 435 0 178 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 27260
[startup+0.200337 s]
/proc/loadavg: 2.00 2.01 2.05 3/185 3399
/proc/meminfo: memFree=23340280/32770624 swapFree=0/456388
[pid=3399] ppid=3396 vsize=27664 CPUtime=0.11 cores=0,2,4,6
/proc/3399/stat : 3399 (cosoco) R 3396 3399 28313 0 -1 4202496 1128 0 0 0 11 0 0 0 20 0 1 0 100692489 28327936 964 18446744073709551615 4194304 5972588 140724063854480 140724063851128 140304943549413 0 0 1 0 0 0 0 17 4 0 0 7 0 0 8070896 8075904 15724544 140724063859182 140724063859277 140724063859277 140724063862734 0
/proc/3399/statm: 6916 964 716 435 0 279 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 27664
[startup+0.300315 s]
/proc/loadavg: 2.00 2.01 2.05 3/185 3399
/proc/meminfo: memFree=23340280/32770624 swapFree=0/456388
[pid=3399] ppid=3396 vsize=28120 CPUtime=0.21 cores=0,2,4,6
/proc/3399/stat : 3399 (cosoco) R 3396 3399 28313 0 -1 4202496 1284 0 0 0 21 0 0 0 20 0 1 0 100692489 28794880 1055 18446744073709551615 4194304 5972588 140724063854480 140724063851128 5496983 0 0 1 0 0 0 0 17 4 0 0 7 0 0 8070896 8075904 15724544 140724063859182 140724063859277 140724063859277 140724063862734 0
/proc/3399/statm: 7030 1055 716 435 0 393 0
Current children cumulated CPU time (s) 0.21
Current children cumulated vsize (KiB) 28120
[startup+0.700302 s]
/proc/loadavg: 2.00 2.01 2.05 3/185 3399
/proc/meminfo: memFree=23340280/32770624 swapFree=0/456388
[pid=3399] ppid=3396 vsize=44240 CPUtime=0.61 cores=0,2,4,6
/proc/3399/stat : 3399 (cosoco) R 3396 3399 28313 0 -1 4202496 5431 0 0 0 61 0 0 0 20 0 1 0 100692489 45301760 5093 18446744073709551615 4194304 5972588 140724063854480 140724063851128 140304943549413 0 0 1 0 0 0 0 17 4 0 0 7 0 0 8070896 8075904 15724544 140724063859182 140724063859277 140724063859277 140724063862734 0
/proc/3399/statm: 11060 5093 786 435 0 4423 0
Current children cumulated CPU time (s) 0.61
Current children cumulated vsize (KiB) 44240
[startup+1.5003 s]
/proc/loadavg: 2.00 2.01 2.05 3/186 3400
/proc/meminfo: memFree=23300272/32770624 swapFree=0/456392
[pid=3399] ppid=3396 vsize=89856 CPUtime=1.41 cores=0,2,4,6
/proc/3399/stat : 3399 (cosoco) R 3396 3399 28313 0 -1 4202496 16820 0 0 0 140 1 0 0 20 0 1 0 100692489 92012544 16511 18446744073709551615 4194304 5972588 140724063854480 140724063848040 4967517 0 0 1 0 0 0 0 17 4 0 0 7 0 0 8070896 8075904 15724544 140724063859182 140724063859277 140724063859277 140724063862734 0
/proc/3399/statm: 22464 16511 786 435 0 15827 0
Current children cumulated CPU time (s) 1.41
Current children cumulated vsize (KiB) 89856
[startup+3.10029 s]
/proc/loadavg: 2.00 2.01 2.05 3/186 3400
/proc/meminfo: memFree=23238028/32770624 swapFree=0/456392
[pid=3399] ppid=3396 vsize=180528 CPUtime=3.01 cores=0,2,4,6
/proc/3399/stat : 3399 (cosoco) R 3396 3399 28313 0 -1 4202496 39581 0 0 0 297 4 0 0 20 0 1 0 100692489 184860672 39130 18446744073709551615 4194304 5972588 140724063854480 140724063848040 4967517 0 0 1 0 0 0 0 17 4 0 0 7 0 0 8070896 8075904 15724544 140724063859182 140724063859277 140724063859277 140724063862734 0
/proc/3399/statm: 45132 39130 786 435 0 38495 0
Current children cumulated CPU time (s) 3.01
Current children cumulated vsize (KiB) 180528
[startup+6.3003 s]
/proc/loadavg: 2.00 2.01 2.05 3/186 3400
/proc/meminfo: memFree=23050756/32770624 swapFree=0/456392
[pid=3399] ppid=3396 vsize=361652 CPUtime=6.21 cores=0,2,4,6
/proc/3399/stat : 3399 (cosoco) R 3396 3399 28313 0 -1 4202496 84986 0 0 0 610 11 0 0 20 0 1 0 100692489 370331648 84413 18446744073709551615 4194304 5972588 140724063854480 140724063848040 4967517 0 0 1 0 0 0 0 17 4 0 0 7 0 0 8070896 8075904 15724544 140724063859182 140724063859277 140724063859277 140724063862734 0
/proc/3399/statm: 90413 84413 786 435 0 83776 0
Current children cumulated CPU time (s) 6.21
Current children cumulated vsize (KiB) 361652
[startup+12.7003 s]
/proc/loadavg: 2.00 2.01 2.05 3/186 3400
/proc/meminfo: memFree=22676632/32770624 swapFree=0/456392
[pid=3399] ppid=3396 vsize=723712 CPUtime=12.61 cores=0,2,4,6
/proc/3399/stat : 3399 (cosoco) R 3396 3399 28313 0 -1 4202496 175620 0 0 0 1237 24 0 0 20 0 1 0 100692489 741081088 174948 18446744073709551615 4194304 5972588 140724063854480 140724063846248 140304943549413 0 0 1 0 0 0 0 17 4 0 0 7 0 0 8070896 8075904 15724544 140724063859182 140724063859277 140724063859277 140724063862734 0
/proc/3399/statm: 180928 174948 786 435 0 174291 0
Current children cumulated CPU time (s) 12.61
Current children cumulated vsize (KiB) 723712
[startup+25.5004 s]
/proc/loadavg: 2.00 2.01 2.05 3/186 3401
/proc/meminfo: memFree=21671720/32770624 swapFree=0/456388
[pid=3399] ppid=3396 vsize=1730188 CPUtime=25.41 cores=0,2,4,6
/proc/3399/stat : 3399 (cosoco) R 3396 3399 28313 0 -1 4202496 501574 0 0 0 2482 59 0 0 20 0 1 0 100692489 1771712512 426694 18446744073709551615 4194304 5972588 140724063854480 140724063846056 140304943549413 0 0 1 8405026 0 0 0 17 4 0 0 7 0 0 8070896 8075904 15724544 140724063859182 140724063859277 140724063859277 140724063862734 0
/proc/3399/statm: 432547 426694 832 435 0 425910 0
Current children cumulated CPU time (s) 25.41
Current children cumulated vsize (KiB) 1730188
[startup+51.1004 s]
/proc/loadavg: 2.00 2.01 2.05 3/186 3401
/proc/meminfo: memFree=21284312/32770624 swapFree=0/456384
[pid=3399] ppid=3396 vsize=2078536 CPUtime=51.02 cores=0,2,4,6
/proc/3399/stat : 3399 (cosoco) R 3396 3399 28313 0 -1 4202496 731909 0 0 0 5025 77 0 0 20 0 1 0 100692489 2128420864 513787 18446744073709551615 4194304 5972588 140724063854480 140724063851336 5071280 0 0 1 8405026 0 0 0 17 4 0 0 7 0 0 8070896 8075904 15724544 140724063859182 140724063859277 140724063859277 140724063862734 0
/proc/3399/statm: 519634 513787 832 435 0 512997 0
Current children cumulated CPU time (s) 51.02
Current children cumulated vsize (KiB) 2078536
[startup+102.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/185 3403
/proc/meminfo: memFree=21013844/32770624 swapFree=0/456396
[pid=3399] ppid=3396 vsize=2348476 CPUtime=102.23 cores=0,2,4,6
/proc/3399/stat : 3399 (cosoco) R 3396 3399 28313 0 -1 4202496 1046327 0 0 0 10126 97 0 0 20 0 1 0 100692489 2404839424 581276 18446744073709551615 4194304 5972588 140724063854480 140724063851336 4962387 0 0 1 8405026 0 0 0 17 4 0 0 7 0 0 8070896 8075904 15724544 140724063859182 140724063859277 140724063859277 140724063862734 0
/proc/3399/statm: 587119 581276 832 435 0 580482 0
Current children cumulated CPU time (s) 102.23
Current children cumulated vsize (KiB) 2348476
[startup+162.3 s]
/proc/loadavg: 2.06 2.03 2.05 3/186 3406
/proc/meminfo: memFree=20757184/32770624 swapFree=0/456404
[pid=3399] ppid=3396 vsize=2513740 CPUtime=162.22 cores=0,2,4,6
/proc/3399/stat : 3399 (cosoco) R 3396 3399 28313 0 -1 4202496 1219138 0 0 0 16114 108 0 0 20 0 1 0 100692489 2574069760 622606 18446744073709551615 4194304 5972588 140724063854480 140724063851336 4965552 0 0 1 8405026 0 0 0 17 4 0 0 7 0 0 8070896 8075904 15724544 140724063859182 140724063859277 140724063859277 140724063862734 0
/proc/3399/statm: 628435 622606 832 435 0 621798 0
Current children cumulated CPU time (s) 162.22
Current children cumulated vsize (KiB) 2513740
[startup+222.306 s]
/proc/loadavg: 2.02 2.02 2.05 3/186 3409
/proc/meminfo: memFree=20507828/32770624 swapFree=0/456416
[pid=3399] ppid=3396 vsize=2527996 CPUtime=222.24 cores=0,2,4,6
/proc/3399/stat : 3399 (cosoco) R 3396 3399 28313 0 -1 4202496 1355253 0 0 0 22108 116 0 0 20 0 1 0 100692489 2588667904 626151 18446744073709551615 4194304 5972588 140724063854480 140724063851336 4969240 0 0 1 8405026 0 0 0 17 4 0 0 7 0 0 8070896 8075904 15724544 140724063859182 140724063859277 140724063859277 140724063862734 0
/proc/3399/statm: 631999 626151 832 435 0 625362 0
Current children cumulated CPU time (s) 222.24
Current children cumulated vsize (KiB) 2527996
[startup+282.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/185 3411
/proc/meminfo: memFree=20479576/32770624 swapFree=0/456420
[pid=3399] ppid=3396 vsize=2545684 CPUtime=282.23 cores=0,2,4,6
/proc/3399/stat : 3399 (cosoco) R 3396 3399 28313 0 -1 4202496 1507175 0 0 0 28100 123 0 0 20 0 1 0 100692489 2606780416 630572 18446744073709551615 4194304 5972588 140724063854480 140724063851336 4965316 0 0 1 8405026 0 0 0 17 4 0 0 7 0 0 8070896 8075904 15724544 140724063859182 140724063859277 140724063859277 140724063862734 0
/proc/3399/statm: 636421 630572 832 435 0 629784 0
Current children cumulated CPU time (s) 282.23
Current children cumulated vsize (KiB) 2545684
[startup+342.3 s]
/proc/loadavg: 2.04 2.03 2.05 3/186 3414
/proc/meminfo: memFree=20443608/32770624 swapFree=0/456432
[pid=3399] ppid=3396 vsize=2560204 CPUtime=342.24 cores=0,2,4,6
/proc/3399/stat : 3399 (cosoco) R 3396 3399 28313 0 -1 4202496 1656132 0 0 0 34092 132 0 0 20 0 1 0 100692489 2621648896 634209 18446744073709551615 4194304 5972588 140724063854480 140724063851336 4965681 0 0 1 8405026 0 0 0 17 4 0 0 7 0 0 8070896 8075904 15724544 140724063859182 140724063859277 140724063859277 140724063862734 0
/proc/3399/statm: 640051 634209 832 435 0 633414 0
Current children cumulated CPU time (s) 342.24
Current children cumulated vsize (KiB) 2560204
[startup+402.3 s]
/proc/loadavg: 2.02 2.02 2.05 3/186 3417
/proc/meminfo: memFree=20430204/32770624 swapFree=0/456444
[pid=3399] ppid=3396 vsize=2560204 CPUtime=402.24 cores=0,2,4,6
/proc/3399/stat : 3399 (cosoco) R 3396 3399 28313 0 -1 4202496 1789569 0 0 0 40085 139 0 0 20 0 1 0 100692489 2621648896 634209 18446744073709551615 4194304 5972588 140724063854480 140724063851336 4962240 0 0 1 8405026 0 0 0 17 4 0 0 7 0 0 8070896 8075904 15724544 140724063859182 140724063859277 140724063859277 140724063862734 0
/proc/3399/statm: 640051 634209 832 435 0 633414 0
Current children cumulated CPU time (s) 402.24
Current children cumulated vsize (KiB) 2560204
[startup+462.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/185 3419
/proc/meminfo: memFree=20207552/32770624 swapFree=0/456460
[pid=3399] ppid=3396 vsize=2757280 CPUtime=462.24 cores=0,2,4,6
/proc/3399/stat : 3399 (cosoco) R 3396 3399 28313 0 -1 4202496 2125674 0 0 0 46065 159 0 0 20 0 1 0 100692489 2823454720 683445 18446744073709551615 4194304 5972588 140724063854480 140724063851336 5070704 0 0 1 8405026 0 0 0 17 4 0 0 7 0 0 8070896 8075904 15724544 140724063859182 140724063859277 140724063859277 140724063862734 0
/proc/3399/statm: 689320 683445 832 435 0 682683 0
Current children cumulated CPU time (s) 462.24
Current children cumulated vsize (KiB) 2757280
[startup+522.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/189 3436
/proc/meminfo: memFree=20021780/32770624 swapFree=0/456476
[pid=3399] ppid=3396 vsize=2827108 CPUtime=522.25 cores=0,2,4,6
/proc/3399/stat : 3399 (cosoco) R 3396 3399 28313 0 -1 4202496 2424433 0 0 0 52049 176 0 0 20 0 1 0 100692489 2894958592 700949 18446744073709551615 4194304 5972588 140724063854480 140724063851336 4965428 0 0 1 8405026 0 0 0 17 4 0 0 7 0 0 8070896 8075904 15724544 140724063859182 140724063859277 140724063859277 140724063862734 0
/proc/3399/statm: 706777 700949 832 435 0 700140 0
Current children cumulated CPU time (s) 522.25
Current children cumulated vsize (KiB) 2827108
[startup+582.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/189 3462
/proc/meminfo: memFree=19967904/32770624 swapFree=0/456496
[pid=3399] ppid=3396 vsize=2845588 CPUtime=582.25 cores=0,2,4,6
/proc/3399/stat : 3399 (cosoco) R 3396 3399 28313 0 -1 4202496 2785669 0 0 0 58030 195 0 0 20 0 1 0 100692489 2913882112 705542 18446744073709551615 4194304 5972588 140724063854480 140724063851336 4965420 0 0 1 8405026 0 0 0 17 4 0 0 7 0 0 8070896 8075904 15724544 140724063859182 140724063859277 140724063859277 140724063862734 0
/proc/3399/statm: 711397 705542 832 435 0 704760 0
Current children cumulated CPU time (s) 582.25
Current children cumulated vsize (KiB) 2845588
################
# More data... #
################
[startup+1602.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/184 3514
/proc/meminfo: memFree=19148248/32770624 swapFree=0/456704
[pid=3399] ppid=3396 vsize=3184036 CPUtime=1602.33 cores=0,2,4,6
/proc/3399/stat : 3399 (cosoco) R 3396 3399 28313 0 -1 4202496 7746099 0 0 0 159780 453 0 0 20 0 1 0 100692489 3260452864 790164 18446744073709551615 4194304 5972588 140724063854480 140724063851336 4965382 0 0 1 8405026 0 0 0 17 4 0 0 7 0 0 8070896 8075904 15724544 140724063859182 140724063859277 140724063859277 140724063862734 0
/proc/3399/statm: 796009 790164 833 435 0 789372 0
Current children cumulated CPU time (s) 1602.33
Current children cumulated vsize (KiB) 3184036
[startup+1662.3 s]
/proc/loadavg: 2.07 2.03 2.05 3/186 3579
/proc/meminfo: memFree=26973684/32770624 swapFree=0/456728
[pid=3399] ppid=3396 vsize=3184960 CPUtime=1662.34 cores=0,2,4,6
/proc/3399/stat : 3399 (cosoco) R 3396 3399 28313 0 -1 4202496 7997869 0 0 0 165766 468 0 0 20 0 1 0 100692489 3261399040 790393 18446744073709551615 4194304 5972588 140724063854480 140724063851336 5070704 0 0 1 8405026 0 0 0 17 4 0 0 7 0 0 8070896 8075904 15724544 140724063859182 140724063859277 140724063859277 140724063862734 0
/proc/3399/statm: 796240 790393 833 435 0 789603 0
Current children cumulated CPU time (s) 1662.34
Current children cumulated vsize (KiB) 3184960
[startup+1722.3 s]
/proc/loadavg: 2.03 2.02 2.05 3/190 3596
/proc/meminfo: memFree=25446020/32770624 swapFree=0/456708
[pid=3399] ppid=3396 vsize=3184960 CPUtime=1722.33 cores=0,2,4,6
/proc/3399/stat : 3399 (cosoco) R 3396 3399 28313 0 -1 4202496 8148023 0 0 0 171758 475 0 0 20 0 1 0 100692489 3261399040 790393 18446744073709551615 4194304 5972588 140724063854480 140724063851336 4962339 0 0 1 8405026 0 0 0 17 4 0 0 7 0 0 8070896 8075904 15724544 140724063859182 140724063859277 140724063859277 140724063862734 0
/proc/3399/statm: 796240 790393 833 435 0 789603 0
Current children cumulated CPU time (s) 1722.33
Current children cumulated vsize (KiB) 3184960
[startup+1782.3 s]
/proc/loadavg: 2.06 2.04 2.05 3/187 3680
/proc/meminfo: memFree=19610720/32770624 swapFree=0/456720
[pid=3399] ppid=3396 vsize=3185488 CPUtime=1782.34 cores=0,2,4,6
/proc/3399/stat : 3399 (cosoco) R 3396 3399 28313 0 -1 4202496 8285092 0 0 0 177751 483 0 0 20 0 1 0 100692489 3261939712 790551 18446744073709551615 4194304 5972588 140724063854480 140724063851336 4965365 0 0 1 8405026 0 0 0 17 4 0 0 7 0 0 8070896 8075904 15724544 140724063859182 140724063859277 140724063859277 140724063862734 0
/proc/3399/statm: 796372 790551 833 435 0 789735 0
Current children cumulated CPU time (s) 1782.34
Current children cumulated vsize (KiB) 3185488
[startup+1842.3 s]
/proc/loadavg: 2.08 2.04 2.05 3/187 3682
/proc/meminfo: memFree=19611460/32770624 swapFree=0/456720
[pid=3399] ppid=3396 vsize=3186016 CPUtime=1842.34 cores=0,2,4,6
/proc/3399/stat : 3399 (cosoco) R 3396 3399 28313 0 -1 4202496 8434355 0 0 0 183744 490 0 0 20 0 1 0 100692489 3262480384 790673 18446744073709551615 4194304 5972588 140724063854480 140724063851336 4909184 0 0 1 8405026 0 0 0 17 4 0 0 7 0 0 8070896 8075904 15724544 140724063859182 140724063859277 140724063859277 140724063862734 0
/proc/3399/statm: 796504 790673 833 435 0 789867 0
Current children cumulated CPU time (s) 1842.34
Current children cumulated vsize (KiB) 3186016
[startup+1902.3 s]
/proc/loadavg: 2.07 2.05 2.05 3/187 3684
/proc/meminfo: memFree=19609816/32770624 swapFree=0/456728
[pid=3399] ppid=3396 vsize=3187336 CPUtime=1902.34 cores=0,2,4,6
/proc/3399/stat : 3399 (cosoco) R 3396 3399 28313 0 -1 4202496 8683722 0 0 0 189731 503 0 0 20 0 1 0 100692489 3263832064 791016 18446744073709551615 4194304 5972588 140724063854480 140724063851336 4965669 0 0 1 8405026 0 0 0 17 4 0 0 7 0 0 8070896 8075904 15724544 140724063859182 140724063859277 140724063859277 140724063862734 0
/proc/3399/statm: 796834 791016 833 435 0 790197 0
Current children cumulated CPU time (s) 1902.34
Current children cumulated vsize (KiB) 3187336
[startup+1962.3 s]
/proc/loadavg: 2.03 2.04 2.05 3/186 3687
/proc/meminfo: memFree=19609768/32770624 swapFree=0/456740
[pid=3399] ppid=3396 vsize=3187996 CPUtime=1962.33 cores=0,2,4,6
/proc/3399/stat : 3399 (cosoco) R 3396 3399 28313 0 -1 4202496 8938367 0 0 0 195717 516 0 0 20 0 1 0 100692489 3264507904 791170 18446744073709551615 4194304 5972588 140724063854480 140724063851336 5071280 0 0 1 8405026 0 0 0 17 4 0 0 7 0 0 8070896 8075904 15724544 140724063859182 140724063859277 140724063859277 140724063862734 0
/proc/3399/statm: 796999 791170 833 435 0 790362 0
Current children cumulated CPU time (s) 1962.33
Current children cumulated vsize (KiB) 3187996
[startup+2022.3 s]
/proc/loadavg: 2.24 2.10 2.06 3/186 3691
/proc/meminfo: memFree=19608508/32770624 swapFree=0/456752
[pid=3399] ppid=3396 vsize=3188128 CPUtime=2022.34 cores=0,2,4,6
/proc/3399/stat : 3399 (cosoco) R 3396 3399 28313 0 -1 4202496 9160321 0 0 0 201706 528 0 0 20 0 1 0 100692489 3264643072 791196 18446744073709551615 4194304 5972588 140724063854480 140724063851336 4965362 0 0 1 8405026 0 0 0 17 4 0 0 7 0 0 8070896 8075904 15724544 140724063859182 140724063859277 140724063859277 140724063862734 0
/proc/3399/statm: 797032 791196 833 435 0 790395 0
Current children cumulated CPU time (s) 2022.34
Current children cumulated vsize (KiB) 3188128
[startup+2082.3 s]
/proc/loadavg: 2.16 2.09 2.06 3/186 3693
/proc/meminfo: memFree=19607840/32770624 swapFree=0/456760
[pid=3399] ppid=3396 vsize=3188788 CPUtime=2082.34 cores=0,2,4,6
/proc/3399/stat : 3399 (cosoco) R 3396 3399 28313 0 -1 4202496 9396918 0 0 0 207693 541 0 0 20 0 1 0 100692489 3265318912 791360 18446744073709551615 4194304 5972588 140724063854480 140724063851336 5053024 0 0 1 8405026 0 0 0 17 4 0 0 7 0 0 8070896 8075904 15724544 140724063859182 140724063859277 140724063859277 140724063862734 0
/proc/3399/statm: 797197 791360 833 435 0 790560 0
Current children cumulated CPU time (s) 2082.34
Current children cumulated vsize (KiB) 3188788
[startup+2142.3 s]
/proc/loadavg: 2.06 2.08 2.06 3/186 3695
/proc/meminfo: memFree=19608660/32770624 swapFree=0/456772
[pid=3399] ppid=3396 vsize=3188788 CPUtime=2142.33 cores=0,2,4,6
/proc/3399/stat : 3399 (cosoco) R 3396 3399 28313 0 -1 4202496 9581158 0 0 0 213683 550 0 0 20 0 1 0 100692489 3265318912 791360 18446744073709551615 4194304 5972588 140724063854480 140724063851336 4968769 0 0 1 8405026 0 0 0 17 4 0 0 7 0 0 8070896 8075904 15724544 140724063859182 140724063859277 140724063859277 140724063862734 0
/proc/3399/statm: 797197 791360 833 435 0 790560 0
Current children cumulated CPU time (s) 2142.33
Current children cumulated vsize (KiB) 3188788
[startup+2202.31 s]
/proc/loadavg: 2.02 2.06 2.05 3/186 3698
/proc/meminfo: memFree=19608512/32770624 swapFree=0/456784
[pid=3399] ppid=3396 vsize=3188788 CPUtime=2202.35 cores=0,2,4,6
/proc/3399/stat : 3399 (cosoco) R 3396 3399 28313 0 -1 4202496 9792022 0 0 0 219673 562 0 0 20 0 1 0 100692489 3265318912 791368 18446744073709551615 4194304 5972588 140724063854480 140724063851336 4969252 0 0 1 8405026 0 0 0 17 4 0 0 7 0 0 8070896 8075904 15724544 140724063859182 140724063859277 140724063859277 140724063862734 0
/proc/3399/statm: 797197 791368 833 435 0 790560 0
Current children cumulated CPU time (s) 2202.35
Current children cumulated vsize (KiB) 3188788
[startup+2262.3 s]
/proc/loadavg: 2.01 2.05 2.05 3/186 3701
/proc/meminfo: memFree=19608664/32770624 swapFree=0/456800
[pid=3399] ppid=3396 vsize=3188920 CPUtime=2262.34 cores=0,2,4,6
/proc/3399/stat : 3399 (cosoco) R 3396 3399 28313 0 -1 4202496 9994410 0 0 0 225662 572 0 0 20 0 1 0 100692489 3265454080 791384 18446744073709551615 4194304 5972588 140724063854480 140724063851336 4909211 0 0 1 8405026 0 0 0 17 4 0 0 7 0 0 8070896 8075904 15724544 140724063859182 140724063859277 140724063859277 140724063862734 0
/proc/3399/statm: 797230 791384 833 435 0 790593 0
Current children cumulated CPU time (s) 2262.34
Current children cumulated vsize (KiB) 3188920
[startup+2322.3 s]
/proc/loadavg: 2.05 2.06 2.05 3/190 3719
/proc/meminfo: memFree=19600748/32770624 swapFree=0/456796
[pid=3399] ppid=3396 vsize=3191032 CPUtime=2322.34 cores=0,2,4,6
/proc/3399/stat : 3399 (cosoco) R 3396 3399 28313 0 -1 4202496 10222002 0 0 0 231650 584 0 0 20 0 1 0 100692489 3267616768 791938 18446744073709551615 4194304 5972588 140724063854480 140724063851336 4965342 0 0 1 8405026 0 0 0 17 4 0 0 7 0 0 8070896 8075904 15724544 140724063859182 140724063859277 140724063859277 140724063862734 0
/proc/3399/statm: 797758 791938 833 435 0 791121 0
Current children cumulated CPU time (s) 2322.34
Current children cumulated vsize (KiB) 3191032
[startup+2382.3 s]
/proc/loadavg: 2.09 2.07 2.05 3/187 3721
/proc/meminfo: memFree=19603552/32770624 swapFree=0/456808
[pid=3399] ppid=3396 vsize=3191296 CPUtime=2382.33 cores=0,2,4,6
/proc/3399/stat : 3399 (cosoco) R 3396 3399 28313 0 -1 4202496 10321969 0 0 0 237645 588 0 0 20 0 1 0 100692489 3267887104 792000 18446744073709551615 4194304 5972588 140724063854480 140724063851336 4965681 0 0 1 8405026 0 0 0 17 4 0 0 7 0 0 8070896 8075904 15724544 140724063859182 140724063859277 140724063859277 140724063862734 0
/proc/3399/statm: 797824 792000 833 435 0 791187 0
Current children cumulated CPU time (s) 2382.33
Current children cumulated vsize (KiB) 3191296
[startup+2442.3 s]
/proc/loadavg: 2.03 2.06 2.05 3/187 3723
/proc/meminfo: memFree=19605132/32770624 swapFree=0/456812
[pid=3399] ppid=3396 vsize=3191296 CPUtime=2442.34 cores=0,2,4,6
/proc/3399/stat : 3399 (cosoco) R 3396 3399 28313 0 -1 4202496 10405304 0 0 0 243641 593 0 0 20 0 1 0 100692489 3267887104 792011 18446744073709551615 4194304 5972588 140724063854480 140724063851336 5071040 0 0 1 8405026 0 0 0 17 4 0 0 7 0 0 8070896 8075904 15724544 140724063859182 140724063859277 140724063859277 140724063862734 0
/proc/3399/statm: 797824 792011 833 435 0 791187 0
Current children cumulated CPU time (s) 2442.34
Current children cumulated vsize (KiB) 3191296
[startup+2502.3 s]
/proc/loadavg: 2.01 2.05 2.05 3/187 3725
/proc/meminfo: memFree=19605332/32770624 swapFree=0/456820
[pid=3399] ppid=3396 vsize=3191428 CPUtime=2502.33 cores=0,2,4,6
/proc/3399/stat : 3399 (cosoco) R 3396 3399 28313 0 -1 4202496 10487477 0 0 0 249637 596 0 0 20 0 1 0 100692489 3268022272 792020 18446744073709551615 4194304 5972588 140724063854480 140724063851336 4909597 0 0 1 8405026 0 0 0 17 4 0 0 7 0 0 8070896 8075904 15724544 140724063859182 140724063859277 140724063859277 140724063862734 0
/proc/3399/statm: 797857 792020 833 435 0 791220 0
Current children cumulated CPU time (s) 2502.33
Current children cumulated vsize (KiB) 3191428
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+2520 s]
/proc/loadavg: 2.01 2.05 2.05 3/187 3726
/proc/meminfo: memFree=19605036/32770624 swapFree=0/456820
[pid=3399] ppid=3396 vsize=3191428 CPUtime=2520.03 cores=0,2,4,6
/proc/3399/stat : 3399 (cosoco) R 3396 3399 28313 0 -1 4202496 10534120 0 0 0 251405 598 0 0 20 0 1 0 100692489 3268022272 792020 18446744073709551615 4194304 5972588 140724063854480 140724063851336 4965365 0 0 1 8405026 0 0 0 17 4 0 0 7 0 0 8070896 8075904 15724544 140724063859182 140724063859277 140724063859277 140724063862734 0
/proc/3399/statm: 797857 792020 833 435 0 791220 0
Current children cumulated CPU time (s) 2520.03
Current children cumulated vsize (KiB) 3191428
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 3399 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 1
Real time (s): 2520.1
CPU time (s): 2520.14
CPU user time (s): 2514.06
CPU system time (s): 6.08743
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 3191428
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2514.06
system time used= 6.08743
maximum resident set size= 3168144
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 10534166
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= 130
involuntary context switches= 2039
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.21638 second user time and 10.7731 second system time
The end