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-3265480-1304107935/watcher-3265480-1304107935 -o /tmp/evaluation-result-3265480-1304107935/solver-3265480-1304107935 -C 4800 -W 1300 -M 15500 SArTagnan HOME/instance-3265480-1304107935.cnf -threads=4
running on 4 cores: 1,3,5,7
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: 7.95 8.10 8.09 6/184 8560
/proc/meminfo: memFree=29511556/32951124 swapFree=67111352/67111528
[pid=8560] ppid=8558 vsize=41880 CPUtime=0 cores=1,3,5,7
/proc/8560/stat : 8560 (SArTagnan) R 8558 8560 8042 0 -1 4202496 1537 0 0 0 0 0 0 0 18 0 1 0 522391460 42885120 1474 33554432000 4194304 4623224 140734589337216 18446744073709551615 255377301248 0 0 4096 2 0 0 0 17 3 0 0 0
/proc/8560/statm: 10470 1474 297 105 0 5974 0
[startup+0.0696221 s]
/proc/loadavg: 7.95 8.10 8.09 6/184 8560
/proc/meminfo: memFree=29511556/32951124 swapFree=67111352/67111528
[pid=8560] ppid=8558 vsize=48548 CPUtime=0.06 cores=1,3,5,7
/proc/8560/stat : 8560 (SArTagnan) R 8558 8560 8042 0 -1 4202496 4222 0 0 0 6 0 0 0 18 0 1 0 522391460 49713152 3169 33554432000 4194304 4623224 140734589337216 18446744073709551615 255377301248 0 0 4096 2 0 0 0 17 3 0 0 0
/proc/8560/statm: 12137 3169 301 105 0 7641 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 48548
[startup+0.100616 s]
/proc/loadavg: 7.95 8.10 8.09 6/184 8560
/proc/meminfo: memFree=29511556/32951124 swapFree=67111352/67111528
[pid=8560] ppid=8558 vsize=51432 CPUtime=0.09 cores=1,3,5,7
/proc/8560/stat : 8560 (SArTagnan) R 8558 8560 8042 0 -1 4202496 5104 0 0 0 8 1 0 0 18 0 1 0 522391460 52666368 4051 33554432000 4194304 4623224 140734589337216 18446744073709551615 255377301248 0 0 4096 2 0 0 0 17 3 0 0 0
/proc/8560/statm: 12858 4051 301 105 0 8362 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 51432
[startup+0.30058 s]
/proc/loadavg: 7.95 8.10 8.09 6/184 8560
/proc/meminfo: memFree=29511556/32951124 swapFree=67111352/67111528
[pid=8560] ppid=8558 vsize=66836 CPUtime=0.29 cores=1,3,5,7
/proc/8560/stat : 8560 (SArTagnan) R 8558 8560 8042 0 -1 4202496 12194 0 0 0 27 2 0 0 18 0 1 0 522391460 68440064 7761 33554432000 4194304 4623224 140734589337216 18446744073709551615 255377301248 0 0 4096 2 0 0 0 17 3 0 0 0
/proc/8560/statm: 16709 7762 301 105 0 12213 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 66836
[startup+0.70046 s]
/proc/loadavg: 7.95 8.10 8.09 6/184 8560
/proc/meminfo: memFree=29511556/32951124 swapFree=67111352/67111528
[pid=8560] ppid=8558 vsize=286084 CPUtime=1.62 cores=1,3,5,7
/proc/8560/stat : 8560 (SArTagnan) R 8558 8560 8042 0 -1 4202496 26162 0 0 0 158 4 0 0 19 0 4 0 522391460 292950016 21352 33554432000 4194304 4623224 140734589337216 18446744073709551615 4510409 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/8560/statm: 71521 21352 339 105 0 67025 0
Current children cumulated CPU time (s) 1.62
Current children cumulated vsize (KiB) 286084
[startup+1.50031 s]
/proc/loadavg: 7.95 8.10 8.09 9/188 8564
/proc/meminfo: memFree=29421400/32951124 swapFree=67111352/67111528
[pid=8560] ppid=8558 vsize=288520 CPUtime=4.81 cores=1,3,5,7
/proc/8560/stat : 8560 (SArTagnan) R 8558 8560 8042 0 -1 4202496 29082 0 0 0 477 4 0 0 20 0 4 0 522391460 295444480 21922 33554432000 4194304 4623224 140734589337216 18446744073709551615 4510030 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/8560/statm: 72130 21922 339 105 0 67634 0
[pid=8560/tid=8562] ppid=8558 vsize=288520 CPUtime=1.1 cores=1,3,5,7
/proc/8560/task/8562/stat : 8562 (SArTagnan) R 8558 8560 8042 0 -1 4202560 87 0 0 0 110 0 0 0 22 0 4 0 522391499 295444480 21922 33554432000 4194304 4623224 140734589337216 18446744073709551615 4376711 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=8560/tid=8563] ppid=8558 vsize=288520 CPUtime=1.11 cores=1,3,5,7
/proc/8560/task/8563/stat : 8563 (SArTagnan) R 8558 8560 8042 0 -1 4202560 241 0 0 0 111 0 0 0 22 0 4 0 522391499 295444480 21922 33554432000 4194304 4623224 140734589337216 18446744073709551615 4364650 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=8560/tid=8564] ppid=8558 vsize=288520 CPUtime=1.1 cores=1,3,5,7
/proc/8560/task/8564/stat : 8564 (SArTagnan) R 8558 8560 8042 0 -1 4202560 3036 0 0 0 110 0 0 0 22 0 4 0 522391499 295444480 21922 33554432000 4194304 4623224 140734589337216 18446744073709551615 4376711 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4.81
Current children cumulated vsize (KiB) 288520
[startup+3.10102 s]
/proc/loadavg: 7.95 8.10 8.09 9/188 8564
/proc/meminfo: memFree=29413588/32951124 swapFree=67111352/67111528
[pid=8560] ppid=8558 vsize=288520 CPUtime=11.22 cores=1,3,5,7
/proc/8560/stat : 8560 (SArTagnan) R 8558 8560 8042 0 -1 4202496 33608 0 0 0 1116 6 0 0 25 0 4 0 522391460 295444480 22948 33554432000 4194304 4623224 140734589337216 18446744073709551615 4510064 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/8560/statm: 72130 22948 339 105 0 67634 0
[pid=8560/tid=8562] ppid=8558 vsize=288520 CPUtime=2.7 cores=1,3,5,7
/proc/8560/task/8562/stat : 8562 (SArTagnan) R 8558 8560 8042 0 -1 4202560 119 0 0 0 270 0 0 0 25 0 4 0 522391499 295444480 22948 33554432000 4194304 4623224 140734589337216 18446744073709551615 4376579 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=8560/tid=8563] ppid=8558 vsize=288520 CPUtime=2.71 cores=1,3,5,7
/proc/8560/task/8563/stat : 8563 (SArTagnan) R 8558 8560 8042 0 -1 4202560 265 0 0 0 271 0 0 0 25 0 4 0 522391499 295444480 22948 33554432000 4194304 4623224 140734589337216 18446744073709551615 4330746 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=8560/tid=8564] ppid=8558 vsize=288520 CPUtime=2.69 cores=1,3,5,7
/proc/8560/task/8564/stat : 8564 (SArTagnan) R 8558 8560 8042 0 -1 4202560 7333 0 0 0 268 1 0 0 25 0 4 0 522391499 295444480 22948 33554432000 4194304 4623224 140734589337216 18446744073709551615 4376711 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 11.22
Current children cumulated vsize (KiB) 288520
[startup+6.30042 s]
/proc/loadavg: 7.96 8.10 8.09 9/188 8564
/proc/meminfo: memFree=29380616/32951124 swapFree=67111352/67111528
[pid=8560] ppid=8558 vsize=291196 CPUtime=23.99 cores=1,3,5,7
/proc/8560/stat : 8560 (SArTagnan) R 8558 8560 8042 0 -1 4202496 41914 0 0 0 2392 7 0 0 25 0 4 0 522391460 298184704 25391 33554432000 4194304 4623224 140734589337216 18446744073709551615 4526860 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/8560/statm: 72799 25391 339 105 0 68303 0
[pid=8560/tid=8562] ppid=8558 vsize=291196 CPUtime=5.9 cores=1,3,5,7
/proc/8560/task/8562/stat : 8562 (SArTagnan) R 8558 8560 8042 0 -1 4202560 208 0 0 0 590 0 0 0 25 0 4 0 522391499 298184704 25391 33554432000 4194304 4623224 140734589337216 18446744073709551615 4462984 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=8560/tid=8563] ppid=8558 vsize=291196 CPUtime=5.91 cores=1,3,5,7
/proc/8560/task/8563/stat : 8563 (SArTagnan) R 8558 8560 8042 0 -1 4202560 310 0 0 0 591 0 0 0 25 0 4 0 522391499 298184704 25391 33554432000 4194304 4623224 140734589337216 18446744073709551615 4289678 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=8560/tid=8564] ppid=8558 vsize=291196 CPUtime=5.87 cores=1,3,5,7
/proc/8560/task/8564/stat : 8564 (SArTagnan) R 8558 8560 8042 0 -1 4202560 15235 0 0 0 585 2 0 0 25 0 4 0 522391499 298184704 25391 33554432000 4194304 4623224 140734589337216 18446744073709551615 4545376 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 23.99
Current children cumulated vsize (KiB) 291196
[startup+12.7002 s]
/proc/loadavg: 7.96 8.10 8.09 9/188 8564
/proc/meminfo: memFree=29249384/32951124 swapFree=67111352/67111528
[pid=8560] ppid=8558 vsize=418620 CPUtime=49.53 cores=1,3,5,7
/proc/8560/stat : 8560 (SArTagnan) R 8558 8560 8042 0 -1 4202496 105368 0 0 0 4935 18 0 0 24 0 4 0 522391460 428666880 47853 33554432000 4194304 4623224 140734589337216 18446744073709551615 4509960 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/8560/statm: 104655 47853 344 105 0 100159 0
[pid=8560/tid=8562] ppid=8558 vsize=418620 CPUtime=12.3 cores=1,3,5,7
/proc/8560/task/8562/stat : 8562 (SArTagnan) R 8558 8560 8042 0 -1 4202560 10672 0 0 0 1228 2 0 0 25 0 4 0 522391499 428666880 47853 33554432000 4194304 4623224 140734589337216 18446744073709551615 4373156 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=8560/tid=8563] ppid=8558 vsize=418620 CPUtime=12.3 cores=1,3,5,7
/proc/8560/task/8563/stat : 8563 (SArTagnan) R 8558 8560 8042 0 -1 4202560 6351 0 0 0 1229 1 0 0 25 0 4 0 522391499 428666880 47853 33554432000 4194304 4623224 140734589337216 18446744073709551615 4376827 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=8560/tid=8564] ppid=8558 vsize=418620 CPUtime=12.24 cores=1,3,5,7
/proc/8560/task/8564/stat : 8564 (SArTagnan) R 8558 8560 8042 0 -1 4202560 39073 0 0 0 1217 7 0 0 25 0 4 0 522391499 428666880 47853 33554432000 4194304 4623224 140734589337216 18446744073709551615 4377648 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 49.53
Current children cumulated vsize (KiB) 418620
[startup+25.5009 s]
/proc/loadavg: 7.97 8.09 8.09 10/188 8565
/proc/meminfo: memFree=29172524/32951124 swapFree=67111352/67111528
[pid=8560] ppid=8558 vsize=424100 CPUtime=100.67 cores=1,3,5,7
/proc/8560/stat : 8560 (SArTagnan) R 8558 8560 8042 0 -1 4202496 161127 0 0 0 10037 30 0 0 25 0 4 0 522391460 434278400 54179 33554432000 4194304 4623224 140734589337216 18446744073709551615 4510034 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/8560/statm: 106025 54179 344 105 0 101529 0
[pid=8560/tid=8562] ppid=8558 vsize=424100 CPUtime=25.1 cores=1,3,5,7
/proc/8560/task/8562/stat : 8562 (SArTagnan) R 8558 8560 8042 0 -1 4202560 13435 0 0 0 2506 4 0 0 25 0 4 0 522391499 434278400 54179 33554432000 4194304 4623224 140734589337216 18446744073709551615 4376827 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=8560/tid=8563] ppid=8558 vsize=424100 CPUtime=25.09 cores=1,3,5,7
/proc/8560/task/8563/stat : 8563 (SArTagnan) R 8558 8560 8042 0 -1 4202560 6619 0 0 0 2508 1 0 0 25 0 4 0 522391499 434278400 54179 33554432000 4194304 4623224 140734589337216 18446744073709551615 255376959917 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=8560/tid=8564] ppid=8558 vsize=424100 CPUtime=24.97 cores=1,3,5,7
/proc/8560/task/8564/stat : 8564 (SArTagnan) R 8558 8560 8042 0 -1 4202560 91135 0 0 0 2481 16 0 0 25 0 4 0 522391499 434278400 54179 33554432000 4194304 4623224 140734589337216 18446744073709551615 4289723 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 100.67
Current children cumulated vsize (KiB) 424100
[startup+51.1011 s]
/proc/loadavg: 8.19 8.13 8.10 9/188 8565
/proc/meminfo: memFree=28991612/32951124 swapFree=67111352/67111528
[pid=8560] ppid=8558 vsize=439048 CPUtime=202.92 cores=1,3,5,7
/proc/8560/stat : 8560 (SArTagnan) R 8558 8560 8042 0 -1 4202496 243480 0 0 0 20244 48 0 0 25 0 4 0 522391460 449585152 73005 33554432000 4194304 4623224 140734589337216 18446744073709551615 4416149 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/8560/statm: 109762 73005 344 105 0 105266 0
[pid=8560/tid=8562] ppid=8558 vsize=439048 CPUtime=50.7 cores=1,3,5,7
/proc/8560/task/8562/stat : 8562 (SArTagnan) R 8558 8560 8042 0 -1 4202560 19080 0 0 0 5061 9 0 0 25 0 4 0 522391499 449585152 73005 33554432000 4194304 4623224 140734589337216 18446744073709551615 4376711 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=8560/tid=8563] ppid=8558 vsize=439048 CPUtime=50.69 cores=1,3,5,7
/proc/8560/task/8563/stat : 8563 (SArTagnan) R 8558 8560 8042 0 -1 4202560 11856 0 0 0 5066 3 0 0 25 0 4 0 522391499 449585152 73005 33554432000 4194304 4623224 140734589337216 18446744073709551615 4317194 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=8560/tid=8564] ppid=8558 vsize=439048 CPUtime=50.43 cores=1,3,5,7
/proc/8560/task/8564/stat : 8564 (SArTagnan) R 8558 8560 8042 0 -1 4202560 160641 0 0 0 5016 27 0 0 25 0 4 0 522391499 449585152 73005 33554432000 4194304 4623224 140734589337216 18446744073709551615 4376711 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 202.92
Current children cumulated vsize (KiB) 439048
[startup+102.307 s]
/proc/loadavg: 8.21 8.14 8.10 9/188 8567
/proc/meminfo: memFree=28688792/32951124 swapFree=67111352/67111528
[pid=8560] ppid=8558 vsize=556508 CPUtime=407.46 cores=1,3,5,7
/proc/8560/stat : 8560 (SArTagnan) R 8558 8560 8042 0 -1 4202496 417514 0 0 0 40664 82 0 0 25 0 4 0 522391460 569864192 99622 33554432000 4194304 4623224 140734589337216 18446744073709551615 4384169 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/8560/statm: 139127 99622 345 105 0 134631 0
[pid=8560/tid=8562] ppid=8558 vsize=556508 CPUtime=101.89 cores=1,3,5,7
/proc/8560/task/8562/stat : 8562 (SArTagnan) R 8558 8560 8042 0 -1 4202560 26430 0 0 0 10178 11 0 0 25 0 4 0 522391499 569864192 99622 33554432000 4194304 4623224 140734589337216 18446744073709551615 4376579 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=8560/tid=8563] ppid=8558 vsize=556508 CPUtime=101.9 cores=1,3,5,7
/proc/8560/task/8563/stat : 8563 (SArTagnan) R 8558 8560 8042 0 -1 4202560 13644 0 0 0 10185 5 0 0 25 0 4 0 522391499 569864192 99622 33554432000 4194304 4623224 140734589337216 18446744073709551615 4377318 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=8560/tid=8564] ppid=8558 vsize=556508 CPUtime=101.36 cores=1,3,5,7
/proc/8560/task/8564/stat : 8564 (SArTagnan) R 8558 8560 8042 0 -1 4202560 311869 0 0 0 10082 54 0 0 25 0 4 0 522391499 569864192 99622 33554432000 4194304 4623224 140734589337216 18446744073709551615 4553195 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 407.46
Current children cumulated vsize (KiB) 556508
[startup+162.301 s]
/proc/loadavg: 8.26 8.17 8.11 9/188 8568
/proc/meminfo: memFree=28402572/32951124 swapFree=67111352/67111528
[pid=8560] ppid=8558 vsize=746864 CPUtime=647.11 cores=1,3,5,7
/proc/8560/stat : 8560 (SArTagnan) R 8558 8560 8042 0 -1 4202496 632767 0 0 0 64585 126 0 0 25 0 4 0 522391460 764788736 139871 33554432000 4194304 4623224 140734589337216 18446744073709551615 4384231 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/8560/statm: 186716 139871 345 105 0 182220 0
[pid=8560/tid=8562] ppid=8558 vsize=746864 CPUtime=161.89 cores=1,3,5,7
/proc/8560/task/8562/stat : 8562 (SArTagnan) R 8558 8560 8042 0 -1 4202560 31311 0 0 0 16174 15 0 0 25 0 4 0 522391499 764788736 139871 33554432000 4194304 4623224 140734589337216 18446744073709551615 4376692 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=8560/tid=8563] ppid=8558 vsize=746864 CPUtime=161.9 cores=1,3,5,7
/proc/8560/task/8563/stat : 8563 (SArTagnan) R 8558 8560 8042 0 -1 4202560 22853 0 0 0 16181 9 0 0 25 0 4 0 522391499 764788736 139871 33554432000 4194304 4623224 140734589337216 18446744073709551615 4316753 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=8560/tid=8564] ppid=8558 vsize=746864 CPUtime=161.02 cores=1,3,5,7
/proc/8560/task/8564/stat : 8564 (SArTagnan) R 8558 8560 8042 0 -1 4202560 495053 0 0 0 16018 84 0 0 25 0 4 0 522391499 764788736 139871 33554432000 4194304 4623224 140734589337216 18446744073709551615 4545376 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 647.11
Current children cumulated vsize (KiB) 746864
[startup+222.3 s]
/proc/loadavg: 8.24 8.17 8.11 9/188 8570
/proc/meminfo: memFree=28091292/32951124 swapFree=67111352/67111528
[pid=8560] ppid=8558 vsize=925296 CPUtime=886.78 cores=1,3,5,7
/proc/8560/stat : 8560 (SArTagnan) R 8558 8560 8042 0 -1 4202496 894986 0 0 0 88506 172 0 0 25 0 4 0 522391460 947503104 177376 33554432000 4194304 4623224 140734589337216 18446744073709551615 4415995 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/8560/statm: 231324 177376 345 105 0 226828 0
[pid=8560/tid=8562] ppid=8558 vsize=925296 CPUtime=221.9 cores=1,3,5,7
/proc/8560/task/8562/stat : 8562 (SArTagnan) R 8558 8560 8042 0 -1 4202560 40717 0 0 0 22172 18 0 0 25 0 4 0 522391499 947503104 177376 33554432000 4194304 4623224 140734589337216 18446744073709551615 4461212 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=8560/tid=8563] ppid=8558 vsize=925296 CPUtime=221.89 cores=1,3,5,7
/proc/8560/task/8563/stat : 8563 (SArTagnan) R 8558 8560 8042 0 -1 4202560 26610 0 0 0 22177 12 0 0 25 0 4 0 522391499 947503104 177376 33554432000 4194304 4623224 140734589337216 18446744073709551615 4367191 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=8560/tid=8564] ppid=8558 vsize=925296 CPUtime=220.69 cores=1,3,5,7
/proc/8560/task/8564/stat : 8564 (SArTagnan) R 8558 8560 8042 0 -1 4202560 732662 0 0 0 21948 121 0 0 25 0 4 0 522391499 947503104 177376 33554432000 4194304 4623224 140734589337216 18446744073709551615 4289757 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 886.78
Current children cumulated vsize (KiB) 925296
[startup+282.3 s]
################
# More data... #
################
[startup+702.3 s]
/proc/loadavg: 8.08 8.11 8.09 9/188 8583
/proc/meminfo: memFree=26292304/32951124 swapFree=67111352/67111528
[pid=8560] ppid=8558 vsize=2372344 CPUtime=2804.1 cores=1,3,5,7
/proc/8560/stat : 8560 (SArTagnan) R 8558 8560 8042 0 -1 4202496 3361542 0 0 0 279730 680 0 0 25 0 4 0 522391460 2429280256 511547 33554432000 4194304 4623224 140734589337216 18446744073709551615 4510169 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/8560/statm: 593086 511547 345 105 0 588590 0
[pid=8560/tid=8562] ppid=8558 vsize=2372344 CPUtime=701.88 cores=1,3,5,7
/proc/8560/task/8562/stat : 8562 (SArTagnan) R 8558 8560 8042 0 -1 4202560 95128 0 0 0 70142 46 0 0 25 0 4 0 522391499 2429280256 511547 33554432000 4194304 4623224 140734589337216 18446744073709551615 4376827 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=8560/tid=8563] ppid=8558 vsize=2372344 CPUtime=701.88 cores=1,3,5,7
/proc/8560/task/8563/stat : 8563 (SArTagnan) R 8558 8560 8042 0 -1 4202560 80685 0 0 0 70138 50 0 0 25 0 4 0 522391499 2429280256 511547 33554432000 4194304 4623224 140734589337216 18446744073709551615 4376749 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=8560/tid=8564] ppid=8558 vsize=2372344 CPUtime=698.06 cores=1,3,5,7
/proc/8560/task/8564/stat : 8564 (SArTagnan) R 8558 8560 8042 0 -1 4202560 2662675 0 0 0 69357 449 0 0 25 0 4 0 522391499 2429280256 511547 33554432000 4194304 4623224 140734589337216 18446744073709551615 4376827 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 2804.1
Current children cumulated vsize (KiB) 2372344
[startup+762.307 s]
/proc/loadavg: 8.11 8.12 8.09 9/188 8584
/proc/meminfo: memFree=26059640/32951124 swapFree=67111352/67111528
[pid=8560] ppid=8558 vsize=2589236 CPUtime=3043.81 cores=1,3,5,7
/proc/8560/stat : 8560 (SArTagnan) R 8558 8560 8042 0 -1 4202496 3761838 0 0 0 303621 760 0 0 25 0 4 0 522391460 2651377664 563169 33554432000 4194304 4623224 140734589337216 18446744073709551615 4507356 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/8560/statm: 647309 563169 345 105 0 642813 0
[pid=8560/tid=8562] ppid=8558 vsize=2589236 CPUtime=761.89 cores=1,3,5,7
/proc/8560/task/8562/stat : 8562 (SArTagnan) R 8558 8560 8042 0 -1 4202560 99908 0 0 0 76140 49 0 0 25 0 4 0 522391499 2651377664 563169 33554432000 4194304 4623224 140734589337216 18446744073709551615 4366412 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=8560/tid=8563] ppid=8558 vsize=2589236 CPUtime=761.89 cores=1,3,5,7
/proc/8560/task/8563/stat : 8563 (SArTagnan) R 8558 8560 8042 0 -1 4202560 100931 0 0 0 76129 60 0 0 25 0 4 0 522391499 2651377664 563169 33554432000 4194304 4623224 140734589337216 18446744073709551615 4376652 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=8560/tid=8564] ppid=8558 vsize=2589236 CPUtime=757.74 cores=1,3,5,7
/proc/8560/task/8564/stat : 8564 (SArTagnan) R 8558 8560 8042 0 -1 4202560 2975386 0 0 0 75273 501 0 0 25 0 4 0 522391499 2651377664 563169 33554432000 4194304 4623224 140734589337216 18446744073709551615 4546046 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3043.81
Current children cumulated vsize (KiB) 2589236
[startup+822.301 s]
/proc/loadavg: 8.04 8.09 8.08 9/188 8586
/proc/meminfo: memFree=25819924/32951124 swapFree=67111352/67111528
[pid=8560] ppid=8558 vsize=3002488 CPUtime=3283.41 cores=1,3,5,7
/proc/8560/stat : 8560 (SArTagnan) R 8558 8560 8042 0 -1 4202496 4197034 0 0 0 327496 845 0 0 25 0 4 0 522391460 3074547712 621600 33554432000 4194304 4623224 140734589337216 18446744073709551615 4510090 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/8560/statm: 750622 621600 345 105 0 746126 0
[pid=8560/tid=8562] ppid=8558 vsize=3002488 CPUtime=821.87 cores=1,3,5,7
/proc/8560/task/8562/stat : 8562 (SArTagnan) R 8558 8560 8042 0 -1 4202560 100839 0 0 0 82138 49 0 0 25 0 4 0 522391499 3074547712 621600 33554432000 4194304 4623224 140734589337216 18446744073709551615 4357901 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=8560/tid=8563] ppid=8558 vsize=3002488 CPUtime=821.88 cores=1,3,5,7
/proc/8560/task/8563/stat : 8563 (SArTagnan) R 8558 8560 8042 0 -1 4202560 101308 0 0 0 82128 60 0 0 25 0 4 0 522391499 3074547712 621600 33554432000 4194304 4623224 140734589337216 18446744073709551615 4357901 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=8560/tid=8564] ppid=8558 vsize=3002488 CPUtime=817.4 cores=1,3,5,7
/proc/8560/task/8564/stat : 8564 (SArTagnan) R 8558 8560 8042 0 -1 4202560 3251849 0 0 0 81188 552 0 0 25 0 4 0 522391499 3074547712 621600 33554432000 4194304 4623224 140734589337216 18446744073709551615 4363989 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3283.41
Current children cumulated vsize (KiB) 3002488
[startup+882.301 s]
/proc/loadavg: 8.14 8.12 8.09 9/188 8588
/proc/meminfo: memFree=25664164/32951124 swapFree=67111352/67111528
[pid=8560] ppid=8558 vsize=3068024 CPUtime=3523.09 cores=1,3,5,7
/proc/8560/stat : 8560 (SArTagnan) R 8558 8560 8042 0 -1 4202496 4517242 0 0 0 351396 913 0 0 25 0 4 0 522391460 3141656576 656829 33554432000 4194304 4623224 140734589337216 18446744073709551615 4510169 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/8560/statm: 767006 656829 345 105 0 762510 0
[pid=8560/tid=8562] ppid=8558 vsize=3068024 CPUtime=881.87 cores=1,3,5,7
/proc/8560/task/8562/stat : 8562 (SArTagnan) R 8558 8560 8042 0 -1 4202560 101346 0 0 0 88138 49 0 0 25 0 4 0 522391499 3141656576 656829 33554432000 4194304 4623224 140734589337216 18446744073709551615 4357390 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=8560/tid=8563] ppid=8558 vsize=3068024 CPUtime=881.88 cores=1,3,5,7
/proc/8560/task/8563/stat : 8563 (SArTagnan) R 8558 8560 8042 0 -1 4202560 101396 0 0 0 88128 60 0 0 25 0 4 0 522391499 3141656576 656829 33554432000 4194304 4623224 140734589337216 18446744073709551615 4486238 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=8560/tid=8564] ppid=8558 vsize=3068024 CPUtime=877.07 cores=1,3,5,7
/proc/8560/task/8564/stat : 8564 (SArTagnan) R 8558 8560 8042 0 -1 4202560 3542162 0 0 0 87102 605 0 0 25 0 4 0 522391499 3141656576 656829 33554432000 4194304 4623224 140734589337216 18446744073709551615 4376711 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3523.09
Current children cumulated vsize (KiB) 3068024
[startup+942.301 s]
/proc/loadavg: 8.05 8.09 8.08 10/188 8589
/proc/meminfo: memFree=25533060/32951124 swapFree=67111352/67111528
[pid=8560] ppid=8558 vsize=3133560 CPUtime=3762.77 cores=1,3,5,7
/proc/8560/stat : 8560 (SArTagnan) R 8558 8560 8042 0 -1 4202496 4831842 0 0 0 375299 978 0 0 25 0 4 0 522391460 3208765440 686150 33554432000 4194304 4623224 140734589337216 18446744073709551615 4510064 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/8560/statm: 783390 686150 345 105 0 778894 0
[pid=8560/tid=8562] ppid=8558 vsize=3133560 CPUtime=941.88 cores=1,3,5,7
/proc/8560/task/8562/stat : 8562 (SArTagnan) R 8558 8560 8042 0 -1 4202560 101404 0 0 0 94138 50 0 0 25 0 4 0 522391499 3208765440 686150 33554432000 4194304 4623224 140734589337216 18446744073709551615 4357901 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=8560/tid=8563] ppid=8558 vsize=3133560 CPUtime=941.88 cores=1,3,5,7
/proc/8560/task/8563/stat : 8563 (SArTagnan) R 8558 8560 8042 0 -1 4202560 101473 0 0 0 94128 60 0 0 25 0 4 0 522391499 3208765440 686150 33554432000 4194304 4623224 140734589337216 18446744073709551615 4357901 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=8560/tid=8564] ppid=8558 vsize=3133560 CPUtime=936.75 cores=1,3,5,7
/proc/8560/task/8564/stat : 8564 (SArTagnan) R 8558 8560 8042 0 -1 4202560 3832882 0 0 0 93015 660 0 0 25 0 4 0 522391499 3208765440 686150 33554432000 4194304 4623224 140734589337216 18446744073709551615 4545376 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3762.77
Current children cumulated vsize (KiB) 3133560
[startup+1002.3 s]
/proc/loadavg: 8.14 8.12 8.09 9/188 8591
/proc/meminfo: memFree=25411764/32951124 swapFree=67111352/67111528
[pid=8560] ppid=8558 vsize=3264632 CPUtime=4002.44 cores=1,3,5,7
/proc/8560/stat : 8560 (SArTagnan) R 8558 8560 8042 0 -1 4202496 5101996 0 0 0 399214 1030 0 0 25 0 4 0 522391460 3342983168 713365 33554432000 4194304 4623224 140734589337216 18446744073709551615 4510064 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/8560/statm: 816158 713365 345 105 0 811662 0
[pid=8560/tid=8562] ppid=8558 vsize=3264632 CPUtime=1001.88 cores=1,3,5,7
/proc/8560/task/8562/stat : 8562 (SArTagnan) R 8558 8560 8042 0 -1 4202560 101557 0 0 0 100138 50 0 0 25 0 4 0 522391499 3342983168 713365 33554432000 4194304 4623224 140734589337216 18446744073709551615 4357390 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=8560/tid=8563] ppid=8558 vsize=3264632 CPUtime=1001.88 cores=1,3,5,7
/proc/8560/task/8563/stat : 8563 (SArTagnan) R 8558 8560 8042 0 -1 4202560 101551 0 0 0 100128 60 0 0 25 0 4 0 522391499 3342983168 713365 33554432000 4194304 4623224 140734589337216 18446744073709551615 4357901 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=8560/tid=8564] ppid=8558 vsize=3264632 CPUtime=996.43 cores=1,3,5,7
/proc/8560/task/8564/stat : 8564 (SArTagnan) R 8558 8560 8042 0 -1 4202560 4079378 0 0 0 98939 704 0 0 25 0 4 0 522391499 3342983168 713365 33554432000 4194304 4623224 140734589337216 18446744073709551615 4555203 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4002.44
Current children cumulated vsize (KiB) 3264632
[startup+1062.3 s]
/proc/loadavg: 8.16 8.12 8.09 9/188 8592
/proc/meminfo: memFree=25274348/32951124 swapFree=67111352/67111528
[pid=8560] ppid=8558 vsize=3327108 CPUtime=4242.12 cores=1,3,5,7
/proc/8560/stat : 8560 (SArTagnan) R 8558 8560 8042 0 -1 4202496 5440134 0 0 0 423113 1099 0 0 25 0 4 0 522391460 3406958592 745133 33554432000 4194304 4623224 140734589337216 18446744073709551615 4510206 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/8560/statm: 831777 745133 345 105 0 827281 0
[pid=8560/tid=8562] ppid=8558 vsize=3327108 CPUtime=1061.88 cores=1,3,5,7
/proc/8560/task/8562/stat : 8562 (SArTagnan) R 8558 8560 8042 0 -1 4202560 101660 0 0 0 106138 50 0 0 25 0 4 0 522391499 3406958592 745133 33554432000 4194304 4623224 140734589337216 18446744073709551615 4357576 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=8560/tid=8563] ppid=8558 vsize=3327108 CPUtime=1061.89 cores=1,3,5,7
/proc/8560/task/8563/stat : 8563 (SArTagnan) R 8558 8560 8042 0 -1 4202560 101619 0 0 0 106129 60 0 0 25 0 4 0 522391499 3406958592 745133 33554432000 4194304 4623224 140734589337216 18446744073709551615 4357901 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=8560/tid=8564] ppid=8558 vsize=3327108 CPUtime=1056.1 cores=1,3,5,7
/proc/8560/task/8564/stat : 8564 (SArTagnan) R 8558 8560 8042 0 -1 4202560 4359246 0 0 0 104853 757 0 0 25 0 4 0 522391499 3406958592 745133 33554432000 4194304 4623224 140734589337216 18446744073709551615 4545431 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4242.12
Current children cumulated vsize (KiB) 3327108
[startup+1122.3 s]
/proc/loadavg: 8.27 8.16 8.10 9/188 8594
/proc/meminfo: memFree=25142892/32951124 swapFree=67111352/67111528
[pid=8560] ppid=8558 vsize=3460552 CPUtime=4481.8 cores=1,3,5,7
/proc/8560/stat : 8560 (SArTagnan) R 8558 8560 8042 0 -1 4202496 5743494 0 0 0 447017 1163 0 0 25 0 4 0 522391460 3543605248 769982 33554432000 4194304 4623224 140734589337216 18446744073709551615 4510090 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/8560/statm: 865138 769982 345 105 0 860642 0
[pid=8560/tid=8562] ppid=8558 vsize=3460552 CPUtime=1121.88 cores=1,3,5,7
/proc/8560/task/8562/stat : 8562 (SArTagnan) R 8558 8560 8042 0 -1 4202560 101732 0 0 0 112138 50 0 0 25 0 4 0 522391499 3543605248 769982 33554432000 4194304 4623224 140734589337216 18446744073709551615 4357901 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=8560/tid=8563] ppid=8558 vsize=3460552 CPUtime=1121.89 cores=1,3,5,7
/proc/8560/task/8563/stat : 8563 (SArTagnan) R 8558 8560 8042 0 -1 4202560 101688 0 0 0 112129 60 0 0 25 0 4 0 522391499 3543605248 769982 33554432000 4194304 4623224 140734589337216 18446744073709551615 4357901 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=8560/tid=8564] ppid=8558 vsize=3460552 CPUtime=1115.77 cores=1,3,5,7
/proc/8560/task/8564/stat : 8564 (SArTagnan) R 8558 8560 8042 0 -1 4202560 4643018 0 0 0 110766 811 0 0 25 0 4 0 522391499 3543605248 769982 33554432000 4194304 4623224 140734589337216 18446744073709551615 4363943 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4481.8
Current children cumulated vsize (KiB) 3460552
[startup+1182.3 s]
/proc/loadavg: 8.22 8.16 8.10 9/188 8596
/proc/meminfo: memFree=24968276/32951124 swapFree=67111352/67111528
[pid=8560] ppid=8558 vsize=3842508 CPUtime=4721.46 cores=1,3,5,7
/proc/8560/stat : 8560 (SArTagnan) R 8558 8560 8042 0 -1 4202496 6198195 0 0 0 470897 1249 0 0 25 0 4 0 522391460 3934728192 810255 33554432000 4194304 4623224 140734589337216 18446744073709551615 4510064 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/8560/statm: 960627 810255 345 105 0 956131 0
[pid=8560/tid=8562] ppid=8558 vsize=3842508 CPUtime=1181.88 cores=1,3,5,7
/proc/8560/task/8562/stat : 8562 (SArTagnan) R 8558 8560 8042 0 -1 4202560 101829 0 0 0 118138 50 0 0 25 0 4 0 522391499 3934728192 810255 33554432000 4194304 4623224 140734589337216 18446744073709551615 4357641 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=8560/tid=8563] ppid=8558 vsize=3842508 CPUtime=1181.89 cores=1,3,5,7
/proc/8560/task/8563/stat : 8563 (SArTagnan) R 8558 8560 8042 0 -1 4202560 101822 0 0 0 118129 60 0 0 25 0 4 0 522391499 3934728192 810255 33554432000 4194304 4623224 140734589337216 18446744073709551615 4357901 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=8560/tid=8564] ppid=8558 vsize=3842508 CPUtime=1175.43 cores=1,3,5,7
/proc/8560/task/8564/stat : 8564 (SArTagnan) R 8558 8560 8042 0 -1 4202560 4903700 0 0 0 116678 865 0 0 25 0 4 0 522391499 3934728192 810255 33554432000 4194304 4623224 140734589337216 18446744073709551615 4376711 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4721.46
Current children cumulated vsize (KiB) 3842508
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1202 s]
/proc/loadavg: 8.22 8.16 8.10 9/188 8627
/proc/meminfo: memFree=26356416/32951124 swapFree=67111352/67111528
[pid=8560] ppid=8558 vsize=3842508 CPUtime=4800.17 cores=1,3,5,7
/proc/8560/stat : 8560 (SArTagnan) R 8558 8560 8042 0 -1 4202496 6301777 0 0 0 478746 1271 0 0 25 0 4 0 522391460 3934728192 818090 33554432000 4194304 4623224 140734589337216 18446744073709551615 4413744 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/8560/statm: 960627 818090 345 105 0 956131 0
[pid=8560/tid=8562] ppid=8558 vsize=3842508 CPUtime=1201.59 cores=1,3,5,7
/proc/8560/task/8562/stat : 8562 (SArTagnan) R 8558 8560 8042 0 -1 4202560 101869 0 0 0 120109 50 0 0 25 0 4 0 522391499 3934728192 818090 33554432000 4194304 4623224 140734589337216 18446744073709551615 4486238 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=8560/tid=8563] ppid=8558 vsize=3842508 CPUtime=1201.6 cores=1,3,5,7
/proc/8560/task/8563/stat : 8563 (SArTagnan) R 8558 8560 8042 0 -1 4202560 101845 0 0 0 120100 60 0 0 25 0 4 0 522391499 3934728192 818090 33554432000 4194304 4623224 140734589337216 18446744073709551615 4357901 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=8560/tid=8564] ppid=8558 vsize=3842508 CPUtime=1195.02 cores=1,3,5,7
/proc/8560/task/8564/stat : 8564 (SArTagnan) R 8558 8560 8042 0 -1 4202560 5001210 0 0 0 118618 884 0 0 25 0 4 0 522391499 3934728192 818090 33554432000 4194304 4623224 140734589337216 18446744073709551615 4355360 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4800.17
Current children cumulated vsize (KiB) 3842508
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1202.11 s]
/proc/loadavg: 8.22 8.16 8.10 9/188 8627
/proc/meminfo: memFree=26356416/32951124 swapFree=67111352/67111528
[pid=8560] ppid=8558 vsize=0 CPUtime=4800.29 cores=1,3,5,7
/proc/8560/stat : 8560 (SArTagnan) Z 8558 8560 8042 0 -1 4203548 6301777 0 0 0 478748 1281 0 0 25 0 2 0 522391460 0 0 33554432000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/8560/statm: 0 0 0 0 0 0 0
[pid=8560/tid=8564] ppid=8558 vsize=0 CPUtime=1195.12 cores=1,3,5,7
/proc/8560/task/8564/stat : 8564 (SArTagnan) R 8558 8560 8042 0 -1 4203588 5001210 0 0 0 118618 894 0 0 25 0 2 0 522391499 0 0 33554432000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 4800.29
Current children cumulated vsize (KiB) 0
Child ended because it received signal 15 (SIGTERM)
Real time (s): 1202.15
CPU time (s): 4800.34
CPU user time (s): 4787.48
CPU system time (s): 12.855
CPU usage (%): 399.313
Max. virtual memory (cumulated for all children) (KiB): 4409416
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4787.48
system time used= 12.855
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 6301777
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= 6955
involuntary context switches= 32030
runsolver used 1.61675 second user time and 4.95325 second system time
The end