runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.0 (svn: 977)
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-3455066-1307188617/watcher-3455066-1307188617 -o /tmp/evaluation-result-3455066-1307188617/solver-3455066-1307188617 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both HOME/instance-3455066-1307188617.opb
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 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: 3.94 3.85 3.40 3/548 21505
/proc/meminfo: memFree=20101264/32951124 swapFree=56241860/67111528
[pid=21505] ppid=21503 vsize=10444316 CPUtime=0 cores=1,3,5,7
/proc/21505/stat : 21505 (java) S 21503 21505 18760 0 -1 4202496 5448 0 1 0 0 0 0 0 17 0 2 0 909092351 10694979584 5150 33554432000 1073741824 1073778376 140734112346336 18446744073709551615 216746981349 0 0 0 16784584 18446744073709551615 0 0 17 3 0 0 0
/proc/21505/statm: 2611079 5164 917 9 0 2602235 0
[pid=21505/tid=21506] ppid=21503 vsize=10444316 CPUtime=0 cores=1,3,5,7
/proc/21505/task/21506/stat : 21506 (java) R 21503 21505 18760 0 -1 4202560 6113 0 1 0 0 0 0 0 18 0 2 0 909092351 10694979584 6929 33554432000 1073741824 1073778376 140734112346336 18446744073709551615 216734872635 0 4 0 16784584 0 0 0 -1 3 0 0 0
[startup+0.078568 s]
/proc/loadavg: 3.94 3.85 3.40 3/548 21505
/proc/meminfo: memFree=20101264/32951124 swapFree=56241860/67111528
[pid=21505] ppid=21503 vsize=10473088 CPUtime=0.06 cores=1,3,5,7
/proc/21505/stat : 21505 (java) S 21503 21505 18760 0 -1 4202496 11943 0 1 0 5 1 0 0 17 0 18 0 909092351 10724442112 11640 33554432000 1073741824 1073778376 140734112346336 18446744073709551615 216746981349 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/21505/statm: 2618272 11640 1755 9 0 2609006 0
[pid=21505/tid=21506] ppid=21503 vsize=10473088 CPUtime=0.06 cores=1,3,5,7
/proc/21505/task/21506/stat : 21506 (java) R 21503 21505 18760 0 -1 4202560 10770 0 1 0 5 1 0 0 25 0 18 0 909092351 10724442112 11640 33554432000 1073741824 1073778376 140734112346336 18446744073709551615 216747005387 0 4 0 16800975 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 10473088
[startup+0.100565 s]
/proc/loadavg: 3.94 3.85 3.40 3/548 21505
/proc/meminfo: memFree=20101264/32951124 swapFree=56241860/67111528
[pid=21505] ppid=21503 vsize=10539684 CPUtime=0.1 cores=1,3,5,7
/proc/21505/stat : 21505 (java) S 21503 21505 18760 0 -1 4202496 13016 0 1 0 8 2 0 0 17 0 18 0 909092351 10792636416 12686 33554432000 1073741824 1073778376 140734112346336 18446744073709551615 216746981349 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/21505/statm: 2634921 12687 2093 9 0 2625655 0
[pid=21505/tid=21506] ppid=21503 vsize=10539684 CPUtime=0.08 cores=1,3,5,7
/proc/21505/task/21506/stat : 21506 (java) R 21503 21505 18760 0 -1 4202560 11103 0 1 0 7 1 0 0 18 0 18 0 909092351 10792636416 12688 33554432000 1073741824 1073778376 140734112346336 18446744073709551615 47131311797784 0 4 0 16800975 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 10539684
[startup+0.300529 s]
/proc/loadavg: 3.94 3.85 3.40 3/548 21505
/proc/meminfo: memFree=20101264/32951124 swapFree=56241860/67111528
[pid=21505] ppid=21503 vsize=10543364 CPUtime=0.47 cores=1,3,5,7
/proc/21505/stat : 21505 (java) S 21503 21505 18760 0 -1 4202496 15745 0 1 0 45 2 0 0 17 0 20 0 909092351 10796404736 15237 33554432000 1073741824 1073778376 140734112346336 18446744073709551615 216746981349 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/21505/statm: 2635841 15247 2208 9 0 2626575 0
[pid=21505/tid=21506] ppid=21503 vsize=10543364 CPUtime=0.28 cores=1,3,5,7
/proc/21505/task/21506/stat : 21506 (java) S 21503 21505 18760 0 -1 4202560 12977 0 1 0 26 2 0 0 19 0 20 0 909092351 10796404736 15248 33554432000 1073741824 1073778376 140734112346336 18446744073709551615 216746995200 0 4 0 16800975 18446604468397654336 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 0.47
Current children cumulated vsize (KiB) 10543364
[startup+0.700481 s]
/proc/loadavg: 3.94 3.85 3.40 3/548 21505
/proc/meminfo: memFree=20101264/32951124 swapFree=56241860/67111528
[pid=21505] ppid=21503 vsize=10546268 CPUtime=0.78 cores=1,3,5,7
/proc/21505/stat : 21505 (java) S 21503 21505 18760 0 -1 4202496 17698 0 1 0 76 2 0 0 17 0 19 0 909092351 10799378432 16600 33554432000 1073741824 1073778376 140734112346336 18446744073709551615 216746981349 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/21505/statm: 2636567 16600 2224 9 0 2627301 0
[pid=21505/tid=21506] ppid=21503 vsize=10546268 CPUtime=0.28 cores=1,3,5,7
/proc/21505/task/21506/stat : 21506 (java) S 21503 21505 18760 0 -1 4202560 12977 0 1 0 26 2 0 0 19 0 19 0 909092351 10799378432 16600 33554432000 1073741824 1073778376 140734112346336 18446744073709551615 216746995200 0 4 0 16800975 18446604468397654336 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 0.78
Current children cumulated vsize (KiB) 10546268
[startup+1.50129 s]
/proc/loadavg: 3.94 3.85 3.40 7/570 21530
/proc/meminfo: memFree=19971760/32951124 swapFree=56241860/67111528
[pid=21505] ppid=21503 vsize=10551784 CPUtime=2.19 cores=1,3,5,7
/proc/21505/stat : 21505 (java) S 21503 21505 18760 0 -1 4202496 58148 0 1 0 212 7 0 0 17 0 22 0 909092351 10805026816 53748 33554432000 1073741824 1073778376 140734112346336 18446744073709551615 216746981349 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/21505/statm: 2637946 53755 2255 9 0 2628680 0
[pid=21505/tid=21506] ppid=21503 vsize=10551784 CPUtime=0.29 cores=1,3,5,7
/proc/21505/task/21506/stat : 21506 (java) S 21503 21505 18760 0 -1 4202560 13099 0 1 0 27 2 0 0 17 0 22 0 909092351 10805026816 53758 33554432000 1073741824 1073778376 140734112346336 18446744073709551615 216746995200 0 4 0 16800975 18446604468397654336 0 0 -1 3 0 0 0
[pid=21505/tid=21508] ppid=21503 vsize=10551784 CPUtime=0 cores=1,3,5,7
/proc/21505/task/21508/stat : 21508 (java) S 21503 21505 18760 0 -1 4202560 191 0 0 0 0 0 0 0 18 0 22 0 909092353 10805026816 53762 33554432000 1073741824 1073778376 140734112346336 18446744073709551615 216746994585 0 4 0 16800975 18446604468397654336 0 0 -1 1 0 0 0
[pid=21505/tid=21509] ppid=21503 vsize=10551784 CPUtime=0 cores=1,3,5,7
/proc/21505/task/21509/stat : 21509 (java) S 21503 21505 18760 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 22 0 909092353 10805026816 53767 33554432000 1073741824 1073778376 140734112346336 18446744073709551615 216746994585 0 4 0 16800975 18446604468397654336 0 0 -1 5 0 0 0
[pid=21505/tid=21510] ppid=21503 vsize=10551784 CPUtime=0 cores=1,3,5,7
/proc/21505/task/21510/stat : 21510 (java) S 21503 21505 18760 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 22 0 909092353 10805026816 53770 33554432000 1073741824 1073778376 140734112346336 18446744073709551615 216746994585 0 4 0 16800975 18446604468397654336 0 0 -1 5 0 0 0
[pid=21505/tid=21511] ppid=21503 vsize=10551784 CPUtime=0 cores=1,3,5,7
/proc/21505/task/21511/stat : 21511 (java) S 21503 21505 18760 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 22 0 909092353 10805026816 53775 33554432000 1073741824 1073778376 140734112346336 18446744073709551615 216746994585 0 4 0 16800975 18446604468397654336 0 0 -1 5 0 0 0
[pid=21505/tid=21512] ppid=21503 vsize=10551784 CPUtime=0 cores=1,3,5,7
/proc/21505/task/21512/stat : 21512 (java) S 21503 21505 18760 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 22 0 909092353 10805026816 53777 33554432000 1073741824 1073778376 140734112346336 18446744073709551615 216746994585 0 4 0 16800975 18446604468397654336 0 0 -1 5 0 0 0
[pid=21505/tid=21513] ppid=21503 vsize=10551784 CPUtime=0 cores=1,3,5,7
/proc/21505/task/21513/stat : 21513 (java) S 21503 21505 18760 0 -1 4202560 176 0 0 0 0 0 0 0 18 0 22 0 909092353 10805026816 53783 33554432000 1073741824 1073778376 140734112346336 18446744073709551615 216746994585 0 4 0 16800975 18446604468397654336 0 0 -1 1 0 0 0
[pid=21505/tid=21514] ppid=21503 vsize=10551784 CPUtime=0 cores=1,3,5,7
/proc/21505/task/21514/stat : 21514 (java) S 21503 21505 18760 0 -1 4202560 189 0 0 0 0 0 0 0 18 0 22 0 909092353 10805026816 53786 33554432000 1073741824 1073778376 140734112346336 18446744073709551615 216746994585 0 4 0 16800975 18446604468397654336 0 0 -1 1 0 0 0
[pid=21505/tid=21515] ppid=21503 vsize=10551784 CPUtime=0 cores=1,3,5,7
/proc/21505/task/21515/stat : 21515 (java) S 21503 21505 18760 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 22 0 909092353 10805026816 53790 33554432000 1073741824 1073778376 140734112346336 18446744073709551615 216746994585 0 4 0 16800975 18446604468397654336 0 0 -1 5 0 0 0
[pid=21505/tid=21516] ppid=21503 vsize=10551784 CPUtime=0.01 cores=1,3,5,7
/proc/21505/task/21516/stat : 21516 (java) S 21503 21505 18760 0 -1 4202560 558 0 0 0 1 0 0 0 16 0 22 0 909092354 10805026816 53795 33554432000 1073741824 1073778376 140734112346336 18446744073709551615 216746995200 0 0 0 16800975 18446604468397654336 0 0 -1 7 0 0 0
[pid=21505/tid=21517] ppid=21503 vsize=10551784 CPUtime=0 cores=1,3,5,7
/proc/21505/task/21517/stat : 21517 (java) S 21503 21505 18760 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 909092355 10805026816 53797 33554432000 1073741824 1073778376 140734112346336 18446744073709551615 216746994585 0 4 0 16800975 18446604468397654336 0 0 -1 3 0 0 0
[pid=21505/tid=21518] ppid=21503 vsize=10551784 CPUtime=0 cores=1,3,5,7
/proc/21505/task/21518/stat : 21518 (java) S 21503 21505 18760 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 22 0 909092355 10805026816 53803 33554432000 1073741824 1073778376 140734112346336 18446744073709551615 216746994585 0 4 0 16800975 18446604468397654336 0 0 -1 3 0 0 0
[pid=21505/tid=21519] ppid=21503 vsize=10551784 CPUtime=0 cores=1,3,5,7
/proc/21505/task/21519/stat : 21519 (java) S 21503 21505 18760 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 909092357 10805026816 53805 33554432000 1073741824 1073778376 140734112346336 18446744073709551615 216747002289 0 4 0 16800975 18446604468397654336 0 0 -1 3 0 0 0
[pid=21505/tid=21520] ppid=21503 vsize=10551784 CPUtime=0.52 cores=1,3,5,7
/proc/21505/task/21520/stat : 21520 (java) S 21503 21505 18760 0 -1 4202560 4026 0 0 0 52 0 0 0 15 0 22 0 909092357 10805026816 53811 33554432000 1073741824 1073778376 140734112346336 18446744073709551615 216746994585 0 4 0 16800975 18446604468397654336 0 0 -1 3 0 0 0
[pid=21505/tid=21521] ppid=21503 vsize=10551784 CPUtime=0.52 cores=1,3,5,7
/proc/21505/task/21521/stat : 21521 (java) R 21503 21505 18760 0 -1 4202560 5713 0 0 0 52 0 0 0 15 0 22 0 909092357 10805026816 53814 33554432000 1073741824 1073778376 140734112346336 18446744073709551615 47131308079627 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=21505/tid=21522] ppid=21503 vsize=10551784 CPUtime=0 cores=1,3,5,7
/proc/21505/task/21522/stat : 21522 (java) S 21503 21505 18760 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 909092357 10805026816 53818 33554432000 1073741824 1073778376 140734112346336 18446744073709551615 216746994585 0 4 0 16800975 18446604468397654336 0 0 -1 3 0 0 0
[pid=21505/tid=21523] ppid=21503 vsize=10551784 CPUtime=0 cores=1,3,5,7
/proc/21505/task/21523/stat : 21523 (java) S 21503 21505 18760 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 909092357 10805026816 53822 33554432000 1073741824 1073778376 140734112346336 18446744073709551615 216746995200 0 4 0 16800975 18446604468397654336 0 0 -1 1 0 0 0
[pid=21505/tid=21527] ppid=21503 vsize=10551784 CPUtime=0 cores=1,3,5,7
/proc/21505/task/21527/stat : 21527 (java) S 21503 21505 18760 0 -1 4202560 7 0 0 0 0 0 0 0 22 0 22 0 909092381 10805026816 53825 33554432000 1073741824 1073778376 140734112346336 18446744073709551615 216746995200 0 4 0 16800975 18446604468397654336 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 2.19
Current children cumulated vsize (KiB) 10551784
[startup+3.10104 s]
/proc/loadavg: 3.95 3.85 3.40 5/570 21533
/proc/meminfo: memFree=19764928/32951124 swapFree=56241860/67111528
[pid=21505] ppid=21503 vsize=10552228 CPUtime=4.72 cores=1,3,5,7
/proc/21505/stat : 21505 (java) S 21503 21505 18760 0 -1 4202496 106124 0 1 0 459 13 0 0 17 0 22 0 909092351 10805481472 101719 33554432000 1073741824 1073778376 140734112346336 18446744073709551615 216746981349 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/21505/statm: 2638057 101719 2258 9 0 2628791 0
[pid=21505/tid=21506] ppid=21503 vsize=10552228 CPUtime=0.29 cores=1,3,5,7
/proc/21505/task/21506/stat : 21506 (java) S 21503 21505 18760 0 -1 4202560 13099 0 1 0 27 2 0 0 16 0 22 0 909092351 10805481472 101719 33554432000 1073741824 1073778376 140734112346336 18446744073709551615 216746995200 0 4 0 16800975 18446604468397654336 0 0 -1 1 0 0 0
[pid=21505/tid=21508] ppid=21503 vsize=10552228 CPUtime=0 cores=1,3,5,7
/proc/21505/task/21508/stat : 21508 (java) S 21503 21505 18760 0 -1 4202560 293 0 0 0 0 0 0 0 16 0 22 0 909092353 10805481472 101719 33554432000 1073741824 1073778376 140734112346336 18446744073709551615 216746994585 0 4 0 16800975 18446604468397654336 0 0 -1 3 0 0 0
[pid=21505/tid=21509] ppid=21503 vsize=10552228 CPUtime=0 cores=1,3,5,7
/proc/21505/task/21509/stat : 21509 (java) S 21503 21505 18760 0 -1 4202560 77 0 0 0 0 0 0 0 15 0 22 0 909092353 10805481472 101719 33554432000 1073741824 1073778376 140734112346336 18446744073709551615 216746994585 0 4 0 16800975 18446604468397654336 0 0 -1 1 0 0 0
[pid=21505/tid=21510] ppid=21503 vsize=10552228 CPUtime=0 cores=1,3,5,7
/proc/21505/task/21510/stat : 21510 (java) S 21503 21505 18760 0 -1 4202560 72 0 0 0 0 0 0 0 15 0 22 0 909092353 10805481472 101719 33554432000 1073741824 1073778376 140734112346336 18446744073709551615 216746994585 0 4 0 16800975 18446604468397654336 0 0 -1 1 0 0 0
[pid=21505/tid=21511] ppid=21503 vsize=10552228 CPUtime=0 cores=1,3,5,7
/proc/21505/task/21511/stat : 21511 (java) S 21503 21505 18760 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 909092353 10805481472 101719 33554432000 1073741824 1073778376 140734112346336 18446744073709551615 216746994585 0 4 0 16800975 18446604468397654336 0 0 -1 5 0 0 0
[pid=21505/tid=21512] ppid=21503 vsize=10552228 CPUtime=0 cores=1,3,5,7
/proc/21505/task/21512/stat : 21512 (java) S 21503 21505 18760 0 -1 4202560 95 0 0 0 0 0 0 0 15 0 22 0 909092353 10805481472 101719 33554432000 1073741824 1073778376 140734112346336 18446744073709551615 216746994585 0 4 0 16800975 18446604468397654336 0 0 -1 1 0 0 0
[pid=21505/tid=21513] ppid=21503 vsize=10552228 CPUtime=0 cores=1,3,5,7
/proc/21505/task/21513/stat : 21513 (java) S 21503 21505 18760 0 -1 4202560 176 0 0 0 0 0 0 0 16 0 22 0 909092353 10805481472 101719 33554432000 1073741824 1073778376 140734112346336 18446744073709551615 216746994585 0 4 0 16800975 18446604468397654336 0 0 -1 1 0 0 0
[pid=21505/tid=21514] ppid=21503 vsize=10552228 CPUtime=0 cores=1,3,5,7
/proc/21505/task/21514/stat : 21514 (java) S 21503 21505 18760 0 -1 4202560 212 0 0 0 0 0 0 0 16 0 22 0 909092353 10805481472 101719 33554432000 1073741824 1073778376 140734112346336 18446744073709551615 216746994585 0 4 0 16800975 18446604468397654336 0 0 -1 5 0 0 0
[pid=21505/tid=21515] ppid=21503 vsize=10552228 CPUtime=0 cores=1,3,5,7
/proc/21505/task/21515/stat : 21515 (java) S 21503 21505 18760 0 -1 4202560 11 0 0 0 0 0 0 0 15 0 22 0 909092353 10805481472 101719 33554432000 1073741824 1073778376 140734112346336 18446744073709551615 216746994585 0 4 0 16800975 18446604468397654336 0 0 -1 5 0 0 0
[pid=21505/tid=21516] ppid=21503 vsize=10552228 CPUtime=0.09 cores=1,3,5,7
/proc/21505/task/21516/stat : 21516 (java) S 21503 21505 18760 0 -1 4202560 1278 0 0 0 9 0 0 0 15 0 22 0 909092354 10805481472 101719 33554432000 1073741824 1073778376 140734112346336 18446744073709551615 216746995200 0 0 0 16800975 18446604468397654336 0 0 -1 7 0 0 0
[pid=21505/tid=21517] ppid=21503 vsize=10552228 CPUtime=0 cores=1,3,5,7
/proc/21505/task/21517/stat : 21517 (java) S 21503 21505 18760 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 909092355 10805481472 101719 33554432000 1073741824 1073778376 140734112346336 18446744073709551615 216746994585 0 4 0 16800975 18446604468397654336 0 0 -1 3 0 0 0
[pid=21505/tid=21518] ppid=21503 vsize=10552228 CPUtime=0 cores=1,3,5,7
/proc/21505/task/21518/stat : 21518 (java) S 21503 21505 18760 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 22 0 909092355 10805481472 101719 33554432000 1073741824 1073778376 140734112346336 18446744073709551615 216746994585 0 4 0 16800975 18446604468397654336 0 0 -1 3 0 0 0
[pid=21505/tid=21519] ppid=21503 vsize=10552228 CPUtime=0 cores=1,3,5,7
/proc/21505/task/21519/stat : 21519 (java) S 21503 21505 18760 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 909092357 10805481472 101719 33554432000 1073741824 1073778376 140734112346336 18446744073709551615 216747002289 0 4 0 16800975 18446604468397654336 0 0 -1 3 0 0 0
[pid=21505/tid=21520] ppid=21503 vsize=10552228 CPUtime=0.69 cores=1,3,5,7
/proc/21505/task/21520/stat : 21520 (java) S 21503 21505 18760 0 -1 4202560 4129 0 0 0 69 0 0 0 15 0 22 0 909092357 10805481472 101719 33554432000 1073741824 1073778376 140734112346336 18446744073709551615 216746994585 0 4 0 16800975 18446604468397654336 0 0 -1 3 0 0 0
[pid=21505/tid=21521] ppid=21503 vsize=10552228 CPUtime=0.62 cores=1,3,5,7
/proc/21505/task/21521/stat : 21521 (java) S 21503 21505 18760 0 -1 4202560 5724 0 0 0 62 0 0 0 15 0 22 0 909092357 10805481472 101719 33554432000 1073741824 1073778376 140734112346336 18446744073709551615 216746994585 0 4 0 16800975 18446604468397654336 0 0 -1 7 0 0 0
[pid=21505/tid=21522] ppid=21503 vsize=10552228 CPUtime=0 cores=1,3,5,7
/proc/21505/task/21522/stat : 21522 (java) S 21503 21505 18760 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 909092357 10805481472 101719 33554432000 1073741824 1073778376 140734112346336 18446744073709551615 216746994585 0 4 0 16800975 18446604468397654336 0 0 -1 3 0 0 0
[pid=21505/tid=21523] ppid=21503 vsize=10552228 CPUtime=0 cores=1,3,5,7
/proc/21505/task/21523/stat : 21523 (java) S 21503 21505 18760 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 909092357 10805481472 101719 33554432000 1073741824 1073778376 140734112346336 18446744073709551615 216746995200 0 4 0 16800975 18446604468397654336 0 0 -1 1 0 0 0
[pid=21505/tid=21533] ppid=21503 vsize=10552228 CPUtime=0 cores=1,3,5,7
/proc/21505/task/21533/stat : 21533 (java) S 21503 21505 18760 0 -1 4202560 0 0 0 0 0 0 0 0 18 0 22 0 909092483 10805481472 101719 33554432000 1073741824 1073778376 140734112346336 18446744073709551615 216746995200 0 4 0 16800975 18446604468397654336 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 4.72
Current children cumulated vsize (KiB) 10552228
[startup+6.30148 s]
/proc/loadavg: 3.95 3.85 3.40 6/570 21539
/proc/meminfo: memFree=19693808/32951124 swapFree=56241860/67111528
[pid=21505] ppid=21503 vsize=10551600 CPUtime=10.25 cores=1,3,5,7
/proc/21505/stat : 21505 (java) S 21503 21505 18760 0 -1 4202496 130638 0 1 0 1009 16 0 0 17 0 22 0 909092351 10804838400 125564 33554432000 1073741824 1073778376 140734112346336 18446744073709551615 216746981349 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/21505/statm: 2637900 125564 2259 9 0 2628634 0
[pid=21505/tid=21506] ppid=21503 vsize=10551600 CPUtime=0.29 cores=1,3,5,7
/proc/21505/task/21506/stat : 21506 (java) S 21503 21505 18760 0 -1 4202560 13099 0 1 0 27 2 0 0 15 0 22 0 909092351 10804838400 125564 33554432000 1073741824 1073778376 140734112346336 18446744073709551615 216746995200 0 4 0 16800975 18446604468397654336 0 0 -1 7 0 0 0
[pid=21505/tid=21508] ppid=21503 vsize=10551600 CPUtime=0 cores=1,3,5,7
/proc/21505/task/21508/stat : 21508 (java) S 21503 21505 18760 0 -1 4202560 295 0 0 0 0 0 0 0 15 0 22 0 909092353 10804838400 125564 33554432000 1073741824 1073778376 140734112346336 18446744073709551615 216746994585 0 4 0 16800975 18446604468397654336 0 0 -1 1 0 0 0
[pid=21505/tid=21509] ppid=21503 vsize=10551600 CPUtime=0 cores=1,3,5,7
/proc/21505/task/21509/stat : 21509 (java) S 21503 21505 18760 0 -1 4202560 102 0 0 0 0 0 0 0 15 0 22 0 909092353 10804838400 125564 33554432000 1073741824 1073778376 140734112346336 18446744073709551615 216746994585 0 4 0 16800975 18446604468397654336 0 0 -1 5 0 0 0
[pid=21505/tid=21510] ppid=21503 vsize=10551600 CPUtime=0 cores=1,3,5,7
/proc/21505/task/21510/stat : 21510 (java) S 21503 21505 18760 0 -1 4202560 170 0 0 0 0 0 0 0 15 0 22 0 909092353 10804838400 125564 33554432000 1073741824 1073778376 140734112346336 18446744073709551615 216746994585 0 4 0 16800975 18446604468397654336 0 0 -1 1 0 0 0
[pid=21505/tid=21511] ppid=21503 vsize=10551600 CPUtime=0 cores=1,3,5,7
/proc/21505/task/21511/stat : 21511 (java) S 21503 21505 18760 0 -1 4202560 4 0 0 0 0 0 0 0 15 0 22 0 909092353 10804838400 125564 33554432000 1073741824 1073778376 140734112346336 18446744073709551615 216746994585 0 4 0 16800975 18446604468397654336 0 0 -1 3 0 0 0
[pid=21505/tid=21512] ppid=21503 vsize=10551600 CPUtime=0 cores=1,3,5,7
/proc/21505/task/21512/stat : 21512 (java) S 21503 21505 18760 0 -1 4202560 133 0 0 0 0 0 0 0 15 0 22 0 909092353 10804838400 125564 33554432000 1073741824 1073778376 140734112346336 18446744073709551615 216746994585 0 4 0 16800975 18446604468397654336 0 0 -1 3 0 0 0
[pid=21505/tid=21513] ppid=21503 vsize=10551600 CPUtime=0.01 cores=1,3,5,7
/proc/21505/task/21513/stat : 21513 (java) S 21503 21505 18760 0 -1 4202560 278 0 0 0 1 0 0 0 16 0 22 0 909092353 10804838400 125564 33554432000 1073741824 1073778376 140734112346336 18446744073709551615 216746994585 0 4 0 16800975 18446604468397654336 0 0 -1 5 0 0 0
[pid=21505/tid=21514] ppid=21503 vsize=10551600 CPUtime=0 cores=1,3,5,7
/proc/21505/task/21514/stat : 21514 (java) S 21503 21505 18760 0 -1 4202560 263 0 0 0 0 0 0 0 15 0 22 0 909092353 10804838400 125564 33554432000 1073741824 1073778376 140734112346336 18446744073709551615 216746994585 0 4 0 16800975 18446604468397654336 0 0 -1 1 0 0 0
[pid=21505/tid=21515] ppid=21503 vsize=10551600 CPUtime=0 cores=1,3,5,7
/proc/21505/task/21515/stat : 21515 (java) S 21503 21505 18760 0 -1 4202560 41 0 0 0 0 0 0 0 15 0 22 0 909092353 10804838400 125564 33554432000 1073741824 1073778376 140734112346336 18446744073709551615 216746994585 0 4 0 16800975 18446604468397654336 0 0 -1 5 0 0 0
[pid=21505/tid=21516] ppid=21503 vsize=10551600 CPUtime=0.26 cores=1,3,5,7
/proc/21505/task/21516/stat : 21516 (java) S 21503 21505 18760 0 -1 4202560 3222 0 0 0 26 0 0 0 15 0 22 0 909092354 10804838400 125564 33554432000 1073741824 1073778376 140734112346336 18446744073709551615 216746995200 0 0 0 16800975 18446604468397654336 0 0 -1 7 0 0 0
[pid=21505/tid=21517] ppid=21503 vsize=10551600 CPUtime=0 cores=1,3,5,7
/proc/21505/task/21517/stat : 21517 (java) S 21503 21505 18760 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 909092355 10804838400 125564 33554432000 1073741824 1073778376 140734112346336 18446744073709551615 216746994585 0 4 0 16800975 18446604468397654336 0 0 -1 3 0 0 0
[pid=21505/tid=21518] ppid=21503 vsize=10551600 CPUtime=0 cores=1,3,5,7
/proc/21505/task/21518/stat : 21518 (java) S 21503 21505 18760 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 22 0 909092355 10804838400 125564 33554432000 1073741824 1073778376 140734112346336 18446744073709551615 216746994585 0 4 0 16800975 18446604468397654336 0 0 -1 3 0 0 0
[pid=21505/tid=21519] ppid=21503 vsize=10551600 CPUtime=0 cores=1,3,5,7
/proc/21505/task/21519/stat : 21519 (java) S 21503 21505 18760 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 909092357 10804838400 125564 33554432000 1073741824 1073778376 140734112346336 18446744073709551615 216747002289 0 4 0 16800975 18446604468397654336 0 0 -1 3 0 0 0
[pid=21505/tid=21520] ppid=21503 vsize=10551600 CPUtime=0.79 cores=1,3,5,7
/proc/21505/task/21520/stat : 21520 (java) S 21503 21505 18760 0 -1 4202560 4677 0 0 0 79 0 0 0 16 0 22 0 909092357 10804838400 125564 33554432000 1073741824 1073778376 140734112346336 18446744073709551615 216746994585 0 4 0 16800975 18446604468397654336 0 0 -1 5 0 0 0
[pid=21505/tid=21521] ppid=21503 vsize=10551600 CPUtime=0.75 cores=1,3,5,7
/proc/21505/task/21521/stat : 21521 (java) S 21503 21505 18760 0 -1 4202560 5762 0 0 0 75 0 0 0 15 0 22 0 909092357 10804838400 125564 33554432000 1073741824 1073778376 140734112346336 18446744073709551615 216746994585 0 4 0 16800975 18446604468397654336 0 0 -1 3 0 0 0
[pid=21505/tid=21522] ppid=21503 vsize=10551600 CPUtime=0 cores=1,3,5,7
/proc/21505/task/21522/stat : 21522 (java) S 21503 21505 18760 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 909092357 10804838400 125564 33554432000 1073741824 1073778376 140734112346336 18446744073709551615 216746994585 0 4 0 16800975 18446604468397654336 0 0 -1 3 0 0 0
[pid=21505/tid=21523] ppid=21503 vsize=10551600 CPUtime=0 cores=1,3,5,7
/proc/21505/task/21523/stat : 21523 (java) S 21503 21505 18760 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 909092357 10804838400 125564 33554432000 1073741824 1073778376 140734112346336 18446744073709551615 216746995200 0 4 0 16800975 18446604468397654336 0 0 -1 1 0 0 0
[pid=21505/tid=21536] ppid=21503 vsize=10551600 CPUtime=0 cores=1,3,5,7
/proc/21505/task/21536/stat : 21536 (java) S 21503 21505 18760 0 -1 4202560 0 0 0 0 0 0 0 0 18 0 22 0 909092634 10804838400 125564 33554432000 1073741824 1073778376 140734112346336 18446744073709551615 216746995200 0 4 0 16800975 18446604468397654336 0 0 -1 1 0 0 0
[pid=21505/tid=21537] ppid=21503 vsize=10551600 CPUtime=2.3 cores=1,3,5,7
/proc/21505/task/21537/stat : 21537 (java) R 21503 21505 18760 0 -1 4202560 5 0 0 0 230 0 0 0 18 0 22 0 909092734 10804838400 125564 33554432000 1073741824 1073778376 140734112346336 18446744073709551615 46912505633040 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=21505/tid=21538] ppid=21503 vsize=10551600 CPUtime=2.28 cores=1,3,5,7
/proc/21505/task/21538/stat : 21538 (java) R 21503 21505 18760 0 -1 4202560 21629 0 0 0 227 1 0 0 19 0 22 0 909092734 10804838400 125564 33554432000 1073741824 1073778376 140734112346336 18446744073709551615 46912505782466 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=21505/tid=21539] ppid=21503 vsize=10551600 CPUtime=0 cores=1,3,5,7
/proc/21505/task/21539/stat : 21539 (java) S 21503 21505 18760 0 -1 4202560 0 0 0 0 0 0 0 0 18 0 22 0 909092734 10804838400 125564 33554432000 1073741824 1073778376 140734112346336 18446744073709551615 216746995200 0 4 0 16800975 18446604468397654336 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 10.25
Current children cumulated vsize (KiB) 10551600
[startup+12.7014 s]
/proc/loadavg: 3.95 3.85 3.41 5/570 21539
/proc/meminfo: memFree=19523180/32951124 swapFree=56241860/67111528
[pid=21505] ppid=21503 vsize=10551600 CPUtime=22.66 cores=1,3,5,7
/proc/21505/stat : 21505 (java) S 21503 21505 18760 0 -1 4202496 154543 0 1 0 2247 19 0 0 17 0 22 0 909092351 10804838400 149138 33554432000 1073741824 1073778376 140734112346336 18446744073709551615 216746981349 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/21505/statm: 2637900 149138 2259 9 0 2628634 0
[pid=21505/tid=21506] ppid=21503 vsize=10551600 CPUtime=0.29 cores=1,3,5,7
/proc/21505/task/21506/stat : 21506 (java) S 21503 21505 18760 0 -1 4202560 13099 0 1 0 27 2 0 0 15 0 22 0 909092351 10804838400 149138 33554432000 1073741824 1073778376 140734112346336 18446744073709551615 216746995200 0 4 0 16800975 18446604468397654336 0 0 -1 7 0 0 0
[pid=21505/tid=21508] ppid=21503 vsize=10551600 CPUtime=0.02 cores=1,3,5,7
/proc/21505/task/21508/stat : 21508 (java) S 21503 21505 18760 0 -1 4202560 427 0 0 0 2 0 0 0 15 0 22 0 909092353 10804838400 149138 33554432000 1073741824 1073778376 140734112346336 18446744073709551615 216746994585 0 4 0 16800975 18446604468397654336 0 0 -1 5 0 0 0
[pid=21505/tid=21509] ppid=21503 vsize=10551600 CPUtime=0.01 cores=1,3,5,7
/proc/21505/task/21509/stat : 21509 (java) S 21503 21505 18760 0 -1 4202560 102 0 0 0 1 0 0 0 15 0 22 0 909092353 10804838400 149138 33554432000 1073741824 1073778376 140734112346336 18446744073709551615 216746994585 0 4 0 16800975 18446604468397654336 0 0 -1 7 0 0 0
[pid=21505/tid=21510] ppid=21503 vsize=10551600 CPUtime=0.01 cores=1,3,5,7
/proc/21505/task/21510/stat : 21510 (java) S 21503 21505 18760 0 -1 4202560 170 0 0 0 1 0 0 0 15 0 22 0 909092353 10804838400 149138 33554432000 1073741824 1073778376 140734112346336 18446744073709551615 216746994585 0 4 0 16800975 18446604468397654336 0 0 -1 5 0 0 0
[pid=21505/tid=21511] ppid=21503 vsize=10551600 CPUtime=0.02 cores=1,3,5,7
/proc/21505/task/21511/stat : 21511 (java) S 21503 21505 18760 0 -1 4202560 223 0 0 0 2 0 0 0 15 0 22 0 909092353 10804838400 149138 33554432000 1073741824 1073778376 140734112346336 18446744073709551615 216746994585 0 4 0 16800975 18446604468397654336 0 0 -1 3 0 0 0
[pid=21505/tid=21512] ppid=21503 vsize=10551600 CPUtime=0.01 cores=1,3,5,7
/proc/21505/task/21512/stat : 21512 (java) S 21503 21505 18760 0 -1 4202560 134 0 0 0 1 0 0 0 16 0 22 0 909092353 10804838400 149138 33554432000 1073741824 1073778376 140734112346336 18446744073709551615 216746994585 0 4 0 16800975 18446604468397654336 0 0 -1 5 0 0 0
[pid=21505/tid=21513] ppid=21503 vsize=10551600 CPUtime=0.02 cores=1,3,5,7
/proc/21505/task/21513/stat : 21513 (java) S 21503 21505 18760 0 -1 4202560 424 0 0 0 2 0 0 0 15 0 22 0 909092353 10804838400 149138 33554432000 1073741824 1073778376 140734112346336 18446744073709551615 216746994585 0 4 0 16800975 18446604468397654336 0 0 -1 7 0 0 0
[pid=21505/tid=21514] ppid=21503 vsize=10551600 CPUtime=0.01 cores=1,3,5,7
/proc/21505/task/21514/stat : 21514 (java) S 21503 21505 18760 0 -1 4202560 263 0 0 0 1 0 0 0 15 0 22 0 909092353 10804838400 149138 33554432000 1073741824 1073778376 140734112346336 18446744073709551615 216746994585 0 4 0 16800975 18446604468397654336 0 0 -1 3 0 0 0
[pid=21505/tid=21515] ppid=21503 vsize=10551600 CPUtime=0.01 cores=1,3,5,7
/proc/21505/task/21515/stat : 21515 (java) S 21503 21505 18760 0 -1 4202560 251 0 0 0 1 0 0 0 15 0 22 0 909092353 10804838400 149138 33554432000 1073741824 1073778376 140734112346336 18446744073709551615 216746994585 0 4 0 16800975 18446604468397654336 0 0 -1 7 0 0 0
[pid=21505/tid=21516] ppid=21503 vsize=10551600 CPUtime=0.67 cores=1,3,5,7
/proc/21505/task/21516/stat : 21516 (java) S 21503 21505 18760 0 -1 4202560 6457 0 0 0 67 0 0 0 16 0 22 0 909092354 10804838400 149138 33554432000 1073741824 1073778376 140734112346336 18446744073709551615 216746995200 0 0 0 16800975 18446604468397654336 0 0 -1 1 0 0 0
[pid=21505/tid=21517] ppid=21503 vsize=10551600 CPUtime=0 cores=1,3,5,7
/proc/21505/task/21517/stat : 21517 (java) S 21503 21505 18760 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 909092355 10804838400 149138 33554432000 1073741824 1073778376 140734112346336 18446744073709551615 216746994585 0 4 0 16800975 18446604468397654336 0 0 -1 3 0 0 0
[pid=21505/tid=21518] ppid=21503 vsize=10551600 CPUtime=0 cores=1,3,5,7
/proc/21505/task/21518/stat : 21518 (java) S 21503 21505 18760 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 22 0 909092355 10804838400 149138 33554432000 1073741824 1073778376 140734112346336 18446744073709551615 216746994585 0 4 0 16800975 18446604468397654336 0 0 -1 3 0 0 0
[pid=21505/tid=21519] ppid=21503 vsize=10551600 CPUtime=0 cores=1,3,5,7
/proc/21505/task/21519/stat : 21519 (java) S 21503 21505 18760 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 909092357 10804838400 149138 33554432000 1073741824 1073778376 140734112346336 18446744073709551615 216747002289 0 4 0 16800975 18446604468397654336 0 0 -1 3 0 0 0
[pid=21505/tid=21520] ppid=21503 vsize=10551600 CPUtime=0.79 cores=1,3,5,7
/proc/21505/task/21520/stat : 21520 (java) S 21503 21505 18760 0 -1 4202560 4677 0 0 0 79 0 0 0 16 0 22 0 909092357 10804838400 149138 33554432000 1073741824 1073778376 140734112346336 18446744073709551615 216746994585 0 4 0 16800975 18446604468397654336 0 0 -1 5 0 0 0
[pid=21505/tid=21521] ppid=21503 vsize=10551600 CPUtime=0.76 cores=1,3,5,7
/proc/21505/task/21521/stat : 21521 (java) S 21503 21505 18760 0 -1 4202560 5762 0 0 0 76 0 0 0 15 0 22 0 909092357 10804838400 149138 33554432000 1073741824 1073778376 140734112346336 18446744073709551615 216746994585 0 4 0 16800975 18446604468397654336 0 0 -1 3 0 0 0
[pid=21505/tid=21522] ppid=21503 vsize=10551600 CPUtime=0 cores=1,3,5,7
/proc/21505/task/21522/stat : 21522 (java) S 21503 21505 18760 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 909092357 10804838400 149138 33554432000 1073741824 1073778376 140734112346336 18446744073709551615 216746994585 0 4 0 16800975 18446604468397654336 0 0 -1 3 0 0 0
[pid=21505/tid=21523] ppid=21503 vsize=10551600 CPUtime=0 cores=1,3,5,7
/proc/21505/task/21523/stat : 21523 (java) S 21503 21505 18760 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 909092357 10804838400 149138 33554432000 1073741824 1073778376 140734112346336 18446744073709551615 216746995200 0 4 0 16800975 18446604468397654336 0 0 -1 3 0 0 0
[pid=21505/tid=21536] ppid=21503 vsize=10551600 CPUtime=0 cores=1,3,5,7
/proc/21505/task/21536/stat : 21536 (java) S 21503 21505 18760 0 -1 4202560 0 0 0 0 0 0 0 0 18 0 22 0 909092634 10804838400 149138 33554432000 1073741824 1073778376 140734112346336 18446744073709551615 216746995200 0 4 0 16800975 18446604468397654336 0 0 -1 1 0 0 0
[pid=21505/tid=21537] ppid=21503 vsize=10551600 CPUtime=8.25 cores=1,3,5,7
/proc/21505/task/21537/stat : 21537 (java) R 21503 21505 18760 0 -1 4202560 13 0 0 0 825 0 0 0 18 0 22 0 909092734 10804838400 149138 33554432000 1073741824 1073778376 140734112346336 18446744073709551615 46912505790809 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=21505/tid=21538] ppid=21503 vsize=10551600 CPUtime=8.23 cores=1,3,5,7
/proc/21505/task/21538/stat : 21538 (java) R 21503 21505 18760 0 -1 4202560 41583 0 0 0 819 4 0 0 25 0 22 0 909092734 10804838400 149138 33554432000 1073741824 1073778376 140734112346336 18446744073709551615 46912505726696 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=21505/tid=21539] ppid=21503 vsize=10551600 CPUtime=0 cores=1,3,5,7
/proc/21505/task/21539/stat : 21539 (java) S 21503 21505 18760 0 -1 4202560 0 0 0 0 0 0 0 0 18 0 22 0 909092734 10804838400 149138 33554432000 1073741824 1073778376 140734112346336 18446744073709551615 216746995200 0 4 0 16800975 18446604468397654336 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 22.66
Current children cumulated vsize (KiB) 10551600
Solver just ended. Dumping a history of the last processes samples
[startup+13.5012 s]
/proc/loadavg: 3.96 3.86 3.41 4/570 21539
/proc/meminfo: memFree=19507928/32951124 swapFree=56241860/67111528
[pid=21505] ppid=21503 vsize=10551600 CPUtime=24.19 cores=1,3,5,7
/proc/21505/stat : 21505 (java) S 21503 21505 18760 0 -1 4202496 154555 0 1 0 2399 20 0 0 17 0 20 0 909092351 10804838400 149149 33554432000 1073741824 1073778376 140734112346336 18446744073709551615 216746981349 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/21505/statm: 2637900 149149 2259 9 0 2628634 0
[pid=21505/tid=21506] ppid=21503 vsize=10551600 CPUtime=0.29 cores=1,3,5,7
/proc/21505/task/21506/stat : 21506 (java) S 21503 21505 18760 0 -1 4202560 13099 0 1 0 27 2 0 0 15 0 20 0 909092351 10804838400 149149 33554432000 1073741824 1073778376 140734112346336 18446744073709551615 216746995200 0 4 0 16800975 18446604468397654336 0 0 -1 7 0 0 0
[pid=21505/tid=21508] ppid=21503 vsize=10551600 CPUtime=0.02 cores=1,3,5,7
/proc/21505/task/21508/stat : 21508 (java) S 21503 21505 18760 0 -1 4202560 427 0 0 0 2 0 0 0 15 0 20 0 909092353 10804838400 149149 33554432000 1073741824 1073778376 140734112346336 18446744073709551615 216746994585 0 4 0 16800975 18446604468397654336 0 0 -1 5 0 0 0
[pid=21505/tid=21509] ppid=21503 vsize=10551600 CPUtime=0.01 cores=1,3,5,7
/proc/21505/task/21509/stat : 21509 (java) S 21503 21505 18760 0 -1 4202560 102 0 0 0 1 0 0 0 16 0 20 0 909092353 10804838400 149149 33554432000 1073741824 1073778376 140734112346336 18446744073709551615 216746994585 0 4 0 16800975 18446604468397654336 0 0 -1 7 0 0 0
[pid=21505/tid=21510] ppid=21503 vsize=10551600 CPUtime=0.01 cores=1,3,5,7
/proc/21505/task/21510/stat : 21510 (java) S 21503 21505 18760 0 -1 4202560 170 0 0 0 1 0 0 0 15 0 20 0 909092353 10804838400 149149 33554432000 1073741824 1073778376 140734112346336 18446744073709551615 216746994585 0 4 0 16800975 18446604468397654336 0 0 -1 5 0 0 0
[pid=21505/tid=21511] ppid=21503 vsize=10551600 CPUtime=0.02 cores=1,3,5,7
/proc/21505/task/21511/stat : 21511 (java) S 21503 21505 18760 0 -1 4202560 223 0 0 0 2 0 0 0 15 0 20 0 909092353 10804838400 149149 33554432000 1073741824 1073778376 140734112346336 18446744073709551615 216746994585 0 4 0 16800975 18446604468397654336 0 0 -1 3 0 0 0
[pid=21505/tid=21512] ppid=21503 vsize=10551600 CPUtime=0.01 cores=1,3,5,7
/proc/21505/task/21512/stat : 21512 (java) S 21503 21505 18760 0 -1 4202560 134 0 0 0 1 0 0 0 16 0 20 0 909092353 10804838400 149149 33554432000 1073741824 1073778376 140734112346336 18446744073709551615 216746994585 0 4 0 16800975 18446604468397654336 0 0 -1 5 0 0 0
[pid=21505/tid=21513] ppid=21503 vsize=10551600 CPUtime=0.02 cores=1,3,5,7
/proc/21505/task/21513/stat : 21513 (java) S 21503 21505 18760 0 -1 4202560 424 0 0 0 2 0 0 0 15 0 20 0 909092353 10804838400 149149 33554432000 1073741824 1073778376 140734112346336 18446744073709551615 216746994585 0 4 0 16800975 18446604468397654336 0 0 -1 7 0 0 0
[pid=21505/tid=21514] ppid=21503 vsize=10551600 CPUtime=0.01 cores=1,3,5,7
/proc/21505/task/21514/stat : 21514 (java) S 21503 21505 18760 0 -1 4202560 263 0 0 0 1 0 0 0 16 0 20 0 909092353 10804838400 149149 33554432000 1073741824 1073778376 140734112346336 18446744073709551615 216746994585 0 4 0 16800975 18446604468397654336 0 0 -1 3 0 0 0
[pid=21505/tid=21515] ppid=21503 vsize=10551600 CPUtime=0.01 cores=1,3,5,7
/proc/21505/task/21515/stat : 21515 (java) S 21503 21505 18760 0 -1 4202560 251 0 0 0 1 0 0 0 15 0 20 0 909092353 10804838400 149149 33554432000 1073741824 1073778376 140734112346336 18446744073709551615 216746994585 0 4 0 16800975 18446604468397654336 0 0 -1 7 0 0 0
[pid=21505/tid=21516] ppid=21503 vsize=10551600 CPUtime=0.76 cores=1,3,5,7
/proc/21505/task/21516/stat : 21516 (java) S 21503 21505 18760 0 -1 4202560 6468 0 0 0 75 1 0 0 15 0 20 0 909092354 10804838400 149149 33554432000 1073741824 1073778376 140734112346336 18446744073709551615 216746995200 0 0 0 16800975 18446604468397654336 0 0 -1 1 0 0 0
[pid=21505/tid=21517] ppid=21503 vsize=10551600 CPUtime=0 cores=1,3,5,7
/proc/21505/task/21517/stat : 21517 (java) S 21503 21505 18760 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 20 0 909092355 10804838400 149149 33554432000 1073741824 1073778376 140734112346336 18446744073709551615 216746994585 0 4 0 16800975 18446604468397654336 0 0 -1 3 0 0 0
[pid=21505/tid=21518] ppid=21503 vsize=10551600 CPUtime=0 cores=1,3,5,7
/proc/21505/task/21518/stat : 21518 (java) S 21503 21505 18760 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 20 0 909092355 10804838400 149149 33554432000 1073741824 1073778376 140734112346336 18446744073709551615 216746994585 0 4 0 16800975 18446604468397654336 0 0 -1 3 0 0 0
[pid=21505/tid=21519] ppid=21503 vsize=10551600 CPUtime=0 cores=1,3,5,7
/proc/21505/task/21519/stat : 21519 (java) S 21503 21505 18760 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 20 0 909092357 10804838400 149149 33554432000 1073741824 1073778376 140734112346336 18446744073709551615 216747002289 0 4 0 16800975 18446604468397654336 0 0 -1 3 0 0 0
[pid=21505/tid=21520] ppid=21503 vsize=10551600 CPUtime=0.79 cores=1,3,5,7
/proc/21505/task/21520/stat : 21520 (java) S 21503 21505 18760 0 -1 4202560 4677 0 0 0 79 0 0 0 16 0 20 0 909092357 10804838400 149149 33554432000 1073741824 1073778376 140734112346336 18446744073709551615 216746994585 0 4 0 16800975 18446604468397654336 0 0 -1 5 0 0 0
[pid=21505/tid=21521] ppid=21503 vsize=10551600 CPUtime=0.76 cores=1,3,5,7
/proc/21505/task/21521/stat : 21521 (java) S 21503 21505 18760 0 -1 4202560 5762 0 0 0 76 0 0 0 15 0 20 0 909092357 10804838400 149149 33554432000 1073741824 1073778376 140734112346336 18446744073709551615 216746994585 0 4 0 16800975 18446604468397654336 0 0 -1 3 0 0 0
[pid=21505/tid=21522] ppid=21503 vsize=10551600 CPUtime=0 cores=1,3,5,7
/proc/21505/task/21522/stat : 21522 (java) S 21503 21505 18760 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 20 0 909092357 10804838400 149149 33554432000 1073741824 1073778376 140734112346336 18446744073709551615 216746994585 0 4 0 16800975 18446604468397654336 0 0 -1 3 0 0 0
[pid=21505/tid=21523] ppid=21503 vsize=10551600 CPUtime=0 cores=1,3,5,7
/proc/21505/task/21523/stat : 21523 (java) S 21503 21505 18760 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 20 0 909092357 10804838400 149149 33554432000 1073741824 1073778376 140734112346336 18446744073709551615 216746995200 0 4 0 16800975 18446604468397654336 0 0 -1 3 0 0 0
[pid=21505/tid=21538] ppid=21503 vsize=10551600 CPUtime=8.94 cores=1,3,5,7
/proc/21505/task/21538/stat : 21538 (java) R 21503 21505 18760 0 -1 4202560 41583 0 0 0 890 4 0 0 25 0 20 0 909092734 10804838400 149149 33554432000 1073741824 1073778376 140734112346336 18446744073709551615 46912505668935 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=21505/tid=21539] ppid=21503 vsize=10551600 CPUtime=0 cores=1,3,5,7
/proc/21505/task/21539/stat : 21539 (java) S 21503 21505 18760 0 -1 4202560 0 0 0 0 0 0 0 0 18 0 20 0 909092734 10804838400 149149 33554432000 1073741824 1073778376 140734112346336 18446744073709551615 216746995200 0 4 0 16800975 18446604468397654336 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 24.19
Current children cumulated vsize (KiB) 10551600
[startup+13.9052 s]
/proc/loadavg: 3.96 3.86 3.41 4/570 21539
/proc/meminfo: memFree=19507928/32951124 swapFree=56241860/67111528
[pid=21505] ppid=21503 vsize=10551600 CPUtime=24.24 cores=1,3,5,7
/proc/21505/stat : 21505 (java) S 21503 21505 18760 0 -1 4202496 154556 0 1 0 2404 20 0 0 17 0 19 0 909092351 10804838400 149150 33554432000 1073741824 1073778376 140734112346336 18446744073709551615 216746981349 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/21505/statm: 2637900 149150 2259 9 0 2628634 0
[pid=21505/tid=21506] ppid=21503 vsize=10551600 CPUtime=0.32 cores=1,3,5,7
/proc/21505/task/21506/stat : 21506 (java) R 21503 21505 18760 0 -1 4202560 13100 0 1 0 30 2 0 0 15 0 19 0 909092351 10804838400 149150 33554432000 1073741824 1073778376 140734112346336 18446744073709551615 46912505366582 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=21505/tid=21508] ppid=21503 vsize=10551600 CPUtime=0.02 cores=1,3,5,7
/proc/21505/task/21508/stat : 21508 (java) S 21503 21505 18760 0 -1 4202560 427 0 0 0 2 0 0 0 15 0 19 0 909092353 10804838400 149150 33554432000 1073741824 1073778376 140734112346336 18446744073709551615 216746994585 0 4 0 16800975 18446604468397654336 0 0 -1 5 0 0 0
[pid=21505/tid=21509] ppid=21503 vsize=10551600 CPUtime=0.01 cores=1,3,5,7
/proc/21505/task/21509/stat : 21509 (java) S 21503 21505 18760 0 -1 4202560 102 0 0 0 1 0 0 0 16 0 19 0 909092353 10804838400 149150 33554432000 1073741824 1073778376 140734112346336 18446744073709551615 216746994585 0 4 0 16800975 18446604468397654336 0 0 -1 7 0 0 0
[pid=21505/tid=21510] ppid=21503 vsize=10551600 CPUtime=0.01 cores=1,3,5,7
/proc/21505/task/21510/stat : 21510 (java) S 21503 21505 18760 0 -1 4202560 170 0 0 0 1 0 0 0 15 0 19 0 909092353 10804838400 149150 33554432000 1073741824 1073778376 140734112346336 18446744073709551615 216746994585 0 4 0 16800975 18446604468397654336 0 0 -1 5 0 0 0
[pid=21505/tid=21511] ppid=21503 vsize=10551600 CPUtime=0.02 cores=1,3,5,7
/proc/21505/task/21511/stat : 21511 (java) S 21503 21505 18760 0 -1 4202560 223 0 0 0 2 0 0 0 15 0 19 0 909092353 10804838400 149150 33554432000 1073741824 1073778376 140734112346336 18446744073709551615 216746994585 0 4 0 16800975 18446604468397654336 0 0 -1 3 0 0 0
[pid=21505/tid=21512] ppid=21503 vsize=10551600 CPUtime=0.01 cores=1,3,5,7
/proc/21505/task/21512/stat : 21512 (java) S 21503 21505 18760 0 -1 4202560 134 0 0 0 1 0 0 0 16 0 19 0 909092353 10804838400 149150 33554432000 1073741824 1073778376 140734112346336 18446744073709551615 216746994585 0 4 0 16800975 18446604468397654336 0 0 -1 5 0 0 0
[pid=21505/tid=21513] ppid=21503 vsize=10551600 CPUtime=0.02 cores=1,3,5,7
/proc/21505/task/21513/stat : 21513 (java) S 21503 21505 18760 0 -1 4202560 424 0 0 0 2 0 0 0 15 0 19 0 909092353 10804838400 149150 33554432000 1073741824 1073778376 140734112346336 18446744073709551615 216746994585 0 4 0 16800975 18446604468397654336 0 0 -1 7 0 0 0
[pid=21505/tid=21514] ppid=21503 vsize=10551600 CPUtime=0.01 cores=1,3,5,7
/proc/21505/task/21514/stat : 21514 (java) S 21503 21505 18760 0 -1 4202560 263 0 0 0 1 0 0 0 16 0 19 0 909092353 10804838400 149150 33554432000 1073741824 1073778376 140734112346336 18446744073709551615 216746994585 0 4 0 16800975 18446604468397654336 0 0 -1 3 0 0 0
[pid=21505/tid=21515] ppid=21503 vsize=10551600 CPUtime=0.01 cores=1,3,5,7
/proc/21505/task/21515/stat : 21515 (java) S 21503 21505 18760 0 -1 4202560 251 0 0 0 1 0 0 0 15 0 19 0 909092353 10804838400 149150 33554432000 1073741824 1073778376 140734112346336 18446744073709551615 216746994585 0 4 0 16800975 18446604468397654336 0 0 -1 7 0 0 0
[pid=21505/tid=21516] ppid=21503 vsize=10551600 CPUtime=0.76 cores=1,3,5,7
/proc/21505/task/21516/stat : 21516 (java) S 21503 21505 18760 0 -1 4202560 6468 0 0 0 75 1 0 0 15 0 19 0 909092354 10804838400 149150 33554432000 1073741824 1073778376 140734112346336 18446744073709551615 216746995200 0 0 0 16800975 18446604468397654336 0 0 -1 1 0 0 0
[pid=21505/tid=21517] ppid=21503 vsize=10551600 CPUtime=0 cores=1,3,5,7
/proc/21505/task/21517/stat : 21517 (java) S 21503 21505 18760 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 909092355 10804838400 149150 33554432000 1073741824 1073778376 140734112346336 18446744073709551615 216746994585 0 4 0 16800975 18446604468397654336 0 0 -1 3 0 0 0
[pid=21505/tid=21518] ppid=21503 vsize=10551600 CPUtime=0 cores=1,3,5,7
/proc/21505/task/21518/stat : 21518 (java) S 21503 21505 18760 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 909092355 10804838400 149150 33554432000 1073741824 1073778376 140734112346336 18446744073709551615 216746994585 0 4 0 16800975 18446604468397654336 0 0 -1 3 0 0 0
[pid=21505/tid=21519] ppid=21503 vsize=10551600 CPUtime=0 cores=1,3,5,7
/proc/21505/task/21519/stat : 21519 (java) S 21503 21505 18760 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 909092357 10804838400 149150 33554432000 1073741824 1073778376 140734112346336 18446744073709551615 216747002289 0 4 0 16800975 18446604468397654336 0 0 -1 3 0 0 0
[pid=21505/tid=21520] ppid=21503 vsize=10551600 CPUtime=0.8 cores=1,3,5,7
/proc/21505/task/21520/stat : 21520 (java) S 21503 21505 18760 0 -1 4202560 4677 0 0 0 80 0 0 0 15 0 19 0 909092357 10804838400 149150 33554432000 1073741824 1073778376 140734112346336 18446744073709551615 216746994585 0 4 0 16800975 18446604468397654336 0 0 -1 5 0 0 0
[pid=21505/tid=21521] ppid=21503 vsize=10551600 CPUtime=0.77 cores=1,3,5,7
/proc/21505/task/21521/stat : 21521 (java) S 21503 21505 18760 0 -1 4202560 5762 0 0 0 77 0 0 0 16 0 19 0 909092357 10804838400 149150 33554432000 1073741824 1073778376 140734112346336 18446744073709551615 216746994585 0 4 0 16800975 18446604468397654336 0 0 -1 3 0 0 0
[pid=21505/tid=21522] ppid=21503 vsize=10551600 CPUtime=0 cores=1,3,5,7
/proc/21505/task/21522/stat : 21522 (java) S 21503 21505 18760 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 909092357 10804838400 149150 33554432000 1073741824 1073778376 140734112346336 18446744073709551615 216746994585 0 4 0 16800975 18446604468397654336 0 0 -1 3 0 0 0
[pid=21505/tid=21523] ppid=21503 vsize=10551600 CPUtime=0 cores=1,3,5,7
/proc/21505/task/21523/stat : 21523 (java) S 21503 21505 18760 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 909092357 10804838400 149150 33554432000 1073741824 1073778376 140734112346336 18446744073709551615 216746995200 0 4 0 16800975 18446604468397654336 0 0 -1 3 0 0 0
[pid=21505/tid=21539] ppid=21503 vsize=10551600 CPUtime=0 cores=1,3,5,7
/proc/21505/task/21539/stat : 21539 (java) S 21503 21505 18760 0 -1 4202560 0 0 0 0 0 0 0 0 18 0 19 0 909092734 10804838400 149150 33554432000 1073741824 1073778376 140734112346336 18446744073709551615 216746995200 0 4 0 16800975 18446604468397654336 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 24.24
Current children cumulated vsize (KiB) 10551600
Child status: 30
Real time (s): 13.9923
CPU time (s): 24.3333
CPU user time (s): 24.1043
CPU system time (s): 0.228965
CPU usage (%): 173.905
Max. virtual memory (cumulated for all children) (KiB): 10553140
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 24.1043
system time used= 0.228965
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 154566
page faults= 1
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 1372
involuntary context switches= 504
runsolver used 0.06199 second user time and 0.201969 second system time
The end