runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.1 (svn: 989)
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-3711284-1338165559/watcher-3711284-1338165559 -o /tmp/evaluation-result-3711284-1338165559/solver-3711284-1338165559 -C 1800 -W 1900 -M 15500 java -jar HOME/sat4j-sat.jar -opt -s Resolution -S ORDERS=VarOrderHeap -hot -y HOME/instance-3711284-1338165559.opb
running on 4 cores: 0,2,4,6
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: 1.99 2.01 2.00 3/194 750
/proc/meminfo: memFree=31166176/32873844 swapFree=7624/7624
[pid=750] ppid=748 vsize=2500 CPUtime=0 cores=0,2,4,6
/proc/750/stat : 750 (java) D 748 750 31312 0 -1 4202496 298 0 0 0 0 0 0 0 20 0 1 0 282681549 2560000 47 33554432000 1073741824 1073778376 140735717588272 140735717585400 214360485159 0 0 4096 0 18446744072100588836 0 0 17 2 0 0 0 0 0
/proc/750/statm: 625 47 37 9 0 29 0
[startup+0.013262 s]
/proc/loadavg: 1.99 2.01 2.00 3/194 750
/proc/meminfo: memFree=31166176/32873844 swapFree=7624/7624
[pid=750] ppid=748 vsize=8881648 CPUtime=0 cores=0,2,4,6
/proc/750/stat : 750 (java) S 748 750 31312 0 -1 4202496 2013 0 1 0 0 0 0 0 20 0 8 0 282681549 9094807552 1694 33554432000 1073741824 1073778376 140735717588272 140735717579408 214373007421 0 0 0 16784584 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/750/statm: 2220412 1695 951 9 0 2211521 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8881648
[startup+0.100316 s]
/proc/loadavg: 1.99 2.01 2.00 3/194 750
/proc/meminfo: memFree=31166176/32873844 swapFree=7624/7624
[pid=750] ppid=748 vsize=9558440 CPUtime=0.1 cores=0,2,4,6
/proc/750/stat : 750 (java) S 748 750 31312 0 -1 4202496 4321 0 1 0 9 1 0 0 20 0 18 0 282681549 9787842560 5529 33554432000 1073741824 1073778376 140735717588272 140735717579408 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/750/statm: 2389610 5529 2116 9 0 2380296 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 9558440
[startup+0.300312 s]
/proc/loadavg: 1.99 2.01 2.00 3/194 750
/proc/meminfo: memFree=31166176/32873844 swapFree=7624/7624
[pid=750] ppid=748 vsize=9625004 CPUtime=0.54 cores=0,2,4,6
/proc/750/stat : 750 (java) S 748 750 31312 0 -1 4202496 7046 0 1 0 52 2 0 0 20 0 19 0 282681549 9856004096 7830 33554432000 1073741824 1073778376 140735717588272 140735717579408 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/750/statm: 2406251 7830 2223 9 0 2396937 0
Current children cumulated CPU time (s) 0.54
Current children cumulated vsize (KiB) 9625004
[startup+0.70033 s]
/proc/loadavg: 1.99 2.01 2.00 3/194 750
/proc/meminfo: memFree=31166176/32873844 swapFree=7624/7624
[pid=750] ppid=748 vsize=9625004 CPUtime=1.07 cores=0,2,4,6
/proc/750/stat : 750 (java) S 748 750 31312 0 -1 4202496 8283 0 1 0 105 2 0 0 20 0 19 0 282681549 9856004096 10014 33554432000 1073741824 1073778376 140735717588272 140735717579408 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/750/statm: 2406251 10014 2262 9 0 2396937 0
Current children cumulated CPU time (s) 1.07
Current children cumulated vsize (KiB) 9625004
[startup+1.50065 s]
/proc/loadavg: 1.99 2.01 2.00 3/213 769
/proc/meminfo: memFree=31129936/32873844 swapFree=7624/7624
[pid=750] ppid=748 vsize=9625004 CPUtime=1.96 cores=0,2,4,6
/proc/750/stat : 750 (java) S 748 750 31312 0 -1 4202496 8317 0 1 0 193 3 0 0 20 0 19 0 282681549 9856004096 11063 33554432000 1073741824 1073778376 140735717588272 140735717579408 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/750/statm: 2406251 11063 2274 9 0 2396937 0
[pid=750/tid=752] ppid=748 vsize=9625004 CPUtime=1.43 cores=0,2,4,6
/proc/750/task/752/stat : 752 (java) R 748 750 31312 0 -1 4202560 2569 0 1 0 141 2 0 0 20 0 19 0 282681549 9856004096 11063 33554432000 1073741824 1073778376 140735717588272 140390194147752 140390134288941 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=750/tid=753] ppid=748 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/750/task/753/stat : 753 (java) S 748 750 31312 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 282681550 9856004096 11063 33554432000 1073741824 1073778376 140735717588272 140390038190376 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=750/tid=754] ppid=748 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/750/task/754/stat : 754 (java) S 748 750 31312 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 282681550 9856004096 11063 33554432000 1073741824 1073778376 140735717588272 140390037137576 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=750/tid=755] ppid=748 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/750/task/755/stat : 755 (java) S 748 750 31312 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 282681550 9856004096 11063 33554432000 1073741824 1073778376 140735717588272 140390036085288 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=750/tid=756] ppid=748 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/750/task/756/stat : 756 (java) S 748 750 31312 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 282681550 9856004096 11063 33554432000 1073741824 1073778376 140735717588272 140390035032488 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=750/tid=757] ppid=748 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/750/task/757/stat : 757 (java) S 748 750 31312 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 282681550 9856004096 11063 33554432000 1073741824 1073778376 140735717588272 140390033980200 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=750/tid=758] ppid=748 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/750/task/758/stat : 758 (java) S 748 750 31312 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 282681550 9856004096 11063 33554432000 1073741824 1073778376 140735717588272 140390032927400 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=750/tid=759] ppid=748 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/750/task/759/stat : 759 (java) S 748 750 31312 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 282681550 9856004096 11063 33554432000 1073741824 1073778376 140735717588272 140390031875112 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=750/tid=760] ppid=748 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/750/task/760/stat : 760 (java) S 748 750 31312 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 282681550 9856004096 11063 33554432000 1073741824 1073778376 140735717588272 140390030822312 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=750/tid=761] ppid=748 vsize=9625004 CPUtime=0.02 cores=0,2,4,6
/proc/750/task/761/stat : 761 (java) S 748 750 31312 0 -1 4202560 31 0 0 0 2 0 0 0 20 0 19 0 282681551 9856004096 11063 33554432000 1073741824 1073778376 140735717588272 140390018410728 214373021609 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=750/tid=762] ppid=748 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/750/task/762/stat : 762 (java) S 748 750 31312 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 282681552 9856004096 11063 33554432000 1073741824 1073778376 140735717588272 140390017356792 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=750/tid=763] ppid=748 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/750/task/763/stat : 763 (java) S 748 750 31312 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 282681552 9856004096 11063 33554432000 1073741824 1073778376 140735717588272 140390016304392 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=750/tid=764] ppid=748 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/750/task/764/stat : 764 (java) S 748 750 31312 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 282681554 9856004096 11063 33554432000 1073741824 1073778376 140735717588272 140390015252880 214373029664 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=750/tid=765] ppid=748 vsize=9625004 CPUtime=0.17 cores=0,2,4,6
/proc/750/task/765/stat : 765 (java) S 748 750 31312 0 -1 4202560 1233 0 0 0 17 0 0 0 20 0 19 0 282681554 9856004096 11063 33554432000 1073741824 1073778376 140735717588272 140390014200504 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=750/tid=766] ppid=748 vsize=9625004 CPUtime=0.24 cores=0,2,4,6
/proc/750/task/766/stat : 766 (java) S 748 750 31312 0 -1 4202560 3265 0 0 0 24 0 0 0 20 0 19 0 282681554 9856004096 11063 33554432000 1073741824 1073778376 140735717588272 140390013147704 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=750/tid=767] ppid=748 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/750/task/767/stat : 767 (java) S 748 750 31312 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 282681554 9856004096 11063 33554432000 1073741824 1073778376 140735717588272 140390012095608 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=750/tid=768] ppid=748 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/750/task/768/stat : 768 (java) S 748 750 31312 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 282681554 9856004096 11063 33554432000 1073741824 1073778376 140735717588272 140390011043016 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=750/tid=769] ppid=748 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/750/task/769/stat : 769 (java) S 748 750 31312 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 282681566 9856004096 11063 33554432000 1073741824 1073778376 140735717588272 140390009988008 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1.96
Current children cumulated vsize (KiB) 9625004
[startup+3.1007 s]
/proc/loadavg: 1.99 2.01 2.00 3/213 769
/proc/meminfo: memFree=31129696/32873844 swapFree=7624/7624
[pid=750] ppid=748 vsize=9625004 CPUtime=4.2 cores=0,2,4,6
/proc/750/stat : 750 (java) S 748 750 31312 0 -1 4202496 17475 0 1 0 415 5 0 0 20 0 19 0 282681549 9856004096 15988 33554432000 1073741824 1073778376 140735717588272 140735717579408 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/750/statm: 2406251 15988 2275 9 0 2396937 0
[pid=750/tid=752] ppid=748 vsize=9625004 CPUtime=2.98 cores=0,2,4,6
/proc/750/task/752/stat : 752 (java) R 748 750 31312 0 -1 4202560 2572 0 1 0 296 2 0 0 20 0 19 0 282681549 9856004096 15988 33554432000 1073741824 1073778376 140735717588272 140390194147752 140390134506072 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=750/tid=753] ppid=748 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/750/task/753/stat : 753 (java) S 748 750 31312 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 282681550 9856004096 15988 33554432000 1073741824 1073778376 140735717588272 140390038190376 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=750/tid=754] ppid=748 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/750/task/754/stat : 754 (java) S 748 750 31312 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 282681550 9856004096 15988 33554432000 1073741824 1073778376 140735717588272 140390037137576 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=750/tid=755] ppid=748 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/750/task/755/stat : 755 (java) S 748 750 31312 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 282681550 9856004096 15988 33554432000 1073741824 1073778376 140735717588272 140390036085288 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=750/tid=756] ppid=748 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/750/task/756/stat : 756 (java) S 748 750 31312 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 282681550 9856004096 15988 33554432000 1073741824 1073778376 140735717588272 140390035032488 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=750/tid=757] ppid=748 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/750/task/757/stat : 757 (java) S 748 750 31312 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 282681550 9856004096 15988 33554432000 1073741824 1073778376 140735717588272 140390033980200 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=750/tid=758] ppid=748 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/750/task/758/stat : 758 (java) S 748 750 31312 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 282681550 9856004096 15988 33554432000 1073741824 1073778376 140735717588272 140390032927400 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=750/tid=759] ppid=748 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/750/task/759/stat : 759 (java) S 748 750 31312 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 282681550 9856004096 15988 33554432000 1073741824 1073778376 140735717588272 140390031875112 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=750/tid=760] ppid=748 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/750/task/760/stat : 760 (java) S 748 750 31312 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 282681550 9856004096 15988 33554432000 1073741824 1073778376 140735717588272 140390030822312 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=750/tid=761] ppid=748 vsize=9625004 CPUtime=0.06 cores=0,2,4,6
/proc/750/task/761/stat : 761 (java) S 748 750 31312 0 -1 4202560 31 0 0 0 6 0 0 0 20 0 19 0 282681551 9856004096 15988 33554432000 1073741824 1073778376 140735717588272 140390018410728 214373021609 0 0 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=750/tid=762] ppid=748 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/750/task/762/stat : 762 (java) S 748 750 31312 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 282681552 9856004096 15988 33554432000 1073741824 1073778376 140735717588272 140390017356792 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=750/tid=763] ppid=748 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/750/task/763/stat : 763 (java) S 748 750 31312 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 282681552 9856004096 15988 33554432000 1073741824 1073778376 140735717588272 140390016304392 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=750/tid=764] ppid=748 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/750/task/764/stat : 764 (java) S 748 750 31312 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 282681554 9856004096 15988 33554432000 1073741824 1073778376 140735717588272 140390015252880 214373029664 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=750/tid=765] ppid=748 vsize=9625004 CPUtime=0.78 cores=0,2,4,6
/proc/750/task/765/stat : 765 (java) R 748 750 31312 0 -1 4202560 10379 0 0 0 76 2 0 0 20 0 19 0 282681554 9856004096 15988 33554432000 1073741824 1073778376 140735717588272 140390014187784 140390200960595 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=750/tid=766] ppid=748 vsize=9625004 CPUtime=0.27 cores=0,2,4,6
/proc/750/task/766/stat : 766 (java) S 748 750 31312 0 -1 4202560 3265 0 0 0 27 0 0 0 20 0 19 0 282681554 9856004096 15988 33554432000 1073741824 1073778376 140735717588272 140390013147704 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=750/tid=767] ppid=748 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/750/task/767/stat : 767 (java) S 748 750 31312 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 282681554 9856004096 15988 33554432000 1073741824 1073778376 140735717588272 140390012095608 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=750/tid=768] ppid=748 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/750/task/768/stat : 768 (java) S 748 750 31312 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 282681554 9856004096 15988 33554432000 1073741824 1073778376 140735717588272 140390011043016 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=750/tid=769] ppid=748 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/750/task/769/stat : 769 (java) S 748 750 31312 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 282681566 9856004096 15988 33554432000 1073741824 1073778376 140735717588272 140390009988008 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 4.2
Current children cumulated vsize (KiB) 9625004
[startup+6.30066 s]
/proc/loadavg: 1.99 2.00 2.00 3/213 769
/proc/meminfo: memFree=31112764/32873844 swapFree=7624/7624
[pid=750] ppid=748 vsize=9625004 CPUtime=7.44 cores=0,2,4,6
/proc/750/stat : 750 (java) S 748 750 31312 0 -1 4202496 17521 0 1 0 739 5 0 0 20 0 19 0 282681549 9856004096 14740 33554432000 1073741824 1073778376 140735717588272 140735717579408 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/750/statm: 2406251 14740 2275 9 0 2396937 0
[pid=750/tid=752] ppid=748 vsize=9625004 CPUtime=6.1 cores=0,2,4,6
/proc/750/task/752/stat : 752 (java) R 748 750 31312 0 -1 4202560 2578 0 1 0 608 2 0 0 20 0 19 0 282681549 9856004096 14740 33554432000 1073741824 1073778376 140735717588272 140390194147608 140390134267559 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=750/tid=753] ppid=748 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/750/task/753/stat : 753 (java) S 748 750 31312 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 282681550 9856004096 14740 33554432000 1073741824 1073778376 140735717588272 140390038190376 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=750/tid=754] ppid=748 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/750/task/754/stat : 754 (java) S 748 750 31312 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 282681550 9856004096 14740 33554432000 1073741824 1073778376 140735717588272 140390037137576 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=750/tid=755] ppid=748 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/750/task/755/stat : 755 (java) S 748 750 31312 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 282681550 9856004096 14740 33554432000 1073741824 1073778376 140735717588272 140390036085288 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=750/tid=756] ppid=748 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/750/task/756/stat : 756 (java) S 748 750 31312 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 282681550 9856004096 14740 33554432000 1073741824 1073778376 140735717588272 140390035032488 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=750/tid=757] ppid=748 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/750/task/757/stat : 757 (java) S 748 750 31312 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 282681550 9856004096 14740 33554432000 1073741824 1073778376 140735717588272 140390033980200 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=750/tid=758] ppid=748 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/750/task/758/stat : 758 (java) S 748 750 31312 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 282681550 9856004096 14740 33554432000 1073741824 1073778376 140735717588272 140390032927400 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=750/tid=759] ppid=748 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/750/task/759/stat : 759 (java) S 748 750 31312 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 282681550 9856004096 14740 33554432000 1073741824 1073778376 140735717588272 140390031875112 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=750/tid=760] ppid=748 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/750/task/760/stat : 760 (java) S 748 750 31312 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 282681550 9856004096 14740 33554432000 1073741824 1073778376 140735717588272 140390030822312 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=750/tid=761] ppid=748 vsize=9625004 CPUtime=0.12 cores=0,2,4,6
/proc/750/task/761/stat : 761 (java) S 748 750 31312 0 -1 4202560 32 0 0 0 12 0 0 0 20 0 19 0 282681551 9856004096 14740 33554432000 1073741824 1073778376 140735717588272 140390018410728 214373021609 0 0 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=750/tid=762] ppid=748 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/750/task/762/stat : 762 (java) S 748 750 31312 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 282681552 9856004096 14740 33554432000 1073741824 1073778376 140735717588272 140390017356792 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=750/tid=763] ppid=748 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/750/task/763/stat : 763 (java) S 748 750 31312 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 282681552 9856004096 14740 33554432000 1073741824 1073778376 140735717588272 140390016304392 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=750/tid=764] ppid=748 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/750/task/764/stat : 764 (java) S 748 750 31312 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 282681554 9856004096 14740 33554432000 1073741824 1073778376 140735717588272 140390015252880 214373029664 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=750/tid=765] ppid=748 vsize=9625004 CPUtime=0.79 cores=0,2,4,6
/proc/750/task/765/stat : 765 (java) S 748 750 31312 0 -1 4202560 10409 0 0 0 77 2 0 0 20 0 19 0 282681554 9856004096 14740 33554432000 1073741824 1073778376 140735717588272 140390014200504 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=750/tid=766] ppid=748 vsize=9625004 CPUtime=0.27 cores=0,2,4,6
/proc/750/task/766/stat : 766 (java) S 748 750 31312 0 -1 4202560 3265 0 0 0 27 0 0 0 20 0 19 0 282681554 9856004096 14740 33554432000 1073741824 1073778376 140735717588272 140390013147704 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=750/tid=767] ppid=748 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/750/task/767/stat : 767 (java) S 748 750 31312 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 282681554 9856004096 14740 33554432000 1073741824 1073778376 140735717588272 140390012095608 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=750/tid=768] ppid=748 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/750/task/768/stat : 768 (java) S 748 750 31312 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 282681554 9856004096 14740 33554432000 1073741824 1073778376 140735717588272 140390011043016 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=750/tid=769] ppid=748 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/750/task/769/stat : 769 (java) S 748 750 31312 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 282681566 9856004096 14740 33554432000 1073741824 1073778376 140735717588272 140390009988008 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 7.44
Current children cumulated vsize (KiB) 9625004
[startup+12.7007 s]
################
# More data... #
################
/proc/750/task/760/stat : 760 (java) S 748 750 31312 0 -1 4202560 22 0 0 0 5 0 0 0 20 0 19 0 282681550 9856004096 22047 33554432000 1073741824 1073778376 140735717588272 140390030822312 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=750/tid=761] ppid=748 vsize=9625004 CPUtime=0.51 cores=0,2,4,6
/proc/750/task/761/stat : 761 (java) S 748 750 31312 0 -1 4202560 38 0 0 0 51 0 0 0 20 0 19 0 282681551 9856004096 22047 33554432000 1073741824 1073778376 140735717588272 140390018410728 214373021609 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=750/tid=762] ppid=748 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/750/task/762/stat : 762 (java) S 748 750 31312 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 282681552 9856004096 22047 33554432000 1073741824 1073778376 140735717588272 140390017356792 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=750/tid=763] ppid=748 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/750/task/763/stat : 763 (java) S 748 750 31312 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 282681552 9856004096 22047 33554432000 1073741824 1073778376 140735717588272 140390016304392 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=750/tid=764] ppid=748 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/750/task/764/stat : 764 (java) S 748 750 31312 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 282681554 9856004096 22047 33554432000 1073741824 1073778376 140735717588272 140390015252880 214373029664 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=750/tid=765] ppid=748 vsize=9625004 CPUtime=0.81 cores=0,2,4,6
/proc/750/task/765/stat : 765 (java) S 748 750 31312 0 -1 4202560 10411 0 0 0 79 2 0 0 20 0 19 0 282681554 9856004096 22047 33554432000 1073741824 1073778376 140735717588272 140390014200504 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=750/tid=766] ppid=748 vsize=9625004 CPUtime=0.33 cores=0,2,4,6
/proc/750/task/766/stat : 766 (java) S 748 750 31312 0 -1 4202560 3272 0 0 0 33 0 0 0 20 0 19 0 282681554 9856004096 22047 33554432000 1073741824 1073778376 140735717588272 140390013147704 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=750/tid=767] ppid=748 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/750/task/767/stat : 767 (java) S 748 750 31312 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 282681554 9856004096 22047 33554432000 1073741824 1073778376 140735717588272 140390012095608 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=750/tid=768] ppid=748 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/750/task/768/stat : 768 (java) S 748 750 31312 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 282681554 9856004096 22047 33554432000 1073741824 1073778376 140735717588272 140390011043016 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=750/tid=769] ppid=748 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/750/task/769/stat : 769 (java) S 748 750 31312 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 282681566 9856004096 22047 33554432000 1073741824 1073778376 140735717588272 140390009988008 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 54.2
Current children cumulated vsize (KiB) 9625004
[startup+53.1007 s]
/proc/loadavg: 1.97 2.00 2.00 3/214 1061
/proc/meminfo: memFree=30928376/32873844 swapFree=7624/7624
[pid=750] ppid=748 vsize=9625004 CPUtime=54.59 cores=0,2,4,6
/proc/750/stat : 750 (java) S 748 750 31312 0 -1 4202496 17721 0 1 0 5450 9 0 0 20 0 19 0 282681549 9856004096 22047 33554432000 1073741824 1073778376 140735717588272 140735717579408 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/750/statm: 2406251 22047 2275 9 0 2396937 0
[pid=750/tid=752] ppid=748 vsize=9625004 CPUtime=52.22 cores=0,2,4,6
/proc/750/task/752/stat : 752 (java) R 748 750 31312 0 -1 4202560 2607 0 1 0 5220 2 0 0 20 0 19 0 282681549 9856004096 22047 33554432000 1073741824 1073778376 140735717588272 140390194147632 140390134250487 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=750/tid=753] ppid=748 vsize=9625004 CPUtime=0.05 cores=0,2,4,6
/proc/750/task/753/stat : 753 (java) S 748 750 31312 0 -1 4202560 24 0 0 0 5 0 0 0 20 0 19 0 282681550 9856004096 22047 33554432000 1073741824 1073778376 140735717588272 140390038190376 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=750/tid=754] ppid=748 vsize=9625004 CPUtime=0.06 cores=0,2,4,6
/proc/750/task/754/stat : 754 (java) S 748 750 31312 0 -1 4202560 62 0 0 0 6 0 0 0 20 0 19 0 282681550 9856004096 22047 33554432000 1073741824 1073778376 140735717588272 140390037137576 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=750/tid=755] ppid=748 vsize=9625004 CPUtime=0.05 cores=0,2,4,6
/proc/750/task/755/stat : 755 (java) S 748 750 31312 0 -1 4202560 25 0 0 0 5 0 0 0 20 0 19 0 282681550 9856004096 22047 33554432000 1073741824 1073778376 140735717588272 140390036085288 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=750/tid=756] ppid=748 vsize=9625004 CPUtime=0.03 cores=0,2,4,6
/proc/750/task/756/stat : 756 (java) S 748 750 31312 0 -1 4202560 20 0 0 0 3 0 0 0 20 0 19 0 282681550 9856004096 22047 33554432000 1073741824 1073778376 140735717588272 140390035032488 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=750/tid=757] ppid=748 vsize=9625004 CPUtime=0.06 cores=0,2,4,6
/proc/750/task/757/stat : 757 (java) S 748 750 31312 0 -1 4202560 21 0 0 0 6 0 0 0 20 0 19 0 282681550 9856004096 22047 33554432000 1073741824 1073778376 140735717588272 140390033980200 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=750/tid=758] ppid=748 vsize=9625004 CPUtime=0.06 cores=0,2,4,6
/proc/750/task/758/stat : 758 (java) S 748 750 31312 0 -1 4202560 19 0 0 0 6 0 0 0 20 0 19 0 282681550 9856004096 22047 33554432000 1073741824 1073778376 140735717588272 140390032927400 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=750/tid=759] ppid=748 vsize=9625004 CPUtime=0.06 cores=0,2,4,6
/proc/750/task/759/stat : 759 (java) S 748 750 31312 0 -1 4202560 16 0 0 0 6 0 0 0 20 0 19 0 282681550 9856004096 22047 33554432000 1073741824 1073778376 140735717588272 140390031875112 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=750/tid=760] ppid=748 vsize=9625004 CPUtime=0.05 cores=0,2,4,6
/proc/750/task/760/stat : 760 (java) S 748 750 31312 0 -1 4202560 22 0 0 0 5 0 0 0 20 0 19 0 282681550 9856004096 22047 33554432000 1073741824 1073778376 140735717588272 140390030822312 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=750/tid=761] ppid=748 vsize=9625004 CPUtime=0.51 cores=0,2,4,6
/proc/750/task/761/stat : 761 (java) S 748 750 31312 0 -1 4202560 38 0 0 0 51 0 0 0 20 0 19 0 282681551 9856004096 22047 33554432000 1073741824 1073778376 140735717588272 140390018410728 214373021609 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=750/tid=762] ppid=748 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/750/task/762/stat : 762 (java) S 748 750 31312 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 282681552 9856004096 22047 33554432000 1073741824 1073778376 140735717588272 140390017356792 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=750/tid=763] ppid=748 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/750/task/763/stat : 763 (java) S 748 750 31312 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 282681552 9856004096 22047 33554432000 1073741824 1073778376 140735717588272 140390016304392 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=750/tid=764] ppid=748 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/750/task/764/stat : 764 (java) S 748 750 31312 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 282681554 9856004096 22047 33554432000 1073741824 1073778376 140735717588272 140390015252880 214373029664 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=750/tid=765] ppid=748 vsize=9625004 CPUtime=0.81 cores=0,2,4,6
/proc/750/task/765/stat : 765 (java) S 748 750 31312 0 -1 4202560 10411 0 0 0 79 2 0 0 20 0 19 0 282681554 9856004096 22047 33554432000 1073741824 1073778376 140735717588272 140390014200504 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=750/tid=766] ppid=748 vsize=9625004 CPUtime=0.33 cores=0,2,4,6
/proc/750/task/766/stat : 766 (java) S 748 750 31312 0 -1 4202560 3272 0 0 0 33 0 0 0 20 0 19 0 282681554 9856004096 22047 33554432000 1073741824 1073778376 140735717588272 140390013147704 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=750/tid=767] ppid=748 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/750/task/767/stat : 767 (java) S 748 750 31312 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 282681554 9856004096 22047 33554432000 1073741824 1073778376 140735717588272 140390012095608 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=750/tid=768] ppid=748 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/750/task/768/stat : 768 (java) S 748 750 31312 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 282681554 9856004096 22047 33554432000 1073741824 1073778376 140735717588272 140390011043016 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=750/tid=769] ppid=748 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/750/task/769/stat : 769 (java) S 748 750 31312 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 282681566 9856004096 22047 33554432000 1073741824 1073778376 140735717588272 140390009988008 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 54.59
Current children cumulated vsize (KiB) 9625004
[startup+53.5007 s]
/proc/loadavg: 1.97 2.00 2.00 3/214 1061
/proc/meminfo: memFree=30928376/32873844 swapFree=7624/7624
[pid=750] ppid=748 vsize=9625004 CPUtime=54.99 cores=0,2,4,6
/proc/750/stat : 750 (java) S 748 750 31312 0 -1 4202496 17722 0 1 0 5490 9 0 0 20 0 19 0 282681549 9856004096 22047 33554432000 1073741824 1073778376 140735717588272 140735717579408 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/750/statm: 2406251 22047 2275 9 0 2396937 0
[pid=750/tid=752] ppid=748 vsize=9625004 CPUtime=52.62 cores=0,2,4,6
/proc/750/task/752/stat : 752 (java) R 748 750 31312 0 -1 4202560 2608 0 1 0 5260 2 0 0 20 0 19 0 282681549 9856004096 22047 33554432000 1073741824 1073778376 140735717588272 140390194145776 140390134273801 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=750/tid=753] ppid=748 vsize=9625004 CPUtime=0.05 cores=0,2,4,6
/proc/750/task/753/stat : 753 (java) S 748 750 31312 0 -1 4202560 24 0 0 0 5 0 0 0 20 0 19 0 282681550 9856004096 22047 33554432000 1073741824 1073778376 140735717588272 140390038190376 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=750/tid=754] ppid=748 vsize=9625004 CPUtime=0.06 cores=0,2,4,6
/proc/750/task/754/stat : 754 (java) S 748 750 31312 0 -1 4202560 62 0 0 0 6 0 0 0 20 0 19 0 282681550 9856004096 22047 33554432000 1073741824 1073778376 140735717588272 140390037137576 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=750/tid=755] ppid=748 vsize=9625004 CPUtime=0.05 cores=0,2,4,6
/proc/750/task/755/stat : 755 (java) S 748 750 31312 0 -1 4202560 25 0 0 0 5 0 0 0 20 0 19 0 282681550 9856004096 22047 33554432000 1073741824 1073778376 140735717588272 140390036085288 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=750/tid=756] ppid=748 vsize=9625004 CPUtime=0.03 cores=0,2,4,6
/proc/750/task/756/stat : 756 (java) S 748 750 31312 0 -1 4202560 20 0 0 0 3 0 0 0 20 0 19 0 282681550 9856004096 22047 33554432000 1073741824 1073778376 140735717588272 140390035032488 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=750/tid=757] ppid=748 vsize=9625004 CPUtime=0.06 cores=0,2,4,6
/proc/750/task/757/stat : 757 (java) S 748 750 31312 0 -1 4202560 21 0 0 0 6 0 0 0 20 0 19 0 282681550 9856004096 22047 33554432000 1073741824 1073778376 140735717588272 140390033980200 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=750/tid=758] ppid=748 vsize=9625004 CPUtime=0.06 cores=0,2,4,6
/proc/750/task/758/stat : 758 (java) S 748 750 31312 0 -1 4202560 19 0 0 0 6 0 0 0 20 0 19 0 282681550 9856004096 22047 33554432000 1073741824 1073778376 140735717588272 140390032927400 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=750/tid=759] ppid=748 vsize=9625004 CPUtime=0.06 cores=0,2,4,6
/proc/750/task/759/stat : 759 (java) S 748 750 31312 0 -1 4202560 16 0 0 0 6 0 0 0 20 0 19 0 282681550 9856004096 22047 33554432000 1073741824 1073778376 140735717588272 140390031875112 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=750/tid=760] ppid=748 vsize=9625004 CPUtime=0.05 cores=0,2,4,6
/proc/750/task/760/stat : 760 (java) S 748 750 31312 0 -1 4202560 22 0 0 0 5 0 0 0 20 0 19 0 282681550 9856004096 22047 33554432000 1073741824 1073778376 140735717588272 140390030822312 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=750/tid=761] ppid=748 vsize=9625004 CPUtime=0.51 cores=0,2,4,6
/proc/750/task/761/stat : 761 (java) S 748 750 31312 0 -1 4202560 38 0 0 0 51 0 0 0 20 0 19 0 282681551 9856004096 22047 33554432000 1073741824 1073778376 140735717588272 140390018410728 214373021609 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=750/tid=762] ppid=748 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/750/task/762/stat : 762 (java) S 748 750 31312 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 282681552 9856004096 22047 33554432000 1073741824 1073778376 140735717588272 140390017356792 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=750/tid=763] ppid=748 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/750/task/763/stat : 763 (java) S 748 750 31312 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 282681552 9856004096 22047 33554432000 1073741824 1073778376 140735717588272 140390016304392 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=750/tid=764] ppid=748 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/750/task/764/stat : 764 (java) S 748 750 31312 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 282681554 9856004096 22047 33554432000 1073741824 1073778376 140735717588272 140390015252880 214373029664 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=750/tid=765] ppid=748 vsize=9625004 CPUtime=0.81 cores=0,2,4,6
/proc/750/task/765/stat : 765 (java) S 748 750 31312 0 -1 4202560 10411 0 0 0 79 2 0 0 20 0 19 0 282681554 9856004096 22047 33554432000 1073741824 1073778376 140735717588272 140390014200504 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=750/tid=766] ppid=748 vsize=9625004 CPUtime=0.33 cores=0,2,4,6
/proc/750/task/766/stat : 766 (java) S 748 750 31312 0 -1 4202560 3272 0 0 0 33 0 0 0 20 0 19 0 282681554 9856004096 22047 33554432000 1073741824 1073778376 140735717588272 140390013147704 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=750/tid=767] ppid=748 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/750/task/767/stat : 767 (java) S 748 750 31312 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 282681554 9856004096 22047 33554432000 1073741824 1073778376 140735717588272 140390012095608 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=750/tid=768] ppid=748 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/750/task/768/stat : 768 (java) S 748 750 31312 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 282681554 9856004096 22047 33554432000 1073741824 1073778376 140735717588272 140390011043016 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=750/tid=769] ppid=748 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/750/task/769/stat : 769 (java) S 748 750 31312 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 282681566 9856004096 22047 33554432000 1073741824 1073778376 140735717588272 140390009988008 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 54.99
Current children cumulated vsize (KiB) 9625004
[startup+53.6007 s]
/proc/loadavg: 1.97 2.00 2.00 3/214 1061
/proc/meminfo: memFree=30928376/32873844 swapFree=7624/7624
[pid=750] ppid=748 vsize=9625004 CPUtime=55.09 cores=0,2,4,6
/proc/750/stat : 750 (java) S 748 750 31312 0 -1 4202496 17722 0 1 0 5500 9 0 0 20 0 19 0 282681549 9856004096 22047 33554432000 1073741824 1073778376 140735717588272 140735717579408 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/750/statm: 2406251 22047 2275 9 0 2396937 0
[pid=750/tid=752] ppid=748 vsize=9625004 CPUtime=52.72 cores=0,2,4,6
/proc/750/task/752/stat : 752 (java) R 748 750 31312 0 -1 4202560 2608 0 1 0 5270 2 0 0 20 0 19 0 282681549 9856004096 22047 33554432000 1073741824 1073778376 140735717588272 140390194145776 140390134273790 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=750/tid=753] ppid=748 vsize=9625004 CPUtime=0.05 cores=0,2,4,6
/proc/750/task/753/stat : 753 (java) S 748 750 31312 0 -1 4202560 24 0 0 0 5 0 0 0 20 0 19 0 282681550 9856004096 22047 33554432000 1073741824 1073778376 140735717588272 140390038190376 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=750/tid=754] ppid=748 vsize=9625004 CPUtime=0.06 cores=0,2,4,6
/proc/750/task/754/stat : 754 (java) S 748 750 31312 0 -1 4202560 62 0 0 0 6 0 0 0 20 0 19 0 282681550 9856004096 22047 33554432000 1073741824 1073778376 140735717588272 140390037137576 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=750/tid=755] ppid=748 vsize=9625004 CPUtime=0.05 cores=0,2,4,6
/proc/750/task/755/stat : 755 (java) S 748 750 31312 0 -1 4202560 25 0 0 0 5 0 0 0 20 0 19 0 282681550 9856004096 22047 33554432000 1073741824 1073778376 140735717588272 140390036085288 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=750/tid=756] ppid=748 vsize=9625004 CPUtime=0.03 cores=0,2,4,6
/proc/750/task/756/stat : 756 (java) S 748 750 31312 0 -1 4202560 20 0 0 0 3 0 0 0 20 0 19 0 282681550 9856004096 22047 33554432000 1073741824 1073778376 140735717588272 140390035032488 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=750/tid=757] ppid=748 vsize=9625004 CPUtime=0.06 cores=0,2,4,6
/proc/750/task/757/stat : 757 (java) S 748 750 31312 0 -1 4202560 21 0 0 0 6 0 0 0 20 0 19 0 282681550 9856004096 22047 33554432000 1073741824 1073778376 140735717588272 140390033980200 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=750/tid=758] ppid=748 vsize=9625004 CPUtime=0.06 cores=0,2,4,6
/proc/750/task/758/stat : 758 (java) S 748 750 31312 0 -1 4202560 19 0 0 0 6 0 0 0 20 0 19 0 282681550 9856004096 22047 33554432000 1073741824 1073778376 140735717588272 140390032927400 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=750/tid=759] ppid=748 vsize=9625004 CPUtime=0.06 cores=0,2,4,6
/proc/750/task/759/stat : 759 (java) S 748 750 31312 0 -1 4202560 16 0 0 0 6 0 0 0 20 0 19 0 282681550 9856004096 22047 33554432000 1073741824 1073778376 140735717588272 140390031875112 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=750/tid=760] ppid=748 vsize=9625004 CPUtime=0.05 cores=0,2,4,6
/proc/750/task/760/stat : 760 (java) S 748 750 31312 0 -1 4202560 22 0 0 0 5 0 0 0 20 0 19 0 282681550 9856004096 22047 33554432000 1073741824 1073778376 140735717588272 140390030822312 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=750/tid=761] ppid=748 vsize=9625004 CPUtime=0.51 cores=0,2,4,6
/proc/750/task/761/stat : 761 (java) S 748 750 31312 0 -1 4202560 38 0 0 0 51 0 0 0 20 0 19 0 282681551 9856004096 22047 33554432000 1073741824 1073778376 140735717588272 140390018410728 214373021609 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=750/tid=762] ppid=748 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/750/task/762/stat : 762 (java) S 748 750 31312 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 282681552 9856004096 22047 33554432000 1073741824 1073778376 140735717588272 140390017356792 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=750/tid=763] ppid=748 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/750/task/763/stat : 763 (java) S 748 750 31312 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 282681552 9856004096 22047 33554432000 1073741824 1073778376 140735717588272 140390016304392 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=750/tid=764] ppid=748 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/750/task/764/stat : 764 (java) S 748 750 31312 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 282681554 9856004096 22047 33554432000 1073741824 1073778376 140735717588272 140390015252880 214373029664 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=750/tid=765] ppid=748 vsize=9625004 CPUtime=0.81 cores=0,2,4,6
/proc/750/task/765/stat : 765 (java) S 748 750 31312 0 -1 4202560 10411 0 0 0 79 2 0 0 20 0 19 0 282681554 9856004096 22047 33554432000 1073741824 1073778376 140735717588272 140390014200504 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=750/tid=766] ppid=748 vsize=9625004 CPUtime=0.33 cores=0,2,4,6
/proc/750/task/766/stat : 766 (java) S 748 750 31312 0 -1 4202560 3272 0 0 0 33 0 0 0 20 0 19 0 282681554 9856004096 22047 33554432000 1073741824 1073778376 140735717588272 140390013147704 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=750/tid=767] ppid=748 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/750/task/767/stat : 767 (java) S 748 750 31312 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 282681554 9856004096 22047 33554432000 1073741824 1073778376 140735717588272 140390012095608 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=750/tid=768] ppid=748 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/750/task/768/stat : 768 (java) S 748 750 31312 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 282681554 9856004096 22047 33554432000 1073741824 1073778376 140735717588272 140390011043016 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=750/tid=769] ppid=748 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/750/task/769/stat : 769 (java) S 748 750 31312 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 282681566 9856004096 22047 33554432000 1073741824 1073778376 140735717588272 140390009988008 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 55.09
Current children cumulated vsize (KiB) 9625004
Child status: 1
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 750 and gives
# childrusage.ru_utime.tv_sec=54
# childrusage.ru_utime.tv_usec=913651
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=172973
# CPU time returned by wait4() is 55.0866
# while last known CPU time is 55.09
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 53.631
CPU time (s): 55.09
CPU user time (s): 55
CPU system time (s): 0.09
CPU usage (%): 102.72
Max. virtual memory (cumulated for all children) (KiB): 9625320
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 54.9137
system time used= 0.172973
maximum resident set size= 88232
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 17737
page faults= 1
swaps= 0
block input operations= 0
block output operations= 104
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 2328
involuntary context switches= 1875
runsolver used 0.181972 second user time and 0.405938 second system time
The end