runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.0 (svn: 935)
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-3250562-1304095235/watcher-3250562-1304095235 -o /tmp/evaluation-result-3250562-1304095235/solver-3250562-1304095235 -C 4800 -W 1300 -M 15500 SArTagnan HOME/instance-3250562-1304095235.cnf -threads=4
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 4800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 4830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1300 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: 10240 KiB
[startup+0 s]
/proc/loadavg: 8.16 8.09 7.96 5/180 558
/proc/meminfo: memFree=21439304/32950928 swapFree=67111524/67111528
[pid=558] ppid=556 vsize=18996 CPUtime=0 cores=0,2,4,6
/proc/558/stat : 558 (SArTagnan) R 556 558 384 0 -1 4202496 428 0 0 0 0 0 0 0 25 0 1 0 521122290 19451904 365 33554432000 4194304 4623224 140734342024000 18446744073709551615 268272385803 0 0 4096 2 0 0 0 17 2 0 0 0
/proc/558/statm: 4749 368 296 105 0 253 0
[startup+0.0996289 s]
/proc/loadavg: 8.16 8.09 7.96 5/180 558
/proc/meminfo: memFree=21439304/32950928 swapFree=67111524/67111528
[pid=558] ppid=556 vsize=255632 CPUtime=0.33 cores=0,2,4,6
/proc/558/stat : 558 (SArTagnan) R 556 558 384 0 -1 4202496 4324 0 0 0 33 0 0 0 25 0 4 0 521122290 261767168 2862 33554432000 4194304 4623224 140734342024000 18446744073709551615 4510316 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/558/statm: 63908 2862 336 105 0 59412 0
Current children cumulated CPU time (s) 0.33
Current children cumulated vsize (KiB) 255632
[startup+0.123316 s]
/proc/loadavg: 8.16 8.09 7.96 5/180 558
/proc/meminfo: memFree=21439304/32950928 swapFree=67111524/67111528
[pid=558] ppid=556 vsize=255632 CPUtime=0.42 cores=0,2,4,6
/proc/558/stat : 558 (SArTagnan) R 556 558 384 0 -1 4202496 4527 0 0 0 42 0 0 0 25 0 4 0 521122290 261767168 2937 33554432000 4194304 4623224 140734342024000 18446744073709551615 4415016 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/558/statm: 63908 2937 336 105 0 59412 0
Current children cumulated CPU time (s) 0.42
Current children cumulated vsize (KiB) 255632
[startup+0.300466 s]
/proc/loadavg: 8.16 8.09 7.96 5/180 558
/proc/meminfo: memFree=21439304/32950928 swapFree=67111524/67111528
[pid=558] ppid=556 vsize=255996 CPUtime=1.13 cores=0,2,4,6
/proc/558/stat : 558 (SArTagnan) R 556 558 384 0 -1 4202496 7318 0 0 0 113 0 0 0 25 0 4 0 521122290 262139904 3241 33554432000 4194304 4623224 140734342024000 18446744073709551615 268272356354 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/558/statm: 63999 3241 336 105 0 59503 0
Current children cumulated CPU time (s) 1.13
Current children cumulated vsize (KiB) 255996
[startup+0.700394 s]
/proc/loadavg: 8.16 8.09 7.96 5/180 558
/proc/meminfo: memFree=21439304/32950928 swapFree=67111524/67111528
[pid=558] ppid=556 vsize=255996 CPUtime=2.74 cores=0,2,4,6
/proc/558/stat : 558 (SArTagnan) R 556 558 384 0 -1 4202496 10981 0 0 0 273 1 0 0 25 0 4 0 521122290 262139904 4393 33554432000 4194304 4623224 140734342024000 18446744073709551615 4422782 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/558/statm: 63999 4394 338 105 0 59503 0
Current children cumulated CPU time (s) 2.74
Current children cumulated vsize (KiB) 255996
[startup+1.50025 s]
/proc/loadavg: 8.16 8.09 7.96 9/184 562
/proc/meminfo: memFree=21418820/32950928 swapFree=67111524/67111528
[pid=558] ppid=556 vsize=259224 CPUtime=5.93 cores=0,2,4,6
/proc/558/stat : 558 (SArTagnan) R 556 558 384 0 -1 4202496 19375 0 0 0 591 2 0 0 25 0 4 0 521122290 265445376 6322 33554432000 4194304 4623224 140734342024000 18446744073709551615 4415014 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/558/statm: 64806 6322 341 105 0 60310 0
[pid=558/tid=560] ppid=556 vsize=259224 CPUtime=1.47 cores=0,2,4,6
/proc/558/task/560/stat : 560 (SArTagnan) R 556 558 384 0 -1 4202560 3048 0 0 0 147 0 0 0 25 0 4 0 521122291 265445376 6322 33554432000 4194304 4623224 140734342024000 18446744073709551615 4376672 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=558/tid=561] ppid=556 vsize=259224 CPUtime=1.48 cores=0,2,4,6
/proc/558/task/561/stat : 561 (SArTagnan) R 556 558 384 0 -1 4202560 2571 0 0 0 148 0 0 0 25 0 4 0 521122291 265445376 6322 33554432000 4194304 4623224 140734342024000 18446744073709551615 4376869 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=558/tid=562] ppid=556 vsize=259224 CPUtime=1.47 cores=0,2,4,6
/proc/558/task/562/stat : 562 (SArTagnan) R 556 558 384 0 -1 4202560 11003 0 0 0 146 1 0 0 25 0 4 0 521122291 265445376 6322 33554432000 4194304 4623224 140734342024000 18446744073709551615 4546816 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 5.93
Current children cumulated vsize (KiB) 259224
[startup+3.10097 s]
/proc/loadavg: 8.16 8.09 7.96 9/184 562
/proc/meminfo: memFree=21409264/32950928 swapFree=67111524/67111528
[pid=558] ppid=556 vsize=264024 CPUtime=12.33 cores=0,2,4,6
/proc/558/stat : 558 (SArTagnan) R 556 558 384 0 -1 4202496 35233 0 0 0 1229 4 0 0 25 0 4 0 521122290 270360576 9875 33554432000 4194304 4623224 140734342024000 18446744073709551615 4510090 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/558/statm: 66006 9875 343 105 0 61510 0
[pid=558/tid=560] ppid=556 vsize=264024 CPUtime=3.07 cores=0,2,4,6
/proc/558/task/560/stat : 560 (SArTagnan) R 556 558 384 0 -1 4202560 5172 0 0 0 307 0 0 0 25 0 4 0 521122291 270360576 9875 33554432000 4194304 4623224 140734342024000 18446744073709551615 4376711 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=558/tid=561] ppid=556 vsize=264024 CPUtime=3.07 cores=0,2,4,6
/proc/558/task/561/stat : 561 (SArTagnan) R 556 558 384 0 -1 4202560 3973 0 0 0 307 0 0 0 25 0 4 0 521122291 270360576 9875 33554432000 4194304 4623224 140734342024000 18446744073709551615 4376711 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=558/tid=562] ppid=556 vsize=264024 CPUtime=3.06 cores=0,2,4,6
/proc/558/task/562/stat : 562 (SArTagnan) R 556 558 384 0 -1 4202560 22556 0 0 0 304 2 0 0 25 0 4 0 521122291 270360576 9875 33554432000 4194304 4623224 140734342024000 18446744073709551615 4376827 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 12.33
Current children cumulated vsize (KiB) 264024
[startup+6.3004 s]
/proc/loadavg: 8.14 8.09 7.96 9/184 562
/proc/meminfo: memFree=21378512/32950928 swapFree=67111524/67111528
[pid=558] ppid=556 vsize=272036 CPUtime=25.11 cores=0,2,4,6
/proc/558/stat : 558 (SArTagnan) R 556 558 384 0 -1 4202496 57629 0 0 0 2503 8 0 0 25 0 4 0 521122290 278564864 15916 33554432000 4194304 4623224 140734342024000 18446744073709551615 4414480 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/558/statm: 68009 15916 363 105 0 63513 0
[pid=558/tid=560] ppid=556 vsize=272036 CPUtime=6.27 cores=0,2,4,6
/proc/558/task/560/stat : 560 (SArTagnan) R 556 558 384 0 -1 4202560 8375 0 0 0 626 1 0 0 25 0 4 0 521122291 278564864 15916 33554432000 4194304 4623224 140734342024000 18446744073709551615 4376662 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=558/tid=561] ppid=556 vsize=272036 CPUtime=6.27 cores=0,2,4,6
/proc/558/task/561/stat : 561 (SArTagnan) R 556 558 384 0 -1 4202560 6496 0 0 0 627 0 0 0 25 0 4 0 521122291 278564864 15916 33554432000 4194304 4623224 140734342024000 18446744073709551615 4376672 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=558/tid=562] ppid=556 vsize=272036 CPUtime=6.24 cores=0,2,4,6
/proc/558/task/562/stat : 562 (SArTagnan) R 556 558 384 0 -1 4202560 38447 0 0 0 619 5 0 0 25 0 4 0 521122291 278564864 15916 33554432000 4194304 4623224 140734342024000 18446744073709551615 4550498 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 25.11
Current children cumulated vsize (KiB) 272036
[startup+12.7003 s]
/proc/loadavg: 8.13 8.09 7.96 9/184 562
/proc/meminfo: memFree=21336984/32950928 swapFree=67111524/67111528
[pid=558] ppid=556 vsize=286508 CPUtime=50.67 cores=0,2,4,6
/proc/558/stat : 558 (SArTagnan) R 556 558 384 0 -1 4202496 94605 0 0 0 5053 14 0 0 25 0 4 0 521122290 293384192 24674 33554432000 4194304 4623224 140734342024000 18446744073709551615 4510090 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/558/statm: 71627 24674 409 105 0 67131 0
[pid=558/tid=560] ppid=556 vsize=286508 CPUtime=12.67 cores=0,2,4,6
/proc/558/task/560/stat : 560 (SArTagnan) R 556 558 384 0 -1 4202560 13072 0 0 0 1265 2 0 0 25 0 4 0 521122291 293384192 24674 33554432000 4194304 4623224 140734342024000 18446744073709551615 4376629 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=558/tid=561] ppid=556 vsize=286508 CPUtime=12.68 cores=0,2,4,6
/proc/558/task/561/stat : 561 (SArTagnan) R 556 558 384 0 -1 4202560 10091 0 0 0 1266 2 0 0 25 0 4 0 521122291 293384192 24674 33554432000 4194304 4623224 140734342024000 18446744073709551615 4376827 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=558/tid=562] ppid=556 vsize=286508 CPUtime=12.61 cores=0,2,4,6
/proc/558/task/562/stat : 562 (SArTagnan) R 556 558 384 0 -1 4202560 65449 0 0 0 1253 8 0 0 25 0 4 0 521122291 293384192 24674 33554432000 4194304 4623224 140734342024000 18446744073709551615 4545623 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 50.67
Current children cumulated vsize (KiB) 286508
[startup+25.501 s]
/proc/loadavg: 8.10 8.08 7.96 9/184 562
/proc/meminfo: memFree=21285136/32950928 swapFree=67111524/67111528
[pid=558] ppid=556 vsize=299020 CPUtime=101.81 cores=0,2,4,6
/proc/558/stat : 558 (SArTagnan) R 556 558 384 0 -1 4202496 152825 0 0 0 10156 25 0 0 25 0 4 0 521122290 306196480 35273 33554432000 4194304 4623224 140734342024000 18446744073709551615 4415995 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/558/statm: 74755 35273 471 105 0 70259 0
[pid=558/tid=560] ppid=556 vsize=299020 CPUtime=25.47 cores=0,2,4,6
/proc/558/task/560/stat : 560 (SArTagnan) R 556 558 384 0 -1 4202560 19541 0 0 0 2544 3 0 0 25 0 4 0 521122291 306196480 35273 33554432000 4194304 4623224 140734342024000 18446744073709551615 4376960 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=558/tid=561] ppid=556 vsize=299020 CPUtime=25.47 cores=0,2,4,6
/proc/558/task/561/stat : 561 (SArTagnan) R 556 558 384 0 -1 4202560 14050 0 0 0 2544 3 0 0 25 0 4 0 521122291 306196480 35273 33554432000 4194304 4623224 140734342024000 18446744073709551615 4376675 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=558/tid=562] ppid=556 vsize=299020 CPUtime=25.34 cores=0,2,4,6
/proc/558/task/562/stat : 562 (SArTagnan) R 556 558 384 0 -1 4202560 110660 0 0 0 2518 16 0 0 25 0 4 0 521122291 306196480 35273 33554432000 4194304 4623224 140734342024000 18446744073709551615 4550411 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 101.81
Current children cumulated vsize (KiB) 299020
[startup+51.1004 s]
/proc/loadavg: 8.12 8.09 7.96 9/184 563
/proc/meminfo: memFree=21192112/32950928 swapFree=67111524/67111528
[pid=558] ppid=556 vsize=324024 CPUtime=204.06 cores=0,2,4,6
/proc/558/stat : 558 (SArTagnan) R 556 558 384 0 -1 4202496 246651 0 0 0 20363 43 0 0 25 0 4 0 521122290 331800576 49885 33554432000 4194304 4623224 140734342024000 18446744073709551615 4517494 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/558/statm: 81006 49885 551 105 0 76510 0
[pid=558/tid=560] ppid=556 vsize=324024 CPUtime=51.07 cores=0,2,4,6
/proc/558/task/560/stat : 560 (SArTagnan) R 556 558 384 0 -1 4202560 27119 0 0 0 5103 4 0 0 25 0 4 0 521122291 331800576 49885 33554432000 4194304 4623224 140734342024000 18446744073709551615 4376711 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=558/tid=561] ppid=556 vsize=324024 CPUtime=51.07 cores=0,2,4,6
/proc/558/task/561/stat : 561 (SArTagnan) R 556 558 384 0 -1 4202560 20078 0 0 0 5102 5 0 0 25 0 4 0 521122291 331800576 49885 33554432000 4194304 4623224 140734342024000 18446744073709551615 4376625 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=558/tid=562] ppid=556 vsize=324024 CPUtime=50.8 cores=0,2,4,6
/proc/558/task/562/stat : 562 (SArTagnan) R 556 558 384 0 -1 4202560 186913 0 0 0 5051 29 0 0 25 0 4 0 521122291 331800576 49885 33554432000 4194304 4623224 140734342024000 18446744073709551615 4555177 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 204.06
Current children cumulated vsize (KiB) 324024
[startup+102.306 s]
/proc/loadavg: 8.10 8.09 7.97 9/184 564
/proc/meminfo: memFree=21013524/32950928 swapFree=67111524/67111528
[pid=558] ppid=556 vsize=468208 CPUtime=408.61 cores=0,2,4,6
/proc/558/stat : 558 (SArTagnan) R 556 558 384 0 -1 4202496 365998 0 0 0 40794 67 0 0 25 0 4 0 521122290 479444992 78039 33554432000 4194304 4623224 140734342024000 18446744073709551615 4510169 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/558/statm: 117052 78039 864 105 0 112556 0
[pid=558/tid=560] ppid=556 vsize=468208 CPUtime=102.28 cores=0,2,4,6
/proc/558/task/560/stat : 560 (SArTagnan) R 556 558 384 0 -1 4202560 40062 0 0 0 10221 7 0 0 25 0 4 0 521122291 479444992 78039 33554432000 4194304 4623224 140734342024000 18446744073709551615 4376662 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=558/tid=561] ppid=556 vsize=468208 CPUtime=102.28 cores=0,2,4,6
/proc/558/task/561/stat : 561 (SArTagnan) R 556 558 384 0 -1 4202560 29977 0 0 0 10220 8 0 0 25 0 4 0 521122291 479444992 78039 33554432000 4194304 4623224 140734342024000 18446744073709551615 4376711 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=558/tid=562] ppid=556 vsize=468208 CPUtime=101.72 cores=0,2,4,6
/proc/558/task/562/stat : 562 (SArTagnan) R 556 558 384 0 -1 4202560 269597 0 0 0 10127 45 0 0 25 0 4 0 521122291 479444992 78039 33554432000 4194304 4623224 140734342024000 18446744073709551615 4366412 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 408.61
Current children cumulated vsize (KiB) 468208
[startup+162.301 s]
/proc/loadavg: 8.10 8.09 7.97 9/184 566
/proc/meminfo: memFree=20916536/32950928 swapFree=67111524/67111528
[pid=558] ppid=556 vsize=570036 CPUtime=648.26 cores=0,2,4,6
/proc/558/stat : 558 (SArTagnan) R 556 558 384 0 -1 4202496 762255 0 0 0 64692 134 0 0 25 0 4 0 521122290 583716864 97133 33554432000 4194304 4623224 140734342024000 18446744073709551615 4510090 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/558/statm: 142509 97133 1195 105 0 138013 0
[pid=558/tid=560] ppid=556 vsize=570036 CPUtime=162.28 cores=0,2,4,6
/proc/558/task/560/stat : 560 (SArTagnan) R 556 558 384 0 -1 4202560 44879 0 0 0 16218 10 0 0 25 0 4 0 521122291 583716864 97133 33554432000 4194304 4623224 140734342024000 18446744073709551615 4377576 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=558/tid=561] ppid=556 vsize=570036 CPUtime=162.27 cores=0,2,4,6
/proc/558/task/561/stat : 561 (SArTagnan) R 556 558 384 0 -1 4202560 31701 0 0 0 16218 9 0 0 25 0 4 0 521122291 583716864 97133 33554432000 4194304 4623224 140734342024000 18446744073709551615 4377128 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=558/tid=562] ppid=556 vsize=570036 CPUtime=161.39 cores=0,2,4,6
/proc/558/task/562/stat : 562 (SArTagnan) R 556 558 384 0 -1 4202560 646008 0 0 0 16034 105 0 0 25 0 4 0 521122291 583716864 97133 33554432000 4194304 4623224 140734342024000 18446744073709551615 4366412 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 648.26
Current children cumulated vsize (KiB) 570036
[startup+222.301 s]
/proc/loadavg: 8.03 8.07 7.97 9/184 568
/proc/meminfo: memFree=20785952/32950928 swapFree=67111524/67111528
[pid=558] ppid=556 vsize=608788 CPUtime=887.93 cores=0,2,4,6
/proc/558/stat : 558 (SArTagnan) R 556 558 384 0 -1 4202496 818976 0 0 0 88647 146 0 0 25 0 4 0 521122290 623398912 116577 33554432000 4194304 4623224 140734342024000 18446744073709551615 4510316 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/558/statm: 152197 116577 1238 105 0 147701 0
[pid=558/tid=560] ppid=556 vsize=608788 CPUtime=222.27 cores=0,2,4,6
/proc/558/task/560/stat : 560 (SArTagnan) R 556 558 384 0 -1 4202560 65675 0 0 0 22211 16 0 0 25 0 4 0 521122291 623398912 116577 33554432000 4194304 4623224 140734342024000 18446744073709551615 4376640 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=558/tid=561] ppid=556 vsize=608788 CPUtime=222.28 cores=0,2,4,6
/proc/558/task/561/stat : 561 (SArTagnan) R 556 558 384 0 -1 4202560 41022 0 0 0 22217 11 0 0 25 0 4 0 521122291 623398912 116577 33554432000 4194304 4623224 140734342024000 18446744073709551615 4377368 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=558/tid=562] ppid=556 vsize=608788 CPUtime=221.07 cores=0,2,4,6
/proc/558/task/562/stat : 562 (SArTagnan) R 556 558 384 0 -1 4202560 671278 0 0 0 21998 109 0 0 25 0 4 0 521122291 623398912 116577 33554432000 4194304 4623224 140734342024000 18446744073709551615 4550465 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 887.93
Current children cumulated vsize (KiB) 608788
[startup+282.3 s]
################
# More data... #
################
[pid=558] ppid=556 vsize=1047884 CPUtime=2805.31 cores=0,2,4,6
/proc/558/stat : 558 (SArTagnan) R 556 558 384 0 -1 4202496 2299517 0 0 0 280145 386 0 0 25 0 4 0 521122290 1073033216 201141 33554432000 4194304 4623224 140734342024000 18446744073709551615 4510189 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/558/statm: 261971 201141 388 105 0 257475 0
[pid=558/tid=560] ppid=556 vsize=1047884 CPUtime=702.29 cores=0,2,4,6
/proc/558/task/560/stat : 560 (SArTagnan) R 556 558 384 0 -1 4202560 138453 0 0 0 70186 43 0 0 25 0 4 0 521122291 1073033216 201141 33554432000 4194304 4623224 140734342024000 18446744073709551615 4366336 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=558/tid=561] ppid=556 vsize=1047884 CPUtime=702.29 cores=0,2,4,6
/proc/558/task/561/stat : 561 (SArTagnan) R 556 558 384 0 -1 4202560 64454 0 0 0 70213 16 0 0 25 0 4 0 521122291 1073033216 201141 33554432000 4194304 4623224 140734342024000 18446744073709551615 4376711 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=558/tid=562] ppid=556 vsize=1047884 CPUtime=698.47 cores=0,2,4,6
/proc/558/task/562/stat : 562 (SArTagnan) R 556 558 384 0 -1 4202560 2002035 0 0 0 69538 309 0 0 25 0 4 0 521122291 1073033216 201141 33554432000 4194304 4623224 140734342024000 18446744073709551615 4550411 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 2805.31
Current children cumulated vsize (KiB) 1047884
[startup+762.307 s]
/proc/loadavg: 8.04 8.05 8.00 9/184 623
/proc/meminfo: memFree=21019412/32950928 swapFree=67111524/67111528
[pid=558] ppid=556 vsize=1073848 CPUtime=3045 cores=0,2,4,6
/proc/558/stat : 558 (SArTagnan) R 556 558 384 0 -1 4202496 2793747 0 0 0 304039 461 0 0 25 0 4 0 521122290 1099620352 207409 33554432000 4194304 4623224 140734342024000 18446744073709551615 4510090 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/558/statm: 268462 207409 341 105 0 263966 0
[pid=558/tid=560] ppid=556 vsize=1073848 CPUtime=762.29 cores=0,2,4,6
/proc/558/task/560/stat : 560 (SArTagnan) R 556 558 384 0 -1 4202560 141167 0 0 0 76184 45 0 0 25 0 4 0 521122291 1099620352 207409 33554432000 4194304 4623224 140734342024000 18446744073709551615 4376711 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=558/tid=561] ppid=556 vsize=1073848 CPUtime=762.29 cores=0,2,4,6
/proc/558/task/561/stat : 561 (SArTagnan) R 556 558 384 0 -1 4202560 65736 0 0 0 76212 17 0 0 25 0 4 0 521122291 1099620352 207409 33554432000 4194304 4623224 140734342024000 18446744073709551615 4376629 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=558/tid=562] ppid=556 vsize=1073848 CPUtime=758.14 cores=0,2,4,6
/proc/558/task/562/stat : 562 (SArTagnan) R 556 558 384 0 -1 4202560 2490784 0 0 0 75436 378 0 0 25 0 4 0 521122291 1099620352 207409 33554432000 4194304 4623224 140734342024000 18446744073709551615 4376711 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3045
Current children cumulated vsize (KiB) 1073848
[startup+822.301 s]
/proc/loadavg: 8.06 8.05 8.00 9/184 625
/proc/meminfo: memFree=20876428/32950928 swapFree=67111524/67111528
[pid=558] ppid=556 vsize=1143816 CPUtime=3284.65 cores=0,2,4,6
/proc/558/stat : 558 (SArTagnan) R 556 558 384 0 -1 4202496 2882108 0 0 0 327990 475 0 0 25 0 4 0 521122290 1171267584 218851 33554432000 4194304 4623224 140734342024000 18446744073709551615 4510978 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/558/statm: 285954 218851 341 105 0 281458 0
[pid=558/tid=560] ppid=556 vsize=1143816 CPUtime=822.29 cores=0,2,4,6
/proc/558/task/560/stat : 560 (SArTagnan) R 556 558 384 0 -1 4202560 149204 0 0 0 82181 48 0 0 25 0 4 0 521122291 1171267584 218851 33554432000 4194304 4623224 140734342024000 18446744073709551615 4376666 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=558/tid=561] ppid=556 vsize=1143816 CPUtime=822.3 cores=0,2,4,6
/proc/558/task/561/stat : 561 (SArTagnan) R 556 558 384 0 -1 4202560 67469 0 0 0 82211 19 0 0 25 0 4 0 521122291 1171267584 218851 33554432000 4194304 4623224 140734342024000 18446744073709551615 4462966 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=558/tid=562] ppid=556 vsize=1143816 CPUtime=817.81 cores=0,2,4,6
/proc/558/task/562/stat : 562 (SArTagnan) R 556 558 384 0 -1 4202560 2556928 0 0 0 81394 387 0 0 25 0 4 0 521122291 1171267584 218851 33554432000 4194304 4623224 140734342024000 18446744073709551615 4376790 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3284.65
Current children cumulated vsize (KiB) 1143816
[startup+882.3 s]
/proc/loadavg: 8.06 8.06 8.00 9/184 626
/proc/meminfo: memFree=20749280/32950928 swapFree=67111524/67111528
[pid=558] ppid=556 vsize=1148436 CPUtime=3524.32 cores=0,2,4,6
/proc/558/stat : 558 (SArTagnan) R 556 558 384 0 -1 4202496 2888170 0 0 0 351953 479 0 0 25 0 4 0 521122290 1175998464 224754 33554432000 4194304 4623224 140734342024000 18446744073709551615 4510244 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/558/statm: 287109 224754 341 105 0 282613 0
[pid=558/tid=560] ppid=556 vsize=1148436 CPUtime=882.29 cores=0,2,4,6
/proc/558/task/560/stat : 560 (SArTagnan) R 556 558 384 0 -1 4202560 152106 0 0 0 88178 51 0 0 25 0 4 0 521122291 1175998464 224754 33554432000 4194304 4623224 140734342024000 18446744073709551615 4376827 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=558/tid=561] ppid=556 vsize=1148436 CPUtime=882.3 cores=0,2,4,6
/proc/558/task/561/stat : 561 (SArTagnan) R 556 558 384 0 -1 4202560 69066 0 0 0 88210 20 0 0 25 0 4 0 521122291 1175998464 224754 33554432000 4194304 4623224 140734342024000 18446744073709551615 4376629 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=558/tid=562] ppid=556 vsize=1148436 CPUtime=877.48 cores=0,2,4,6
/proc/558/task/562/stat : 562 (SArTagnan) R 556 558 384 0 -1 4202560 2557289 0 0 0 87361 387 0 0 25 0 4 0 521122291 1175998464 224754 33554432000 4194304 4623224 140734342024000 18446744073709551615 4550495 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3524.32
Current children cumulated vsize (KiB) 1148436
[startup+942.301 s]
/proc/loadavg: 8.12 8.07 8.01 9/184 628
/proc/meminfo: memFree=20622396/32950928 swapFree=67111524/67111528
[pid=558] ppid=556 vsize=1185920 CPUtime=3764 cores=0,2,4,6
/proc/558/stat : 558 (SArTagnan) R 556 558 384 0 -1 4202496 3005719 0 0 0 375901 499 0 0 25 0 4 0 521122290 1214382080 234196 33554432000 4194304 4623224 140734342024000 18446744073709551615 4510978 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/558/statm: 296480 234196 341 105 0 291984 0
[pid=558/tid=560] ppid=556 vsize=1185920 CPUtime=942.29 cores=0,2,4,6
/proc/558/task/560/stat : 560 (SArTagnan) R 556 558 384 0 -1 4202560 156036 0 0 0 94176 53 0 0 25 0 4 0 521122291 1214382080 234196 33554432000 4194304 4623224 140734342024000 18446744073709551615 4376711 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=558/tid=561] ppid=556 vsize=1185920 CPUtime=942.29 cores=0,2,4,6
/proc/558/task/561/stat : 561 (SArTagnan) R 556 558 384 0 -1 4202560 88956 0 0 0 94207 22 0 0 25 0 4 0 521122291 1214382080 234196 33554432000 4194304 4623224 140734342024000 18446744073709551615 4376711 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=558/tid=562] ppid=556 vsize=1185920 CPUtime=937.17 cores=0,2,4,6
/proc/558/task/562/stat : 562 (SArTagnan) R 556 558 384 0 -1 4202560 2650200 0 0 0 93315 402 0 0 25 0 4 0 521122291 1214382080 234196 33554432000 4194304 4623224 140734342024000 18446744073709551615 4376827 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3764
Current children cumulated vsize (KiB) 1185920
[startup+1002.3 s]
/proc/loadavg: 8.09 8.07 8.01 9/184 629
/proc/meminfo: memFree=20534700/32950928 swapFree=67111524/67111528
[pid=558] ppid=556 vsize=1231528 CPUtime=4003.67 cores=0,2,4,6
/proc/558/stat : 558 (SArTagnan) R 556 558 384 0 -1 4202496 3316370 0 0 0 399819 548 0 0 25 0 4 0 521122290 1261084672 243190 33554432000 4194304 4623224 140734342024000 18446744073709551615 4510064 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/558/statm: 307882 243190 376 105 0 303386 0
[pid=558/tid=560] ppid=556 vsize=1231528 CPUtime=1002.29 cores=0,2,4,6
/proc/558/task/560/stat : 560 (SArTagnan) R 556 558 384 0 -1 4202560 158878 0 0 0 100173 56 0 0 25 0 4 0 521122291 1261084672 243190 33554432000 4194304 4623224 140734342024000 18446744073709551615 4376640 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=558/tid=561] ppid=556 vsize=1231528 CPUtime=1002.3 cores=0,2,4,6
/proc/558/task/561/stat : 561 (SArTagnan) R 556 558 384 0 -1 4202560 90325 0 0 0 100207 23 0 0 25 0 4 0 521122291 1261084672 243190 33554432000 4194304 4623224 140734342024000 18446744073709551615 4366359 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=558/tid=562] ppid=556 vsize=1231528 CPUtime=996.84 cores=0,2,4,6
/proc/558/task/562/stat : 562 (SArTagnan) R 556 558 384 0 -1 4202560 2932353 0 0 0 99239 445 0 0 25 0 4 0 521122291 1261084672 243190 33554432000 4194304 4623224 140734342024000 18446744073709551615 4545317 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4003.67
Current children cumulated vsize (KiB) 1231528
[startup+1062.3 s]
/proc/loadavg: 8.09 8.07 8.01 9/184 631
/proc/meminfo: memFree=20407448/32950928 swapFree=67111524/67111528
[pid=558] ppid=556 vsize=1277668 CPUtime=4243.34 cores=0,2,4,6
/proc/558/stat : 558 (SArTagnan) R 556 558 384 0 -1 4202496 3791877 0 0 0 423713 621 0 0 25 0 4 0 521122290 1308332032 253683 33554432000 4194304 4623224 140734342024000 18446744073709551615 4510169 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/558/statm: 319417 253683 343 105 0 314921 0
[pid=558/tid=560] ppid=556 vsize=1277668 CPUtime=1062.3 cores=0,2,4,6
/proc/558/task/560/stat : 560 (SArTagnan) R 556 558 384 0 -1 4202560 161211 0 0 0 106171 59 0 0 25 0 4 0 521122291 1308332032 253683 33554432000 4194304 4623224 140734342024000 18446744073709551615 4376666 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=558/tid=561] ppid=556 vsize=1277668 CPUtime=1062.3 cores=0,2,4,6
/proc/558/task/561/stat : 561 (SArTagnan) R 556 558 384 0 -1 4202560 97034 0 0 0 106206 24 0 0 25 0 4 0 521122291 1308332032 253683 33554432000 4194304 4623224 140734342024000 18446744073709551615 4376827 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=558/tid=562] ppid=556 vsize=1277668 CPUtime=1056.5 cores=0,2,4,6
/proc/558/task/562/stat : 562 (SArTagnan) R 556 558 384 0 -1 4202560 3398119 0 0 0 105137 513 0 0 25 0 4 0 521122291 1308332032 253683 33554432000 4194304 4623224 140734342024000 18446744073709551615 4550411 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4243.34
Current children cumulated vsize (KiB) 1277668
[startup+1122.3 s]
/proc/loadavg: 8.03 8.06 8.00 9/184 633
/proc/meminfo: memFree=20316900/32950928 swapFree=67111524/67111528
[pid=558] ppid=556 vsize=1277668 CPUtime=4483.01 cores=0,2,4,6
/proc/558/stat : 558 (SArTagnan) R 556 558 384 0 -1 4202496 4257620 0 0 0 447609 692 0 0 25 0 4 0 521122290 1308332032 257731 33554432000 4194304 4623224 140734342024000 18446744073709551615 4517479 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/558/statm: 319417 257731 341 105 0 314921 0
[pid=558/tid=560] ppid=556 vsize=1277668 CPUtime=1122.29 cores=0,2,4,6
/proc/558/task/560/stat : 560 (SArTagnan) R 556 558 384 0 -1 4202560 163075 0 0 0 112168 61 0 0 25 0 4 0 521122291 1308332032 257731 33554432000 4194304 4623224 140734342024000 18446744073709551615 4376629 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=558/tid=561] ppid=556 vsize=1277668 CPUtime=1122.3 cores=0,2,4,6
/proc/558/task/561/stat : 561 (SArTagnan) R 556 558 384 0 -1 4202560 97764 0 0 0 112206 24 0 0 25 0 4 0 521122291 1308332032 257731 33554432000 4194304 4623224 140734342024000 18446744073709551615 4366443 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=558/tid=562] ppid=556 vsize=1277668 CPUtime=1116.18 cores=0,2,4,6
/proc/558/task/562/stat : 562 (SArTagnan) R 556 558 384 0 -1 4202560 3860373 0 0 0 111037 581 0 0 25 0 4 0 521122291 1308332032 257731 33554432000 4194304 4623224 140734342024000 18446744073709551615 4545376 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4483.01
Current children cumulated vsize (KiB) 1277668
[startup+1182.3 s]
/proc/loadavg: 8.01 8.04 8.00 9/184 634
/proc/meminfo: memFree=20245700/32950928 swapFree=67111524/67111528
[pid=558] ppid=556 vsize=1343204 CPUtime=4722.69 cores=0,2,4,6
/proc/558/stat : 558 (SArTagnan) R 556 558 384 0 -1 4202496 4693782 0 0 0 471510 759 0 0 25 0 4 0 521122290 1375440896 265169 33554432000 4194304 4623224 140734342024000 18446744073709551615 4510169 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/558/statm: 335801 265169 368 105 0 331305 0
[pid=558/tid=560] ppid=556 vsize=1343204 CPUtime=1182.3 cores=0,2,4,6
/proc/558/task/560/stat : 560 (SArTagnan) R 556 558 384 0 -1 4202560 166585 0 0 0 118166 64 0 0 25 0 4 0 521122291 1375440896 265169 33554432000 4194304 4623224 140734342024000 18446744073709551615 4376711 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=558/tid=561] ppid=556 vsize=1343204 CPUtime=1182.3 cores=0,2,4,6
/proc/558/task/561/stat : 561 (SArTagnan) R 556 558 384 0 -1 4202560 97974 0 0 0 118206 24 0 0 25 0 4 0 521122291 1375440896 265169 33554432000 4194304 4623224 140734342024000 18446744073709551615 4376711 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=558/tid=562] ppid=556 vsize=1343204 CPUtime=1175.86 cores=0,2,4,6
/proc/558/task/562/stat : 562 (SArTagnan) R 556 558 384 0 -1 4202560 4291989 0 0 0 116940 646 0 0 25 0 4 0 521122291 1375440896 265169 33554432000 4194304 4623224 140734342024000 18446744073709551615 4366412 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4722.69
Current children cumulated vsize (KiB) 1343204
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1201.7 s]
/proc/loadavg: 8.01 8.04 8.00 9/184 635
/proc/meminfo: memFree=20221748/32950928 swapFree=67111524/67111528
[pid=558] ppid=556 vsize=1358724 CPUtime=4800.19 cores=0,2,4,6
/proc/558/stat : 558 (SArTagnan) R 556 558 384 0 -1 4202496 4859915 0 0 0 479235 784 0 0 25 0 4 0 521122290 1391333376 270054 33554432000 4194304 4623224 140734342024000 18446744073709551615 4510090 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/558/statm: 339681 270054 341 105 0 335185 0
[pid=558/tid=560] ppid=556 vsize=1358724 CPUtime=1201.7 cores=0,2,4,6
/proc/558/task/560/stat : 560 (SArTagnan) R 556 558 384 0 -1 4202560 212217 0 0 0 120100 70 0 0 25 0 4 0 521122291 1391333376 270054 33554432000 4194304 4623224 140734342024000 18446744073709551615 4376827 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=558/tid=561] ppid=556 vsize=1358724 CPUtime=1201.71 cores=0,2,4,6
/proc/558/task/561/stat : 561 (SArTagnan) R 556 558 384 0 -1 4202560 98092 0 0 0 120146 25 0 0 25 0 4 0 521122291 1391333376 270054 33554432000 4194304 4623224 140734342024000 18446744073709551615 4376687 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=558/tid=562] ppid=556 vsize=1358724 CPUtime=1195.15 cores=0,2,4,6
/proc/558/task/562/stat : 562 (SArTagnan) R 556 558 384 0 -1 4202560 4412042 0 0 0 118852 663 0 0 25 0 4 0 521122291 1391333376 270054 33554432000 4194304 4623224 140734342024000 18446744073709551615 4545431 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4800.19
Current children cumulated vsize (KiB) 1358724
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1201.7 s]
/proc/loadavg: 8.01 8.04 8.00 9/184 635
/proc/meminfo: memFree=20221748/32950928 swapFree=67111524/67111528
[pid=558] ppid=556 vsize=1358724 CPUtime=4800.19 cores=0,2,4,6
/proc/558/stat : 558 (SArTagnan) R 556 558 384 0 -1 4202496 4859915 0 0 0 479235 784 0 0 25 0 4 0 521122290 1391333376 270054 33554432000 4194304 4623224 140734342024000 18446744073709551615 4510090 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/558/statm: 339681 270054 341 105 0 335185 0
[pid=558/tid=560] ppid=556 vsize=1358724 CPUtime=1201.7 cores=0,2,4,6
/proc/558/task/560/stat : 560 (SArTagnan) R 556 558 384 0 -1 4202560 212217 0 0 0 120100 70 0 0 25 0 4 0 521122291 1391333376 270054 33554432000 4194304 4623224 140734342024000 18446744073709551615 4376827 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=558/tid=561] ppid=556 vsize=1358724 CPUtime=1201.71 cores=0,2,4,6
/proc/558/task/561/stat : 561 (SArTagnan) R 556 558 384 0 -1 4202560 98092 0 0 0 120146 25 0 0 25 0 4 0 521122291 1391333376 270054 33554432000 4194304 4623224 140734342024000 18446744073709551615 4376687 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=558/tid=562] ppid=556 vsize=1358724 CPUtime=1195.15 cores=0,2,4,6
/proc/558/task/562/stat : 562 (SArTagnan) R 556 558 384 0 -1 4202560 4412042 0 0 0 118852 663 0 0 25 0 4 0 521122291 1391333376 270054 33554432000 4194304 4623224 140734342024000 18446744073709551615 4545431 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4800.19
Current children cumulated vsize (KiB) 1358724
Child ended because it received signal 15 (SIGTERM)
Real time (s): 1201.76
CPU time (s): 4800.28
CPU user time (s): 4792.39
CPU system time (s): 7.8918
CPU usage (%): 399.437
Max. virtual memory (cumulated for all children) (KiB): 1584152
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4792.39
system time used= 7.8918
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 4859915
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= 667
involuntary context switches= 34529
runsolver used 2.07268 second user time and 4.48932 second system time
The end