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-3257472-1304047462/watcher-3257472-1304047462 -o /tmp/evaluation-result-3257472-1304047462/solver-3257472-1304047462 -C 4800 -W 1300 -M 15500 SArTagnan HOME/instance-3257472-1304047462.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.08 8.07 8.02 6/180 19659
/proc/meminfo: memFree=15527396/32951124 swapFree=67111528/67111528
[pid=19659] ppid=19657 vsize=19916 CPUtime=0 cores=0,2,4,6
/proc/19659/stat : 19659 (SArTagnan) R 19657 19659 19389 0 -1 4202496 627 0 0 0 0 0 0 0 25 0 1 0 516344171 20393984 564 33554432000 4194304 4623224 140735107432336 18446744073709551615 4388779 0 0 4096 2 0 0 0 17 2 0 0 0
/proc/19659/statm: 4979 564 297 105 0 483 0
[startup+0.0128269 s]
/proc/loadavg: 8.08 8.07 8.02 6/180 19659
/proc/meminfo: memFree=15527396/32951124 swapFree=67111528/67111528
[pid=19659] ppid=19657 vsize=21104 CPUtime=0.01 cores=0,2,4,6
/proc/19659/stat : 19659 (SArTagnan) R 19657 19659 19389 0 -1 4202496 1076 0 0 0 1 0 0 0 25 0 1 0 516344171 21610496 820 33554432000 4194304 4623224 140735107432336 18446744073709551615 228122713856 0 0 4096 2 0 0 0 17 2 0 0 0
/proc/19659/statm: 5276 822 297 105 0 780 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 21104
[startup+0.102822 s]
/proc/loadavg: 8.08 8.07 8.02 6/180 19659
/proc/meminfo: memFree=15527396/32951124 swapFree=67111528/67111528
[pid=19659] ppid=19657 vsize=191256 CPUtime=0.34 cores=0,2,4,6
/proc/19659/stat : 19659 (SArTagnan) R 19657 19659 19389 0 -1 4202496 4732 0 0 0 33 1 0 0 25 0 4 0 516344171 195846144 3196 33554432000 4194304 4623224 140735107432336 18446744073709551615 4507344 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/19659/statm: 47814 3196 341 105 0 43318 0
Current children cumulated CPU time (s) 0.34
Current children cumulated vsize (KiB) 191256
[startup+0.300734 s]
/proc/loadavg: 8.08 8.07 8.02 6/180 19659
/proc/meminfo: memFree=15527396/32951124 swapFree=67111528/67111528
[pid=19659] ppid=19657 vsize=258636 CPUtime=1.13 cores=0,2,4,6
/proc/19659/stat : 19659 (SArTagnan) R 19657 19659 19389 0 -1 4202496 7521 0 0 0 112 1 0 0 25 0 4 0 516344171 264843264 4457 33554432000 4194304 4623224 140735107432336 18446744073709551615 4511659 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/19659/statm: 64659 4458 341 105 0 60163 0
Current children cumulated CPU time (s) 1.13
Current children cumulated vsize (KiB) 258636
[startup+0.700662 s]
/proc/loadavg: 8.08 8.07 8.02 6/180 19659
/proc/meminfo: memFree=15527396/32951124 swapFree=67111528/67111528
[pid=19659] ppid=19657 vsize=260716 CPUtime=2.73 cores=0,2,4,6
/proc/19659/stat : 19659 (SArTagnan) R 19657 19659 19389 0 -1 4202496 12690 0 0 0 271 2 0 0 25 0 4 0 516344171 266973184 6426 33554432000 4194304 4623224 140735107432336 18446744073709551615 4517501 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/19659/statm: 65179 6426 341 105 0 60683 0
Current children cumulated CPU time (s) 2.73
Current children cumulated vsize (KiB) 260716
[startup+1.50052 s]
/proc/loadavg: 8.08 8.07 8.02 9/184 19663
/proc/meminfo: memFree=15495380/32951124 swapFree=67111528/67111528
[pid=19659] ppid=19657 vsize=266224 CPUtime=5.92 cores=0,2,4,6
/proc/19659/stat : 19659 (SArTagnan) R 19657 19659 19389 0 -1 4202496 17979 0 0 0 589 3 0 0 25 0 4 0 516344171 272613376 9128 33554432000 4194304 4623224 140735107432336 18446744073709551615 4510495 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/19659/statm: 66556 9128 345 105 0 62060 0
[pid=19659/tid=19661] ppid=19657 vsize=266224 CPUtime=1.47 cores=0,2,4,6
/proc/19659/task/19661/stat : 19661 (SArTagnan) R 19657 19659 19389 0 -1 4202560 3596 0 0 0 147 0 0 0 25 0 4 0 516344173 272613376 9128 33554432000 4194304 4623224 140735107432336 18446744073709551615 4376711 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=19659/tid=19662] ppid=19657 vsize=266224 CPUtime=1.46 cores=0,2,4,6
/proc/19659/task/19662/stat : 19662 (SArTagnan) R 19657 19659 19389 0 -1 4202560 2749 0 0 0 146 0 0 0 25 0 4 0 516344173 272613376 9128 33554432000 4194304 4623224 140735107432336 18446744073709551615 4373923 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=19659/tid=19663] ppid=19657 vsize=266224 CPUtime=1.47 cores=0,2,4,6
/proc/19659/task/19663/stat : 19663 (SArTagnan) R 19657 19659 19389 0 -1 4202560 5293 0 0 0 147 0 0 0 25 0 4 0 516344173 272613376 9128 33554432000 4194304 4623224 140735107432336 18446744073709551615 4577512 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 5.92
Current children cumulated vsize (KiB) 266224
[startup+3.10023 s]
/proc/loadavg: 8.08 8.07 8.02 9/184 19664
/proc/meminfo: memFree=15484344/32951124 swapFree=67111528/67111528
[pid=19659] ppid=19657 vsize=275544 CPUtime=12.32 cores=0,2,4,6
/proc/19659/stat : 19659 (SArTagnan) R 19657 19659 19389 0 -1 4202496 27217 0 0 0 1227 5 0 0 25 0 4 0 516344171 282157056 12147 33554432000 4194304 4623224 140735107432336 18446744073709551615 4510316 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/19659/statm: 68886 12147 345 105 0 64390 0
[pid=19659/tid=19661] ppid=19657 vsize=275544 CPUtime=3.07 cores=0,2,4,6
/proc/19659/task/19661/stat : 19661 (SArTagnan) R 19657 19659 19389 0 -1 4202560 5168 0 0 0 307 0 0 0 25 0 4 0 516344173 282157056 12147 33554432000 4194304 4623224 140735107432336 18446744073709551615 228122370055 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=19659/tid=19662] ppid=19657 vsize=275544 CPUtime=3.06 cores=0,2,4,6
/proc/19659/task/19662/stat : 19662 (SArTagnan) R 19657 19659 19389 0 -1 4202560 5268 0 0 0 305 1 0 0 25 0 4 0 516344173 282157056 12147 33554432000 4194304 4623224 140735107432336 18446744073709551615 4377913 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=19659/tid=19663] ppid=19657 vsize=275544 CPUtime=3.07 cores=0,2,4,6
/proc/19659/task/19663/stat : 19663 (SArTagnan) R 19657 19659 19389 0 -1 4202560 8720 0 0 0 306 1 0 0 25 0 4 0 516344173 282157056 12147 33554432000 4194304 4623224 140735107432336 18446744073709551615 4289707 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 12.32
Current children cumulated vsize (KiB) 275544
[startup+6.30065 s]
/proc/loadavg: 8.07 8.07 8.02 9/184 19664
/proc/meminfo: memFree=15455076/32951124 swapFree=67111528/67111528
[pid=19659] ppid=19657 vsize=288828 CPUtime=25.09 cores=0,2,4,6
/proc/19659/stat : 19659 (SArTagnan) R 19657 19659 19389 0 -1 4202496 52106 0 0 0 2500 9 0 0 25 0 4 0 516344171 295759872 19928 33554432000 4194304 4623224 140735107432336 18446744073709551615 4415014 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/19659/statm: 72207 19928 345 105 0 67711 0
[pid=19659/tid=19661] ppid=19657 vsize=288828 CPUtime=6.27 cores=0,2,4,6
/proc/19659/task/19661/stat : 19661 (SArTagnan) R 19657 19659 19389 0 -1 4202560 9078 0 0 0 626 1 0 0 25 0 4 0 516344173 295759872 19928 33554432000 4194304 4623224 140735107432336 18446744073709551615 4376640 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=19659/tid=19662] ppid=19657 vsize=288828 CPUtime=6.24 cores=0,2,4,6
/proc/19659/task/19662/stat : 19662 (SArTagnan) R 19657 19659 19389 0 -1 4202560 8926 0 0 0 622 2 0 0 25 0 4 0 516344173 295759872 19928 33554432000 4194304 4623224 140735107432336 18446744073709551615 4462984 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=19659/tid=19663] ppid=19657 vsize=288828 CPUtime=6.27 cores=0,2,4,6
/proc/19659/task/19663/stat : 19663 (SArTagnan) R 19657 19659 19389 0 -1 4202560 25795 0 0 0 624 3 0 0 25 0 4 0 516344173 295759872 19928 33554432000 4194304 4623224 140735107432336 18446744073709551615 4366364 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 25.09
Current children cumulated vsize (KiB) 288828
[startup+12.7005 s]
/proc/loadavg: 8.07 8.07 8.02 9/184 19664
/proc/meminfo: memFree=15370612/32951124 swapFree=67111528/67111528
[pid=19659] ppid=19657 vsize=313136 CPUtime=50.66 cores=0,2,4,6
/proc/19659/stat : 19659 (SArTagnan) R 19657 19659 19389 0 -1 4202496 107461 0 0 0 5045 21 0 0 25 0 4 0 516344171 320651264 35782 33554432000 4194304 4623224 140735107432336 18446744073709551615 4507318 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/19659/statm: 78284 35782 345 105 0 73788 0
[pid=19659/tid=19661] ppid=19657 vsize=313136 CPUtime=12.67 cores=0,2,4,6
/proc/19659/task/19661/stat : 19661 (SArTagnan) R 19657 19659 19389 0 -1 4202560 16303 0 0 0 1263 4 0 0 25 0 4 0 516344173 320651264 35782 33554432000 4194304 4623224 140735107432336 18446744073709551615 4376711 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=19659/tid=19662] ppid=19657 vsize=313136 CPUtime=12.6 cores=0,2,4,6
/proc/19659/task/19662/stat : 19662 (SArTagnan) R 19657 19659 19389 0 -1 4202560 15380 0 0 0 1256 4 0 0 25 0 4 0 516344173 320651264 35782 33554432000 4194304 4623224 140735107432336 18446744073709551615 4317259 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=19659/tid=19663] ppid=19657 vsize=313136 CPUtime=12.67 cores=0,2,4,6
/proc/19659/task/19663/stat : 19663 (SArTagnan) R 19657 19659 19389 0 -1 4202560 63084 0 0 0 1258 9 0 0 25 0 4 0 516344173 320651264 35782 33554432000 4194304 4623224 140735107432336 18446744073709551615 4376711 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 50.66
Current children cumulated vsize (KiB) 313136
[startup+25.5002 s]
/proc/loadavg: 8.05 8.07 8.02 9/184 19664
/proc/meminfo: memFree=15203188/32951124 swapFree=67111528/67111528
[pid=19659] ppid=19657 vsize=366964 CPUtime=101.77 cores=0,2,4,6
/proc/19659/stat : 19659 (SArTagnan) R 19657 19659 19389 0 -1 4202496 207369 0 0 0 10136 41 0 0 25 0 4 0 516344171 375771136 68816 33554432000 4194304 4623224 140735107432336 18446744073709551615 4510105 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/19659/statm: 91741 68816 348 105 0 87245 0
[pid=19659/tid=19661] ppid=19657 vsize=366964 CPUtime=25.47 cores=0,2,4,6
/proc/19659/task/19661/stat : 19661 (SArTagnan) R 19657 19659 19389 0 -1 4202560 26487 0 0 0 2540 7 0 0 25 0 4 0 516344173 375771136 68816 33554432000 4194304 4623224 140735107432336 18446744073709551615 4377018 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=19659/tid=19662] ppid=19657 vsize=366964 CPUtime=25.33 cores=0,2,4,6
/proc/19659/task/19662/stat : 19662 (SArTagnan) R 19657 19659 19389 0 -1 4202560 23695 0 0 0 2526 7 0 0 25 0 4 0 516344173 375771136 68816 33554432000 4194304 4623224 140735107432336 18446744073709551615 4376582 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=19659/tid=19663] ppid=19657 vsize=366964 CPUtime=25.47 cores=0,2,4,6
/proc/19659/task/19663/stat : 19663 (SArTagnan) R 19657 19659 19389 0 -1 4202560 113768 0 0 0 2529 18 0 0 25 0 4 0 516344173 375771136 68816 33554432000 4194304 4623224 140735107432336 18446744073709551615 4366412 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 101.77
Current children cumulated vsize (KiB) 366964
[startup+51.1006 s]
/proc/loadavg: 8.10 8.08 8.02 9/184 19665
/proc/meminfo: memFree=14836240/32951124 swapFree=67111528/67111528
[pid=19659] ppid=19657 vsize=803168 CPUtime=204.03 cores=0,2,4,6
/proc/19659/stat : 19659 (SArTagnan) R 19657 19659 19389 0 -1 4202496 401844 0 0 0 20326 77 0 0 25 0 4 0 516344171 822444032 141679 33554432000 4194304 4623224 140735107432336 18446744073709551615 4510169 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/19659/statm: 200792 141679 381 105 0 196296 0
[pid=19659/tid=19661] ppid=19657 vsize=803168 CPUtime=51.06 cores=0,2,4,6
/proc/19659/task/19661/stat : 19661 (SArTagnan) R 19657 19659 19389 0 -1 4202560 37443 0 0 0 5094 12 0 0 25 0 4 0 516344173 822444032 141679 33554432000 4194304 4623224 140735107432336 18446744073709551615 4376844 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=19659/tid=19662] ppid=19657 vsize=803168 CPUtime=50.78 cores=0,2,4,6
/proc/19659/task/19662/stat : 19662 (SArTagnan) R 19657 19659 19389 0 -1 4202560 32763 0 0 0 5069 9 0 0 25 0 4 0 516344173 822444032 141679 33554432000 4194304 4623224 140735107432336 18446744073709551615 4376827 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=19659/tid=19663] ppid=19657 vsize=803168 CPUtime=51.07 cores=0,2,4,6
/proc/19659/task/19663/stat : 19663 (SArTagnan) R 19657 19659 19389 0 -1 4202560 153626 0 0 0 5082 25 0 0 25 0 4 0 516344173 822444032 141679 33554432000 4194304 4623224 140735107432336 18446744073709551615 4364911 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 204.03
Current children cumulated vsize (KiB) 803168
Solver just ended. Dumping a history of the last processes samples
[startup+57.5004 s]
/proc/loadavg: 8.09 8.08 8.02 9/184 19665
/proc/meminfo: memFree=14769896/32951124 swapFree=67111528/67111528
[pid=19659] ppid=19657 vsize=806516 CPUtime=229.6 cores=0,2,4,6
/proc/19659/stat : 19659 (SArTagnan) R 19657 19659 19389 0 -1 4202496 412889 0 0 0 22878 82 0 0 25 0 4 0 516344171 825872384 152220 33554432000 4194304 4623224 140735107432336 18446744073709551615 4415016 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/19659/statm: 201629 152220 377 105 0 197133 0
[pid=19659/tid=19661] ppid=19657 vsize=806516 CPUtime=57.46 cores=0,2,4,6
/proc/19659/task/19661/stat : 19661 (SArTagnan) R 19657 19659 19389 0 -1 4202560 41379 0 0 0 5732 14 0 0 25 0 4 0 516344173 825872384 152220 33554432000 4194304 4623224 140735107432336 18446744073709551615 4376827 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=19659/tid=19662] ppid=19657 vsize=806516 CPUtime=57.15 cores=0,2,4,6
/proc/19659/task/19662/stat : 19662 (SArTagnan) R 19657 19659 19389 0 -1 4202560 34224 0 0 0 5704 11 0 0 25 0 4 0 516344173 825872384 152220 33554432000 4194304 4623224 140735107432336 18446744073709551615 4376625 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=19659/tid=19663] ppid=19657 vsize=806516 CPUtime=57.47 cores=0,2,4,6
/proc/19659/task/19663/stat : 19663 (SArTagnan) R 19657 19659 19389 0 -1 4202560 154824 0 0 0 5722 25 0 0 25 0 4 0 516344173 825872384 152220 33554432000 4194304 4623224 140735107432336 18446744073709551615 4545376 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 229.6
Current children cumulated vsize (KiB) 806516
[startup+63.9003 s]
/proc/loadavg: 8.08 8.07 8.02 9/184 19665
/proc/meminfo: memFree=14704424/32951124 swapFree=67111528/67111528
[pid=19659] ppid=19657 vsize=887252 CPUtime=255.16 cores=0,2,4,6
/proc/19659/stat : 19659 (SArTagnan) R 19657 19659 19389 0 -1 4202496 433785 0 0 0 25427 89 0 0 25 0 4 0 516344171 908546048 165746 33554432000 4194304 4623224 140735107432336 18446744073709551615 4415014 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/19659/statm: 221813 165746 345 105 0 217317 0
[pid=19659/tid=19661] ppid=19657 vsize=887252 CPUtime=63.86 cores=0,2,4,6
/proc/19659/task/19661/stat : 19661 (SArTagnan) R 19657 19659 19389 0 -1 4202560 51151 0 0 0 6369 17 0 0 25 0 4 0 516344173 908546048 165746 33554432000 4194304 4623224 140735107432336 18446744073709551615 228122757303 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=19659/tid=19662] ppid=19657 vsize=887252 CPUtime=63.51 cores=0,2,4,6
/proc/19659/task/19662/stat : 19662 (SArTagnan) R 19657 19659 19389 0 -1 4202560 36609 0 0 0 6339 12 0 0 25 0 4 0 516344173 908546048 165746 33554432000 4194304 4623224 140735107432336 18446744073709551615 4376827 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=19659/tid=19663] ppid=19657 vsize=887252 CPUtime=63.87 cores=0,2,4,6
/proc/19659/task/19663/stat : 19663 (SArTagnan) R 19657 19659 19389 0 -1 4202560 156227 0 0 0 6361 26 0 0 25 0 4 0 516344173 908546048 165746 33554432000 4194304 4623224 140735107432336 18446744073709551615 4364099 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 255.16
Current children cumulated vsize (KiB) 887252
[startup+65.501 s]
/proc/loadavg: 8.08 8.07 8.02 9/184 19665
/proc/meminfo: memFree=14696488/32951124 swapFree=67111528/67111528
[pid=19659] ppid=19657 vsize=888628 CPUtime=261.55 cores=0,2,4,6
/proc/19659/stat : 19659 (SArTagnan) R 19657 19659 19389 0 -1 4202496 438018 0 0 0 26065 90 0 0 25 0 4 0 516344171 909955072 169728 33554432000 4194304 4623224 140735107432336 18446744073709551615 4510064 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/19659/statm: 222157 169728 345 105 0 217661 0
[pid=19659/tid=19661] ppid=19657 vsize=888628 CPUtime=65.47 cores=0,2,4,6
/proc/19659/task/19661/stat : 19661 (SArTagnan) R 19657 19659 19389 0 -1 4202560 51907 0 0 0 6529 18 0 0 25 0 4 0 516344173 909955072 169728 33554432000 4194304 4623224 140735107432336 18446744073709551615 4376711 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=19659/tid=19662] ppid=19657 vsize=888628 CPUtime=65.11 cores=0,2,4,6
/proc/19659/task/19662/stat : 19662 (SArTagnan) R 19657 19659 19389 0 -1 4202560 37465 0 0 0 6498 13 0 0 25 0 4 0 516344173 909955072 169728 33554432000 4194304 4623224 140735107432336 18446744073709551615 4376827 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=19659/tid=19663] ppid=19657 vsize=888628 CPUtime=65.47 cores=0,2,4,6
/proc/19659/task/19663/stat : 19663 (SArTagnan) R 19657 19659 19389 0 -1 4202560 156622 0 0 0 6521 26 0 0 25 0 4 0 516344173 909955072 169728 33554432000 4194304 4623224 140735107432336 18446744073709551615 228138697755 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 261.55
Current children cumulated vsize (KiB) 888628
[startup+66.3008 s]
/proc/loadavg: 8.08 8.07 8.02 9/184 19665
/proc/meminfo: memFree=14681608/32951124 swapFree=67111528/67111528
[pid=19659] ppid=19657 vsize=1172904 CPUtime=264.75 cores=0,2,4,6
/proc/19659/stat : 19659 (SArTagnan) R 19657 19659 19389 0 -1 4202496 489039 0 0 0 26378 97 0 0 25 0 4 0 516344171 1201053696 220631 33554432000 4194304 4623224 140735107432336 18446744073709551615 228122411477 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/19659/statm: 293226 220651 4787 105 0 288730 0
[pid=19659/tid=19661] ppid=19657 vsize=1172904 CPUtime=66.27 cores=0,2,4,6
/proc/19659/task/19661/stat : 19661 (SArTagnan) R 19657 19659 19389 0 -1 4202560 52307 0 0 0 6608 19 0 0 25 0 4 0 516344173 1201053696 220665 33554432000 4194304 4623224 140735107432336 18446744073709551615 4376869 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=19659/tid=19662] ppid=19657 vsize=1172904 CPUtime=65.9 cores=0,2,4,6
/proc/19659/task/19662/stat : 19662 (SArTagnan) R 19657 19659 19389 0 -1 4202560 37828 0 0 0 6577 13 0 0 25 0 4 0 516344173 1201053696 220686 33554432000 4194304 4623224 140735107432336 18446744073709551615 4289723 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=19659/tid=19663] ppid=19657 vsize=1172904 CPUtime=66.27 cores=0,2,4,6
/proc/19659/task/19663/stat : 19663 (SArTagnan) R 19657 19659 19389 0 -1 4202560 156676 0 0 0 6601 26 0 0 25 0 4 0 516344173 1201053696 220700 33554432000 4194304 4623224 140735107432336 18446744073709551615 228122372358 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 264.75
Current children cumulated vsize (KiB) 1172904
[startup+67.1067 s]
/proc/loadavg: 8.08 8.07 8.02 9/184 19665
/proc/meminfo: memFree=14649864/32951124 swapFree=67111528/67111528
[pid=19659] ppid=19657 vsize=1049448 CPUtime=267.95 cores=0,2,4,6
/proc/19659/stat : 19659 (SArTagnan) R 19657 19659 19389 0 -1 4202496 494358 0 0 0 26696 99 0 0 25 0 4 0 516344171 1074634752 178605 33554432000 4194304 4623224 140735107432336 18446744073709551615 4510316 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/19659/statm: 262362 178605 345 105 0 257866 0
[pid=19659/tid=19661] ppid=19657 vsize=1049448 CPUtime=67.06 cores=0,2,4,6
/proc/19659/task/19661/stat : 19661 (SArTagnan) R 19657 19659 19389 0 -1 4202560 52658 0 0 0 6687 19 0 0 25 0 4 0 516344173 1074634752 178605 33554432000 4194304 4623224 140735107432336 18446744073709551615 4376711 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=19659/tid=19662] ppid=19657 vsize=1049448 CPUtime=66.69 cores=0,2,4,6
/proc/19659/task/19662/stat : 19662 (SArTagnan) R 19657 19659 19389 0 -1 4202560 38262 0 0 0 6655 14 0 0 25 0 4 0 516344173 1074634752 178605 33554432000 4194304 4623224 140735107432336 18446744073709551615 4376827 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=19659/tid=19663] ppid=19657 vsize=1049448 CPUtime=67.08 cores=0,2,4,6
/proc/19659/task/19663/stat : 19663 (SArTagnan) R 19657 19659 19389 0 -1 4202560 156827 0 0 0 6682 26 0 0 25 0 4 0 516344173 1074634752 178605 33554432000 4194304 4623224 140735107432336 18446744073709551615 4376827 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 267.95
Current children cumulated vsize (KiB) 1049448
[startup+67.5006 s]
/proc/loadavg: 8.08 8.07 8.02 9/184 19665
/proc/meminfo: memFree=14649864/32951124 swapFree=67111528/67111528
[pid=19659] ppid=19657 vsize=1049760 CPUtime=269.53 cores=0,2,4,6
/proc/19659/stat : 19659 (SArTagnan) R 19657 19659 19389 0 -1 4202496 495758 0 0 0 26853 100 0 0 25 0 4 0 516344171 1074954240 179995 33554432000 4194304 4623224 140735107432336 18446744073709551615 4510169 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/19659/statm: 262440 179995 345 105 0 257944 0
[pid=19659/tid=19661] ppid=19657 vsize=1049760 CPUtime=67.46 cores=0,2,4,6
/proc/19659/task/19661/stat : 19661 (SArTagnan) R 19657 19659 19389 0 -1 4202560 52863 0 0 0 6727 19 0 0 25 0 4 0 516344173 1074954240 179995 33554432000 4194304 4623224 140735107432336 18446744073709551615 4484187 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=19659/tid=19662] ppid=19657 vsize=1049760 CPUtime=67.09 cores=0,2,4,6
/proc/19659/task/19662/stat : 19662 (SArTagnan) R 19657 19659 19389 0 -1 4202560 38490 0 0 0 6695 14 0 0 25 0 4 0 516344173 1074954240 179995 33554432000 4194304 4623224 140735107432336 18446744073709551615 4376823 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=19659/tid=19663] ppid=19657 vsize=1049760 CPUtime=67.47 cores=0,2,4,6
/proc/19659/task/19663/stat : 19663 (SArTagnan) R 19657 19659 19389 0 -1 4202560 156892 0 0 0 6721 26 0 0 25 0 4 0 516344173 1074954240 179995 33554432000 4194304 4623224 140735107432336 18446744073709551615 4376675 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 269.53
Current children cumulated vsize (KiB) 1049760
[startup+67.6007 s]
/proc/loadavg: 8.08 8.07 8.02 9/184 19665
/proc/meminfo: memFree=14649864/32951124 swapFree=67111528/67111528
[pid=19659] ppid=19657 vsize=0 CPUtime=269.88 cores=0,2,4,6
/proc/19659/stat : 19659 (SArTagnan) Z 19657 19659 19389 0 -1 4203548 496057 0 0 0 26887 101 0 0 25 0 2 0 516344171 0 0 33554432000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/19659/statm: 0 0 0 0 0 0 0
[pid=19659/tid=19663] ppid=19657 vsize=0 CPUtime=67.57 cores=0,2,4,6
/proc/19659/task/19663/stat : 19663 (SArTagnan) R 19657 19659 19389 0 -1 4203588 157016 0 0 0 6730 27 0 0 25 0 2 0 516344173 0 0 33554432000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 269.88
Current children cumulated vsize (KiB) 0
Child status: 10
Real time (s): 67.6219
CPU time (s): 269.915
CPU user time (s): 268.879
CPU system time (s): 1.03584
CPU usage (%): 399.153
Max. virtual memory (cumulated for all children) (KiB): 1172904
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 268.879
system time used= 1.03584
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 496057
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= 1790
involuntary context switches= 1141
runsolver used 0.097985 second user time and 0.275958 second system time
The end