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 (14217 MiB free)
memory of node 1: 16384 MiB (15379 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4263194-1502633244/watcher-4263194-1502633244 -o /tmp/evaluation-result-4263194-1502633244/solver-4263194-1502633244 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node128-1502582933-8033 --watchdog 2580 java -DCompetitionOutput -jar HOME/sat4j-csp-170705.jar HOME/instance-4263194-1502633244.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=22137, runsolver pid=22134
[startup+0.100128 s]*
/proc/loadavg: 1.92 2.04 2.06 2/198 22139
/proc/meminfo: memFree=30304168/32770624 swapFree=67108860/67108860
[pid=22137] ppid=22134 vsize=9936560 memory=16484 CPUtime=0 cores=1,3,5,7
/proc/22137/stat : 22137 (java) S 22134 22137 7968 0 -1 1077944320 3407 0 0 0 0 0 0 0 20 0 6 0 17207128 10175037440 4121 18446744073709551615 4194304 4196468 140737163686384 140737163668928 140457640148727 0 0 1 16784584 18446744073709551615 0 0 17 5 0 0 9 0 0 6293624 6294260 37687296 140737163690385 140737163690538 140737163690538 140737163694031 0
/proc/22137/statm: 2484140 4121 1921 1 0 2473637 0
[pid=22137/tid=22139] ppid=22134 vsize=9936560 memory=-6439968830534014599 CPUtime=0 cores=1,3,5,7
/proc/22137/task/22139/stat : 22139 (java) R 22134 22137 7968 0 -1 4202560 2108 0 0 0 0 0 0 0 20 0 6 0 17207137 10175037440 4121 18446744073709551615 4194304 4196468 140737163686384 140457644384848 140457623347194 0 4 1 16784584 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 37687296 140737163690385 140737163690538 140737163690538 140737163694031 0
[pid=22137/tid=22140] ppid=22134 vsize=9936560 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22137/task/22140/stat : 22140 (java) S 22134 22137 7968 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 6 0 17207138 10175037440 4121 18446744073709551615 4194304 4196468 140737163686384 140457581186064 140457640158933 0 4 1 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37687296 140737163690385 140737163690538 140737163690538 140737163694031 0
[pid=22137/tid=22141] ppid=22134 vsize=9936560 memory=140655646377600 CPUtime=0 cores=1,3,5,7
/proc/22137/task/22141/stat : 22141 (java) S 22134 22137 7968 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 6 0 17207138 10175037440 4121 18446744073709551615 4194304 4196468 140737163686384 140457580133520 140457640158933 0 4 1 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37687296 140737163690385 140737163690538 140737163690538 140737163694031 0
[pid=22137/tid=22142] ppid=22134 vsize=9936560 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22137/task/22142/stat : 22142 (java) S 22134 22137 7968 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 6 0 17207138 10175037440 4121 18446744073709551615 4194304 4196468 140737163686384 140457579080464 140457640158933 0 4 1 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37687296 140737163690385 140737163690538 140737163690538 140737163694031 0
[pid=22137/tid=22143] ppid=22134 vsize=9936560 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/22137/task/22143/stat : 22143 (java) S 22134 22137 7968 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 6 0 17207138 10175037440 4121 18446744073709551615 4194304 4196468 140737163686384 140457247894416 140457640158933 0 4 1 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37687296 140737163690385 140737163690538 140737163690538 140737163694031 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 9936560 KiB
Current children cumulated memory: 16484 KiB
[startup+0.20989 s]*
/proc/loadavg: 1.92 2.04 2.06 2/210 22151
/proc/meminfo: memFree=30294600/32770624 swapFree=67108860/67108860
[pid=22137] ppid=22134 vsize=10484492 memory=23556 CPUtime=0.05 cores=1,3,5,7
/proc/22137/stat : 22137 (java) S 22134 22137 7968 0 -1 1077944320 4850 0 0 0 4 1 0 0 20 0 14 0 17207128 10736119808 5889 18446744073709551615 4194304 4196468 140737163686384 140737163668928 140457640148727 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 9 0 0 6293624 6294260 37687296 140737163690385 140737163690538 140737163690538 140737163694031 0
/proc/22137/statm: 2621123 5889 2582 1 0 2610620 0
[pid=22137/tid=22139] ppid=22134 vsize=10484492 memory=8318255677412212789 CPUtime=0.04 cores=1,3,5,7
/proc/22137/task/22139/stat : 22139 (java) D 22134 22137 7968 0 -1 4202560 2962 0 0 0 3 1 0 0 20 0 14 0 17207137 10736119808 5889 18446744073709551615 4194304 4196468 140737163686384 140457644386208 140457640170749 0 4 1 16800974 18446744071580418449 0 0 -1 1 0 0 0 0 0 6293624 6294260 37687296 140737163690385 140737163690538 140737163690538 140737163694031 0
[pid=22137/tid=22140] ppid=22134 vsize=10484492 memory=326 CPUtime=0 cores=1,3,5,7
/proc/22137/task/22140/stat : 22140 (java) S 22134 22137 7968 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 14 0 17207138 10736119808 5889 18446744073709551615 4194304 4196468 140737163686384 140457581186064 140457640158933 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37687296 140737163690385 140737163690538 140737163690538 140737163694031 0
[pid=22137/tid=22141] ppid=22134 vsize=10484492 memory=288371031798089344 CPUtime=0 cores=1,3,5,7
/proc/22137/task/22141/stat : 22141 (java) S 22134 22137 7968 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 14 0 17207138 10736119808 5889 18446744073709551615 4194304 4196468 140737163686384 140457580133520 140457640158933 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37687296 140737163690385 140737163690538 140737163690538 140737163694031 0
[pid=22137/tid=22142] ppid=22134 vsize=10484492 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22137/task/22142/stat : 22142 (java) S 22134 22137 7968 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 14 0 17207138 10736119808 5889 18446744073709551615 4194304 4196468 140737163686384 140457579080464 140457640158933 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37687296 140737163690385 140737163690538 140737163690538 140737163694031 0
[pid=22137/tid=22143] ppid=22134 vsize=10484492 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/22137/task/22143/stat : 22143 (java) S 22134 22137 7968 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 14 0 17207138 10736119808 5889 18446744073709551615 4194304 4196468 140737163686384 140457247894416 140457640158933 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37687296 140737163690385 140737163690538 140737163690538 140737163694031 0
[pid=22137/tid=22144] ppid=22134 vsize=10484492 memory=140655646377600 CPUtime=0 cores=1,3,5,7
/proc/22137/task/22144/stat : 22144 (java) S 22134 22137 7968 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 14 0 17207139 10736119808 5889 18446744073709551615 4194304 4196468 140737163686384 140457136625904 140457640159874 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37687296 140737163690385 140737163690538 140737163690538 140737163694031 0
[pid=22137/tid=22145] ppid=22134 vsize=10484492 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/22137/task/22145/stat : 22145 (java) S 22134 22137 7968 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 14 0 17207140 10736119808 5889 18446744073709551615 4194304 4196468 140737163686384 140457135572128 140457640158933 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37687296 140737163690385 140737163690538 140737163690538 140737163694031 0
[pid=22137/tid=22146] ppid=22134 vsize=10484492 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22137/task/22146/stat : 22146 (java) S 22134 22137 7968 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 14 0 17207140 10736119808 5889 18446744073709551615 4194304 4196468 140737163686384 140457134519024 140457640158933 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37687296 140737163690385 140737163690538 140737163690538 140737163694031 0
[pid=22137/tid=22147] ppid=22134 vsize=10484492 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22137/task/22147/stat : 22147 (java) S 22134 22137 7968 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 14 0 17207142 10736119808 5889 18446744073709551615 4194304 4196468 140737163686384 140457133467600 140457640167323 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37687296 140737163690385 140737163690538 140737163690538 140737163694031 0
[pid=22137/tid=22148] ppid=22134 vsize=10484492 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22137/task/22148/stat : 22148 (java) S 22134 22137 7968 0 -1 1077944384 309 0 0 0 0 0 0 0 20 0 14 0 17207142 10736119808 5889 18446744073709551615 4194304 4196468 140737163686384 140457132415728 140457640159874 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37687296 140737163690385 140737163690538 140737163690538 140737163694031 0
[pid=22137/tid=22149] ppid=22134 vsize=10484492 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/22137/task/22149/stat : 22149 (java) S 22134 22137 7968 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 14 0 17207142 10736119808 5889 18446744073709551615 4194304 4196468 140737163686384 140457131363184 140457640159874 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37687296 140737163690385 140737163690538 140737163690538 140737163694031 0
[pid=22137/tid=22150] ppid=22134 vsize=10484492 memory=140655646377600 CPUtime=0 cores=1,3,5,7
/proc/22137/task/22150/stat : 22150 (java) S 22134 22137 7968 0 -1 1077944384 210 0 0 0 0 0 0 0 20 0 14 0 17207142 10736119808 5889 18446744073709551615 4194304 4196468 140737163686384 140457130310128 140457640159874 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37687296 140737163690385 140737163690538 140737163690538 140737163694031 0
[pid=22137/tid=22151] ppid=22134 vsize=10484492 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/22137/task/22151/stat : 22151 (java) S 22134 22137 7968 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 14 0 17207143 10736119808 5889 18446744073709551615 4194304 4196468 140737163686384 140457129257824 140457640158933 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37687296 140737163690385 140737163690538 140737163690538 140737163694031 0
Current children cumulated CPU time: 0.05 s
Current children cumulated vsize: 10484492 KiB
Current children cumulated memory: 23556 KiB
[startup+0.310751 s]*
/proc/loadavg: 1.92 2.04 2.06 4/211 22152
/proc/meminfo: memFree=30286148/32770624 swapFree=67108860/67108860
[pid=22137] ppid=22134 vsize=10551156 memory=30576 CPUtime=0.15 cores=1,3,5,7
/proc/22137/stat : 22137 (java) S 22134 22137 7968 0 -1 1077944320 7910 0 0 0 13 2 0 0 20 0 15 0 17207128 10804383744 7644 18446744073709551615 4194304 4196468 140737163686384 140737163668928 140457640148727 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 9 0 0 6293624 6294260 37687296 140737163690385 140737163690538 140737163690538 140737163694031 0
/proc/22137/statm: 2637789 7644 2792 1 0 2627261 0
[pid=22137/tid=22139] ppid=22134 vsize=10551156 memory=-8774313645642428999 CPUtime=0.11 cores=1,3,5,7
/proc/22137/task/22139/stat : 22139 (java) R 22134 22137 7968 0 -1 4202560 5736 0 0 0 9 2 0 0 20 0 15 0 17207137 10804383744 7644 18446744073709551615 4194304 4196468 140737163686384 140457644359904 140457624229214 0 4 1 16800974 0 0 0 -1 3 0 0 9 0 0 6293624 6294260 37687296 140737163690385 140737163690538 140737163690538 140737163694031 0
[pid=22137/tid=22140] ppid=22134 vsize=10551156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22137/task/22140/stat : 22140 (java) S 22134 22137 7968 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 17207138 10804383744 7644 18446744073709551615 4194304 4196468 140737163686384 140457581186064 140457640158933 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37687296 140737163690385 140737163690538 140737163690538 140737163694031 0
[pid=22137/tid=22141] ppid=22134 vsize=10551156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22137/task/22141/stat : 22141 (java) S 22134 22137 7968 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 17207138 10804383744 7644 18446744073709551615 4194304 4196468 140737163686384 140457580133520 140457640158933 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37687296 140737163690385 140737163690538 140737163690538 140737163694031 0
[pid=22137/tid=22142] ppid=22134 vsize=10551156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22137/task/22142/stat : 22142 (java) S 22134 22137 7968 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 17207138 10804383744 7644 18446744073709551615 4194304 4196468 140737163686384 140457579080464 140457640158933 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37687296 140737163690385 140737163690538 140737163690538 140737163694031 0
[pid=22137/tid=22143] ppid=22134 vsize=10551156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22137/task/22143/stat : 22143 (java) S 22134 22137 7968 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 17207138 10804383744 7644 18446744073709551615 4194304 4196468 140737163686384 140457247894416 140457640158933 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37687296 140737163690385 140737163690538 140737163690538 140737163694031 0
[pid=22137/tid=22144] ppid=22134 vsize=10551156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22137/task/22144/stat : 22144 (java) S 22134 22137 7968 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 17207139 10804383744 7644 18446744073709551615 4194304 4196468 140737163686384 140457136625904 140457640159874 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37687296 140737163690385 140737163690538 140737163690538 140737163694031 0
[pid=22137/tid=22145] ppid=22134 vsize=10551156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22137/task/22145/stat : 22145 (java) S 22134 22137 7968 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 17207140 10804383744 7644 18446744073709551615 4194304 4196468 140737163686384 140457135572128 140457640158933 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37687296 140737163690385 140737163690538 140737163690538 140737163694031 0
[pid=22137/tid=22146] ppid=22134 vsize=10551156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22137/task/22146/stat : 22146 (java) S 22134 22137 7968 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 17207140 10804383744 7644 18446744073709551615 4194304 4196468 140737163686384 140457134519024 140457640158933 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37687296 140737163690385 140737163690538 140737163690538 140737163694031 0
[pid=22137/tid=22147] ppid=22134 vsize=10551156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22137/task/22147/stat : 22147 (java) S 22134 22137 7968 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 17207142 10804383744 7644 18446744073709551615 4194304 4196468 140737163686384 140457133467600 140457640167323 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37687296 140737163690385 140737163690538 140737163690538 140737163694031 0
[pid=22137/tid=22148] ppid=22134 vsize=10551156 memory=140655548708992 CPUtime=0 cores=1,3,5,7
/proc/22137/task/22148/stat : 22148 (java) R 22134 22137 7968 0 -1 4202560 446 0 0 0 0 0 0 0 20 0 15 0 17207142 10804383744 7644 18446744073709551615 4194304 4196468 140737163686384 140457132415728 140457623584465 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 37687296 140737163690385 140737163690538 140737163690538 140737163694031 0
[pid=22137/tid=22149] ppid=22134 vsize=10551156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22137/task/22149/stat : 22149 (java) R 22134 22137 7968 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 17207142 10804383744 7644 18446744073709551615 4194304 4196468 140737163686384 140457131363184 140457640159874 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 37687296 140737163690385 140737163690538 140737163690538 140737163694031 0
[pid=22137/tid=22150] ppid=22134 vsize=10551156 memory=140655646377600 CPUtime=0.02 cores=1,3,5,7
/proc/22137/task/22150/stat : 22150 (java) R 22134 22137 7968 0 -1 4202560 358 0 0 0 2 0 0 0 20 0 15 0 17207142 10804383744 7644 18446744073709551615 4194304 4196468 140737163686384 140457130310128 140457618775315 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 37687296 140737163690385 140737163690538 140737163690538 140737163694031 0
[pid=22137/tid=22151] ppid=22134 vsize=10551156 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/22137/task/22151/stat : 22151 (java) S 22134 22137 7968 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 17207143 10804383744 7644 18446744073709551615 4194304 4196468 140737163686384 140457129257824 140457640158933 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37687296 140737163690385 140737163690538 140737163690538 140737163694031 0
[pid=22137/tid=22152] ppid=22134 vsize=10551156 memory=140655646377600 CPUtime=0 cores=1,3,5,7
/proc/22137/task/22152/stat : 22152 (java) S 22134 22137 7968 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 17207153 10804383744 7644 18446744073709551615 4194304 4196468 140737163686384 140457128204848 140457640159874 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37687296 140737163690385 140737163690538 140737163690538 140737163694031 0
Current children cumulated CPU time: 0.15 s
Current children cumulated vsize: 10551156 KiB
Current children cumulated memory: 30576 KiB
[startup+0.701618 s]
/proc/loadavg: 1.92 2.04 2.06 6/211 22152
/proc/meminfo: memFree=30274428/32770624 swapFree=67108860/67108860
[pid=22137] ppid=22134 vsize=10551232 memory=80092 CPUtime=1.14 cores=1,3,5,7
/proc/22137/stat : 22137 (java) S 22134 22137 7968 0 -1 1077944320 12767 0 0 0 110 4 0 0 20 0 15 0 17207128 10804461568 20023 18446744073709551615 4194304 4196468 140737163686384 140737163668928 140457640148727 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 9 0 0 6293624 6294260 37687296 140737163690385 140737163690538 140737163690538 140737163694031 0
/proc/22137/statm: 2637808 20023 3051 1 0 2627261 0
[pid=22137/tid=22139] ppid=22134 vsize=10551232 memory=75 CPUtime=0.48 cores=1,3,5,7
/proc/22137/task/22139/stat : 22139 (java) R 22134 22137 7968 0 -1 4202560 7417 0 0 0 45 3 0 0 20 0 15 0 17207137 10804461568 20023 18446744073709551615 4194304 4196468 140737163686384 140457644382536 140457622096395 0 4 1 16800974 0 0 0 -1 7 0 0 9 0 0 6293624 6294260 37687296 140737163690385 140737163690538 140737163690538 140737163694031 0
[pid=22137/tid=22140] ppid=22134 vsize=10551232 memory=67 CPUtime=0 cores=1,3,5,7
/proc/22137/task/22140/stat : 22140 (java) S 22134 22137 7968 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 17207138 10804461568 20023 18446744073709551615 4194304 4196468 140737163686384 140457581186064 140457640158933 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37687296 140737163690385 140737163690538 140737163690538 140737163694031 0
[pid=22137/tid=22141] ppid=22134 vsize=10551232 memory=89 CPUtime=0 cores=1,3,5,7
/proc/22137/task/22141/stat : 22141 (java) S 22134 22137 7968 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 17207138 10804461568 20023 18446744073709551615 4194304 4196468 140737163686384 140457580133520 140457640158933 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37687296 140737163690385 140737163690538 140737163690538 140737163694031 0
[pid=22137/tid=22142] ppid=22134 vsize=10551232 memory=11 CPUtime=0 cores=1,3,5,7
/proc/22137/task/22142/stat : 22142 (java) S 22134 22137 7968 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 17207138 10804461568 20023 18446744073709551615 4194304 4196468 140737163686384 140457579080464 140457640158933 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37687296 140737163690385 140737163690538 140737163690538 140737163694031 0
[pid=22137/tid=22143] ppid=22134 vsize=10551232 memory=2 CPUtime=0 cores=1,3,5,7
/proc/22137/task/22143/stat : 22143 (java) S 22134 22137 7968 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 17207138 10804461568 20023 18446744073709551615 4194304 4196468 140737163686384 140457247894416 140457640158933 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37687296 140737163690385 140737163690538 140737163690538 140737163694031 0
[pid=22137/tid=22144] ppid=22134 vsize=10551232 memory=1732 CPUtime=0 cores=1,3,5,7
/proc/22137/task/22144/stat : 22144 (java) S 22134 22137 7968 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 17207139 10804461568 20023 18446744073709551615 4194304 4196468 140737163686384 140457136625904 140457640159874 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37687296 140737163690385 140737163690538 140737163690538 140737163694031 0
[pid=22137/tid=22145] ppid=22134 vsize=10551232 memory=2241 CPUtime=0 cores=1,3,5,7
/proc/22137/task/22145/stat : 22145 (java) S 22134 22137 7968 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 17207140 10804461568 20023 18446744073709551615 4194304 4196468 140737163686384 140457135572128 140457640158933 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37687296 140737163690385 140737163690538 140737163690538 140737163694031 0
[pid=22137/tid=22146] ppid=22134 vsize=10551232 memory=2244 CPUtime=0 cores=1,3,5,7
/proc/22137/task/22146/stat : 22146 (java) S 22134 22137 7968 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 17207140 10804461568 20023 18446744073709551615 4194304 4196468 140737163686384 140457134519024 140457640158933 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37687296 140737163690385 140737163690538 140737163690538 140737163694031 0
[pid=22137/tid=22147] ppid=22134 vsize=10551232 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22137/task/22147/stat : 22147 (java) S 22134 22137 7968 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 17207142 10804461568 20023 18446744073709551615 4194304 4196468 140737163686384 140457133467600 140457640167323 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37687296 140737163690385 140737163690538 140737163690538 140737163694031 0
[pid=22137/tid=22148] ppid=22134 vsize=10551232 memory=140655548559984 CPUtime=0.21 cores=1,3,5,7
/proc/22137/task/22148/stat : 22148 (java) R 22134 22137 7968 0 -1 4202560 1579 0 0 0 21 0 0 0 20 0 15 0 17207142 10804461568 20023 18446744073709551615 4194304 4196468 140737163686384 140457132402576 140457621455233 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 37687296 140737163690385 140737163690538 140737163690538 140737163694031 0
[pid=22137/tid=22149] ppid=22134 vsize=10551232 memory=140655548560080 CPUtime=0.2 cores=1,3,5,7
/proc/22137/task/22149/stat : 22149 (java) R 22134 22137 7968 0 -1 4202560 1087 0 0 0 20 0 0 0 20 0 15 0 17207142 10804461568 20023 18446744073709551615 4194304 4196468 140737163686384 140457131352176 140457620850371 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 37687296 140737163690385 140737163690538 140737163690538 140737163694031 0
[pid=22137/tid=22150] ppid=22134 vsize=10551232 memory=46224 CPUtime=0.22 cores=1,3,5,7
/proc/22137/task/22150/stat : 22150 (java) S 22134 22137 7968 0 -1 1077944384 1314 0 0 0 22 0 0 0 20 0 15 0 17207142 10804461568 20023 18446744073709551615 4194304 4196468 140737163686384 140457130310128 140457640159874 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37687296 140737163690385 140737163690538 140737163690538 140737163694031 0
[pid=22137/tid=22151] ppid=22134 vsize=10551232 memory=-8774313645642428999 CPUtime=0 cores=1,3,5,7
/proc/22137/task/22151/stat : 22151 (java) S 22134 22137 7968 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 17207143 10804461568 20023 18446744073709551615 4194304 4196468 140737163686384 140457129257824 140457640158933 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37687296 140737163690385 140737163690538 140737163690538 140737163694031 0
[pid=22137/tid=22152] ppid=22134 vsize=10551232 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22137/task/22152/stat : 22152 (java) S 22134 22137 7968 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 17207153 10804461568 20023 18446744073709551615 4194304 4196468 140737163686384 140457128204848 140457640159874 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37687296 140737163690385 140737163690538 140737163690538 140737163694031 0
Current children cumulated CPU time: 1.14 s
Current children cumulated vsize: 10551232 KiB
Current children cumulated memory: 80092 KiB
[startup+1.50162 s]
/proc/loadavg: 1.92 2.04 2.06 5/211 22152
/proc/meminfo: memFree=30167592/32770624 swapFree=67108860/67108860
[pid=22137] ppid=22134 vsize=10551232 memory=273208 CPUtime=3.66 cores=1,3,5,7
/proc/22137/stat : 22137 (java) S 22134 22137 7968 0 -1 1077944320 19282 0 0 0 351 15 0 0 20 0 15 0 17207128 10804461568 68302 18446744073709551615 4194304 4196468 140737163686384 140737163668928 140457640148727 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 9 0 0 6293624 6294260 37687296 140737163690385 140737163690538 140737163690538 140737163694031 0
/proc/22137/statm: 2637808 68302 3101 1 0 2627261 0
[pid=22137/tid=22139] ppid=22134 vsize=10551232 memory=75 CPUtime=1.19 cores=1,3,5,7
/proc/22137/task/22139/stat : 22139 (java) R 22134 22137 7968 0 -1 4202560 7510 0 0 0 115 4 0 0 20 0 15 0 17207137 10804461568 68302 18446744073709551615 4194304 4196468 140737163686384 140457644376104 140457261162939 0 4 1 16800974 0 0 0 -1 7 0 0 9 0 0 6293624 6294260 37687296 140737163690385 140737163690538 140737163690538 140737163694031 0
[pid=22137/tid=22140] ppid=22134 vsize=10551232 memory=67 CPUtime=0.06 cores=1,3,5,7
/proc/22137/task/22140/stat : 22140 (java) S 22134 22137 7968 0 -1 1077944384 117 0 0 0 4 2 0 0 20 0 15 0 17207138 10804461568 68302 18446744073709551615 4194304 4196468 140737163686384 140457581186064 140457640158933 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37687296 140737163690385 140737163690538 140737163690538 140737163694031 0
[pid=22137/tid=22141] ppid=22134 vsize=10551232 memory=89 CPUtime=0.08 cores=1,3,5,7
/proc/22137/task/22141/stat : 22141 (java) S 22134 22137 7968 0 -1 1077944384 56 0 0 0 6 2 0 0 20 0 15 0 17207138 10804461568 68302 18446744073709551615 4194304 4196468 140737163686384 140457580133520 140457640158933 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37687296 140737163690385 140737163690538 140737163690538 140737163694031 0
[pid=22137/tid=22142] ppid=22134 vsize=10551232 memory=11 CPUtime=0.06 cores=1,3,5,7
/proc/22137/task/22142/stat : 22142 (java) S 22134 22137 7968 0 -1 1077944384 118 0 0 0 4 2 0 0 20 0 15 0 17207138 10804461568 68302 18446744073709551615 4194304 4196468 140737163686384 140457579080464 140457640158933 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37687296 140737163690385 140737163690538 140737163690538 140737163694031 0
[pid=22137/tid=22143] ppid=22134 vsize=10551232 memory=2 CPUtime=0.08 cores=1,3,5,7
/proc/22137/task/22143/stat : 22143 (java) S 22134 22137 7968 0 -1 1077944384 149 0 0 0 6 2 0 0 20 0 15 0 17207138 10804461568 68302 18446744073709551615 4194304 4196468 140737163686384 140457247894416 140457640158933 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37687296 140737163690385 140737163690538 140737163690538 140737163694031 0
[pid=22137/tid=22144] ppid=22134 vsize=10551232 memory=-8774313645642428999 CPUtime=0 cores=1,3,5,7
/proc/22137/task/22144/stat : 22144 (java) S 22134 22137 7968 0 -1 1077944384 83 0 0 0 0 0 0 0 20 0 15 0 17207139 10804461568 68302 18446744073709551615 4194304 4196468 140737163686384 140457136625904 140457640159874 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37687296 140737163690385 140737163690538 140737163690538 140737163694031 0
[pid=22137/tid=22145] ppid=22134 vsize=10551232 memory=840 CPUtime=0 cores=1,3,5,7
/proc/22137/task/22145/stat : 22145 (java) S 22134 22137 7968 0 -1 1077944384 35 0 0 0 0 0 0 0 20 0 15 0 17207140 10804461568 68302 18446744073709551615 4194304 4196468 140737163686384 140457135572128 140457640158933 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37687296 140737163690385 140737163690538 140737163690538 140737163694031 0
[pid=22137/tid=22146] ppid=22134 vsize=10551232 memory=7595436686006905152 CPUtime=0 cores=1,3,5,7
/proc/22137/task/22146/stat : 22146 (java) S 22134 22137 7968 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 15 0 17207140 10804461568 68302 18446744073709551615 4194304 4196468 140737163686384 140457134519024 140457640158933 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37687296 140737163690385 140737163690538 140737163690538 140737163694031 0
[pid=22137/tid=22147] ppid=22134 vsize=10551232 memory=6225786020498598500 CPUtime=0 cores=1,3,5,7
/proc/22137/task/22147/stat : 22147 (java) S 22134 22137 7968 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 17207142 10804461568 68302 18446744073709551615 4194304 4196468 140737163686384 140457133467600 140457640167323 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37687296 140737163690385 140737163690538 140737163690538 140737163694031 0
[pid=22137/tid=22148] ppid=22134 vsize=10551232 memory=6225786020498598500 CPUtime=0.91 cores=1,3,5,7
/proc/22137/task/22148/stat : 22148 (java) R 22134 22137 7968 0 -1 4202560 3590 0 0 0 91 0 0 0 20 0 15 0 17207142 10804461568 68302 18446744073709551615 4194304 4196468 140737163686384 140457132401824 140457617743764 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 37687296 140737163690385 140737163690538 140737163690538 140737163694031 0
[pid=22137/tid=22149] ppid=22134 vsize=10551232 memory=8028063536048007271 CPUtime=0.92 cores=1,3,5,7
/proc/22137/task/22149/stat : 22149 (java) R 22134 22137 7968 0 -1 4202560 4168 0 0 0 92 0 0 0 20 0 15 0 17207142 10804461568 68302 18446744073709551615 4194304 4196468 140737163686384 140457131342360 140457623645511 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 37687296 140737163690385 140737163690538 140737163690538 140737163694031 0
[pid=22137/tid=22150] ppid=22134 vsize=10551232 memory=7595436686006905152 CPUtime=0.29 cores=1,3,5,7
/proc/22137/task/22150/stat : 22150 (java) S 22134 22137 7968 0 -1 1077944384 2126 0 0 0 29 0 0 0 20 0 15 0 17207142 10804461568 68302 18446744073709551615 4194304 4196468 140737163686384 140457130310128 140457640159874 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37687296 140737163690385 140737163690538 140737163690538 140737163694031 0
[pid=22137/tid=22151] ppid=22134 vsize=10551232 memory=7595436686006905152 CPUtime=0 cores=1,3,5,7
/proc/22137/task/22151/stat : 22151 (java) S 22134 22137 7968 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 17207143 10804461568 68302 18446744073709551615 4194304 4196468 140737163686384 140457129257824 140457640158933 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37687296 140737163690385 140737163690538 140737163690538 140737163694031 0
[pid=22137/tid=22152] ppid=22134 vsize=10551232 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22137/task/22152/stat : 22152 (java) S 22134 22137 7968 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 17207153 10804461568 68302 18446744073709551615 4194304 4196468 140737163686384 140457128204848 140457640159874 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37687296 140737163690385 140737163690538 140737163690538 140737163694031 0
Current children cumulated CPU time: 3.66 s
Current children cumulated vsize: 10551232 KiB
Current children cumulated memory: 273208 KiB
################
# More data... #
################
/proc/22137/task/22141/stat : 22141 (java) S 22134 22137 7968 0 -1 1077944384 15243 0 0 0 1278 102 0 0 20 0 16 0 17207138 10872623104 1285262 18446744073709551615 4194304 4196468 140737163686384 140457580133520 140457640158933 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37687296 140737163690385 140737163690538 140737163690538 140737163694031 0
[pid=22137/tid=22142] ppid=22134 vsize=10617796 memory=5141048 CPUtime=13.6 cores=1,3,5,7
/proc/22137/task/22142/stat : 22142 (java) S 22134 22137 7968 0 -1 1077944384 11832 0 0 0 1260 100 0 0 20 0 16 0 17207138 10872623104 1285262 18446744073709551615 4194304 4196468 140737163686384 140457579080464 140457640158933 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37687296 140737163690385 140737163690538 140737163690538 140737163694031 0
[pid=22137/tid=22143] ppid=22134 vsize=10617796 memory=5141048 CPUtime=13.79 cores=1,3,5,7
/proc/22137/task/22143/stat : 22143 (java) S 22134 22137 7968 0 -1 1077944384 15888 0 0 0 1275 104 0 0 20 0 16 0 17207138 10872623104 1285262 18446744073709551615 4194304 4196468 140737163686384 140457247894416 140457640158933 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37687296 140737163690385 140737163690538 140737163690538 140737163694031 0
[pid=22137/tid=22144] ppid=22134 vsize=10617796 memory=5141048 CPUtime=3.59 cores=1,3,5,7
/proc/22137/task/22144/stat : 22144 (java) S 22134 22137 7968 0 -1 1077944384 18371 0 0 0 355 4 0 0 20 0 16 0 17207139 10872623104 1285262 18446744073709551615 4194304 4196468 140737163686384 140457136625904 140457640159874 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37687296 140737163690385 140737163690538 140737163690538 140737163694031 0
[pid=22137/tid=22145] ppid=22134 vsize=10617796 memory=5141048 CPUtime=0 cores=1,3,5,7
/proc/22137/task/22145/stat : 22145 (java) S 22134 22137 7968 0 -1 1077944384 37 0 0 0 0 0 0 0 20 0 16 0 17207140 10872623104 1285262 18446744073709551615 4194304 4196468 140737163686384 140457135572192 140457640158933 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37687296 140737163690385 140737163690538 140737163690538 140737163694031 0
[pid=22137/tid=22146] ppid=22134 vsize=10617796 memory=5141048 CPUtime=0 cores=1,3,5,7
/proc/22137/task/22146/stat : 22146 (java) S 22134 22137 7968 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 16 0 17207140 10872623104 1285262 18446744073709551615 4194304 4196468 140737163686384 140457134519040 140457640158933 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37687296 140737163690385 140737163690538 140737163690538 140737163694031 0
[pid=22137/tid=22147] ppid=22134 vsize=10617796 memory=5141048 CPUtime=0 cores=1,3,5,7
/proc/22137/task/22147/stat : 22147 (java) S 22134 22137 7968 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 17207142 10872623104 1285262 18446744073709551615 4194304 4196468 140737163686384 140457133467600 140457640167323 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37687296 140737163690385 140737163690538 140737163690538 140737163694031 0
[pid=22137/tid=22148] ppid=22134 vsize=10617796 memory=5141048 CPUtime=2.03 cores=1,3,5,7
/proc/22137/task/22148/stat : 22148 (java) S 22134 22137 7968 0 -1 1077944384 7824 0 0 0 202 1 0 0 20 0 16 0 17207142 10872623104 1285262 18446744073709551615 4194304 4196468 140737163686384 140457132415728 140457640159874 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37687296 140737163690385 140737163690538 140737163690538 140737163694031 0
[pid=22137/tid=22149] ppid=22134 vsize=10617796 memory=5141048 CPUtime=1.87 cores=1,3,5,7
/proc/22137/task/22149/stat : 22149 (java) S 22134 22137 7968 0 -1 1077944384 7135 0 0 0 185 2 0 0 20 0 16 0 17207142 10872623104 1285262 18446744073709551615 4194304 4196468 140737163686384 140457131363184 140457640159874 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37687296 140737163690385 140737163690538 140737163690538 140737163694031 0
[pid=22137/tid=22150] ppid=22134 vsize=10617796 memory=2164 CPUtime=0.43 cores=1,3,5,7
/proc/22137/task/22150/stat : 22150 (java) S 22134 22137 7968 0 -1 1077944384 4934 0 0 0 42 1 0 0 20 0 16 0 17207142 10872623104 1285262 18446744073709551615 4194304 4196468 140737163686384 140457130310128 140457640159874 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37687296 140737163690385 140737163690538 140737163690538 140737163694031 0
[pid=22137/tid=22151] ppid=22134 vsize=10617796 memory=5141048 CPUtime=0 cores=1,3,5,7
/proc/22137/task/22151/stat : 22151 (java) S 22134 22137 7968 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 17207143 10872623104 1285262 18446744073709551615 4194304 4196468 140737163686384 140457129257824 140457640158933 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37687296 140737163690385 140737163690538 140737163690538 140737163694031 0
[pid=22137/tid=22152] ppid=22134 vsize=10617796 memory=5141048 CPUtime=1.44 cores=1,3,5,7
/proc/22137/task/22152/stat : 22152 (java) S 22134 22137 7968 0 -1 1077944384 2661 0 0 0 65 79 0 0 20 0 16 0 17207153 10872623104 1285262 18446744073709551615 4194304 4196468 140737163686384 140457128204848 140457640159874 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37687296 140737163690385 140737163690538 140737163690538 140737163694031 0
[pid=22137/tid=22154] ppid=22134 vsize=10617796 memory=5141048 CPUtime=0 cores=1,3,5,7
/proc/22137/task/22154/stat : 22154 (java) S 22134 22137 7968 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 16 0 17208692 10872623104 1285262 18446744073709551615 4194304 4196468 140737163686384 140457127150640 140457640159874 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37687296 140737163690385 140737163690538 140737163690538 140737163694031 0
Current children cumulated CPU time: 2488.81 s
Current children cumulated vsize: 10617796 KiB
Current children cumulated memory: 5141048 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2473.5 s]
/proc/loadavg: 2.16 2.82 2.73 3/213 22671
/proc/meminfo: memFree=23366608/32770624 swapFree=67108860/67108860
[pid=22137] ppid=22134 vsize=10617796 memory=5141048 CPUtime=2520.03 cores=1,3,5,7
/proc/22137/stat : 22137 (java) S 22134 22137 7968 0 -1 1077944320 354013 0 0 0 251477 526 0 0 20 0 16 0 17207128 10872623104 1285262 18446744073709551615 4194304 4196468 140737163686384 140737163668928 140457640148727 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 9 0 0 6293624 6294260 37687296 140737163690385 140737163690538 140737163690538 140737163694031 0
/proc/22137/statm: 2654449 1285262 3143 1 0 2643902 0
[pid=22137/tid=22139] ppid=22134 vsize=10617796 memory=5141048 CPUtime=2455.72 cores=1,3,5,7
/proc/22137/task/22139/stat : 22139 (java) R 22134 22137 7968 0 -1 4202560 251343 0 0 0 245524 48 0 0 20 0 16 0 17207137 10872623104 1285262 18446744073709551615 4194304 4196468 140737163686384 140457644387680 140457263580396 0 4 1 16800974 0 0 0 -1 3 0 0 9 0 0 6293624 6294260 37687296 140737163690385 140737163690538 140737163690538 140737163694031 0
[pid=22137/tid=22140] ppid=22134 vsize=10617796 memory=5141048 CPUtime=13.65 cores=1,3,5,7
/proc/22137/task/22140/stat : 22140 (java) S 22134 22137 7968 0 -1 1077944384 17314 0 0 0 1270 95 0 0 20 0 16 0 17207138 10872623104 1285262 18446744073709551615 4194304 4196468 140737163686384 140457581186064 140457640158933 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37687296 140737163690385 140737163690538 140737163690538 140737163694031 0
[pid=22137/tid=22141] ppid=22134 vsize=10617796 memory=5141048 CPUtime=13.8 cores=1,3,5,7
/proc/22137/task/22141/stat : 22141 (java) S 22134 22137 7968 0 -1 1077944384 15243 0 0 0 1278 102 0 0 20 0 16 0 17207138 10872623104 1285262 18446744073709551615 4194304 4196468 140737163686384 140457580133520 140457640158933 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37687296 140737163690385 140737163690538 140737163690538 140737163694031 0
[pid=22137/tid=22142] ppid=22134 vsize=10617796 memory=5141048 CPUtime=13.6 cores=1,3,5,7
/proc/22137/task/22142/stat : 22142 (java) S 22134 22137 7968 0 -1 1077944384 11832 0 0 0 1260 100 0 0 20 0 16 0 17207138 10872623104 1285262 18446744073709551615 4194304 4196468 140737163686384 140457579080464 140457640158933 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37687296 140737163690385 140737163690538 140737163690538 140737163694031 0
[pid=22137/tid=22143] ppid=22134 vsize=10617796 memory=5141048 CPUtime=13.79 cores=1,3,5,7
/proc/22137/task/22143/stat : 22143 (java) S 22134 22137 7968 0 -1 1077944384 15888 0 0 0 1275 104 0 0 20 0 16 0 17207138 10872623104 1285262 18446744073709551615 4194304 4196468 140737163686384 140457247894416 140457640158933 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37687296 140737163690385 140737163690538 140737163690538 140737163694031 0
[pid=22137/tid=22144] ppid=22134 vsize=10617796 memory=5141048 CPUtime=3.59 cores=1,3,5,7
/proc/22137/task/22144/stat : 22144 (java) S 22134 22137 7968 0 -1 1077944384 18380 0 0 0 355 4 0 0 20 0 16 0 17207139 10872623104 1285262 18446744073709551615 4194304 4196468 140737163686384 140457136625904 140457640159874 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37687296 140737163690385 140737163690538 140737163690538 140737163694031 0
[pid=22137/tid=22145] ppid=22134 vsize=10617796 memory=5141048 CPUtime=0 cores=1,3,5,7
/proc/22137/task/22145/stat : 22145 (java) S 22134 22137 7968 0 -1 1077944384 37 0 0 0 0 0 0 0 20 0 16 0 17207140 10872623104 1285262 18446744073709551615 4194304 4196468 140737163686384 140457135572192 140457640158933 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37687296 140737163690385 140737163690538 140737163690538 140737163694031 0
[pid=22137/tid=22146] ppid=22134 vsize=10617796 memory=5141048 CPUtime=0 cores=1,3,5,7
/proc/22137/task/22146/stat : 22146 (java) S 22134 22137 7968 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 16 0 17207140 10872623104 1285262 18446744073709551615 4194304 4196468 140737163686384 140457134519040 140457640158933 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37687296 140737163690385 140737163690538 140737163690538 140737163694031 0
[pid=22137/tid=22147] ppid=22134 vsize=10617796 memory=5141048 CPUtime=0 cores=1,3,5,7
/proc/22137/task/22147/stat : 22147 (java) S 22134 22137 7968 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 17207142 10872623104 1285262 18446744073709551615 4194304 4196468 140737163686384 140457133467600 140457640167323 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37687296 140737163690385 140737163690538 140737163690538 140737163694031 0
[pid=22137/tid=22148] ppid=22134 vsize=10617796 memory=-8774313645642428999 CPUtime=2.03 cores=1,3,5,7
/proc/22137/task/22148/stat : 22148 (java) S 22134 22137 7968 0 -1 1077944384 7832 0 0 0 202 1 0 0 20 0 16 0 17207142 10872623104 1285262 18446744073709551615 4194304 4196468 140737163686384 140457132415728 140457640159874 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37687296 140737163690385 140737163690538 140737163690538 140737163694031 0
[pid=22137/tid=22149] ppid=22134 vsize=10617796 memory=13188 CPUtime=1.87 cores=1,3,5,7
/proc/22137/task/22149/stat : 22149 (java) S 22134 22137 7968 0 -1 1077944384 7138 0 0 0 185 2 0 0 20 0 16 0 17207142 10872623104 1285262 18446744073709551615 4194304 4196468 140737163686384 140457131363184 140457640159874 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37687296 140737163690385 140737163690538 140737163690538 140737163694031 0
[pid=22137/tid=22150] ppid=22134 vsize=10617796 memory=928 CPUtime=0.43 cores=1,3,5,7
/proc/22137/task/22150/stat : 22150 (java) S 22134 22137 7968 0 -1 1077944384 4938 0 0 0 42 1 0 0 20 0 16 0 17207142 10872623104 1285262 18446744073709551615 4194304 4196468 140737163686384 140457130310128 140457640159874 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37687296 140737163690385 140737163690538 140737163690538 140737163694031 0
[pid=22137/tid=22151] ppid=22134 vsize=10617796 memory=2164 CPUtime=0 cores=1,3,5,7
/proc/22137/task/22151/stat : 22151 (java) S 22134 22137 7968 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 17207143 10872623104 1285262 18446744073709551615 4194304 4196468 140737163686384 140457129257824 140457640158933 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37687296 140737163690385 140737163690538 140737163690538 140737163694031 0
[pid=22137/tid=22152] ppid=22134 vsize=10617796 memory=5141048 CPUtime=1.47 cores=1,3,5,7
/proc/22137/task/22152/stat : 22152 (java) S 22134 22137 7968 0 -1 1077944384 2698 0 0 0 66 81 0 0 20 0 16 0 17207153 10872623104 1285262 18446744073709551615 4194304 4196468 140737163686384 140457128204848 140457640159874 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37687296 140737163690385 140737163690538 140737163690538 140737163694031 0
[pid=22137/tid=22154] ppid=22134 vsize=10617796 memory=13188 CPUtime=0 cores=1,3,5,7
/proc/22137/task/22154/stat : 22154 (java) S 22134 22137 7968 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 16 0 17208692 10872623104 1285262 18446744073709551615 4194304 4196468 140737163686384 140457127150640 140457640159874 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37687296 140737163690385 140737163690538 140737163690538 140737163694031 0
Current children cumulated CPU time: 2520.03 s
Current children cumulated vsize: 10617796 KiB
Current children cumulated memory: 5141048 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2473.76 s]
# the end of solver process 22137 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2514.84 s, system=5.28738 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2473.61 s]
/proc/loadavg: 2.16 2.82 2.73 3/213 22671
/proc/meminfo: memFree=23366608/32770624 swapFree=67108860/67108860
[pid=22137] ppid=22134 vsize=10817488 memory=5141348 CPUtime=2520.06 cores=1,3,5,7
/proc/22137/stat : 22137 (java) S 22134 22137 7968 0 -1 1077944320 355072 0 0 0 251480 526 0 0 20 0 17 0 17207128 11077107712 1285337 18446744073709551615 4194304 4196468 140737163686384 140737163668928 140457640148727 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 9 0 0 6293624 6294260 37687296 140737163690385 140737163690538 140737163690538 140737163694031 0
/proc/22137/statm: 2704372 1285337 3146 1 0 2693825 0
[pid=22137/tid=22139] ppid=22134 vsize=10817488 memory=140655549568816 CPUtime=2455.75 cores=1,3,5,7
/proc/22137/task/22139/stat : 22139 (java) S 22134 22137 7968 0 -1 1077944384 251422 0 0 0 245527 48 0 0 20 0 17 0 17207137 11077107712 1285337 18446744073709551615 4194304 4196468 140737163686384 140457644391600 140457640158933 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 9 0 0 6293624 6294260 37687296 140737163690385 140737163690538 140737163690538 140737163694031 0
[pid=22137/tid=22140] ppid=22134 vsize=10817488 memory=0 CPUtime=13.65 cores=1,3,5,7
/proc/22137/task/22140/stat : 22140 (java) S 22134 22137 7968 0 -1 1077944384 17314 0 0 0 1270 95 0 0 20 0 17 0 17207138 11077107712 1285337 18446744073709551615 4194304 4196468 140737163686384 140457581186064 140457640158933 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37687296 140737163690385 140737163690538 140737163690538 140737163694031 0
[pid=22137/tid=22141] ppid=22134 vsize=10817488 memory=143 CPUtime=13.8 cores=1,3,5,7
/proc/22137/task/22141/stat : 22141 (java) S 22134 22137 7968 0 -1 1077944384 15243 0 0 0 1278 102 0 0 20 0 17 0 17207138 11077107712 1285337 18446744073709551615 4194304 4196468 140737163686384 140457580133520 140457640158933 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37687296 140737163690385 140737163690538 140737163690538 140737163694031 0
[pid=22137/tid=22142] ppid=22134 vsize=10817488 memory=111 CPUtime=13.6 cores=1,3,5,7
/proc/22137/task/22142/stat : 22142 (java) S 22134 22137 7968 0 -1 1077944384 11832 0 0 0 1260 100 0 0 20 0 17 0 17207138 11077107712 1285337 18446744073709551615 4194304 4196468 140737163686384 140457579080464 140457640158933 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37687296 140737163690385 140737163690538 140737163690538 140737163694031 0
[pid=22137/tid=22143] ppid=22134 vsize=10817488 memory=15872 CPUtime=13.79 cores=1,3,5,7
/proc/22137/task/22143/stat : 22143 (java) S 22134 22137 7968 0 -1 1077944384 15888 0 0 0 1275 104 0 0 20 0 17 0 17207138 11077107712 1285337 18446744073709551615 4194304 4196468 140737163686384 140457247894416 140457640158933 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37687296 140737163690385 140737163690538 140737163690538 140737163694031 0
[pid=22137/tid=22144] ppid=22134 vsize=10817488 memory=4040 CPUtime=3.59 cores=1,3,5,7
/proc/22137/task/22144/stat : 22144 (java) S 22134 22137 7968 0 -1 1077944384 18410 0 0 0 355 4 0 0 20 0 17 0 17207139 11077107712 1285337 18446744073709551615 4194304 4196468 140737163686384 140457136625904 140457640159874 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37687296 140737163690385 140737163690538 140737163690538 140737163694031 0
[pid=22137/tid=22145] ppid=22134 vsize=10817488 memory=16444 CPUtime=0 cores=1,3,5,7
/proc/22137/task/22145/stat : 22145 (java) S 22134 22137 7968 0 -1 1077944384 37 0 0 0 0 0 0 0 20 0 17 0 17207140 11077107712 1285337 18446744073709551615 4194304 4196468 140737163686384 140457135572192 140457640158933 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37687296 140737163690385 140737163690538 140737163690538 140737163694031 0
[pid=22137/tid=22146] ppid=22134 vsize=10817488 memory=5141048 CPUtime=0 cores=1,3,5,7
/proc/22137/task/22146/stat : 22146 (java) S 22134 22137 7968 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 17 0 17207140 11077107712 1285337 18446744073709551615 4194304 4196468 140737163686384 140457134519040 140457640158933 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37687296 140737163690385 140737163690538 140737163690538 140737163694031 0
[pid=22137/tid=22147] ppid=22134 vsize=10817488 memory=8684 CPUtime=0 cores=1,3,5,7
/proc/22137/task/22147/stat : 22147 (java) S 22134 22137 7968 0 -1 1077944384 229 0 0 0 0 0 0 0 20 0 17 0 17207142 11077107712 1285337 18446744073709551615 4194304 4196468 140737163686384 140457133467600 140457640167323 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37687296 140737163690385 140737163690538 140737163690538 140737163694031 0
[pid=22137/tid=22148] ppid=22134 vsize=10817488 memory=1440 CPUtime=2.03 cores=1,3,5,7
/proc/22137/task/22148/stat : 22148 (java) S 22134 22137 7968 0 -1 1077944384 7832 0 0 0 202 1 0 0 20 0 17 0 17207142 11077107712 1285337 18446744073709551615 4194304 4196468 140737163686384 140457132415728 140457640159874 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37687296 140737163690385 140737163690538 140737163690538 140737163694031 0
[pid=22137/tid=22149] ppid=22134 vsize=10817488 memory=288230574492221466 CPUtime=1.87 cores=1,3,5,7
/proc/22137/task/22149/stat : 22149 (java) S 22134 22137 7968 0 -1 1077944384 7138 0 0 0 185 2 0 0 20 0 17 0 17207142 11077107712 1285337 18446744073709551615 4194304 4196468 140737163686384 140457131363184 140457640159874 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37687296 140737163690385 140737163690538 140737163690538 140737163694031 0
[pid=22137/tid=22150] ppid=22134 vsize=10817488 memory=288230613214036277 CPUtime=0.43 cores=1,3,5,7
/proc/22137/task/22150/stat : 22150 (java) S 22134 22137 7968 0 -1 1077944384 5297 0 0 0 42 1 0 0 20 0 17 0 17207142 11077107712 1285337 18446744073709551615 4194304 4196468 140737163686384 140457130310128 140457640159874 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37687296 140737163690385 140737163690538 140737163690538 140737163694031 0
[pid=22137/tid=22151] ppid=22134 vsize=10817488 memory=15816711811106768 CPUtime=0 cores=1,3,5,7
/proc/22137/task/22151/stat : 22151 (java) S 22134 22137 7968 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 17 0 17207143 11077107712 1285337 18446744073709551615 4194304 4196468 140737163686384 140457129257824 140457640158933 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37687296 140737163690385 140737163690538 140737163690538 140737163694031 0
[pid=22137/tid=22152] ppid=22134 vsize=10817488 memory=5141048 CPUtime=1.47 cores=1,3,5,7
/proc/22137/task/22152/stat : 22152 (java) S 22134 22137 7968 0 -1 1077944384 2698 0 0 0 66 81 0 0 20 0 17 0 17207153 11077107712 1285337 18446744073709551615 4194304 4196468 140737163686384 140457128204848 140457640159874 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37687296 140737163690385 140737163690538 140737163690538 140737163694031 0
Current children cumulated CPU time: 2520.06 s
Current children cumulated vsize: 10817488 KiB
Current children cumulated memory: 5141348 KiB
[startup+2473.7 s]
/proc/loadavg: 2.16 2.82 2.73 3/213 22671
/proc/meminfo: memFree=23366608/32770624 swapFree=67108860/67108860
[pid=22137] ppid=22134 vsize=10817488 memory=5141348 CPUtime=2520.06 cores=1,3,5,7
/proc/22137/stat : 22137 (java) S 22134 22137 7968 0 -1 1077944320 355072 0 0 0 251480 526 0 0 20 0 17 0 17207128 11077107712 1285337 18446744073709551615 4194304 4196468 140737163686384 140737163668928 140457640148727 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 9 0 0 6293624 6294260 37687296 140737163690385 140737163690538 140737163690538 140737163694031 0
/proc/22137/statm: 2704372 1285337 3146 1 0 2693825 0
[pid=22137/tid=22139] ppid=22134 vsize=10817488 memory=5141048 CPUtime=2455.75 cores=1,3,5,7
/proc/22137/task/22139/stat : 22139 (java) S 22134 22137 7968 0 -1 1077944384 251422 0 0 0 245527 48 0 0 20 0 17 0 17207137 11077107712 1285337 18446744073709551615 4194304 4196468 140737163686384 140457644391600 140457640158933 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 9 0 0 6293624 6294260 37687296 140737163690385 140737163690538 140737163690538 140737163694031 0
[pid=22137/tid=22140] ppid=22134 vsize=10817488 memory=5141048 CPUtime=13.65 cores=1,3,5,7
/proc/22137/task/22140/stat : 22140 (java) S 22134 22137 7968 0 -1 1077944384 17314 0 0 0 1270 95 0 0 20 0 17 0 17207138 11077107712 1285337 18446744073709551615 4194304 4196468 140737163686384 140457581186064 140457640158933 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37687296 140737163690385 140737163690538 140737163690538 140737163694031 0
[pid=22137/tid=22141] ppid=22134 vsize=10817488 memory=5141048 CPUtime=13.8 cores=1,3,5,7
/proc/22137/task/22141/stat : 22141 (java) S 22134 22137 7968 0 -1 1077944384 15243 0 0 0 1278 102 0 0 20 0 17 0 17207138 11077107712 1285337 18446744073709551615 4194304 4196468 140737163686384 140457580133520 140457640158933 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37687296 140737163690385 140737163690538 140737163690538 140737163694031 0
[pid=22137/tid=22142] ppid=22134 vsize=10817488 memory=5141048 CPUtime=13.6 cores=1,3,5,7
/proc/22137/task/22142/stat : 22142 (java) S 22134 22137 7968 0 -1 1077944384 11832 0 0 0 1260 100 0 0 20 0 17 0 17207138 11077107712 1285337 18446744073709551615 4194304 4196468 140737163686384 140457579080464 140457640158933 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37687296 140737163690385 140737163690538 140737163690538 140737163694031 0
[pid=22137/tid=22143] ppid=22134 vsize=10817488 memory=5141048 CPUtime=13.79 cores=1,3,5,7
/proc/22137/task/22143/stat : 22143 (java) S 22134 22137 7968 0 -1 1077944384 15888 0 0 0 1275 104 0 0 20 0 17 0 17207138 11077107712 1285337 18446744073709551615 4194304 4196468 140737163686384 140457247894416 140457640158933 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37687296 140737163690385 140737163690538 140737163690538 140737163694031 0
[pid=22137/tid=22144] ppid=22134 vsize=10817488 memory=5141048 CPUtime=3.59 cores=1,3,5,7
/proc/22137/task/22144/stat : 22144 (java) S 22134 22137 7968 0 -1 1077944384 18410 0 0 0 355 4 0 0 20 0 17 0 17207139 11077107712 1285337 18446744073709551615 4194304 4196468 140737163686384 140457136625904 140457640159874 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37687296 140737163690385 140737163690538 140737163690538 140737163694031 0
[pid=22137/tid=22145] ppid=22134 vsize=10817488 memory=5141048 CPUtime=0 cores=1,3,5,7
/proc/22137/task/22145/stat : 22145 (java) S 22134 22137 7968 0 -1 1077944384 37 0 0 0 0 0 0 0 20 0 17 0 17207140 11077107712 1285337 18446744073709551615 4194304 4196468 140737163686384 140457135572192 140457640158933 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37687296 140737163690385 140737163690538 140737163690538 140737163694031 0
[pid=22137/tid=22146] ppid=22134 vsize=10817488 memory=5141048 CPUtime=0 cores=1,3,5,7
/proc/22137/task/22146/stat : 22146 (java) S 22134 22137 7968 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 17 0 17207140 11077107712 1285337 18446744073709551615 4194304 4196468 140737163686384 140457134519040 140457640158933 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37687296 140737163690385 140737163690538 140737163690538 140737163694031 0
[pid=22137/tid=22147] ppid=22134 vsize=10817488 memory=5141048 CPUtime=0 cores=1,3,5,7
/proc/22137/task/22147/stat : 22147 (java) S 22134 22137 7968 0 -1 1077944384 229 0 0 0 0 0 0 0 20 0 17 0 17207142 11077107712 1285337 18446744073709551615 4194304 4196468 140737163686384 140457133467600 140457640167323 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37687296 140737163690385 140737163690538 140737163690538 140737163694031 0
[pid=22137/tid=22148] ppid=22134 vsize=10817488 memory=4612 CPUtime=2.03 cores=1,3,5,7
/proc/22137/task/22148/stat : 22148 (java) S 22134 22137 7968 0 -1 1077944384 7832 0 0 0 202 1 0 0 20 0 17 0 17207142 11077107712 1285337 18446744073709551615 4194304 4196468 140737163686384 140457132415728 140457640159874 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37687296 140737163690385 140737163690538 140737163690538 140737163694031 0
[pid=22137/tid=22149] ppid=22134 vsize=10817488 memory=928 CPUtime=1.87 cores=1,3,5,7
/proc/22137/task/22149/stat : 22149 (java) S 22134 22137 7968 0 -1 1077944384 7138 0 0 0 185 2 0 0 20 0 17 0 17207142 11077107712 1285337 18446744073709551615 4194304 4196468 140737163686384 140457131363184 140457640159874 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37687296 140737163690385 140737163690538 140737163690538 140737163694031 0
[pid=22137/tid=22150] ppid=22134 vsize=10817488 memory=2164 CPUtime=0.43 cores=1,3,5,7
/proc/22137/task/22150/stat : 22150 (java) S 22134 22137 7968 0 -1 1077944384 5297 0 0 0 42 1 0 0 20 0 17 0 17207142 11077107712 1285337 18446744073709551615 4194304 4196468 140737163686384 140457130310128 140457640159874 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37687296 140737163690385 140737163690538 140737163690538 140737163694031 0
[pid=22137/tid=22151] ppid=22134 vsize=10817488 memory=5141048 CPUtime=0 cores=1,3,5,7
/proc/22137/task/22151/stat : 22151 (java) S 22134 22137 7968 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 17 0 17207143 11077107712 1285337 18446744073709551615 4194304 4196468 140737163686384 140457129257824 140457640158933 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37687296 140737163690385 140737163690538 140737163690538 140737163694031 0
[pid=22137/tid=22152] ppid=22134 vsize=10817488 memory=13188 CPUtime=1.47 cores=1,3,5,7
/proc/22137/task/22152/stat : 22152 (java) S 22134 22137 7968 0 -1 1077944384 2698 0 0 0 66 81 0 0 20 0 17 0 17207153 11077107712 1285337 18446744073709551615 4194304 4196468 140737163686384 140457128204848 140457640159874 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37687296 140737163690385 140737163690538 140737163690538 140737163694031 0
Current children cumulated CPU time: 2520.06 s
Current children cumulated vsize: 10817488 KiB
Current children cumulated memory: 5141348 KiB
Child status: 143
Real time (s): 2473.76
CPU time (s): 2520.13
CPU user time (s): 2514.84
CPU system time (s): 5.28738
CPU usage (%): 101.875
Max. virtual memory (cumulated for all children) (KiB): 10817488
Max. memory (cumulated for all children) (KiB): 5141348
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2514.84
system time used= 5.28739
maximum resident set size= 5141680
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 355786
page faults= 0
swaps= 0
block input operations= 0
block output operations= 1712
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 56769
involuntary context switches= 1218
# summary of solver processes directly reported to runsolver:
# pid: 22137
# total CPU time (s): 2520.13
# total CPU user time (s): 2514.84
# total CPU system time (s): 5.28738
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 14.3526 second user time and 24.5987 second system time
The end