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
R1: sat4j-CSP 2017-07-05	? (problem)		1443.58	391.47601
runsolver Copyright (C) 2010-2013 Olivier ROUSSEL

This is runsolver version 3.3.7 (svn: 2553)

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-4243327-1502046070/watcher-4243327-1502046070 -o /tmp/evaluation-result-4243327-1502046070/solver-4243327-1502046070 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node135-1502041652-17604 --watchdog 2560 java -DCompetitionOutput -jar HOME/sat4j-csp-170705.jar HOME/instance-4243327-1502046070.xml 

pid=18440
running on 4 cores: 0,2,4,6

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 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: 8192 KiB


[startup+0 s]
/proc/loadavg: 2.07 3.02 3.40 2/200 18443
/proc/meminfo: memFree=28804072/32770624 swapFree=0/340264
[pid=18443] ppid=18440 vsize=23672 CPUtime=0 cores=0,2,4,6
/proc/18443/stat : 18443 (runsolver) D 18440 18443 12906 0 -1 4202560 108 0 0 0 0 0 0 0 20 0 1 0 46517891 24240128 106 18446744073709551615 4194304 4338465 140735930993392 140735930991032 139799685411543 0 0 1 24578 18446744071580418449 0 0 17 6 0 0 0 0 0 6438912 6441760 7012352 140735930998919 140735930999369 140735930999369 140735931002826 0
/proc/18443/statm: 5918 106 53 36 0 2156 0

[startup+0.101537 s]
/proc/loadavg: 2.07 3.02 3.40 2/200 18443
/proc/meminfo: memFree=28804072/32770624 swapFree=0/340264
[pid=18443] ppid=18440 vsize=10151672 CPUtime=0.03 cores=0,2,4,6
/proc/18443/stat : 18443 (java) S 18440 18443 12906 0 -1 1077944320 4011 0 0 0 3 0 0 0 20 0 9 0 46517891 10395312128 5118 18446744073709551615 4194304 4196468 140733425656192 140733425638736 140621978681079 0 0 1 16800970 18446744073709551615 0 0 17 0 0 0 5 0 0 6293624 6294260 29040640 140733425664437 140733425664590 140733425664590 140733425668047 0
/proc/18443/statm: 2537918 5118 2122 1 0 2527415 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 10151672

[startup+0.200269 s]
/proc/loadavg: 2.07 3.02 3.40 2/200 18443
/proc/meminfo: memFree=28804072/32770624 swapFree=0/340264
[pid=18443] ppid=18440 vsize=10551056 CPUtime=0.05 cores=0,2,4,6
/proc/18443/stat : 18443 (java) S 18440 18443 12906 0 -1 1077944320 4679 0 0 0 5 0 0 0 20 0 15 0 46517891 10804281344 5710 18446744073709551615 4194304 4196468 140733425656192 140733425638736 140621978681079 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 5 0 0 6293624 6294260 29040640 140733425664437 140733425664590 140733425664590 140733425668047 0
/proc/18443/statm: 2637764 5710 2578 1 0 2627261 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 10551056

[startup+0.300257 s]
/proc/loadavg: 2.07 3.02 3.40 2/200 18443
/proc/meminfo: memFree=28804072/32770624 swapFree=0/340264
[pid=18443] ppid=18440 vsize=10551156 CPUtime=0.21 cores=0,2,4,6
/proc/18443/stat : 18443 (java) S 18440 18443 12906 0 -1 1077944320 8127 0 0 0 18 3 0 0 20 0 15 0 46517891 10804383744 8418 18446744073709551615 4194304 4196468 140733425656192 140733425638736 140621978681079 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 5 0 0 6293624 6294260 29040640 140733425664437 140733425664590 140733425664590 140733425668047 0
/proc/18443/statm: 2637789 8930 2875 1 0 2627261 0
Current children cumulated CPU time (s) 0.21
Current children cumulated vsize (KiB) 10551156

[startup+0.702021 s]
/proc/loadavg: 2.07 3.02 3.40 2/200 18443
/proc/meminfo: memFree=28804072/32770624 swapFree=0/340264
[pid=18443] ppid=18440 vsize=10551232 CPUtime=1.13 cores=0,2,4,6
/proc/18443/stat : 18443 (java) S 18440 18443 12906 0 -1 1077944320 11468 0 0 0 102 11 0 0 20 0 15 0 46517891 10804461568 52806 18446744073709551615 4194304 4196468 140733425656192 140733425638736 140621978681079 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 5 0 0 6293624 6294260 29040640 140733425664437 140733425664590 140733425664590 140733425668047 0
/proc/18443/statm: 2637808 52806 3054 1 0 2627261 0
Current children cumulated CPU time (s) 1.13
Current children cumulated vsize (KiB) 10551232

[startup+1.50314 s]
/proc/loadavg: 2.07 3.02 3.40 3/215 18458
/proc/meminfo: memFree=28462936/32770624 swapFree=0/340292
[pid=18443] ppid=18440 vsize=10551232 CPUtime=3.03 cores=0,2,4,6
/proc/18443/stat : 18443 (java) S 18440 18443 12906 0 -1 1077944320 13132 0 0 0 267 36 0 0 20 0 15 0 46517891 10804461568 126375 18446744073709551615 4194304 4196468 140733425656192 140733425638736 140621978681079 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 5 0 0 6293624 6294260 29040640 140733425664437 140733425664590 140733425664590 140733425668047 0
/proc/18443/statm: 2637808 126375 3086 1 0 2627261 0
[pid=18443/tid=18445] ppid=18440 vsize=10551232 CPUtime=1.1 cores=0,2,4,6
/proc/18443/task/18445/stat : 18445 (java) R 18440 18443 12906 0 -1 4202560 7565 0 0 0 103 7 0 0 20 0 15 0 46517897 10804461568 126375 18446744073709551615 4194304 4196468 140733425656192 140621982914592 140621611507782 0 4 1 16800974 0 0 0 -1 4 0 0 8 0 0 6293624 6294260 29040640 140733425664437 140733425664590 140733425664590 140733425668047 0
[pid=18443/tid=18446] ppid=18440 vsize=10551232 CPUtime=0.22 cores=0,2,4,6
/proc/18443/task/18446/stat : 18446 (java) S 18440 18443 12906 0 -1 1077944384 201 0 0 0 16 6 0 0 20 0 15 0 46517897 10804461568 126375 18446744073709551615 4194304 4196468 140733425656192 140621935647504 140621978691285 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29040640 140733425664437 140733425664590 140733425664590 140733425668047 0
[pid=18443/tid=18447] ppid=18440 vsize=10551232 CPUtime=0.22 cores=0,2,4,6
/proc/18443/task/18447/stat : 18447 (java) S 18440 18443 12906 0 -1 1077944384 227 0 0 0 15 7 0 0 20 0 15 0 46517897 10804461568 126375 18446744073709551615 4194304 4196468 140733425656192 140621934594960 140621978691285 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29040640 140733425664437 140733425664590 140733425664590 140733425668047 0
[pid=18443/tid=18448] ppid=18440 vsize=10551232 CPUtime=0.23 cores=0,2,4,6
/proc/18443/task/18448/stat : 18448 (java) S 18440 18443 12906 0 -1 1077944384 207 0 0 0 16 7 0 0 20 0 15 0 46517897 10804461568 126375 18446744073709551615 4194304 4196468 140733425656192 140621933542416 140621978691285 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29040640 140733425664437 140733425664590 140733425664590 140733425668047 0
[pid=18443/tid=18449] ppid=18440 vsize=10551232 CPUtime=0.23 cores=0,2,4,6
/proc/18443/task/18449/stat : 18449 (java) S 18440 18443 12906 0 -1 1077944384 202 0 0 0 17 6 0 0 20 0 15 0 46517897 10804461568 126375 18446744073709551615 4194304 4196468 140733425656192 140621932489872 140621978691285 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29040640 140733425664437 140733425664590 140733425664590 140733425668047 0
[pid=18443/tid=18450] ppid=18440 vsize=10551232 CPUtime=0 cores=0,2,4,6
/proc/18443/task/18450/stat : 18450 (java) S 18440 18443 12906 0 -1 1077944384 209 0 0 0 0 0 0 0 20 0 15 0 46517899 10804461568 126375 18446744073709551615 4194304 4196468 140733425656192 140621542520816 140621978692226 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29040640 140733425664437 140733425664590 140733425664590 140733425668047 0
[pid=18443/tid=18451] ppid=18440 vsize=10551232 CPUtime=0 cores=0,2,4,6
/proc/18443/task/18451/stat : 18451 (java) S 18440 18443 12906 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 15 0 46517899 10804461568 126375 18446744073709551615 4194304 4196468 140733425656192 140621541467104 140621978691285 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29040640 140733425664437 140733425664590 140733425664590 140733425668047 0
[pid=18443/tid=18452] ppid=18440 vsize=10551232 CPUtime=0 cores=0,2,4,6
/proc/18443/task/18452/stat : 18452 (java) S 18440 18443 12906 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 15 0 46517899 10804461568 126375 18446744073709551615 4194304 4196468 140733425656192 140621540414448 140621978691285 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29040640 140733425664437 140733425664590 140733425664590 140733425668047 0
[pid=18443/tid=18453] ppid=18440 vsize=10551232 CPUtime=0 cores=0,2,4,6
/proc/18443/task/18453/stat : 18453 (java) S 18440 18443 12906 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 46517902 10804461568 126375 18446744073709551615 4194304 4196468 140733425656192 140621539363024 140621978699675 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29040640 140733425664437 140733425664590 140733425664590 140733425668047 0
[pid=18443/tid=18454] ppid=18440 vsize=10551232 CPUtime=0.36 cores=0,2,4,6
/proc/18443/task/18454/stat : 18454 (java) S 18440 18443 12906 0 -1 1077944384 1167 0 0 0 36 0 0 0 20 0 15 0 46517902 10804461568 126375 18446744073709551615 4194304 4196468 140733425656192 140621538310640 140621978692226 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29040640 140733425664437 140733425664590 140733425664590 140733425668047 0
[pid=18443/tid=18455] ppid=18440 vsize=10551232 CPUtime=0.32 cores=0,2,4,6
/proc/18443/task/18455/stat : 18455 (java) S 18440 18443 12906 0 -1 1077944384 683 0 0 0 32 0 0 0 20 0 15 0 46517902 10804461568 126375 18446744073709551615 4194304 4196468 140733425656192 140621537258096 140621978692226 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29040640 140733425664437 140733425664590 140733425664590 140733425668047 0
[pid=18443/tid=18456] ppid=18440 vsize=10551232 CPUtime=0.26 cores=0,2,4,6
/proc/18443/task/18456/stat : 18456 (java) S 18440 18443 12906 0 -1 1077944384 1313 0 0 0 26 0 0 0 20 0 15 0 46517902 10804461568 126375 18446744073709551615 4194304 4196468 140733425656192 140621536205552 140621978692226 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29040640 140733425664437 140733425664590 140733425664590 140733425668047 0
[pid=18443/tid=18457] ppid=18440 vsize=10551232 CPUtime=0 cores=0,2,4,6
/proc/18443/task/18457/stat : 18457 (java) S 18440 18443 12906 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 46517902 10804461568 126375 18446744073709551615 4194304 4196468 140733425656192 140621535153248 140621978691285 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29040640 140733425664437 140733425664590 140733425664590 140733425668047 0
[pid=18443/tid=18458] ppid=18440 vsize=10551232 CPUtime=0 cores=0,2,4,6
/proc/18443/task/18458/stat : 18458 (java) S 18440 18443 12906 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 46517910 10804461568 126375 18446744073709551615 4194304 4196468 140733425656192 140621534099760 140621978692226 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29040640 140733425664437 140733425664590 140733425664590 140733425668047 0
Current children cumulated CPU time (s) 3.03
Current children cumulated vsize (KiB) 10551232

[startup+3.1021 s]
/proc/loadavg: 2.07 3.02 3.40 6/215 18458
/proc/meminfo: memFree=27983216/32770624 swapFree=0/340292
[pid=18443] ppid=18440 vsize=10551232 CPUtime=7.61 cores=0,2,4,6
/proc/18443/stat : 18443 (java) S 18440 18443 12906 0 -1 1077944320 45000 0 0 0 688 73 0 0 20 0 15 0 46517891 10804461568 277559 18446744073709551615 4194304 4196468 140733425656192 140733425638736 140621978681079 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 5 0 0 6293624 6294260 29040640 140733425664437 140733425664590 140733425664590 140733425668047 0
/proc/18443/statm: 2637808 277559 3097 1 0 2627261 0
[pid=18443/tid=18445] ppid=18440 vsize=10551232 CPUtime=1.67 cores=0,2,4,6
/proc/18443/task/18445/stat : 18445 (java) S 18440 18443 12906 0 -1 1077944384 8120 0 0 0 157 10 0 0 20 0 15 0 46517897 10804461568 277559 18446744073709551615 4194304 4196468 140733425656192 140621982916432 140621978691285 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 8 0 0 6293624 6294260 29040640 140733425664437 140733425664590 140733425664590 140733425668047 0
[pid=18443/tid=18446] ppid=18440 vsize=10551232 CPUtime=1.24 cores=0,2,4,6
/proc/18443/task/18446/stat : 18446 (java) R 18440 18443 12906 0 -1 4202560 9114 0 0 0 109 15 0 0 20 0 15 0 46517897 10804461568 277559 18446744073709551615 4194304 4196468 140733425656192 140621935647504 140621971309287 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 29040640 140733425664437 140733425664590 140733425664590 140733425668047 0
[pid=18443/tid=18447] ppid=18440 vsize=10551232 CPUtime=1.21 cores=0,2,4,6
/proc/18443/task/18447/stat : 18447 (java) R 18440 18443 12906 0 -1 4202560 7324 0 0 0 106 15 0 0 20 0 15 0 46517897 10804461568 277559 18446744073709551615 4194304 4196468 140733425656192 140621934595160 140621963381673 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 29040640 140733425664437 140733425664590 140733425664590 140733425668047 0
[pid=18443/tid=18448] ppid=18440 vsize=10551232 CPUtime=1.23 cores=0,2,4,6
/proc/18443/task/18448/stat : 18448 (java) R 18440 18443 12906 0 -1 4202560 8295 0 0 0 108 15 0 0 20 0 15 0 46517897 10804461568 277559 18446744073709551615 4194304 4196468 140733425656192 140621933542416 140621963381710 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 29040640 140733425664437 140733425664590 140733425664590 140733425668047 0
[pid=18443/tid=18449] ppid=18440 vsize=10551232 CPUtime=1.22 cores=0,2,4,6
/proc/18443/task/18449/stat : 18449 (java) R 18440 18443 12906 0 -1 4202560 7354 0 0 0 108 14 0 0 20 0 15 0 46517897 10804461568 277559 18446744073709551615 4194304 4196468 140733425656192 140621932489992 140621971309287 0 4 1 16800974 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 29040640 140733425664437 140733425664590 140733425664590 140733425668047 0
[pid=18443/tid=18450] ppid=18440 vsize=10551232 CPUtime=0.01 cores=0,2,4,6
/proc/18443/task/18450/stat : 18450 (java) S 18440 18443 12906 0 -1 1077944384 262 0 0 0 1 0 0 0 20 0 15 0 46517899 10804461568 277559 18446744073709551615 4194304 4196468 140733425656192 140621542519360 140621978691285 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29040640 140733425664437 140733425664590 140733425664590 140733425668047 0
[pid=18443/tid=18451] ppid=18440 vsize=10551232 CPUtime=0 cores=0,2,4,6
/proc/18443/task/18451/stat : 18451 (java) S 18440 18443 12906 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 15 0 46517899 10804461568 277559 18446744073709551615 4194304 4196468 140733425656192 140621541467104 140621978691285 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29040640 140733425664437 140733425664590 140733425664590 140733425668047 0
[pid=18443/tid=18452] ppid=18440 vsize=10551232 CPUtime=0 cores=0,2,4,6
/proc/18443/task/18452/stat : 18452 (java) S 18440 18443 12906 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 15 0 46517899 10804461568 277559 18446744073709551615 4194304 4196468 140733425656192 140621540414448 140621978691285 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29040640 140733425664437 140733425664590 140733425664590 140733425668047 0
[pid=18443/tid=18453] ppid=18440 vsize=10551232 CPUtime=0 cores=0,2,4,6
/proc/18443/task/18453/stat : 18453 (java) S 18440 18443 12906 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 46517902 10804461568 277559 18446744073709551615 4194304 4196468 140733425656192 140621539363024 140621978699675 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29040640 140733425664437 140733425664590 140733425664590 140733425668047 0
[pid=18443/tid=18454] ppid=18440 vsize=10551232 CPUtime=0.36 cores=0,2,4,6
/proc/18443/task/18454/stat : 18454 (java) S 18440 18443 12906 0 -1 1077944384 1167 0 0 0 36 0 0 0 20 0 15 0 46517902 10804461568 277559 18446744073709551615 4194304 4196468 140733425656192 140621538310640 140621978692226 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29040640 140733425664437 140733425664590 140733425664590 140733425668047 0
[pid=18443/tid=18455] ppid=18440 vsize=10551232 CPUtime=0.32 cores=0,2,4,6
/proc/18443/task/18455/stat : 18455 (java) S 18440 18443 12906 0 -1 1077944384 683 0 0 0 32 0 0 0 20 0 15 0 46517902 10804461568 277559 18446744073709551615 4194304 4196468 140733425656192 140621537258096 140621978692226 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29040640 140733425664437 140733425664590 140733425664590 140733425668047 0
[pid=18443/tid=18456] ppid=18440 vsize=10551232 CPUtime=0.27 cores=0,2,4,6
/proc/18443/task/18456/stat : 18456 (java) S 18440 18443 12906 0 -1 1077944384 1323 0 0 0 27 0 0 0 20 0 15 0 46517902 10804461568 277559 18446744073709551615 4194304 4196468 140733425656192 140621536205552 140621978692226 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29040640 140733425664437 140733425664590 140733425664590 140733425668047 0
[pid=18443/tid=18457] ppid=18440 vsize=10551232 CPUtime=0 cores=0,2,4,6
/proc/18443/task/18457/stat : 18457 (java) S 18440 18443 12906 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 46517902 10804461568 277559 18446744073709551615 4194304 4196468 140733425656192 140621535153248 140621978691285 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29040640 140733425664437 140733425664590 140733425664590 140733425668047 0
[pid=18443/tid=18458] ppid=18440 vsize=10551232 CPUtime=0 cores=0,2,4,6
/proc/18443/task/18458/stat : 18458 (java) S 18440 18443 12906 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 46517910 10804461568 277559 18446744073709551615 4194304 4196468 140733425656192 140621534099760 140621978692226 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29040640 140733425664437 140733425664590 140733425664590 140733425668047 0
Current children cumulated CPU time (s) 7.61
Current children cumulated vsize (KiB) 10551232

[startup+6.30075 s]
/proc/loadavg: 2.06 3.00 3.39 6/215 18458
/proc/meminfo: memFree=27365912/32770624 swapFree=0/340284
[pid=18443] ppid=18440 vsize=10551232 CPUtime=14.62 cores=0,2,4,6
/proc/18443/stat : 18443 (java) S 18440 18443 12906 0 -1 1077944320 56740 0 0 0 1345 117 0 0 20 0 15 0 46517891 10804461568 379945 18446744073709551615 4194304 4196468 140733425656192 140733425638736 140621978681079 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 5 0 0 6293624 6294260 29040640 140733425664437 140733425664590 140733425664590 140733425668047 0
/proc/18443/statm: 2637808 379945 3107 1 0 2627261 0
[pid=18443/tid=18445] ppid=18440 vsize=10551232 CPUtime=3.21 cores=0,2,4,6
/proc/18443/task/18445/stat : 18445 (java) R 18440 18443 12906 0 -1 4202560 10748 0 0 0 310 11 0 0 20 0 15 0 46517897 10804461568 379945 18446744073709551615 4194304 4196468 140733425656192 140621982917080 140621611995481 0 4 1 16800974 0 0 0 -1 2 0 0 8 0 0 6293624 6294260 29040640 140733425664437 140733425664590 140733425664590 140733425668047 0
[pid=18443/tid=18446] ppid=18440 vsize=10551232 CPUtime=2.22 cores=0,2,4,6
/proc/18443/task/18446/stat : 18446 (java) S 18440 18443 12906 0 -1 1077944384 9661 0 0 0 197 25 0 0 20 0 15 0 46517897 10804461568 379945 18446744073709551615 4194304 4196468 140733425656192 140621935647504 140621978691285 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29040640 140733425664437 140733425664590 140733425664590 140733425668047 0
[pid=18443/tid=18447] ppid=18440 vsize=10551232 CPUtime=2.18 cores=0,2,4,6
/proc/18443/task/18447/stat : 18447 (java) S 18440 18443 12906 0 -1 1077944384 7837 0 0 0 193 25 0 0 20 0 15 0 46517897 10804461568 379945 18446744073709551615 4194304 4196468 140733425656192 140621934594960 140621978691285 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29040640 140733425664437 140733425664590 140733425664590 140733425668047 0
[pid=18443/tid=18448] ppid=18440 vsize=10551232 CPUtime=2.21 cores=0,2,4,6
/proc/18443/task/18448/stat : 18448 (java) S 18440 18443 12906 0 -1 1077944384 8828 0 0 0 195 26 0 0 20 0 15 0 46517897 10804461568 379945 18446744073709551615 4194304 4196468 140733425656192 140621933542416 140621978691285 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29040640 140733425664437 140733425664590 140733425664590 140733425668047 0
[pid=18443/tid=18449] ppid=18440 vsize=10551232 CPUtime=2.18 cores=0,2,4,6
/proc/18443/task/18449/stat : 18449 (java) S 18440 18443 12906 0 -1 1077944384 7836 0 0 0 193 25 0 0 20 0 15 0 46517897 10804461568 379945 18446744073709551615 4194304 4196468 140733425656192 140621932489872 140621978691285 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29040640 140733425664437 140733425664590 140733425664590 140733425668047 0
[pid=18443/tid=18450] ppid=18440 vsize=10551232 CPUtime=0.7 cores=0,2,4,6
/proc/18443/task/18450/stat : 18450 (java) S 18440 18443 12906 0 -1 1077944384 1729 0 0 0 70 0 0 0 20 0 15 0 46517899 10804461568 379945 18446744073709551615 4194304 4196468 140733425656192 140621542520816 140621978692226 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29040640 140733425664437 140733425664590 140733425664590 140733425668047 0
[pid=18443/tid=18451] ppid=18440 vsize=10551232 CPUtime=0 cores=0,2,4,6
/proc/18443/task/18451/stat : 18451 (java) S 18440 18443 12906 0 -1 1077944384 37 0 0 0 0 0 0 0 20 0 15 0 46517899 10804461568 379945 18446744073709551615 4194304 4196468 140733425656192 140621541467104 140621978691285 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29040640 140733425664437 140733425664590 140733425664590 140733425668047 0
[pid=18443/tid=18452] ppid=18440 vsize=10551232 CPUtime=0 cores=0,2,4,6
/proc/18443/task/18452/stat : 18452 (java) S 18440 18443 12906 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 15 0 46517899 10804461568 379945 18446744073709551615 4194304 4196468 140733425656192 140621540414448 140621978691285 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29040640 140733425664437 140733425664590 140733425664590 140733425668047 0
[pid=18443/tid=18453] ppid=18440 vsize=10551232 CPUtime=0 cores=0,2,4,6
/proc/18443/task/18453/stat : 18453 (java) S 18440 18443 12906 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 46517902 10804461568 379945 18446744073709551615 4194304 4196468 140733425656192 140621539363024 140621978699675 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29040640 140733425664437 140733425664590 140733425664590 140733425668047 0
[pid=18443/tid=18454] ppid=18440 vsize=10551232 CPUtime=0.82 cores=0,2,4,6
/proc/18443/task/18454/stat : 18454 (java) S 18440 18443 12906 0 -1 1077944384 3480 0 0 0 82 0 0 0 20 0 15 0 46517902 10804461568 379945 18446744073709551615 4194304 4196468 140733425656192 140621538310640 140621978692226 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29040640 140733425664437 140733425664590 140733425664590 140733425668047 0
[pid=18443/tid=18455] ppid=18440 vsize=10551232 CPUtime=0.68 cores=0,2,4,6
/proc/18443/task/18455/stat : 18455 (java) S 18440 18443 12906 0 -1 1077944384 2259 0 0 0 68 0 0 0 20 0 15 0 46517902 10804461568 379945 18446744073709551615 4194304 4196468 140733425656192 140621537258096 140621978692226 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29040640 140733425664437 140733425664590 140733425664590 140733425668047 0
[pid=18443/tid=18456] ppid=18440 vsize=10551232 CPUtime=0.34 cores=0,2,4,6
/proc/18443/task/18456/stat : 18456 (java) S 18440 18443 12906 0 -1 1077944384 2942 0 0 0 33 1 0 0 20 0 15 0 46517902 10804461568 379945 18446744073709551615 4194304 4196468 140733425656192 140621536205552 140621978692226 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29040640 140733425664437 140733425664590 140733425664590 140733425668047 0
[pid=18443/tid=18457] ppid=18440 vsize=10551232 CPUtime=0 cores=0,2,4,6
/proc/18443/task/18457/stat : 18457 (java) S 18440 18443 12906 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 46517902 10804461568 379945 18446744073709551615 4194304 4196468 140733425656192 140621535153248 140621978691285 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29040640 140733425664437 140733425664590 140733425664590 140733425668047 0
[pid=18443/tid=18458] ppid=18440 vsize=10551232 CPUtime=0 cores=0,2,4,6
/proc/18443/task/18458/stat : 18458 (java) S 18440 18443 12906 0 -1 1077944384 37 0 0 0 0 0 0 0 20 0 15 0 46517910 10804461568 379945 18446744073709551615 4194304 4196468 140733425656192 140621534099760 140621978692226 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29040640 140733425664437 140733425664590 140733425664590 140733425668047 0
Current children cumulated CPU time (s) 14.62
Current children cumulated vsize (KiB) 10551232

[startup+12.7011 s]
/proc/loadavg: 2.14 3.00 3.39 6/214 18460
/proc/meminfo: memFree=25513400/32770624 swapFree=0/340292
[pid=18443] ppid=18440 vsize=10551232 CPUtime=32.66 cores=0,2,4,6
/proc/18443/stat : 18443 (java) S 18440 18443 12906 0 -1 1077944320 92724 0 0 0 2955 311 0 0 20 0 15 0 46517891 10804461568 870381 18446744073709551615 4194304 4196468 140733425656192 140733425638736 140621978681079 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 5 0 0 6293624 6294260 29040640 140733425664437 140733425664590 140733425664590 140733425668047 0
/proc/18443/statm: 2637808 870381 3107 1 0 2627261 0
[pid=18443/tid=18445] ppid=18440 vsize=10551232 CPUtime=4.59 cores=0,2,4,6
/proc/18443/task/18445/stat : 18445 (java) R 18440 18443 12906 0 -1 4202560 12258 0 0 0 444 15 0 0 20 0 15 0 46517897 10804461568 870381 18446744073709551615 4194304 4196468 140733425656192 140621982918536 140621611995177 0 4 1 16800974 0 0 0 -1 6 0 0 8 0 0 6293624 6294260 29040640 140733425664437 140733425664590 140733425664590 140733425668047 0
[pid=18443/tid=18446] ppid=18440 vsize=10551232 CPUtime=6.11 cores=0,2,4,6
/proc/18443/task/18446/stat : 18446 (java) S 18440 18443 12906 0 -1 1077944384 12511 0 0 0 539 72 0 0 20 0 15 0 46517897 10804461568 870381 18446744073709551615 4194304 4196468 140733425656192 140621935647504 140621978691285 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29040640 140733425664437 140733425664590 140733425664590 140733425668047 0
[pid=18443/tid=18447] ppid=18440 vsize=10551232 CPUtime=6.06 cores=0,2,4,6
/proc/18443/task/18447/stat : 18447 (java) S 18440 18443 12906 0 -1 1077944384 10659 0 0 0 534 72 0 0 20 0 15 0 46517897 10804461568 870381 18446744073709551615 4194304 4196468 140733425656192 140621934594960 140621978691285 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29040640 140733425664437 140733425664590 140733425664590 140733425668047 0
[pid=18443/tid=18448] ppid=18440 vsize=10551232 CPUtime=6.1 cores=0,2,4,6
/proc/18443/task/18448/stat : 18448 (java) S 18440 18443 12906 0 -1 1077944384 11285 0 0 0 535 75 0 0 20 0 15 0 46517897 10804461568 870381 18446744073709551615 4194304 4196468 140733425656192 140621933542416 140621978691285 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29040640 140733425664437 140733425664590 140733425664590 140733425668047 0
[pid=18443/tid=18449] ppid=18440 vsize=10551232 CPUtime=6.05 cores=0,2,4,6
/proc/18443/task/18449/stat : 18449 (java) S 18440 18443 12906 0 -1 1077944384 32208 0 0 0 534 71 0 0 20 0 15 0 46517897 10804461568 870381 18446744073709551615 4194304 4196468 140733425656192 140621932489872 140621978691285 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29040640 140733425664437 140733425664590 140733425664590 140733425668047 0
[pid=18443/tid=18450] ppid=18440 vsize=10551232 CPUtime=1.8 cores=0,2,4,6
/proc/18443/task/18450/stat : 18450 (java) S 18440 18443 12906 0 -1 1077944384 3690 0 0 0 180 0 0 0 20 0 15 0 46517899 10804461568 870381 18446744073709551615 4194304 4196468 140733425656192 140621542520816 140621978692226 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29040640 140733425664437 140733425664590 140733425664590 140733425668047 0
[pid=18443/tid=18451] ppid=18440 vsize=10551232 CPUtime=0 cores=0,2,4,6
/proc/18443/task/18451/stat : 18451 (java) S 18440 18443 12906 0 -1 1077944384 37 0 0 0 0 0 0 0 20 0 15 0 46517899 10804461568 870381 18446744073709551615 4194304 4196468 140733425656192 140621541467104 140621978691285 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29040640 140733425664437 140733425664590 140733425664590 140733425668047 0
[pid=18443/tid=18452] ppid=18440 vsize=10551232 CPUtime=0 cores=0,2,4,6
/proc/18443/task/18452/stat : 18452 (java) S 18440 18443 12906 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 15 0 46517899 10804461568 870381 18446744073709551615 4194304 4196468 140733425656192 140621540414448 140621978691285 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29040640 140733425664437 140733425664590 140733425664590 140733425668047 0
[pid=18443/tid=18453] ppid=18440 vsize=10551232 CPUtime=0 cores=0,2,4,6
/proc/18443/task/18453/stat : 18453 (java) S 18440 18443 12906 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 46517902 10804461568 870381 18446744073709551615 4194304 4196468 140733425656192 140621539363024 140621978699675 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29040640 140733425664437 140733425664590 140733425664590 140733425668047 0

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

/proc/18443/task/18491/stat : 18491 (java) S 18440 18443 12906 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 17 0 46555303 10943037440 2010411 18446744073709551615 4194304 4196468 140733425656192 140621529894960 140621978691285 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29040640 140733425664437 140733425664590 140733425664590 140733425668047 0
Current children cumulated CPU time (s) 1428.89
Current children cumulated vsize (KiB) 10686560

[startup+388.801 s]
/proc/loadavg: 4.87 4.26 3.83 6/218 18491
/proc/meminfo: memFree=20526844/32770624 swapFree=0/340404
[pid=18443] ppid=18440 vsize=10686560 CPUtime=1435.08 cores=0,2,4,6
/proc/18443/stat : 18443 (java) S 18440 18443 12906 0 -1 1077944320 488138 0 0 0 142739 769 0 0 20 0 17 0 46517891 10943037440 2010411 18446744073709551615 4194304 4196468 140733425656192 140733425638736 140621978681079 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 5 0 0 6293624 6294260 29040640 140733425664437 140733425664590 140733425664590 140733425668047 0
/proc/18443/statm: 2671640 2010411 3158 1 0 2661055 0
[pid=18443/tid=18445] ppid=18440 vsize=10686560 CPUtime=13.76 cores=0,2,4,6
/proc/18443/task/18445/stat : 18445 (java) S 18440 18443 12906 0 -1 1077944384 17682 0 0 0 1361 15 0 0 20 0 17 0 46517897 10943037440 2010411 18446744073709551615 4194304 4196468 140733425656192 140621982921760 140621978691285 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 8 0 0 6293624 6294260 29040640 140733425664437 140733425664590 140733425664590 140733425668047 0
[pid=18443/tid=18446] ppid=18440 vsize=10686560 CPUtime=349.95 cores=0,2,4,6
/proc/18443/task/18446/stat : 18446 (java) R 18440 18443 12906 0 -1 4202560 109841 0 0 0 34801 194 0 0 20 0 17 0 46517897 10943037440 2010411 18446744073709551615 4194304 4196468 140733425656192 140621935647312 140621971309287 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 29040640 140733425664437 140733425664590 140733425664590 140733425668047 0
[pid=18443/tid=18447] ppid=18440 vsize=10686560 CPUtime=349.68 cores=0,2,4,6
/proc/18443/task/18447/stat : 18447 (java) R 18440 18443 12906 0 -1 4202560 71350 0 0 0 34796 172 0 0 20 0 17 0 46517897 10943037440 2010411 18446744073709551615 4194304 4196468 140733425656192 140621934595080 140621971309287 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 29040640 140733425664437 140733425664590 140733425664590 140733425668047 0
[pid=18443/tid=18448] ppid=18440 vsize=10686560 CPUtime=348.48 cores=0,2,4,6
/proc/18443/task/18448/stat : 18448 (java) R 18440 18443 12906 0 -1 4202560 82258 0 0 0 34650 198 0 0 20 0 17 0 46517897 10943037440 2010411 18446744073709551615 4194304 4196468 140733425656192 140621933542536 140621971309287 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 29040640 140733425664437 140733425664590 140733425664590 140733425668047 0
[pid=18443/tid=18449] ppid=18440 vsize=10686560 CPUtime=350.22 cores=0,2,4,6
/proc/18443/task/18449/stat : 18449 (java) R 18440 18443 12906 0 -1 4202560 119977 0 0 0 34844 178 0 0 20 0 17 0 46517897 10943037440 2010411 18446744073709551615 4194304 4196468 140733425656192 140621932490072 140621963677483 0 4 1 16800974 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 29040640 140733425664437 140733425664590 140733425664590 140733425668047 0
[pid=18443/tid=18450] ppid=18440 vsize=10686560 CPUtime=20.01 cores=0,2,4,6
/proc/18443/task/18450/stat : 18450 (java) S 18440 18443 12906 0 -1 1077944384 64912 0 0 0 1998 3 0 0 20 0 17 0 46517899 10943037440 2010411 18446744073709551615 4194304 4196468 140733425656192 140621542519360 140621978691285 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29040640 140733425664437 140733425664590 140733425664590 140733425668047 0
[pid=18443/tid=18451] ppid=18440 vsize=10686560 CPUtime=0 cores=0,2,4,6
/proc/18443/task/18451/stat : 18451 (java) S 18440 18443 12906 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 17 0 46517899 10943037440 2010411 18446744073709551615 4194304 4196468 140733425656192 140621541467104 140621978691285 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29040640 140733425664437 140733425664590 140733425664590 140733425668047 0
[pid=18443/tid=18452] ppid=18440 vsize=10686560 CPUtime=0 cores=0,2,4,6
/proc/18443/task/18452/stat : 18452 (java) S 18440 18443 12906 0 -1 1077944384 66 0 0 0 0 0 0 0 20 0 17 0 46517899 10943037440 2010411 18446744073709551615 4194304 4196468 140733425656192 140621540413568 140621978691285 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29040640 140733425664437 140733425664590 140733425664590 140733425668047 0
[pid=18443/tid=18453] ppid=18440 vsize=10686560 CPUtime=0 cores=0,2,4,6
/proc/18443/task/18453/stat : 18453 (java) S 18440 18443 12906 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 17 0 46517902 10943037440 2010411 18446744073709551615 4194304 4196468 140733425656192 140621539363024 140621978699675 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29040640 140733425664437 140733425664590 140733425664590 140733425668047 0
[pid=18443/tid=18454] ppid=18440 vsize=10686560 CPUtime=1.46 cores=0,2,4,6
/proc/18443/task/18454/stat : 18454 (java) S 18440 18443 12906 0 -1 1077944384 12047 0 0 0 145 1 0 0 20 0 17 0 46517902 10943037440 2010411 18446744073709551615 4194304 4196468 140733425656192 140621538310400 140621978691285 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29040640 140733425664437 140733425664590 140733425664590 140733425668047 0
[pid=18443/tid=18455] ppid=18440 vsize=10686560 CPUtime=0.79 cores=0,2,4,6
/proc/18443/task/18455/stat : 18455 (java) S 18440 18443 12906 0 -1 1077944384 4202 0 0 0 79 0 0 0 20 0 17 0 46517902 10943037440 2010411 18446744073709551615 4194304 4196468 140733425656192 140621537258144 140621978691285 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29040640 140733425664437 140733425664590 140733425664590 140733425668047 0
[pid=18443/tid=18456] ppid=18440 vsize=10686560 CPUtime=0.37 cores=0,2,4,6
/proc/18443/task/18456/stat : 18456 (java) S 18440 18443 12906 0 -1 1077944384 4016 0 0 0 36 1 0 0 20 0 17 0 46517902 10943037440 2010411 18446744073709551615 4194304 4196468 140733425656192 140621536203056 140621978691285 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29040640 140733425664437 140733425664590 140733425664590 140733425668047 0
[pid=18443/tid=18457] ppid=18440 vsize=10686560 CPUtime=0 cores=0,2,4,6
/proc/18443/task/18457/stat : 18457 (java) S 18440 18443 12906 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 17 0 46517902 10943037440 2010411 18446744073709551615 4194304 4196468 140733425656192 140621535153248 140621978691285 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29040640 140733425664437 140733425664590 140733425664590 140733425668047 0
[pid=18443/tid=18458] ppid=18440 vsize=10686560 CPUtime=0.24 cores=0,2,4,6
/proc/18443/task/18458/stat : 18458 (java) S 18440 18443 12906 0 -1 1077944384 397 0 0 0 17 7 0 0 20 0 17 0 46517910 10943037440 2010411 18446744073709551615 4194304 4196468 140733425656192 140621534099760 140621978692226 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29040640 140733425664437 140733425664590 140733425664590 140733425668047 0
[pid=18443/tid=18490] ppid=18440 vsize=10686560 CPUtime=0 cores=0,2,4,6
/proc/18443/task/18490/stat : 18490 (java) S 18440 18443 12906 0 -1 1077944384 24 0 0 0 0 0 0 0 20 0 17 0 46555303 10943037440 2010411 18446744073709551615 4194304 4196468 140733425656192 140621530946736 140621978691285 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29040640 140733425664437 140733425664590 140733425664590 140733425668047 0
[pid=18443/tid=18491] ppid=18440 vsize=10686560 CPUtime=0 cores=0,2,4,6
/proc/18443/task/18491/stat : 18491 (java) S 18440 18443 12906 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 17 0 46555303 10943037440 2010411 18446744073709551615 4194304 4196468 140733425656192 140621529894960 140621978691285 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29040640 140733425664437 140733425664590 140733425664590 140733425668047 0
Current children cumulated CPU time (s) 1435.08
Current children cumulated vsize (KiB) 10686560

[startup+390.401 s]
/proc/loadavg: 4.88 4.27 3.83 6/218 18491
/proc/meminfo: memFree=20526844/32770624 swapFree=0/340404
[pid=18443] ppid=18440 vsize=10686560 CPUtime=1441.28 cores=0,2,4,6
/proc/18443/stat : 18443 (java) S 18440 18443 12906 0 -1 1077944320 488470 0 0 0 143358 770 0 0 20 0 17 0 46517891 10943037440 2010411 18446744073709551615 4194304 4196468 140733425656192 140733425638736 140621978681079 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 5 0 0 6293624 6294260 29040640 140733425664437 140733425664590 140733425664590 140733425668047 0
/proc/18443/statm: 2671640 2010411 3158 1 0 2661055 0
[pid=18443/tid=18445] ppid=18440 vsize=10686560 CPUtime=13.76 cores=0,2,4,6
/proc/18443/task/18445/stat : 18445 (java) S 18440 18443 12906 0 -1 1077944384 17682 0 0 0 1361 15 0 0 20 0 17 0 46517897 10943037440 2010411 18446744073709551615 4194304 4196468 140733425656192 140621982921760 140621978691285 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 8 0 0 6293624 6294260 29040640 140733425664437 140733425664590 140733425664590 140733425668047 0
[pid=18443/tid=18446] ppid=18440 vsize=10686560 CPUtime=351.49 cores=0,2,4,6
/proc/18443/task/18446/stat : 18446 (java) R 18440 18443 12906 0 -1 4202560 109841 0 0 0 34955 194 0 0 20 0 17 0 46517897 10943037440 2010411 18446744073709551615 4194304 4196468 140733425656192 140621935647624 140621971309287 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 29040640 140733425664437 140733425664590 140733425664590 140733425668047 0
[pid=18443/tid=18447] ppid=18440 vsize=10686560 CPUtime=351.22 cores=0,2,4,6
/proc/18443/task/18447/stat : 18447 (java) R 18440 18443 12906 0 -1 4202560 71350 0 0 0 34949 173 0 0 20 0 17 0 46517897 10943037440 2010411 18446744073709551615 4194304 4196468 140733425656192 140621934594768 140621971309287 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 29040640 140733425664437 140733425664590 140733425664590 140733425668047 0
[pid=18443/tid=18448] ppid=18440 vsize=10686560 CPUtime=350.02 cores=0,2,4,6
/proc/18443/task/18448/stat : 18448 (java) R 18440 18443 12906 0 -1 4202560 82258 0 0 0 34804 198 0 0 20 0 17 0 46517897 10943037440 2010411 18446744073709551615 4194304 4196468 140733425656192 140621933542224 140621971309287 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 29040640 140733425664437 140733425664590 140733425664590 140733425668047 0
[pid=18443/tid=18449] ppid=18440 vsize=10686560 CPUtime=351.81 cores=0,2,4,6
/proc/18443/task/18449/stat : 18449 (java) R 18440 18443 12906 0 -1 4202560 120309 0 0 0 35003 178 0 0 20 0 17 0 46517897 10943037440 2010411 18446744073709551615 4194304 4196468 140733425656192 140621932490072 140621963677446 0 4 1 16800974 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 29040640 140733425664437 140733425664590 140733425664590 140733425668047 0
[pid=18443/tid=18450] ppid=18440 vsize=10686560 CPUtime=20.01 cores=0,2,4,6
/proc/18443/task/18450/stat : 18450 (java) S 18440 18443 12906 0 -1 1077944384 64912 0 0 0 1998 3 0 0 20 0 17 0 46517899 10943037440 2010411 18446744073709551615 4194304 4196468 140733425656192 140621542519360 140621978691285 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29040640 140733425664437 140733425664590 140733425664590 140733425668047 0
[pid=18443/tid=18451] ppid=18440 vsize=10686560 CPUtime=0 cores=0,2,4,6
/proc/18443/task/18451/stat : 18451 (java) S 18440 18443 12906 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 17 0 46517899 10943037440 2010411 18446744073709551615 4194304 4196468 140733425656192 140621541467104 140621978691285 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29040640 140733425664437 140733425664590 140733425664590 140733425668047 0
[pid=18443/tid=18452] ppid=18440 vsize=10686560 CPUtime=0 cores=0,2,4,6
/proc/18443/task/18452/stat : 18452 (java) S 18440 18443 12906 0 -1 1077944384 66 0 0 0 0 0 0 0 20 0 17 0 46517899 10943037440 2010411 18446744073709551615 4194304 4196468 140733425656192 140621540413568 140621978691285 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29040640 140733425664437 140733425664590 140733425664590 140733425668047 0
[pid=18443/tid=18453] ppid=18440 vsize=10686560 CPUtime=0 cores=0,2,4,6
/proc/18443/task/18453/stat : 18453 (java) S 18440 18443 12906 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 17 0 46517902 10943037440 2010411 18446744073709551615 4194304 4196468 140733425656192 140621539363024 140621978699675 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29040640 140733425664437 140733425664590 140733425664590 140733425668047 0
[pid=18443/tid=18454] ppid=18440 vsize=10686560 CPUtime=1.46 cores=0,2,4,6
/proc/18443/task/18454/stat : 18454 (java) S 18440 18443 12906 0 -1 1077944384 12047 0 0 0 145 1 0 0 20 0 17 0 46517902 10943037440 2010411 18446744073709551615 4194304 4196468 140733425656192 140621538310400 140621978691285 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29040640 140733425664437 140733425664590 140733425664590 140733425668047 0
[pid=18443/tid=18455] ppid=18440 vsize=10686560 CPUtime=0.79 cores=0,2,4,6
/proc/18443/task/18455/stat : 18455 (java) S 18440 18443 12906 0 -1 1077944384 4202 0 0 0 79 0 0 0 20 0 17 0 46517902 10943037440 2010411 18446744073709551615 4194304 4196468 140733425656192 140621537258144 140621978691285 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29040640 140733425664437 140733425664590 140733425664590 140733425668047 0
[pid=18443/tid=18456] ppid=18440 vsize=10686560 CPUtime=0.37 cores=0,2,4,6
/proc/18443/task/18456/stat : 18456 (java) S 18440 18443 12906 0 -1 1077944384 4016 0 0 0 36 1 0 0 20 0 17 0 46517902 10943037440 2010411 18446744073709551615 4194304 4196468 140733425656192 140621536203056 140621978691285 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29040640 140733425664437 140733425664590 140733425664590 140733425668047 0
[pid=18443/tid=18457] ppid=18440 vsize=10686560 CPUtime=0 cores=0,2,4,6
/proc/18443/task/18457/stat : 18457 (java) S 18440 18443 12906 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 17 0 46517902 10943037440 2010411 18446744073709551615 4194304 4196468 140733425656192 140621535153248 140621978691285 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29040640 140733425664437 140733425664590 140733425664590 140733425668047 0
[pid=18443/tid=18458] ppid=18440 vsize=10686560 CPUtime=0.24 cores=0,2,4,6
/proc/18443/task/18458/stat : 18458 (java) S 18440 18443 12906 0 -1 1077944384 397 0 0 0 17 7 0 0 20 0 17 0 46517910 10943037440 2010411 18446744073709551615 4194304 4196468 140733425656192 140621534099760 140621978692226 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29040640 140733425664437 140733425664590 140733425664590 140733425668047 0
[pid=18443/tid=18490] ppid=18440 vsize=10686560 CPUtime=0 cores=0,2,4,6
/proc/18443/task/18490/stat : 18490 (java) S 18440 18443 12906 0 -1 1077944384 24 0 0 0 0 0 0 0 20 0 17 0 46555303 10943037440 2010411 18446744073709551615 4194304 4196468 140733425656192 140621530946736 140621978691285 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29040640 140733425664437 140733425664590 140733425664590 140733425668047 0
[pid=18443/tid=18491] ppid=18440 vsize=10686560 CPUtime=0 cores=0,2,4,6
/proc/18443/task/18491/stat : 18491 (java) S 18440 18443 12906 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 17 0 46555303 10943037440 2010411 18446744073709551615 4194304 4196468 140733425656192 140621529894960 140621978691285 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29040640 140733425664437 140733425664590 140733425664590 140733425668047 0
Current children cumulated CPU time (s) 1441.28
Current children cumulated vsize (KiB) 10686560

[startup+391.201 s]
/proc/loadavg: 4.88 4.27 3.83 6/218 18491
/proc/meminfo: memFree=20526844/32770624 swapFree=0/340404
[pid=18443] ppid=18440 vsize=10686560 CPUtime=1443.3 cores=0,2,4,6
/proc/18443/stat : 18443 (java) S 18440 18443 12906 0 -1 1077944320 488470 0 0 0 143559 771 0 0 20 0 17 0 46517891 10943037440 2010411 18446744073709551615 4194304 4196468 140733425656192 140733425638736 140621978681079 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 5 0 0 6293624 6294260 29040640 140733425664437 140733425664590 140733425664590 140733425668047 0
/proc/18443/statm: 2671640 2010411 3158 1 0 2661055 0
[pid=18443/tid=18445] ppid=18440 vsize=10686560 CPUtime=13.76 cores=0,2,4,6
/proc/18443/task/18445/stat : 18445 (java) S 18440 18443 12906 0 -1 1077944384 17682 0 0 0 1361 15 0 0 20 0 17 0 46517897 10943037440 2010411 18446744073709551615 4194304 4196468 140733425656192 140621982921760 140621978691285 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 8 0 0 6293624 6294260 29040640 140733425664437 140733425664590 140733425664590 140733425668047 0
[pid=18443/tid=18446] ppid=18440 vsize=10686560 CPUtime=351.9 cores=0,2,4,6
/proc/18443/task/18446/stat : 18446 (java) S 18440 18443 12906 0 -1 1077944384 109841 0 0 0 34995 195 0 0 20 0 17 0 46517897 10943037440 2010411 18446744073709551615 4194304 4196468 140733425656192 140621935647504 140621978691285 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29040640 140733425664437 140733425664590 140733425664590 140733425668047 0
[pid=18443/tid=18447] ppid=18440 vsize=10686560 CPUtime=351.63 cores=0,2,4,6
/proc/18443/task/18447/stat : 18447 (java) S 18440 18443 12906 0 -1 1077944384 71350 0 0 0 34990 173 0 0 20 0 17 0 46517897 10943037440 2010411 18446744073709551615 4194304 4196468 140733425656192 140621934594960 140621978691285 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29040640 140733425664437 140733425664590 140733425664590 140733425668047 0
[pid=18443/tid=18448] ppid=18440 vsize=10686560 CPUtime=350.44 cores=0,2,4,6
/proc/18443/task/18448/stat : 18448 (java) S 18440 18443 12906 0 -1 1077944384 82258 0 0 0 34845 199 0 0 20 0 17 0 46517897 10943037440 2010411 18446744073709551615 4194304 4196468 140733425656192 140621933542416 140621978691285 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29040640 140733425664437 140733425664590 140733425664590 140733425668047 0
[pid=18443/tid=18449] ppid=18440 vsize=10686560 CPUtime=352.22 cores=0,2,4,6
/proc/18443/task/18449/stat : 18449 (java) S 18440 18443 12906 0 -1 1077944384 120309 0 0 0 35044 178 0 0 20 0 17 0 46517897 10943037440 2010411 18446744073709551615 4194304 4196468 140733425656192 140621932489872 140621978691285 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29040640 140733425664437 140733425664590 140733425664590 140733425668047 0
[pid=18443/tid=18450] ppid=18440 vsize=10686560 CPUtime=20.38 cores=0,2,4,6
/proc/18443/task/18450/stat : 18450 (java) R 18440 18443 12906 0 -1 4202560 64912 0 0 0 2035 3 0 0 20 0 17 0 46517899 10943037440 2010411 18446744073709551615 4194304 4196468 140733425656192 140621542519360 140621963677572 0 0 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 29040640 140733425664437 140733425664590 140733425664590 140733425668047 0
[pid=18443/tid=18451] ppid=18440 vsize=10686560 CPUtime=0 cores=0,2,4,6
/proc/18443/task/18451/stat : 18451 (java) S 18440 18443 12906 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 17 0 46517899 10943037440 2010411 18446744073709551615 4194304 4196468 140733425656192 140621541467104 140621978691285 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29040640 140733425664437 140733425664590 140733425664590 140733425668047 0
[pid=18443/tid=18452] ppid=18440 vsize=10686560 CPUtime=0 cores=0,2,4,6
/proc/18443/task/18452/stat : 18452 (java) S 18440 18443 12906 0 -1 1077944384 66 0 0 0 0 0 0 0 20 0 17 0 46517899 10943037440 2010411 18446744073709551615 4194304 4196468 140733425656192 140621540413568 140621978691285 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29040640 140733425664437 140733425664590 140733425664590 140733425668047 0
[pid=18443/tid=18453] ppid=18440 vsize=10686560 CPUtime=0 cores=0,2,4,6
/proc/18443/task/18453/stat : 18453 (java) S 18440 18443 12906 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 17 0 46517902 10943037440 2010411 18446744073709551615 4194304 4196468 140733425656192 140621539363024 140621978699675 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29040640 140733425664437 140733425664590 140733425664590 140733425668047 0
[pid=18443/tid=18454] ppid=18440 vsize=10686560 CPUtime=1.46 cores=0,2,4,6
/proc/18443/task/18454/stat : 18454 (java) S 18440 18443 12906 0 -1 1077944384 12047 0 0 0 145 1 0 0 20 0 17 0 46517902 10943037440 2010411 18446744073709551615 4194304 4196468 140733425656192 140621538310400 140621978691285 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29040640 140733425664437 140733425664590 140733425664590 140733425668047 0
[pid=18443/tid=18455] ppid=18440 vsize=10686560 CPUtime=0.79 cores=0,2,4,6
/proc/18443/task/18455/stat : 18455 (java) S 18440 18443 12906 0 -1 1077944384 4202 0 0 0 79 0 0 0 20 0 17 0 46517902 10943037440 2010411 18446744073709551615 4194304 4196468 140733425656192 140621537258144 140621978691285 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29040640 140733425664437 140733425664590 140733425664590 140733425668047 0
[pid=18443/tid=18456] ppid=18440 vsize=10686560 CPUtime=0.37 cores=0,2,4,6
/proc/18443/task/18456/stat : 18456 (java) S 18440 18443 12906 0 -1 1077944384 4016 0 0 0 36 1 0 0 20 0 17 0 46517902 10943037440 2010411 18446744073709551615 4194304 4196468 140733425656192 140621536203056 140621978691285 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29040640 140733425664437 140733425664590 140733425664590 140733425668047 0
[pid=18443/tid=18457] ppid=18440 vsize=10686560 CPUtime=0 cores=0,2,4,6
/proc/18443/task/18457/stat : 18457 (java) S 18440 18443 12906 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 17 0 46517902 10943037440 2010411 18446744073709551615 4194304 4196468 140733425656192 140621535153248 140621978691285 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29040640 140733425664437 140733425664590 140733425664590 140733425668047 0
[pid=18443/tid=18458] ppid=18440 vsize=10686560 CPUtime=0.24 cores=0,2,4,6
/proc/18443/task/18458/stat : 18458 (java) S 18440 18443 12906 0 -1 1077944384 397 0 0 0 17 7 0 0 20 0 17 0 46517910 10943037440 2010411 18446744073709551615 4194304 4196468 140733425656192 140621534099760 140621978692226 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29040640 140733425664437 140733425664590 140733425664590 140733425668047 0
[pid=18443/tid=18490] ppid=18440 vsize=10686560 CPUtime=0 cores=0,2,4,6
/proc/18443/task/18490/stat : 18490 (java) S 18440 18443 12906 0 -1 1077944384 24 0 0 0 0 0 0 0 20 0 17 0 46555303 10943037440 2010411 18446744073709551615 4194304 4196468 140733425656192 140621530946736 140621978691285 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29040640 140733425664437 140733425664590 140733425664590 140733425668047 0
[pid=18443/tid=18491] ppid=18440 vsize=10686560 CPUtime=0 cores=0,2,4,6
/proc/18443/task/18491/stat : 18491 (java) S 18440 18443 12906 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 17 0 46555303 10943037440 2010411 18446744073709551615 4194304 4196468 140733425656192 140621529894960 140621978691285 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29040640 140733425664437 140733425664590 140733425664590 140733425668047 0
Current children cumulated CPU time (s) 1443.3
Current children cumulated vsize (KiB) 10686560

[startup+391.401 s]
/proc/loadavg: 4.88 4.27 3.83 6/218 18491
/proc/meminfo: memFree=20526844/32770624 swapFree=0/340404
[pid=18443] ppid=18440 vsize=10686560 CPUtime=1443.5 cores=0,2,4,6
/proc/18443/stat : 18443 (java) S 18440 18443 12906 0 -1 1077944320 488590 0 0 0 143579 771 0 0 20 0 17 0 46517891 10943037440 2010412 18446744073709551615 4194304 4196468 140733425656192 140733425638736 140621978681079 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 5 0 0 6293624 6294260 29040640 140733425664437 140733425664590 140733425664590 140733425668047 0
/proc/18443/statm: 2671640 2010412 3158 1 0 2661055 0
[pid=18443/tid=18445] ppid=18440 vsize=10686560 CPUtime=13.76 cores=0,2,4,6
/proc/18443/task/18445/stat : 18445 (java) S 18440 18443 12906 0 -1 1077944384 17682 0 0 0 1361 15 0 0 20 0 17 0 46517897 10943037440 2010412 18446744073709551615 4194304 4196468 140733425656192 140621982921760 140621978691285 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 8 0 0 6293624 6294260 29040640 140733425664437 140733425664590 140733425664590 140733425668047 0
[pid=18443/tid=18446] ppid=18440 vsize=10686560 CPUtime=351.9 cores=0,2,4,6
/proc/18443/task/18446/stat : 18446 (java) S 18440 18443 12906 0 -1 1077944384 109841 0 0 0 34995 195 0 0 20 0 17 0 46517897 10943037440 2010412 18446744073709551615 4194304 4196468 140733425656192 140621935647504 140621978691285 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29040640 140733425664437 140733425664590 140733425664590 140733425668047 0
[pid=18443/tid=18447] ppid=18440 vsize=10686560 CPUtime=351.63 cores=0,2,4,6
/proc/18443/task/18447/stat : 18447 (java) S 18440 18443 12906 0 -1 1077944384 71350 0 0 0 34990 173 0 0 20 0 17 0 46517897 10943037440 2010412 18446744073709551615 4194304 4196468 140733425656192 140621934594960 140621978691285 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29040640 140733425664437 140733425664590 140733425664590 140733425668047 0
[pid=18443/tid=18448] ppid=18440 vsize=10686560 CPUtime=350.44 cores=0,2,4,6
/proc/18443/task/18448/stat : 18448 (java) S 18440 18443 12906 0 -1 1077944384 82258 0 0 0 34845 199 0 0 20 0 17 0 46517897 10943037440 2010412 18446744073709551615 4194304 4196468 140733425656192 140621933542416 140621978691285 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29040640 140733425664437 140733425664590 140733425664590 140733425668047 0
[pid=18443/tid=18449] ppid=18440 vsize=10686560 CPUtime=352.22 cores=0,2,4,6
/proc/18443/task/18449/stat : 18449 (java) S 18440 18443 12906 0 -1 1077944384 120309 0 0 0 35044 178 0 0 20 0 17 0 46517897 10943037440 2010412 18446744073709551615 4194304 4196468 140733425656192 140621932489872 140621978691285 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29040640 140733425664437 140733425664590 140733425664590 140733425668047 0
[pid=18443/tid=18450] ppid=18440 vsize=10686560 CPUtime=20.58 cores=0,2,4,6
/proc/18443/task/18450/stat : 18450 (java) R 18440 18443 12906 0 -1 4202560 65032 0 0 0 2055 3 0 0 20 0 17 0 46517899 10943037440 2010412 18446744073709551615 4194304 4196468 140733425656192 140621542519360 140621957051254 0 0 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 29040640 140733425664437 140733425664590 140733425664590 140733425668047 0
[pid=18443/tid=18451] ppid=18440 vsize=10686560 CPUtime=0 cores=0,2,4,6
/proc/18443/task/18451/stat : 18451 (java) S 18440 18443 12906 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 17 0 46517899 10943037440 2010412 18446744073709551615 4194304 4196468 140733425656192 140621541467104 140621978691285 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29040640 140733425664437 140733425664590 140733425664590 140733425668047 0
[pid=18443/tid=18452] ppid=18440 vsize=10686560 CPUtime=0 cores=0,2,4,6
/proc/18443/task/18452/stat : 18452 (java) S 18440 18443 12906 0 -1 1077944384 66 0 0 0 0 0 0 0 20 0 17 0 46517899 10943037440 2010412 18446744073709551615 4194304 4196468 140733425656192 140621540413568 140621978691285 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29040640 140733425664437 140733425664590 140733425664590 140733425668047 0
[pid=18443/tid=18453] ppid=18440 vsize=10686560 CPUtime=0 cores=0,2,4,6
/proc/18443/task/18453/stat : 18453 (java) S 18440 18443 12906 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 17 0 46517902 10943037440 2010412 18446744073709551615 4194304 4196468 140733425656192 140621539363024 140621978699675 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29040640 140733425664437 140733425664590 140733425664590 140733425668047 0
[pid=18443/tid=18454] ppid=18440 vsize=10686560 CPUtime=1.46 cores=0,2,4,6
/proc/18443/task/18454/stat : 18454 (java) S 18440 18443 12906 0 -1 1077944384 12047 0 0 0 145 1 0 0 20 0 17 0 46517902 10943037440 2010412 18446744073709551615 4194304 4196468 140733425656192 140621538310400 140621978691285 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29040640 140733425664437 140733425664590 140733425664590 140733425668047 0
[pid=18443/tid=18455] ppid=18440 vsize=10686560 CPUtime=0.79 cores=0,2,4,6
/proc/18443/task/18455/stat : 18455 (java) S 18440 18443 12906 0 -1 1077944384 4202 0 0 0 79 0 0 0 20 0 17 0 46517902 10943037440 2010412 18446744073709551615 4194304 4196468 140733425656192 140621537258144 140621978691285 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29040640 140733425664437 140733425664590 140733425664590 140733425668047 0
[pid=18443/tid=18456] ppid=18440 vsize=10686560 CPUtime=0.37 cores=0,2,4,6
/proc/18443/task/18456/stat : 18456 (java) S 18440 18443 12906 0 -1 1077944384 4016 0 0 0 36 1 0 0 20 0 17 0 46517902 10943037440 2010412 18446744073709551615 4194304 4196468 140733425656192 140621536203056 140621978691285 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29040640 140733425664437 140733425664590 140733425664590 140733425668047 0
[pid=18443/tid=18457] ppid=18440 vsize=10686560 CPUtime=0 cores=0,2,4,6
/proc/18443/task/18457/stat : 18457 (java) S 18440 18443 12906 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 17 0 46517902 10943037440 2010412 18446744073709551615 4194304 4196468 140733425656192 140621535153248 140621978691285 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29040640 140733425664437 140733425664590 140733425664590 140733425668047 0
[pid=18443/tid=18458] ppid=18440 vsize=10686560 CPUtime=0.24 cores=0,2,4,6
/proc/18443/task/18458/stat : 18458 (java) S 18440 18443 12906 0 -1 1077944384 397 0 0 0 17 7 0 0 20 0 17 0 46517910 10943037440 2010412 18446744073709551615 4194304 4196468 140733425656192 140621534099760 140621978692226 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29040640 140733425664437 140733425664590 140733425664590 140733425668047 0
[pid=18443/tid=18490] ppid=18440 vsize=10686560 CPUtime=0 cores=0,2,4,6
/proc/18443/task/18490/stat : 18490 (java) S 18440 18443 12906 0 -1 1077944384 24 0 0 0 0 0 0 0 20 0 17 0 46555303 10943037440 2010412 18446744073709551615 4194304 4196468 140733425656192 140621530946736 140621978691285 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29040640 140733425664437 140733425664590 140733425664590 140733425668047 0
[pid=18443/tid=18491] ppid=18440 vsize=10686560 CPUtime=0 cores=0,2,4,6
/proc/18443/task/18491/stat : 18491 (java) S 18440 18443 12906 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 17 0 46555303 10943037440 2010412 18446744073709551615 4194304 4196468 140733425656192 140621529894960 140621978691285 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29040640 140733425664437 140733425664590 140733425664590 140733425668047 0
Current children cumulated CPU time (s) 1443.5
Current children cumulated vsize (KiB) 10686560

Child status: 0
Real time (s): 391.476
CPU time (s): 1443.58
CPU user time (s): 1435.82
CPU system time (s): 7.75944
CPU usage (%): 368.753
Max. virtual memory (cumulated for all children) (KiB): 10686560

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1435.82
system time used= 7.75944
maximum resident set size= 8041960
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 488639
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= 27524
involuntary context switches= 13502

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.7814 second user time and 2.61454 second system time

The end
Name	Scheduling/Scheduling-os-taillard/ Taillard-os-10-10-6.xml
MD5SUM	0823366b416f0d4f591b1c2bb0d09de5
Bench Category	COP (optimization problem)
Best result obtained on this benchmark	SAT TO
Best value of the objective obtained on this benchmark	646
Best CPU time to get the best result obtained on this benchmark	2400.0601
Satisfiable
(Un)Satisfiability was proved
Number of variables	410
Number of constraints	330
Number of domains	12
Minimum domain size	8
Maximum domain size	723
Distribution of domain sizes	[{"size":8,"count":10},{"size":9,"count":30},{"size":10,"count":160},{"size":723,"count":210}]
Minimum variable degree	2
Maximum variable degree	11
Distribution of variable degrees	[{"degree":2,"count":110},{"degree":3,"count":200},{"degree":11,"count":100}]
Minimum constraint arity	1
Maximum constraint arity	12
Distribution of constraint arities	[{"arity":1,"count":10},{"arity":2,"count":100},{"arity":3,"count":100},{"arity":10,"count":20},{"arity":12,"count":100}]
Number of extensional constraints	100
Number of intensional constraints	110
Distribution of constraint types	[{"type":"extension","count":100},{"type":"intension","count":110},{"type":"allDifferent","count":10},{"type":"noOverlap","count":10},{"type":"element","count":100}]
Optimization problem	YES
Type of objective	min MAXIMUM
Trace number 4243327

Some explanations

Solver answer on this benchmark

General information on the benchmark

Solver Data

Verifier Data

Watcher Data

Launcher Data
