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

Solver Name	Answer	CPU time	Wall clock time
Concrete 3.4	SAT	34.791199	21.391199
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-4262403-1502432105/watcher-4262403-1502432105 -o /tmp/evaluation-result-4262403-1502432105/solver-4262403-1502432105 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node124-1502411387-7497 --watchdog 2580 bin/concrete HOME/instance-4262403-1502432105.xml 

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

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 8192 KiB


[startup+0 s]
/proc/loadavg: 1.71 1.52 1.45 3/198 12817
/proc/meminfo: memFree=30784304/32770624 swapFree=0/381092
[pid=12817] ppid=12814 vsize=23672 CPUtime=0 cores=0,2,4,6
/proc/12817/stat : 12817 (runsolver) D 12814 12817 7434 0 -1 4202560 108 0 0 0 0 0 0 0 20 0 1 0 31551224 24240128 106 18446744073709551615 4194304 4338465 140727674910544 140727674908184 140620453847767 0 0 1 24578 18446744071580418449 0 0 17 2 0 0 0 0 0 6438912 6441760 15405056 140727674917073 140727674917449 140727674917449 140727674920906 0
/proc/12817/statm: 5918 106 53 36 0 2156 0

[startup+0.100274 s]
/proc/loadavg: 1.71 1.52 1.45 3/198 12817
/proc/meminfo: memFree=30784304/32770624 swapFree=0/381092
[pid=12817] ppid=12814 vsize=9636 CPUtime=0.01 cores=0,2,4,6
/proc/12817/stat : 12817 (bash) S 12814 12817 7434 0 -1 4202496 801 5289 0 0 0 0 0 1 20 0 1 0 31551224 9867264 360 18446744073709551615 4194304 5098028 140736862959632 140736862957288 140533380516864 0 0 5 65536 18446744071580971376 0 0 17 4 0 0 8 0 0 7196144 7232144 16318464 140736862966292 140736862966377 140736862966377 140736862969834 0
/proc/12817/statm: 2409 360 286 221 0 118 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 9636

[startup+0.200213 s]
/proc/loadavg: 1.71 1.52 1.45 3/198 12817
/proc/meminfo: memFree=30784304/32770624 swapFree=0/381092
[pid=12817] ppid=12814 vsize=103048 CPUtime=0.08 cores=0,2,4,6
/proc/12817/stat : 12817 (java) S 12814 12817 7434 0 -1 1077944320 2371 12650 0 0 0 0 5 3 20 0 2 0 31551224 105521152 1198 18446744073709551615 4194304 4196468 140732165717392 140732165699936 140003384393463 0 0 1 16784584 18446744073709551615 0 0 17 6 0 0 8 0 0 6293624 6294260 12828672 140732165720016 140732165722801 140732165722801 140732165726159 0
/proc/12817/statm: 25762 1198 881 1 0 16804 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 103048

[startup+0.300195 s]
/proc/loadavg: 1.71 1.52 1.45 3/198 12817
/proc/meminfo: memFree=30784304/32770624 swapFree=0/381092
[pid=12817] ppid=12814 vsize=13973872 CPUtime=0.14 cores=0,2,4,6
/proc/12817/stat : 12817 (java) S 12814 12817 7434 0 -1 1077944320 5822 12650 0 0 5 1 5 3 20 0 15 0 31551224 14309244928 5511 18446744073709551615 4194304 4196468 140732165717392 140732165699936 140003384393463 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 8 0 0 6293624 6294260 12828672 140732165720016 140732165722801 140732165722801 140732165726159 0
/proc/12817/statm: 3493468 5511 2663 1 0 3482965 0
Current children cumulated CPU time (s) 0.14
Current children cumulated vsize (KiB) 13973872

[startup+0.700244 s]
/proc/loadavg: 1.71 1.52 1.45 3/198 12817
/proc/meminfo: memFree=30784304/32770624 swapFree=0/381092
[pid=12817] ppid=12814 vsize=13974784 CPUtime=0.71 cores=0,2,4,6
/proc/12817/stat : 12817 (java) S 12814 12817 7434 0 -1 1077944320 13926 12650 0 0 59 4 5 3 20 0 15 0 31551224 14310178816 14850 18446744073709551615 4194304 4196468 140732165717392 140732165699936 140003384393463 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 8 0 0 6293624 6294260 12828672 140732165720016 140732165722801 140732165722801 140732165726159 0
/proc/12817/statm: 3493696 14850 3115 1 0 3482965 0
Current children cumulated CPU time (s) 0.71
Current children cumulated vsize (KiB) 13974784

[startup+1.50188 s]
/proc/loadavg: 1.81 1.55 1.46 4/213 12880
/proc/meminfo: memFree=30688972/32770624 swapFree=0/381376
[pid=12817] ppid=12814 vsize=13985408 CPUtime=1.91 cores=0,2,4,6
/proc/12817/stat : 12817 (java) S 12814 12817 7434 0 -1 1077944320 29715 12650 0 0 175 8 5 3 20 0 15 0 31551224 14321057792 42598 18446744073709551615 4194304 4196468 140732165717392 140732165699936 140003384393463 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 8 0 0 6293624 6294260 12828672 140732165720016 140732165722801 140732165722801 140732165726159 0
/proc/12817/statm: 3496352 42598 3370 1 0 3485525 0
[pid=12817/tid=12867] ppid=12814 vsize=13985408 CPUtime=1.29 cores=0,2,4,6
/proc/12817/task/12867/stat : 12867 (java) R 12814 12817 7434 0 -1 4202560 22522 12650 0 0 116 5 5 3 20 0 15 0 31551244 14321057792 42598 18446744073709551615 4194304 4196468 140732165717392 140003388614320 140003384415389 0 4 1 16800974 0 0 0 -1 4 0 0 4 0 0 6293624 6294260 12828672 140732165720016 140732165722801 140732165722801 140732165726159 0
[pid=12817/tid=12868] ppid=12814 vsize=13985408 CPUtime=0.08 cores=0,2,4,6
/proc/12817/task/12868/stat : 12868 (java) S 12814 12817 7434 0 -1 1077944384 186 12650 0 0 0 0 5 3 20 0 15 0 31551244 14321057792 42598 18446744073709551615 4194304 4196468 140732165717392 140003318828048 140003384403669 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12828672 140732165720016 140732165722801 140732165722801 140732165726159 0
[pid=12817/tid=12869] ppid=12814 vsize=13985408 CPUtime=0.09 cores=0,2,4,6
/proc/12817/task/12869/stat : 12869 (java) S 12814 12817 7434 0 -1 1077944384 61 12650 0 0 1 0 5 3 20 0 15 0 31551244 14321057792 42598 18446744073709551615 4194304 4196468 140732165717392 140002983591056 140003384403669 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12828672 140732165720016 140732165722801 140732165722801 140732165726159 0
[pid=12817/tid=12870] ppid=12814 vsize=13985408 CPUtime=0.09 cores=0,2,4,6
/proc/12817/task/12870/stat : 12870 (java) S 12814 12817 7434 0 -1 1077944384 64 12650 0 0 1 0 5 3 20 0 15 0 31551244 14321057792 42598 18446744073709551615 4194304 4196468 140732165717392 140002982538000 140003384403669 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12828672 140732165720016 140732165722801 140732165722801 140732165726159 0
[pid=12817/tid=12871] ppid=12814 vsize=13985408 CPUtime=0.09 cores=0,2,4,6
/proc/12817/task/12871/stat : 12871 (java) S 12814 12817 7434 0 -1 1077944384 42 12650 0 0 1 0 5 3 20 0 15 0 31551244 14321057792 42598 18446744073709551615 4194304 4196468 140732165717392 140002981485456 140003384403669 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12828672 140732165720016 140732165722801 140732165722801 140732165726159 0
[pid=12817/tid=12872] ppid=12814 vsize=13985408 CPUtime=0.09 cores=0,2,4,6
/proc/12817/task/12872/stat : 12872 (java) S 12814 12817 7434 0 -1 1077944384 1464 12650 0 0 1 0 5 3 20 0 15 0 31551246 14321057792 42598 18446744073709551615 4194304 4196468 140732165717392 140002930067696 140003384404610 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12828672 140732165720016 140732165722801 140732165722801 140732165726159 0
[pid=12817/tid=12873] ppid=12814 vsize=13985408 CPUtime=0.08 cores=0,2,4,6
/proc/12817/task/12873/stat : 12873 (java) S 12814 12817 7434 0 -1 1077944384 55 12650 0 0 0 0 5 3 20 0 15 0 31551246 14321057792 42598 18446744073709551615 4194304 4196468 140732165717392 140002929013984 140003384403669 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12828672 140732165720016 140732165722801 140732165722801 140732165726159 0
[pid=12817/tid=12874] ppid=12814 vsize=13985408 CPUtime=0.08 cores=0,2,4,6
/proc/12817/task/12874/stat : 12874 (java) R 12814 12817 7434 0 -1 4202560 43 12650 0 0 0 0 5 3 20 0 15 0 31551246 14321057792 42598 18446744073709551615 4194304 4196468 140732165717392 140002927960816 140002998748176 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 12828672 140732165720016 140732165722801 140732165722801 140732165726159 0
[pid=12817/tid=12875] ppid=12814 vsize=13985408 CPUtime=0.08 cores=0,2,4,6
/proc/12817/task/12875/stat : 12875 (java) S 12814 12817 7434 0 -1 1077944384 3 12650 0 0 0 0 5 3 20 0 15 0 31551249 14321057792 42598 18446744073709551615 4194304 4196468 140732165717392 140002926909392 140003384412059 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12828672 140732165720016 140732165722801 140732165722801 140732165726159 0
[pid=12817/tid=12876] ppid=12814 vsize=13985408 CPUtime=0.23 cores=0,2,4,6
/proc/12817/task/12876/stat : 12876 (java) S 12814 12817 7434 0 -1 1077944384 1103 12650 0 0 15 0 5 3 20 0 15 0 31551249 14321057792 42598 18446744073709551615 4194304 4196468 140732165717392 140002925857520 140003384404610 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12828672 140732165720016 140732165722801 140732165722801 140732165726159 0
[pid=12817/tid=12877] ppid=12814 vsize=13985408 CPUtime=0.22 cores=0,2,4,6
/proc/12817/task/12877/stat : 12877 (java) R 12814 12817 7434 0 -1 1077944384 640 12650 0 0 14 0 5 3 20 0 15 0 31551249 14321057792 42598 18446744073709551615 4194304 4196468 140732165717392 140002924804976 140003384404610 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 12828672 140732165720016 140732165722801 140732165722801 140732165726159 0
[pid=12817/tid=12878] ppid=12814 vsize=13985408 CPUtime=0.31 cores=0,2,4,6
/proc/12817/task/12878/stat : 12878 (java) R 12814 12817 7434 0 -1 4202560 1365 12650 0 0 23 0 5 3 20 0 15 0 31551249 14321057792 42598 18446744073709551615 4194304 4196468 140732165717392 140002923751920 140003364108228 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 12828672 140732165720016 140732165722801 140732165722801 140732165726159 0
[pid=12817/tid=12879] ppid=12814 vsize=13985408 CPUtime=0.08 cores=0,2,4,6
/proc/12817/task/12879/stat : 12879 (java) S 12814 12817 7434 0 -1 1077944384 3 12650 0 0 0 0 5 3 20 0 15 0 31551249 14321057792 42598 18446744073709551615 4194304 4196468 140732165717392 140002922699616 140003384403669 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12828672 140732165720016 140732165722801 140732165722801 140732165726159 0
[pid=12817/tid=12880] ppid=12814 vsize=13985408 CPUtime=0.08 cores=0,2,4,6
/proc/12817/task/12880/stat : 12880 (java) R 12814 12817 7434 0 -1 1077944384 10 12650 0 0 0 0 5 3 20 0 15 0 31551254 14321057792 42598 18446744073709551615 4194304 4196468 140732165717392 140002921646640 140003384404610 0 4 1 16800974 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 12828672 140732165720016 140732165722801 140732165722801 140732165726159 0
Current children cumulated CPU time (s) 1.91
Current children cumulated vsize (KiB) 13985408

[startup+3.10059 s]
/proc/loadavg: 1.81 1.55 1.46 3/213 12880
/proc/meminfo: memFree=30617384/32770624 swapFree=0/381376
[pid=12817] ppid=12814 vsize=13995836 CPUtime=5.62 cores=0,2,4,6
/proc/12817/stat : 12817 (java) S 12814 12817 7434 0 -1 1077944320 39479 12650 0 0 541 13 5 3 20 0 15 0 31551224 14331736064 65208 18446744073709551615 4194304 4196468 140732165717392 140732165699936 140003384393463 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 8 0 0 6293624 6294260 12828672 140732165720016 140732165722801 140732165722801 140732165726159 0
/proc/12817/statm: 3498959 65208 3447 1 0 3487573 0
[pid=12817/tid=12867] ppid=12814 vsize=13995836 CPUtime=2.89 cores=0,2,4,6
/proc/12817/task/12867/stat : 12867 (java) R 12814 12817 7434 0 -1 4202560 26865 12650 0 0 272 9 5 3 20 0 15 0 31551244 14331736064 65208 18446744073709551615 4194304 4196468 140732165717392 140003388623752 140003007671939 0 4 1 16800974 0 0 0 -1 0 0 0 4 0 0 6293624 6294260 12828672 140732165720016 140732165722801 140732165722801 140732165726159 0
[pid=12817/tid=12868] ppid=12814 vsize=13995836 CPUtime=0.08 cores=0,2,4,6
/proc/12817/task/12868/stat : 12868 (java) S 12814 12817 7434 0 -1 1077944384 186 12650 0 0 0 0 5 3 20 0 15 0 31551244 14331736064 65208 18446744073709551615 4194304 4196468 140732165717392 140003318828048 140003384403669 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12828672 140732165720016 140732165722801 140732165722801 140732165726159 0
[pid=12817/tid=12869] ppid=12814 vsize=13995836 CPUtime=0.09 cores=0,2,4,6
/proc/12817/task/12869/stat : 12869 (java) S 12814 12817 7434 0 -1 1077944384 61 12650 0 0 1 0 5 3 20 0 15 0 31551244 14331736064 65208 18446744073709551615 4194304 4196468 140732165717392 140002983591056 140003384403669 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12828672 140732165720016 140732165722801 140732165722801 140732165726159 0
[pid=12817/tid=12870] ppid=12814 vsize=13995836 CPUtime=0.09 cores=0,2,4,6
/proc/12817/task/12870/stat : 12870 (java) S 12814 12817 7434 0 -1 1077944384 64 12650 0 0 1 0 5 3 20 0 15 0 31551244 14331736064 65208 18446744073709551615 4194304 4196468 140732165717392 140002982538000 140003384403669 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12828672 140732165720016 140732165722801 140732165722801 140732165726159 0
[pid=12817/tid=12871] ppid=12814 vsize=13995836 CPUtime=0.09 cores=0,2,4,6
/proc/12817/task/12871/stat : 12871 (java) S 12814 12817 7434 0 -1 1077944384 42 12650 0 0 1 0 5 3 20 0 15 0 31551244 14331736064 65208 18446744073709551615 4194304 4196468 140732165717392 140002981485456 140003384403669 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12828672 140732165720016 140732165722801 140732165722801 140732165726159 0
[pid=12817/tid=12872] ppid=12814 vsize=13995836 CPUtime=0.09 cores=0,2,4,6
/proc/12817/task/12872/stat : 12872 (java) S 12814 12817 7434 0 -1 1077944384 1491 12650 0 0 1 0 5 3 20 0 15 0 31551246 14331736064 65208 18446744073709551615 4194304 4196468 140732165717392 140002930067696 140003384404610 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12828672 140732165720016 140732165722801 140732165722801 140732165726159 0
[pid=12817/tid=12873] ppid=12814 vsize=13995836 CPUtime=0.08 cores=0,2,4,6
/proc/12817/task/12873/stat : 12873 (java) S 12814 12817 7434 0 -1 1077944384 55 12650 0 0 0 0 5 3 20 0 15 0 31551246 14331736064 65208 18446744073709551615 4194304 4196468 140732165717392 140002929013984 140003384403669 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12828672 140732165720016 140732165722801 140732165722801 140732165726159 0
[pid=12817/tid=12874] ppid=12814 vsize=13995836 CPUtime=0.08 cores=0,2,4,6
/proc/12817/task/12874/stat : 12874 (java) S 12814 12817 7434 0 -1 1077944384 43 12650 0 0 0 0 5 3 20 0 15 0 31551246 14331736064 65208 18446744073709551615 4194304 4196468 140732165717392 140002927960832 140003384403669 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12828672 140732165720016 140732165722801 140732165722801 140732165726159 0
[pid=12817/tid=12875] ppid=12814 vsize=13995836 CPUtime=0.08 cores=0,2,4,6
/proc/12817/task/12875/stat : 12875 (java) S 12814 12817 7434 0 -1 1077944384 3 12650 0 0 0 0 5 3 20 0 15 0 31551249 14331736064 65208 18446744073709551615 4194304 4196468 140732165717392 140002926909392 140003384412059 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12828672 140732165720016 140732165722801 140732165722801 140732165726159 0
[pid=12817/tid=12876] ppid=12814 vsize=13995836 CPUtime=0.91 cores=0,2,4,6
/proc/12817/task/12876/stat : 12876 (java) S 12814 12817 7434 0 -1 1077944384 2187 12650 0 0 83 0 5 3 20 0 15 0 31551249 14331736064 65208 18446744073709551615 4194304 4196468 140732165717392 140002925857520 140003384404610 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12828672 140732165720016 140732165722801 140732165722801 140732165726159 0
[pid=12817/tid=12877] ppid=12814 vsize=13995836 CPUtime=0.94 cores=0,2,4,6
/proc/12817/task/12877/stat : 12877 (java) S 12814 12817 7434 0 -1 1077944384 1838 12650 0 0 86 0 5 3 20 0 15 0 31551249 14331736064 65208 18446744073709551615 4194304 4196468 140732165717392 140002924804976 140003384404610 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12828672 140732165720016 140732165722801 140732165722801 140732165726159 0
[pid=12817/tid=12878] ppid=12814 vsize=13995836 CPUtime=1.01 cores=0,2,4,6
/proc/12817/task/12878/stat : 12878 (java) S 12814 12817 7434 0 -1 1077944384 4473 12650 0 0 92 1 5 3 20 0 15 0 31551249 14331736064 65208 18446744073709551615 4194304 4196468 140732165717392 140002923751920 140003384404610 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12828672 140732165720016 140732165722801 140732165722801 140732165726159 0
[pid=12817/tid=12879] ppid=12814 vsize=13995836 CPUtime=0.08 cores=0,2,4,6
/proc/12817/task/12879/stat : 12879 (java) S 12814 12817 7434 0 -1 1077944384 3 12650 0 0 0 0 5 3 20 0 15 0 31551249 14331736064 65208 18446744073709551615 4194304 4196468 140732165717392 140002922699616 140003384403669 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12828672 140732165720016 140732165722801 140732165722801 140732165726159 0
[pid=12817/tid=12880] ppid=12814 vsize=13995836 CPUtime=0.08 cores=0,2,4,6
/proc/12817/task/12880/stat : 12880 (java) S 12814 12817 7434 0 -1 1077944384 13 12650 0 0 0 0 5 3 20 0 15 0 31551254 14331736064 65208 18446744073709551615 4194304 4196468 140732165717392 140002921646640 140003384404610 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12828672 140732165720016 140732165722801 140732165722801 140732165726159 0
Current children cumulated CPU time (s) 5.62
Current children cumulated vsize (KiB) 13995836

[startup+6.30072 s]
/proc/loadavg: 1.81 1.55 1.46 3/213 12880
/proc/meminfo: memFree=30474836/32770624 swapFree=0/381372
[pid=12817] ppid=12814 vsize=13997884 CPUtime=10.09 cores=0,2,4,6
/proc/12817/stat : 12817 (java) S 12814 12817 7434 0 -1 1077944320 46072 12650 0 0 972 29 5 3 20 0 15 0 31551224 14333833216 96039 18446744073709551615 4194304 4196468 140732165717392 140732165699936 140003384393463 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 8 0 0 6293624 6294260 12828672 140732165720016 140732165722801 140732165722801 140732165726159 0
/proc/12817/statm: 3499471 96039 3465 1 0 3488085 0
[pid=12817/tid=12867] ppid=12814 vsize=13997884 CPUtime=5.98 cores=0,2,4,6
/proc/12817/task/12867/stat : 12867 (java) R 12814 12817 7434 0 -1 4202560 28421 12650 0 0 579 11 5 3 20 0 15 0 31551244 14333833216 96039 18446744073709551615 4194304 4196468 140732165717392 140003388624000 140003010446816 0 4 1 16800974 0 0 0 -1 2 0 0 4 0 0 6293624 6294260 12828672 140732165720016 140732165722801 140732165722801 140732165726159 0
[pid=12817/tid=12868] ppid=12814 vsize=13997884 CPUtime=0.19 cores=0,2,4,6
/proc/12817/task/12868/stat : 12868 (java) S 12814 12817 7434 0 -1 1077944384 435 12650 0 0 8 3 5 3 20 0 15 0 31551244 14333833216 96039 18446744073709551615 4194304 4196468 140732165717392 140003318828048 140003384403669 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12828672 140732165720016 140732165722801 140732165722801 140732165726159 0
[pid=12817/tid=12869] ppid=12814 vsize=13997884 CPUtime=0.19 cores=0,2,4,6
/proc/12817/task/12869/stat : 12869 (java) S 12814 12817 7434 0 -1 1077944384 235 12650 0 0 8 3 5 3 20 0 15 0 31551244 14333833216 96039 18446744073709551615 4194304 4196468 140732165717392 140002983591056 140003384403669 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12828672 140732165720016 140732165722801 140732165722801 140732165726159 0
[pid=12817/tid=12870] ppid=12814 vsize=13997884 CPUtime=0.19 cores=0,2,4,6
/proc/12817/task/12870/stat : 12870 (java) S 12814 12817 7434 0 -1 1077944384 170 12650 0 0 8 3 5 3 20 0 15 0 31551244 14333833216 96039 18446744073709551615 4194304 4196468 140732165717392 140002982538000 140003384403669 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12828672 140732165720016 140732165722801 140732165722801 140732165726159 0
[pid=12817/tid=12871] ppid=12814 vsize=13997884 CPUtime=0.19 cores=0,2,4,6
/proc/12817/task/12871/stat : 12871 (java) S 12814 12817 7434 0 -1 1077944384 672 12650 0 0 8 3 5 3 20 0 15 0 31551244 14333833216 96039 18446744073709551615 4194304 4196468 140732165717392 140002981485456 140003384403669 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12828672 140732165720016 140732165722801 140732165722801 140732165726159 0
[pid=12817/tid=12872] ppid=12814 vsize=13997884 CPUtime=0.1 cores=0,2,4,6
/proc/12817/task/12872/stat : 12872 (java) S 12814 12817 7434 0 -1 1077944384 1640 12650 0 0 2 0 5 3 20 0 15 0 31551246 14333833216 96039 18446744073709551615 4194304 4196468 140732165717392 140002930067696 140003384404610 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12828672 140732165720016 140732165722801 140732165722801 140732165726159 0
[pid=12817/tid=12873] ppid=12814 vsize=13997884 CPUtime=0.08 cores=0,2,4,6
/proc/12817/task/12873/stat : 12873 (java) S 12814 12817 7434 0 -1 1077944384 55 12650 0 0 0 0 5 3 20 0 15 0 31551246 14333833216 96039 18446744073709551615 4194304 4196468 140732165717392 140002929013984 140003384403669 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12828672 140732165720016 140732165722801 140732165722801 140732165726159 0
[pid=12817/tid=12874] ppid=12814 vsize=13997884 CPUtime=0.08 cores=0,2,4,6
/proc/12817/task/12874/stat : 12874 (java) S 12814 12817 7434 0 -1 1077944384 43 12650 0 0 0 0 5 3 20 0 15 0 31551246 14333833216 96039 18446744073709551615 4194304 4196468 140732165717392 140002927960832 140003384403669 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12828672 140732165720016 140732165722801 140732165722801 140732165726159 0
[pid=12817/tid=12875] ppid=12814 vsize=13997884 CPUtime=0.08 cores=0,2,4,6
/proc/12817/task/12875/stat : 12875 (java) S 12814 12817 7434 0 -1 1077944384 3 12650 0 0 0 0 5 3 20 0 15 0 31551249 14333833216 96039 18446744073709551615 4194304 4196468 140732165717392 140002926909392 140003384412059 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12828672 140732165720016 140732165722801 140732165722801 140732165726159 0
[pid=12817/tid=12876] ppid=12814 vsize=13997884 CPUtime=1.27 cores=0,2,4,6
/proc/12817/task/12876/stat : 12876 (java) S 12814 12817 7434 0 -1 1077944384 2996 12650 0 0 118 1 5 3 20 0 15 0 31551249 14333833216 96039 18446744073709551615 4194304 4196468 140732165717392 140002925857520 140003384404610 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12828672 140732165720016 140732165722801 140732165722801 140732165726159 0
[pid=12817/tid=12877] ppid=12814 vsize=13997884 CPUtime=1.3 cores=0,2,4,6
/proc/12817/task/12877/stat : 12877 (java) S 12814 12817 7434 0 -1 1077944384 2210 12650 0 0 122 0 5 3 20 0 15 0 31551249 14333833216 96039 18446744073709551615 4194304 4196468 140732165717392 140002924804976 140003384404610 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12828672 140732165720016 140732165722801 140732165722801 140732165726159 0
[pid=12817/tid=12878] ppid=12814 vsize=13997884 CPUtime=1.25 cores=0,2,4,6
/proc/12817/task/12878/stat : 12878 (java) S 12814 12817 7434 0 -1 1077944384 6828 12650 0 0 116 1 5 3 20 0 15 0 31551249 14333833216 96039 18446744073709551615 4194304 4196468 140732165717392 140002923751920 140003384404610 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12828672 140732165720016 140732165722801 140732165722801 140732165726159 0
[pid=12817/tid=12879] ppid=12814 vsize=13997884 CPUtime=0.08 cores=0,2,4,6
/proc/12817/task/12879/stat : 12879 (java) S 12814 12817 7434 0 -1 1077944384 3 12650 0 0 0 0 5 3 20 0 15 0 31551249 14333833216 96039 18446744073709551615 4194304 4196468 140732165717392 140002922699616 140003384403669 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12828672 140732165720016 140732165722801 140732165722801 140732165726159 0
[pid=12817/tid=12880] ppid=12814 vsize=13997884 CPUtime=0.08 cores=0,2,4,6
/proc/12817/task/12880/stat : 12880 (java) S 12814 12817 7434 0 -1 1077944384 206 12650 0 0 0 0 5 3 20 0 15 0 31551254 14333833216 96039 18446744073709551615 4194304 4196468 140732165717392 140002921646640 140003384404610 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12828672 140732165720016 140732165722801 140732165722801 140732165726159 0
Current children cumulated CPU time (s) 10.09
Current children cumulated vsize (KiB) 13997884

[startup+12.7007 s]
/proc/loadavg: 1.60 1.51 1.45 3/214 12905
/proc/meminfo: memFree=29935832/32770624 swapFree=0/381380
[pid=12817] ppid=12814 vsize=13999932 CPUtime=19.09 cores=0,2,4,6
/proc/12817/stat : 12817 (java) S 12814 12817 7434 0 -1 1077944320 59745 12650 0 0 1833 68 5 3 20 0 15 0 31551224 14335930368 239245 18446744073709551615 4194304 4196468 140732165717392 140732165699936 140003384393463 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 8 0 0 6293624 6294260 12828672 140732165720016 140732165722801 140732165722801 140732165726159 0
/proc/12817/statm: 3499983 239245 3466 1 0 3488597 0
[pid=12817/tid=12867] ppid=12814 vsize=13999932 CPUtime=11.93 cores=0,2,4,6
/proc/12817/task/12867/stat : 12867 (java) R 12814 12817 7434 0 -1 4202560 35153 12650 0 0 1169 16 5 3 20 0 15 0 31551244 14335930368 239245 18446744073709551615 4194304 4196468 140732165717392 140003388627952 140003014467609 0 4 1 16800974 0 0 0 -1 4 0 0 4 0 0 6293624 6294260 12828672 140732165720016 140732165722801 140732165722801 140732165726159 0
[pid=12817/tid=12868] ppid=12814 vsize=13999932 CPUtime=0.59 cores=0,2,4,6
/proc/12817/task/12868/stat : 12868 (java) S 12814 12817 7434 0 -1 1077944384 1064 12650 0 0 40 11 5 3 20 0 15 0 31551244 14335930368 239245 18446744073709551615 4194304 4196468 140732165717392 140003318828048 140003384403669 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12828672 140732165720016 140732165722801 140732165722801 140732165726159 0
[pid=12817/tid=12869] ppid=12814 vsize=13999932 CPUtime=0.59 cores=0,2,4,6
/proc/12817/task/12869/stat : 12869 (java) S 12814 12817 7434 0 -1 1077944384 491 12650 0 0 41 10 5 3 20 0 15 0 31551244 14335930368 239245 18446744073709551615 4194304 4196468 140732165717392 140002983591056 140003384403669 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12828672 140732165720016 140732165722801 140732165722801 140732165726159 0
[pid=12817/tid=12870] ppid=12814 vsize=13999932 CPUtime=0.59 cores=0,2,4,6
/proc/12817/task/12870/stat : 12870 (java) S 12814 12817 7434 0 -1 1077944384 375 12650 0 0 41 10 5 3 20 0 15 0 31551244 14335930368 239245 18446744073709551615 4194304 4196468 140732165717392 140002982538000 140003384403669 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12828672 140732165720016 140732165722801 140732165722801 140732165726159 0
[pid=12817/tid=12871] ppid=12814 vsize=13999932 CPUtime=0.59 cores=0,2,4,6
/proc/12817/task/12871/stat : 12871 (java) S 12814 12817 7434 0 -1 1077944384 876 12650 0 0 40 11 5 3 20 0 15 0 31551244 14335930368 239245 18446744073709551615 4194304 4196468 140732165717392 140002981485456 140003384403669 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12828672 140732165720016 140732165722801 140732165722801 140732165726159 0
[pid=12817/tid=12872] ppid=12814 vsize=13999932 CPUtime=0.13 cores=0,2,4,6
/proc/12817/task/12872/stat : 12872 (java) S 12814 12817 7434 0 -1 1077944384 2827 12650 0 0 5 0 5 3 20 0 15 0 31551246 14335930368 239245 18446744073709551615 4194304 4196468 140732165717392 140002930067696 140003384404610 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12828672 140732165720016 140732165722801 140732165722801 140732165726159 0
[pid=12817/tid=12873] ppid=12814 vsize=13999932 CPUtime=0.08 cores=0,2,4,6
/proc/12817/task/12873/stat : 12873 (java) S 12814 12817 7434 0 -1 1077944384 55 12650 0 0 0 0 5 3 20 0 15 0 31551246 14335930368 239245 18446744073709551615 4194304 4196468 140732165717392 140002929014048 140003384403669 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12828672 140732165720016 140732165722801 140732165722801 140732165726159 0
[pid=12817/tid=12874] ppid=12814 vsize=13999932 CPUtime=0.08 cores=0,2,4,6
/proc/12817/task/12874/stat : 12874 (java) S 12814 12817 7434 0 -1 1077944384 43 12650 0 0 0 0 5 3 20 0 15 0 31551246 14335930368 239245 18446744073709551615 4194304 4196468 140732165717392 140002927960832 140003384403669 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12828672 140732165720016 140732165722801 140732165722801 140732165726159 0
[pid=12817/tid=12875] ppid=12814 vsize=13999932 CPUtime=0.08 cores=0,2,4,6
/proc/12817/task/12875/stat : 12875 (java) S 12814 12817 7434 0 -1 1077944384 3 12650 0 0 0 0 5 3 20 0 15 0 31551249 14335930368 239245 18446744073709551615 4194304 4196468 140732165717392 140002926909392 140003384412059 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12828672 140732165720016 140732165722801 140732165722801 140732165726159 0

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

/proc/12817/task/12872/stat : 12872 (java) S 12814 12817 7434 0 -1 1077944384 3132 12650 0 0 5 0 5 3 20 0 15 0 31551246 14405136384 364877 18446744073709551615 4194304 4196468 140732165717392 140002930067696 140003384404610 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12828672 140732165720016 140732165722801 140732165722801 140732165726159 0
[pid=12817/tid=12873] ppid=12814 vsize=14067516 CPUtime=0.08 cores=0,2,4,6
/proc/12817/task/12873/stat : 12873 (java) S 12814 12817 7434 0 -1 1077944384 57 12650 0 0 0 0 5 3 20 0 15 0 31551246 14405136384 364877 18446744073709551615 4194304 4196468 140732165717392 140002929014048 140003384403669 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12828672 140732165720016 140732165722801 140732165722801 140732165726159 0
[pid=12817/tid=12874] ppid=12814 vsize=14067516 CPUtime=0.08 cores=0,2,4,6
/proc/12817/task/12874/stat : 12874 (java) S 12814 12817 7434 0 -1 1077944384 48 12650 0 0 0 0 5 3 20 0 15 0 31551246 14405136384 364877 18446744073709551615 4194304 4196468 140732165717392 140002927960832 140003384403669 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12828672 140732165720016 140732165722801 140732165722801 140732165726159 0
[pid=12817/tid=12875] ppid=12814 vsize=14067516 CPUtime=0.08 cores=0,2,4,6
/proc/12817/task/12875/stat : 12875 (java) S 12814 12817 7434 0 -1 1077944384 3 12650 0 0 0 0 5 3 20 0 15 0 31551249 14405136384 364877 18446744073709551615 4194304 4196468 140732165717392 140002926909392 140003384412059 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12828672 140732165720016 140732165722801 140732165722801 140732165726159 0
[pid=12817/tid=12876] ppid=12814 vsize=14067516 CPUtime=3.24 cores=0,2,4,6
/proc/12817/task/12876/stat : 12876 (java) S 12814 12817 7434 0 -1 1077944384 7027 12650 0 0 314 2 5 3 20 0 15 0 31551249 14405136384 364877 18446744073709551615 4194304 4196468 140732165717392 140002925857520 140003384404610 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12828672 140732165720016 140732165722801 140732165722801 140732165726159 0
[pid=12817/tid=12877] ppid=12814 vsize=14067516 CPUtime=3.3 cores=0,2,4,6
/proc/12817/task/12877/stat : 12877 (java) S 12814 12817 7434 0 -1 1077944384 9019 12650 0 0 320 2 5 3 20 0 15 0 31551249 14405136384 364877 18446744073709551615 4194304 4196468 140732165717392 140002924804976 140003384404610 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12828672 140732165720016 140732165722801 140732165722801 140732165726159 0
[pid=12817/tid=12878] ppid=12814 vsize=14067516 CPUtime=1.91 cores=0,2,4,6
/proc/12817/task/12878/stat : 12878 (java) S 12814 12817 7434 0 -1 1077944384 13208 12650 0 0 180 3 5 3 20 0 15 0 31551249 14405136384 364877 18446744073709551615 4194304 4196468 140732165717392 140002923751920 140003384404610 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12828672 140732165720016 140732165722801 140732165722801 140732165726159 0
[pid=12817/tid=12879] ppid=12814 vsize=14067516 CPUtime=0.08 cores=0,2,4,6
/proc/12817/task/12879/stat : 12879 (java) S 12814 12817 7434 0 -1 1077944384 3 12650 0 0 0 0 5 3 20 0 15 0 31551249 14405136384 364877 18446744073709551615 4194304 4196468 140732165717392 140002922699616 140003384403669 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12828672 140732165720016 140732165722801 140732165722801 140732165726159 0
[pid=12817/tid=12880] ppid=12814 vsize=14067516 CPUtime=0.08 cores=0,2,4,6
/proc/12817/task/12880/stat : 12880 (java) S 12814 12817 7434 0 -1 1077944384 1513 12650 0 0 0 0 5 3 20 0 15 0 31551254 14405136384 364877 18446744073709551615 4194304 4196468 140732165717392 140002921646640 140003384404610 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12828672 140732165720016 140732165722801 140732165722801 140732165726159 0
Current children cumulated CPU time (s) 28.96
Current children cumulated vsize (KiB) 14067516

[startup+20.0006 s]
/proc/loadavg: 1.64 1.52 1.45 4/214 12905
/proc/meminfo: memFree=29200332/32770624 swapFree=0/381416
[pid=12817] ppid=12814 vsize=14067516 CPUtime=29.9 cores=0,2,4,6
/proc/12817/stat : 12817 (java) S 12814 12817 7434 0 -1 1077944320 94364 12650 0 0 2895 87 5 3 20 0 15 0 31551224 14405136384 403920 18446744073709551615 4194304 4196468 140732165717392 140732165699936 140003384393463 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 8 0 0 6293624 6294260 12828672 140732165720016 140732165722801 140732165722801 140732165726159 0
/proc/12817/statm: 3516879 403920 3472 1 0 3505493 0
[pid=12817/tid=12867] ppid=12814 vsize=14067516 CPUtime=19.17 cores=0,2,4,6
/proc/12817/task/12867/stat : 12867 (java) R 12814 12817 7434 0 -1 4202560 55019 12650 0 0 1883 26 5 3 20 0 15 0 31551244 14405136384 403920 18446744073709551615 4194304 4196468 140732165717392 140003388624952 140003008827695 0 4 1 16800974 0 0 0 -1 0 0 0 4 0 0 6293624 6294260 12828672 140732165720016 140732165722801 140732165722801 140732165726159 0
[pid=12817/tid=12868] ppid=12814 vsize=14067516 CPUtime=0.64 cores=0,2,4,6
/proc/12817/task/12868/stat : 12868 (java) S 12814 12817 7434 0 -1 1077944384 1120 12650 0 0 43 13 5 3 20 0 15 0 31551244 14405136384 403920 18446744073709551615 4194304 4196468 140732165717392 140003318828048 140003384403669 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12828672 140732165720016 140732165722801 140732165722801 140732165726159 0
[pid=12817/tid=12869] ppid=12814 vsize=14067516 CPUtime=0.64 cores=0,2,4,6
/proc/12817/task/12869/stat : 12869 (java) S 12814 12817 7434 0 -1 1077944384 528 12650 0 0 44 12 5 3 20 0 15 0 31551244 14405136384 403920 18446744073709551615 4194304 4196468 140732165717392 140002983591056 140003384403669 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12828672 140732165720016 140732165722801 140732165722801 140732165726159 0
[pid=12817/tid=12870] ppid=12814 vsize=14067516 CPUtime=0.64 cores=0,2,4,6
/proc/12817/task/12870/stat : 12870 (java) S 12814 12817 7434 0 -1 1077944384 413 12650 0 0 44 12 5 3 20 0 15 0 31551244 14405136384 403920 18446744073709551615 4194304 4196468 140732165717392 140002982538000 140003384403669 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12828672 140732165720016 140732165722801 140732165722801 140732165726159 0
[pid=12817/tid=12871] ppid=12814 vsize=14067516 CPUtime=0.64 cores=0,2,4,6
/proc/12817/task/12871/stat : 12871 (java) S 12814 12817 7434 0 -1 1077944384 945 12650 0 0 44 12 5 3 20 0 15 0 31551244 14405136384 403920 18446744073709551615 4194304 4196468 140732165717392 140002981485456 140003384403669 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12828672 140732165720016 140732165722801 140732165722801 140732165726159 0
[pid=12817/tid=12872] ppid=12814 vsize=14067516 CPUtime=0.13 cores=0,2,4,6
/proc/12817/task/12872/stat : 12872 (java) S 12814 12817 7434 0 -1 1077944384 3294 12650 0 0 5 0 5 3 20 0 15 0 31551246 14405136384 403920 18446744073709551615 4194304 4196468 140732165717392 140002930067696 140003384404610 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12828672 140732165720016 140732165722801 140732165722801 140732165726159 0
[pid=12817/tid=12873] ppid=12814 vsize=14067516 CPUtime=0.08 cores=0,2,4,6
/proc/12817/task/12873/stat : 12873 (java) S 12814 12817 7434 0 -1 1077944384 57 12650 0 0 0 0 5 3 20 0 15 0 31551246 14405136384 403920 18446744073709551615 4194304 4196468 140732165717392 140002929014048 140003384403669 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12828672 140732165720016 140732165722801 140732165722801 140732165726159 0
[pid=12817/tid=12874] ppid=12814 vsize=14067516 CPUtime=0.08 cores=0,2,4,6
/proc/12817/task/12874/stat : 12874 (java) S 12814 12817 7434 0 -1 1077944384 48 12650 0 0 0 0 5 3 20 0 15 0 31551246 14405136384 403920 18446744073709551615 4194304 4196468 140732165717392 140002927960832 140003384403669 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12828672 140732165720016 140732165722801 140732165722801 140732165726159 0
[pid=12817/tid=12875] ppid=12814 vsize=14067516 CPUtime=0.08 cores=0,2,4,6
/proc/12817/task/12875/stat : 12875 (java) S 12814 12817 7434 0 -1 1077944384 3 12650 0 0 0 0 5 3 20 0 15 0 31551249 14405136384 403920 18446744073709551615 4194304 4196468 140732165717392 140002926909392 140003384412059 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12828672 140732165720016 140732165722801 140732165722801 140732165726159 0
[pid=12817/tid=12876] ppid=12814 vsize=14067516 CPUtime=3.29 cores=0,2,4,6
/proc/12817/task/12876/stat : 12876 (java) S 12814 12817 7434 0 -1 1077944384 7027 12650 0 0 319 2 5 3 20 0 15 0 31551249 14405136384 403920 18446744073709551615 4194304 4196468 140732165717392 140002925857520 140003384404610 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12828672 140732165720016 140732165722801 140732165722801 140732165726159 0
[pid=12817/tid=12877] ppid=12814 vsize=14067516 CPUtime=3.36 cores=0,2,4,6
/proc/12817/task/12877/stat : 12877 (java) S 12814 12817 7434 0 -1 1077944384 9022 12650 0 0 326 2 5 3 20 0 15 0 31551249 14405136384 403920 18446744073709551615 4194304 4196468 140732165717392 140002924804976 140003384404610 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12828672 140732165720016 140732165722801 140732165722801 140732165726159 0
[pid=12817/tid=12878] ppid=12814 vsize=14067516 CPUtime=1.93 cores=0,2,4,6
/proc/12817/task/12878/stat : 12878 (java) S 12814 12817 7434 0 -1 1077944384 13217 12650 0 0 182 3 5 3 20 0 15 0 31551249 14405136384 403920 18446744073709551615 4194304 4196468 140732165717392 140002923751920 140003384404610 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12828672 140732165720016 140732165722801 140732165722801 140732165726159 0
[pid=12817/tid=12879] ppid=12814 vsize=14067516 CPUtime=0.08 cores=0,2,4,6
/proc/12817/task/12879/stat : 12879 (java) S 12814 12817 7434 0 -1 1077944384 3 12650 0 0 0 0 5 3 20 0 15 0 31551249 14405136384 403920 18446744073709551615 4194304 4196468 140732165717392 140002922699616 140003384403669 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12828672 140732165720016 140732165722801 140732165722801 140732165726159 0
[pid=12817/tid=12880] ppid=12814 vsize=14067516 CPUtime=0.08 cores=0,2,4,6
/proc/12817/task/12880/stat : 12880 (java) S 12814 12817 7434 0 -1 1077944384 1513 12650 0 0 0 0 5 3 20 0 15 0 31551254 14405136384 403920 18446744073709551615 4194304 4196468 140732165717392 140002921646640 140003384404610 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12828672 140732165720016 140732165722801 140732165722801 140732165726159 0
Current children cumulated CPU time (s) 29.9
Current children cumulated vsize (KiB) 14067516

[startup+20.8015 s]
/proc/loadavg: 1.64 1.52 1.45 4/214 12905
/proc/meminfo: memFree=29200332/32770624 swapFree=0/381416
[pid=12817] ppid=12814 vsize=14067516 CPUtime=32.8 cores=0,2,4,6
/proc/12817/stat : 12817 (java) S 12814 12817 7434 0 -1 1077944320 99223 12650 0 0 3184 88 5 3 20 0 15 0 31551224 14405136384 407335 18446744073709551615 4194304 4196468 140732165717392 140732165699936 140003384393463 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 8 0 0 6293624 6294260 12828672 140732165720016 140732165722801 140732165722801 140732165726159 0
/proc/12817/statm: 3516879 407335 3472 1 0 3505493 0
[pid=12817/tid=12867] ppid=12814 vsize=14067516 CPUtime=19.24 cores=0,2,4,6
/proc/12817/task/12867/stat : 12867 (java) S 12814 12817 7434 0 -1 1077944384 55074 12650 0 0 1890 26 5 3 20 0 15 0 31551244 14405136384 407335 18446744073709551615 4194304 4196468 140732165717392 140003388631136 140003384403669 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 4 0 0 6293624 6294260 12828672 140732165720016 140732165722801 140732165722801 140732165726159 0
[pid=12817/tid=12868] ppid=12814 vsize=14067516 CPUtime=1.32 cores=0,2,4,6
/proc/12817/task/12868/stat : 12868 (java) R 12814 12817 7434 0 -1 4202560 1574 12650 0 0 111 13 5 3 20 0 15 0 31551244 14405136384 407335 18446744073709551615 4194304 4196468 140732165717392 140003318828048 140003366003306 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 12828672 140732165720016 140732165722801 140732165722801 140732165726159 0
[pid=12817/tid=12869] ppid=12814 vsize=14067516 CPUtime=1.32 cores=0,2,4,6
/proc/12817/task/12869/stat : 12869 (java) R 12814 12817 7434 0 -1 4202560 545 12650 0 0 112 12 5 3 20 0 15 0 31551244 14405136384 407335 18446744073709551615 4194304 4196468 140732165717392 140002983591056 140003369389830 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 12828672 140732165720016 140732165722801 140732165722801 140732165726159 0
[pid=12817/tid=12870] ppid=12814 vsize=14067516 CPUtime=1.32 cores=0,2,4,6
/proc/12817/task/12870/stat : 12870 (java) R 12814 12817 7434 0 -1 4202560 600 12650 0 0 112 12 5 3 20 0 15 0 31551244 14405136384 407335 18446744073709551615 4194304 4196468 140732165717392 140002982538000 140003366003246 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 12828672 140732165720016 140732165722801 140732165722801 140732165726159 0
[pid=12817/tid=12871] ppid=12814 vsize=14067516 CPUtime=1.32 cores=0,2,4,6
/proc/12817/task/12871/stat : 12871 (java) R 12814 12817 7434 0 -1 4202560 1336 12650 0 0 112 12 5 3 20 0 15 0 31551244 14405136384 407335 18446744073709551615 4194304 4196468 140732165717392 140002981485656 140003366003283 0 4 1 16800974 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 12828672 140732165720016 140732165722801 140732165722801 140732165726159 0
[pid=12817/tid=12872] ppid=12814 vsize=14067516 CPUtime=0.17 cores=0,2,4,6
/proc/12817/task/12872/stat : 12872 (java) S 12814 12817 7434 0 -1 1077944384 7044 12650 0 0 9 0 5 3 20 0 15 0 31551246 14405136384 407335 18446744073709551615 4194304 4196468 140732165717392 140002930066320 140003384403669 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12828672 140732165720016 140732165722801 140732165722801 140732165726159 0
[pid=12817/tid=12873] ppid=12814 vsize=14067516 CPUtime=0.08 cores=0,2,4,6
/proc/12817/task/12873/stat : 12873 (java) S 12814 12817 7434 0 -1 1077944384 57 12650 0 0 0 0 5 3 20 0 15 0 31551246 14405136384 407335 18446744073709551615 4194304 4196468 140732165717392 140002929013952 140003384403669 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12828672 140732165720016 140732165722801 140732165722801 140732165726159 0
[pid=12817/tid=12874] ppid=12814 vsize=14067516 CPUtime=0.08 cores=0,2,4,6
/proc/12817/task/12874/stat : 12874 (java) S 12814 12817 7434 0 -1 1077944384 48 12650 0 0 0 0 5 3 20 0 15 0 31551246 14405136384 407335 18446744073709551615 4194304 4196468 140732165717392 140002927960832 140003384403669 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12828672 140732165720016 140732165722801 140732165722801 140732165726159 0
[pid=12817/tid=12875] ppid=12814 vsize=14067516 CPUtime=0.08 cores=0,2,4,6
/proc/12817/task/12875/stat : 12875 (java) S 12814 12817 7434 0 -1 1077944384 3 12650 0 0 0 0 5 3 20 0 15 0 31551249 14405136384 407335 18446744073709551615 4194304 4196468 140732165717392 140002926909392 140003384412059 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12828672 140732165720016 140732165722801 140732165722801 140732165726159 0
[pid=12817/tid=12876] ppid=12814 vsize=14067516 CPUtime=3.3 cores=0,2,4,6
/proc/12817/task/12876/stat : 12876 (java) S 12814 12817 7434 0 -1 1077944384 7027 12650 0 0 320 2 5 3 20 0 15 0 31551249 14405136384 407335 18446744073709551615 4194304 4196468 140732165717392 140002925857520 140003384404610 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12828672 140732165720016 140732165722801 140732165722801 140732165726159 0
[pid=12817/tid=12877] ppid=12814 vsize=14067516 CPUtime=3.39 cores=0,2,4,6
/proc/12817/task/12877/stat : 12877 (java) S 12814 12817 7434 0 -1 1077944384 9022 12650 0 0 329 2 5 3 20 0 15 0 31551249 14405136384 407335 18446744073709551615 4194304 4196468 140732165717392 140002924804976 140003384404610 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12828672 140732165720016 140732165722801 140732165722801 140732165726159 0
[pid=12817/tid=12878] ppid=12814 vsize=14067516 CPUtime=1.93 cores=0,2,4,6
/proc/12817/task/12878/stat : 12878 (java) S 12814 12817 7434 0 -1 1077944384 13222 12650 0 0 182 3 5 3 20 0 15 0 31551249 14405136384 407335 18446744073709551615 4194304 4196468 140732165717392 140002923751920 140003384404610 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12828672 140732165720016 140732165722801 140732165722801 140732165726159 0
[pid=12817/tid=12879] ppid=12814 vsize=14067516 CPUtime=0.08 cores=0,2,4,6
/proc/12817/task/12879/stat : 12879 (java) S 12814 12817 7434 0 -1 1077944384 3 12650 0 0 0 0 5 3 20 0 15 0 31551249 14405136384 407335 18446744073709551615 4194304 4196468 140732165717392 140002922699616 140003384403669 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12828672 140732165720016 140732165722801 140732165722801 140732165726159 0
[pid=12817/tid=12880] ppid=12814 vsize=14067516 CPUtime=0.08 cores=0,2,4,6
/proc/12817/task/12880/stat : 12880 (java) S 12814 12817 7434 0 -1 1077944384 1513 12650 0 0 0 0 5 3 20 0 15 0 31551254 14405136384 407335 18446744073709551615 4194304 4196468 140732165717392 140002921646640 140003384404610 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12828672 140732165720016 140732165722801 140732165722801 140732165726159 0
Current children cumulated CPU time (s) 32.8
Current children cumulated vsize (KiB) 14067516

[startup+21.2015 s]
/proc/loadavg: 1.83 1.56 1.47 3/214 12905
/proc/meminfo: memFree=29188044/32770624 swapFree=0/381416
[pid=12817] ppid=12814 vsize=14067516 CPUtime=34.28 cores=0,2,4,6
/proc/12817/stat : 12817 (java) S 12814 12817 7434 0 -1 1077944320 99269 12650 0 0 3332 88 5 3 20 0 15 0 31551224 14405136384 407330 18446744073709551615 4194304 4196468 140732165717392 140732165699936 140003384393463 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 8 0 0 6293624 6294260 12828672 140732165720016 140732165722801 140732165722801 140732165726159 0
/proc/12817/statm: 3516879 407330 3472 1 0 3505493 0
[pid=12817/tid=12867] ppid=12814 vsize=14067516 CPUtime=19.24 cores=0,2,4,6
/proc/12817/task/12867/stat : 12867 (java) S 12814 12817 7434 0 -1 1077944384 55077 12650 0 0 1890 26 5 3 20 0 15 0 31551244 14405136384 407330 18446744073709551615 4194304 4196468 140732165717392 140003388631136 140003384403669 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 4 0 0 6293624 6294260 12828672 140732165720016 140732165722801 140732165722801 140732165726159 0
[pid=12817/tid=12868] ppid=12814 vsize=14067516 CPUtime=1.68 cores=0,2,4,6
/proc/12817/task/12868/stat : 12868 (java) R 12814 12817 7434 0 -1 4202560 1577 12650 0 0 147 13 5 3 20 0 15 0 31551244 14405136384 407330 18446744073709551615 4194304 4196468 140732165717392 140003318827632 140003377021671 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 12828672 140732165720016 140732165722801 140732165722801 140732165726159 0
[pid=12817/tid=12869] ppid=12814 vsize=14067516 CPUtime=1.68 cores=0,2,4,6
/proc/12817/task/12869/stat : 12869 (java) R 12814 12817 7434 0 -1 4202560 561 12650 0 0 148 12 5 3 20 0 15 0 31551244 14405136384 407330 18446744073709551615 4194304 4196468 140732165717392 140002983590640 140003377021671 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 12828672 140732165720016 140732165722801 140732165722801 140732165726159 0
[pid=12817/tid=12870] ppid=12814 vsize=14067516 CPUtime=1.68 cores=0,2,4,6
/proc/12817/task/12870/stat : 12870 (java) R 12814 12817 7434 0 -1 4202560 615 12650 0 0 148 12 5 3 20 0 15 0 31551244 14405136384 407330 18446744073709551615 4194304 4196468 140732165717392 140002982538200 140003365989917 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 12828672 140732165720016 140732165722801 140732165722801 140732165726159 0
[pid=12817/tid=12871] ppid=12814 vsize=14067516 CPUtime=1.68 cores=0,2,4,6
/proc/12817/task/12871/stat : 12871 (java) R 12814 12817 7434 0 -1 4202560 1345 12650 0 0 148 12 5 3 20 0 15 0 31551244 14405136384 407330 18446744073709551615 4194304 4196468 140732165717392 140002981485656 140003369344068 0 4 1 16800974 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 12828672 140732165720016 140732165722801 140732165722801 140732165726159 0
[pid=12817/tid=12872] ppid=12814 vsize=14067516 CPUtime=0.21 cores=0,2,4,6
/proc/12817/task/12872/stat : 12872 (java) S 12814 12817 7434 0 -1 1077944384 7044 12650 0 0 13 0 5 3 20 0 15 0 31551246 14405136384 407330 18446744073709551615 4194304 4196468 140732165717392 140002930066096 140003384403669 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12828672 140732165720016 140732165722801 140732165722801 140732165726159 0
[pid=12817/tid=12873] ppid=12814 vsize=14067516 CPUtime=0.08 cores=0,2,4,6
/proc/12817/task/12873/stat : 12873 (java) S 12814 12817 7434 0 -1 1077944384 57 12650 0 0 0 0 5 3 20 0 15 0 31551246 14405136384 407330 18446744073709551615 4194304 4196468 140732165717392 140002929014128 140003384403669 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12828672 140732165720016 140732165722801 140732165722801 140732165726159 0
[pid=12817/tid=12874] ppid=12814 vsize=14067516 CPUtime=0.08 cores=0,2,4,6
/proc/12817/task/12874/stat : 12874 (java) S 12814 12817 7434 0 -1 1077944384 48 12650 0 0 0 0 5 3 20 0 15 0 31551246 14405136384 407330 18446744073709551615 4194304 4196468 140732165717392 140002927960832 140003384403669 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12828672 140732165720016 140732165722801 140732165722801 140732165726159 0
[pid=12817/tid=12875] ppid=12814 vsize=14067516 CPUtime=0.08 cores=0,2,4,6
/proc/12817/task/12875/stat : 12875 (java) S 12814 12817 7434 0 -1 1077944384 3 12650 0 0 0 0 5 3 20 0 15 0 31551249 14405136384 407330 18446744073709551615 4194304 4196468 140732165717392 140002926909392 140003384412059 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12828672 140732165720016 140732165722801 140732165722801 140732165726159 0
[pid=12817/tid=12876] ppid=12814 vsize=14067516 CPUtime=3.3 cores=0,2,4,6
/proc/12817/task/12876/stat : 12876 (java) S 12814 12817 7434 0 -1 1077944384 7027 12650 0 0 320 2 5 3 20 0 15 0 31551249 14405136384 407330 18446744073709551615 4194304 4196468 140732165717392 140002925857520 140003384404610 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12828672 140732165720016 140732165722801 140732165722801 140732165726159 0
[pid=12817/tid=12877] ppid=12814 vsize=14067516 CPUtime=3.39 cores=0,2,4,6
/proc/12817/task/12877/stat : 12877 (java) S 12814 12817 7434 0 -1 1077944384 9022 12650 0 0 329 2 5 3 20 0 15 0 31551249 14405136384 407330 18446744073709551615 4194304 4196468 140732165717392 140002924804976 140003384404610 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12828672 140732165720016 140732165722801 140732165722801 140732165726159 0
[pid=12817/tid=12878] ppid=12814 vsize=14067516 CPUtime=1.93 cores=0,2,4,6
/proc/12817/task/12878/stat : 12878 (java) S 12814 12817 7434 0 -1 1077944384 13222 12650 0 0 182 3 5 3 20 0 15 0 31551249 14405136384 407330 18446744073709551615 4194304 4196468 140732165717392 140002923751920 140003384404610 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12828672 140732165720016 140732165722801 140732165722801 140732165726159 0
[pid=12817/tid=12879] ppid=12814 vsize=14067516 CPUtime=0.08 cores=0,2,4,6
/proc/12817/task/12879/stat : 12879 (java) S 12814 12817 7434 0 -1 1077944384 3 12650 0 0 0 0 5 3 20 0 15 0 31551249 14405136384 407330 18446744073709551615 4194304 4196468 140732165717392 140002922699616 140003384403669 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12828672 140732165720016 140732165722801 140732165722801 140732165726159 0
[pid=12817/tid=12880] ppid=12814 vsize=14067516 CPUtime=0.08 cores=0,2,4,6
/proc/12817/task/12880/stat : 12880 (java) S 12814 12817 7434 0 -1 1077944384 1513 12650 0 0 0 0 5 3 20 0 15 0 31551254 14405136384 407330 18446744073709551615 4194304 4196468 140732165717392 140002921646640 140003384404610 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12828672 140732165720016 140732165722801 140732165722801 140732165726159 0
Current children cumulated CPU time (s) 34.28
Current children cumulated vsize (KiB) 14067516

[startup+21.3075 s]
/proc/loadavg: 1.83 1.56 1.47 3/214 12905
/proc/meminfo: memFree=29188044/32770624 swapFree=0/381416
[pid=12817] ppid=12814 vsize=14067516 CPUtime=34.61 cores=0,2,4,6
/proc/12817/stat : 12817 (java) S 12814 12817 7434 0 -1 1077944320 99317 12650 0 0 3365 88 5 3 20 0 15 0 31551224 14405136384 407386 18446744073709551615 4194304 4196468 140732165717392 140732165699936 140003384393463 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 8 0 0 6293624 6294260 12828672 140732165720016 140732165722801 140732165722801 140732165726159 0
/proc/12817/statm: 3516879 407386 3472 1 0 3505493 0
[pid=12817/tid=12867] ppid=12814 vsize=14067516 CPUtime=19.25 cores=0,2,4,6
/proc/12817/task/12867/stat : 12867 (java) R 12814 12817 7434 0 -1 4202560 55121 12650 0 0 1891 26 5 3 20 0 15 0 31551244 14405136384 407386 18446744073709551615 4194304 4196468 140732165717392 140003388608160 140003365957019 0 4 1 16800974 0 0 0 -1 6 0 0 4 0 0 6293624 6294260 12828672 140732165720016 140732165722801 140732165722801 140732165726159 0
[pid=12817/tid=12868] ppid=12814 vsize=14067516 CPUtime=1.75 cores=0,2,4,6
/proc/12817/task/12868/stat : 12868 (java) S 12814 12817 7434 0 -1 1077944384 1577 12650 0 0 154 13 5 3 20 0 15 0 31551244 14405136384 407386 18446744073709551615 4194304 4196468 140732165717392 140003318828048 140003384403669 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12828672 140732165720016 140732165722801 140732165722801 140732165726159 0
[pid=12817/tid=12869] ppid=12814 vsize=14067516 CPUtime=1.75 cores=0,2,4,6
/proc/12817/task/12869/stat : 12869 (java) S 12814 12817 7434 0 -1 1077944384 561 12650 0 0 155 12 5 3 20 0 15 0 31551244 14405136384 407386 18446744073709551615 4194304 4196468 140732165717392 140002983591056 140003384403669 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12828672 140732165720016 140732165722801 140732165722801 140732165726159 0
[pid=12817/tid=12870] ppid=12814 vsize=14067516 CPUtime=1.76 cores=0,2,4,6
/proc/12817/task/12870/stat : 12870 (java) S 12814 12817 7434 0 -1 1077944384 619 12650 0 0 156 12 5 3 20 0 15 0 31551244 14405136384 407386 18446744073709551615 4194304 4196468 140732165717392 140002982538000 140003384403669 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12828672 140732165720016 140732165722801 140732165722801 140732165726159 0
[pid=12817/tid=12871] ppid=12814 vsize=14067516 CPUtime=1.76 cores=0,2,4,6
/proc/12817/task/12871/stat : 12871 (java) S 12814 12817 7434 0 -1 1077944384 1345 12650 0 0 156 12 5 3 20 0 15 0 31551244 14405136384 407386 18446744073709551615 4194304 4196468 140732165717392 140002981485456 140003384403669 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12828672 140732165720016 140732165722801 140732165722801 140732165726159 0
[pid=12817/tid=12872] ppid=12814 vsize=14067516 CPUtime=0.23 cores=0,2,4,6
/proc/12817/task/12872/stat : 12872 (java) S 12814 12817 7434 0 -1 1077944384 7044 12650 0 0 15 0 5 3 20 0 15 0 31551246 14405136384 407386 18446744073709551615 4194304 4196468 140732165717392 140002930067696 140003384404610 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12828672 140732165720016 140732165722801 140732165722801 140732165726159 0
[pid=12817/tid=12873] ppid=12814 vsize=14067516 CPUtime=0.08 cores=0,2,4,6
/proc/12817/task/12873/stat : 12873 (java) S 12814 12817 7434 0 -1 1077944384 57 12650 0 0 0 0 5 3 20 0 15 0 31551246 14405136384 407386 18446744073709551615 4194304 4196468 140732165717392 140002929014048 140003384403669 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12828672 140732165720016 140732165722801 140732165722801 140732165726159 0
[pid=12817/tid=12874] ppid=12814 vsize=14067516 CPUtime=0.08 cores=0,2,4,6
/proc/12817/task/12874/stat : 12874 (java) S 12814 12817 7434 0 -1 1077944384 48 12650 0 0 0 0 5 3 20 0 15 0 31551246 14405136384 407386 18446744073709551615 4194304 4196468 140732165717392 140002927960832 140003384403669 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12828672 140732165720016 140732165722801 140732165722801 140732165726159 0
[pid=12817/tid=12875] ppid=12814 vsize=14067516 CPUtime=0.08 cores=0,2,4,6
/proc/12817/task/12875/stat : 12875 (java) S 12814 12817 7434 0 -1 1077944384 3 12650 0 0 0 0 5 3 20 0 15 0 31551249 14405136384 407386 18446744073709551615 4194304 4196468 140732165717392 140002926909392 140003384412059 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12828672 140732165720016 140732165722801 140732165722801 140732165726159 0
[pid=12817/tid=12876] ppid=12814 vsize=14067516 CPUtime=3.3 cores=0,2,4,6
/proc/12817/task/12876/stat : 12876 (java) S 12814 12817 7434 0 -1 1077944384 7027 12650 0 0 320 2 5 3 20 0 15 0 31551249 14405136384 407386 18446744073709551615 4194304 4196468 140732165717392 140002925857520 140003384404610 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12828672 140732165720016 140732165722801 140732165722801 140732165726159 0
[pid=12817/tid=12877] ppid=12814 vsize=14067516 CPUtime=3.39 cores=0,2,4,6
/proc/12817/task/12877/stat : 12877 (java) S 12814 12817 7434 0 -1 1077944384 9022 12650 0 0 329 2 5 3 20 0 15 0 31551249 14405136384 407386 18446744073709551615 4194304 4196468 140732165717392 140002924804976 140003384404610 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12828672 140732165720016 140732165722801 140732165722801 140732165726159 0
[pid=12817/tid=12878] ppid=12814 vsize=14067516 CPUtime=1.93 cores=0,2,4,6
/proc/12817/task/12878/stat : 12878 (java) S 12814 12817 7434 0 -1 1077944384 13222 12650 0 0 182 3 5 3 20 0 15 0 31551249 14405136384 407386 18446744073709551615 4194304 4196468 140732165717392 140002923751920 140003384404610 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12828672 140732165720016 140732165722801 140732165722801 140732165726159 0
[pid=12817/tid=12879] ppid=12814 vsize=14067516 CPUtime=0.08 cores=0,2,4,6
/proc/12817/task/12879/stat : 12879 (java) S 12814 12817 7434 0 -1 1077944384 3 12650 0 0 0 0 5 3 20 0 15 0 31551249 14405136384 407386 18446744073709551615 4194304 4196468 140732165717392 140002922699616 140003384403669 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12828672 140732165720016 140732165722801 140732165722801 140732165726159 0
[pid=12817/tid=12880] ppid=12814 vsize=14067516 CPUtime=0.08 cores=0,2,4,6
/proc/12817/task/12880/stat : 12880 (java) S 12814 12817 7434 0 -1 1077944384 1513 12650 0 0 0 0 5 3 20 0 15 0 31551254 14405136384 407386 18446744073709551615 4194304 4196468 140732165717392 140002921646640 140003384404610 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12828672 140732165720016 140732165722801 140732165722801 140732165726159 0
Current children cumulated CPU time (s) 34.61
Current children cumulated vsize (KiB) 14067516

Child status: 0
Real time (s): 21.3912
CPU time (s): 34.7912
CPU user time (s): 33.8515
CPU system time (s): 0.939658
CPU usage (%): 162.642
Max. virtual memory (cumulated for all children) (KiB): 14069632

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 33.8515
system time used= 0.939658
maximum resident set size= 1630820
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 112127
page faults= 0
swaps= 0
block input operations= 0
block output operations= 184
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 8872
involuntary context switches= 172

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.096433 second user time and 0.136039 second system time

The end
Name	MagicSequence/MagicSequence-count-s1/ MagicSequence-600-co.xml
MD5SUM	c8310886daa61c46dd98a045c4929b4c
Bench Category	CSP (decision problem)
Best result obtained on this benchmark	SAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark	6.4116702
Satisfiable
(Un)Satisfiability was proved
Number of variables	600
Number of constraints	602
Number of domains	1
Minimum domain size	600
Maximum domain size	600
Distribution of domain sizes	[{"size":600,"count":600}]
Minimum variable degree	602
Maximum variable degree	602
Distribution of variable degrees	[{"degree":602,"count":600}]
Minimum constraint arity	600
Maximum constraint arity	600
Distribution of constraint arities	[{"arity":600,"count":602}]
Number of extensional constraints	0
Number of intensional constraints	0
Distribution of constraint types	[{"type":"sum","count":2},{"type":"count","count":600}]
Optimization problem	NO
Type of objective
Trace number 4262403

Some explanations

Solver answer on this benchmark

General information on the benchmark

Solver Data

Verifier Data

Watcher Data

Launcher Data
