runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.0 (svn: 977)
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3459445-1307146634/watcher-3459445-1307146634 -o /tmp/evaluation-result-3459445-1307146634/solver-3459445-1307146634 -C 1800 -W 1900 -M 15500 java -server -Xms13000m -Xmx13000m -jar sat4j-pb.jar Resolution HOME/instance-3459445-1307146634.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.02 1.48 1.78 5/557 5312
/proc/meminfo: memFree=28720092/32951124 swapFree=34426104/67111528
[pid=5310] ppid=5307 vsize=20404 CPUtime=0 cores=0,2,4,6
/proc/5310/stat : 5310 (java) R 5307 5310 3728 0 -1 4202496 431 0 0 0 0 0 0 0 18 0 1 0 904894035 20893696 176 33554432000 1073741824 1073778376 140735756709008 18446744073709551615 224280002183 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/5310/statm: 5101 176 134 9 0 124 0
[pid=5310/tid=5313] ppid=5307 vsize=13508980 CPUtime=0 cores=0,2,4,6
/proc/5310/task/5313/stat : 5313 (java) R 5307 5310 3728 0 -1 4202560 2267 0 1 0 0 0 0 0 18 0 2 0 904894035 13833195520 3083 33554432000 1073741824 1073778376 140735756709008 18446744073709551615 224284619835 0 4 0 16784584 0 0 0 -1 2 0 0 0
[startup+0.05092 s]
/proc/loadavg: 1.02 1.48 1.78 5/557 5312
/proc/meminfo: memFree=28720092/32951124 swapFree=34426104/67111528
[pid=5310] ppid=5307 vsize=13549480 CPUtime=0.03 cores=0,2,4,6
/proc/5310/stat : 5310 (java) S 5307 5310 3728 0 -1 4202496 13594 0 1 0 2 1 0 0 18 0 13 0 904894035 13874667520 13293 33554432000 1073741824 1073778376 140735756709008 18446744073709551615 224296728549 0 0 0 16784584 18446744073709551615 0 0 17 2 0 0 0
/proc/5310/statm: 3387370 13293 1633 9 0 3378118 0
[pid=5310/tid=5313] ppid=5307 vsize=13549480 CPUtime=0.03 cores=0,2,4,6
/proc/5310/task/5313/stat : 5313 (java) R 5307 5310 3728 0 -1 4202560 12446 0 1 0 2 1 0 0 23 0 13 0 904894035 13874667520 13293 33554432000 1073741824 1073778376 140735756709008 18446744073709551615 224296752587 0 4 0 16784584 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 13549480
[startup+0.10093 s]
/proc/loadavg: 1.02 1.48 1.78 5/557 5312
/proc/meminfo: memFree=28720092/32951124 swapFree=34426104/67111528
[pid=5310] ppid=5307 vsize=13621660 CPUtime=0.08 cores=0,2,4,6
/proc/5310/stat : 5310 (java) S 5307 5310 3728 0 -1 4202496 15183 0 1 0 7 1 0 0 18 0 18 0 904894035 13948579840 14855 33554432000 1073741824 1073778376 140735756709008 18446744073709551615 224296728549 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/5310/statm: 3405457 14876 2019 9 0 3396191 0
[pid=5310/tid=5313] ppid=5307 vsize=13621828 CPUtime=0.07 cores=0,2,4,6
/proc/5310/task/5313/stat : 5313 (java) R 5307 5310 3728 0 -1 4202560 13443 0 1 0 6 1 0 0 18 0 18 0 904894035 13948751872 14880 33554432000 1073741824 1073778376 140735756709008 18446744073709551615 224284921701 0 4 0 16800975 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 13621660
[startup+0.300876 s]
/proc/loadavg: 1.02 1.48 1.78 5/557 5312
/proc/meminfo: memFree=28720092/32951124 swapFree=34426104/67111528
[pid=5310] ppid=5307 vsize=13624568 CPUtime=0.47 cores=0,2,4,6
/proc/5310/stat : 5310 (java) S 5307 5310 3728 0 -1 4202496 18019 0 1 0 45 2 0 0 18 0 18 0 904894035 13951557632 17679 33554432000 1073741824 1073778376 140735756709008 18446744073709551615 224296728549 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/5310/statm: 3406142 17679 2209 9 0 3396876 0
[pid=5310/tid=5313] ppid=5307 vsize=13624568 CPUtime=0.27 cores=0,2,4,6
/proc/5310/task/5313/stat : 5313 (java) R 5307 5310 3728 0 -1 4202560 15312 0 1 0 26 1 0 0 18 0 18 0 904894035 13951557632 17679 33554432000 1073741824 1073778376 140735756709008 18446744073709551615 46912505207079 0 4 0 16800975 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 0.47
Current children cumulated vsize (KiB) 13624568
[startup+0.700836 s]
/proc/loadavg: 1.02 1.48 1.78 5/557 5312
/proc/meminfo: memFree=28720092/32951124 swapFree=34426104/67111528
[pid=5310] ppid=5307 vsize=13626476 CPUtime=1.18 cores=0,2,4,6
/proc/5310/stat : 5310 (java) S 5307 5310 3728 0 -1 4202496 20000 0 1 0 116 2 0 0 18 0 19 0 904894035 13953511424 19119 33554432000 1073741824 1073778376 140735756709008 18446744073709551615 224296728549 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/5310/statm: 3406619 19119 2251 9 0 3397353 0
[pid=5310/tid=5313] ppid=5307 vsize=13626476 CPUtime=0.65 cores=0,2,4,6
/proc/5310/task/5313/stat : 5313 (java) R 5307 5310 3728 0 -1 4202560 15548 0 1 0 64 1 0 0 19 0 19 0 904894035 13953511424 19119 33554432000 1073741824 1073778376 140735756709008 18446744073709551615 46912505643823 0 4 0 16800975 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1.18
Current children cumulated vsize (KiB) 13626476
[startup+1.50065 s]
/proc/loadavg: 1.02 1.48 1.78 4/595 5350
/proc/meminfo: memFree=28581172/32951124 swapFree=34426104/67111528
[pid=5310] ppid=5307 vsize=13626772 CPUtime=2.06 cores=0,2,4,6
/proc/5310/stat : 5310 (java) S 5307 5310 3728 0 -1 4202496 20782 0 1 0 204 2 0 0 18 0 19 0 904894035 13953814528 19664 33554432000 1073741824 1073778376 140735756709008 18446744073709551615 224296728549 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/5310/statm: 3406693 19664 2251 9 0 3397427 0
[pid=5310/tid=5313] ppid=5307 vsize=13626772 CPUtime=1.4 cores=0,2,4,6
/proc/5310/task/5313/stat : 5313 (java) R 5307 5310 3728 0 -1 4202560 15551 0 1 0 139 1 0 0 20 0 19 0 904894035 13953814528 19664 33554432000 1073741824 1073778376 140735756709008 18446744073709551615 46912505643744 0 4 0 16800975 0 0 0 -1 6 0 0 0
[pid=5310/tid=5319] ppid=5307 vsize=13626772 CPUtime=0 cores=0,2,4,6
/proc/5310/task/5319/stat : 5319 (java) S 5307 5310 3728 0 -1 4202560 74 0 0 0 0 0 0 0 15 0 19 0 904894038 13953814528 19664 33554432000 1073741824 1073778376 140735756709008 18446744073709551615 224296741785 0 4 0 16800975 18446604447416901952 0 0 -1 2 0 0 0
[pid=5310/tid=5321] ppid=5307 vsize=13626772 CPUtime=0 cores=0,2,4,6
/proc/5310/task/5321/stat : 5321 (java) S 5307 5310 3728 0 -1 4202560 12 0 0 0 0 0 0 0 15 0 19 0 904894038 13953814528 19664 33554432000 1073741824 1073778376 140735756709008 18446744073709551615 224296741785 0 4 0 16800975 18446604447416901952 0 0 -1 4 0 0 0
[pid=5310/tid=5323] ppid=5307 vsize=13626772 CPUtime=0 cores=0,2,4,6
/proc/5310/task/5323/stat : 5323 (java) S 5307 5310 3728 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 904894038 13953814528 19664 33554432000 1073741824 1073778376 140735756709008 18446744073709551615 224296741785 0 4 0 16800975 18446604447416901952 0 0 -1 4 0 0 0
[pid=5310/tid=5325] ppid=5307 vsize=13626772 CPUtime=0 cores=0,2,4,6
/proc/5310/task/5325/stat : 5325 (java) S 5307 5310 3728 0 -1 4202560 7 0 0 0 0 0 0 0 15 0 19 0 904894038 13953814528 19664 33554432000 1073741824 1073778376 140735756709008 18446744073709551615 224296741785 0 4 0 16800975 18446604447416901952 0 0 -1 0 0 0 0
[pid=5310/tid=5327] ppid=5307 vsize=13626772 CPUtime=0 cores=0,2,4,6
/proc/5310/task/5327/stat : 5327 (java) S 5307 5310 3728 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 904894038 13953814528 19664 33554432000 1073741824 1073778376 140735756709008 18446744073709551615 224296741785 0 4 0 16800975 18446604447416901952 0 0 -1 2 0 0 0
[pid=5310/tid=5329] ppid=5307 vsize=13626772 CPUtime=0 cores=0,2,4,6
/proc/5310/task/5329/stat : 5329 (java) S 5307 5310 3728 0 -1 4202560 172 0 0 0 0 0 0 0 15 0 19 0 904894038 13953814528 19664 33554432000 1073741824 1073778376 140735756709008 18446744073709551615 224296741785 0 4 0 16800975 18446604447416901952 0 0 -1 2 0 0 0
[pid=5310/tid=5331] ppid=5307 vsize=13626772 CPUtime=0 cores=0,2,4,6
/proc/5310/task/5331/stat : 5331 (java) S 5307 5310 3728 0 -1 4202560 179 0 0 0 0 0 0 0 16 0 19 0 904894038 13953814528 19664 33554432000 1073741824 1073778376 140735756709008 18446744073709551615 224296741785 0 4 0 16800975 18446604447416901952 0 0 -1 0 0 0 0
[pid=5310/tid=5332] ppid=5307 vsize=13626772 CPUtime=0 cores=0,2,4,6
/proc/5310/task/5332/stat : 5332 (java) S 5307 5310 3728 0 -1 4202560 103 0 0 0 0 0 0 0 15 0 19 0 904894038 13953814528 19664 33554432000 1073741824 1073778376 140735756709008 18446744073709551615 224296741785 0 4 0 16800975 18446604447416901952 0 0 -1 2 0 0 0
[pid=5310/tid=5333] ppid=5307 vsize=13626772 CPUtime=0.05 cores=0,2,4,6
/proc/5310/task/5333/stat : 5333 (java) S 5307 5310 3728 0 -1 4202560 445 0 0 0 5 0 0 0 16 0 19 0 904894039 13953814528 19664 33554432000 1073741824 1073778376 140735756709008 18446744073709551615 224296742400 0 0 0 16800975 18446604447416901952 0 0 -1 6 0 0 0
[pid=5310/tid=5336] ppid=5307 vsize=13626772 CPUtime=0 cores=0,2,4,6
/proc/5310/task/5336/stat : 5336 (java) S 5307 5310 3728 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 904894040 13953814528 19664 33554432000 1073741824 1073778376 140735756709008 18446744073709551615 224296741785 0 4 0 16800975 18446604447416901952 0 0 -1 2 0 0 0
[pid=5310/tid=5338] ppid=5307 vsize=13626772 CPUtime=0 cores=0,2,4,6
/proc/5310/task/5338/stat : 5338 (java) S 5307 5310 3728 0 -1 4202560 10 0 0 0 0 0 0 0 19 0 19 0 904894040 13953814528 19664 33554432000 1073741824 1073778376 140735756709008 18446744073709551615 224296741785 0 4 0 16800975 18446604447416901952 0 0 -1 4 0 0 0
[pid=5310/tid=5341] ppid=5307 vsize=13626772 CPUtime=0 cores=0,2,4,6
/proc/5310/task/5341/stat : 5341 (java) S 5307 5310 3728 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 904894042 13953814528 19664 33554432000 1073741824 1073778376 140735756709008 18446744073709551615 224296749489 0 4 0 16800975 18446604447416901952 0 0 -1 2 0 0 0
[pid=5310/tid=5342] ppid=5307 vsize=13626772 CPUtime=0.35 cores=0,2,4,6
/proc/5310/task/5342/stat : 5342 (java) S 5307 5310 3728 0 -1 4202560 1734 0 0 0 35 0 0 0 15 0 19 0 904894042 13953814528 19664 33554432000 1073741824 1073778376 140735756709008 18446744073709551615 224296741785 0 4 0 16800975 18446604447416901952 0 0 -1 0 0 0 0
[pid=5310/tid=5345] ppid=5307 vsize=13626772 CPUtime=0.22 cores=0,2,4,6
/proc/5310/task/5345/stat : 5345 (java) S 5307 5310 3728 0 -1 4202560 1352 0 0 0 22 0 0 0 15 0 19 0 904894042 13953814528 19664 33554432000 1073741824 1073778376 140735756709008 18446744073709551615 224296741785 0 4 0 16800975 18446604447416901952 0 0 -1 4 0 0 0
[pid=5310/tid=5346] ppid=5307 vsize=13626772 CPUtime=0 cores=0,2,4,6
/proc/5310/task/5346/stat : 5346 (java) S 5307 5310 3728 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 904894042 13953814528 19664 33554432000 1073741824 1073778376 140735756709008 18446744073709551615 224296741785 0 4 0 16800975 18446604447416901952 0 0 -1 2 0 0 0
[pid=5310/tid=5348] ppid=5307 vsize=13626772 CPUtime=0 cores=0,2,4,6
/proc/5310/task/5348/stat : 5348 (java) S 5307 5310 3728 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 904894042 13953814528 19664 33554432000 1073741824 1073778376 140735756709008 18446744073709551615 224296742400 0 4 0 16800975 18446604447416901952 0 0 -1 4 0 0 0
[pid=5310/tid=5350] ppid=5307 vsize=13626772 CPUtime=0 cores=0,2,4,6
/proc/5310/task/5350/stat : 5350 (java) S 5307 5310 3728 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 904894065 13953814528 19664 33554432000 1073741824 1073778376 140735756709008 18446744073709551615 224296742400 0 4 0 16800975 18446604447416901952 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 2.06
Current children cumulated vsize (KiB) 13626772
[startup+3.10144 s]
/proc/loadavg: 1.18 1.51 1.79 4/595 5350
/proc/meminfo: memFree=28570260/32951124 swapFree=34426104/67111528
[pid=5310] ppid=5307 vsize=13626772 CPUtime=3.67 cores=0,2,4,6
/proc/5310/stat : 5310 (java) S 5307 5310 3728 0 -1 4202496 21045 0 1 0 365 2 0 0 18 0 19 0 904894035 13953814528 19922 33554432000 1073741824 1073778376 140735756709008 18446744073709551615 224296728549 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/5310/statm: 3406693 19922 2251 9 0 3397427 0
[pid=5310/tid=5313] ppid=5307 vsize=13626772 CPUtime=2.91 cores=0,2,4,6
/proc/5310/task/5313/stat : 5313 (java) R 5307 5310 3728 0 -1 4202560 15556 0 1 0 290 1 0 0 23 0 19 0 904894035 13953814528 19922 33554432000 1073741824 1073778376 140735756709008 18446744073709551615 46912505630729 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=5310/tid=5319] ppid=5307 vsize=13626772 CPUtime=0 cores=0,2,4,6
/proc/5310/task/5319/stat : 5319 (java) S 5307 5310 3728 0 -1 4202560 76 0 0 0 0 0 0 0 15 0 19 0 904894038 13953814528 19922 33554432000 1073741824 1073778376 140735756709008 18446744073709551615 224296741785 0 4 0 16800975 18446604447416901952 0 0 -1 2 0 0 0
[pid=5310/tid=5321] ppid=5307 vsize=13626772 CPUtime=0 cores=0,2,4,6
/proc/5310/task/5321/stat : 5321 (java) S 5307 5310 3728 0 -1 4202560 12 0 0 0 0 0 0 0 15 0 19 0 904894038 13953814528 19922 33554432000 1073741824 1073778376 140735756709008 18446744073709551615 224296741785 0 4 0 16800975 18446604447416901952 0 0 -1 2 0 0 0
[pid=5310/tid=5323] ppid=5307 vsize=13626772 CPUtime=0 cores=0,2,4,6
/proc/5310/task/5323/stat : 5323 (java) S 5307 5310 3728 0 -1 4202560 3 0 0 0 0 0 0 0 15 0 19 0 904894038 13953814528 19922 33554432000 1073741824 1073778376 140735756709008 18446744073709551615 224296741785 0 4 0 16800975 18446604447416901952 0 0 -1 2 0 0 0
[pid=5310/tid=5325] ppid=5307 vsize=13626772 CPUtime=0 cores=0,2,4,6
/proc/5310/task/5325/stat : 5325 (java) S 5307 5310 3728 0 -1 4202560 16 0 0 0 0 0 0 0 16 0 19 0 904894038 13953814528 19922 33554432000 1073741824 1073778376 140735756709008 18446744073709551615 224296741785 0 4 0 16800975 18446604447416901952 0 0 -1 0 0 0 0
[pid=5310/tid=5327] ppid=5307 vsize=13626772 CPUtime=0 cores=0,2,4,6
/proc/5310/task/5327/stat : 5327 (java) S 5307 5310 3728 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 904894038 13953814528 19922 33554432000 1073741824 1073778376 140735756709008 18446744073709551615 224296741785 0 4 0 16800975 18446604447416901952 0 0 -1 2 0 0 0
[pid=5310/tid=5329] ppid=5307 vsize=13626772 CPUtime=0 cores=0,2,4,6
/proc/5310/task/5329/stat : 5329 (java) S 5307 5310 3728 0 -1 4202560 186 0 0 0 0 0 0 0 16 0 19 0 904894038 13953814528 19922 33554432000 1073741824 1073778376 140735756709008 18446744073709551615 224296741785 0 4 0 16800975 18446604447416901952 0 0 -1 4 0 0 0
[pid=5310/tid=5331] ppid=5307 vsize=13626772 CPUtime=0 cores=0,2,4,6
/proc/5310/task/5331/stat : 5331 (java) S 5307 5310 3728 0 -1 4202560 179 0 0 0 0 0 0 0 16 0 19 0 904894038 13953814528 19922 33554432000 1073741824 1073778376 140735756709008 18446744073709551615 224296741785 0 4 0 16800975 18446604447416901952 0 0 -1 0 0 0 0
[pid=5310/tid=5332] ppid=5307 vsize=13626772 CPUtime=0 cores=0,2,4,6
/proc/5310/task/5332/stat : 5332 (java) S 5307 5310 3728 0 -1 4202560 104 0 0 0 0 0 0 0 15 0 19 0 904894038 13953814528 19922 33554432000 1073741824 1073778376 140735756709008 18446744073709551615 224296741785 0 4 0 16800975 18446604447416901952 0 0 -1 4 0 0 0
[pid=5310/tid=5333] ppid=5307 vsize=13626772 CPUtime=0.12 cores=0,2,4,6
/proc/5310/task/5333/stat : 5333 (java) S 5307 5310 3728 0 -1 4202560 675 0 0 0 12 0 0 0 15 0 19 0 904894039 13953814528 19922 33554432000 1073741824 1073778376 140735756709008 18446744073709551615 224296742400 0 0 0 16800975 18446604447416901952 0 0 -1 6 0 0 0
[pid=5310/tid=5336] ppid=5307 vsize=13626772 CPUtime=0 cores=0,2,4,6
/proc/5310/task/5336/stat : 5336 (java) S 5307 5310 3728 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 904894040 13953814528 19922 33554432000 1073741824 1073778376 140735756709008 18446744073709551615 224296741785 0 4 0 16800975 18446604447416901952 0 0 -1 2 0 0 0
[pid=5310/tid=5338] ppid=5307 vsize=13626772 CPUtime=0 cores=0,2,4,6
/proc/5310/task/5338/stat : 5338 (java) S 5307 5310 3728 0 -1 4202560 10 0 0 0 0 0 0 0 19 0 19 0 904894040 13953814528 19922 33554432000 1073741824 1073778376 140735756709008 18446744073709551615 224296741785 0 4 0 16800975 18446604447416901952 0 0 -1 4 0 0 0
[pid=5310/tid=5341] ppid=5307 vsize=13626772 CPUtime=0 cores=0,2,4,6
/proc/5310/task/5341/stat : 5341 (java) S 5307 5310 3728 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 904894042 13953814528 19922 33554432000 1073741824 1073778376 140735756709008 18446744073709551615 224296749489 0 4 0 16800975 18446604447416901952 0 0 -1 2 0 0 0
[pid=5310/tid=5342] ppid=5307 vsize=13626772 CPUtime=0.36 cores=0,2,4,6
/proc/5310/task/5342/stat : 5342 (java) S 5307 5310 3728 0 -1 4202560 1734 0 0 0 36 0 0 0 15 0 19 0 904894042 13953814528 19922 33554432000 1073741824 1073778376 140735756709008 18446744073709551615 224296741785 0 4 0 16800975 18446604447416901952 0 0 -1 0 0 0 0
[pid=5310/tid=5345] ppid=5307 vsize=13626772 CPUtime=0.22 cores=0,2,4,6
/proc/5310/task/5345/stat : 5345 (java) S 5307 5310 3728 0 -1 4202560 1352 0 0 0 22 0 0 0 15 0 19 0 904894042 13953814528 19922 33554432000 1073741824 1073778376 140735756709008 18446744073709551615 224296741785 0 4 0 16800975 18446604447416901952 0 0 -1 4 0 0 0
[pid=5310/tid=5346] ppid=5307 vsize=13626772 CPUtime=0 cores=0,2,4,6
/proc/5310/task/5346/stat : 5346 (java) S 5307 5310 3728 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 904894042 13953814528 19922 33554432000 1073741824 1073778376 140735756709008 18446744073709551615 224296741785 0 4 0 16800975 18446604447416901952 0 0 -1 2 0 0 0
[pid=5310/tid=5348] ppid=5307 vsize=13626772 CPUtime=0 cores=0,2,4,6
/proc/5310/task/5348/stat : 5348 (java) S 5307 5310 3728 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 904894042 13953814528 19922 33554432000 1073741824 1073778376 140735756709008 18446744073709551615 224296742400 0 4 0 16800975 18446604447416901952 0 0 -1 4 0 0 0
[pid=5310/tid=5350] ppid=5307 vsize=13626772 CPUtime=0 cores=0,2,4,6
/proc/5310/task/5350/stat : 5350 (java) S 5307 5310 3728 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 904894065 13953814528 19922 33554432000 1073741824 1073778376 140735756709008 18446744073709551615 224296742400 0 4 0 16800975 18446604447416901952 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3.67
Current children cumulated vsize (KiB) 13626772
[startup+6.30091 s]
/proc/loadavg: 1.18 1.51 1.79 4/595 5350
/proc/meminfo: memFree=28568344/32951124 swapFree=34426104/67111528
[pid=5310] ppid=5307 vsize=13626772 CPUtime=6.88 cores=0,2,4,6
/proc/5310/stat : 5310 (java) S 5307 5310 3728 0 -1 4202496 21166 0 1 0 685 3 0 0 18 0 19 0 904894035 13953814528 19884 33554432000 1073741824 1073778376 140735756709008 18446744073709551615 224296728549 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/5310/statm: 3406693 19884 2251 9 0 3397427 0
[pid=5310/tid=5313] ppid=5307 vsize=13626772 CPUtime=5.98 cores=0,2,4,6
/proc/5310/task/5313/stat : 5313 (java) R 5307 5310 3728 0 -1 4202560 15565 0 1 0 597 1 0 0 20 0 19 0 904894035 13953814528 19884 33554432000 1073741824 1073778376 140735756709008 18446744073709551615 46912505630875 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=5310/tid=5319] ppid=5307 vsize=13626772 CPUtime=0 cores=0,2,4,6
/proc/5310/task/5319/stat : 5319 (java) S 5307 5310 3728 0 -1 4202560 76 0 0 0 0 0 0 0 15 0 19 0 904894038 13953814528 19884 33554432000 1073741824 1073778376 140735756709008 18446744073709551615 224296741785 0 4 0 16800975 18446604447416901952 0 0 -1 2 0 0 0
[pid=5310/tid=5321] ppid=5307 vsize=13626772 CPUtime=0 cores=0,2,4,6
/proc/5310/task/5321/stat : 5321 (java) S 5307 5310 3728 0 -1 4202560 12 0 0 0 0 0 0 0 15 0 19 0 904894038 13953814528 19884 33554432000 1073741824 1073778376 140735756709008 18446744073709551615 224296741785 0 4 0 16800975 18446604447416901952 0 0 -1 0 0 0 0
[pid=5310/tid=5323] ppid=5307 vsize=13626772 CPUtime=0 cores=0,2,4,6
/proc/5310/task/5323/stat : 5323 (java) S 5307 5310 3728 0 -1 4202560 3 0 0 0 0 0 0 0 15 0 19 0 904894038 13953814528 19884 33554432000 1073741824 1073778376 140735756709008 18446744073709551615 224296741785 0 4 0 16800975 18446604447416901952 0 0 -1 2 0 0 0
[pid=5310/tid=5325] ppid=5307 vsize=13626772 CPUtime=0 cores=0,2,4,6
/proc/5310/task/5325/stat : 5325 (java) S 5307 5310 3728 0 -1 4202560 16 0 0 0 0 0 0 0 15 0 19 0 904894038 13953814528 19884 33554432000 1073741824 1073778376 140735756709008 18446744073709551615 224296741785 0 4 0 16800975 18446604447416901952 0 0 -1 0 0 0 0
[pid=5310/tid=5327] ppid=5307 vsize=13626772 CPUtime=0 cores=0,2,4,6
/proc/5310/task/5327/stat : 5327 (java) S 5307 5310 3728 0 -1 4202560 4 0 0 0 0 0 0 0 15 0 19 0 904894038 13953814528 19884 33554432000 1073741824 1073778376 140735756709008 18446744073709551615 224296741785 0 4 0 16800975 18446604447416901952 0 0 -1 4 0 0 0
[pid=5310/tid=5329] ppid=5307 vsize=13626772 CPUtime=0 cores=0,2,4,6
/proc/5310/task/5329/stat : 5329 (java) S 5307 5310 3728 0 -1 4202560 186 0 0 0 0 0 0 0 16 0 19 0 904894038 13953814528 19884 33554432000 1073741824 1073778376 140735756709008 18446744073709551615 224296741785 0 4 0 16800975 18446604447416901952 0 0 -1 4 0 0 0
[pid=5310/tid=5331] ppid=5307 vsize=13626772 CPUtime=0.01 cores=0,2,4,6
/proc/5310/task/5331/stat : 5331 (java) S 5307 5310 3728 0 -1 4202560 179 0 0 0 1 0 0 0 15 0 19 0 904894038 13953814528 19884 33554432000 1073741824 1073778376 140735756709008 18446744073709551615 224296741785 0 4 0 16800975 18446604447416901952 0 0 -1 0 0 0 0
[pid=5310/tid=5332] ppid=5307 vsize=13626772 CPUtime=0 cores=0,2,4,6
/proc/5310/task/5332/stat : 5332 (java) S 5307 5310 3728 0 -1 4202560 104 0 0 0 0 0 0 0 16 0 19 0 904894038 13953814528 19884 33554432000 1073741824 1073778376 140735756709008 18446744073709551615 224296741785 0 4 0 16800975 18446604447416901952 0 0 -1 4 0 0 0
[pid=5310/tid=5333] ppid=5307 vsize=13626772 CPUtime=0.24 cores=0,2,4,6
/proc/5310/task/5333/stat : 5333 (java) S 5307 5310 3728 0 -1 4202560 784 0 0 0 24 0 0 0 15 0 19 0 904894039 13953814528 19884 33554432000 1073741824 1073778376 140735756709008 18446744073709551615 224296742400 0 0 0 16800975 18446604447416901952 0 0 -1 6 0 0 0
[pid=5310/tid=5336] ppid=5307 vsize=13626772 CPUtime=0 cores=0,2,4,6
/proc/5310/task/5336/stat : 5336 (java) S 5307 5310 3728 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 904894040 13953814528 19884 33554432000 1073741824 1073778376 140735756709008 18446744073709551615 224296741785 0 4 0 16800975 18446604447416901952 0 0 -1 2 0 0 0
[pid=5310/tid=5338] ppid=5307 vsize=13626772 CPUtime=0 cores=0,2,4,6
/proc/5310/task/5338/stat : 5338 (java) S 5307 5310 3728 0 -1 4202560 10 0 0 0 0 0 0 0 19 0 19 0 904894040 13953814528 19884 33554432000 1073741824 1073778376 140735756709008 18446744073709551615 224296741785 0 4 0 16800975 18446604447416901952 0 0 -1 4 0 0 0
[pid=5310/tid=5341] ppid=5307 vsize=13626772 CPUtime=0 cores=0,2,4,6
/proc/5310/task/5341/stat : 5341 (java) S 5307 5310 3728 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 904894042 13953814528 19884 33554432000 1073741824 1073778376 140735756709008 18446744073709551615 224296749489 0 4 0 16800975 18446604447416901952 0 0 -1 2 0 0 0
[pid=5310/tid=5342] ppid=5307 vsize=13626772 CPUtime=0.36 cores=0,2,4,6
/proc/5310/task/5342/stat : 5342 (java) S 5307 5310 3728 0 -1 4202560 1734 0 0 0 36 0 0 0 15 0 19 0 904894042 13953814528 19884 33554432000 1073741824 1073778376 140735756709008 18446744073709551615 224296741785 0 4 0 16800975 18446604447416901952 0 0 -1 0 0 0 0
[pid=5310/tid=5345] ppid=5307 vsize=13626772 CPUtime=0.22 cores=0,2,4,6
/proc/5310/task/5345/stat : 5345 (java) S 5307 5310 3728 0 -1 4202560 1352 0 0 0 22 0 0 0 15 0 19 0 904894042 13953814528 19884 33554432000 1073741824 1073778376 140735756709008 18446744073709551615 224296741785 0 4 0 16800975 18446604447416901952 0 0 -1 4 0 0 0
################
# More data... #
################
/proc/5310/task/5321/stat : 5321 (java) S 5307 5310 3728 0 -1 4202560 16 0 0 0 2 0 0 0 15 0 19 0 904894038 13953814528 20152 33554432000 1073741824 1073778376 140735756709008 18446744073709551615 224296741785 0 4 0 16800975 18446604447416901952 0 0 -1 2 0 0 0
[pid=5310/tid=5323] ppid=5307 vsize=13626772 CPUtime=0.03 cores=0,2,4,6
/proc/5310/task/5323/stat : 5323 (java) S 5307 5310 3728 0 -1 4202560 6 0 0 0 3 0 0 0 15 0 19 0 904894038 13953814528 20152 33554432000 1073741824 1073778376 140735756709008 18446744073709551615 224296741785 0 4 0 16800975 18446604447416901952 0 0 -1 2 0 0 0
[pid=5310/tid=5325] ppid=5307 vsize=13626772 CPUtime=0.03 cores=0,2,4,6
/proc/5310/task/5325/stat : 5325 (java) S 5307 5310 3728 0 -1 4202560 19 0 0 0 3 0 0 0 15 0 19 0 904894038 13953814528 20152 33554432000 1073741824 1073778376 140735756709008 18446744073709551615 224296741785 0 4 0 16800975 18446604447416901952 0 0 -1 2 0 0 0
[pid=5310/tid=5327] ppid=5307 vsize=13626772 CPUtime=0.03 cores=0,2,4,6
/proc/5310/task/5327/stat : 5327 (java) S 5307 5310 3728 0 -1 4202560 7 0 0 0 3 0 0 0 15 0 19 0 904894038 13953814528 20152 33554432000 1073741824 1073778376 140735756709008 18446744073709551615 224296741785 0 4 0 16800975 18446604447416901952 0 0 -1 4 0 0 0
[pid=5310/tid=5329] ppid=5307 vsize=13626772 CPUtime=0.03 cores=0,2,4,6
/proc/5310/task/5329/stat : 5329 (java) S 5307 5310 3728 0 -1 4202560 190 0 0 0 3 0 0 0 15 0 19 0 904894038 13953814528 20152 33554432000 1073741824 1073778376 140735756709008 18446744073709551615 224296741785 0 4 0 16800975 18446604447416901952 0 0 -1 6 0 0 0
[pid=5310/tid=5331] ppid=5307 vsize=13626772 CPUtime=0.04 cores=0,2,4,6
/proc/5310/task/5331/stat : 5331 (java) S 5307 5310 3728 0 -1 4202560 180 0 0 0 4 0 0 0 15 0 19 0 904894038 13953814528 20152 33554432000 1073741824 1073778376 140735756709008 18446744073709551615 224296741785 0 4 0 16800975 18446604447416901952 0 0 -1 6 0 0 0
[pid=5310/tid=5332] ppid=5307 vsize=13626772 CPUtime=0.02 cores=0,2,4,6
/proc/5310/task/5332/stat : 5332 (java) S 5307 5310 3728 0 -1 4202560 112 0 0 0 2 0 0 0 15 0 19 0 904894038 13953814528 20152 33554432000 1073741824 1073778376 140735756709008 18446744073709551615 224296741785 0 4 0 16800975 18446604447416901952 0 0 -1 6 0 0 0
[pid=5310/tid=5333] ppid=5307 vsize=13626772 CPUtime=1.61 cores=0,2,4,6
/proc/5310/task/5333/stat : 5333 (java) S 5307 5310 3728 0 -1 4202560 1098 0 0 0 160 1 0 0 16 0 19 0 904894039 13953814528 20152 33554432000 1073741824 1073778376 140735756709008 18446744073709551615 224296742400 0 0 0 16800975 18446604447416901952 0 0 -1 0 0 0 0
[pid=5310/tid=5336] ppid=5307 vsize=13626772 CPUtime=0 cores=0,2,4,6
/proc/5310/task/5336/stat : 5336 (java) S 5307 5310 3728 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 904894040 13953814528 20152 33554432000 1073741824 1073778376 140735756709008 18446744073709551615 224296741785 0 4 0 16800975 18446604447416901952 0 0 -1 2 0 0 0
[pid=5310/tid=5338] ppid=5307 vsize=13626772 CPUtime=0 cores=0,2,4,6
/proc/5310/task/5338/stat : 5338 (java) S 5307 5310 3728 0 -1 4202560 10 0 0 0 0 0 0 0 19 0 19 0 904894040 13953814528 20152 33554432000 1073741824 1073778376 140735756709008 18446744073709551615 224296741785 0 4 0 16800975 18446604447416901952 0 0 -1 4 0 0 0
[pid=5310/tid=5341] ppid=5307 vsize=13626772 CPUtime=0 cores=0,2,4,6
/proc/5310/task/5341/stat : 5341 (java) S 5307 5310 3728 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 904894042 13953814528 20152 33554432000 1073741824 1073778376 140735756709008 18446744073709551615 224296749489 0 4 0 16800975 18446604447416901952 0 0 -1 2 0 0 0
[pid=5310/tid=5342] ppid=5307 vsize=13626772 CPUtime=0.39 cores=0,2,4,6
/proc/5310/task/5342/stat : 5342 (java) S 5307 5310 3728 0 -1 4202560 2215 0 0 0 39 0 0 0 15 0 19 0 904894042 13953814528 20152 33554432000 1073741824 1073778376 140735756709008 18446744073709551615 224296741785 0 4 0 16800975 18446604447416901952 0 0 -1 0 0 0 0
[pid=5310/tid=5345] ppid=5307 vsize=13626772 CPUtime=0.27 cores=0,2,4,6
/proc/5310/task/5345/stat : 5345 (java) S 5307 5310 3728 0 -1 4202560 1365 0 0 0 27 0 0 0 15 0 19 0 904894042 13953814528 20152 33554432000 1073741824 1073778376 140735756709008 18446744073709551615 224296741785 0 4 0 16800975 18446604447416901952 0 0 -1 4 0 0 0
[pid=5310/tid=5346] ppid=5307 vsize=13626772 CPUtime=0 cores=0,2,4,6
/proc/5310/task/5346/stat : 5346 (java) S 5307 5310 3728 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 904894042 13953814528 20152 33554432000 1073741824 1073778376 140735756709008 18446744073709551615 224296741785 0 4 0 16800975 18446604447416901952 0 0 -1 2 0 0 0
[pid=5310/tid=5348] ppid=5307 vsize=13626772 CPUtime=0 cores=0,2,4,6
/proc/5310/task/5348/stat : 5348 (java) S 5307 5310 3728 0 -1 4202560 5 0 0 0 0 0 0 0 15 0 19 0 904894042 13953814528 20152 33554432000 1073741824 1073778376 140735756709008 18446744073709551615 224296742400 0 4 0 16800975 18446604447416901952 0 0 -1 6 0 0 0
[pid=5310/tid=5350] ppid=5307 vsize=13626772 CPUtime=0 cores=0,2,4,6
/proc/5310/task/5350/stat : 5350 (java) S 5307 5310 3728 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 904894065 13953814528 20152 33554432000 1073741824 1073778376 140735756709008 18446744073709551615 224296742400 0 4 0 16800975 18446604447416901952 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 51.87
Current children cumulated vsize (KiB) 13626772
[startup+102.323 s]
/proc/loadavg: 1.84 1.64 1.81 3/595 5352
/proc/meminfo: memFree=28564892/32951124 swapFree=34426104/67111528
[pid=5310] ppid=5307 vsize=13626772 CPUtime=103.21 cores=0,2,4,6
/proc/5310/stat : 5310 (java) S 5307 5310 3728 0 -1 4202496 22801 0 1 0 10314 7 0 0 18 0 19 0 904894035 13953814528 20420 33554432000 1073741824 1073778376 140735756709008 18446744073709551615 224296728549 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/5310/statm: 3406693 20420 2253 9 0 3397427 0
[pid=5310/tid=5313] ppid=5307 vsize=13626772 CPUtime=99.3 cores=0,2,4,6
/proc/5310/task/5313/stat : 5313 (java) R 5307 5310 3728 0 -1 4202560 15724 0 1 0 9927 3 0 0 19 0 19 0 904894035 13953814528 20420 33554432000 1073741824 1073778376 140735756709008 18446744073709551615 46912505667328 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=5310/tid=5319] ppid=5307 vsize=13626772 CPUtime=0.04 cores=0,2,4,6
/proc/5310/task/5319/stat : 5319 (java) S 5307 5310 3728 0 -1 4202560 88 0 0 0 4 0 0 0 15 0 19 0 904894038 13953814528 20420 33554432000 1073741824 1073778376 140735756709008 18446744073709551615 224296741785 0 4 0 16800975 18446604447416901952 0 0 -1 4 0 0 0
[pid=5310/tid=5321] ppid=5307 vsize=13626772 CPUtime=0.04 cores=0,2,4,6
/proc/5310/task/5321/stat : 5321 (java) S 5307 5310 3728 0 -1 4202560 20 0 0 0 4 0 0 0 16 0 19 0 904894038 13953814528 20420 33554432000 1073741824 1073778376 140735756709008 18446744073709551615 224296741785 0 4 0 16800975 18446604447416901952 0 0 -1 4 0 0 0
[pid=5310/tid=5323] ppid=5307 vsize=13626772 CPUtime=0.05 cores=0,2,4,6
/proc/5310/task/5323/stat : 5323 (java) S 5307 5310 3728 0 -1 4202560 17 0 0 0 5 0 0 0 16 0 19 0 904894038 13953814528 20420 33554432000 1073741824 1073778376 140735756709008 18446744073709551615 224296741785 0 4 0 16800975 18446604447416901952 0 0 -1 6 0 0 0
[pid=5310/tid=5325] ppid=5307 vsize=13626772 CPUtime=0.06 cores=0,2,4,6
/proc/5310/task/5325/stat : 5325 (java) S 5307 5310 3728 0 -1 4202560 23 0 0 0 6 0 0 0 15 0 19 0 904894038 13953814528 20420 33554432000 1073741824 1073778376 140735756709008 18446744073709551615 224296741785 0 4 0 16800975 18446604447416901952 0 0 -1 2 0 0 0
[pid=5310/tid=5327] ppid=5307 vsize=13626772 CPUtime=0.05 cores=0,2,4,6
/proc/5310/task/5327/stat : 5327 (java) S 5307 5310 3728 0 -1 4202560 24 0 0 0 5 0 0 0 15 0 19 0 904894038 13953814528 20420 33554432000 1073741824 1073778376 140735756709008 18446744073709551615 224296741785 0 4 0 16800975 18446604447416901952 0 0 -1 2 0 0 0
[pid=5310/tid=5329] ppid=5307 vsize=13626772 CPUtime=0.05 cores=0,2,4,6
/proc/5310/task/5329/stat : 5329 (java) S 5307 5310 3728 0 -1 4202560 191 0 0 0 5 0 0 0 15 0 19 0 904894038 13953814528 20420 33554432000 1073741824 1073778376 140735756709008 18446744073709551615 224296741785 0 4 0 16800975 18446604447416901952 0 0 -1 2 0 0 0
[pid=5310/tid=5331] ppid=5307 vsize=13626772 CPUtime=0.06 cores=0,2,4,6
/proc/5310/task/5331/stat : 5331 (java) S 5307 5310 3728 0 -1 4202560 180 0 0 0 6 0 0 0 15 0 19 0 904894038 13953814528 20420 33554432000 1073741824 1073778376 140735756709008 18446744073709551615 224296741785 0 4 0 16800975 18446604447416901952 0 0 -1 2 0 0 0
[pid=5310/tid=5332] ppid=5307 vsize=13626772 CPUtime=0.04 cores=0,2,4,6
/proc/5310/task/5332/stat : 5332 (java) S 5307 5310 3728 0 -1 4202560 136 0 0 0 4 0 0 0 15 0 19 0 904894038 13953814528 20420 33554432000 1073741824 1073778376 140735756709008 18446744073709551615 224296741785 0 4 0 16800975 18446604447416901952 0 0 -1 6 0 0 0
[pid=5310/tid=5333] ppid=5307 vsize=13626772 CPUtime=2.73 cores=0,2,4,6
/proc/5310/task/5333/stat : 5333 (java) S 5307 5310 3728 0 -1 4202560 1209 0 0 0 271 2 0 0 15 0 19 0 904894039 13953814528 20420 33554432000 1073741824 1073778376 140735756709008 18446744073709551615 224296742400 0 0 0 16800975 18446604447416901952 0 0 -1 0 0 0 0
[pid=5310/tid=5336] ppid=5307 vsize=13626772 CPUtime=0 cores=0,2,4,6
/proc/5310/task/5336/stat : 5336 (java) S 5307 5310 3728 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 904894040 13953814528 20420 33554432000 1073741824 1073778376 140735756709008 18446744073709551615 224296741785 0 4 0 16800975 18446604447416901952 0 0 -1 2 0 0 0
[pid=5310/tid=5338] ppid=5307 vsize=13626772 CPUtime=0 cores=0,2,4,6
/proc/5310/task/5338/stat : 5338 (java) S 5307 5310 3728 0 -1 4202560 10 0 0 0 0 0 0 0 19 0 19 0 904894040 13953814528 20420 33554432000 1073741824 1073778376 140735756709008 18446744073709551615 224296741785 0 4 0 16800975 18446604447416901952 0 0 -1 4 0 0 0
[pid=5310/tid=5341] ppid=5307 vsize=13626772 CPUtime=0 cores=0,2,4,6
/proc/5310/task/5341/stat : 5341 (java) S 5307 5310 3728 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 904894042 13953814528 20420 33554432000 1073741824 1073778376 140735756709008 18446744073709551615 224296749489 0 4 0 16800975 18446604447416901952 0 0 -1 2 0 0 0
[pid=5310/tid=5342] ppid=5307 vsize=13626772 CPUtime=0.41 cores=0,2,4,6
/proc/5310/task/5342/stat : 5342 (java) S 5307 5310 3728 0 -1 4202560 2654 0 0 0 41 0 0 0 15 0 19 0 904894042 13953814528 20420 33554432000 1073741824 1073778376 140735756709008 18446744073709551615 224296741785 0 4 0 16800975 18446604447416901952 0 0 -1 0 0 0 0
[pid=5310/tid=5345] ppid=5307 vsize=13626772 CPUtime=0.31 cores=0,2,4,6
/proc/5310/task/5345/stat : 5345 (java) S 5307 5310 3728 0 -1 4202560 1378 0 0 0 31 0 0 0 15 0 19 0 904894042 13953814528 20420 33554432000 1073741824 1073778376 140735756709008 18446744073709551615 224296741785 0 4 0 16800975 18446604447416901952 0 0 -1 4 0 0 0
[pid=5310/tid=5346] ppid=5307 vsize=13626772 CPUtime=0 cores=0,2,4,6
/proc/5310/task/5346/stat : 5346 (java) S 5307 5310 3728 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 904894042 13953814528 20420 33554432000 1073741824 1073778376 140735756709008 18446744073709551615 224296741785 0 4 0 16800975 18446604447416901952 0 0 -1 2 0 0 0
[pid=5310/tid=5348] ppid=5307 vsize=13626772 CPUtime=0 cores=0,2,4,6
/proc/5310/task/5348/stat : 5348 (java) S 5307 5310 3728 0 -1 4202560 7 0 0 0 0 0 0 0 15 0 19 0 904894042 13953814528 20420 33554432000 1073741824 1073778376 140735756709008 18446744073709551615 224296742400 0 4 0 16800975 18446604447416901952 0 0 -1 6 0 0 0
[pid=5310/tid=5350] ppid=5307 vsize=13626772 CPUtime=0 cores=0,2,4,6
/proc/5310/task/5350/stat : 5350 (java) S 5307 5310 3728 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 904894065 13953814528 20420 33554432000 1073741824 1073778376 140735756709008 18446744073709551615 224296742400 0 4 0 16800975 18446604447416901952 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 103.21
Current children cumulated vsize (KiB) 13626772
Solver just ended. Dumping a history of the last processes samples
[startup+102.701 s]
/proc/loadavg: 1.84 1.64 1.81 3/595 5352
/proc/meminfo: memFree=28564892/32951124 swapFree=34426104/67111528
[pid=5310] ppid=5307 vsize=13626772 CPUtime=103.59 cores=0,2,4,6
/proc/5310/stat : 5310 (java) S 5307 5310 3728 0 -1 4202496 22808 0 1 0 10352 7 0 0 18 0 19 0 904894035 13953814528 20426 33554432000 1073741824 1073778376 140735756709008 18446744073709551615 224296728549 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/5310/statm: 3406693 20426 2253 9 0 3397427 0
[pid=5310/tid=5313] ppid=5307 vsize=13626772 CPUtime=99.66 cores=0,2,4,6
/proc/5310/task/5313/stat : 5313 (java) R 5307 5310 3728 0 -1 4202560 15725 0 1 0 9963 3 0 0 19 0 19 0 904894035 13953814528 20426 33554432000 1073741824 1073778376 140735756709008 18446744073709551615 46912505631568 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=5310/tid=5319] ppid=5307 vsize=13626772 CPUtime=0.04 cores=0,2,4,6
/proc/5310/task/5319/stat : 5319 (java) S 5307 5310 3728 0 -1 4202560 88 0 0 0 4 0 0 0 15 0 19 0 904894038 13953814528 20426 33554432000 1073741824 1073778376 140735756709008 18446744073709551615 224296741785 0 4 0 16800975 18446604447416901952 0 0 -1 4 0 0 0
[pid=5310/tid=5321] ppid=5307 vsize=13626772 CPUtime=0.04 cores=0,2,4,6
/proc/5310/task/5321/stat : 5321 (java) S 5307 5310 3728 0 -1 4202560 20 0 0 0 4 0 0 0 15 0 19 0 904894038 13953814528 20426 33554432000 1073741824 1073778376 140735756709008 18446744073709551615 224296741785 0 4 0 16800975 18446604447416901952 0 0 -1 4 0 0 0
[pid=5310/tid=5323] ppid=5307 vsize=13626772 CPUtime=0.05 cores=0,2,4,6
/proc/5310/task/5323/stat : 5323 (java) S 5307 5310 3728 0 -1 4202560 17 0 0 0 5 0 0 0 15 0 19 0 904894038 13953814528 20426 33554432000 1073741824 1073778376 140735756709008 18446744073709551615 224296741785 0 4 0 16800975 18446604447416901952 0 0 -1 6 0 0 0
[pid=5310/tid=5325] ppid=5307 vsize=13626772 CPUtime=0.06 cores=0,2,4,6
/proc/5310/task/5325/stat : 5325 (java) S 5307 5310 3728 0 -1 4202560 23 0 0 0 6 0 0 0 15 0 19 0 904894038 13953814528 20426 33554432000 1073741824 1073778376 140735756709008 18446744073709551615 224296741785 0 4 0 16800975 18446604447416901952 0 0 -1 2 0 0 0
[pid=5310/tid=5327] ppid=5307 vsize=13626772 CPUtime=0.05 cores=0,2,4,6
/proc/5310/task/5327/stat : 5327 (java) S 5307 5310 3728 0 -1 4202560 24 0 0 0 5 0 0 0 15 0 19 0 904894038 13953814528 20426 33554432000 1073741824 1073778376 140735756709008 18446744073709551615 224296741785 0 4 0 16800975 18446604447416901952 0 0 -1 4 0 0 0
[pid=5310/tid=5329] ppid=5307 vsize=13626772 CPUtime=0.05 cores=0,2,4,6
/proc/5310/task/5329/stat : 5329 (java) S 5307 5310 3728 0 -1 4202560 191 0 0 0 5 0 0 0 15 0 19 0 904894038 13953814528 20426 33554432000 1073741824 1073778376 140735756709008 18446744073709551615 224296741785 0 4 0 16800975 18446604447416901952 0 0 -1 2 0 0 0
[pid=5310/tid=5331] ppid=5307 vsize=13626772 CPUtime=0.06 cores=0,2,4,6
/proc/5310/task/5331/stat : 5331 (java) S 5307 5310 3728 0 -1 4202560 180 0 0 0 6 0 0 0 16 0 19 0 904894038 13953814528 20426 33554432000 1073741824 1073778376 140735756709008 18446744073709551615 224296741785 0 4 0 16800975 18446604447416901952 0 0 -1 2 0 0 0
[pid=5310/tid=5332] ppid=5307 vsize=13626772 CPUtime=0.04 cores=0,2,4,6
/proc/5310/task/5332/stat : 5332 (java) S 5307 5310 3728 0 -1 4202560 136 0 0 0 4 0 0 0 15 0 19 0 904894038 13953814528 20426 33554432000 1073741824 1073778376 140735756709008 18446744073709551615 224296741785 0 4 0 16800975 18446604447416901952 0 0 -1 6 0 0 0
[pid=5310/tid=5333] ppid=5307 vsize=13626772 CPUtime=2.75 cores=0,2,4,6
/proc/5310/task/5333/stat : 5333 (java) S 5307 5310 3728 0 -1 4202560 1215 0 0 0 273 2 0 0 15 0 19 0 904894039 13953814528 20426 33554432000 1073741824 1073778376 140735756709008 18446744073709551615 224296742400 0 0 0 16800975 18446604447416901952 0 0 -1 0 0 0 0
[pid=5310/tid=5336] ppid=5307 vsize=13626772 CPUtime=0 cores=0,2,4,6
/proc/5310/task/5336/stat : 5336 (java) S 5307 5310 3728 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 904894040 13953814528 20426 33554432000 1073741824 1073778376 140735756709008 18446744073709551615 224296741785 0 4 0 16800975 18446604447416901952 0 0 -1 2 0 0 0
[pid=5310/tid=5338] ppid=5307 vsize=13626772 CPUtime=0 cores=0,2,4,6
/proc/5310/task/5338/stat : 5338 (java) S 5307 5310 3728 0 -1 4202560 10 0 0 0 0 0 0 0 19 0 19 0 904894040 13953814528 20426 33554432000 1073741824 1073778376 140735756709008 18446744073709551615 224296741785 0 4 0 16800975 18446604447416901952 0 0 -1 4 0 0 0
[pid=5310/tid=5341] ppid=5307 vsize=13626772 CPUtime=0 cores=0,2,4,6
/proc/5310/task/5341/stat : 5341 (java) S 5307 5310 3728 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 904894042 13953814528 20426 33554432000 1073741824 1073778376 140735756709008 18446744073709551615 224296749489 0 4 0 16800975 18446604447416901952 0 0 -1 2 0 0 0
[pid=5310/tid=5342] ppid=5307 vsize=13626772 CPUtime=0.41 cores=0,2,4,6
/proc/5310/task/5342/stat : 5342 (java) S 5307 5310 3728 0 -1 4202560 2654 0 0 0 41 0 0 0 15 0 19 0 904894042 13953814528 20426 33554432000 1073741824 1073778376 140735756709008 18446744073709551615 224296741785 0 4 0 16800975 18446604447416901952 0 0 -1 0 0 0 0
[pid=5310/tid=5345] ppid=5307 vsize=13626772 CPUtime=0.31 cores=0,2,4,6
/proc/5310/task/5345/stat : 5345 (java) S 5307 5310 3728 0 -1 4202560 1378 0 0 0 31 0 0 0 15 0 19 0 904894042 13953814528 20426 33554432000 1073741824 1073778376 140735756709008 18446744073709551615 224296741785 0 4 0 16800975 18446604447416901952 0 0 -1 4 0 0 0
[pid=5310/tid=5346] ppid=5307 vsize=13626772 CPUtime=0 cores=0,2,4,6
/proc/5310/task/5346/stat : 5346 (java) S 5307 5310 3728 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 904894042 13953814528 20426 33554432000 1073741824 1073778376 140735756709008 18446744073709551615 224296741785 0 4 0 16800975 18446604447416901952 0 0 -1 2 0 0 0
[pid=5310/tid=5348] ppid=5307 vsize=13626772 CPUtime=0 cores=0,2,4,6
/proc/5310/task/5348/stat : 5348 (java) S 5307 5310 3728 0 -1 4202560 7 0 0 0 0 0 0 0 15 0 19 0 904894042 13953814528 20426 33554432000 1073741824 1073778376 140735756709008 18446744073709551615 224296742400 0 4 0 16800975 18446604447416901952 0 0 -1 6 0 0 0
[pid=5310/tid=5350] ppid=5307 vsize=13626772 CPUtime=0 cores=0,2,4,6
/proc/5310/task/5350/stat : 5350 (java) S 5307 5310 3728 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 904894065 13953814528 20426 33554432000 1073741824 1073778376 140735756709008 18446744073709551615 224296742400 0 4 0 16800975 18446604447416901952 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 103.59
Current children cumulated vsize (KiB) 13626772
[startup+102.901 s]
/proc/loadavg: 1.84 1.64 1.81 3/595 5352
/proc/meminfo: memFree=28564892/32951124 swapFree=34426104/67111528
[pid=5310] ppid=5307 vsize=13626772 CPUtime=103.79 cores=0,2,4,6
/proc/5310/stat : 5310 (java) S 5307 5310 3728 0 -1 4202496 22808 0 1 0 10372 7 0 0 18 0 19 0 904894035 13953814528 20426 33554432000 1073741824 1073778376 140735756709008 18446744073709551615 224296728549 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/5310/statm: 3406693 20426 2253 9 0 3397427 0
[pid=5310/tid=5313] ppid=5307 vsize=13626772 CPUtime=99.86 cores=0,2,4,6
/proc/5310/task/5313/stat : 5313 (java) R 5307 5310 3728 0 -1 4202560 15725 0 1 0 9983 3 0 0 20 0 19 0 904894035 13953814528 20426 33554432000 1073741824 1073778376 140735756709008 18446744073709551615 46912505608728 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=5310/tid=5319] ppid=5307 vsize=13626772 CPUtime=0.04 cores=0,2,4,6
/proc/5310/task/5319/stat : 5319 (java) S 5307 5310 3728 0 -1 4202560 88 0 0 0 4 0 0 0 15 0 19 0 904894038 13953814528 20426 33554432000 1073741824 1073778376 140735756709008 18446744073709551615 224296741785 0 4 0 16800975 18446604447416901952 0 0 -1 4 0 0 0
[pid=5310/tid=5321] ppid=5307 vsize=13626772 CPUtime=0.04 cores=0,2,4,6
/proc/5310/task/5321/stat : 5321 (java) S 5307 5310 3728 0 -1 4202560 20 0 0 0 4 0 0 0 15 0 19 0 904894038 13953814528 20426 33554432000 1073741824 1073778376 140735756709008 18446744073709551615 224296741785 0 4 0 16800975 18446604447416901952 0 0 -1 4 0 0 0
[pid=5310/tid=5323] ppid=5307 vsize=13626772 CPUtime=0.05 cores=0,2,4,6
/proc/5310/task/5323/stat : 5323 (java) S 5307 5310 3728 0 -1 4202560 17 0 0 0 5 0 0 0 15 0 19 0 904894038 13953814528 20426 33554432000 1073741824 1073778376 140735756709008 18446744073709551615 224296741785 0 4 0 16800975 18446604447416901952 0 0 -1 6 0 0 0
[pid=5310/tid=5325] ppid=5307 vsize=13626772 CPUtime=0.06 cores=0,2,4,6
/proc/5310/task/5325/stat : 5325 (java) S 5307 5310 3728 0 -1 4202560 23 0 0 0 6 0 0 0 15 0 19 0 904894038 13953814528 20426 33554432000 1073741824 1073778376 140735756709008 18446744073709551615 224296741785 0 4 0 16800975 18446604447416901952 0 0 -1 2 0 0 0
[pid=5310/tid=5327] ppid=5307 vsize=13626772 CPUtime=0.05 cores=0,2,4,6
/proc/5310/task/5327/stat : 5327 (java) S 5307 5310 3728 0 -1 4202560 24 0 0 0 5 0 0 0 15 0 19 0 904894038 13953814528 20426 33554432000 1073741824 1073778376 140735756709008 18446744073709551615 224296741785 0 4 0 16800975 18446604447416901952 0 0 -1 4 0 0 0
[pid=5310/tid=5329] ppid=5307 vsize=13626772 CPUtime=0.05 cores=0,2,4,6
/proc/5310/task/5329/stat : 5329 (java) S 5307 5310 3728 0 -1 4202560 191 0 0 0 5 0 0 0 15 0 19 0 904894038 13953814528 20426 33554432000 1073741824 1073778376 140735756709008 18446744073709551615 224296741785 0 4 0 16800975 18446604447416901952 0 0 -1 2 0 0 0
[pid=5310/tid=5331] ppid=5307 vsize=13626772 CPUtime=0.06 cores=0,2,4,6
/proc/5310/task/5331/stat : 5331 (java) S 5307 5310 3728 0 -1 4202560 180 0 0 0 6 0 0 0 16 0 19 0 904894038 13953814528 20426 33554432000 1073741824 1073778376 140735756709008 18446744073709551615 224296741785 0 4 0 16800975 18446604447416901952 0 0 -1 2 0 0 0
[pid=5310/tid=5332] ppid=5307 vsize=13626772 CPUtime=0.04 cores=0,2,4,6
/proc/5310/task/5332/stat : 5332 (java) S 5307 5310 3728 0 -1 4202560 136 0 0 0 4 0 0 0 15 0 19 0 904894038 13953814528 20426 33554432000 1073741824 1073778376 140735756709008 18446744073709551615 224296741785 0 4 0 16800975 18446604447416901952 0 0 -1 6 0 0 0
[pid=5310/tid=5333] ppid=5307 vsize=13626772 CPUtime=2.75 cores=0,2,4,6
/proc/5310/task/5333/stat : 5333 (java) S 5307 5310 3728 0 -1 4202560 1215 0 0 0 273 2 0 0 15 0 19 0 904894039 13953814528 20426 33554432000 1073741824 1073778376 140735756709008 18446744073709551615 224296742400 0 0 0 16800975 18446604447416901952 0 0 -1 0 0 0 0
[pid=5310/tid=5336] ppid=5307 vsize=13626772 CPUtime=0 cores=0,2,4,6
/proc/5310/task/5336/stat : 5336 (java) S 5307 5310 3728 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 904894040 13953814528 20426 33554432000 1073741824 1073778376 140735756709008 18446744073709551615 224296741785 0 4 0 16800975 18446604447416901952 0 0 -1 2 0 0 0
[pid=5310/tid=5338] ppid=5307 vsize=13626772 CPUtime=0 cores=0,2,4,6
/proc/5310/task/5338/stat : 5338 (java) S 5307 5310 3728 0 -1 4202560 10 0 0 0 0 0 0 0 19 0 19 0 904894040 13953814528 20426 33554432000 1073741824 1073778376 140735756709008 18446744073709551615 224296741785 0 4 0 16800975 18446604447416901952 0 0 -1 4 0 0 0
[pid=5310/tid=5341] ppid=5307 vsize=13626772 CPUtime=0 cores=0,2,4,6
/proc/5310/task/5341/stat : 5341 (java) S 5307 5310 3728 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 904894042 13953814528 20426 33554432000 1073741824 1073778376 140735756709008 18446744073709551615 224296749489 0 4 0 16800975 18446604447416901952 0 0 -1 2 0 0 0
[pid=5310/tid=5342] ppid=5307 vsize=13626772 CPUtime=0.41 cores=0,2,4,6
/proc/5310/task/5342/stat : 5342 (java) S 5307 5310 3728 0 -1 4202560 2654 0 0 0 41 0 0 0 15 0 19 0 904894042 13953814528 20426 33554432000 1073741824 1073778376 140735756709008 18446744073709551615 224296741785 0 4 0 16800975 18446604447416901952 0 0 -1 0 0 0 0
[pid=5310/tid=5345] ppid=5307 vsize=13626772 CPUtime=0.31 cores=0,2,4,6
/proc/5310/task/5345/stat : 5345 (java) S 5307 5310 3728 0 -1 4202560 1378 0 0 0 31 0 0 0 15 0 19 0 904894042 13953814528 20426 33554432000 1073741824 1073778376 140735756709008 18446744073709551615 224296741785 0 4 0 16800975 18446604447416901952 0 0 -1 4 0 0 0
[pid=5310/tid=5346] ppid=5307 vsize=13626772 CPUtime=0 cores=0,2,4,6
/proc/5310/task/5346/stat : 5346 (java) S 5307 5310 3728 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 904894042 13953814528 20426 33554432000 1073741824 1073778376 140735756709008 18446744073709551615 224296741785 0 4 0 16800975 18446604447416901952 0 0 -1 2 0 0 0
[pid=5310/tid=5348] ppid=5307 vsize=13626772 CPUtime=0 cores=0,2,4,6
/proc/5310/task/5348/stat : 5348 (java) S 5307 5310 3728 0 -1 4202560 7 0 0 0 0 0 0 0 15 0 19 0 904894042 13953814528 20426 33554432000 1073741824 1073778376 140735756709008 18446744073709551615 224296742400 0 4 0 16800975 18446604447416901952 0 0 -1 6 0 0 0
[pid=5310/tid=5350] ppid=5307 vsize=13626772 CPUtime=0 cores=0,2,4,6
/proc/5310/task/5350/stat : 5350 (java) S 5307 5310 3728 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 904894065 13953814528 20426 33554432000 1073741824 1073778376 140735756709008 18446744073709551615 224296742400 0 4 0 16800975 18446604447416901952 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 103.79
Current children cumulated vsize (KiB) 13626772
Child status: 30
Real time (s): 102.983
CPU time (s): 103.879
CPU user time (s): 103.803
CPU system time (s): 0.075988
CPU usage (%): 100.87
Max. virtual memory (cumulated for all children) (KiB): 13626772
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 103.803
system time used= 0.075988
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 22841
page faults= 1
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 7288
involuntary context switches= 2674
runsolver used 0.648901 second user time and 1.41578 second system time
The end