runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.0 (svn: 961)
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-3386031-1305581454/watcher-3386031-1305581454 -o /tmp/evaluation-result-3386031-1305581454/solver-3386031-1305581454 -C 4800 -W 1300 -M 15500 SArTagnan HOME/instance-3386031-1305581454.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: 10.16 10.16 10.09 7/348 6178
/proc/meminfo: memFree=15916504/32951124 swapFree=54450792/67111528
[pid=6178] ppid=6176 vsize=51588 CPUtime=0 cores=0,2,4,6
/proc/6178/stat : 6178 (SArTagnan) R 6176 6178 5768 0 -1 4202496 978 0 0 0 0 0 0 0 25 0 4 0 669743566 52826112 906 33554432000 4194304 4625164 140733674925520 18446744073709551615 46912877598642 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/6178/statm: 12897 906 301 106 0 8400 0
[pid=6178/tid=6179] ppid=6176 vsize=51588 CPUtime=0 cores=0,2,4,6
/proc/6178/task/6179/stat : 6179 (SArTagnan) R 6176 6178 5768 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 4 0 669743567 52826112 907 33554432000 4194304 4625164 140733674925520 18446744073709551615 246516890609 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=6178/tid=6180] ppid=6176 vsize=51588 CPUtime=0 cores=0,2,4,6
/proc/6178/task/6180/stat : 6180 (SArTagnan) R 6176 6178 5768 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 4 0 669743567 52826112 907 33554432000 4194304 4625164 140733674925520 18446744073709551615 246516890609 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=6178/tid=6181] ppid=6176 vsize=51588 CPUtime=0 cores=0,2,4,6
/proc/6178/task/6181/stat : 6181 (SArTagnan) R 6176 6178 5768 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 4 0 669743567 52826112 907 33554432000 4194304 4625164 140733674925520 18446744073709551615 46912877598642 0 0 4096 2 0 0 0 -1 0 0 0 0
[startup+0.0838731 s]
/proc/loadavg: 10.16 10.16 10.09 7/348 6178
/proc/meminfo: memFree=15916504/32951124 swapFree=54450792/67111528
[pid=6178] ppid=6176 vsize=184944 CPUtime=0.21 cores=0,2,4,6
/proc/6178/stat : 6178 (SArTagnan) R 6176 6178 5768 0 -1 4202496 2309 0 0 0 21 0 0 0 25 0 4 0 669743566 189382656 1518 33554432000 4194304 4625164 140733674925520 18446744073709551615 4361099 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/6178/statm: 46236 1518 340 106 0 41739 0
[pid=6178/tid=6179] ppid=6176 vsize=184944 CPUtime=0.05 cores=0,2,4,6
/proc/6178/task/6179/stat : 6179 (SArTagnan) R 6176 6178 5768 0 -1 4202560 345 0 0 0 5 0 0 0 25 0 4 0 669743567 189382656 1518 33554432000 4194304 4625164 140733674925520 18446744073709551615 4351863 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=6178/tid=6180] ppid=6176 vsize=184944 CPUtime=0.06 cores=0,2,4,6
/proc/6178/task/6180/stat : 6180 (SArTagnan) D 6176 6178 5768 0 -1 4202560 322 0 0 0 6 0 0 0 25 0 4 0 669743567 189382656 1518 33554432000 4194304 4625164 140733674925520 18446744073709551615 246516877495 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=6178/tid=6181] ppid=6176 vsize=184944 CPUtime=0.07 cores=0,2,4,6
/proc/6178/task/6181/stat : 6181 (SArTagnan) D 6176 6178 5768 0 -1 4202560 424 0 0 0 7 0 0 0 25 0 4 0 669743567 189382656 1518 33554432000 4194304 4625164 140733674925520 18446744073709551615 4339447 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 0.21
Current children cumulated vsize (KiB) 184944
[startup+0.101118 s]
/proc/loadavg: 10.16 10.16 10.09 7/348 6178
/proc/meminfo: memFree=15916504/32951124 swapFree=54450792/67111528
[pid=6178] ppid=6176 vsize=186604 CPUtime=0.26 cores=0,2,4,6
/proc/6178/stat : 6178 (SArTagnan) R 6176 6178 5768 0 -1 4202496 3584 0 0 0 26 0 0 0 25 0 4 0 669743566 191082496 2222 33554432000 4194304 4625164 140733674925520 18446744073709551615 4339865 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/6178/statm: 46651 2223 343 106 0 42154 0
[pid=6178/tid=6179] ppid=6176 vsize=186604 CPUtime=0.06 cores=0,2,4,6
/proc/6178/task/6179/stat : 6179 (SArTagnan) R 6176 6178 5768 0 -1 4202560 556 0 0 0 6 0 0 0 25 0 4 0 669743567 191082496 2223 33554432000 4194304 4625164 140733674925520 18446744073709551615 4351979 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=6178/tid=6180] ppid=6176 vsize=186604 CPUtime=0.08 cores=0,2,4,6
/proc/6178/task/6180/stat : 6180 (SArTagnan) R 6176 6178 5768 0 -1 4202560 325 0 0 0 8 0 0 0 25 0 4 0 669743567 191082496 2223 33554432000 4194304 4625164 140733674925520 18446744073709551615 4339447 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=6178/tid=6181] ppid=6176 vsize=186604 CPUtime=0.08 cores=0,2,4,6
/proc/6178/task/6181/stat : 6181 (SArTagnan) R 6176 6178 5768 0 -1 4202560 678 0 0 0 8 0 0 0 25 0 4 0 669743567 191082496 2223 33554432000 4194304 4625164 140733674925520 18446744073709551615 4340391 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 0.26
Current children cumulated vsize (KiB) 186604
[startup+0.301079 s]
/proc/loadavg: 10.16 10.16 10.09 7/348 6178
/proc/meminfo: memFree=15916504/32951124 swapFree=54450792/67111528
[pid=6178] ppid=6176 vsize=188316 CPUtime=0.85 cores=0,2,4,6
/proc/6178/stat : 6178 (SArTagnan) R 6176 6178 5768 0 -1 4202496 5343 0 0 0 85 0 0 0 25 0 4 0 669743566 192835584 3077 33554432000 4194304 4625164 140733674925520 18446744073709551615 4511982 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/6178/statm: 47079 3077 346 106 0 42582 0
[pid=6178/tid=6179] ppid=6176 vsize=188316 CPUtime=0.26 cores=0,2,4,6
/proc/6178/task/6179/stat : 6179 (SArTagnan) R 6176 6178 5768 0 -1 4202560 938 0 0 0 26 0 0 0 25 0 4 0 669743567 192835584 3077 33554432000 4194304 4625164 140733674925520 18446744073709551615 4351863 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=6178/tid=6180] ppid=6176 vsize=188316 CPUtime=0.27 cores=0,2,4,6
/proc/6178/task/6180/stat : 6180 (SArTagnan) R 6176 6178 5768 0 -1 4202560 915 0 0 0 27 0 0 0 25 0 4 0 669743567 192835584 3077 33554432000 4194304 4625164 140733674925520 18446744073709551615 4351942 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=6178/tid=6181] ppid=6176 vsize=188316 CPUtime=0.11 cores=0,2,4,6
/proc/6178/task/6181/stat : 6181 (SArTagnan) R 6176 6178 5768 0 -1 4202560 777 0 0 0 11 0 0 0 25 0 4 0 669743567 192835584 3077 33554432000 4194304 4625164 140733674925520 18446744073709551615 4554703 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 0.85
Current children cumulated vsize (KiB) 188316
[startup+0.701008 s]
/proc/loadavg: 10.16 10.16 10.09 7/348 6178
/proc/meminfo: memFree=15916504/32951124 swapFree=54450792/67111528
[pid=6178] ppid=6176 vsize=190380 CPUtime=2.05 cores=0,2,4,6
/proc/6178/stat : 6178 (SArTagnan) R 6176 6178 5768 0 -1 4202496 7358 0 0 0 205 0 0 0 25 0 4 0 669743566 194949120 3533 33554432000 4194304 4625164 140733674925520 18446744073709551615 4511922 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/6178/statm: 47595 3533 346 106 0 43098 0
[pid=6178/tid=6179] ppid=6176 vsize=190380 CPUtime=0.66 cores=0,2,4,6
/proc/6178/task/6179/stat : 6179 (SArTagnan) R 6176 6178 5768 0 -1 4202560 1337 0 0 0 66 0 0 0 25 0 4 0 669743567 194949120 3533 33554432000 4194304 4625164 140733674925520 18446744073709551615 4487548 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=6178/tid=6180] ppid=6176 vsize=190380 CPUtime=0.67 cores=0,2,4,6
/proc/6178/task/6180/stat : 6180 (SArTagnan) R 6176 6178 5768 0 -1 4202560 1309 0 0 0 67 0 0 0 25 0 4 0 669743567 194949120 3533 33554432000 4194304 4625164 140733674925520 18446744073709551615 4352765 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=6178/tid=6181] ppid=6176 vsize=190380 CPUtime=0.31 cores=0,2,4,6
/proc/6178/task/6181/stat : 6181 (SArTagnan) R 6176 6178 5768 0 -1 4202560 1708 0 0 0 31 0 0 0 25 0 4 0 669743567 194949120 3533 33554432000 4194304 4625164 140733674925520 18446744073709551615 4339612 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2.05
Current children cumulated vsize (KiB) 190380
[startup+1.50086 s]
/proc/loadavg: 10.15 10.16 10.09 11/352 6182
/proc/meminfo: memFree=15898748/32951124 swapFree=54450792/67111528
[pid=6178] ppid=6176 vsize=192112 CPUtime=4.45 cores=0,2,4,6
/proc/6178/stat : 6178 (SArTagnan) R 6176 6178 5768 0 -1 4202496 11045 0 0 0 444 1 0 0 25 0 4 0 669743566 196722688 4461 33554432000 4194304 4625164 140733674925520 18446744073709551615 4512046 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/6178/statm: 48028 4461 346 106 0 43531 0
[pid=6178/tid=6179] ppid=6176 vsize=192112 CPUtime=1.46 cores=0,2,4,6
/proc/6178/task/6179/stat : 6179 (SArTagnan) R 6176 6178 5768 0 -1 4202560 2029 0 0 0 146 0 0 0 25 0 4 0 669743567 196722688 4461 33554432000 4194304 4625164 140733674925520 18446744073709551615 4351860 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=6178/tid=6180] ppid=6176 vsize=192112 CPUtime=1.46 cores=0,2,4,6
/proc/6178/task/6180/stat : 6180 (SArTagnan) R 6176 6178 5768 0 -1 4202560 2064 0 0 0 146 0 0 0 25 0 4 0 669743567 196722688 4461 33554432000 4194304 4625164 140733674925520 18446744073709551615 4351979 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=6178/tid=6181] ppid=6176 vsize=192112 CPUtime=0.7 cores=0,2,4,6
/proc/6178/task/6181/stat : 6181 (SArTagnan) R 6176 6178 5768 0 -1 4202560 3544 0 0 0 70 0 0 0 25 0 4 0 669743567 196722688 4461 33554432000 4194304 4625164 140733674925520 18446744073709551615 4352728 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4.45
Current children cumulated vsize (KiB) 192112
[startup+3.10057 s]
/proc/loadavg: 10.15 10.16 10.09 11/352 6182
/proc/meminfo: memFree=15888952/32951124 swapFree=54450792/67111528
[pid=6178] ppid=6176 vsize=195636 CPUtime=9.23 cores=0,2,4,6
/proc/6178/stat : 6178 (SArTagnan) R 6176 6178 5768 0 -1 4202496 16091 0 0 0 922 1 0 0 25 0 4 0 669743566 200331264 6393 33554432000 4194304 4625164 140733674925520 18446744073709551615 4511986 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/6178/statm: 48909 6393 347 106 0 44412 0
[pid=6178/tid=6179] ppid=6176 vsize=195636 CPUtime=3.06 cores=0,2,4,6
/proc/6178/task/6179/stat : 6179 (SArTagnan) R 6176 6178 5768 0 -1 4202560 3378 0 0 0 306 0 0 0 25 0 4 0 669743567 200331264 6393 33554432000 4194304 4625164 140733674925520 18446744073709551615 4351979 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=6178/tid=6180] ppid=6176 vsize=195636 CPUtime=3.05 cores=0,2,4,6
/proc/6178/task/6180/stat : 6180 (SArTagnan) R 6176 6178 5768 0 -1 4202560 3555 0 0 0 305 0 0 0 25 0 4 0 669743567 200331264 6393 33554432000 4194304 4625164 140733674925520 18446744073709551615 4352739 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=6178/tid=6181] ppid=6176 vsize=195636 CPUtime=1.41 cores=0,2,4,6
/proc/6178/task/6181/stat : 6181 (SArTagnan) R 6176 6178 5768 0 -1 4202560 5077 0 0 0 141 0 0 0 25 0 4 0 669743567 200331264 6393 33554432000 4194304 4625164 140733674925520 18446744073709551615 4339447 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 9.23
Current children cumulated vsize (KiB) 195636
[startup+6.30099 s]
/proc/loadavg: 10.15 10.16 10.09 11/352 6182
/proc/meminfo: memFree=15864908/32951124 swapFree=54450792/67111528
[pid=6178] ppid=6176 vsize=199856 CPUtime=18.8 cores=0,2,4,6
/proc/6178/stat : 6178 (SArTagnan) R 6176 6178 5768 0 -1 4202496 27001 0 0 0 1877 3 0 0 25 0 4 0 669743566 204652544 8525 33554432000 4194304 4625164 140733674925520 18446744073709551615 4513499 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/6178/statm: 49964 8525 362 106 0 45467 0
[pid=6178/tid=6179] ppid=6176 vsize=199856 CPUtime=6.26 cores=0,2,4,6
/proc/6178/task/6179/stat : 6179 (SArTagnan) R 6176 6178 5768 0 -1 4202560 4835 0 0 0 626 0 0 0 25 0 4 0 669743567 204652544 8525 33554432000 4194304 4625164 140733674925520 18446744073709551615 4351979 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=6178/tid=6180] ppid=6176 vsize=199856 CPUtime=6.21 cores=0,2,4,6
/proc/6178/task/6180/stat : 6180 (SArTagnan) R 6176 6178 5768 0 -1 4202560 5054 0 0 0 621 0 0 0 25 0 4 0 669743567 204652544 8525 33554432000 4194304 4625164 140733674925520 18446744073709551615 4351824 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=6178/tid=6181] ppid=6176 vsize=199856 CPUtime=3 cores=0,2,4,6
/proc/6178/task/6181/stat : 6181 (SArTagnan) R 6176 6178 5768 0 -1 4202560 12568 0 0 0 299 1 0 0 25 0 4 0 669743567 204652544 8525 33554432000 4194304 4625164 140733674925520 18446744073709551615 4334728 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 18.8
Current children cumulated vsize (KiB) 199856
[startup+12.7008 s]
/proc/loadavg: 10.12 10.15 10.09 11/352 6182
/proc/meminfo: memFree=15818996/32951124 swapFree=54450792/67111528
[pid=6178] ppid=6176 vsize=209068 CPUtime=37.91 cores=0,2,4,6
/proc/6178/stat : 6178 (SArTagnan) R 6176 6178 5768 0 -1 4202496 36982 0 0 0 3787 4 0 0 25 0 4 0 669743566 214085632 12104 33554432000 4194304 4625164 140733674925520 18446744073709551615 4511874 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/6178/statm: 52267 12104 372 106 0 47770 0
[pid=6178/tid=6179] ppid=6176 vsize=209068 CPUtime=10.54 cores=0,2,4,6
/proc/6178/task/6179/stat : 6179 (SArTagnan) R 6176 6178 5768 0 -1 4202560 5291 0 0 0 1054 0 0 0 25 0 4 0 669743567 214085632 12104 33554432000 4194304 4625164 140733674925520 18446744073709551615 4351937 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=6178/tid=6180] ppid=6176 vsize=209068 CPUtime=12.37 cores=0,2,4,6
/proc/6178/task/6180/stat : 6180 (SArTagnan) R 6176 6178 5768 0 -1 4202560 5924 0 0 0 1236 1 0 0 25 0 4 0 669743567 214085632 12105 33554432000 4194304 4625164 140733674925520 18446744073709551615 4352688 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=6178/tid=6181] ppid=6176 vsize=209068 CPUtime=6.52 cores=0,2,4,6
/proc/6178/task/6181/stat : 6181 (SArTagnan) R 6176 6178 5768 0 -1 4202560 20188 0 0 0 650 2 0 0 25 0 4 0 669743567 214085632 12105 33554432000 4194304 4625164 140733674925520 18446744073709551615 4339865 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 37.91
Current children cumulated vsize (KiB) 209068
Solver just ended. Dumping a history of the last processes samples
[startup+15.9002 s]
/proc/loadavg: 10.12 10.15 10.09 11/352 6182
/proc/meminfo: memFree=15803008/32951124 swapFree=54450792/67111528
[pid=6178] ppid=6176 vsize=222232 CPUtime=47.48 cores=0,2,4,6
/proc/6178/stat : 6178 (SArTagnan) R 6176 6178 5768 0 -1 4202496 43678 0 0 0 4743 5 0 0 25 0 4 0 669743566 227565568 14113 33554432000 4194304 4625164 140733674925520 18446744073709551615 4512046 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/6178/statm: 55558 14113 377 106 0 51061 0
[pid=6178/tid=6179] ppid=6176 vsize=222232 CPUtime=12.13 cores=0,2,4,6
/proc/6178/task/6179/stat : 6179 (SArTagnan) R 6176 6178 5768 0 -1 4202560 7292 0 0 0 1213 0 0 0 25 0 4 0 669743567 227565568 14113 33554432000 4194304 4625164 140733674925520 18446744073709551615 4351863 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=6178/tid=6180] ppid=6176 vsize=222232 CPUtime=15.53 cores=0,2,4,6
/proc/6178/task/6180/stat : 6180 (SArTagnan) R 6176 6178 5768 0 -1 4202560 7887 0 0 0 1552 1 0 0 25 0 4 0 669743567 227565568 14113 33554432000 4194304 4625164 140733674925520 18446744073709551615 4352739 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=6178/tid=6181] ppid=6176 vsize=222232 CPUtime=8.11 cores=0,2,4,6
/proc/6178/task/6181/stat : 6181 (SArTagnan) R 6176 6178 5768 0 -1 4202560 22881 0 0 0 809 2 0 0 25 0 4 0 669743567 227565568 14113 33554432000 4194304 4625164 140733674925520 18446744073709551615 4552369 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 47.48
Current children cumulated vsize (KiB) 222232
[startup+19.1007 s]
/proc/loadavg: 10.11 10.15 10.09 11/352 6182
/proc/meminfo: memFree=15774980/32951124 swapFree=54450792/67111528
[pid=6178] ppid=6176 vsize=222232 CPUtime=57.05 cores=0,2,4,6
/proc/6178/stat : 6178 (SArTagnan) R 6176 6178 5768 0 -1 4202496 55291 0 0 0 5697 8 0 0 25 0 4 0 669743566 227565568 14740 33554432000 4194304 4625164 140733674925520 18446744073709551615 4512475 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/6178/statm: 55558 14740 375 106 0 51061 0
[pid=6178/tid=6179] ppid=6176 vsize=222232 CPUtime=13.45 cores=0,2,4,6
/proc/6178/task/6179/stat : 6179 (SArTagnan) R 6176 6178 5768 0 -1 4202560 7437 0 0 0 1345 0 0 0 24 0 4 0 669743567 227565568 14740 33554432000 4194304 4625164 140733674925520 18446744073709551615 246516501506 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=6178/tid=6180] ppid=6176 vsize=222232 CPUtime=18.69 cores=0,2,4,6
/proc/6178/task/6180/stat : 6180 (SArTagnan) R 6176 6178 5768 0 -1 4202560 8265 0 0 0 1868 1 0 0 25 0 4 0 669743567 227565568 14740 33554432000 4194304 4625164 140733674925520 18446744073709551615 4351979 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=6178/tid=6181] ppid=6176 vsize=222232 CPUtime=10 cores=0,2,4,6
/proc/6178/task/6181/stat : 6181 (SArTagnan) R 6176 6178 5768 0 -1 4202560 33918 0 0 0 995 5 0 0 25 0 4 0 669743567 227565568 14740 33554432000 4194304 4625164 140733674925520 18446744073709551615 246516490247 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 57.05
Current children cumulated vsize (KiB) 222232
[startup+19.9005 s]
/proc/loadavg: 10.11 10.15 10.09 11/352 6182
/proc/meminfo: memFree=15772252/32951124 swapFree=54450792/67111528
[pid=6178] ppid=6176 vsize=222232 CPUtime=59.44 cores=0,2,4,6
/proc/6178/stat : 6178 (SArTagnan) R 6176 6178 5768 0 -1 4202496 57984 0 0 0 5935 9 0 0 25 0 4 0 669743566 227565568 15006 33554432000 4194304 4625164 140733674925520 18446744073709551615 4508979 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/6178/statm: 55558 15006 375 106 0 51061 0
[pid=6178/tid=6179] ppid=6176 vsize=222232 CPUtime=13.85 cores=0,2,4,6
/proc/6178/task/6179/stat : 6179 (SArTagnan) R 6176 6178 5768 0 -1 4202560 7437 0 0 0 1385 0 0 0 25 0 4 0 669743567 227565568 15006 33554432000 4194304 4625164 140733674925520 18446744073709551615 4351863 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=6178/tid=6180] ppid=6176 vsize=222232 CPUtime=19.48 cores=0,2,4,6
/proc/6178/task/6180/stat : 6180 (SArTagnan) R 6176 6178 5768 0 -1 4202560 8332 0 0 0 1947 1 0 0 25 0 4 0 669743567 227565568 15006 33554432000 4194304 4625164 140733674925520 18446744073709551615 4352299 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=6178/tid=6181] ppid=6176 vsize=222232 CPUtime=10.4 cores=0,2,4,6
/proc/6178/task/6181/stat : 6181 (SArTagnan) R 6176 6178 5768 0 -1 4202560 36544 0 0 0 1035 5 0 0 25 0 4 0 669743567 227565568 15006 33554432000 4194304 4625164 140733674925520 18446744073709551615 4351906 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 59.44
Current children cumulated vsize (KiB) 222232
[startup+20.7004 s]
/proc/loadavg: 10.11 10.15 10.09 11/352 6182
/proc/meminfo: memFree=15772252/32951124 swapFree=54450792/67111528
[pid=6178] ppid=6176 vsize=228020 CPUtime=61.83 cores=0,2,4,6
/proc/6178/stat : 6178 (SArTagnan) R 6176 6178 5768 0 -1 4202496 63785 0 0 0 6174 9 0 0 25 0 4 0 669743566 233492480 15356 33554432000 4194304 4625164 140733674925520 18446744073709551615 4512009 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/6178/statm: 57005 15356 375 106 0 52508 0
[pid=6178/tid=6179] ppid=6176 vsize=228020 CPUtime=14.25 cores=0,2,4,6
/proc/6178/task/6179/stat : 6179 (SArTagnan) R 6176 6178 5768 0 -1 4202560 7437 0 0 0 1425 0 0 0 25 0 4 0 669743567 233492480 15356 33554432000 4194304 4625164 140733674925520 18446744073709551615 4352005 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=6178/tid=6180] ppid=6176 vsize=228020 CPUtime=20.27 cores=0,2,4,6
/proc/6178/task/6180/stat : 6180 (SArTagnan) R 6176 6178 5768 0 -1 4202560 11261 0 0 0 2026 1 0 0 25 0 4 0 669743567 233492480 15356 33554432000 4194304 4625164 140733674925520 18446744073709551615 4351863 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=6178/tid=6181] ppid=6176 vsize=228020 CPUtime=10.8 cores=0,2,4,6
/proc/6178/task/6181/stat : 6181 (SArTagnan) R 6176 6178 5768 0 -1 4202560 39416 0 0 0 1074 6 0 0 25 0 4 0 669743567 233492480 15356 33554432000 4194304 4625164 140733674925520 18446744073709551615 4334728 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 61.83
Current children cumulated vsize (KiB) 228020
[startup+21.1003 s]
/proc/loadavg: 10.10 10.15 10.08 11/352 6182
/proc/meminfo: memFree=15769524/32951124 swapFree=54450792/67111528
[pid=6178] ppid=6176 vsize=228020 CPUtime=63.02 cores=0,2,4,6
/proc/6178/stat : 6178 (SArTagnan) R 6176 6178 5768 0 -1 4202496 64984 0 0 0 6292 10 0 0 25 0 4 0 669743566 233492480 15525 33554432000 4194304 4625164 140733674925520 18446744073709551615 4511874 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/6178/statm: 57005 15525 375 106 0 52508 0
[pid=6178/tid=6179] ppid=6176 vsize=228020 CPUtime=14.45 cores=0,2,4,6
/proc/6178/task/6179/stat : 6179 (SArTagnan) R 6176 6178 5768 0 -1 4202560 7437 0 0 0 1445 0 0 0 25 0 4 0 669743567 233492480 15525 33554432000 4194304 4625164 140733674925520 18446744073709551615 4339183 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=6178/tid=6180] ppid=6176 vsize=228020 CPUtime=20.66 cores=0,2,4,6
/proc/6178/task/6180/stat : 6180 (SArTagnan) R 6176 6178 5768 0 -1 4202560 11313 0 0 0 2065 1 0 0 25 0 4 0 669743567 233492480 15525 33554432000 4194304 4625164 140733674925520 18446744073709551615 246516501466 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=6178/tid=6181] ppid=6176 vsize=228020 CPUtime=11 cores=0,2,4,6
/proc/6178/task/6181/stat : 6181 (SArTagnan) R 6176 6178 5768 0 -1 4202560 40563 0 0 0 1094 6 0 0 25 0 4 0 669743567 233492480 15525 33554432000 4194304 4625164 140733674925520 18446744073709551615 4351979 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 63.02
Current children cumulated vsize (KiB) 228020
Child status: 10
Real time (s): 21.1596
CPU time (s): 63.2034
CPU user time (s): 63.0974
CPU system time (s): 0.105983
CPU usage (%): 298.699
Max. virtual memory (cumulated for all children) (KiB): 228020
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 63.0974
system time used= 0.105983
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 64998
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= 207
involuntary context switches= 1461
runsolver used 0.078987 second user time and 0.161975 second system time
The end