runsolver version 3.4.0 (svn: 3012) Copyright (C) 2010-2013 Olivier ROUSSEL
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.
NUMA information:
number of nodes: 2
memory of node 0: 16374 MiB (1878 MiB free)
memory of node 1: 16384 MiB (1638 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /var/tmp/evaluation-result-4402623-1568984938/watcher-4402623-1568984938 -o /var/tmp/evaluation-result-4402623-1568984938/solver-4402623-1568984938 -C 2520 -W 2520 -M 15500 --bin-var /var/tmp/runsolver-exch-node149-1568967598-20068 --watchdog 2580 bin/xcsp-3-concrete -J-Xss32M -randomseed=13585715 HOME/instance-4402623-1568984938.xml
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 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
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=25757, runsolver pid=25754
Current StackSize limit: 8192 KiB
[startup+0.10011 s]*
/proc/loadavg: 1.41 1.33 1.40 3/218 25814
/proc/meminfo: memFree=3594972/32770624 swapFree=66956620/67108860
[pid=25757] ppid=25754 vsize=9972712 memory=18856 CPUtime=0.09 cores=0,2,4,6
/proc/25757/stat : 25757 (java) S 25754 25757 20037 0 -1 1077944320 4477 13285 0 0 1 0 5 3 20 0 6 0 474732441 10212057088 4714 33554432000 4194304 4196468 140736791985568 140736791968112 139657323790071 0 0 0 16784584 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 33042432 140736791988837 140736791991477 140736791991477 140736791994319 0
/proc/25757/statm: 2493178 4714 1934 1 0 2481616 0
[pid=25757/tid=25810] ppid=25754 vsize=9972712 memory=4628411388058700198 CPUtime=0.09 cores=0,2,4,6
/proc/25757/task/25810/stat : 25810 (java) R 25754 25757 20037 0 -1 4202560 2269 13285 0 0 1 0 5 3 20 0 6 0 474732450 10212057088 4714 33554432000 4194304 4196468 140736791985568 139657295626832 139657309472597 0 4 0 16784584 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 33042432 140736791988837 140736791991477 140736791991477 140736791994319 0
[pid=25757/tid=25811] ppid=25754 vsize=9972712 memory=5793855684231313849 CPUtime=0.08 cores=0,2,4,6
/proc/25757/task/25811/stat : 25811 (java) S 25754 25757 20037 0 -1 1077944384 1 13285 0 0 0 0 5 3 20 0 6 0 474732451 10212057088 4714 33554432000 4194304 4196468 140736791985568 139657328032272 139657323800277 0 4 0 16784584 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33042432 140736791988837 140736791991477 140736791991477 140736791994319 0
[pid=25757/tid=25812] ppid=25754 vsize=9972712 memory=140433221420672 CPUtime=0.08 cores=0,2,4,6
/proc/25757/task/25812/stat : 25812 (java) S 25754 25757 20037 0 -1 1077944384 1 13285 0 0 0 0 5 3 20 0 6 0 474732451 10212057088 4714 33554432000 4194304 4196468 140736791985568 139657242851984 139657323800277 0 4 0 16784584 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33042432 140736791988837 140736791991477 140736791991477 140736791994319 0
[pid=25757/tid=25813] ppid=25754 vsize=9972712 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/25757/task/25813/stat : 25813 (java) S 25754 25757 20037 0 -1 1077944384 1 13285 0 0 0 0 5 3 20 0 6 0 474732451 10212057088 4714 33554432000 4194304 4196468 140736791985568 139657241798928 139657323800277 0 4 0 16784584 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33042432 140736791988837 140736791991477 140736791991477 140736791994319 0
[pid=25757/tid=25814] ppid=25754 vsize=9972712 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/25757/task/25814/stat : 25814 (java) S 25754 25757 20037 0 -1 1077944384 2 13285 0 0 0 0 5 3 20 0 6 0 474732451 10212057088 4714 33554432000 4194304 4196468 140736791985568 139657240746384 139657323800277 0 4 0 16784584 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33042432 140736791988837 140736791991477 140736791991477 140736791994319 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 9972712 KiB
Current children cumulated memory: 18856 KiB
[startup+0.209837 s]*
/proc/loadavg: 1.41 1.33 1.40 3/227 25823
/proc/meminfo: memFree=3577304/32770624 swapFree=66956620/67108860
[pid=25757] ppid=25754 vsize=10820196 memory=41396 CPUtime=0.27 cores=0,2,4,6
/proc/25757/stat : 25757 (java) S 25754 25757 20037 0 -1 1077944320 7341 13285 0 0 18 1 5 3 20 0 15 0 474732441 11079880704 10349 33554432000 4194304 4196468 140736791985568 140736791968112 139657323790071 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 33042432 140736791988837 140736791991477 140736791991477 140736791994319 0
/proc/25757/statm: 2705049 10349 3263 1 0 2667149 0
[pid=25757/tid=25810] ppid=25754 vsize=10820196 memory=-8540663193526752614 CPUtime=0.19 cores=0,2,4,6
/proc/25757/task/25810/stat : 25810 (java) R 25754 25757 20037 0 -1 4202560 3850 13285 0 0 11 0 5 3 20 0 15 0 474732450 11079880704 10349 33554432000 4194304 4196468 140736791985568 139657295601104 139657323811997 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 33042432 140736791988837 140736791991477 140736791991477 140736791994319 0
[pid=25757/tid=25811] ppid=25754 vsize=10820196 memory=4211974159426211210 CPUtime=0.08 cores=0,2,4,6
/proc/25757/task/25811/stat : 25811 (java) S 25754 25757 20037 0 -1 1077944384 1 13285 0 0 0 0 5 3 20 0 15 0 474732451 11079880704 10349 33554432000 4194304 4196468 140736791985568 139657328032272 139657323800277 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33042432 140736791988837 140736791991477 140736791991477 140736791994319 0
[pid=25757/tid=25812] ppid=25754 vsize=10820196 memory=140433221420672 CPUtime=0.08 cores=0,2,4,6
/proc/25757/task/25812/stat : 25812 (java) S 25754 25757 20037 0 -1 1077944384 1 13285 0 0 0 0 5 3 20 0 15 0 474732451 11079880704 10349 33554432000 4194304 4196468 140736791985568 139657242851984 139657323800277 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33042432 140736791988837 140736791991477 140736791991477 140736791994319 0
[pid=25757/tid=25813] ppid=25754 vsize=10820196 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/25757/task/25813/stat : 25813 (java) S 25754 25757 20037 0 -1 1077944384 1 13285 0 0 0 0 5 3 20 0 15 0 474732451 11079880704 10349 33554432000 4194304 4196468 140736791985568 139657241798928 139657323800277 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33042432 140736791988837 140736791991477 140736791991477 140736791994319 0
[pid=25757/tid=25814] ppid=25754 vsize=10820196 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/25757/task/25814/stat : 25814 (java) S 25754 25757 20037 0 -1 1077944384 2 13285 0 0 0 0 5 3 20 0 15 0 474732451 11079880704 10349 33554432000 4194304 4196468 140736791985568 139657240746384 139657323800277 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33042432 140736791988837 140736791991477 140736791991477 140736791994319 0
[pid=25757/tid=25815] ppid=25754 vsize=10820196 memory=140433221420672 CPUtime=0.08 cores=0,2,4,6
/proc/25757/task/25815/stat : 25815 (java) S 25754 25757 20037 0 -1 1077944384 2 13285 0 0 0 0 5 3 20 0 15 0 474732453 11079880704 10349 33554432000 4194304 4196468 140736791985568 139656850393840 139657323801218 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33042432 140736791988837 140736791991477 140736791991477 140736791994319 0
[pid=25757/tid=25816] ppid=25754 vsize=10820196 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/25757/task/25816/stat : 25816 (java) S 25754 25757 20037 0 -1 1077944384 13 13285 0 0 0 0 5 3 20 0 15 0 474732453 11079880704 10349 33554432000 4194304 4196468 140736791985568 139656230332064 139657323800277 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33042432 140736791988837 140736791991477 140736791991477 140736791994319 0
[pid=25757/tid=25817] ppid=25754 vsize=10820196 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/25757/task/25817/stat : 25817 (java) S 25754 25757 20037 0 -1 1077944384 1 13285 0 0 0 0 5 3 20 0 15 0 474732453 11079880704 10349 33554432000 4194304 4196468 140736791985568 139656096113904 139657323800277 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33042432 140736791988837 140736791991477 140736791991477 140736791994319 0
[pid=25757/tid=25818] ppid=25754 vsize=10820196 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/25757/task/25818/stat : 25818 (java) S 25754 25757 20037 0 -1 1077944384 3 13285 0 0 0 0 5 3 20 0 15 0 474732456 11079880704 10349 33554432000 4194304 4196468 140736791985568 139655855823312 139657323808667 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33042432 140736791988837 140736791991477 140736791991477 140736791994319 0
[pid=25757/tid=25819] ppid=25754 vsize=10820196 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/25757/task/25819/stat : 25819 (java) R 25754 25757 20037 0 -1 4202560 583 13285 0 0 1 0 5 3 20 0 15 0 474732456 11079880704 10349 33554432000 4194304 4196468 140736791985568 139656849340656 139657301664256 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 33042432 140736791988837 140736791991477 140736791991477 140736791994319 0
[pid=25757/tid=25820] ppid=25754 vsize=10820196 memory=-1 CPUtime=0.09 cores=0,2,4,6
/proc/25757/task/25820/stat : 25820 (java) S 25754 25757 20037 0 -1 1077944384 64 13285 0 0 1 0 5 3 20 0 15 0 474732456 11079880704 10349 33554432000 4194304 4196468 140736791985568 139656848288112 139657323801218 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33042432 140736791988837 140736791991477 140736791991477 140736791994319 0
[pid=25757/tid=25821] ppid=25754 vsize=10820196 memory=140433221420672 CPUtime=0.11 cores=0,2,4,6
/proc/25757/task/25821/stat : 25821 (java) R 25754 25757 20037 0 -1 1077944384 614 13285 0 0 3 0 5 3 20 0 15 0 474732456 11079880704 10349 33554432000 4194304 4196468 140736791985568 139656847235056 139657323801218 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 33042432 140736791988837 140736791991477 140736791991477 140736791994319 0
[pid=25757/tid=25822] ppid=25754 vsize=10820196 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/25757/task/25822/stat : 25822 (java) S 25754 25757 20037 0 -1 1077944384 3 13285 0 0 0 0 5 3 20 0 15 0 474732456 11079880704 10349 33554432000 4194304 4196468 140736791985568 139655822264672 139657323800277 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33042432 140736791988837 140736791991477 140736791991477 140736791994319 0
[pid=25757/tid=25823] ppid=25754 vsize=10820196 memory=140433221420672 CPUtime=0.08 cores=0,2,4,6
/proc/25757/task/25823/stat : 25823 (java) S 25754 25757 20037 0 -1 1077944384 1 13285 0 0 0 0 5 3 20 0 15 0 474732456 11079880704 10349 33554432000 4194304 4196468 140736791985568 139656846183472 139657323801218 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33042432 140736791988837 140736791991477 140736791991477 140736791994319 0
Current children cumulated CPU time: 0.27 s
Current children cumulated vsize: 10820196 KiB
Current children cumulated memory: 41396 KiB
[startup+0.310401 s]*
/proc/loadavg: 1.41 1.33 1.40 4/227 25823
/proc/meminfo: memFree=3564984/32770624 swapFree=66956620/67108860
[pid=25757] ppid=25754 vsize=10820196 memory=49980 CPUtime=0.4 cores=0,2,4,6
/proc/25757/stat : 25757 (java) S 25754 25757 20037 0 -1 1077944320 10751 13285 0 0 29 3 5 3 20 0 15 0 474732441 11079880704 12495 33554432000 4194304 4196468 140736791985568 140736791968112 139657323790071 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 33042432 140736791988837 140736791991477 140736791991477 140736791994319 0
/proc/25757/statm: 2705049 12495 3285 1 0 2667149 0
[pid=25757/tid=25810] ppid=25754 vsize=10820196 memory=6791534058613427641 CPUtime=0.29 cores=0,2,4,6
/proc/25757/task/25810/stat : 25810 (java) R 25754 25757 20037 0 -1 4202560 7234 13285 0 0 19 2 5 3 20 0 15 0 474732450 11079880704 12495 33554432000 4194304 4196468 140736791985568 139657295598992 139657309978661 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 33042432 140736791988837 140736791991477 140736791991477 140736791994319 0
[pid=25757/tid=25811] ppid=25754 vsize=10820196 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/25757/task/25811/stat : 25811 (java) S 25754 25757 20037 0 -1 1077944384 1 13285 0 0 0 0 5 3 20 0 15 0 474732451 11079880704 12495 33554432000 4194304 4196468 140736791985568 139657328032272 139657323800277 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33042432 140736791988837 140736791991477 140736791991477 140736791994319 0
[pid=25757/tid=25812] ppid=25754 vsize=10820196 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/25757/task/25812/stat : 25812 (java) S 25754 25757 20037 0 -1 1077944384 1 13285 0 0 0 0 5 3 20 0 15 0 474732451 11079880704 12495 33554432000 4194304 4196468 140736791985568 139657242851984 139657323800277 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33042432 140736791988837 140736791991477 140736791991477 140736791994319 0
[pid=25757/tid=25813] ppid=25754 vsize=10820196 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/25757/task/25813/stat : 25813 (java) S 25754 25757 20037 0 -1 1077944384 1 13285 0 0 0 0 5 3 20 0 15 0 474732451 11079880704 12495 33554432000 4194304 4196468 140736791985568 139657241798928 139657323800277 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33042432 140736791988837 140736791991477 140736791991477 140736791994319 0
[pid=25757/tid=25814] ppid=25754 vsize=10820196 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/25757/task/25814/stat : 25814 (java) S 25754 25757 20037 0 -1 1077944384 2 13285 0 0 0 0 5 3 20 0 15 0 474732451 11079880704 12495 33554432000 4194304 4196468 140736791985568 139657240746384 139657323800277 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33042432 140736791988837 140736791991477 140736791991477 140736791994319 0
[pid=25757/tid=25815] ppid=25754 vsize=10820196 memory=140433221420671 CPUtime=0.08 cores=0,2,4,6
/proc/25757/task/25815/stat : 25815 (java) S 25754 25757 20037 0 -1 1077944384 2 13285 0 0 0 0 5 3 20 0 15 0 474732453 11079880704 12495 33554432000 4194304 4196468 140736791985568 139656850393840 139657323801218 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33042432 140736791988837 140736791991477 140736791991477 140736791994319 0
[pid=25757/tid=25816] ppid=25754 vsize=10820196 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/25757/task/25816/stat : 25816 (java) S 25754 25757 20037 0 -1 1077944384 13 13285 0 0 0 0 5 3 20 0 15 0 474732453 11079880704 12495 33554432000 4194304 4196468 140736791985568 139656230332064 139657323800277 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33042432 140736791988837 140736791991477 140736791991477 140736791994319 0
[pid=25757/tid=25817] ppid=25754 vsize=10820196 memory=140433221420672 CPUtime=0.08 cores=0,2,4,6
/proc/25757/task/25817/stat : 25817 (java) S 25754 25757 20037 0 -1 1077944384 1 13285 0 0 0 0 5 3 20 0 15 0 474732453 11079880704 12495 33554432000 4194304 4196468 140736791985568 139656096113904 139657323800277 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33042432 140736791988837 140736791991477 140736791991477 140736791994319 0
[pid=25757/tid=25818] ppid=25754 vsize=10820196 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/25757/task/25818/stat : 25818 (java) S 25754 25757 20037 0 -1 1077944384 3 13285 0 0 0 0 5 3 20 0 15 0 474732456 11079880704 12495 33554432000 4194304 4196468 140736791985568 139655855823312 139657323808667 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33042432 140736791988837 140736791991477 140736791991477 140736791994319 0
[pid=25757/tid=25819] ppid=25754 vsize=10820196 memory=0 CPUtime=0.1 cores=0,2,4,6
/proc/25757/task/25819/stat : 25819 (java) S 25754 25757 20037 0 -1 1077944384 584 13285 0 0 2 0 5 3 20 0 15 0 474732456 11079880704 12495 33554432000 4194304 4196468 140736791985568 139656849340656 139657323801218 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33042432 140736791988837 140736791991477 140736791991477 140736791994319 0
[pid=25757/tid=25820] ppid=25754 vsize=10820196 memory=-1 CPUtime=0.09 cores=0,2,4,6
/proc/25757/task/25820/stat : 25820 (java) S 25754 25757 20037 0 -1 1077944384 65 13285 0 0 1 0 5 3 20 0 15 0 474732456 11079880704 12495 33554432000 4194304 4196468 140736791985568 139656848288112 139657323801218 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33042432 140736791988837 140736791991477 140736791991477 140736791994319 0
[pid=25757/tid=25821] ppid=25754 vsize=10820196 memory=0 CPUtime=0.13 cores=0,2,4,6
/proc/25757/task/25821/stat : 25821 (java) S 25754 25757 20037 0 -1 1077944384 633 13285 0 0 5 0 5 3 20 0 15 0 474732456 11079880704 12495 33554432000 4194304 4196468 140736791985568 139656847235056 139657323801218 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33042432 140736791988837 140736791991477 140736791991477 140736791994319 0
[pid=25757/tid=25822] ppid=25754 vsize=10820196 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/25757/task/25822/stat : 25822 (java) S 25754 25757 20037 0 -1 1077944384 3 13285 0 0 0 0 5 3 20 0 15 0 474732456 11079880704 12495 33554432000 4194304 4196468 140736791985568 139655822264672 139657323800277 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33042432 140736791988837 140736791991477 140736791991477 140736791994319 0
[pid=25757/tid=25823] ppid=25754 vsize=10820196 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/25757/task/25823/stat : 25823 (java) S 25754 25757 20037 0 -1 1077944384 1 13285 0 0 0 0 5 3 20 0 15 0 474732456 11079880704 12495 33554432000 4194304 4196468 140736791985568 139656846183472 139657323801218 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33042432 140736791988837 140736791991477 140736791991477 140736791994319 0
Current children cumulated CPU time: 0.4 s
Current children cumulated vsize: 10820196 KiB
Current children cumulated memory: 49980 KiB
[startup+0.700705 s]
/proc/loadavg: 1.41 1.33 1.40 3/227 25823
/proc/meminfo: memFree=3549860/32770624 swapFree=66956620/67108860
[pid=25757] ppid=25754 vsize=10824364 memory=83172 CPUtime=1.15 cores=0,2,4,6
/proc/25757/stat : 25757 (java) S 25754 25757 20037 0 -1 1077944320 15007 13285 0 0 101 6 5 3 20 0 15 0 474732441 11084148736 20793 33554432000 4194304 4196468 140736791985568 140736791968112 139657323790071 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 33042432 140736791988837 140736791991477 140736791991477 140736791994319 0
/proc/25757/statm: 2706091 20793 3510 1 0 2668173 0
[pid=25757/tid=25810] ppid=25754 vsize=10824364 memory=54520 CPUtime=0.67 cores=0,2,4,6
/proc/25757/task/25810/stat : 25810 (java) R 25754 25757 20037 0 -1 4202560 10395 13285 0 0 55 4 5 3 20 0 15 0 474732450 11084148736 20793 33554432000 4194304 4196468 140736791985568 139657295619272 139657307870558 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 33042432 140736791988837 140736791991477 140736791991477 140736791994319 0
[pid=25757/tid=25811] ppid=25754 vsize=10824364 memory=4580 CPUtime=0.08 cores=0,2,4,6
/proc/25757/task/25811/stat : 25811 (java) S 25754 25757 20037 0 -1 1077944384 1 13285 0 0 0 0 5 3 20 0 15 0 474732451 11084148736 20793 33554432000 4194304 4196468 140736791985568 139657328032272 139657323800277 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33042432 140736791988837 140736791991477 140736791991477 140736791994319 0
[pid=25757/tid=25812] ppid=25754 vsize=10824364 memory=140433082851839 CPUtime=0.08 cores=0,2,4,6
/proc/25757/task/25812/stat : 25812 (java) S 25754 25757 20037 0 -1 1077944384 1 13285 0 0 0 0 5 3 20 0 15 0 474732451 11084148736 20793 33554432000 4194304 4196468 140736791985568 139657242851984 139657323800277 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33042432 140736791988837 140736791991477 140736791991477 140736791994319 0
[pid=25757/tid=25813] ppid=25754 vsize=10824364 memory=140436840645498 CPUtime=0.08 cores=0,2,4,6
/proc/25757/task/25813/stat : 25813 (java) S 25754 25757 20037 0 -1 1077944384 1 13285 0 0 0 0 5 3 20 0 15 0 474732451 11084148736 20793 33554432000 4194304 4196468 140736791985568 139657241798928 139657323800277 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33042432 140736791988837 140736791991477 140736791991477 140736791994319 0
[pid=25757/tid=25814] ppid=25754 vsize=10824364 memory=31752 CPUtime=0.08 cores=0,2,4,6
/proc/25757/task/25814/stat : 25814 (java) S 25754 25757 20037 0 -1 1077944384 2 13285 0 0 0 0 5 3 20 0 15 0 474732451 11084148736 20793 33554432000 4194304 4196468 140736791985568 139657240746384 139657323800277 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33042432 140736791988837 140736791991477 140736791991477 140736791994319 0
[pid=25757/tid=25815] ppid=25754 vsize=10824364 memory=7305218370954225241 CPUtime=0.08 cores=0,2,4,6
/proc/25757/task/25815/stat : 25815 (java) S 25754 25757 20037 0 -1 1077944384 5 13285 0 0 0 0 5 3 20 0 15 0 474732453 11084148736 20793 33554432000 4194304 4196468 140736791985568 139656850393840 139657323801218 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33042432 140736791988837 140736791991477 140736791991477 140736791994319 0
[pid=25757/tid=25816] ppid=25754 vsize=10824364 memory=7881696724453321575 CPUtime=0.08 cores=0,2,4,6
/proc/25757/task/25816/stat : 25816 (java) S 25754 25757 20037 0 -1 1077944384 13 13285 0 0 0 0 5 3 20 0 15 0 474732453 11084148736 20793 33554432000 4194304 4196468 140736791985568 139656230332064 139657323800277 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33042432 140736791988837 140736791991477 140736791991477 140736791994319 0
[pid=25757/tid=25817] ppid=25754 vsize=10824364 memory=5787213827113576551 CPUtime=0.08 cores=0,2,4,6
/proc/25757/task/25817/stat : 25817 (java) S 25754 25757 20037 0 -1 1077944384 1 13285 0 0 0 0 5 3 20 0 15 0 474732453 11084148736 20793 33554432000 4194304 4196468 140736791985568 139656096113904 139657323800277 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33042432 140736791988837 140736791991477 140736791991477 140736791994319 0
[pid=25757/tid=25818] ppid=25754 vsize=10824364 memory=-7028383565733675155 CPUtime=0.08 cores=0,2,4,6
/proc/25757/task/25818/stat : 25818 (java) S 25754 25757 20037 0 -1 1077944384 3 13285 0 0 0 0 5 3 20 0 15 0 474732456 11084148736 20793 33554432000 4194304 4196468 140736791985568 139655855823312 139657323808667 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33042432 140736791988837 140736791991477 140736791991477 140736791994319 0
[pid=25757/tid=25819] ppid=25754 vsize=10824364 memory=8326441112149131687 CPUtime=0.21 cores=0,2,4,6
/proc/25757/task/25819/stat : 25819 (java) R 25754 25757 20037 0 -1 4202560 928 13285 0 0 13 0 5 3 20 0 15 0 474732456 11084148736 20793 33554432000 4194304 4196468 140736791985568 139656849340656 139657308899647 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 33042432 140736791988837 140736791991477 140736791991477 140736791994319 0
[pid=25757/tid=25820] ppid=25754 vsize=10824364 memory=-8990767739041718176 CPUtime=0.22 cores=0,2,4,6
/proc/25757/task/25820/stat : 25820 (java) S 25754 25757 20037 0 -1 1077944384 635 13285 0 0 14 0 5 3 20 0 15 0 474732456 11084148736 20793 33554432000 4194304 4196468 140736791985568 139656848288112 139657323801218 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33042432 140736791988837 140736791991477 140736791991477 140736791994319 0
[pid=25757/tid=25821] ppid=25754 vsize=10824364 memory=-7384994778349281184 CPUtime=0.24 cores=0,2,4,6
/proc/25757/task/25821/stat : 25821 (java) S 25754 25757 20037 0 -1 1077944384 814 13285 0 0 16 0 5 3 20 0 15 0 474732456 11084148736 20793 33554432000 4194304 4196468 140736791985568 139656847235056 139657323801218 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33042432 140736791988837 140736791991477 140736791991477 140736791994319 0
[pid=25757/tid=25822] ppid=25754 vsize=10824364 memory=1399103955520229747 CPUtime=0.08 cores=0,2,4,6
/proc/25757/task/25822/stat : 25822 (java) S 25754 25757 20037 0 -1 1077944384 3 13285 0 0 0 0 5 3 20 0 15 0 474732456 11084148736 20793 33554432000 4194304 4196468 140736791985568 139655822264672 139657323800277 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33042432 140736791988837 140736791991477 140736791991477 140736791994319 0
[pid=25757/tid=25823] ppid=25754 vsize=10824364 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/25757/task/25823/stat : 25823 (java) S 25754 25757 20037 0 -1 1077944384 1 13285 0 0 0 0 5 3 20 0 15 0 474732456 11084148736 20793 33554432000 4194304 4196468 140736791985568 139656846183472 139657323801218 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33042432 140736791988837 140736791991477 140736791991477 140736791994319 0
Current children cumulated CPU time: 1.15 s
Current children cumulated vsize: 10824364 KiB
Current children cumulated memory: 83172 KiB
[startup+1.50066 s]
/proc/loadavg: 1.41 1.33 1.40 4/227 25823
/proc/meminfo: memFree=3503764/32770624 swapFree=66956620/67108860
[pid=25757] ppid=25754 vsize=10834680 memory=170732 CPUtime=2.53 cores=0,2,4,6
/proc/25757/stat : 25757 (java) S 25754 25757 20037 0 -1 1077944320 21775 13285 0 0 233 12 5 3 20 0 15 0 474732441 11094712320 42683 33554432000 4194304 4196468 140736791985568 140736791968112 139657323790071 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 33042432 140736791988837 140736791991477 140736791991477 140736791994319 0
/proc/25757/statm: 2708670 42683 3582 1 0 2670733 0
[pid=25757/tid=25810] ppid=25754 vsize=10834680 memory=0 CPUtime=1.43 cores=0,2,4,6
/proc/25757/task/25810/stat : 25810 (java) R 25754 25757 20037 0 -1 4202560 15220 13285 0 0 129 6 5 3 20 0 15 0 474732450 11094712320 42683 33554432000 4194304 4196468 140736791985568 139657295589584 139657323802006 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 33042432 140736791988837 140736791991477 140736791991477 140736791994319 0
[pid=25757/tid=25811] ppid=25754 vsize=10834680 memory=99084 CPUtime=0.08 cores=0,2,4,6
/proc/25757/task/25811/stat : 25811 (java) S 25754 25757 20037 0 -1 1077944384 37 13285 0 0 0 0 5 3 20 0 15 0 474732451 11094712320 42683 33554432000 4194304 4196468 140736791985568 139657328032272 139657323800277 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33042432 140736791988837 140736791991477 140736791991477 140736791994319 0
[pid=25757/tid=25812] ppid=25754 vsize=10834680 memory=5790086053191909267 CPUtime=0.09 cores=0,2,4,6
/proc/25757/task/25812/stat : 25812 (java) S 25754 25757 20037 0 -1 1077944384 20 13285 0 0 1 0 5 3 20 0 15 0 474732451 11094712320 42683 33554432000 4194304 4196468 140736791985568 139657242851984 139657323800277 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33042432 140736791988837 140736791991477 140736791991477 140736791994319 0
[pid=25757/tid=25813] ppid=25754 vsize=10834680 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/25757/task/25813/stat : 25813 (java) S 25754 25757 20037 0 -1 1077944384 276 13285 0 0 1 0 5 3 20 0 15 0 474732451 11094712320 42683 33554432000 4194304 4196468 140736791985568 139657241798928 139657323800277 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33042432 140736791988837 140736791991477 140736791991477 140736791994319 0
[pid=25757/tid=25814] ppid=25754 vsize=10834680 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/25757/task/25814/stat : 25814 (java) S 25754 25757 20037 0 -1 1077944384 67 13285 0 0 1 0 5 3 20 0 15 0 474732451 11094712320 42683 33554432000 4194304 4196468 140736791985568 139657240746384 139657323800277 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33042432 140736791988837 140736791991477 140736791991477 140736791994319 0
[pid=25757/tid=25815] ppid=25754 vsize=10834680 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/25757/task/25815/stat : 25815 (java) S 25754 25757 20037 0 -1 1077944384 160 13285 0 0 1 0 5 3 20 0 15 0 474732453 11094712320 42683 33554432000 4194304 4196468 140736791985568 139656850393840 139657323801218 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33042432 140736791988837 140736791991477 140736791991477 140736791994319 0
[pid=25757/tid=25816] ppid=25754 vsize=10834680 memory=-6221781267475802396 CPUtime=0.08 cores=0,2,4,6
/proc/25757/task/25816/stat : 25816 (java) S 25754 25757 20037 0 -1 1077944384 15 13285 0 0 0 0 5 3 20 0 15 0 474732453 11094712320 42683 33554432000 4194304 4196468 140736791985568 139656230332064 139657323800277 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33042432 140736791988837 140736791991477 140736791991477 140736791994319 0
[pid=25757/tid=25817] ppid=25754 vsize=10834680 memory=808 CPUtime=0.08 cores=0,2,4,6
/proc/25757/task/25817/stat : 25817 (java) S 25754 25757 20037 0 -1 1077944384 1 13285 0 0 0 0 5 3 20 0 15 0 474732453 11094712320 42683 33554432000 4194304 4196468 140736791985568 139656096113920 139657323800277 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33042432 140736791988837 140736791991477 140736791991477 140736791994319 0
[pid=25757/tid=25818] ppid=25754 vsize=10834680 memory=1764 CPUtime=0.08 cores=0,2,4,6
/proc/25757/task/25818/stat : 25818 (java) S 25754 25757 20037 0 -1 1077944384 3 13285 0 0 0 0 5 3 20 0 15 0 474732456 11094712320 42683 33554432000 4194304 4196468 140736791985568 139655855823312 139657323808667 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33042432 140736791988837 140736791991477 140736791991477 140736791994319 0
[pid=25757/tid=25819] ppid=25754 vsize=10834680 memory=0 CPUtime=0.36 cores=0,2,4,6
/proc/25757/task/25819/stat : 25819 (java) R 25754 25757 20037 0 -1 1077944384 1200 13285 0 0 28 0 5 3 20 0 15 0 474732456 11094712320 42683 33554432000 4194304 4196468 140736791985568 139656849340656 139657323801218 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 33042432 140736791988837 140736791991477 140736791991477 140736791994319 0
[pid=25757/tid=25820] ppid=25754 vsize=10834680 memory=251307663366902 CPUtime=0.35 cores=0,2,4,6
/proc/25757/task/25820/stat : 25820 (java) R 25754 25757 20037 0 -1 4202560 906 13285 0 0 27 0 5 3 20 0 15 0 474732456 11094712320 42683 33554432000 4194304 4196468 140736791985568 139656848288112 139657303141201 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 33042432 140736791988837 140736791991477 140736791991477 140736791994319 0
[pid=25757/tid=25821] ppid=25754 vsize=10834680 memory=4423489559692849184 CPUtime=0.48 cores=0,2,4,6
/proc/25757/task/25821/stat : 25821 (java) R 25754 25757 20037 0 -1 4202560 1659 13285 0 0 40 0 5 3 20 0 15 0 474732456 11094712320 42683 33554432000 4194304 4196468 140736791985568 139656847235056 139657302811237 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 33042432 140736791988837 140736791991477 140736791991477 140736791994319 0
[pid=25757/tid=25822] ppid=25754 vsize=10834680 memory=7660992747008971605 CPUtime=0.08 cores=0,2,4,6
/proc/25757/task/25822/stat : 25822 (java) S 25754 25757 20037 0 -1 1077944384 3 13285 0 0 0 0 5 3 20 0 15 0 474732456 11094712320 42683 33554432000 4194304 4196468 140736791985568 139655822264672 139657323800277 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33042432 140736791988837 140736791991477 140736791991477 140736791994319 0
[pid=25757/tid=25823] ppid=25754 vsize=10834680 memory=6935649255978986577 CPUtime=0.08 cores=0,2,4,6
/proc/25757/task/25823/stat : 25823 (java) S 25754 25757 20037 0 -1 1077944384 1 13285 0 0 0 0 5 3 20 0 15 0 474732456 11094712320 42683 33554432000 4194304 4196468 140736791985568 139656846183472 139657323801218 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33042432 140736791988837 140736791991477 140736791991477 140736791994319 0
Current children cumulated CPU time: 2.53 s
Current children cumulated vsize: 10834680 KiB
################
# More data... #
################
[startup+9.10264 s]
# the end of solver process 25757 was just reported to runsolver
# cumulated CPU time of all completed processes: user=18.3984 s, system=0.391271 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+6.40365 s]
/proc/loadavg: 1.70 1.39 1.42 3/228 25825
/proc/meminfo: memFree=3185336/32770624 swapFree=66956620/67108860
[pid=25757] ppid=25754 vsize=10849048 memory=528560 CPUtime=15.1 cores=0,2,4,6
/proc/25757/stat : 25757 (java) S 25754 25757 20037 0 -1 1077944320 61686 13285 0 0 1474 28 5 3 20 0 15 0 474732441 11109425152 132140 33554432000 4194304 4196468 140736791985568 140736791968112 139657323790071 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 33042432 140736791988837 140736791991477 140736791991477 140736791994319 0
/proc/25757/statm: 2712262 132140 3626 1 0 2674317 0
[pid=25757/tid=25810] ppid=25754 vsize=10849048 memory=4 CPUtime=6.15 cores=0,2,4,6
/proc/25757/task/25810/stat : 25810 (java) R 25754 25757 20037 0 -1 4202560 22678 13285 0 0 594 13 5 3 20 0 15 0 474732450 11109425152 132140 33554432000 4194304 4196468 140736791985568 139657295624104 139656933985807 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 33042432 140736791988837 140736791991477 140736791991477 140736791994319 0
[pid=25757/tid=25811] ppid=25754 vsize=10849048 memory=3472468728502154071 CPUtime=0.14 cores=0,2,4,6
/proc/25757/task/25811/stat : 25811 (java) S 25754 25757 20037 0 -1 1077944384 325 13285 0 0 5 1 5 3 20 0 15 0 474732451 11109425152 132140 33554432000 4194304 4196468 140736791985568 139657328032272 139657323800277 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33042432 140736791988837 140736791991477 140736791991477 140736791994319 0
[pid=25757/tid=25812] ppid=25754 vsize=10849048 memory=280866165866160 CPUtime=0.13 cores=0,2,4,6
/proc/25757/task/25812/stat : 25812 (java) S 25754 25757 20037 0 -1 1077944384 151 13285 0 0 5 0 5 3 20 0 15 0 474732451 11109425152 132140 33554432000 4194304 4196468 140736791985568 139657242851984 139657323800277 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33042432 140736791988837 140736791991477 140736791991477 140736791994319 0
[pid=25757/tid=25813] ppid=25754 vsize=10849048 memory=6944656592455360604 CPUtime=0.13 cores=0,2,4,6
/proc/25757/task/25813/stat : 25813 (java) S 25754 25757 20037 0 -1 1077944384 615 13285 0 0 4 1 5 3 20 0 15 0 474732451 11109425152 132140 33554432000 4194304 4196468 140736791985568 139657241798928 139657323800277 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33042432 140736791988837 140736791991477 140736791991477 140736791994319 0
[pid=25757/tid=25814] ppid=25754 vsize=10849048 memory=-6454338467431146081 CPUtime=0.13 cores=0,2,4,6
/proc/25757/task/25814/stat : 25814 (java) S 25754 25757 20037 0 -1 1077944384 120 13285 0 0 5 0 5 3 20 0 15 0 474732451 11109425152 132140 33554432000 4194304 4196468 140736791985568 139657240746384 139657323800277 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33042432 140736791988837 140736791991477 140736791991477 140736791994319 0
[pid=25757/tid=25815] ppid=25754 vsize=10849048 memory=0 CPUtime=0.12 cores=0,2,4,6
/proc/25757/task/25815/stat : 25815 (java) S 25754 25757 20037 0 -1 1077944384 7562 13285 0 0 4 0 5 3 20 0 15 0 474732453 11109425152 132140 33554432000 4194304 4196468 140736791985568 139656850393840 139657323801218 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 8 0 0 6293624 6294260 33042432 140736791988837 140736791991477 140736791991477 140736791994319 0
[pid=25757/tid=25816] ppid=25754 vsize=10849048 memory=-7957962119327172001 CPUtime=0.08 cores=0,2,4,6
/proc/25757/task/25816/stat : 25816 (java) S 25754 25757 20037 0 -1 1077944384 16 13285 0 0 0 0 5 3 20 0 15 0 474732453 11109425152 132140 33554432000 4194304 4196468 140736791985568 139656230332128 139657323800277 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33042432 140736791988837 140736791991477 140736791991477 140736791994319 0
[pid=25757/tid=25817] ppid=25754 vsize=10849048 memory=280866165856592 CPUtime=0.08 cores=0,2,4,6
/proc/25757/task/25817/stat : 25817 (java) S 25754 25757 20037 0 -1 1077944384 2 13285 0 0 0 0 5 3 20 0 15 0 474732453 11109425152 132140 33554432000 4194304 4196468 140736791985568 139656096113920 139657323800277 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33042432 140736791988837 140736791991477 140736791991477 140736791994319 0
[pid=25757/tid=25818] ppid=25754 vsize=10849048 memory=-7385176999771556032 CPUtime=0.08 cores=0,2,4,6
/proc/25757/task/25818/stat : 25818 (java) S 25754 25757 20037 0 -1 1077944384 3 13285 0 0 0 0 5 3 20 0 15 0 474732456 11109425152 132140 33554432000 4194304 4196468 140736791985568 139655855823312 139657323808667 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33042432 140736791988837 140736791991477 140736791991477 140736791994319 0
[pid=25757/tid=25819] ppid=25754 vsize=10849048 memory=56 CPUtime=3.22 cores=0,2,4,6
/proc/25757/task/25819/stat : 25819 (java) R 25754 25757 20037 0 -1 4202560 11182 13285 0 0 312 2 5 3 20 0 15 0 474732456 11109425152 132140 33554432000 4194304 4196468 140736791985568 139656849329216 139657307290277 0 4 0 16800975 0 0 0 -1 0 0 0 7 0 0 6293624 6294260 33042432 140736791988837 140736791991477 140736791991477 140736791994319 0
[pid=25757/tid=25820] ppid=25754 vsize=10849048 memory=288230587427455269 CPUtime=3.09 cores=0,2,4,6
/proc/25757/task/25820/stat : 25820 (java) S 25754 25757 20037 0 -1 1077944384 6574 13285 0 0 299 2 5 3 20 0 15 0 474732456 11109425152 132140 33554432000 4194304 4196468 140736791985568 139656848288112 139657323801218 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33042432 140736791988837 140736791991477 140736791991477 140736791994319 0
[pid=25757/tid=25821] ppid=25754 vsize=10849048 memory=-4546129931942301828 CPUtime=2.53 cores=0,2,4,6
/proc/25757/task/25821/stat : 25821 (java) S 25754 25757 20037 0 -1 1077944384 10238 13285 0 0 241 4 5 3 20 0 15 0 474732456 11109425152 132140 33554432000 4194304 4196468 140736791985568 139656847235056 139657323801218 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 9 0 0 6293624 6294260 33042432 140736791988837 140736791991477 140736791991477 140736791994319 0
[pid=25757/tid=25822] ppid=25754 vsize=10849048 memory=6944656592455360604 CPUtime=0.08 cores=0,2,4,6
/proc/25757/task/25822/stat : 25822 (java) S 25754 25757 20037 0 -1 1077944384 3 13285 0 0 0 0 5 3 20 0 15 0 474732456 11109425152 132140 33554432000 4194304 4196468 140736791985568 139655822264672 139657323800277 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33042432 140736791988837 140736791991477 140736791991477 140736791994319 0
[pid=25757/tid=25823] ppid=25754 vsize=10849048 memory=6944656592455360604 CPUtime=0.08 cores=0,2,4,6
/proc/25757/task/25823/stat : 25823 (java) S 25754 25757 20037 0 -1 1077944384 10 13285 0 0 0 0 5 3 20 0 15 0 474732456 11109425152 132140 33554432000 4194304 4196468 140736791985568 139656846183472 139657323801218 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 8 0 0 6293624 6294260 33042432 140736791988837 140736791991477 140736791991477 140736791994319 0
Current children cumulated CPU time: 15.1 s
Current children cumulated vsize: 10849048 KiB
Current children cumulated memory: 528560 KiB
[startup+8.00066 s]*
/proc/loadavg: 1.70 1.39 1.42 3/227 25825
/proc/meminfo: memFree=2930192/32770624 swapFree=66956620/67108860
[pid=25757] ppid=25754 vsize=10849048 memory=686296 CPUtime=17.51 cores=0,2,4,6
/proc/25757/stat : 25757 (java) S 25754 25757 20037 0 -1 1077944320 63765 13285 0 0 1710 33 5 3 20 0 15 0 474732441 11109425152 171574 33554432000 4194304 4196468 140736791985568 140736791968112 139657323790071 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 33042432 140736791988837 140736791991477 140736791991477 140736791994319 0
/proc/25757/statm: 2712262 171574 3626 1 0 2674317 0
[pid=25757/tid=25810] ppid=25754 vsize=10849048 memory=3472464330455450810 CPUtime=7.75 cores=0,2,4,6
/proc/25757/task/25810/stat : 25810 (java) R 25754 25757 20037 0 -1 4202560 22754 13285 0 0 751 16 5 3 20 0 15 0 474732450 11109425152 171574 33554432000 4194304 4196468 140736791985568 139657295621376 139657306311797 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 33042432 140736791988837 140736791991477 140736791991477 140736791994319 0
[pid=25757/tid=25811] ppid=25754 vsize=10849048 memory=29678448712876256 CPUtime=0.15 cores=0,2,4,6
/proc/25757/task/25811/stat : 25811 (java) S 25754 25757 20037 0 -1 1077944384 332 13285 0 0 6 1 5 3 20 0 15 0 474732451 11109425152 171574 33554432000 4194304 4196468 140736791985568 139657328032272 139657323800277 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33042432 140736791988837 140736791991477 140736791991477 140736791994319 0
[pid=25757/tid=25812] ppid=25754 vsize=10849048 memory=301741403541710625 CPUtime=0.14 cores=0,2,4,6
/proc/25757/task/25812/stat : 25812 (java) S 25754 25757 20037 0 -1 1077944384 158 13285 0 0 5 1 5 3 20 0 15 0 474732451 11109425152 171574 33554432000 4194304 4196468 140736791985568 139657242851984 139657323800277 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33042432 140736791988837 140736791991477 140736791991477 140736791994319 0
[pid=25757/tid=25813] ppid=25754 vsize=10849048 memory=2948506 CPUtime=0.14 cores=0,2,4,6
/proc/25757/task/25813/stat : 25813 (java) S 25754 25757 20037 0 -1 1077944384 623 13285 0 0 5 1 5 3 20 0 15 0 474732451 11109425152 171574 33554432000 4194304 4196468 140736791985568 139657241798928 139657323800277 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33042432 140736791988837 140736791991477 140736791991477 140736791994319 0
[pid=25757/tid=25814] ppid=25754 vsize=10849048 memory=6153985703205688936 CPUtime=0.13 cores=0,2,4,6
/proc/25757/task/25814/stat : 25814 (java) S 25754 25757 20037 0 -1 1077944384 126 13285 0 0 5 0 5 3 20 0 15 0 474732451 11109425152 171574 33554432000 4194304 4196468 140736791985568 139657240746384 139657323800277 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33042432 140736791988837 140736791991477 140736791991477 140736791994319 0
[pid=25757/tid=25815] ppid=25754 vsize=10849048 memory=7447089357297969489 CPUtime=0.12 cores=0,2,4,6
/proc/25757/task/25815/stat : 25815 (java) S 25754 25757 20037 0 -1 1077944384 7618 13285 0 0 4 0 5 3 20 0 15 0 474732453 11109425152 171574 33554432000 4194304 4196468 140736791985568 139656850393840 139657323801218 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 8 0 0 6293624 6294260 33042432 140736791988837 140736791991477 140736791991477 140736791994319 0
[pid=25757/tid=25816] ppid=25754 vsize=10849048 memory=5860704123725310038 CPUtime=0.08 cores=0,2,4,6
/proc/25757/task/25816/stat : 25816 (java) S 25754 25757 20037 0 -1 1077944384 16 13285 0 0 0 0 5 3 20 0 15 0 474732453 11109425152 171574 33554432000 4194304 4196468 140736791985568 139656230332128 139657323800277 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33042432 140736791988837 140736791991477 140736791991477 140736791994319 0
[pid=25757/tid=25817] ppid=25754 vsize=10849048 memory=7444825561389879400 CPUtime=0.08 cores=0,2,4,6
/proc/25757/task/25817/stat : 25817 (java) S 25754 25757 20037 0 -1 1077944384 2 13285 0 0 0 0 5 3 20 0 15 0 474732453 11109425152 171574 33554432000 4194304 4196468 140736791985568 139656096113920 139657323800277 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33042432 140736791988837 140736791991477 140736791991477 140736791994319 0
[pid=25757/tid=25818] ppid=25754 vsize=10849048 memory=7444825561389879400 CPUtime=0.08 cores=0,2,4,6
/proc/25757/task/25818/stat : 25818 (java) S 25754 25757 20037 0 -1 1077944384 3 13285 0 0 0 0 5 3 20 0 15 0 474732456 11109425152 171574 33554432000 4194304 4196468 140736791985568 139655855823312 139657323808667 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33042432 140736791988837 140736791991477 140736791991477 140736791994319 0
[pid=25757/tid=25819] ppid=25754 vsize=10849048 memory=5793975930949095780 CPUtime=3.35 cores=0,2,4,6
/proc/25757/task/25819/stat : 25819 (java) S 25754 25757 20037 0 -1 1077944384 11183 13285 0 0 324 3 5 3 20 0 15 0 474732456 11109425152 171574 33554432000 4194304 4196468 140736791985568 139656849340656 139657323801218 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 7 0 0 6293624 6294260 33042432 140736791988837 140736791991477 140736791991477 140736791994319 0
[pid=25757/tid=25820] ppid=25754 vsize=10849048 memory=7228392122273063505 CPUtime=3.21 cores=0,2,4,6
/proc/25757/task/25820/stat : 25820 (java) S 25754 25757 20037 0 -1 1077944384 6574 13285 0 0 311 2 5 3 20 0 15 0 474732456 11109425152 171574 33554432000 4194304 4196468 140736791985568 139656848288112 139657323801218 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33042432 140736791988837 140736791991477 140736791991477 140736791994319 0
[pid=25757/tid=25821] ppid=25754 vsize=10849048 memory=7228392122273063505 CPUtime=3.05 cores=0,2,4,6
/proc/25757/task/25821/stat : 25821 (java) S 25754 25757 20037 0 -1 1077944384 12156 13285 0 0 293 4 5 3 20 0 15 0 474732456 11109425152 171574 33554432000 4194304 4196468 140736791985568 139656847235056 139657323801218 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 9 0 0 6293624 6294260 33042432 140736791988837 140736791991477 140736791991477 140736791994319 0
[pid=25757/tid=25822] ppid=25754 vsize=10849048 memory=7444825561389879400 CPUtime=0.08 cores=0,2,4,6
/proc/25757/task/25822/stat : 25822 (java) S 25754 25757 20037 0 -1 1077944384 3 13285 0 0 0 0 5 3 20 0 15 0 474732456 11109425152 171574 33554432000 4194304 4196468 140736791985568 139655822264672 139657323800277 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33042432 140736791988837 140736791991477 140736791991477 140736791994319 0
[pid=25757/tid=25823] ppid=25754 vsize=10849048 memory=5860704123725310038 CPUtime=0.08 cores=0,2,4,6
/proc/25757/task/25823/stat : 25823 (java) S 25754 25757 20037 0 -1 1077944384 10 13285 0 0 0 0 5 3 20 0 15 0 474732456 11109425152 171574 33554432000 4194304 4196468 140736791985568 139656846183472 139657323801218 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 8 0 0 6293624 6294260 33042432 140736791988837 140736791991477 140736791991477 140736791994319 0
Current children cumulated CPU time: 17.51 s
Current children cumulated vsize: 10849048 KiB
Current children cumulated memory: 686296 KiB
[startup+8.80599 s]
/proc/loadavg: 1.70 1.39 1.42 3/227 25825
/proc/meminfo: memFree=2930192/32770624 swapFree=66956620/67108860
[pid=25757] ppid=25754 vsize=10849048 memory=692712 CPUtime=18.4 cores=0,2,4,6
/proc/25757/stat : 25757 (java) S 25754 25757 20037 0 -1 1077944320 63823 13285 0 0 1798 34 5 3 20 0 15 0 474732441 11109425152 173178 33554432000 4194304 4196468 140736791985568 140736791968112 139657323790071 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 33042432 140736791988837 140736791991477 140736791991477 140736791994319 0
/proc/25757/statm: 2712262 173178 3626 1 0 2674317 0
[pid=25757/tid=25810] ppid=25754 vsize=10849048 memory=0 CPUtime=8.53 cores=0,2,4,6
/proc/25757/task/25810/stat : 25810 (java) R 25754 25757 20037 0 -1 4202560 22781 13285 0 0 829 16 5 3 20 0 15 0 474732450 11109425152 173178 33554432000 4194304 4196468 140736791985568 139657295621544 139656933557270 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 33042432 140736791988837 140736791991477 140736791991477 140736791994319 0
[pid=25757/tid=25811] ppid=25754 vsize=10849048 memory=-9174445032661854369 CPUtime=0.15 cores=0,2,4,6
/proc/25757/task/25811/stat : 25811 (java) S 25754 25757 20037 0 -1 1077944384 336 13285 0 0 6 1 5 3 20 0 15 0 474732451 11109425152 173178 33554432000 4194304 4196468 140736791985568 139657328032272 139657323800277 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33042432 140736791988837 140736791991477 140736791991477 140736791994319 0
[pid=25757/tid=25812] ppid=25754 vsize=10849048 memory=6656426216303648864 CPUtime=0.14 cores=0,2,4,6
/proc/25757/task/25812/stat : 25812 (java) S 25754 25757 20037 0 -1 1077944384 161 13285 0 0 5 1 5 3 20 0 15 0 474732451 11109425152 173178 33554432000 4194304 4196468 140736791985568 139657242851984 139657323800277 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33042432 140736791988837 140736791991477 140736791991477 140736791994319 0
[pid=25757/tid=25813] ppid=25754 vsize=10849048 memory=-1161699032756214727 CPUtime=0.14 cores=0,2,4,6
/proc/25757/task/25813/stat : 25813 (java) S 25754 25757 20037 0 -1 1077944384 626 13285 0 0 5 1 5 3 20 0 15 0 474732451 11109425152 173178 33554432000 4194304 4196468 140736791985568 139657241798928 139657323800277 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33042432 140736791988837 140736791991477 140736791991477 140736791994319 0
[pid=25757/tid=25814] ppid=25754 vsize=10849048 memory=6944656575208382560 CPUtime=0.15 cores=0,2,4,6
/proc/25757/task/25814/stat : 25814 (java) S 25754 25757 20037 0 -1 1077944384 129 13285 0 0 6 1 5 3 20 0 15 0 474732451 11109425152 173178 33554432000 4194304 4196468 140736791985568 139657240746384 139657323800277 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33042432 140736791988837 140736791991477 140736791991477 140736791994319 0
[pid=25757/tid=25815] ppid=25754 vsize=10849048 memory=-1807685287717842834 CPUtime=0.13 cores=0,2,4,6
/proc/25757/task/25815/stat : 25815 (java) S 25754 25757 20037 0 -1 1077944384 7618 13285 0 0 5 0 5 3 20 0 15 0 474732453 11109425152 173178 33554432000 4194304 4196468 140736791985568 139656850393840 139657323801218 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 8 0 0 6293624 6294260 33042432 140736791988837 140736791991477 140736791991477 140736791994319 0
[pid=25757/tid=25816] ppid=25754 vsize=10849048 memory=8594183781933688425 CPUtime=0.08 cores=0,2,4,6
/proc/25757/task/25816/stat : 25816 (java) S 25754 25757 20037 0 -1 1077944384 16 13285 0 0 0 0 5 3 20 0 15 0 474732453 11109425152 173178 33554432000 4194304 4196468 140736791985568 139656230332128 139657323800277 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33042432 140736791988837 140736791991477 140736791991477 140736791994319 0
[pid=25757/tid=25817] ppid=25754 vsize=10849048 memory=-2247047206137978567 CPUtime=0.08 cores=0,2,4,6
/proc/25757/task/25817/stat : 25817 (java) S 25754 25757 20037 0 -1 1077944384 2 13285 0 0 0 0 5 3 20 0 15 0 474732453 11109425152 173178 33554432000 4194304 4196468 140736791985568 139656096113920 139657323800277 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33042432 140736791988837 140736791991477 140736791991477 140736791994319 0
[pid=25757/tid=25818] ppid=25754 vsize=10849048 memory=-1598831813028945398 CPUtime=0.08 cores=0,2,4,6
/proc/25757/task/25818/stat : 25818 (java) S 25754 25757 20037 0 -1 1077944384 3 13285 0 0 0 0 5 3 20 0 15 0 474732456 11109425152 173178 33554432000 4194304 4196468 140736791985568 139655855823312 139657323808667 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33042432 140736791988837 140736791991477 140736791991477 140736791994319 0
[pid=25757/tid=25819] ppid=25754 vsize=10849048 memory=7518026630507423801 CPUtime=3.38 cores=0,2,4,6
/proc/25757/task/25819/stat : 25819 (java) S 25754 25757 20037 0 -1 1077944384 11183 13285 0 0 327 3 5 3 20 0 15 0 474732456 11109425152 173178 33554432000 4194304 4196468 140736791985568 139656849340656 139657323801218 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 7 0 0 6293624 6294260 33042432 140736791988837 140736791991477 140736791991477 140736791994319 0
[pid=25757/tid=25820] ppid=25754 vsize=10849048 memory=7590119258497396065 CPUtime=3.23 cores=0,2,4,6
/proc/25757/task/25820/stat : 25820 (java) S 25754 25757 20037 0 -1 1077944384 6574 13285 0 0 313 2 5 3 20 0 15 0 474732456 11109425152 173178 33554432000 4194304 4196468 140736791985568 139656848288112 139657323801218 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33042432 140736791988837 140736791991477 140736791991477 140736791994319 0
[pid=25757/tid=25821] ppid=25754 vsize=10849048 memory=0 CPUtime=3.09 cores=0,2,4,6
/proc/25757/task/25821/stat : 25821 (java) S 25754 25757 20037 0 -1 1077944384 12174 13285 0 0 297 4 5 3 20 0 15 0 474732456 11109425152 173178 33554432000 4194304 4196468 140736791985568 139656847235056 139657323801218 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 9 0 0 6293624 6294260 33042432 140736791988837 140736791991477 140736791991477 140736791994319 0
[pid=25757/tid=25822] ppid=25754 vsize=10849048 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/25757/task/25822/stat : 25822 (java) S 25754 25757 20037 0 -1 1077944384 3 13285 0 0 0 0 5 3 20 0 15 0 474732456 11109425152 173178 33554432000 4194304 4196468 140736791985568 139655822264672 139657323800277 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33042432 140736791988837 140736791991477 140736791991477 140736791994319 0
[pid=25757/tid=25823] ppid=25754 vsize=10849048 memory=307 CPUtime=0.08 cores=0,2,4,6
/proc/25757/task/25823/stat : 25823 (java) S 25754 25757 20037 0 -1 1077944384 10 13285 0 0 0 0 5 3 20 0 15 0 474732456 11109425152 173178 33554432000 4194304 4196468 140736791985568 139656846183472 139657323801218 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 8 0 0 6293624 6294260 33042432 140736791988837 140736791991477 140736791991477 140736791994319 0
Current children cumulated CPU time: 18.4 s
Current children cumulated vsize: 10849048 KiB
Current children cumulated memory: 692712 KiB
[startup+9.00103 s]*
/proc/loadavg: 1.70 1.39 1.42 3/227 25825
/proc/meminfo: memFree=2923816/32770624 swapFree=66956620/67108860
[pid=25757] ppid=25754 vsize=10849048 memory=692712 CPUtime=18.64 cores=0,2,4,6
/proc/25757/stat : 25757 (java) S 25754 25757 20037 0 -1 1077944320 63879 13285 0 0 1822 34 5 3 20 0 15 0 474732441 11109425152 173178 33554432000 4194304 4196468 140736791985568 140736791968112 139657323790071 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 33042432 140736791988837 140736791991477 140736791991477 140736791994319 0
/proc/25757/statm: 2712262 173178 3626 1 0 2674317 0
[pid=25757/tid=25810] ppid=25754 vsize=10849048 memory=-8540663193526752614 CPUtime=8.73 cores=0,2,4,6
/proc/25757/task/25810/stat : 25810 (java) R 25754 25757 20037 0 -1 4202560 22837 13285 0 0 849 16 5 3 20 0 15 0 474732450 11109425152 173178 33554432000 4194304 4196468 140736791985568 139657295624584 139657301897368 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 33042432 140736791988837 140736791991477 140736791991477 140736791994319 0
[pid=25757/tid=25811] ppid=25754 vsize=10849048 memory=4211974159426211210 CPUtime=0.15 cores=0,2,4,6
/proc/25757/task/25811/stat : 25811 (java) S 25754 25757 20037 0 -1 1077944384 336 13285 0 0 6 1 5 3 20 0 15 0 474732451 11109425152 173178 33554432000 4194304 4196468 140736791985568 139657328032272 139657323800277 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33042432 140736791988837 140736791991477 140736791991477 140736791994319 0
[pid=25757/tid=25812] ppid=25754 vsize=10849048 memory=140433221420672 CPUtime=0.14 cores=0,2,4,6
/proc/25757/task/25812/stat : 25812 (java) S 25754 25757 20037 0 -1 1077944384 161 13285 0 0 5 1 5 3 20 0 15 0 474732451 11109425152 173178 33554432000 4194304 4196468 140736791985568 139657242851984 139657323800277 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33042432 140736791988837 140736791991477 140736791991477 140736791994319 0
[pid=25757/tid=25813] ppid=25754 vsize=10849048 memory=0 CPUtime=0.14 cores=0,2,4,6
/proc/25757/task/25813/stat : 25813 (java) S 25754 25757 20037 0 -1 1077944384 626 13285 0 0 5 1 5 3 20 0 15 0 474732451 11109425152 173178 33554432000 4194304 4196468 140736791985568 139657241798928 139657323800277 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33042432 140736791988837 140736791991477 140736791991477 140736791994319 0
[pid=25757/tid=25814] ppid=25754 vsize=10849048 memory=-1 CPUtime=0.15 cores=0,2,4,6
/proc/25757/task/25814/stat : 25814 (java) S 25754 25757 20037 0 -1 1077944384 129 13285 0 0 6 1 5 3 20 0 15 0 474732451 11109425152 173178 33554432000 4194304 4196468 140736791985568 139657240746384 139657323800277 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33042432 140736791988837 140736791991477 140736791991477 140736791994319 0
[pid=25757/tid=25815] ppid=25754 vsize=10849048 memory=140433221420672 CPUtime=0.13 cores=0,2,4,6
/proc/25757/task/25815/stat : 25815 (java) S 25754 25757 20037 0 -1 1077944384 7618 13285 0 0 5 0 5 3 20 0 15 0 474732453 11109425152 173178 33554432000 4194304 4196468 140736791985568 139656850393840 139657323801218 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 8 0 0 6293624 6294260 33042432 140736791988837 140736791991477 140736791991477 140736791994319 0
[pid=25757/tid=25816] ppid=25754 vsize=10849048 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/25757/task/25816/stat : 25816 (java) S 25754 25757 20037 0 -1 1077944384 16 13285 0 0 0 0 5 3 20 0 15 0 474732453 11109425152 173178 33554432000 4194304 4196468 140736791985568 139656230332128 139657323800277 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33042432 140736791988837 140736791991477 140736791991477 140736791994319 0
[pid=25757/tid=25817] ppid=25754 vsize=10849048 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/25757/task/25817/stat : 25817 (java) S 25754 25757 20037 0 -1 1077944384 2 13285 0 0 0 0 5 3 20 0 15 0 474732453 11109425152 173178 33554432000 4194304 4196468 140736791985568 139656096113920 139657323800277 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33042432 140736791988837 140736791991477 140736791991477 140736791994319 0
[pid=25757/tid=25818] ppid=25754 vsize=10849048 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/25757/task/25818/stat : 25818 (java) S 25754 25757 20037 0 -1 1077944384 3 13285 0 0 0 0 5 3 20 0 15 0 474732456 11109425152 173178 33554432000 4194304 4196468 140736791985568 139655855823312 139657323808667 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33042432 140736791988837 140736791991477 140736791991477 140736791994319 0
[pid=25757/tid=25819] ppid=25754 vsize=10849048 memory=0 CPUtime=3.39 cores=0,2,4,6
/proc/25757/task/25819/stat : 25819 (java) S 25754 25757 20037 0 -1 1077944384 11183 13285 0 0 328 3 5 3 20 0 15 0 474732456 11109425152 173178 33554432000 4194304 4196468 140736791985568 139656849340656 139657323801218 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 7 0 0 6293624 6294260 33042432 140736791988837 140736791991477 140736791991477 140736791994319 0
[pid=25757/tid=25820] ppid=25754 vsize=10849048 memory=-1 CPUtime=3.24 cores=0,2,4,6
/proc/25757/task/25820/stat : 25820 (java) S 25754 25757 20037 0 -1 1077944384 6574 13285 0 0 314 2 5 3 20 0 15 0 474732456 11109425152 173178 33554432000 4194304 4196468 140736791985568 139656848288112 139657323801218 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33042432 140736791988837 140736791991477 140736791991477 140736791994319 0
[pid=25757/tid=25821] ppid=25754 vsize=10849048 memory=140433221420672 CPUtime=3.1 cores=0,2,4,6
/proc/25757/task/25821/stat : 25821 (java) S 25754 25757 20037 0 -1 1077944384 12174 13285 0 0 297 5 5 3 20 0 15 0 474732456 11109425152 173178 33554432000 4194304 4196468 140736791985568 139656847235056 139657323801218 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 9 0 0 6293624 6294260 33042432 140736791988837 140736791991477 140736791991477 140736791994319 0
[pid=25757/tid=25822] ppid=25754 vsize=10849048 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/25757/task/25822/stat : 25822 (java) S 25754 25757 20037 0 -1 1077944384 3 13285 0 0 0 0 5 3 20 0 15 0 474732456 11109425152 173178 33554432000 4194304 4196468 140736791985568 139655822264672 139657323800277 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33042432 140736791988837 140736791991477 140736791991477 140736791994319 0
[pid=25757/tid=25823] ppid=25754 vsize=10849048 memory=140433221420672 CPUtime=0.08 cores=0,2,4,6
/proc/25757/task/25823/stat : 25823 (java) S 25754 25757 20037 0 -1 1077944384 10 13285 0 0 0 0 5 3 20 0 15 0 474732456 11109425152 173178 33554432000 4194304 4196468 140736791985568 139656846183472 139657323801218 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 8 0 0 6293624 6294260 33042432 140736791988837 140736791991477 140736791991477 140736791994319 0
Current children cumulated CPU time: 18.64 s
Current children cumulated vsize: 10849048 KiB
Current children cumulated memory: 692712 KiB
Child status: 0
Real time (s): 9.10269
CPU time (s): 18.7897
CPU user time (s): 18.3984
CPU system time (s): 0.391271
CPU usage (%): 206.419
Max. virtual memory (cumulated for all children) (KiB): 10853220
Max. memory (cumulated for all children) (KiB): 692712
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 18.3984
system time used= 0.391271
maximum resident set size= 694960
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 77276
page faults= 0
swaps= 0
block input operations= 0
block output operations= 184
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 10750
involuntary context switches= 74
# summary of solver processes directly reported to runsolver:
# pid: 25757
# total CPU time (s): 18.7897
# total CPU user time (s): 18.3984
# total CPU system time (s): 0.391271
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.073733 second user time and 0.134649 second system time
The end