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

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

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

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4263760-1502641122/watcher-4263760-1502641122 -o /tmp/evaluation-result-4263760-1502641122/solver-4263760-1502641122 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node125-1502623975-28611 --watchdog 2580 java -DCompetitionOutput -jar HOME/sat4j-csp-170705.jar HOME/instance-4263760-1502641122.xml 

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

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

solver pid=31890, runsolver pid=31887

[startup+0.105034 s]*
/proc/loadavg: 4.76 3.70 2.84 3/205 31900
/proc/meminfo: memFree=30493144/32770624 swapFree=67108860/67108860
[pid=31890] ppid=31887 vsize=10484492 memory=23368 CPUtime=0.05 cores=1,3,5,7
/proc/31890/stat : 31890 (java) S 31887 31890 897 0 -1 1077944320 4800 0 0 0 4 1 0 0 20 0 14 0 66332863 10736119808 5842 18446744073709551615 4194304 4196468 140732030553392 140732030535936 139695293513463 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 5 0 0 6293624 6294260 23961600 140732030558608 140732030558761 140732030558761 140732030562255 0
/proc/31890/statm: 2621123 5842 2576 1 0 2610620 0
[pid=31890/tid=31892] ppid=31887 vsize=10484492 memory=8390339637985935414 CPUtime=0.04 cores=1,3,5,7
/proc/31890/task/31892/stat : 31892 (java) D 31887 31890 897 0 -1 4202560 2912 0 0 0 3 1 0 0 20 0 14 0 66332868 10736119808 5842 18446744073709551615 4194304 4196468 140732030553392 139695297750944 139695293535485 0 4 1 16800974 18446744071580418449 0 0 -1 3 0 0 0 0 0 6293624 6294260 23961600 140732030558608 140732030558761 140732030558761 140732030562255 0
[pid=31890/tid=31893] ppid=31887 vsize=10484492 memory=288230591823085591 CPUtime=0 cores=1,3,5,7
/proc/31890/task/31893/stat : 31893 (java) S 31887 31890 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 14 0 66332869 10736119808 5842 18446744073709551615 4194304 4196468 140732030553392 139695223933840 139695293523669 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23961600 140732030558608 140732030558761 140732030558761 140732030562255 0
[pid=31890/tid=31894] ppid=31887 vsize=10484492 memory=288370085893539456 CPUtime=0 cores=1,3,5,7
/proc/31890/task/31894/stat : 31894 (java) S 31887 31890 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 14 0 66332869 10736119808 5842 18446744073709551615 4194304 4196468 140732030553392 139695222881040 139695293523669 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23961600 140732030558608 140732030558761 140732030558761 140732030562255 0
[pid=31890/tid=31895] ppid=31887 vsize=10484492 memory=0 CPUtime=0 cores=1,3,5,7
/proc/31890/task/31895/stat : 31895 (java) S 31887 31890 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 14 0 66332869 10736119808 5842 18446744073709551615 4194304 4196468 140732030553392 139695221828752 139695293523669 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23961600 140732030558608 140732030558761 140732030558761 140732030562255 0
[pid=31890/tid=31896] ppid=31887 vsize=10484492 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/31890/task/31896/stat : 31896 (java) S 31887 31890 897 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 14 0 66332869 10736119808 5842 18446744073709551615 4194304 4196468 140732030553392 139694901816336 139695293523669 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23961600 140732030558608 140732030558761 140732030558761 140732030562255 0
[pid=31890/tid=31897] ppid=31887 vsize=10484492 memory=139709741827712 CPUtime=0 cores=1,3,5,7
/proc/31890/task/31897/stat : 31897 (java) S 31887 31890 897 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 14 0 66332870 10736119808 5842 18446744073709551615 4194304 4196468 140732030553392 139694790424688 139695293524610 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23961600 140732030558608 140732030558761 140732030558761 140732030562255 0
[pid=31890/tid=31898] ppid=31887 vsize=10484492 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/31890/task/31898/stat : 31898 (java) S 31887 31890 897 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 14 0 66332871 10736119808 5842 18446744073709551615 4194304 4196468 140732030553392 139694789370656 139695293523669 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23961600 140732030558608 140732030558761 140732030558761 140732030562255 0
[pid=31890/tid=31899] ppid=31887 vsize=10484492 memory=0 CPUtime=0 cores=1,3,5,7
/proc/31890/task/31899/stat : 31899 (java) S 31887 31890 897 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 14 0 66332871 10736119808 5842 18446744073709551615 4194304 4196468 140732030553392 139694788318320 139695293523669 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23961600 140732030558608 140732030558761 140732030558761 140732030562255 0
[pid=31890/tid=31900] ppid=31887 vsize=10484492 memory=0 CPUtime=0 cores=1,3,5,7
/proc/31890/task/31900/stat : 31900 (java) S 31887 31890 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 14 0 66332873 10736119808 5842 18446744073709551615 4194304 4196468 140732030553392 139694787266640 139695293532059 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23961600 140732030558608 140732030558761 140732030558761 140732030562255 0
[pid=31890/tid=31901] ppid=31887 vsize=10484492 memory=0 CPUtime=0 cores=1,3,5,7
/proc/31890/task/31901/stat : 31901 (java) S 31887 31890 897 0 -1 1077944384 300 0 0 0 0 0 0 0 20 0 14 0 66332873 10736119808 5842 18446744073709551615 4194304 4196468 140732030553392 139694786214512 139695293524610 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23961600 140732030558608 140732030558761 140732030558761 140732030562255 0
[pid=31890/tid=31902] ppid=31887 vsize=10484492 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/31890/task/31902/stat : 31902 (java) S 31887 31890 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 14 0 66332873 10736119808 5842 18446744073709551615 4194304 4196468 140732030553392 139694785161712 139695293524610 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23961600 140732030558608 140732030558761 140732030558761 140732030562255 0
[pid=31890/tid=31903] ppid=31887 vsize=10484492 memory=139709741827712 CPUtime=0 cores=1,3,5,7
/proc/31890/task/31903/stat : 31903 (java) S 31887 31890 897 0 -1 1077944384 217 0 0 0 0 0 0 0 20 0 14 0 66332873 10736119808 5842 18446744073709551615 4194304 4196468 140732030553392 139694784109424 139695293524610 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23961600 140732030558608 140732030558761 140732030558761 140732030562255 0
[pid=31890/tid=31904] ppid=31887 vsize=10484492 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/31890/task/31904/stat : 31904 (java) S 31887 31890 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 14 0 66332874 10736119808 5842 18446744073709551615 4194304 4196468 140732030553392 139694783056864 139695293523669 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23961600 140732030558608 140732030558761 140732030558761 140732030562255 0
Current children cumulated CPU time: 0.05 s
Current children cumulated vsize: 10484492 KiB
Current children cumulated memory: 23368 KiB

[startup+0.210072 s]*
/proc/loadavg: 4.76 3.70 2.84 3/210 31905
/proc/meminfo: memFree=30490024/32770624 swapFree=67108860/67108860
[pid=31890] ppid=31887 vsize=10551156 memory=26508 CPUtime=0.09 cores=1,3,5,7
/proc/31890/stat : 31890 (java) S 31887 31890 897 0 -1 1077944320 5136 0 0 0 7 2 0 0 20 0 15 0 66332863 10804383744 6627 18446744073709551615 4194304 4196468 140732030553392 140732030535936 139695293513463 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 5 0 0 6293624 6294260 23961600 140732030558608 140732030558761 140732030558761 140732030562255 0
/proc/31890/statm: 2637789 6627 2740 1 0 2627261 0
[pid=31890/tid=31892] ppid=31887 vsize=10551156 memory=8318255677412212789 CPUtime=0.07 cores=1,3,5,7
/proc/31890/task/31892/stat : 31892 (java) R 31887 31890 897 0 -1 4202560 3100 0 0 0 6 1 0 0 20 0 15 0 66332868 10804383744 6627 18446744073709551615 4194304 4196468 140732030553392 139695297751360 139695277593950 0 4 1 16800974 0 0 0 -1 5 0 0 8 0 0 6293624 6294260 23961600 140732030558608 140732030558761 140732030558761 140732030562255 0
[pid=31890/tid=31893] ppid=31887 vsize=10551156 memory=328 CPUtime=0 cores=1,3,5,7
/proc/31890/task/31893/stat : 31893 (java) S 31887 31890 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 66332869 10804383744 6627 18446744073709551615 4194304 4196468 140732030553392 139695223933840 139695293523669 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23961600 140732030558608 140732030558761 140732030558761 140732030562255 0
[pid=31890/tid=31894] ppid=31887 vsize=10551156 memory=288370085893539456 CPUtime=0 cores=1,3,5,7
/proc/31890/task/31894/stat : 31894 (java) S 31887 31890 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 66332869 10804383744 6627 18446744073709551615 4194304 4196468 140732030553392 139695222881040 139695293523669 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23961600 140732030558608 140732030558761 140732030558761 140732030562255 0
[pid=31890/tid=31895] ppid=31887 vsize=10551156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/31890/task/31895/stat : 31895 (java) S 31887 31890 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 66332869 10804383744 6627 18446744073709551615 4194304 4196468 140732030553392 139695221828752 139695293523669 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23961600 140732030558608 140732030558761 140732030558761 140732030562255 0
[pid=31890/tid=31896] ppid=31887 vsize=10551156 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/31890/task/31896/stat : 31896 (java) S 31887 31890 897 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 66332869 10804383744 6627 18446744073709551615 4194304 4196468 140732030553392 139694901816336 139695293523669 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23961600 140732030558608 140732030558761 140732030558761 140732030562255 0
[pid=31890/tid=31897] ppid=31887 vsize=10551156 memory=139709741827712 CPUtime=0 cores=1,3,5,7
/proc/31890/task/31897/stat : 31897 (java) S 31887 31890 897 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 66332870 10804383744 6627 18446744073709551615 4194304 4196468 140732030553392 139694790424688 139695293524610 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23961600 140732030558608 140732030558761 140732030558761 140732030562255 0
[pid=31890/tid=31898] ppid=31887 vsize=10551156 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/31890/task/31898/stat : 31898 (java) S 31887 31890 897 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 66332871 10804383744 6627 18446744073709551615 4194304 4196468 140732030553392 139694789370656 139695293523669 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23961600 140732030558608 140732030558761 140732030558761 140732030562255 0
[pid=31890/tid=31899] ppid=31887 vsize=10551156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/31890/task/31899/stat : 31899 (java) S 31887 31890 897 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 66332871 10804383744 6627 18446744073709551615 4194304 4196468 140732030553392 139694788318320 139695293523669 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23961600 140732030558608 140732030558761 140732030558761 140732030562255 0
[pid=31890/tid=31900] ppid=31887 vsize=10551156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/31890/task/31900/stat : 31900 (java) S 31887 31890 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 66332873 10804383744 6627 18446744073709551615 4194304 4196468 140732030553392 139694787266640 139695293532059 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23961600 140732030558608 140732030558761 140732030558761 140732030562255 0
[pid=31890/tid=31901] ppid=31887 vsize=10551156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/31890/task/31901/stat : 31901 (java) S 31887 31890 897 0 -1 1077944384 421 0 0 0 0 0 0 0 20 0 15 0 66332873 10804383744 6627 18446744073709551615 4194304 4196468 140732030553392 139694786214512 139695293524610 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23961600 140732030558608 140732030558761 140732030558761 140732030562255 0
[pid=31890/tid=31902] ppid=31887 vsize=10551156 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/31890/task/31902/stat : 31902 (java) S 31887 31890 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 66332873 10804383744 6627 18446744073709551615 4194304 4196468 140732030553392 139694785161712 139695293524610 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23961600 140732030558608 140732030558761 140732030558761 140732030562255 0
[pid=31890/tid=31903] ppid=31887 vsize=10551156 memory=139709741827712 CPUtime=0 cores=1,3,5,7
/proc/31890/task/31903/stat : 31903 (java) S 31887 31890 897 0 -1 1077944384 243 0 0 0 0 0 0 0 20 0 15 0 66332873 10804383744 6627 18446744073709551615 4194304 4196468 140732030553392 139694784109424 139695293524610 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23961600 140732030558608 140732030558761 140732030558761 140732030562255 0
[pid=31890/tid=31904] ppid=31887 vsize=10551156 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/31890/task/31904/stat : 31904 (java) S 31887 31890 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 66332874 10804383744 6627 18446744073709551615 4194304 4196468 140732030553392 139694783056864 139695293523669 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23961600 140732030558608 140732030558761 140732030558761 140732030562255 0
[pid=31890/tid=31905] ppid=31887 vsize=10551156 memory=139709741827712 CPUtime=0 cores=1,3,5,7
/proc/31890/task/31905/stat : 31905 (java) S 31887 31890 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 66332882 10804383744 6627 18446744073709551615 4194304 4196468 140732030553392 139694782003632 139695293524610 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23961600 140732030558608 140732030558761 140732030558761 140732030562255 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 10551156 KiB
Current children cumulated memory: 26508 KiB

[startup+0.31074 s]*
/proc/loadavg: 4.76 3.70 2.84 3/210 31905
/proc/meminfo: memFree=30479496/32770624 swapFree=67108860/67108860
[pid=31890] ppid=31887 vsize=10551156 memory=36424 CPUtime=0.24 cores=1,3,5,7
/proc/31890/stat : 31890 (java) S 31887 31890 897 0 -1 1077944320 8386 0 0 0 21 3 0 0 20 0 15 0 66332863 10804383744 9106 18446744073709551615 4194304 4196468 140732030553392 140732030535936 139695293513463 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 5 0 0 6293624 6294260 23961600 140732030558608 140732030558761 140732030558761 140732030562255 0
/proc/31890/statm: 2637789 9106 2869 1 0 2627261 0
[pid=31890/tid=31892] ppid=31887 vsize=10551156 memory=-8774313645642428999 CPUtime=0.16 cores=1,3,5,7
/proc/31890/task/31892/stat : 31892 (java) R 31887 31890 897 0 -1 4202560 6059 0 0 0 14 2 0 0 20 0 15 0 66332868 10804383744 9106 18446744073709551615 4194304 4196468 140732030553392 139695297740768 139695293535389 0 4 1 16800974 0 0 0 -1 3 0 0 8 0 0 6293624 6294260 23961600 140732030558608 140732030558761 140732030558761 140732030562255 0
[pid=31890/tid=31893] ppid=31887 vsize=10551156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/31890/task/31893/stat : 31893 (java) S 31887 31890 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 66332869 10804383744 9106 18446744073709551615 4194304 4196468 140732030553392 139695223933840 139695293523669 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23961600 140732030558608 140732030558761 140732030558761 140732030562255 0
[pid=31890/tid=31894] ppid=31887 vsize=10551156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/31890/task/31894/stat : 31894 (java) S 31887 31890 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 66332869 10804383744 9106 18446744073709551615 4194304 4196468 140732030553392 139695222881040 139695293523669 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23961600 140732030558608 140732030558761 140732030558761 140732030562255 0
[pid=31890/tid=31895] ppid=31887 vsize=10551156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/31890/task/31895/stat : 31895 (java) S 31887 31890 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 66332869 10804383744 9106 18446744073709551615 4194304 4196468 140732030553392 139695221828752 139695293523669 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23961600 140732030558608 140732030558761 140732030558761 140732030562255 0
[pid=31890/tid=31896] ppid=31887 vsize=10551156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/31890/task/31896/stat : 31896 (java) S 31887 31890 897 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 66332869 10804383744 9106 18446744073709551615 4194304 4196468 140732030553392 139694901816336 139695293523669 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23961600 140732030558608 140732030558761 140732030558761 140732030562255 0
[pid=31890/tid=31897] ppid=31887 vsize=10551156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/31890/task/31897/stat : 31897 (java) S 31887 31890 897 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 66332870 10804383744 9106 18446744073709551615 4194304 4196468 140732030553392 139694790424688 139695293524610 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23961600 140732030558608 140732030558761 140732030558761 140732030562255 0
[pid=31890/tid=31898] ppid=31887 vsize=10551156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/31890/task/31898/stat : 31898 (java) S 31887 31890 897 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 66332871 10804383744 9106 18446744073709551615 4194304 4196468 140732030553392 139694789370656 139695293523669 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23961600 140732030558608 140732030558761 140732030558761 140732030562255 0
[pid=31890/tid=31899] ppid=31887 vsize=10551156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/31890/task/31899/stat : 31899 (java) S 31887 31890 897 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 66332871 10804383744 9106 18446744073709551615 4194304 4196468 140732030553392 139694788318320 139695293523669 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23961600 140732030558608 140732030558761 140732030558761 140732030562255 0
[pid=31890/tid=31900] ppid=31887 vsize=10551156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/31890/task/31900/stat : 31900 (java) S 31887 31890 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 66332873 10804383744 9106 18446744073709551615 4194304 4196468 140732030553392 139694787266640 139695293532059 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23961600 140732030558608 140732030558761 140732030558761 140732030562255 0
[pid=31890/tid=31901] ppid=31887 vsize=10551156 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/31890/task/31901/stat : 31901 (java) S 31887 31890 897 0 -1 1077944384 463 0 0 0 1 0 0 0 20 0 15 0 66332873 10804383744 9106 18446744073709551615 4194304 4196468 140732030553392 139694786214512 139695293524610 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23961600 140732030558608 140732030558761 140732030558761 140732030562255 0
[pid=31890/tid=31902] ppid=31887 vsize=10551156 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/31890/task/31902/stat : 31902 (java) S 31887 31890 897 0 -1 1077944384 103 0 0 0 1 0 0 0 20 0 15 0 66332873 10804383744 9106 18446744073709551615 4194304 4196468 140732030553392 139694785161712 139695293524610 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23961600 140732030558608 140732030558761 140732030558761 140732030562255 0
[pid=31890/tid=31903] ppid=31887 vsize=10551156 memory=0 CPUtime=0.04 cores=1,3,5,7
/proc/31890/task/31903/stat : 31903 (java) S 31887 31890 897 0 -1 1077944384 393 0 0 0 4 0 0 0 20 0 15 0 66332873 10804383744 9106 18446744073709551615 4194304 4196468 140732030553392 139694784109424 139695293524610 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23961600 140732030558608 140732030558761 140732030558761 140732030562255 0
[pid=31890/tid=31904] ppid=31887 vsize=10551156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/31890/task/31904/stat : 31904 (java) S 31887 31890 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 66332874 10804383744 9106 18446744073709551615 4194304 4196468 140732030553392 139694783056864 139695293523669 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23961600 140732030558608 140732030558761 140732030558761 140732030562255 0
[pid=31890/tid=31905] ppid=31887 vsize=10551156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/31890/task/31905/stat : 31905 (java) S 31887 31890 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 66332882 10804383744 9106 18446744073709551615 4194304 4196468 140732030553392 139694782003632 139695293524610 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23961600 140732030558608 140732030558761 140732030558761 140732030562255 0
Current children cumulated CPU time: 0.24 s
Current children cumulated vsize: 10551156 KiB
Current children cumulated memory: 36424 KiB

[startup+0.701138 s]
/proc/loadavg: 4.76 3.70 2.84 4/210 31905
/proc/meminfo: memFree=30458932/32770624 swapFree=67108860/67108860
[pid=31890] ppid=31887 vsize=10551232 memory=96948 CPUtime=1.41 cores=1,3,5,7
/proc/31890/stat : 31890 (java) S 31887 31890 897 0 -1 1077944320 12865 0 0 0 136 5 0 0 20 0 15 0 66332863 10804461568 24237 18446744073709551615 4194304 4196468 140732030553392 140732030535936 139695293513463 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 5 0 0 6293624 6294260 23961600 140732030558608 140732030558761 140732030558761 140732030562255 0
/proc/31890/statm: 2637808 24237 3056 1 0 2627261 0
[pid=31890/tid=31892] ppid=31887 vsize=10551232 memory=0 CPUtime=0.54 cores=1,3,5,7
/proc/31890/task/31892/stat : 31892 (java) R 31887 31890 897 0 -1 4202560 7330 0 0 0 51 3 0 0 20 0 15 0 66332868 10804461568 24237 18446744073709551615 4194304 4196468 140732030553392 139695297749424 139694904755040 0 4 1 16800974 0 0 0 -1 5 0 0 8 0 0 6293624 6294260 23961600 140732030558608 140732030558761 140732030558761 140732030562255 0
[pid=31890/tid=31893] ppid=31887 vsize=10551232 memory=0 CPUtime=0 cores=1,3,5,7
/proc/31890/task/31893/stat : 31893 (java) S 31887 31890 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 66332869 10804461568 24237 18446744073709551615 4194304 4196468 140732030553392 139695223933840 139695293523669 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23961600 140732030558608 140732030558761 140732030558761 140732030562255 0
[pid=31890/tid=31894] ppid=31887 vsize=10551232 memory=139710991172015 CPUtime=0 cores=1,3,5,7
/proc/31890/task/31894/stat : 31894 (java) S 31887 31890 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 66332869 10804461568 24237 18446744073709551615 4194304 4196468 140732030553392 139695222881040 139695293523669 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23961600 140732030558608 140732030558761 140732030558761 140732030562255 0
[pid=31890/tid=31895] ppid=31887 vsize=10551232 memory=139710991172017 CPUtime=0 cores=1,3,5,7
/proc/31890/task/31895/stat : 31895 (java) S 31887 31890 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 66332869 10804461568 24237 18446744073709551615 4194304 4196468 140732030553392 139695221828752 139695293523669 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23961600 140732030558608 140732030558761 140732030558761 140732030562255 0
[pid=31890/tid=31896] ppid=31887 vsize=10551232 memory=1728 CPUtime=0 cores=1,3,5,7
/proc/31890/task/31896/stat : 31896 (java) S 31887 31890 897 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 66332869 10804461568 24237 18446744073709551615 4194304 4196468 140732030553392 139694901816336 139695293523669 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23961600 140732030558608 140732030558761 140732030558761 140732030562255 0
[pid=31890/tid=31897] ppid=31887 vsize=10551232 memory=1228 CPUtime=0 cores=1,3,5,7
/proc/31890/task/31897/stat : 31897 (java) S 31887 31890 897 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 66332870 10804461568 24237 18446744073709551615 4194304 4196468 140732030553392 139694790424688 139695293524610 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23961600 140732030558608 140732030558761 140732030558761 140732030562255 0
[pid=31890/tid=31898] ppid=31887 vsize=10551232 memory=796 CPUtime=0 cores=1,3,5,7
/proc/31890/task/31898/stat : 31898 (java) S 31887 31890 897 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 66332871 10804461568 24237 18446744073709551615 4194304 4196468 140732030553392 139694789370656 139695293523669 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23961600 140732030558608 140732030558761 140732030558761 140732030562255 0
[pid=31890/tid=31899] ppid=31887 vsize=10551232 memory=5788 CPUtime=0 cores=1,3,5,7
/proc/31890/task/31899/stat : 31899 (java) S 31887 31890 897 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 66332871 10804461568 24237 18446744073709551615 4194304 4196468 140732030553392 139694788318320 139695293523669 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23961600 140732030558608 140732030558761 140732030558761 140732030562255 0
[pid=31890/tid=31900] ppid=31887 vsize=10551232 memory=1712 CPUtime=0 cores=1,3,5,7
/proc/31890/task/31900/stat : 31900 (java) S 31887 31890 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 66332873 10804461568 24749 18446744073709551615 4194304 4196468 140732030553392 139694787266640 139695293532059 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23961600 140732030558608 140732030558761 140732030558761 140732030562255 0
[pid=31890/tid=31901] ppid=31887 vsize=10551232 memory=4616 CPUtime=0.28 cores=1,3,5,7
/proc/31890/task/31901/stat : 31901 (java) R 31887 31890 897 0 -1 4202560 1557 0 0 0 28 0 0 0 20 0 15 0 66332873 10804461568 24749 18446744073709551615 4194304 4196468 140732030553392 139694786200392 139695275057690 0 4 1 16800974 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 23961600 140732030558608 140732030558761 140732030558761 140732030562255 0
[pid=31890/tid=31902] ppid=31887 vsize=10551232 memory=1012 CPUtime=0.31 cores=1,3,5,7
/proc/31890/task/31902/stat : 31902 (java) R 31887 31890 897 0 -1 4202560 1178 0 0 0 31 0 0 0 20 0 15 0 66332873 10804461568 24749 18446744073709551615 4194304 4196468 140732030553392 139694785147784 139695275061510 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 23961600 140732030558608 140732030558761 140732030558761 140732030562255 0
[pid=31890/tid=31903] ppid=31887 vsize=10551232 memory=10164 CPUtime=0.24 cores=1,3,5,7
/proc/31890/task/31903/stat : 31903 (java) S 31887 31890 897 0 -1 1077944384 1428 0 0 0 24 0 0 0 20 0 15 0 66332873 10804461568 24749 18446744073709551615 4194304 4196468 140732030553392 139694784109424 139695293524610 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23961600 140732030558608 140732030558761 140732030558761 140732030562255 0
[pid=31890/tid=31904] ppid=31887 vsize=10551232 memory=1440 CPUtime=0 cores=1,3,5,7
/proc/31890/task/31904/stat : 31904 (java) S 31887 31890 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 66332874 10804461568 24749 18446744073709551615 4194304 4196468 140732030553392 139694783056864 139695293523669 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23961600 140732030558608 140732030558761 140732030558761 140732030562255 0
[pid=31890/tid=31905] ppid=31887 vsize=10551232 memory=2000 CPUtime=0 cores=1,3,5,7
/proc/31890/task/31905/stat : 31905 (java) S 31887 31890 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 66332882 10804461568 24749 18446744073709551615 4194304 4196468 140732030553392 139694782003632 139695293524610 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23961600 140732030558608 140732030558761 140732030558761 140732030562255 0
Current children cumulated CPU time: 1.41 s
Current children cumulated vsize: 10551232 KiB
Current children cumulated memory: 96948 KiB

[startup+1.50915 s]
/proc/loadavg: 4.76 3.70 2.84 4/210 31905
/proc/meminfo: memFree=30326748/32770624 swapFree=67108860/67108860
[pid=31890] ppid=31887 vsize=10551232 memory=696288 CPUtime=3.5 cores=1,3,5,7
/proc/31890/stat : 31890 (java) S 31887 31890 897 0 -1 1077944320 15309 0 0 0 316 34 0 0 20 0 15 0 66332863 10804461568 173560 18446744073709551615 4194304 4196468 140732030553392 140732030535936 139695293513463 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 5 0 0 6293624 6294260 23961600 140732030558608 140732030558761 140732030558761 140732030562255 0
/proc/31890/statm: 2637808 173560 3095 1 0 2627261 0
[pid=31890/tid=31892] ppid=31887 vsize=10551232 memory=427516 CPUtime=1.17 cores=1,3,5,7
/proc/31890/task/31892/stat : 31892 (java) S 31887 31890 897 0 -1 1077944384 7863 0 0 0 107 10 0 0 20 0 15 0 66332868 10804461568 174072 18446744073709551615 4194304 4196468 140732030553392 139695297750576 139695293523669 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 8 0 0 6293624 6294260 23961600 140732030558608 140732030558761 140732030558761 140732030562255 0
[pid=31890/tid=31893] ppid=31887 vsize=10551232 memory=4116 CPUtime=0.16 cores=1,3,5,7
/proc/31890/task/31893/stat : 31893 (java) R 31887 31890 897 0 -1 4202560 196 0 0 0 11 5 0 0 20 0 15 0 66332869 10804461568 174072 18446744073709551615 4194304 4196468 140732030553392 139695223934040 139695286610299 0 4 1 16800974 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 23961600 140732030558608 140732030558761 140732030558761 140732030562255 0
[pid=31890/tid=31894] ppid=31887 vsize=10551232 memory=37472 CPUtime=0.17 cores=1,3,5,7
/proc/31890/task/31894/stat : 31894 (java) R 31887 31890 897 0 -1 4202560 241 0 0 0 12 5 0 0 20 0 15 0 66332869 10804461568 174072 18446744073709551615 4194304 4196468 140732030553392 139695222881040 139695286610299 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 23961600 140732030558608 140732030558761 140732030558761 140732030562255 0
[pid=31890/tid=31895] ppid=31887 vsize=10551232 memory=1292 CPUtime=0.17 cores=1,3,5,7
/proc/31890/task/31895/stat : 31895 (java) R 31887 31890 897 0 -1 4202560 335 0 0 0 11 6 0 0 20 0 15 0 66332869 10804461568 174072 18446744073709551615 4194304 4196468 140732030553392 139695221828752 139695278541346 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 23961600 140732030558608 140732030558761 140732030558761 140732030562255 0
[pid=31890/tid=31896] ppid=31887 vsize=10551232 memory=0 CPUtime=0.16 cores=1,3,5,7
/proc/31890/task/31896/stat : 31896 (java) R 31887 31890 897 0 -1 4202560 321 0 0 0 11 5 0 0 20 0 15 0 66332869 10804461568 174072 18446744073709551615 4194304 4196468 140732030553392 139694901816536 139695272708493 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 23961600 140732030558608 140732030558761 140732030558761 140732030562255 0
[pid=31890/tid=31897] ppid=31887 vsize=10551232 memory=33 CPUtime=0 cores=1,3,5,7
/proc/31890/task/31897/stat : 31897 (java) S 31887 31890 897 0 -1 1077944384 497 0 0 0 0 0 0 0 20 0 15 0 66332870 10804461568 174072 18446744073709551615 4194304 4196468 140732030553392 139694790423200 139695293523669 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23961600 140732030558608 140732030558761 140732030558761 140732030562255 0
[pid=31890/tid=31898] ppid=31887 vsize=10551232 memory=-8029775829737353339 CPUtime=0 cores=1,3,5,7
/proc/31890/task/31898/stat : 31898 (java) S 31887 31890 897 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 66332871 10804461568 174072 18446744073709551615 4194304 4196468 140732030553392 139694789370720 139695293523669 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23961600 140732030558608 140732030558761 140732030558761 140732030562255 0

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

/proc/31890/task/31896/stat : 31896 (java) R 31887 31890 897 0 -1 4202560 587890 0 0 0 19662 149 0 0 20 0 17 0 66332869 10943037440 2072793 18446744073709551615 4194304 4196468 140732030553392 139694901816456 139695286141671 0 4 1 16800974 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 23961600 140732030558608 140732030558761 140732030558761 140732030562255 0
[pid=31890/tid=31897] ppid=31887 vsize=10686560 memory=4616 CPUtime=26.75 cores=1,3,5,7
/proc/31890/task/31897/stat : 31897 (java) S 31887 31890 897 0 -1 1077944384 77200 0 0 0 2670 5 0 0 20 0 17 0 66332870 10943037440 2072793 18446744073709551615 4194304 4196468 140732030553392 139694790423232 139695293523669 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23961600 140732030558608 140732030558761 140732030558761 140732030562255 0
[pid=31890/tid=31898] ppid=31887 vsize=10686560 memory=37472 CPUtime=0 cores=1,3,5,7
/proc/31890/task/31898/stat : 31898 (java) S 31887 31890 897 0 -1 1077944384 37 0 0 0 0 0 0 0 20 0 17 0 66332871 10943037440 2072793 18446744073709551615 4194304 4196468 140732030553392 139694789370720 139695293523669 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23961600 140732030558608 140732030558761 140732030558761 140732030562255 0
[pid=31890/tid=31899] ppid=31887 vsize=10686560 memory=1292 CPUtime=0 cores=1,3,5,7
/proc/31890/task/31899/stat : 31899 (java) S 31887 31890 897 0 -1 1077944384 68 0 0 0 0 0 0 0 20 0 17 0 66332871 10943037440 2072793 18446744073709551615 4194304 4196468 140732030553392 139694788317440 139695293523669 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23961600 140732030558608 140732030558761 140732030558761 140732030562255 0
[pid=31890/tid=31900] ppid=31887 vsize=10686560 memory=2316 CPUtime=0 cores=1,3,5,7
/proc/31890/task/31900/stat : 31900 (java) S 31887 31890 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 17 0 66332873 10943037440 2072793 18446744073709551615 4194304 4196468 140732030553392 139694787266640 139695293532059 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23961600 140732030558608 140732030558761 140732030558761 140732030562255 0
[pid=31890/tid=31901] ppid=31887 vsize=10686560 memory=8291172 CPUtime=0.92 cores=1,3,5,7
/proc/31890/task/31901/stat : 31901 (java) S 31887 31890 897 0 -1 1077944384 2831 0 0 0 92 0 0 0 20 0 17 0 66332873 10943037440 2072793 18446744073709551615 4194304 4196468 140732030553392 139694786214560 139695293523669 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23961600 140732030558608 140732030558761 140732030558761 140732030562255 0
[pid=31890/tid=31902] ppid=31887 vsize=10686560 memory=1792 CPUtime=0.97 cores=1,3,5,7
/proc/31890/task/31902/stat : 31902 (java) S 31887 31890 897 0 -1 1077944384 3160 0 0 0 97 0 0 0 20 0 17 0 66332873 10943037440 2072793 18446744073709551615 4194304 4196468 140732030553392 139694785161472 139695293523669 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23961600 140732030558608 140732030558761 140732030558761 140732030562255 0
[pid=31890/tid=31903] ppid=31887 vsize=10686560 memory=3904 CPUtime=0.38 cores=1,3,5,7
/proc/31890/task/31903/stat : 31903 (java) S 31887 31890 897 0 -1 1077944384 3388 0 0 0 38 0 0 0 20 0 17 0 66332873 10943037440 2072793 18446744073709551615 4194304 4196468 140732030553392 139694784104800 139695293523669 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23961600 140732030558608 140732030558761 140732030558761 140732030562255 0
[pid=31890/tid=31904] ppid=31887 vsize=10686560 memory=-8774313645642428999 CPUtime=0 cores=1,3,5,7
/proc/31890/task/31904/stat : 31904 (java) S 31887 31890 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 17 0 66332874 10943037440 2072793 18446744073709551615 4194304 4196468 140732030553392 139694783056864 139695293523669 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23961600 140732030558608 140732030558761 140732030558761 140732030562255 0
[pid=31890/tid=31905] ppid=31887 vsize=10686560 memory=1200 CPUtime=0.17 cores=1,3,5,7
/proc/31890/task/31905/stat : 31905 (java) S 31887 31890 897 0 -1 1077944384 303 0 0 0 9 8 0 0 20 0 17 0 66332882 10943037440 2072793 18446744073709551615 4194304 4196468 140732030553392 139694782003632 139695293524610 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23961600 140732030558608 140732030558761 140732030558761 140732030562255 0
[pid=31890/tid=31913] ppid=31887 vsize=10686560 memory=15880 CPUtime=0 cores=1,3,5,7
/proc/31890/task/31913/stat : 31913 (java) S 31887 31890 897 0 -1 1077944384 25 0 0 0 0 0 0 0 20 0 17 0 66355300 10943037440 2072793 18446744073709551615 4194304 4196468 140732030553392 139694778850352 139695293523669 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23961600 140732030558608 140732030558761 140732030558761 140732030562255 0
[pid=31890/tid=31914] ppid=31887 vsize=10686560 memory=20876 CPUtime=0 cores=1,3,5,7
/proc/31890/task/31914/stat : 31914 (java) S 31887 31890 897 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 17 0 66355300 10943037440 2072793 18446744073709551615 4194304 4196468 140732030553392 139694777799056 139695293523669 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23961600 140732030558608 140732030558761 140732030558761 140732030562255 0
Current children cumulated CPU time: 837.45 s
Current children cumulated vsize: 10686560 KiB
Current children cumulated memory: 8291172 KiB

[startup+244.001 s]*
/proc/loadavg: 4.14 4.06 3.18 3/212 31915
/proc/meminfo: memFree=22158604/32770624 swapFree=67108860/67108860
[pid=31890] ppid=31887 vsize=10686560 memory=8291176 CPUtime=840.28 cores=1,3,5,7
/proc/31890/stat : 31890 (java) S 31887 31890 897 0 -1 1077944320 2681931 0 0 0 83399 629 0 0 20 0 17 0 66332863 10943037440 2072794 18446744073709551615 4194304 4196468 140732030553392 140732030535936 139695293513463 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 5 0 0 6293624 6294260 23961600 140732030558608 140732030558761 140732030558761 140732030562255 0
/proc/31890/statm: 2671640 2072794 3160 1 0 2661055 0
[pid=31890/tid=31892] ppid=31887 vsize=10686560 memory=-8774313645642428999 CPUtime=15.47 cores=1,3,5,7
/proc/31890/task/31892/stat : 31892 (java) S 31887 31890 897 0 -1 1077944384 46584 0 0 0 1511 36 0 0 20 0 17 0 66332868 10943037440 2072794 18446744073709551615 4194304 4196468 140732030553392 139695297754144 139695293523669 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 8 0 0 6293624 6294260 23961600 140732030558608 140732030558761 140732030558761 140732030562255 0
[pid=31890/tid=31893] ppid=31887 vsize=10686560 memory=5788 CPUtime=199.48 cores=1,3,5,7
/proc/31890/task/31893/stat : 31893 (java) S 31887 31890 897 0 -1 1077944384 696176 0 0 0 19807 141 0 0 20 0 17 0 66332869 10943037440 2072794 18446744073709551615 4194304 4196468 140732030553392 139695223933840 139695293523669 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23961600 140732030558608 140732030558761 140732030558761 140732030562255 0
[pid=31890/tid=31894] ppid=31887 vsize=10686560 memory=1712 CPUtime=198.69 cores=1,3,5,7
/proc/31890/task/31894/stat : 31894 (java) S 31887 31890 897 0 -1 1077944384 605299 0 0 0 19731 138 0 0 20 0 17 0 66332869 10943037440 2072794 18446744073709551615 4194304 4196468 140732030553392 139695222881040 139695293523669 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23961600 140732030558608 140732030558761 140732030558761 140732030562255 0
[pid=31890/tid=31895] ppid=31887 vsize=10686560 memory=4616 CPUtime=198.47 cores=1,3,5,7
/proc/31890/task/31895/stat : 31895 (java) S 31887 31890 897 0 -1 1077944384 656178 0 0 0 19695 152 0 0 20 0 17 0 66332869 10943037440 2072794 18446744073709551615 4194304 4196468 140732030553392 139695221828752 139695293523669 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23961600 140732030558608 140732030558761 140732030558761 140732030562255 0
[pid=31890/tid=31896] ppid=31887 vsize=10686560 memory=1012 CPUtime=198.78 cores=1,3,5,7
/proc/31890/task/31896/stat : 31896 (java) S 31887 31890 897 0 -1 1077944384 587890 0 0 0 19728 150 0 0 20 0 17 0 66332869 10943037440 2072794 18446744073709551615 4194304 4196468 140732030553392 139694901816336 139695293523669 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23961600 140732030558608 140732030558761 140732030558761 140732030562255 0
[pid=31890/tid=31897] ppid=31887 vsize=10686560 memory=10164 CPUtime=26.85 cores=1,3,5,7
/proc/31890/task/31897/stat : 31897 (java) R 31887 31890 897 0 -1 4202560 78663 0 0 0 2680 5 0 0 20 0 17 0 66332870 10943037440 2072794 18446744073709551615 4194304 4196468 140732030553392 139694790423232 139695277971033 0 0 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 23961600 140732030558608 140732030558761 140732030558761 140732030562255 0
[pid=31890/tid=31898] ppid=31887 vsize=10686560 memory=1440 CPUtime=0 cores=1,3,5,7
/proc/31890/task/31898/stat : 31898 (java) S 31887 31890 897 0 -1 1077944384 37 0 0 0 0 0 0 0 20 0 17 0 66332871 10943037440 2072794 18446744073709551615 4194304 4196468 140732030553392 139694789370720 139695293523669 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23961600 140732030558608 140732030558761 140732030558761 140732030562255 0
[pid=31890/tid=31899] ppid=31887 vsize=10686560 memory=2000 CPUtime=0 cores=1,3,5,7
/proc/31890/task/31899/stat : 31899 (java) S 31887 31890 897 0 -1 1077944384 68 0 0 0 0 0 0 0 20 0 17 0 66332871 10943037440 2072794 18446744073709551615 4194304 4196468 140732030553392 139694788317440 139695293523669 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23961600 140732030558608 140732030558761 140732030558761 140732030562255 0
[pid=31890/tid=31900] ppid=31887 vsize=10686560 memory=10976 CPUtime=0 cores=1,3,5,7
/proc/31890/task/31900/stat : 31900 (java) S 31887 31890 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 17 0 66332873 10943037440 2072794 18446744073709551615 4194304 4196468 140732030553392 139694787266640 139695293532059 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23961600 140732030558608 140732030558761 140732030558761 140732030562255 0
[pid=31890/tid=31901] ppid=31887 vsize=10686560 memory=1200 CPUtime=0.92 cores=1,3,5,7
/proc/31890/task/31901/stat : 31901 (java) S 31887 31890 897 0 -1 1077944384 2831 0 0 0 92 0 0 0 20 0 17 0 66332873 10943037440 2072794 18446744073709551615 4194304 4196468 140732030553392 139694786214560 139695293523669 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23961600 140732030558608 140732030558761 140732030558761 140732030562255 0
[pid=31890/tid=31902] ppid=31887 vsize=10686560 memory=15880 CPUtime=0.97 cores=1,3,5,7
/proc/31890/task/31902/stat : 31902 (java) S 31887 31890 897 0 -1 1077944384 3160 0 0 0 97 0 0 0 20 0 17 0 66332873 10943037440 2072794 18446744073709551615 4194304 4196468 140732030553392 139694785161472 139695293523669 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23961600 140732030558608 140732030558761 140732030558761 140732030562255 0
[pid=31890/tid=31903] ppid=31887 vsize=10686560 memory=20876 CPUtime=0.38 cores=1,3,5,7
/proc/31890/task/31903/stat : 31903 (java) S 31887 31890 897 0 -1 1077944384 3388 0 0 0 38 0 0 0 20 0 17 0 66332873 10943037440 2072794 18446744073709551615 4194304 4196468 140732030553392 139694784104800 139695293523669 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23961600 140732030558608 140732030558761 140732030558761 140732030562255 0
[pid=31890/tid=31904] ppid=31887 vsize=10686560 memory=4044 CPUtime=0 cores=1,3,5,7
/proc/31890/task/31904/stat : 31904 (java) S 31887 31890 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 17 0 66332874 10943037440 2072794 18446744073709551615 4194304 4196468 140732030553392 139694783056864 139695293523669 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23961600 140732030558608 140732030558761 140732030558761 140732030562255 0
[pid=31890/tid=31905] ppid=31887 vsize=10686560 memory=640 CPUtime=0.17 cores=1,3,5,7
/proc/31890/task/31905/stat : 31905 (java) S 31887 31890 897 0 -1 1077944384 303 0 0 0 9 8 0 0 20 0 17 0 66332882 10943037440 2072794 18446744073709551615 4194304 4196468 140732030553392 139694782003632 139695293524610 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23961600 140732030558608 140732030558761 140732030558761 140732030562255 0
[pid=31890/tid=31913] ppid=31887 vsize=10686560 memory=1792 CPUtime=0 cores=1,3,5,7
/proc/31890/task/31913/stat : 31913 (java) S 31887 31890 897 0 -1 1077944384 25 0 0 0 0 0 0 0 20 0 17 0 66355300 10943037440 2072794 18446744073709551615 4194304 4196468 140732030553392 139694778850352 139695293523669 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23961600 140732030558608 140732030558761 140732030558761 140732030562255 0
[pid=31890/tid=31914] ppid=31887 vsize=10686560 memory=3904 CPUtime=0 cores=1,3,5,7
/proc/31890/task/31914/stat : 31914 (java) S 31887 31890 897 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 17 0 66355300 10943037440 2072794 18446744073709551615 4194304 4196468 140732030553392 139694777799056 139695293523669 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23961600 140732030558608 140732030558761 140732030558761 140732030562255 0
Current children cumulated CPU time: 840.28 s
Current children cumulated vsize: 10686560 KiB
Current children cumulated memory: 8291176 KiB

[startup+244.401 s]
/proc/loadavg: 4.14 4.06 3.18 3/212 31915
/proc/meminfo: memFree=22158604/32770624 swapFree=67108860/67108860
[pid=31890] ppid=31887 vsize=10686560 memory=8291176 CPUtime=840.67 cores=1,3,5,7
/proc/31890/stat : 31890 (java) S 31887 31890 897 0 -1 1077944320 2681931 0 0 0 83438 629 0 0 20 0 17 0 66332863 10943037440 2072794 18446744073709551615 4194304 4196468 140732030553392 140732030535936 139695293513463 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 5 0 0 6293624 6294260 23961600 140732030558608 140732030558761 140732030558761 140732030562255 0
/proc/31890/statm: 2671640 2072794 3160 1 0 2661055 0
[pid=31890/tid=31892] ppid=31887 vsize=10686560 memory=2752 CPUtime=15.47 cores=1,3,5,7
/proc/31890/task/31892/stat : 31892 (java) S 31887 31890 897 0 -1 1077944384 46584 0 0 0 1511 36 0 0 20 0 17 0 66332868 10943037440 2072794 18446744073709551615 4194304 4196468 140732030553392 139695297754144 139695293523669 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 8 0 0 6293624 6294260 23961600 140732030558608 140732030558761 140732030558761 140732030562255 0
[pid=31890/tid=31893] ppid=31887 vsize=10686560 memory=-8774313645642428999 CPUtime=199.48 cores=1,3,5,7
/proc/31890/task/31893/stat : 31893 (java) S 31887 31890 897 0 -1 1077944384 696176 0 0 0 19807 141 0 0 20 0 17 0 66332869 10943037440 2072794 18446744073709551615 4194304 4196468 140732030553392 139695223933840 139695293523669 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23961600 140732030558608 140732030558761 140732030558761 140732030562255 0
[pid=31890/tid=31894] ppid=31887 vsize=10686560 memory=8290208 CPUtime=198.69 cores=1,3,5,7
/proc/31890/task/31894/stat : 31894 (java) S 31887 31890 897 0 -1 1077944384 605299 0 0 0 19731 138 0 0 20 0 17 0 66332869 10943037440 2072794 18446744073709551615 4194304 4196468 140732030553392 139695222881040 139695293523669 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23961600 140732030558608 140732030558761 140732030558761 140732030562255 0
[pid=31890/tid=31895] ppid=31887 vsize=10686560 memory=-8774313645642428999 CPUtime=198.47 cores=1,3,5,7
/proc/31890/task/31895/stat : 31895 (java) S 31887 31890 897 0 -1 1077944384 656178 0 0 0 19695 152 0 0 20 0 17 0 66332869 10943037440 2072794 18446744073709551615 4194304 4196468 140732030553392 139695221828752 139695293523669 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23961600 140732030558608 140732030558761 140732030558761 140732030562255 0
[pid=31890/tid=31896] ppid=31887 vsize=10686560 memory=8290208 CPUtime=198.78 cores=1,3,5,7
/proc/31890/task/31896/stat : 31896 (java) S 31887 31890 897 0 -1 1077944384 587890 0 0 0 19728 150 0 0 20 0 17 0 66332869 10943037440 2072794 18446744073709551615 4194304 4196468 140732030553392 139694901816336 139695293523669 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23961600 140732030558608 140732030558761 140732030558761 140732030562255 0
[pid=31890/tid=31897] ppid=31887 vsize=10686560 memory=-8774313645642428999 CPUtime=27.24 cores=1,3,5,7
/proc/31890/task/31897/stat : 31897 (java) R 31887 31890 897 0 -1 4202560 78663 0 0 0 2719 5 0 0 20 0 17 0 66332870 10943037440 2072794 18446744073709551615 4194304 4196468 140732030553392 139694790423120 139695278509867 0 0 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 23961600 140732030558608 140732030558761 140732030558761 140732030562255 0
[pid=31890/tid=31898] ppid=31887 vsize=10686560 memory=928 CPUtime=0 cores=1,3,5,7
/proc/31890/task/31898/stat : 31898 (java) S 31887 31890 897 0 -1 1077944384 37 0 0 0 0 0 0 0 20 0 17 0 66332871 10943037440 2072794 18446744073709551615 4194304 4196468 140732030553392 139694789370720 139695293523669 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23961600 140732030558608 140732030558761 140732030558761 140732030562255 0
[pid=31890/tid=31899] ppid=31887 vsize=10686560 memory=2164 CPUtime=0 cores=1,3,5,7
/proc/31890/task/31899/stat : 31899 (java) S 31887 31890 897 0 -1 1077944384 68 0 0 0 0 0 0 0 20 0 17 0 66332871 10943037440 2072794 18446744073709551615 4194304 4196468 140732030553392 139694788317440 139695293523669 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23961600 140732030558608 140732030558761 140732030558761 140732030562255 0
[pid=31890/tid=31900] ppid=31887 vsize=10686560 memory=840 CPUtime=0 cores=1,3,5,7
/proc/31890/task/31900/stat : 31900 (java) S 31887 31890 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 17 0 66332873 10943037440 2072794 18446744073709551615 4194304 4196468 140732030553392 139694787266640 139695293532059 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23961600 140732030558608 140732030558761 140732030558761 140732030562255 0
[pid=31890/tid=31901] ppid=31887 vsize=10686560 memory=-8774313645642428999 CPUtime=0.92 cores=1,3,5,7
/proc/31890/task/31901/stat : 31901 (java) S 31887 31890 897 0 -1 1077944384 2831 0 0 0 92 0 0 0 20 0 17 0 66332873 10943037440 2072794 18446744073709551615 4194304 4196468 140732030553392 139694786214560 139695293523669 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23961600 140732030558608 140732030558761 140732030558761 140732030562255 0
[pid=31890/tid=31902] ppid=31887 vsize=10686560 memory=1240 CPUtime=0.97 cores=1,3,5,7
/proc/31890/task/31902/stat : 31902 (java) S 31887 31890 897 0 -1 1077944384 3160 0 0 0 97 0 0 0 20 0 17 0 66332873 10943037440 2072794 18446744073709551615 4194304 4196468 140732030553392 139694785161472 139695293523669 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23961600 140732030558608 140732030558761 140732030558761 140732030562255 0
[pid=31890/tid=31903] ppid=31887 vsize=10686560 memory=2248 CPUtime=0.38 cores=1,3,5,7
/proc/31890/task/31903/stat : 31903 (java) S 31887 31890 897 0 -1 1077944384 3388 0 0 0 38 0 0 0 20 0 17 0 66332873 10943037440 2072794 18446744073709551615 4194304 4196468 140732030553392 139694784104800 139695293523669 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23961600 140732030558608 140732030558761 140732030558761 140732030562255 0
[pid=31890/tid=31904] ppid=31887 vsize=10686560 memory=4304 CPUtime=0 cores=1,3,5,7
/proc/31890/task/31904/stat : 31904 (java) S 31887 31890 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 17 0 66332874 10943037440 2072794 18446744073709551615 4194304 4196468 140732030553392 139694783056864 139695293523669 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23961600 140732030558608 140732030558761 140732030558761 140732030562255 0
[pid=31890/tid=31905] ppid=31887 vsize=10686560 memory=1624 CPUtime=0.17 cores=1,3,5,7
/proc/31890/task/31905/stat : 31905 (java) S 31887 31890 897 0 -1 1077944384 303 0 0 0 9 8 0 0 20 0 17 0 66332882 10943037440 2072794 18446744073709551615 4194304 4196468 140732030553392 139694782003632 139695293524610 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23961600 140732030558608 140732030558761 140732030558761 140732030562255 0
[pid=31890/tid=31913] ppid=31887 vsize=10686560 memory=3024 CPUtime=0 cores=1,3,5,7
/proc/31890/task/31913/stat : 31913 (java) S 31887 31890 897 0 -1 1077944384 25 0 0 0 0 0 0 0 20 0 17 0 66355300 10943037440 2072794 18446744073709551615 4194304 4196468 140732030553392 139694778850352 139695293523669 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23961600 140732030558608 140732030558761 140732030558761 140732030562255 0
[pid=31890/tid=31914] ppid=31887 vsize=10686560 memory=4068 CPUtime=0 cores=1,3,5,7
/proc/31890/task/31914/stat : 31914 (java) S 31887 31890 897 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 17 0 66355300 10943037440 2072794 18446744073709551615 4194304 4196468 140732030553392 139694777799056 139695293523669 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23961600 140732030558608 140732030558761 140732030558761 140732030562255 0
Current children cumulated CPU time: 840.67 s
Current children cumulated vsize: 10686560 KiB
Current children cumulated memory: 8291176 KiB

[startup+244.601 s]
/proc/loadavg: 4.14 4.06 3.18 3/212 31915
/proc/meminfo: memFree=22158604/32770624 swapFree=67108860/67108860
[pid=31890] ppid=31887 vsize=10686560 memory=8291176 CPUtime=840.87 cores=1,3,5,7
/proc/31890/stat : 31890 (java) S 31887 31890 897 0 -1 1077944320 2681934 0 0 0 83458 629 0 0 20 0 17 0 66332863 10943037440 2072794 18446744073709551615 4194304 4196468 140732030553392 140732030535936 139695293513463 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 5 0 0 6293624 6294260 23961600 140732030558608 140732030558761 140732030558761 140732030562255 0
/proc/31890/statm: 2671640 2072794 3160 1 0 2661055 0
[pid=31890/tid=31892] ppid=31887 vsize=10686560 memory=3220 CPUtime=15.47 cores=1,3,5,7
/proc/31890/task/31892/stat : 31892 (java) S 31887 31890 897 0 -1 1077944384 46584 0 0 0 1511 36 0 0 20 0 17 0 66332868 10943037440 2072794 18446744073709551615 4194304 4196468 140732030553392 139695297754144 139695293523669 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 8 0 0 6293624 6294260 23961600 140732030558608 140732030558761 140732030558761 140732030562255 0
[pid=31890/tid=31893] ppid=31887 vsize=10686560 memory=699372 CPUtime=199.48 cores=1,3,5,7
/proc/31890/task/31893/stat : 31893 (java) S 31887 31890 897 0 -1 1077944384 696176 0 0 0 19807 141 0 0 20 0 17 0 66332869 10943037440 2072794 18446744073709551615 4194304 4196468 140732030553392 139695223933840 139695293523669 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23961600 140732030558608 140732030558761 140732030558761 140732030562255 0
[pid=31890/tid=31894] ppid=31887 vsize=10686560 memory=1152 CPUtime=198.69 cores=1,3,5,7
/proc/31890/task/31894/stat : 31894 (java) S 31887 31890 897 0 -1 1077944384 605299 0 0 0 19731 138 0 0 20 0 17 0 66332869 10943037440 2072794 18446744073709551615 4194304 4196468 140732030553392 139695222881040 139695293523669 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23961600 140732030558608 140732030558761 140732030558761 140732030562255 0
[pid=31890/tid=31895] ppid=31887 vsize=10686560 memory=288230574492221466 CPUtime=198.47 cores=1,3,5,7
/proc/31890/task/31895/stat : 31895 (java) S 31887 31890 897 0 -1 1077944384 656178 0 0 0 19695 152 0 0 20 0 17 0 66332869 10943037440 2072794 18446744073709551615 4194304 4196468 140732030553392 139695221828752 139695293523669 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23961600 140732030558608 140732030558761 140732030558761 140732030562255 0
[pid=31890/tid=31896] ppid=31887 vsize=10686560 memory=288230617509003574 CPUtime=198.78 cores=1,3,5,7
/proc/31890/task/31896/stat : 31896 (java) S 31887 31890 897 0 -1 1077944384 587890 0 0 0 19728 150 0 0 20 0 17 0 66332869 10943037440 2072794 18446744073709551615 4194304 4196468 140732030553392 139694901816336 139695293523669 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23961600 140732030558608 140732030558761 140732030558761 140732030562255 0
[pid=31890/tid=31897] ppid=31887 vsize=10686560 memory=15536310592997909 CPUtime=27.44 cores=1,3,5,7
/proc/31890/task/31897/stat : 31897 (java) R 31887 31890 897 0 -1 4202560 78666 0 0 0 2739 5 0 0 20 0 17 0 66332870 10943037440 2072794 18446744073709551615 4194304 4196468 140732030553392 139694790423120 139695277971094 0 0 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 23961600 140732030558608 140732030558761 140732030558761 140732030562255 0
[pid=31890/tid=31898] ppid=31887 vsize=10686560 memory=4616 CPUtime=0 cores=1,3,5,7
/proc/31890/task/31898/stat : 31898 (java) S 31887 31890 897 0 -1 1077944384 37 0 0 0 0 0 0 0 20 0 17 0 66332871 10943037440 2072794 18446744073709551615 4194304 4196468 140732030553392 139694789370720 139695293523669 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23961600 140732030558608 140732030558761 140732030558761 140732030562255 0
[pid=31890/tid=31899] ppid=31887 vsize=10686560 memory=1012 CPUtime=0 cores=1,3,5,7
/proc/31890/task/31899/stat : 31899 (java) S 31887 31890 897 0 -1 1077944384 68 0 0 0 0 0 0 0 20 0 17 0 66332871 10943037440 2072794 18446744073709551615 4194304 4196468 140732030553392 139694788317440 139695293523669 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23961600 140732030558608 140732030558761 140732030558761 140732030562255 0
[pid=31890/tid=31900] ppid=31887 vsize=10686560 memory=10164 CPUtime=0 cores=1,3,5,7
/proc/31890/task/31900/stat : 31900 (java) S 31887 31890 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 17 0 66332873 10943037440 2072794 18446744073709551615 4194304 4196468 140732030553392 139694787266640 139695293532059 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23961600 140732030558608 140732030558761 140732030558761 140732030562255 0
[pid=31890/tid=31901] ppid=31887 vsize=10686560 memory=1440 CPUtime=0.92 cores=1,3,5,7
/proc/31890/task/31901/stat : 31901 (java) S 31887 31890 897 0 -1 1077944384 2831 0 0 0 92 0 0 0 20 0 17 0 66332873 10943037440 2072794 18446744073709551615 4194304 4196468 140732030553392 139694786214560 139695293523669 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23961600 140732030558608 140732030558761 140732030558761 140732030562255 0
[pid=31890/tid=31902] ppid=31887 vsize=10686560 memory=-8774313645642428999 CPUtime=0.97 cores=1,3,5,7
/proc/31890/task/31902/stat : 31902 (java) S 31887 31890 897 0 -1 1077944384 3160 0 0 0 97 0 0 0 20 0 17 0 66332873 10943037440 2072794 18446744073709551615 4194304 4196468 140732030553392 139694785161472 139695293523669 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23961600 140732030558608 140732030558761 140732030558761 140732030562255 0
[pid=31890/tid=31903] ppid=31887 vsize=10686560 memory=10976 CPUtime=0.38 cores=1,3,5,7
/proc/31890/task/31903/stat : 31903 (java) S 31887 31890 897 0 -1 1077944384 3388 0 0 0 38 0 0 0 20 0 17 0 66332873 10943037440 2072794 18446744073709551615 4194304 4196468 140732030553392 139694784104800 139695293523669 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23961600 140732030558608 140732030558761 140732030558761 140732030562255 0
[pid=31890/tid=31904] ppid=31887 vsize=10686560 memory=1200 CPUtime=0 cores=1,3,5,7
/proc/31890/task/31904/stat : 31904 (java) S 31887 31890 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 17 0 66332874 10943037440 2072794 18446744073709551615 4194304 4196468 140732030553392 139694783056864 139695293523669 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23961600 140732030558608 140732030558761 140732030558761 140732030562255 0
[pid=31890/tid=31905] ppid=31887 vsize=10686560 memory=15880 CPUtime=0.17 cores=1,3,5,7
/proc/31890/task/31905/stat : 31905 (java) S 31887 31890 897 0 -1 1077944384 303 0 0 0 9 8 0 0 20 0 17 0 66332882 10943037440 2072794 18446744073709551615 4194304 4196468 140732030553392 139694782003632 139695293524610 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23961600 140732030558608 140732030558761 140732030558761 140732030562255 0
[pid=31890/tid=31913] ppid=31887 vsize=10686560 memory=1012 CPUtime=0 cores=1,3,5,7
/proc/31890/task/31913/stat : 31913 (java) S 31887 31890 897 0 -1 1077944384 25 0 0 0 0 0 0 0 20 0 17 0 66355300 10943037440 2072794 18446744073709551615 4194304 4196468 140732030553392 139694778850352 139695293523669 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23961600 140732030558608 140732030558761 140732030558761 140732030562255 0
[pid=31890/tid=31914] ppid=31887 vsize=10686560 memory=10164 CPUtime=0 cores=1,3,5,7
/proc/31890/task/31914/stat : 31914 (java) S 31887 31890 897 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 17 0 66355300 10943037440 2072794 18446744073709551615 4194304 4196468 140732030553392 139694777799056 139695293523669 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23961600 140732030558608 140732030558761 140732030558761 140732030562255 0
Current children cumulated CPU time: 840.87 s
Current children cumulated vsize: 10686560 KiB
Current children cumulated memory: 8291176 KiB

[startup+244.701 s]*
/proc/loadavg: 3.89 4.01 3.17 3/197 31915
/proc/meminfo: memFree=23132680/32770624 swapFree=67108860/67108860
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB

Child status: 0
Real time (s): 244.773
CPU time (s): 841.056
CPU user time (s): 834.661
CPU system time (s): 6.39514
CPU usage (%): 343.606
Max. virtual memory (cumulated for all children) (KiB): 10686560
Max. memory (cumulated for all children) (KiB): 8291176

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 834.661
system time used= 6.39514
maximum resident set size= 8291360
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2685791
page faults= 0
swaps= 0
block input operations= 0
block output operations= 376
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 19395
involuntary context switches= 7497


# summary of solver processes directly reported to runsolver:
#   pid: 31890
#   total CPU time (s): 841.056
#   total CPU user time (s): 834.661
#   total CPU system time (s): 6.39514

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.44693 second user time and 2.43556 second system time

The end
Name	Ramsey/Ramsey-int-s1/ Ramsey-int-46.xml
MD5SUM	6af071621bab6d4e45a1e2acc37440b7
Bench Category	COP (optimization problem)
Best result obtained on this benchmark	SAT TO
Best value of the objective obtained on this benchmark	4
Best CPU time to get the best result obtained on this benchmark	2400.1101
Satisfiable
(Un)Satisfiability was proved
Number of variables	2116
Number of constraints	15180
Number of domains	1
Minimum domain size	1035
Maximum domain size	1035
Distribution of domain sizes	[{"size":1035,"count":1035}]
Minimum variable degree	0
Maximum variable degree	45
Distribution of variable degrees	[{"degree":0,"count":1081},{"degree":45,"count":1035}]
Minimum constraint arity	3
Maximum constraint arity	3
Distribution of constraint arities	[{"arity":3,"count":15180}]
Number of extensional constraints	0
Number of intensional constraints	15180
Distribution of constraint types	[{"type":"intension","count":15180}]
Optimization problem	YES
Type of objective	min MAXIMUM
Trace number 4263760

Some explanations

Solver answer on this benchmark

General information on the benchmark

Solver Data

Verifier Data

Watcher Data

Launcher Data
