2017 XCSP3 competition: main track (CSP and COP, sequential and parallel solvers) competition: execution trace

Solver Name	Answer	objective function	CPU time	Wall clock time
sat4j-CSP 2017-07-05	?		1411.67	383.82599
runsolver version 3.4.0 (svn: 3012) Copyright (C) 2010-2013 Olivier ROUSSEL

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

NUMA information:
  number of nodes: 2
  memory of node 0: 16374 MiB (13200 MiB free)
  memory of node 1: 16384 MiB (15569 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4263753-1502640803/watcher-4263753-1502640803 -o /tmp/evaluation-result-4263753-1502640803/solver-4263753-1502640803 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node126-1502596857-19457 --watchdog 2580 java -DCompetitionOutput -jar HOME/sat4j-csp-170705.jar HOME/instance-4263753-1502640803.xml 

running on 4 cores: 1,3,5,7

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=30269, runsolver pid=30266
Current StackSize limit: 8192 KiB


[startup+0.100155 s]*
/proc/loadavg: 1.94 2.00 2.40 3/204 30278
/proc/meminfo: memFree=29449416/32770624 swapFree=67105588/67108860
[pid=30269] ppid=30266 vsize=10151672 memory=19956 CPUtime=0.03 cores=1,3,5,7
/proc/30269/stat : 30269 (java) S 30266 30269 12560 0 -1 1077944320 3903 0 0 0 3 0 0 0 20 0 9 0 66275664 10395312128 4989 18446744073709551615 4194304 4196468 140736238388176 140736238370720 139870729576183 0 0 1 16800970 18446744073709551615 0 0 17 7 0 0 6 0 0 6293624 6294260 31465472 140736238395792 140736238395945 140736238395945 140736238399439 0
/proc/30269/statm: 2537918 4989 2122 1 0 2527415 0
[pid=30269/tid=30271] ppid=30266 vsize=10151672 memory=-6439968830534014599 CPUtime=0.03 cores=1,3,5,7
/proc/30269/task/30271/stat : 30271 (java) R 30266 30269 12560 0 -1 4202560 2546 0 0 0 3 0 0 0 20 0 9 0 66275670 10395312128 4989 18446744073709551615 4194304 4196468 140736238388176 139870733811576 139870707901872 0 4 1 16800970 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 31465472 140736238395792 140736238395945 140736238395945 140736238399439 0
[pid=30269/tid=30272] ppid=30266 vsize=10151672 memory=0 CPUtime=0 cores=1,3,5,7
/proc/30269/task/30272/stat : 30272 (java) S 30266 30269 12560 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 9 0 66275671 10395312128 4989 18446744073709551615 4194304 4196468 140736238388176 139870659996176 139870729586389 0 4 1 16800970 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31465472 140736238395792 140736238395945 140736238395945 140736238399439 0
[pid=30269/tid=30273] ppid=30266 vsize=10151672 memory=140575399970432 CPUtime=0 cores=1,3,5,7
/proc/30269/task/30273/stat : 30273 (java) S 30266 30269 12560 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 9 0 66275671 10395312128 4989 18446744073709551615 4194304 4196468 140736238388176 139870658943632 139870729586389 0 4 1 16800970 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31465472 140736238395792 140736238395945 140736238395945 140736238399439 0
[pid=30269/tid=30274] ppid=30266 vsize=10151672 memory=0 CPUtime=0 cores=1,3,5,7
/proc/30269/task/30274/stat : 30274 (java) S 30266 30269 12560 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 9 0 66275671 10395312128 4989 18446744073709551615 4194304 4196468 140736238388176 139870657890576 139870729586389 0 4 1 16800970 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31465472 140736238395792 140736238395945 140736238395945 140736238399439 0
[pid=30269/tid=30275] ppid=30266 vsize=10151672 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/30269/task/30275/stat : 30275 (java) S 30266 30269 12560 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 9 0 66275671 10395312128 4989 18446744073709551615 4194304 4196468 140736238388176 139870656838032 139870729586389 0 4 1 16800970 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31465472 140736238395792 140736238395945 140736238395945 140736238399439 0
[pid=30269/tid=30276] ppid=30266 vsize=10151672 memory=140575399970432 CPUtime=0 cores=1,3,5,7
/proc/30269/task/30276/stat : 30276 (java) S 30266 30269 12560 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 9 0 66275672 10395312128 4989 18446744073709551615 4194304 4196468 140736238388176 139870225763056 139870729587330 0 0 1 16800970 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31465472 140736238395792 140736238395945 140736238395945 140736238399439 0
[pid=30269/tid=30277] ppid=30266 vsize=10151672 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/30269/task/30277/stat : 30277 (java) S 30266 30269 12560 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 9 0 66275673 10395312128 4989 18446744073709551615 4194304 4196468 140736238388176 139870224709280 139870729586389 0 4 1 16800970 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31465472 140736238395792 140736238395945 140736238395945 140736238399439 0
[pid=30269/tid=30278] ppid=30266 vsize=10151672 memory=0 CPUtime=0 cores=1,3,5,7
/proc/30269/task/30278/stat : 30278 (java) S 30266 30269 12560 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 9 0 66275673 10395312128 4989 18446744073709551615 4194304 4196468 140736238388176 139870223656176 139870729586389 0 4 1 16800970 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31465472 140736238395792 140736238395945 140736238395945 140736238399439 0
Current children cumulated CPU time: 0.03 s
Current children cumulated vsize: 10151672 KiB
Current children cumulated memory: 19956 KiB

[startup+0.20976 s]*
/proc/loadavg: 1.94 2.00 2.40 3/210 30284
/proc/meminfo: memFree=29446340/32770624 swapFree=67105588/67108860
[pid=30269] ppid=30266 vsize=10551156 memory=27516 CPUtime=0.08 cores=1,3,5,7
/proc/30269/stat : 30269 (java) S 30266 30269 12560 0 -1 1077944320 4853 0 0 0 7 1 0 0 20 0 15 0 66275664 10804383744 6879 18446744073709551615 4194304 4196468 140736238388176 140736238370720 139870729576183 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 6 0 0 6293624 6294260 31465472 140736238395792 140736238395945 140736238395945 140736238399439 0
/proc/30269/statm: 2637789 6879 2744 1 0 2627261 0
[pid=30269/tid=30271] ppid=30266 vsize=10551156 memory=8318255677412212789 CPUtime=0.06 cores=1,3,5,7
/proc/30269/task/30271/stat : 30271 (java) R 30266 30269 12560 0 -1 4202560 2834 0 0 0 6 0 0 0 20 0 15 0 66275670 10804383744 6879 18446744073709551615 4194304 4196468 140736238388176 139870733790896 139870729598109 0 4 1 16800974 0 0 0 -1 3 0 0 7 0 0 6293624 6294260 31465472 140736238395792 140736238395945 140736238395945 140736238399439 0
[pid=30269/tid=30272] ppid=30266 vsize=10551156 memory=328 CPUtime=0 cores=1,3,5,7
/proc/30269/task/30272/stat : 30272 (java) S 30266 30269 12560 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 66275671 10804383744 6879 18446744073709551615 4194304 4196468 140736238388176 139870659996176 139870729586389 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31465472 140736238395792 140736238395945 140736238395945 140736238399439 0
[pid=30269/tid=30273] ppid=30266 vsize=10551156 memory=288370951551682176 CPUtime=0 cores=1,3,5,7
/proc/30269/task/30273/stat : 30273 (java) S 30266 30269 12560 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 66275671 10804383744 6879 18446744073709551615 4194304 4196468 140736238388176 139870658943632 139870729586389 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31465472 140736238395792 140736238395945 140736238395945 140736238399439 0
[pid=30269/tid=30274] ppid=30266 vsize=10551156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/30269/task/30274/stat : 30274 (java) S 30266 30269 12560 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 66275671 10804383744 6879 18446744073709551615 4194304 4196468 140736238388176 139870657890576 139870729586389 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31465472 140736238395792 140736238395945 140736238395945 140736238399439 0
[pid=30269/tid=30275] ppid=30266 vsize=10551156 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/30269/task/30275/stat : 30275 (java) S 30266 30269 12560 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 66275671 10804383744 6879 18446744073709551615 4194304 4196468 140736238388176 139870656838032 139870729586389 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31465472 140736238395792 140736238395945 140736238395945 140736238399439 0
[pid=30269/tid=30276] ppid=30266 vsize=10551156 memory=140575399970432 CPUtime=0 cores=1,3,5,7
/proc/30269/task/30276/stat : 30276 (java) S 30266 30269 12560 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 66275672 10804383744 6879 18446744073709551615 4194304 4196468 140736238388176 139870225763056 139870729587330 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31465472 140736238395792 140736238395945 140736238395945 140736238399439 0
[pid=30269/tid=30277] ppid=30266 vsize=10551156 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/30269/task/30277/stat : 30277 (java) S 30266 30269 12560 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 66275673 10804383744 6879 18446744073709551615 4194304 4196468 140736238388176 139870224709280 139870729586389 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31465472 140736238395792 140736238395945 140736238395945 140736238399439 0
[pid=30269/tid=30278] ppid=30266 vsize=10551156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/30269/task/30278/stat : 30278 (java) S 30266 30269 12560 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 66275673 10804383744 6879 18446744073709551615 4194304 4196468 140736238388176 139870223656176 139870729586389 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31465472 140736238395792 140736238395945 140736238395945 140736238399439 0
[pid=30269/tid=30279] ppid=30266 vsize=10551156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/30269/task/30279/stat : 30279 (java) S 30266 30269 12560 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 66275675 10804383744 6879 18446744073709551615 4194304 4196468 140736238388176 139870222604752 139870729594779 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31465472 140736238395792 140736238395945 140736238395945 140736238399439 0
[pid=30269/tid=30280] ppid=30266 vsize=10551156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/30269/task/30280/stat : 30280 (java) S 30266 30269 12560 0 -1 1077944384 420 0 0 0 0 0 0 0 20 0 15 0 66275675 10804383744 6879 18446744073709551615 4194304 4196468 140736238388176 139870221551856 139870729587330 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31465472 140736238395792 140736238395945 140736238395945 140736238399439 0
[pid=30269/tid=30281] ppid=30266 vsize=10551156 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/30269/task/30281/stat : 30281 (java) S 30266 30269 12560 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 66275675 10804383744 6879 18446744073709551615 4194304 4196468 140736238388176 139870220499312 139870729587330 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31465472 140736238395792 140736238395945 140736238395945 140736238399439 0
[pid=30269/tid=30282] ppid=30266 vsize=10551156 memory=140575399970432 CPUtime=0 cores=1,3,5,7
/proc/30269/task/30282/stat : 30282 (java) S 30266 30269 12560 0 -1 1077944384 229 0 0 0 0 0 0 0 20 0 15 0 66275675 10804383744 6879 18446744073709551615 4194304 4196468 140736238388176 139870219446256 139870729587330 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31465472 140736238395792 140736238395945 140736238395945 140736238399439 0
[pid=30269/tid=30283] ppid=30266 vsize=10551156 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/30269/task/30283/stat : 30283 (java) S 30266 30269 12560 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 66275675 10804383744 6879 18446744073709551615 4194304 4196468 140736238388176 139870218393952 139870729586389 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31465472 140736238395792 140736238395945 140736238395945 140736238399439 0
[pid=30269/tid=30284] ppid=30266 vsize=10551156 memory=140575399970432 CPUtime=0 cores=1,3,5,7
/proc/30269/task/30284/stat : 30284 (java) S 30266 30269 12560 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 66275683 10804383744 6879 18446744073709551615 4194304 4196468 140736238388176 139870217342000 139870729587330 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31465472 140736238395792 140736238395945 140736238395945 140736238399439 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 10551156 KiB
Current children cumulated memory: 27516 KiB

[startup+0.310145 s]*
/proc/loadavg: 1.94 2.00 2.40 3/210 30284
/proc/meminfo: memFree=29433640/32770624 swapFree=67105588/67108860
[pid=30269] ppid=30266 vsize=10551156 memory=36740 CPUtime=0.23 cores=1,3,5,7
/proc/30269/stat : 30269 (java) S 30266 30269 12560 0 -1 1077944320 7934 0 0 0 21 2 0 0 20 0 15 0 66275664 10804383744 9185 18446744073709551615 4194304 4196468 140736238388176 140736238370720 139870729576183 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 6 0 0 6293624 6294260 31465472 140736238395792 140736238395945 140736238395945 140736238399439 0
/proc/30269/statm: 2637789 9185 2861 1 0 2627261 0
[pid=30269/tid=30271] ppid=30266 vsize=10551156 memory=-8774313645642428999 CPUtime=0.17 cores=1,3,5,7
/proc/30269/task/30271/stat : 30271 (java) R 30266 30269 12560 0 -1 4202560 5608 0 0 0 15 2 0 0 20 0 15 0 66275670 10804383744 9185 18446744073709551615 4194304 4196468 140736238388176 139870733797488 139870729598109 0 4 1 16800974 0 0 0 -1 5 0 0 7 0 0 6293624 6294260 31465472 140736238395792 140736238395945 140736238395945 140736238399439 0
[pid=30269/tid=30272] ppid=30266 vsize=10551156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/30269/task/30272/stat : 30272 (java) S 30266 30269 12560 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 66275671 10804383744 9185 18446744073709551615 4194304 4196468 140736238388176 139870659996176 139870729586389 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31465472 140736238395792 140736238395945 140736238395945 140736238399439 0
[pid=30269/tid=30273] ppid=30266 vsize=10551156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/30269/task/30273/stat : 30273 (java) S 30266 30269 12560 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 66275671 10804383744 9185 18446744073709551615 4194304 4196468 140736238388176 139870658943632 139870729586389 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31465472 140736238395792 140736238395945 140736238395945 140736238399439 0
[pid=30269/tid=30274] ppid=30266 vsize=10551156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/30269/task/30274/stat : 30274 (java) S 30266 30269 12560 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 66275671 10804383744 9185 18446744073709551615 4194304 4196468 140736238388176 139870657890576 139870729586389 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31465472 140736238395792 140736238395945 140736238395945 140736238399439 0
[pid=30269/tid=30275] ppid=30266 vsize=10551156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/30269/task/30275/stat : 30275 (java) S 30266 30269 12560 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 66275671 10804383744 9185 18446744073709551615 4194304 4196468 140736238388176 139870656838032 139870729586389 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31465472 140736238395792 140736238395945 140736238395945 140736238399439 0
[pid=30269/tid=30276] ppid=30266 vsize=10551156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/30269/task/30276/stat : 30276 (java) S 30266 30269 12560 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 66275672 10804383744 9185 18446744073709551615 4194304 4196468 140736238388176 139870225763056 139870729587330 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31465472 140736238395792 140736238395945 140736238395945 140736238399439 0
[pid=30269/tid=30277] ppid=30266 vsize=10551156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/30269/task/30277/stat : 30277 (java) S 30266 30269 12560 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 66275673 10804383744 9185 18446744073709551615 4194304 4196468 140736238388176 139870224709280 139870729586389 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31465472 140736238395792 140736238395945 140736238395945 140736238399439 0
[pid=30269/tid=30278] ppid=30266 vsize=10551156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/30269/task/30278/stat : 30278 (java) S 30266 30269 12560 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 66275673 10804383744 9185 18446744073709551615 4194304 4196468 140736238388176 139870223656176 139870729586389 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31465472 140736238395792 140736238395945 140736238395945 140736238399439 0
[pid=30269/tid=30279] ppid=30266 vsize=10551156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/30269/task/30279/stat : 30279 (java) S 30266 30269 12560 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 66275675 10804383744 9185 18446744073709551615 4194304 4196468 140736238388176 139870222604752 139870729594779 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31465472 140736238395792 140736238395945 140736238395945 140736238399439 0
[pid=30269/tid=30280] ppid=30266 vsize=10551156 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/30269/task/30280/stat : 30280 (java) S 30266 30269 12560 0 -1 1077944384 484 0 0 0 1 0 0 0 20 0 15 0 66275675 10804383744 9185 18446744073709551615 4194304 4196468 140736238388176 139870221551856 139870729587330 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31465472 140736238395792 140736238395945 140736238395945 140736238399439 0
[pid=30269/tid=30281] ppid=30266 vsize=10551156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/30269/task/30281/stat : 30281 (java) S 30266 30269 12560 0 -1 1077944384 87 0 0 0 0 0 0 0 20 0 15 0 66275675 10804383744 9185 18446744073709551615 4194304 4196468 140736238388176 139870220499312 139870729587330 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31465472 140736238395792 140736238395945 140736238395945 140736238399439 0
[pid=30269/tid=30282] ppid=30266 vsize=10551156 memory=-1 CPUtime=0.03 cores=1,3,5,7
/proc/30269/task/30282/stat : 30282 (java) S 30266 30269 12560 0 -1 1077944384 388 0 0 0 3 0 0 0 20 0 15 0 66275675 10804383744 9185 18446744073709551615 4194304 4196468 140736238388176 139870219446256 139870729587330 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31465472 140736238395792 140736238395945 140736238395945 140736238399439 0
[pid=30269/tid=30283] ppid=30266 vsize=10551156 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/30269/task/30283/stat : 30283 (java) S 30266 30269 12560 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 66275675 10804383744 9185 18446744073709551615 4194304 4196468 140736238388176 139870218393952 139870729586389 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31465472 140736238395792 140736238395945 140736238395945 140736238399439 0
[pid=30269/tid=30284] ppid=30266 vsize=10551156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/30269/task/30284/stat : 30284 (java) S 30266 30269 12560 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 66275683 10804383744 9185 18446744073709551615 4194304 4196468 140736238388176 139870217342000 139870729587330 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31465472 140736238395792 140736238395945 140736238395945 140736238399439 0
Current children cumulated CPU time: 0.23 s
Current children cumulated vsize: 10551156 KiB
Current children cumulated memory: 36740 KiB

[startup+0.709455 s]
/proc/loadavg: 1.94 2.00 2.40 5/210 30284
/proc/meminfo: memFree=29417668/32770624 swapFree=67105588/67108860
[pid=30269] ppid=30266 vsize=10551232 memory=193408 CPUtime=1.46 cores=1,3,5,7
/proc/30269/stat : 30269 (java) S 30266 30269 12560 0 -1 1077944320 13055 0 0 0 138 8 0 0 20 0 15 0 66275664 10804461568 48352 18446744073709551615 4194304 4196468 140736238388176 140736238370720 139870729576183 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 6 0 0 6293624 6294260 31465472 140736238395792 140736238395945 140736238395945 140736238399439 0
/proc/30269/statm: 2637808 48352 3072 1 0 2627261 0
[pid=30269/tid=30271] ppid=30266 vsize=10551232 memory=83 CPUtime=0.53 cores=1,3,5,7
/proc/30269/task/30271/stat : 30271 (java) R 30266 30269 12560 0 -1 4202560 6952 0 0 0 49 4 0 0 20 0 15 0 66275670 10804461568 48352 18446744073709551615 4194304 4196468 140736238388176 139870733812352 139870327765503 0 4 1 16800974 0 0 0 -1 5 0 0 7 0 0 6293624 6294260 31465472 140736238395792 140736238395945 140736238395945 140736238399439 0
[pid=30269/tid=30272] ppid=30266 vsize=10551232 memory=27 CPUtime=0 cores=1,3,5,7
/proc/30269/task/30272/stat : 30272 (java) S 30266 30269 12560 0 -1 1077944384 14 0 0 0 0 0 0 0 20 0 15 0 66275671 10804461568 48352 18446744073709551615 4194304 4196468 140736238388176 139870659996176 139870729586389 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31465472 140736238395792 140736238395945 140736238395945 140736238399439 0
[pid=30269/tid=30273] ppid=30266 vsize=10551232 memory=33 CPUtime=0 cores=1,3,5,7
/proc/30269/task/30273/stat : 30273 (java) S 30266 30269 12560 0 -1 1077944384 30 0 0 0 0 0 0 0 20 0 15 0 66275671 10804461568 48352 18446744073709551615 4194304 4196468 140736238388176 139870658943632 139870729586389 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31465472 140736238395792 140736238395945 140736238395945 140736238399439 0
[pid=30269/tid=30274] ppid=30266 vsize=10551232 memory=0 CPUtime=0 cores=1,3,5,7
/proc/30269/task/30274/stat : 30274 (java) R 30266 30269 12560 0 -1 1077944384 8 0 0 0 0 0 0 0 20 0 15 0 66275671 10804461568 48352 18446744073709551615 4194304 4196468 140736238388176 139870657890576 139870729586389 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 31465472 140736238395792 140736238395945 140736238395945 140736238399439 0
[pid=30269/tid=30275] ppid=30266 vsize=10551232 memory=0 CPUtime=0 cores=1,3,5,7
/proc/30269/task/30275/stat : 30275 (java) S 30266 30269 12560 0 -1 1077944384 20 0 0 0 0 0 0 0 20 0 15 0 66275671 10804461568 48352 18446744073709551615 4194304 4196468 140736238388176 139870656838032 139870729586389 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31465472 140736238395792 140736238395945 140736238395945 140736238399439 0
[pid=30269/tid=30276] ppid=30266 vsize=10551232 memory=0 CPUtime=0 cores=1,3,5,7
/proc/30269/task/30276/stat : 30276 (java) S 30266 30269 12560 0 -1 1077944384 82 0 0 0 0 0 0 0 20 0 15 0 66275672 10804461568 48352 18446744073709551615 4194304 4196468 140736238388176 139870225763056 139870729587330 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31465472 140736238395792 140736238395945 140736238395945 140736238399439 0
[pid=30269/tid=30277] ppid=30266 vsize=10551232 memory=0 CPUtime=0 cores=1,3,5,7
/proc/30269/task/30277/stat : 30277 (java) S 30266 30269 12560 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 15 0 66275673 10804461568 48352 18446744073709551615 4194304 4196468 140736238388176 139870224709280 139870729586389 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31465472 140736238395792 140736238395945 140736238395945 140736238399439 0
[pid=30269/tid=30278] ppid=30266 vsize=10551232 memory=855 CPUtime=0 cores=1,3,5,7
/proc/30269/task/30278/stat : 30278 (java) S 30266 30269 12560 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 66275673 10804461568 48352 18446744073709551615 4194304 4196468 140736238388176 139870223656176 139870729586389 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31465472 140736238395792 140736238395945 140736238395945 140736238399439 0
[pid=30269/tid=30279] ppid=30266 vsize=10551232 memory=57 CPUtime=0 cores=1,3,5,7
/proc/30269/task/30279/stat : 30279 (java) S 30266 30269 12560 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 66275675 10804461568 48352 18446744073709551615 4194304 4196468 140736238388176 139870222604752 139870729594779 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31465472 140736238395792 140736238395945 140736238395945 140736238399439 0
[pid=30269/tid=30280] ppid=30266 vsize=10551232 memory=224 CPUtime=0.3 cores=1,3,5,7
/proc/30269/task/30280/stat : 30280 (java) R 30266 30269 12560 0 -1 4202560 1601 0 0 0 30 0 0 0 20 0 15 0 66275675 10804461568 48352 18446744073709551615 4194304 4196468 140736238388176 139870221536848 139870713864889 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 31465472 140736238395792 140736238395945 140736238395945 140736238399439 0
[pid=30269/tid=30281] ppid=30266 vsize=10551232 memory=281150572465936 CPUtime=0.27 cores=1,3,5,7
/proc/30269/task/30281/stat : 30281 (java) R 30266 30269 12560 0 -1 4202560 1269 0 0 0 27 0 0 0 20 0 15 0 66275675 10804461568 48352 18446744073709551615 4194304 4196468 140736238388176 139870220485856 139870713201569 0 4 1 16800974 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 31465472 140736238395792 140736238395945 140736238395945 140736238399439 0
[pid=30269/tid=30282] ppid=30266 vsize=10551232 memory=2509267535617 CPUtime=0.27 cores=1,3,5,7
/proc/30269/task/30282/stat : 30282 (java) R 30266 30269 12560 0 -1 1077944384 1718 0 0 0 27 0 0 0 20 0 15 0 66275675 10804461568 48352 18446744073709551615 4194304 4196468 140736238388176 139870219446256 139870729587330 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 31465472 140736238395792 140736238395945 140736238395945 140736238399439 0
[pid=30269/tid=30283] ppid=30266 vsize=10551232 memory=2517857470209 CPUtime=0 cores=1,3,5,7
/proc/30269/task/30283/stat : 30283 (java) S 30266 30269 12560 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 66275675 10804461568 48352 18446744073709551615 4194304 4196468 140736238388176 139870218393952 139870729586389 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31465472 140736238395792 140736238395945 140736238395945 140736238399439 0
[pid=30269/tid=30284] ppid=30266 vsize=10551232 memory=2560807143169 CPUtime=0 cores=1,3,5,7
/proc/30269/task/30284/stat : 30284 (java) S 30266 30269 12560 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 66275683 10804461568 48352 18446744073709551615 4194304 4196468 140736238388176 139870217342000 139870729587330 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31465472 140736238395792 140736238395945 140736238395945 140736238399439 0
Current children cumulated CPU time: 1.46 s
Current children cumulated vsize: 10551232 KiB
Current children cumulated memory: 193408 KiB

[startup+1.5015 s]
/proc/loadavg: 2.19 2.05 2.42 4/210 30284
/proc/meminfo: memFree=29237700/32770624 swapFree=67105588/67108860
[pid=30269] ppid=30266 vsize=10551232 memory=529896 CPUtime=3.64 cores=1,3,5,7
/proc/30269/stat : 30269 (java) S 30266 30269 12560 0 -1 1077944320 14086 0 0 0 329 35 0 0 20 0 15 0 66275664 10804461568 132474 18446744073709551615 4194304 4196468 140736238388176 140736238370720 139870729576183 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 6 0 0 6293624 6294260 31465472 140736238395792 140736238395945 140736238395945 140736238399439 0
/proc/30269/statm: 2637808 132474 3095 1 0 2627261 0
[pid=30269/tid=30271] ppid=30266 vsize=10551232 memory=83 CPUtime=1.07 cores=1,3,5,7
/proc/30269/task/30271/stat : 30271 (java) S 30266 30269 12560 0 -1 1077944384 7084 0 0 0 101 6 0 0 20 0 15 0 66275670 10804461568 132474 18446744073709551615 4194304 4196468 140736238388176 139870733811936 139870729586389 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 7 0 0 6293624 6294260 31465472 140736238395792 140736238395945 140736238395945 140736238399439 0
[pid=30269/tid=30272] ppid=30266 vsize=10551232 memory=27 CPUtime=0.24 cores=1,3,5,7
/proc/30269/task/30272/stat : 30272 (java) R 30266 30269 12560 0 -1 4202560 193 0 0 0 18 6 0 0 20 0 15 0 66275671 10804461568 132474 18446744073709551615 4194304 4196468 140736238388176 139870659996176 139870714597755 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 31465472 140736238395792 140736238395945 140736238395945 140736238399439 0
[pid=30269/tid=30273] ppid=30266 vsize=10551232 memory=281150572698352 CPUtime=0.25 cores=1,3,5,7
/proc/30269/task/30273/stat : 30273 (java) R 30266 30269 12560 0 -1 4202560 229 0 0 0 19 6 0 0 20 0 15 0 66275671 10804461568 132474 18446744073709551615 4194304 4196468 140736238388176 139870658943520 139870714597755 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 31465472 140736238395792 140736238395945 140736238395945 140736238399439 0
[pid=30269/tid=30274] ppid=30266 vsize=10551232 memory=9132 CPUtime=0.25 cores=1,3,5,7
/proc/30269/task/30274/stat : 30274 (java) R 30266 30269 12560 0 -1 4202560 121 0 0 0 19 6 0 0 20 0 15 0 66275671 10804461568 132474 18446744073709551615 4194304 4196468 140736238388176 139870657890576 139870714620657 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 31465472 140736238395792 140736238395945 140736238395945 140736238399439 0
[pid=30269/tid=30275] ppid=30266 vsize=10551232 memory=19658 CPUtime=0.26 cores=1,3,5,7
/proc/30269/task/30275/stat : 30275 (java) R 30266 30269 12560 0 -1 4202560 215 0 0 0 20 6 0 0 20 0 15 0 66275671 10804461568 132474 18446744073709551615 4194304 4196468 140736238388176 139870656838152 139870714598307 0 4 1 16800974 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 31465472 140736238395792 140736238395945 140736238395945 140736238399439 0
[pid=30269/tid=30276] ppid=30266 vsize=10551232 memory=0 CPUtime=0 cores=1,3,5,7
/proc/30269/task/30276/stat : 30276 (java) S 30266 30269 12560 0 -1 1077944384 83 0 0 0 0 0 0 0 20 0 15 0 66275672 10804461568 132474 18446744073709551615 4194304 4196468 140736238388176 139870225761568 139870729586389 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31465472 140736238395792 140736238395945 140736238395945 140736238399439 0
[pid=30269/tid=30277] ppid=30266 vsize=10551232 memory=0 CPUtime=0 cores=1,3,5,7
/proc/30269/task/30277/stat : 30277 (java) S 30266 30269 12560 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 15 0 66275673 10804461568 132474 18446744073709551615 4194304 4196468 140736238388176 139870224709344 139870729586389 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31465472 140736238395792 140736238395945 140736238395945 140736238399439 0
[pid=30269/tid=30278] ppid=30266 vsize=10551232 memory=365892 CPUtime=0 cores=1,3,5,7
/proc/30269/task/30278/stat : 30278 (java) S 30266 30269 12560 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 15 0 66275673 10804461568 132474 18446744073709551615 4194304 4196468 140736238388176 139870223656176 139870729586389 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31465472 140736238395792 140736238395945 140736238395945 140736238399439 0
[pid=30269/tid=30279] ppid=30266 vsize=10551232 memory=0 CPUtime=0 cores=1,3,5,7
/proc/30269/task/30279/stat : 30279 (java) S 30266 30269 12560 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 66275675 10804461568 132474 18446744073709551615 4194304 4196468 140736238388176 139870222604752 139870729594779 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31465472 140736238395792 140736238395945 140736238395945 140736238399439 0
[pid=30269/tid=30280] ppid=30266 vsize=10551232 memory=0 CPUtime=0.58 cores=1,3,5,7
/proc/30269/task/30280/stat : 30280 (java) S 30266 30269 12560 0 -1 1077944384 1660 0 0 0 58 0 0 0 20 0 15 0 66275675 10804461568 132474 18446744073709551615 4194304 4196468 140736238388176 139870221551856 139870729587330 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31465472 140736238395792 140736238395945 140736238395945 140736238399439 0
[pid=30269/tid=30281] ppid=30266 vsize=10551232 memory=6788 CPUtime=0.58 cores=1,3,5,7
/proc/30269/task/30281/stat : 30281 (java) S 30266 30269 12560 0 -1 1077944384 1348 0 0 0 58 0 0 0 20 0 15 0 66275675 10804461568 132474 18446744073709551615 4194304 4196468 140736238388176 139870220499312 139870729587330 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31465472 140736238395792 140736238395945 140736238395945 140736238399439 0
[pid=30269/tid=30282] ppid=30266 vsize=10551232 memory=281150572533696 CPUtime=0.32 cores=1,3,5,7
/proc/30269/task/30282/stat : 30282 (java) S 30266 30269 12560 0 -1 1077944384 1792 0 0 0 32 0 0 0 20 0 15 0 66275675 10804461568 132474 18446744073709551615 4194304 4196468 140736238388176 139870219446256 139870729587330 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31465472 140736238395792 140736238395945 140736238395945 140736238399439 0

################
# More data... #
################

/proc/30269/task/30275/stat : 30275 (java) R 30266 30269 12560 0 -1 4202560 21165 0 0 0 33851 197 0 0 20 0 17 0 66275671 10943037440 2025131 18446744073709551615 4194304 4196468 140736238388176 139870656838152 139870722204391 0 4 1 16800974 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 31465472 140736238395792 140736238395945 140736238395945 140736238399439 0
[pid=30269/tid=30276] ppid=30266 vsize=10686560 memory=2240 CPUtime=23.59 cores=1,3,5,7
/proc/30269/task/30276/stat : 30276 (java) S 30266 30269 12560 0 -1 1077944384 63594 0 0 0 2356 3 0 0 20 0 17 0 66275672 10943037440 2025131 18446744073709551615 4194304 4196468 140736238388176 139870225761600 139870729586389 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31465472 140736238395792 140736238395945 140736238395945 140736238399439 0
[pid=30269/tid=30277] ppid=30266 vsize=10686560 memory=4088 CPUtime=0 cores=1,3,5,7
/proc/30269/task/30277/stat : 30277 (java) S 30266 30269 12560 0 -1 1077944384 37 0 0 0 0 0 0 0 20 0 17 0 66275673 10943037440 2025131 18446744073709551615 4194304 4196468 140736238388176 139870224709344 139870729586389 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31465472 140736238395792 140736238395945 140736238395945 140736238399439 0
[pid=30269/tid=30278] ppid=30266 vsize=10686560 memory=8100524 CPUtime=0 cores=1,3,5,7
/proc/30269/task/30278/stat : 30278 (java) S 30266 30269 12560 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 17 0 66275673 10943037440 2025131 18446744073709551615 4194304 4196468 140736238388176 139870223655296 139870729586389 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31465472 140736238395792 140736238395945 140736238395945 140736238399439 0
[pid=30269/tid=30279] ppid=30266 vsize=10686560 memory=1292 CPUtime=0 cores=1,3,5,7
/proc/30269/task/30279/stat : 30279 (java) S 30266 30269 12560 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 17 0 66275675 10943037440 2025131 18446744073709551615 4194304 4196468 140736238388176 139870222604752 139870729594779 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31465472 140736238395792 140736238395945 140736238395945 140736238399439 0
[pid=30269/tid=30280] ppid=30266 vsize=10686560 memory=2384 CPUtime=1.54 cores=1,3,5,7
/proc/30269/task/30280/stat : 30280 (java) S 30266 30269 12560 0 -1 1077944384 14160 0 0 0 151 3 0 0 20 0 17 0 66275675 10943037440 2025131 18446744073709551615 4194304 4196468 140736238388176 139870221551904 139870729586389 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31465472 140736238395792 140736238395945 140736238395945 140736238399439 0
[pid=30269/tid=30281] ppid=30266 vsize=10686560 memory=1688 CPUtime=0.75 cores=1,3,5,7
/proc/30269/task/30281/stat : 30281 (java) S 30266 30269 12560 0 -1 1077944384 3262 0 0 0 74 1 0 0 20 0 17 0 66275675 10943037440 2025131 18446744073709551615 4194304 4196468 140736238388176 139870220499072 139870729586389 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31465472 140736238395792 140736238395945 140736238395945 140736238399439 0
[pid=30269/tid=30282] ppid=30266 vsize=10686560 memory=23084 CPUtime=0.44 cores=1,3,5,7
/proc/30269/task/30282/stat : 30282 (java) S 30266 30269 12560 0 -1 1077944384 4717 0 0 0 43 1 0 0 20 0 17 0 66275675 10943037440 2025131 18446744073709551615 4194304 4196468 140736238388176 139870219442128 139870729586389 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31465472 140736238395792 140736238395945 140736238395945 140736238399439 0
[pid=30269/tid=30283] ppid=30266 vsize=10686560 memory=4048 CPUtime=0 cores=1,3,5,7
/proc/30269/task/30283/stat : 30283 (java) S 30266 30269 12560 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 17 0 66275675 10943037440 2025131 18446744073709551615 4194304 4196468 140736238388176 139870218393952 139870729586389 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31465472 140736238395792 140736238395945 140736238395945 140736238399439 0
[pid=30269/tid=30284] ppid=30266 vsize=10686560 memory=302022848351043610 CPUtime=0.28 cores=1,3,5,7
/proc/30269/task/30284/stat : 30284 (java) S 30266 30269 12560 0 -1 1077944384 323 0 0 0 15 13 0 0 20 0 17 0 66275683 10943037440 2025131 18446744073709551615 4194304 4196468 140736238388176 139870217342000 139870729587330 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31465472 140736238395792 140736238395945 140736238395945 140736238399439 0
[pid=30269/tid=30335] ppid=30266 vsize=10686560 memory=5808 CPUtime=0 cores=1,3,5,7
/proc/30269/task/30335/stat : 30335 (java) S 30266 30269 12560 0 -1 1077944384 25 0 0 0 0 0 0 0 20 0 17 0 66311458 10943037440 2025131 18446744073709551615 4194304 4196468 140736238388176 139870214188976 139870729586389 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31465472 140736238395792 140736238395945 140736238395945 140736238399439 0
[pid=30269/tid=30336] ppid=30266 vsize=10686560 memory=4612 CPUtime=0 cores=1,3,5,7
/proc/30269/task/30336/stat : 30336 (java) S 30266 30269 12560 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 17 0 66311458 10943037440 2025131 18446744073709551615 4194304 4196468 140736238388176 139870213136688 139870729586389 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31465472 140736238395792 140736238395945 140736238395945 140736238399439 0
Current children cumulated CPU time: 1401.96 s
Current children cumulated vsize: 10686560 KiB
Current children cumulated memory: 8100524 KiB

[startup+382.401 s]
/proc/loadavg: 4.06 3.83 3.14 6/213 30337
/proc/meminfo: memFree=21355300/32770624 swapFree=67105588/67108860
[pid=30269] ppid=30266 vsize=10686560 memory=8100524 CPUtime=1408.14 cores=1,3,5,7
/proc/30269/stat : 30269 (java) S 30266 30269 12560 0 -1 1077944320 171711 0 0 0 140035 779 0 0 20 0 17 0 66275664 10943037440 2025131 18446744073709551615 4194304 4196468 140736238388176 140736238370720 139870729576183 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 6 0 0 6293624 6294260 31465472 140736238395792 140736238395945 140736238395945 140736238399439 0
/proc/30269/statm: 2671640 2025131 3167 1 0 2661055 0
[pid=30269/tid=30271] ppid=30266 vsize=10686560 memory=8100524 CPUtime=12.45 cores=1,3,5,7
/proc/30269/task/30271/stat : 30271 (java) S 30266 30269 12560 0 -1 1077944384 13287 0 0 0 1236 9 0 0 20 0 17 0 66275670 10943037440 2025131 18446744073709551615 4194304 4196468 140736238388176 139870733816864 139870729586389 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 7 0 0 6293624 6294260 31465472 140736238395792 140736238395945 140736238395945 140736238399439 0
[pid=30269/tid=30272] ppid=30266 vsize=10686560 memory=5808 CPUtime=342.2 cores=1,3,5,7
/proc/30269/task/30272/stat : 30272 (java) R 30266 30269 12560 0 -1 4202560 16848 0 0 0 34026 194 0 0 20 0 17 0 66275671 10943037440 2025131 18446744073709551615 4194304 4196468 140736238388176 139870659995984 139870722204391 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 31465472 140736238395792 140736238395945 140736238395945 140736238399439 0
[pid=30269/tid=30273] ppid=30266 vsize=10686560 memory=4612 CPUtime=342.09 cores=1,3,5,7
/proc/30269/task/30273/stat : 30273 (java) R 30266 30269 12560 0 -1 4202560 16515 0 0 0 34026 183 0 0 20 0 17 0 66275671 10943037440 2025131 18446744073709551615 4194304 4196468 140736238388176 139870658943520 139870711185938 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 31465472 140736238395792 140736238395945 140736238395945 140736238399439 0
[pid=30269/tid=30274] ppid=30266 vsize=10686560 memory=1004 CPUtime=342.72 cores=1,3,5,7
/proc/30269/task/30274/stat : 30274 (java) R 30266 30269 12560 0 -1 4202560 16407 0 0 0 34091 181 0 0 20 0 17 0 66275671 10943037440 2025131 18446744073709551615 4194304 4196468 140736238388176 139870657890384 139870722204391 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 31465472 140736238395792 140736238395945 140736238395945 140736238399439 0
[pid=30269/tid=30275] ppid=30266 vsize=10686560 memory=2016 CPUtime=342 cores=1,3,5,7
/proc/30269/task/30275/stat : 30275 (java) R 30266 30269 12560 0 -1 1077944384 21165 0 0 0 34002 198 0 0 20 0 17 0 66275671 10943037440 2025131 18446744073709551615 4194304 4196468 140736238388176 139870656837840 139870729587330 0 4 1 16800974 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 31465472 140736238395792 140736238395945 140736238395945 140736238399439 0
[pid=30269/tid=30276] ppid=30266 vsize=10686560 memory=1196 CPUtime=23.59 cores=1,3,5,7
/proc/30269/task/30276/stat : 30276 (java) S 30266 30269 12560 0 -1 1077944384 63594 0 0 0 2356 3 0 0 20 0 17 0 66275672 10943037440 2025131 18446744073709551615 4194304 4196468 140736238388176 139870225761600 139870729586389 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31465472 140736238395792 140736238395945 140736238395945 140736238399439 0
[pid=30269/tid=30277] ppid=30266 vsize=10686560 memory=-8774313645642428999 CPUtime=0 cores=1,3,5,7
/proc/30269/task/30277/stat : 30277 (java) S 30266 30269 12560 0 -1 1077944384 37 0 0 0 0 0 0 0 20 0 17 0 66275673 10943037440 2025131 18446744073709551615 4194304 4196468 140736238388176 139870224709344 139870729586389 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31465472 140736238395792 140736238395945 140736238395945 140736238399439 0
[pid=30269/tid=30278] ppid=30266 vsize=10686560 memory=2160 CPUtime=0 cores=1,3,5,7
/proc/30269/task/30278/stat : 30278 (java) S 30266 30269 12560 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 17 0 66275673 10943037440 2025131 18446744073709551615 4194304 4196468 140736238388176 139870223655296 139870729586389 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31465472 140736238395792 140736238395945 140736238395945 140736238399439 0
[pid=30269/tid=30279] ppid=30266 vsize=10686560 memory=832 CPUtime=0 cores=1,3,5,7
/proc/30269/task/30279/stat : 30279 (java) S 30266 30269 12560 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 17 0 66275675 10943037440 2025131 18446744073709551615 4194304 4196468 140736238388176 139870222604752 139870729594779 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31465472 140736238395792 140736238395945 140736238395945 140736238399439 0
[pid=30269/tid=30280] ppid=30266 vsize=10686560 memory=16448 CPUtime=1.54 cores=1,3,5,7
/proc/30269/task/30280/stat : 30280 (java) S 30266 30269 12560 0 -1 1077944384 14160 0 0 0 151 3 0 0 20 0 17 0 66275675 10943037440 2025131 18446744073709551615 4194304 4196468 140736238388176 139870221551904 139870729586389 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31465472 140736238395792 140736238395945 140736238395945 140736238399439 0
[pid=30269/tid=30281] ppid=30266 vsize=10686560 memory=3908 CPUtime=0.75 cores=1,3,5,7
/proc/30269/task/30281/stat : 30281 (java) S 30266 30269 12560 0 -1 1077944384 3262 0 0 0 74 1 0 0 20 0 17 0 66275675 10943037440 2025131 18446744073709551615 4194304 4196468 140736238388176 139870220499072 139870729586389 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31465472 140736238395792 140736238395945 140736238395945 140736238399439 0
[pid=30269/tid=30282] ppid=30266 vsize=10686560 memory=3908 CPUtime=0.44 cores=1,3,5,7
/proc/30269/task/30282/stat : 30282 (java) S 30266 30269 12560 0 -1 1077944384 4717 0 0 0 43 1 0 0 20 0 17 0 66275675 10943037440 2025131 18446744073709551615 4194304 4196468 140736238388176 139870219442128 139870729586389 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31465472 140736238395792 140736238395945 140736238395945 140736238399439 0
[pid=30269/tid=30283] ppid=30266 vsize=10686560 memory=3556 CPUtime=0 cores=1,3,5,7
/proc/30269/task/30283/stat : 30283 (java) S 30266 30269 12560 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 17 0 66275675 10943037440 2025131 18446744073709551615 4194304 4196468 140736238388176 139870218393952 139870729586389 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31465472 140736238395792 140736238395945 140736238395945 140736238399439 0
[pid=30269/tid=30284] ppid=30266 vsize=10686560 memory=3008 CPUtime=0.28 cores=1,3,5,7
/proc/30269/task/30284/stat : 30284 (java) S 30266 30269 12560 0 -1 1077944384 323 0 0 0 15 13 0 0 20 0 17 0 66275683 10943037440 2025131 18446744073709551615 4194304 4196468 140736238388176 139870217342000 139870729587330 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31465472 140736238395792 140736238395945 140736238395945 140736238399439 0
[pid=30269/tid=30335] ppid=30266 vsize=10686560 memory=1156 CPUtime=0 cores=1,3,5,7
/proc/30269/task/30335/stat : 30335 (java) S 30266 30269 12560 0 -1 1077944384 25 0 0 0 0 0 0 0 20 0 17 0 66311458 10943037440 2025131 18446744073709551615 4194304 4196468 140736238388176 139870214188976 139870729586389 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31465472 140736238395792 140736238395945 140736238395945 140736238399439 0
[pid=30269/tid=30336] ppid=30266 vsize=10686560 memory=8100524 CPUtime=0 cores=1,3,5,7
/proc/30269/task/30336/stat : 30336 (java) S 30266 30269 12560 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 17 0 66311458 10943037440 2025131 18446744073709551615 4194304 4196468 140736238388176 139870213136688 139870729586389 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31465472 140736238395792 140736238395945 140736238395945 140736238399439 0
Current children cumulated CPU time: 1408.14 s
Current children cumulated vsize: 10686560 KiB
Current children cumulated memory: 8100524 KiB

[startup+383.202 s]
/proc/loadavg: 4.06 3.83 3.14 6/213 30337
/proc/meminfo: memFree=21355300/32770624 swapFree=67105588/67108860
[pid=30269] ppid=30266 vsize=10686560 memory=8100528 CPUtime=1411.04 cores=1,3,5,7
/proc/30269/stat : 30269 (java) S 30266 30269 12560 0 -1 1077944320 171885 0 0 0 140324 780 0 0 20 0 17 0 66275664 10943037440 2025132 18446744073709551615 4194304 4196468 140736238388176 140736238370720 139870729576183 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 6 0 0 6293624 6294260 31465472 140736238395792 140736238395945 140736238395945 140736238399439 0
/proc/30269/statm: 2671640 2025132 3167 1 0 2661055 0
[pid=30269/tid=30271] ppid=30266 vsize=10686560 memory=2384 CPUtime=12.45 cores=1,3,5,7
/proc/30269/task/30271/stat : 30271 (java) S 30266 30269 12560 0 -1 1077944384 13287 0 0 0 1236 9 0 0 20 0 17 0 66275670 10943037440 2025132 18446744073709551615 4194304 4196468 140736238388176 139870733816864 139870729586389 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 7 0 0 6293624 6294260 31465472 140736238395792 140736238395945 140736238395945 140736238399439 0
[pid=30269/tid=30272] ppid=30266 vsize=10686560 memory=1688 CPUtime=342.9 cores=1,3,5,7
/proc/30269/task/30272/stat : 30272 (java) S 30266 30269 12560 0 -1 1077944384 16848 0 0 0 34096 194 0 0 20 0 17 0 66275671 10943037440 2025132 18446744073709551615 4194304 4196468 140736238388176 139870659996176 139870729586389 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31465472 140736238395792 140736238395945 140736238395945 140736238399439 0
[pid=30269/tid=30273] ppid=30266 vsize=10686560 memory=5808 CPUtime=342.82 cores=1,3,5,7
/proc/30269/task/30273/stat : 30273 (java) S 30266 30269 12560 0 -1 1077944384 16515 0 0 0 34099 183 0 0 20 0 17 0 66275671 10943037440 2025132 18446744073709551615 4194304 4196468 140736238388176 139870658943632 139870729586389 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31465472 140736238395792 140736238395945 140736238395945 140736238399439 0
[pid=30269/tid=30274] ppid=30266 vsize=10686560 memory=8100524 CPUtime=343.43 cores=1,3,5,7
/proc/30269/task/30274/stat : 30274 (java) S 30266 30269 12560 0 -1 1077944384 16407 0 0 0 34161 182 0 0 20 0 17 0 66275671 10943037440 2025132 18446744073709551615 4194304 4196468 140736238388176 139870657890576 139870729586389 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31465472 140736238395792 140736238395945 140736238395945 140736238399439 0
[pid=30269/tid=30275] ppid=30266 vsize=10686560 memory=37688 CPUtime=342.68 cores=1,3,5,7
/proc/30269/task/30275/stat : 30275 (java) S 30266 30269 12560 0 -1 1077944384 21165 0 0 0 34070 198 0 0 20 0 17 0 66275671 10943037440 2025132 18446744073709551615 4194304 4196468 140736238388176 139870656838032 139870729586389 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31465472 140736238395792 140736238395945 140736238395945 140736238399439 0
[pid=30269/tid=30276] ppid=30266 vsize=10686560 memory=1292 CPUtime=23.66 cores=1,3,5,7
/proc/30269/task/30276/stat : 30276 (java) R 30266 30269 12560 0 -1 4202560 63768 0 0 0 2363 3 0 0 20 0 17 0 66275672 10943037440 2025132 18446744073709551615 4194304 4196468 140736238388176 139870225761488 139870714033786 0 0 1 16800974 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 31465472 140736238395792 140736238395945 140736238395945 140736238399439 0
[pid=30269/tid=30277] ppid=30266 vsize=10686560 memory=2384 CPUtime=0 cores=1,3,5,7
/proc/30269/task/30277/stat : 30277 (java) S 30266 30269 12560 0 -1 1077944384 37 0 0 0 0 0 0 0 20 0 17 0 66275673 10943037440 2025132 18446744073709551615 4194304 4196468 140736238388176 139870224709344 139870729586389 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31465472 140736238395792 140736238395945 140736238395945 140736238399439 0
[pid=30269/tid=30278] ppid=30266 vsize=10686560 memory=1688 CPUtime=0 cores=1,3,5,7
/proc/30269/task/30278/stat : 30278 (java) S 30266 30269 12560 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 17 0 66275673 10943037440 2025132 18446744073709551615 4194304 4196468 140736238388176 139870223655296 139870729586389 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31465472 140736238395792 140736238395945 140736238395945 140736238399439 0
[pid=30269/tid=30279] ppid=30266 vsize=10686560 memory=8100524 CPUtime=0 cores=1,3,5,7
/proc/30269/task/30279/stat : 30279 (java) S 30266 30269 12560 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 17 0 66275675 10943037440 2025132 18446744073709551615 4194304 4196468 140736238388176 139870222604752 139870729594779 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31465472 140736238395792 140736238395945 140736238395945 140736238399439 0
[pid=30269/tid=30280] ppid=30266 vsize=10686560 memory=8100524 CPUtime=1.54 cores=1,3,5,7
/proc/30269/task/30280/stat : 30280 (java) S 30266 30269 12560 0 -1 1077944384 14160 0 0 0 151 3 0 0 20 0 17 0 66275675 10943037440 2025132 18446744073709551615 4194304 4196468 140736238388176 139870221551904 139870729586389 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31465472 140736238395792 140736238395945 140736238395945 140736238399439 0
[pid=30269/tid=30281] ppid=30266 vsize=10686560 memory=14260 CPUtime=0.75 cores=1,3,5,7
/proc/30269/task/30281/stat : 30281 (java) S 30266 30269 12560 0 -1 1077944384 3262 0 0 0 74 1 0 0 20 0 17 0 66275675 10943037440 2025132 18446744073709551615 4194304 4196468 140736238388176 139870220499072 139870729586389 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31465472 140736238395792 140736238395945 140736238395945 140736238399439 0
[pid=30269/tid=30282] ppid=30266 vsize=10686560 memory=796 CPUtime=0.44 cores=1,3,5,7
/proc/30269/task/30282/stat : 30282 (java) S 30266 30269 12560 0 -1 1077944384 4717 0 0 0 43 1 0 0 20 0 17 0 66275675 10943037440 2025132 18446744073709551615 4194304 4196468 140736238388176 139870219442128 139870729586389 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31465472 140736238395792 140736238395945 140736238395945 140736238399439 0
[pid=30269/tid=30283] ppid=30266 vsize=10686560 memory=1228 CPUtime=0 cores=1,3,5,7
/proc/30269/task/30283/stat : 30283 (java) S 30266 30269 12560 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 17 0 66275675 10943037440 2025132 18446744073709551615 4194304 4196468 140736238388176 139870218393952 139870729586389 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31465472 140736238395792 140736238395945 140736238395945 140736238399439 0
[pid=30269/tid=30284] ppid=30266 vsize=10686560 memory=1412 CPUtime=0.28 cores=1,3,5,7
/proc/30269/task/30284/stat : 30284 (java) S 30266 30269 12560 0 -1 1077944384 323 0 0 0 15 13 0 0 20 0 17 0 66275683 10943037440 2025132 18446744073709551615 4194304 4196468 140736238388176 139870217342000 139870729587330 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31465472 140736238395792 140736238395945 140736238395945 140736238399439 0
[pid=30269/tid=30335] ppid=30266 vsize=10686560 memory=15584 CPUtime=0 cores=1,3,5,7
/proc/30269/task/30335/stat : 30335 (java) S 30266 30269 12560 0 -1 1077944384 25 0 0 0 0 0 0 0 20 0 17 0 66311458 10943037440 2025132 18446744073709551615 4194304 4196468 140736238388176 139870214188976 139870729586389 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31465472 140736238395792 140736238395945 140736238395945 140736238399439 0
[pid=30269/tid=30336] ppid=30266 vsize=10686560 memory=4612 CPUtime=0 cores=1,3,5,7
/proc/30269/task/30336/stat : 30336 (java) S 30266 30269 12560 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 17 0 66311458 10943037440 2025132 18446744073709551615 4194304 4196468 140736238388176 139870213136688 139870729586389 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31465472 140736238395792 140736238395945 140736238395945 140736238399439 0
Current children cumulated CPU time: 1411.04 s
Current children cumulated vsize: 10686560 KiB
Current children cumulated memory: 8100528 KiB

[startup+383.601 s]
/proc/loadavg: 4.06 3.83 3.14 6/213 30337
/proc/meminfo: memFree=21355300/32770624 swapFree=67105588/67108860
[pid=30269] ppid=30266 vsize=10686560 memory=8100528 CPUtime=1411.43 cores=1,3,5,7
/proc/30269/stat : 30269 (java) S 30266 30269 12560 0 -1 1077944320 171885 0 0 0 140363 780 0 0 20 0 17 0 66275664 10943037440 2025132 18446744073709551615 4194304 4196468 140736238388176 140736238370720 139870729576183 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 6 0 0 6293624 6294260 31465472 140736238395792 140736238395945 140736238395945 140736238399439 0
/proc/30269/statm: 2671640 2025132 3167 1 0 2661055 0
[pid=30269/tid=30271] ppid=30266 vsize=10686560 memory=1292 CPUtime=12.45 cores=1,3,5,7
/proc/30269/task/30271/stat : 30271 (java) S 30266 30269 12560 0 -1 1077944384 13287 0 0 0 1236 9 0 0 20 0 17 0 66275670 10943037440 2025132 18446744073709551615 4194304 4196468 140736238388176 139870733816864 139870729586389 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 7 0 0 6293624 6294260 31465472 140736238395792 140736238395945 140736238395945 140736238399439 0
[pid=30269/tid=30272] ppid=30266 vsize=10686560 memory=2384 CPUtime=342.9 cores=1,3,5,7
/proc/30269/task/30272/stat : 30272 (java) S 30266 30269 12560 0 -1 1077944384 16848 0 0 0 34096 194 0 0 20 0 17 0 66275671 10943037440 2025132 18446744073709551615 4194304 4196468 140736238388176 139870659996176 139870729586389 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31465472 140736238395792 140736238395945 140736238395945 140736238399439 0
[pid=30269/tid=30273] ppid=30266 vsize=10686560 memory=1688 CPUtime=342.82 cores=1,3,5,7
/proc/30269/task/30273/stat : 30273 (java) S 30266 30269 12560 0 -1 1077944384 16515 0 0 0 34099 183 0 0 20 0 17 0 66275671 10943037440 2025132 18446744073709551615 4194304 4196468 140736238388176 139870658943632 139870729586389 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31465472 140736238395792 140736238395945 140736238395945 140736238399439 0
[pid=30269/tid=30274] ppid=30266 vsize=10686560 memory=5808 CPUtime=343.43 cores=1,3,5,7
/proc/30269/task/30274/stat : 30274 (java) S 30266 30269 12560 0 -1 1077944384 16407 0 0 0 34161 182 0 0 20 0 17 0 66275671 10943037440 2025132 18446744073709551615 4194304 4196468 140736238388176 139870657890576 139870729586389 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31465472 140736238395792 140736238395945 140736238395945 140736238399439 0
[pid=30269/tid=30275] ppid=30266 vsize=10686560 memory=4612 CPUtime=342.68 cores=1,3,5,7
/proc/30269/task/30275/stat : 30275 (java) S 30266 30269 12560 0 -1 1077944384 21165 0 0 0 34070 198 0 0 20 0 17 0 66275671 10943037440 2025132 18446744073709551615 4194304 4196468 140736238388176 139870656838032 139870729586389 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31465472 140736238395792 140736238395945 140736238395945 140736238399439 0
[pid=30269/tid=30276] ppid=30266 vsize=10686560 memory=1004 CPUtime=24.06 cores=1,3,5,7
/proc/30269/task/30276/stat : 30276 (java) R 30266 30269 12560 0 -1 4202560 63768 0 0 0 2403 3 0 0 20 0 17 0 66275672 10943037440 2025132 18446744073709551615 4194304 4196468 140736238388176 139870225761488 139870714572692 0 0 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 31465472 140736238395792 140736238395945 140736238395945 140736238399439 0
[pid=30269/tid=30277] ppid=30266 vsize=10686560 memory=2016 CPUtime=0 cores=1,3,5,7
/proc/30269/task/30277/stat : 30277 (java) S 30266 30269 12560 0 -1 1077944384 37 0 0 0 0 0 0 0 20 0 17 0 66275673 10943037440 2025132 18446744073709551615 4194304 4196468 140736238388176 139870224709344 139870729586389 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31465472 140736238395792 140736238395945 140736238395945 140736238399439 0
[pid=30269/tid=30278] ppid=30266 vsize=10686560 memory=1196 CPUtime=0 cores=1,3,5,7
/proc/30269/task/30278/stat : 30278 (java) S 30266 30269 12560 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 17 0 66275673 10943037440 2025132 18446744073709551615 4194304 4196468 140736238388176 139870223655296 139870729586389 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31465472 140736238395792 140736238395945 140736238395945 140736238399439 0
[pid=30269/tid=30279] ppid=30266 vsize=10686560 memory=8604 CPUtime=0 cores=1,3,5,7
/proc/30269/task/30279/stat : 30279 (java) S 30266 30269 12560 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 17 0 66275675 10943037440 2025132 18446744073709551615 4194304 4196468 140736238388176 139870222604752 139870729594779 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31465472 140736238395792 140736238395945 140736238395945 140736238399439 0
[pid=30269/tid=30280] ppid=30266 vsize=10686560 memory=-8774313645642428999 CPUtime=1.54 cores=1,3,5,7
/proc/30269/task/30280/stat : 30280 (java) S 30266 30269 12560 0 -1 1077944384 14160 0 0 0 151 3 0 0 20 0 17 0 66275675 10943037440 2025132 18446744073709551615 4194304 4196468 140736238388176 139870221551904 139870729586389 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31465472 140736238395792 140736238395945 140736238395945 140736238399439 0
[pid=30269/tid=30281] ppid=30266 vsize=10686560 memory=8514726395715349656 CPUtime=0.75 cores=1,3,5,7
/proc/30269/task/30281/stat : 30281 (java) S 30266 30269 12560 0 -1 1077944384 3262 0 0 0 74 1 0 0 20 0 17 0 66275675 10943037440 2025132 18446744073709551615 4194304 4196468 140736238388176 139870220499072 139870729586389 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31465472 140736238395792 140736238395945 140736238395945 140736238399439 0
[pid=30269/tid=30282] ppid=30266 vsize=10686560 memory=7100839878645619564 CPUtime=0.44 cores=1,3,5,7
/proc/30269/task/30282/stat : 30282 (java) S 30266 30269 12560 0 -1 1077944384 4717 0 0 0 43 1 0 0 20 0 17 0 66275675 10943037440 2025132 18446744073709551615 4194304 4196468 140736238388176 139870219442128 139870729586389 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31465472 140736238395792 140736238395945 140736238395945 140736238399439 0
[pid=30269/tid=30283] ppid=30266 vsize=10686560 memory=-8634980985311628903 CPUtime=0 cores=1,3,5,7
/proc/30269/task/30283/stat : 30283 (java) S 30266 30269 12560 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 17 0 66275675 10943037440 2025132 18446744073709551615 4194304 4196468 140736238388176 139870218393952 139870729586389 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31465472 140736238395792 140736238395945 140736238395945 140736238399439 0
[pid=30269/tid=30284] ppid=30266 vsize=10686560 memory=3047711553320166262 CPUtime=0.28 cores=1,3,5,7
/proc/30269/task/30284/stat : 30284 (java) S 30266 30269 12560 0 -1 1077944384 323 0 0 0 15 13 0 0 20 0 17 0 66275683 10943037440 2025132 18446744073709551615 4194304 4196468 140736238388176 139870217342000 139870729587330 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31465472 140736238395792 140736238395945 140736238395945 140736238399439 0
[pid=30269/tid=30335] ppid=30266 vsize=10686560 memory=-8412652169205224307 CPUtime=0 cores=1,3,5,7
/proc/30269/task/30335/stat : 30335 (java) S 30266 30269 12560 0 -1 1077944384 25 0 0 0 0 0 0 0 20 0 17 0 66311458 10943037440 2025132 18446744073709551615 4194304 4196468 140736238388176 139870214188976 139870729586389 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31465472 140736238395792 140736238395945 140736238395945 140736238399439 0
[pid=30269/tid=30336] ppid=30266 vsize=10686560 memory=7811614964889703013 CPUtime=0 cores=1,3,5,7
/proc/30269/task/30336/stat : 30336 (java) S 30266 30269 12560 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 17 0 66311458 10943037440 2025132 18446744073709551615 4194304 4196468 140736238388176 139870213136688 139870729586389 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31465472 140736238395792 140736238395945 140736238395945 140736238399439 0
Current children cumulated CPU time: 1411.43 s
Current children cumulated vsize: 10686560 KiB
Current children cumulated memory: 8100528 KiB

[startup+383.801 s]*
/proc/loadavg: 4.06 3.83 3.14 3/198 30337
/proc/meminfo: memFree=24224840/32770624 swapFree=67105588/67108860
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB

Child status: 0
Real time (s): 383.826
CPU time (s): 1411.67
CPU user time (s): 1403.83
CPU system time (s): 7.83614
CPU usage (%): 367.788
Max. virtual memory (cumulated for all children) (KiB): 10686560
Max. memory (cumulated for all children) (KiB): 8105444

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1403.83
system time used= 7.83615
maximum resident set size= 8105444
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 174521
page faults= 0
swaps= 0
block input operations= 0
block output operations= 528
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 19485
involuntary context switches= 14134


# summary of solver processes directly reported to runsolver:
#   pid: 30269
#   total CPU time (s): 1411.67
#   total CPU user time (s): 1403.83
#   total CPU system time (s): 7.83614

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 2.30866 second user time and 3.85398 second system time

The end
Name	Ramsey/Ramsey-int-s1/ Ramsey-int-24.xml
MD5SUM	22300454f2969805ad1ca4690e3d792c
Bench Category	COP (optimization problem)
Best result obtained on this benchmark	SAT TO
Best value of the objective obtained on this benchmark	3
Best CPU time to get the best result obtained on this benchmark	2400.04
Satisfiable
(Un)Satisfiability was proved
Number of variables	576
Number of constraints	2024
Number of domains	1
Minimum domain size	276
Maximum domain size	276
Distribution of domain sizes	[{"size":276,"count":276}]
Minimum variable degree	0
Maximum variable degree	23
Distribution of variable degrees	[{"degree":0,"count":300},{"degree":23,"count":276}]
Minimum constraint arity	3
Maximum constraint arity	3
Distribution of constraint arities	[{"arity":3,"count":2024}]
Number of extensional constraints	0
Number of intensional constraints	2024
Distribution of constraint types	[{"type":"intension","count":2024}]
Optimization problem	YES
Type of objective	min MAXIMUM
Trace number 4263753

Some explanations

Solver answer on this benchmark

General information on the benchmark

Solver Data

Verifier Data

Watcher Data

Launcher Data
