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 (15214 MiB free)
memory of node 1: 16384 MiB (14251 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4262915-1502625362/watcher-4262915-1502625362 -o /tmp/evaluation-result-4262915-1502625362/solver-4262915-1502625362 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node127-1502624030-2988 --watchdog 2580 java -DCompetitionOutput -jar HOME/sat4j-csp-170705.jar HOME/instance-4262915-1502625362.xml
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=3217, runsolver pid=3214
[startup+0.100109 s]*
/proc/loadavg: 4.73 3.83 2.73 3/204 3226
/proc/meminfo: memFree=30156392/32770624 swapFree=67108860/67108860
[pid=3217] ppid=3214 vsize=10484492 memory=24308 CPUtime=0.05 cores=0,2,4,6
/proc/3217/stat : 3217 (java) S 3214 3217 17093 0 -1 1077944320 5024 0 0 0 4 1 0 0 20 0 14 0 64729584 10736119808 6077 18446744073709551615 4194304 4196468 140731151974608 140731151957152 139975901773559 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 4 0 0 6293624 6294260 32329728 140731151978896 140731151979049 140731151979049 140731151982543 0
/proc/3217/statm: 2621123 6077 2554 1 0 2610620 0
[pid=3217/tid=3219] ppid=3214 vsize=10484492 memory=4206751525541407381 CPUtime=0.04 cores=0,2,4,6
/proc/3217/task/3219/stat : 3219 (java) D 3214 3217 17093 0 -1 4202560 3140 0 0 0 3 1 0 0 20 0 14 0 64729589 10736119808 6077 18446744073709551615 4194304 4196468 140731151974608 139975906011040 139975901795581 0 4 1 16800974 18446744071580418449 0 0 -1 2 0 0 0 0 0 6293624 6294260 32329728 140731151978896 140731151979049 140731151979049 140731151982543 0
[pid=3217/tid=3220] ppid=3214 vsize=10484492 memory=4126316290023845779 CPUtime=0 cores=0,2,4,6
/proc/3217/task/3220/stat : 3220 (java) S 3214 3217 17093 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 14 0 64729590 10736119808 6077 18446744073709551615 4194304 4196468 140731151974608 139975871486992 139975901783765 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32329728 140731151978896 140731151979049 140731151979049 140731151982543 0
[pid=3217/tid=3221] ppid=3214 vsize=10484492 memory=140266924914304 CPUtime=0 cores=0,2,4,6
/proc/3217/task/3221/stat : 3221 (java) S 3214 3217 17093 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 14 0 64729590 10736119808 6077 18446744073709551615 4194304 4196468 140731151974608 139975511792784 139975901783765 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32329728 140731151978896 140731151979049 140731151979049 140731151982543 0
[pid=3217/tid=3222] ppid=3214 vsize=10484492 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3217/task/3222/stat : 3222 (java) S 3214 3217 17093 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 14 0 64729590 10736119808 6077 18446744073709551615 4194304 4196468 140731151974608 139975510739728 139975901783765 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32329728 140731151978896 140731151979049 140731151979049 140731151982543 0
[pid=3217/tid=3223] ppid=3214 vsize=10484492 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/3217/task/3223/stat : 3223 (java) S 3214 3217 17093 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 14 0 64729590 10736119808 6077 18446744073709551615 4194304 4196468 140731151974608 139975509687184 139975901783765 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32329728 140731151978896 140731151979049 140731151979049 140731151982543 0
[pid=3217/tid=3224] ppid=3214 vsize=10484492 memory=140266924914304 CPUtime=0 cores=0,2,4,6
/proc/3217/task/3224/stat : 3224 (java) S 3214 3217 17093 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 14 0 64729591 10736119808 6077 18446744073709551615 4194304 4196468 140731151974608 139974941853936 139975901784706 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32329728 140731151978896 140731151979049 140731151979049 140731151982543 0
[pid=3217/tid=3225] ppid=3214 vsize=10484492 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/3217/task/3225/stat : 3225 (java) S 3214 3217 17093 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 14 0 64729592 10736119808 6077 18446744073709551615 4194304 4196468 140731151974608 139974940800160 139975901783765 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32329728 140731151978896 140731151979049 140731151979049 140731151982543 0
[pid=3217/tid=3226] ppid=3214 vsize=10484492 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3217/task/3226/stat : 3226 (java) S 3214 3217 17093 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 14 0 64729592 10736119808 6077 18446744073709551615 4194304 4196468 140731151974608 139974939747056 139975901783765 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32329728 140731151978896 140731151979049 140731151979049 140731151982543 0
[pid=3217/tid=3227] ppid=3214 vsize=10484492 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3217/task/3227/stat : 3227 (java) S 3214 3217 17093 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 14 0 64729595 10736119808 6077 18446744073709551615 4194304 4196468 140731151974608 139974938695632 139975901792155 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32329728 140731151978896 140731151979049 140731151979049 140731151982543 0
[pid=3217/tid=3228] ppid=3214 vsize=10484492 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3217/task/3228/stat : 3228 (java) S 3214 3217 17093 0 -1 1077944384 27 0 0 0 0 0 0 0 20 0 14 0 64729595 10736119808 6077 18446744073709551615 4194304 4196468 140731151974608 139974937643760 139975901784706 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32329728 140731151978896 140731151979049 140731151979049 140731151982543 0
[pid=3217/tid=3229] ppid=3214 vsize=10484492 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/3217/task/3229/stat : 3229 (java) S 3214 3217 17093 0 -1 1077944384 272 0 0 0 0 0 0 0 20 0 14 0 64729595 10736119808 6077 18446744073709551615 4194304 4196468 140731151974608 139974936591216 139975901784706 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32329728 140731151978896 140731151979049 140731151979049 140731151982543 0
[pid=3217/tid=3230] ppid=3214 vsize=10484492 memory=140266924914304 CPUtime=0 cores=0,2,4,6
/proc/3217/task/3230/stat : 3230 (java) S 3214 3217 17093 0 -1 1077944384 218 0 0 0 0 0 0 0 20 0 14 0 64729595 10736119808 6077 18446744073709551615 4194304 4196468 140731151974608 139974935538160 139975901784706 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32329728 140731151978896 140731151979049 140731151979049 140731151982543 0
[pid=3217/tid=3231] ppid=3214 vsize=10484492 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/3217/task/3231/stat : 3231 (java) S 3214 3217 17093 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 14 0 64729595 10736119808 6077 18446744073709551615 4194304 4196468 140731151974608 139974934485856 139975901783765 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32329728 140731151978896 140731151979049 140731151979049 140731151982543 0
Current children cumulated CPU time: 0.05 s
Current children cumulated vsize: 10484492 KiB
Current children cumulated memory: 24308 KiB
[startup+0.214117 s]*
/proc/loadavg: 4.73 3.83 2.73 5/210 3232
/proc/meminfo: memFree=30147572/32770624 swapFree=67108860/67108860
[pid=3217] ppid=3214 vsize=10551156 memory=30880 CPUtime=0.14 cores=0,2,4,6
/proc/3217/stat : 3217 (java) S 3214 3217 17093 0 -1 1077944320 7927 0 0 0 11 3 0 0 20 0 15 0 64729584 10804383744 7720 18446744073709551615 4194304 4196468 140731151974608 140731151957152 139975901773559 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 4 0 0 6293624 6294260 32329728 140731151978896 140731151979049 140731151979049 140731151982543 0
/proc/3217/statm: 2637789 7720 2740 1 0 2627261 0
[pid=3217/tid=3219] ppid=3214 vsize=10551156 memory=8318255677412212789 CPUtime=0.1 cores=0,2,4,6
/proc/3217/task/3219/stat : 3219 (java) R 3214 3217 17093 0 -1 4202560 5774 0 0 0 8 2 0 0 20 0 15 0 64729589 10804383744 7720 18446744073709551615 4194304 4196468 140731151974608 139975905996144 139975881302227 0 4 1 16800974 0 0 0 -1 0 0 0 5 0 0 6293624 6294260 32329728 140731151978896 140731151979049 140731151979049 140731151982543 0
[pid=3217/tid=3220] ppid=3214 vsize=10551156 memory=330 CPUtime=0 cores=0,2,4,6
/proc/3217/task/3220/stat : 3220 (java) S 3214 3217 17093 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 64729590 10804383744 7720 18446744073709551615 4194304 4196468 140731151974608 139975871486992 139975901783765 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32329728 140731151978896 140731151979049 140731151979049 140731151982543 0
[pid=3217/tid=3221] ppid=3214 vsize=10551156 memory=140266924937422 CPUtime=0 cores=0,2,4,6
/proc/3217/task/3221/stat : 3221 (java) S 3214 3217 17093 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 64729590 10804383744 7720 18446744073709551615 4194304 4196468 140731151974608 139975511792784 139975901783765 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32329728 140731151978896 140731151979049 140731151979049 140731151982543 0
[pid=3217/tid=3222] ppid=3214 vsize=10551156 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3217/task/3222/stat : 3222 (java) S 3214 3217 17093 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 64729590 10804383744 7720 18446744073709551615 4194304 4196468 140731151974608 139975510739728 139975901783765 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32329728 140731151978896 140731151979049 140731151979049 140731151982543 0
[pid=3217/tid=3223] ppid=3214 vsize=10551156 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/3217/task/3223/stat : 3223 (java) S 3214 3217 17093 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 64729590 10804383744 7720 18446744073709551615 4194304 4196468 140731151974608 139975509687184 139975901783765 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32329728 140731151978896 140731151979049 140731151979049 140731151982543 0
[pid=3217/tid=3224] ppid=3214 vsize=10551156 memory=140266924914304 CPUtime=0 cores=0,2,4,6
/proc/3217/task/3224/stat : 3224 (java) S 3214 3217 17093 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 64729591 10804383744 7720 18446744073709551615 4194304 4196468 140731151974608 139974941853936 139975901784706 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32329728 140731151978896 140731151979049 140731151979049 140731151982543 0
[pid=3217/tid=3225] ppid=3214 vsize=10551156 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/3217/task/3225/stat : 3225 (java) S 3214 3217 17093 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 64729592 10804383744 7720 18446744073709551615 4194304 4196468 140731151974608 139974940800160 139975901783765 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32329728 140731151978896 140731151979049 140731151979049 140731151982543 0
[pid=3217/tid=3226] ppid=3214 vsize=10551156 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3217/task/3226/stat : 3226 (java) S 3214 3217 17093 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 64729592 10804383744 7720 18446744073709551615 4194304 4196468 140731151974608 139974939747056 139975901783765 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32329728 140731151978896 140731151979049 140731151979049 140731151982543 0
[pid=3217/tid=3227] ppid=3214 vsize=10551156 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3217/task/3227/stat : 3227 (java) S 3214 3217 17093 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 64729595 10804383744 7720 18446744073709551615 4194304 4196468 140731151974608 139974938695632 139975901792155 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32329728 140731151978896 140731151979049 140731151979049 140731151982543 0
[pid=3217/tid=3228] ppid=3214 vsize=10551156 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3217/task/3228/stat : 3228 (java) S 3214 3217 17093 0 -1 1077944384 27 0 0 0 0 0 0 0 20 0 15 0 64729595 10804383744 7720 18446744073709551615 4194304 4196468 140731151974608 139974937643760 139975901784706 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32329728 140731151978896 140731151979049 140731151979049 140731151982543 0
[pid=3217/tid=3229] ppid=3214 vsize=10551156 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/3217/task/3229/stat : 3229 (java) S 3214 3217 17093 0 -1 1077944384 390 0 0 0 0 0 0 0 20 0 15 0 64729595 10804383744 7720 18446744073709551615 4194304 4196468 140731151974608 139974936591216 139975901784706 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32329728 140731151978896 140731151979049 140731151979049 140731151982543 0
[pid=3217/tid=3230] ppid=3214 vsize=10551156 memory=140266924914304 CPUtime=0.02 cores=0,2,4,6
/proc/3217/task/3230/stat : 3230 (java) S 3214 3217 17093 0 -1 1077944384 369 0 0 0 2 0 0 0 20 0 15 0 64729595 10804383744 7720 18446744073709551615 4194304 4196468 140731151974608 139974935538160 139975901784706 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32329728 140731151978896 140731151979049 140731151979049 140731151982543 0
[pid=3217/tid=3231] ppid=3214 vsize=10551156 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/3217/task/3231/stat : 3231 (java) S 3214 3217 17093 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 64729595 10804383744 7720 18446744073709551615 4194304 4196468 140731151974608 139974934485856 139975901783765 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32329728 140731151978896 140731151979049 140731151979049 140731151982543 0
[pid=3217/tid=3232] ppid=3214 vsize=10551156 memory=140266924914304 CPUtime=0 cores=0,2,4,6
/proc/3217/task/3232/stat : 3232 (java) S 3214 3217 17093 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 64729601 10804383744 7720 18446744073709551615 4194304 4196468 140731151974608 139974933432880 139975901784706 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32329728 140731151978896 140731151979049 140731151979049 140731151982543 0
Current children cumulated CPU time: 0.14 s
Current children cumulated vsize: 10551156 KiB
Current children cumulated memory: 30880 KiB
[startup+0.310452 s]*
/proc/loadavg: 4.73 3.83 2.73 4/210 3232
/proc/meminfo: memFree=30142228/32770624 swapFree=67108860/67108860
[pid=3217] ppid=3214 vsize=10551156 memory=38712 CPUtime=0.29 cores=0,2,4,6
/proc/3217/stat : 3217 (java) S 3214 3217 17093 0 -1 1077944320 9070 0 0 0 26 3 0 0 20 0 15 0 64729584 10804383744 9678 18446744073709551615 4194304 4196468 140731151974608 140731151957152 139975901773559 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 4 0 0 6293624 6294260 32329728 140731151978896 140731151979049 140731151979049 140731151982543 0
/proc/3217/statm: 2637789 9678 2836 1 0 2627261 0
[pid=3217/tid=3219] ppid=3214 vsize=10551156 memory=-7677926825137650786 CPUtime=0.19 cores=0,2,4,6
/proc/3217/task/3219/stat : 3219 (java) R 3214 3217 17093 0 -1 4202560 6348 0 0 0 17 2 0 0 20 0 15 0 64729589 10804383744 9749 18446744073709551615 4194304 4196468 140731151974608 139975906004608 139975881970268 0 4 1 16800974 0 0 0 -1 0 0 0 5 0 0 6293624 6294260 32329728 140731151978896 140731151979049 140731151979049 140731151982543 0
[pid=3217/tid=3220] ppid=3214 vsize=10551156 memory=4126316290023845779 CPUtime=0 cores=0,2,4,6
/proc/3217/task/3220/stat : 3220 (java) S 3214 3217 17093 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 64729590 10804383744 9749 18446744073709551615 4194304 4196468 140731151974608 139975871486992 139975901783765 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32329728 140731151978896 140731151979049 140731151979049 140731151982543 0
[pid=3217/tid=3221] ppid=3214 vsize=10551156 memory=6944656592455097440 CPUtime=0 cores=0,2,4,6
/proc/3217/task/3221/stat : 3221 (java) S 3214 3217 17093 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 64729590 10804383744 9749 18446744073709551615 4194304 4196468 140731151974608 139975511792784 139975901783765 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32329728 140731151978896 140731151979049 140731151979049 140731151982543 0
[pid=3217/tid=3222] ppid=3214 vsize=10551156 memory=6656426216303648864 CPUtime=0 cores=0,2,4,6
/proc/3217/task/3222/stat : 3222 (java) S 3214 3217 17093 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 64729590 10804383744 9749 18446744073709551615 4194304 4196468 140731151974608 139975510739728 139975901783765 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32329728 140731151978896 140731151979049 140731151979049 140731151982543 0
[pid=3217/tid=3223] ppid=3214 vsize=10551156 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3217/task/3223/stat : 3223 (java) S 3214 3217 17093 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 64729590 10804383744 9749 18446744073709551615 4194304 4196468 140731151974608 139975509687184 139975901783765 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32329728 140731151978896 140731151979049 140731151979049 140731151982543 0
[pid=3217/tid=3224] ppid=3214 vsize=10551156 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3217/task/3224/stat : 3224 (java) S 3214 3217 17093 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 64729591 10804383744 9749 18446744073709551615 4194304 4196468 140731151974608 139974941853936 139975901784706 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32329728 140731151978896 140731151979049 140731151979049 140731151982543 0
[pid=3217/tid=3225] ppid=3214 vsize=10551156 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3217/task/3225/stat : 3225 (java) S 3214 3217 17093 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 64729592 10804383744 9749 18446744073709551615 4194304 4196468 140731151974608 139974940800160 139975901783765 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32329728 140731151978896 140731151979049 140731151979049 140731151982543 0
[pid=3217/tid=3226] ppid=3214 vsize=10551156 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3217/task/3226/stat : 3226 (java) S 3214 3217 17093 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 64729592 10804383744 9749 18446744073709551615 4194304 4196468 140731151974608 139974939747056 139975901783765 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32329728 140731151978896 140731151979049 140731151979049 140731151982543 0
[pid=3217/tid=3227] ppid=3214 vsize=10551156 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3217/task/3227/stat : 3227 (java) S 3214 3217 17093 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 64729595 10804383744 9749 18446744073709551615 4194304 4196468 140731151974608 139974938695632 139975901792155 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32329728 140731151978896 140731151979049 140731151979049 140731151982543 0
[pid=3217/tid=3228] ppid=3214 vsize=10551156 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/3217/task/3228/stat : 3228 (java) S 3214 3217 17093 0 -1 1077944384 128 0 0 0 1 0 0 0 20 0 15 0 64729595 10804383744 9749 18446744073709551615 4194304 4196468 140731151974608 139974937643760 139975901784706 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32329728 140731151978896 140731151979049 140731151979049 140731151982543 0
[pid=3217/tid=3229] ppid=3214 vsize=10551156 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/3217/task/3229/stat : 3229 (java) S 3214 3217 17093 0 -1 1077944384 457 0 0 0 1 0 0 0 20 0 15 0 64729595 10804383744 9749 18446744073709551615 4194304 4196468 140731151974608 139974936591216 139975901784706 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32329728 140731151978896 140731151979049 140731151979049 140731151982543 0
[pid=3217/tid=3230] ppid=3214 vsize=10551156 memory=0 CPUtime=0.05 cores=0,2,4,6
/proc/3217/task/3230/stat : 3230 (java) S 3214 3217 17093 0 -1 1077944384 789 0 0 0 5 0 0 0 20 0 15 0 64729595 10804383744 9749 18446744073709551615 4194304 4196468 140731151974608 139974935538160 139975901784706 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32329728 140731151978896 140731151979049 140731151979049 140731151982543 0
[pid=3217/tid=3231] ppid=3214 vsize=10551156 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3217/task/3231/stat : 3231 (java) S 3214 3217 17093 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 64729595 10804383744 9749 18446744073709551615 4194304 4196468 140731151974608 139974934485856 139975901783765 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32329728 140731151978896 140731151979049 140731151979049 140731151982543 0
[pid=3217/tid=3232] ppid=3214 vsize=10551156 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3217/task/3232/stat : 3232 (java) S 3214 3217 17093 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 64729601 10804383744 9749 18446744073709551615 4194304 4196468 140731151974608 139974933432880 139975901784706 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32329728 140731151978896 140731151979049 140731151979049 140731151982543 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 10551156 KiB
Current children cumulated memory: 38712 KiB
[startup+0.701419 s]
/proc/loadavg: 4.73 3.83 2.73 6/210 3232
/proc/meminfo: memFree=30076756/32770624 swapFree=67108860/67108860
[pid=3217] ppid=3214 vsize=10551232 memory=163336 CPUtime=1.28 cores=0,2,4,6
/proc/3217/stat : 3217 (java) S 3214 3217 17093 0 -1 1077944320 12447 0 0 0 122 6 0 0 20 0 15 0 64729584 10804461568 40834 18446744073709551615 4194304 4196468 140731151974608 140731151957152 139975901773559 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 4 0 0 6293624 6294260 32329728 140731151978896 140731151979049 140731151979049 140731151982543 0
/proc/3217/statm: 2637808 40834 3056 1 0 2627261 0
[pid=3217/tid=3219] ppid=3214 vsize=10551232 memory=1152 CPUtime=0.58 cores=0,2,4,6
/proc/3217/task/3219/stat : 3219 (java) R 3214 3217 17093 0 -1 4202560 7910 0 0 0 53 5 0 0 20 0 15 0 64729589 10804461568 40834 18446744073709551615 4194304 4196468 140731151974608 139975906006776 139975544932245 0 4 1 16800974 0 0 0 -1 6 0 0 5 0 0 6293624 6294260 32329728 140731151978896 140731151979049 140731151979049 140731151982543 0
[pid=3217/tid=3220] ppid=3214 vsize=10551232 memory=3228 CPUtime=0 cores=0,2,4,6
/proc/3217/task/3220/stat : 3220 (java) S 3214 3217 17093 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 64729590 10804461568 40834 18446744073709551615 4194304 4196468 140731151974608 139975871486992 139975901783765 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32329728 140731151978896 140731151979049 140731151979049 140731151982543 0
[pid=3217/tid=3221] ppid=3214 vsize=10551232 memory=1407560 CPUtime=0 cores=0,2,4,6
/proc/3217/task/3221/stat : 3221 (java) S 3214 3217 17093 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 64729590 10804461568 40834 18446744073709551615 4194304 4196468 140731151974608 139975511792784 139975901783765 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32329728 140731151978896 140731151979049 140731151979049 140731151982543 0
[pid=3217/tid=3222] ppid=3214 vsize=10551232 memory=1156 CPUtime=0 cores=0,2,4,6
/proc/3217/task/3222/stat : 3222 (java) S 3214 3217 17093 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 64729590 10804461568 40834 18446744073709551615 4194304 4196468 140731151974608 139975510739728 139975901783765 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32329728 140731151978896 140731151979049 140731151979049 140731151982543 0
[pid=3217/tid=3223] ppid=3214 vsize=10551232 memory=6464 CPUtime=0 cores=0,2,4,6
/proc/3217/task/3223/stat : 3223 (java) S 3214 3217 17093 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 64729590 10804461568 40834 18446744073709551615 4194304 4196468 140731151974608 139975509687184 139975901783765 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32329728 140731151978896 140731151979049 140731151979049 140731151982543 0
[pid=3217/tid=3224] ppid=3214 vsize=10551232 memory=6442213876473817182 CPUtime=0 cores=0,2,4,6
/proc/3217/task/3224/stat : 3224 (java) S 3214 3217 17093 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 64729591 10804461568 40834 18446744073709551615 4194304 4196468 140731151974608 139974941853936 139975901784706 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32329728 140731151978896 140731151979049 140731151979049 140731151982543 0
[pid=3217/tid=3225] ppid=3214 vsize=10551232 memory=7302981900112646227 CPUtime=0 cores=0,2,4,6
/proc/3217/task/3225/stat : 3225 (java) S 3214 3217 17093 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 64729592 10804461568 40834 18446744073709551615 4194304 4196468 140731151974608 139974940800160 139975901783765 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32329728 140731151978896 140731151979049 140731151979049 140731151982543 0
[pid=3217/tid=3226] ppid=3214 vsize=10551232 memory=1732 CPUtime=0 cores=0,2,4,6
/proc/3217/task/3226/stat : 3226 (java) S 3214 3217 17093 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 64729592 10804461568 40834 18446744073709551615 4194304 4196468 140731151974608 139974939747056 139975901783765 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32329728 140731151978896 140731151979049 140731151979049 140731151982543 0
[pid=3217/tid=3227] ppid=3214 vsize=10551232 memory=6297835844906604903 CPUtime=0 cores=0,2,4,6
/proc/3217/task/3227/stat : 3227 (java) S 3214 3217 17093 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 64729595 10804461568 40834 18446744073709551615 4194304 4196468 140731151974608 139974938695632 139975901792155 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32329728 140731151978896 140731151979049 140731151979049 140731151982543 0
[pid=3217/tid=3228] ppid=3214 vsize=10551232 memory=7811323491934034025 CPUtime=0.25 cores=0,2,4,6
/proc/3217/task/3228/stat : 3228 (java) R 3214 3217 17093 0 -1 4202560 1018 0 0 0 25 0 0 0 20 0 15 0 64729595 10804461568 40834 18446744073709551615 4194304 4196468 140731151974608 139974937624776 139975881030216 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 32329728 140731151978896 140731151979049 140731151979049 140731151982543 0
[pid=3217/tid=3229] ppid=3214 vsize=10551232 memory=6293050847276651881 CPUtime=0.24 cores=0,2,4,6
/proc/3217/task/3229/stat : 3229 (java) R 3214 3217 17093 0 -1 4202560 1117 0 0 0 24 0 0 0 20 0 15 0 64729595 10804461568 40834 18446744073709551615 4194304 4196468 140731151974608 139974936576680 139975883295783 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 32329728 140731151978896 140731151979049 140731151979049 140731151982543 0
[pid=3217/tid=3230] ppid=3214 vsize=10551232 memory=-8412654363917126771 CPUtime=0.19 cores=0,2,4,6
/proc/3217/task/3230/stat : 3230 (java) S 3214 3217 17093 0 -1 1077944384 1034 0 0 0 19 0 0 0 20 0 15 0 64729595 10804461568 40834 18446744073709551615 4194304 4196468 140731151974608 139974935538160 139975901784706 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32329728 140731151978896 140731151979049 140731151979049 140731151982543 0
[pid=3217/tid=3231] ppid=3214 vsize=10551232 memory=-5942888427914360000 CPUtime=0 cores=0,2,4,6
/proc/3217/task/3231/stat : 3231 (java) S 3214 3217 17093 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 64729595 10804461568 40834 18446744073709551615 4194304 4196468 140731151974608 139974934485856 139975901783765 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32329728 140731151978896 140731151979049 140731151979049 140731151982543 0
[pid=3217/tid=3232] ppid=3214 vsize=10551232 memory=-7457052372387209120 CPUtime=0 cores=0,2,4,6
/proc/3217/task/3232/stat : 3232 (java) S 3214 3217 17093 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 64729601 10804461568 40834 18446744073709551615 4194304 4196468 140731151974608 139974933432880 139975901784706 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32329728 140731151978896 140731151979049 140731151979049 140731151982543 0
Current children cumulated CPU time: 1.28 s
Current children cumulated vsize: 10551232 KiB
Current children cumulated memory: 163336 KiB
[startup+1.50143 s]
/proc/loadavg: 4.73 3.83 2.73 6/210 3232
/proc/meminfo: memFree=29900624/32770624 swapFree=67108860/67108860
[pid=3217] ppid=3214 vsize=10551232 memory=560456 CPUtime=3.28 cores=0,2,4,6
/proc/3217/stat : 3217 (java) S 3214 3217 17093 0 -1 1077944320 13485 0 0 0 287 41 0 0 20 0 15 0 64729584 10804461568 140114 18446744073709551615 4194304 4196468 140731151974608 140731151957152 139975901773559 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 4 0 0 6293624 6294260 32329728 140731151978896 140731151979049 140731151979049 140731151982543 0
/proc/3217/statm: 2637808 140114 3085 1 0 2627261 0
[pid=3217/tid=3219] ppid=3214 vsize=10551232 memory=280533573870288 CPUtime=1.05 cores=0,2,4,6
/proc/3217/task/3219/stat : 3219 (java) S 3214 3217 17093 0 -1 1077944384 7985 0 0 0 98 7 0 0 20 0 15 0 64729589 10804461568 140114 18446744073709551615 4194304 4196468 140731151974608 139975906006912 139975901783765 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 5 0 0 6293624 6294260 32329728 140731151978896 140731151979049 140731151979049 140731151982543 0
[pid=3217/tid=3220] ppid=3214 vsize=10551232 memory=132 CPUtime=0.31 cores=0,2,4,6
/proc/3217/task/3220/stat : 3220 (java) R 3214 3217 17093 0 -1 4202560 195 0 0 0 23 8 0 0 20 0 15 0 64729590 10804461568 140114 18446744073709551615 4194304 4196468 140731151974608 139975871487192 139975886801433 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 32329728 140731151978896 140731151979049 140731151979049 140731151982543 0
[pid=3217/tid=3221] ppid=3214 vsize=10551232 memory=288230621803970871 CPUtime=0.31 cores=0,2,4,6
/proc/3217/task/3221/stat : 3221 (java) R 3214 3217 17093 0 -1 4202560 203 0 0 0 24 7 0 0 20 0 15 0 64729590 10804461568 140114 18446744073709551615 4194304 4196468 140731151974608 139975511792784 139975886795680 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 32329728 140731151978896 140731151979049 140731151979049 140731151982543 0
[pid=3217/tid=3222] ppid=3214 vsize=10551232 memory=13845261709478404 CPUtime=0.31 cores=0,2,4,6
/proc/3217/task/3222/stat : 3222 (java) R 3214 3217 17093 0 -1 4202560 216 0 0 0 23 8 0 0 20 0 15 0 64729590 10804461568 140114 18446744073709551615 4194304 4196468 140731151974608 139975510739728 139975886801433 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 32329728 140731151978896 140731151979049 140731151979049 140731151982543 0
[pid=3217/tid=3223] ppid=3214 vsize=10551232 memory=0 CPUtime=0.3 cores=0,2,4,6
/proc/3217/task/3223/stat : 3223 (java) R 3214 3217 17093 0 -1 4202560 227 0 0 0 22 8 0 0 20 0 15 0 64729590 10804461568 140114 18446744073709551615 4194304 4196468 140731151974608 139975509687384 139975894870260 0 4 1 16800974 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 32329728 140731151978896 140731151979049 140731151979049 140731151982543 0
[pid=3217/tid=3224] ppid=3214 vsize=10551232 memory=2609 CPUtime=0 cores=0,2,4,6
/proc/3217/task/3224/stat : 3224 (java) S 3214 3217 17093 0 -1 1077944384 83 0 0 0 0 0 0 0 20 0 15 0 64729591 10804461568 140114 18446744073709551615 4194304 4196468 140731151974608 139974941852448 139975901783765 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32329728 140731151978896 140731151979049 140731151979049 140731151982543 0
[pid=3217/tid=3225] ppid=3214 vsize=10551232 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3217/task/3225/stat : 3225 (java) S 3214 3217 17093 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 64729592 10804461568 140114 18446744073709551615 4194304 4196468 140731151974608 139974940800160 139975901783765 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32329728 140731151978896 140731151979049 140731151979049 140731151982543 0
################
# More data... #
################
/proc/3217/task/3221/stat : 3221 (java) S 3214 3217 17093 0 -1 1077944384 213435 0 0 0 16407 169 0 0 20 0 16 0 64729590 10872623104 2037812 18446744073709551615 4194304 4196468 140731151974608 139975511792784 139975901783765 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32329728 140731151978896 140731151979049 140731151979049 140731151982543 0
[pid=3217/tid=3222] ppid=3214 vsize=10617796 memory=8151248 CPUtime=165.6 cores=0,2,4,6
/proc/3217/task/3222/stat : 3222 (java) S 3214 3217 17093 0 -1 1077944384 121683 0 0 0 16375 185 0 0 20 0 16 0 64729590 10872623104 2037812 18446744073709551615 4194304 4196468 140731151974608 139975510739728 139975901783765 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32329728 140731151978896 140731151979049 140731151979049 140731151982543 0
[pid=3217/tid=3223] ppid=3214 vsize=10617796 memory=8151248 CPUtime=164.98 cores=0,2,4,6
/proc/3217/task/3223/stat : 3223 (java) S 3214 3217 17093 0 -1 1077944384 132876 0 0 0 16333 165 0 0 20 0 16 0 64729590 10872623104 2037812 18446744073709551615 4194304 4196468 140731151974608 139975509687184 139975901783765 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32329728 140731151978896 140731151979049 140731151979049 140731151982543 0
[pid=3217/tid=3224] ppid=3214 vsize=10617796 memory=8151248 CPUtime=25.18 cores=0,2,4,6
/proc/3217/task/3224/stat : 3224 (java) S 3214 3217 17093 0 -1 1077944384 129389 0 0 0 2511 7 0 0 20 0 16 0 64729591 10872623104 2037812 18446744073709551615 4194304 4196468 140731151974608 139974941853936 139975901784706 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32329728 140731151978896 140731151979049 140731151979049 140731151982543 0
[pid=3217/tid=3225] ppid=3214 vsize=10617796 memory=-7880843606118635149 CPUtime=0 cores=0,2,4,6
/proc/3217/task/3225/stat : 3225 (java) S 3214 3217 17093 0 -1 1077944384 40 0 0 0 0 0 0 0 20 0 16 0 64729592 10872623104 2037812 18446744073709551615 4194304 4196468 140731151974608 139974940800224 139975901783765 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32329728 140731151978896 140731151979049 140731151979049 140731151982543 0
[pid=3217/tid=3226] ppid=3214 vsize=10617796 memory=55 CPUtime=0 cores=0,2,4,6
/proc/3217/task/3226/stat : 3226 (java) S 3214 3217 17093 0 -1 1077944384 68 0 0 0 0 0 0 0 20 0 16 0 64729592 10872623104 2037812 18446744073709551615 4194304 4196468 140731151974608 139974939747072 139975901783765 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32329728 140731151978896 140731151979049 140731151979049 140731151982543 0
[pid=3217/tid=3227] ppid=3214 vsize=10617796 memory=288283368414774460 CPUtime=0 cores=0,2,4,6
/proc/3217/task/3227/stat : 3227 (java) S 3214 3217 17093 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 64729595 10872623104 2037812 18446744073709551615 4194304 4196468 140731151974608 139974938695632 139975901792155 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32329728 140731151978896 140731151979049 140731151979049 140731151982543 0
[pid=3217/tid=3228] ppid=3214 vsize=10617796 memory=8151248 CPUtime=1.53 cores=0,2,4,6
/proc/3217/task/3228/stat : 3228 (java) S 3214 3217 17093 0 -1 1077944384 6945 0 0 0 152 1 0 0 20 0 16 0 64729595 10872623104 2037812 18446744073709551615 4194304 4196468 140731151974608 139974937643760 139975901784706 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32329728 140731151978896 140731151979049 140731151979049 140731151982543 0
[pid=3217/tid=3229] ppid=3214 vsize=10617796 memory=8151244 CPUtime=1.69 cores=0,2,4,6
/proc/3217/task/3229/stat : 3229 (java) S 3214 3217 17093 0 -1 1077944384 9604 0 0 0 168 1 0 0 20 0 16 0 64729595 10872623104 2037812 18446744073709551615 4194304 4196468 140731151974608 139974936591216 139975901784706 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32329728 140731151978896 140731151979049 140731151979049 140731151982543 0
[pid=3217/tid=3230] ppid=3214 vsize=10617796 memory=8151248 CPUtime=0.42 cores=0,2,4,6
/proc/3217/task/3230/stat : 3230 (java) S 3214 3217 17093 0 -1 1077944384 8959 0 0 0 41 1 0 0 20 0 16 0 64729595 10872623104 2037812 18446744073709551615 4194304 4196468 140731151974608 139974935538160 139975901784706 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32329728 140731151978896 140731151979049 140731151979049 140731151982543 0
[pid=3217/tid=3231] ppid=3214 vsize=10617796 memory=8151248 CPUtime=0 cores=0,2,4,6
/proc/3217/task/3231/stat : 3231 (java) S 3214 3217 17093 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 64729595 10872623104 2037812 18446744073709551615 4194304 4196468 140731151974608 139974934485856 139975901783765 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32329728 140731151978896 140731151979049 140731151979049 140731151982543 0
[pid=3217/tid=3232] ppid=3214 vsize=10617796 memory=1156 CPUtime=1.19 cores=0,2,4,6
/proc/3217/task/3232/stat : 3232 (java) S 3214 3217 17093 0 -1 1077944384 2074 0 0 0 55 64 0 0 20 0 16 0 64729601 10872623104 2037812 18446744073709551615 4194304 4196468 140731151974608 139974933432880 139975901784706 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 1 0 0 6293624 6294260 32329728 140731151978896 140731151979049 140731151979049 140731151982543 0
[pid=3217/tid=3235] ppid=3214 vsize=10617796 memory=280533573863680 CPUtime=0 cores=0,2,4,6
/proc/3217/task/3235/stat : 3235 (java) S 3214 3217 17093 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 16 0 64737388 10872623104 2037812 18446744073709551615 4194304 4196468 140731151974608 139974932378672 139975901784706 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32329728 140731151978896 140731151979049 140731151979049 140731151982543 0
Current children cumulated CPU time: 2460.98 s
Current children cumulated vsize: 10617796 KiB
Current children cumulated memory: 8151248 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2021.3 s]
/proc/loadavg: 2.14 2.15 2.23 3/211 3370
/proc/meminfo: memFree=20243252/32770624 swapFree=67108860/67108860
[pid=3217] ppid=3214 vsize=10617796 memory=8151248 CPUtime=2520.01 cores=0,2,4,6
/proc/3217/stat : 3217 (java) S 3214 3217 17093 0 -1 1077944320 2497923 0 0 0 251122 879 0 0 20 0 16 0 64729584 10872623104 2037812 18446744073709551615 4194304 4196468 140731151974608 140731151957152 139975901773559 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 4 0 0 6293624 6294260 32329728 140731151978896 140731151979049 140731151979049 140731151982543 0
/proc/3217/statm: 2654449 2037812 3137 1 0 2643902 0
[pid=3217/tid=3219] ppid=3214 vsize=10617796 memory=8151248 CPUtime=1827.2 cores=0,2,4,6
/proc/3217/task/3219/stat : 3219 (java) R 3214 3217 17093 0 -1 4202560 1685038 0 0 0 182602 118 0 0 20 0 16 0 64729589 10872623104 2037812 18446744073709551615 4194304 4196468 140731151974608 139975906012320 139975546395742 0 4 1 16800974 0 0 0 -1 4 0 0 5 0 0 6293624 6294260 32329728 140731151978896 140731151979049 140731151979049 140731151982543 0
[pid=3217/tid=3220] ppid=3214 vsize=10617796 memory=8151248 CPUtime=166.3 cores=0,2,4,6
/proc/3217/task/3220/stat : 3220 (java) S 3214 3217 17093 0 -1 1077944384 186419 0 0 0 16448 182 0 0 20 0 16 0 64729590 10872623104 2037812 18446744073709551615 4194304 4196468 140731151974608 139975871486992 139975901783765 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32329728 140731151978896 140731151979049 140731151979049 140731151982543 0
[pid=3217/tid=3221] ppid=3214 vsize=10617796 memory=8151248 CPUtime=165.76 cores=0,2,4,6
/proc/3217/task/3221/stat : 3221 (java) S 3214 3217 17093 0 -1 1077944384 213435 0 0 0 16407 169 0 0 20 0 16 0 64729590 10872623104 2037812 18446744073709551615 4194304 4196468 140731151974608 139975511792784 139975901783765 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32329728 140731151978896 140731151979049 140731151979049 140731151982543 0
[pid=3217/tid=3222] ppid=3214 vsize=10617796 memory=8151248 CPUtime=165.6 cores=0,2,4,6
/proc/3217/task/3222/stat : 3222 (java) S 3214 3217 17093 0 -1 1077944384 121683 0 0 0 16375 185 0 0 20 0 16 0 64729590 10872623104 2037812 18446744073709551615 4194304 4196468 140731151974608 139975510739728 139975901783765 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32329728 140731151978896 140731151979049 140731151979049 140731151982543 0
[pid=3217/tid=3223] ppid=3214 vsize=10617796 memory=8151248 CPUtime=164.98 cores=0,2,4,6
/proc/3217/task/3223/stat : 3223 (java) S 3214 3217 17093 0 -1 1077944384 132876 0 0 0 16333 165 0 0 20 0 16 0 64729590 10872623104 2037812 18446744073709551615 4194304 4196468 140731151974608 139975509687184 139975901783765 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32329728 140731151978896 140731151979049 140731151979049 140731151982543 0
[pid=3217/tid=3224] ppid=3214 vsize=10617796 memory=8151248 CPUtime=25.18 cores=0,2,4,6
/proc/3217/task/3224/stat : 3224 (java) S 3214 3217 17093 0 -1 1077944384 129398 0 0 0 2511 7 0 0 20 0 16 0 64729591 10872623104 2037812 18446744073709551615 4194304 4196468 140731151974608 139974941853936 139975901784706 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32329728 140731151978896 140731151979049 140731151979049 140731151982543 0
[pid=3217/tid=3225] ppid=3214 vsize=10617796 memory=55 CPUtime=0 cores=0,2,4,6
/proc/3217/task/3225/stat : 3225 (java) S 3214 3217 17093 0 -1 1077944384 40 0 0 0 0 0 0 0 20 0 16 0 64729592 10872623104 2037812 18446744073709551615 4194304 4196468 140731151974608 139974940800224 139975901783765 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32329728 140731151978896 140731151979049 140731151979049 140731151982543 0
[pid=3217/tid=3226] ppid=3214 vsize=10617796 memory=8151248 CPUtime=0 cores=0,2,4,6
/proc/3217/task/3226/stat : 3226 (java) S 3214 3217 17093 0 -1 1077944384 68 0 0 0 0 0 0 0 20 0 16 0 64729592 10872623104 2037812 18446744073709551615 4194304 4196468 140731151974608 139974939747072 139975901783765 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32329728 140731151978896 140731151979049 140731151979049 140731151982543 0
[pid=3217/tid=3227] ppid=3214 vsize=10617796 memory=8151248 CPUtime=0 cores=0,2,4,6
/proc/3217/task/3227/stat : 3227 (java) S 3214 3217 17093 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 64729595 10872623104 2037812 18446744073709551615 4194304 4196468 140731151974608 139974938695632 139975901792155 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32329728 140731151978896 140731151979049 140731151979049 140731151982543 0
[pid=3217/tid=3228] ppid=3214 vsize=10617796 memory=8151248 CPUtime=1.53 cores=0,2,4,6
/proc/3217/task/3228/stat : 3228 (java) S 3214 3217 17093 0 -1 1077944384 6949 0 0 0 152 1 0 0 20 0 16 0 64729595 10872623104 2037812 18446744073709551615 4194304 4196468 140731151974608 139974937643760 139975901784706 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32329728 140731151978896 140731151979049 140731151979049 140731151982543 0
[pid=3217/tid=3229] ppid=3214 vsize=10617796 memory=4028 CPUtime=1.69 cores=0,2,4,6
/proc/3217/task/3229/stat : 3229 (java) S 3214 3217 17093 0 -1 1077944384 9609 0 0 0 168 1 0 0 20 0 16 0 64729595 10872623104 2037812 18446744073709551615 4194304 4196468 140731151974608 139974936591216 139975901784706 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32329728 140731151978896 140731151979049 140731151979049 140731151982543 0
[pid=3217/tid=3230] ppid=3214 vsize=10617796 memory=8151248 CPUtime=0.42 cores=0,2,4,6
/proc/3217/task/3230/stat : 3230 (java) S 3214 3217 17093 0 -1 1077944384 8965 0 0 0 41 1 0 0 20 0 16 0 64729595 10872623104 2037812 18446744073709551615 4194304 4196468 140731151974608 139974935538160 139975901784706 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32329728 140731151978896 140731151979049 140731151979049 140731151982543 0
[pid=3217/tid=3231] ppid=3214 vsize=10617796 memory=4612 CPUtime=0 cores=0,2,4,6
/proc/3217/task/3231/stat : 3231 (java) S 3214 3217 17093 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 64729595 10872623104 2037812 18446744073709551615 4194304 4196468 140731151974608 139974934485856 139975901783765 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32329728 140731151978896 140731151979049 140731151979049 140731151982543 0
[pid=3217/tid=3232] ppid=3214 vsize=10617796 memory=8151248 CPUtime=1.23 cores=0,2,4,6
/proc/3217/task/3232/stat : 3232 (java) S 3214 3217 17093 0 -1 1077944384 2115 0 0 0 57 66 0 0 20 0 16 0 64729601 10872623104 2037812 18446744073709551615 4194304 4196468 140731151974608 139974933432880 139975901784706 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 1 0 0 6293624 6294260 32329728 140731151978896 140731151979049 140731151979049 140731151982543 0
[pid=3217/tid=3235] ppid=3214 vsize=10617796 memory=8151248 CPUtime=0 cores=0,2,4,6
/proc/3217/task/3235/stat : 3235 (java) S 3214 3217 17093 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 16 0 64737388 10872623104 2037812 18446744073709551615 4194304 4196468 140731151974608 139974932378672 139975901784706 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32329728 140731151978896 140731151979049 140731151979049 140731151982543 0
Current children cumulated CPU time: 2520.01 s
Current children cumulated vsize: 10617796 KiB
Current children cumulated memory: 8151248 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2021.57 s]
# the end of solver process 3217 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2511.46 s, system=8.84753 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2021.41 s]
/proc/loadavg: 2.14 2.15 2.23 3/211 3370
/proc/meminfo: memFree=20243252/32770624 swapFree=67108860/67108860
[pid=3217] ppid=3214 vsize=10817488 memory=8151588 CPUtime=2520.13 cores=0,2,4,6
/proc/3217/stat : 3217 (java) S 3214 3217 17093 0 -1 1077944320 2499912 0 0 0 251134 879 0 0 20 0 17 0 64729584 11077107712 2037897 18446744073709551615 4194304 4196468 140731151974608 140731151957152 139975901773559 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 4 0 0 6293624 6294260 32329728 140731151978896 140731151979049 140731151979049 140731151982543 0
/proc/3217/statm: 2704372 2037897 3140 1 0 2693825 0
[pid=3217/tid=3219] ppid=3214 vsize=10817488 memory=7594030427596612435 CPUtime=1827.3 cores=0,2,4,6
/proc/3217/task/3219/stat : 3219 (java) R 3214 3217 17093 0 -1 4202560 1685443 0 0 0 182612 118 0 0 20 0 17 0 64729589 11077107712 2037897 18446744073709551615 4194304 4196468 140731151974608 139975906009728 139975547158297 0 4 1 16800974 0 0 0 -1 4 0 0 5 0 0 6293624 6294260 32329728 140731151978896 140731151979049 140731151979049 140731151982543 0
[pid=3217/tid=3220] ppid=3214 vsize=10817488 memory=7454130749351154278 CPUtime=166.3 cores=0,2,4,6
/proc/3217/task/3220/stat : 3220 (java) S 3214 3217 17093 0 -1 1077944384 186419 0 0 0 16448 182 0 0 20 0 17 0 64729590 11077107712 2037897 18446744073709551615 4194304 4196468 140731151974608 139975871486992 139975901783765 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32329728 140731151978896 140731151979049 140731151979049 140731151982543 0
[pid=3217/tid=3221] ppid=3214 vsize=10817488 memory=7454130749351154278 CPUtime=165.76 cores=0,2,4,6
/proc/3217/task/3221/stat : 3221 (java) S 3214 3217 17093 0 -1 1077944384 213435 0 0 0 16407 169 0 0 20 0 17 0 64729590 11077107712 2037897 18446744073709551615 4194304 4196468 140731151974608 139975511792784 139975901783765 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32329728 140731151978896 140731151979049 140731151979049 140731151982543 0
[pid=3217/tid=3222] ppid=3214 vsize=10817488 memory=7454130749351154278 CPUtime=165.6 cores=0,2,4,6
/proc/3217/task/3222/stat : 3222 (java) S 3214 3217 17093 0 -1 1077944384 121683 0 0 0 16375 185 0 0 20 0 17 0 64729590 11077107712 2037897 18446744073709551615 4194304 4196468 140731151974608 139975510739728 139975901783765 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32329728 140731151978896 140731151979049 140731151979049 140731151982543 0
[pid=3217/tid=3223] ppid=3214 vsize=10817488 memory=7454130749351154278 CPUtime=164.98 cores=0,2,4,6
/proc/3217/task/3223/stat : 3223 (java) S 3214 3217 17093 0 -1 1077944384 132876 0 0 0 16333 165 0 0 20 0 17 0 64729590 11077107712 2037897 18446744073709551615 4194304 4196468 140731151974608 139975509687184 139975901783765 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32329728 140731151978896 140731151979049 140731151979049 140731151982543 0
[pid=3217/tid=3224] ppid=3214 vsize=10817488 memory=7235147594880805952 CPUtime=25.18 cores=0,2,4,6
/proc/3217/task/3224/stat : 3224 (java) S 3214 3217 17093 0 -1 1077944384 129446 0 0 0 2511 7 0 0 20 0 17 0 64729591 11077107712 2037897 18446744073709551615 4194304 4196468 140731151974608 139974941853936 139975901784706 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32329728 140731151978896 140731151979049 140731151979049 140731151982543 0
[pid=3217/tid=3225] ppid=3214 vsize=10817488 memory=7884508188369305700 CPUtime=0 cores=0,2,4,6
/proc/3217/task/3225/stat : 3225 (java) S 3214 3217 17093 0 -1 1077944384 40 0 0 0 0 0 0 0 20 0 17 0 64729592 11077107712 2037897 18446744073709551615 4194304 4196468 140731151974608 139974940800224 139975901783765 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32329728 140731151978896 140731151979049 140731151979049 140731151982543 0
[pid=3217/tid=3226] ppid=3214 vsize=10817488 memory=7884508188369305700 CPUtime=0 cores=0,2,4,6
/proc/3217/task/3226/stat : 3226 (java) S 3214 3217 17093 0 -1 1077944384 68 0 0 0 0 0 0 0 20 0 17 0 64729592 11077107712 2037897 18446744073709551615 4194304 4196468 140731151974608 139974939747072 139975901783765 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32329728 140731151978896 140731151979049 140731151979049 140731151982543 0
[pid=3217/tid=3227] ppid=3214 vsize=10817488 memory=7092443075827755328 CPUtime=0 cores=0,2,4,6
/proc/3217/task/3227/stat : 3227 (java) S 3214 3217 17093 0 -1 1077944384 247 0 0 0 0 0 0 0 20 0 17 0 64729595 11077107712 2037897 18446744073709551615 4194304 4196468 140731151974608 139974938695632 139975901792155 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32329728 140731151978896 140731151979049 140731151979049 140731151982543 0
[pid=3217/tid=3228] ppid=3214 vsize=10817488 memory=7235385076339992434 CPUtime=1.54 cores=0,2,4,6
/proc/3217/task/3228/stat : 3228 (java) S 3214 3217 17093 0 -1 1077944384 7090 0 0 0 153 1 0 0 20 0 17 0 64729595 11077107712 2037897 18446744073709551615 4194304 4196468 140731151974608 139974937643760 139975901784706 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32329728 140731151978896 140731151979049 140731151979049 140731151982543 0
[pid=3217/tid=3229] ppid=3214 vsize=10817488 memory=7235385076339992434 CPUtime=1.69 cores=0,2,4,6
/proc/3217/task/3229/stat : 3229 (java) S 3214 3217 17093 0 -1 1077944384 9661 0 0 0 168 1 0 0 20 0 17 0 64729595 11077107712 2037897 18446744073709551615 4194304 4196468 140731151974608 139974936591216 139975901784706 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32329728 140731151978896 140731151979049 140731151979049 140731151982543 0
[pid=3217/tid=3230] ppid=3214 vsize=10817488 memory=288230574492221466 CPUtime=0.43 cores=0,2,4,6
/proc/3217/task/3230/stat : 3230 (java) S 3214 3217 17093 0 -1 1077944384 9661 0 0 0 42 1 0 0 20 0 17 0 64729595 11077107712 2037897 18446744073709551615 4194304 4196468 140731151974608 139974935538160 139975901784706 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32329728 140731151978896 140731151979049 140731151979049 140731151982543 0
[pid=3217/tid=3231] ppid=3214 vsize=10817488 memory=288230621803970871 CPUtime=0 cores=0,2,4,6
/proc/3217/task/3231/stat : 3231 (java) S 3214 3217 17093 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 17 0 64729595 11077107712 2037897 18446744073709551615 4194304 4196468 140731151974608 139974934485856 139975901783765 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32329728 140731151978896 140731151979049 140731151979049 140731151982543 0
[pid=3217/tid=3232] ppid=3214 vsize=10817488 memory=13845261709478419 CPUtime=1.23 cores=0,2,4,6
/proc/3217/task/3232/stat : 3232 (java) S 3214 3217 17093 0 -1 1077944384 2115 0 0 0 57 66 0 0 20 0 17 0 64729601 11077107712 2037897 18446744073709551615 4194304 4196468 140731151974608 139974933432880 139975901784706 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 1 0 0 6293624 6294260 32329728 140731151978896 140731151979049 140731151979049 140731151982543 0
Current children cumulated CPU time: 2520.13 s
Current children cumulated vsize: 10817488 KiB
Current children cumulated memory: 8151588 KiB
[startup+2021.5 s]
/proc/loadavg: 2.14 2.15 2.23 3/211 3370
/proc/meminfo: memFree=20243252/32770624 swapFree=67108860/67108860
[pid=3217] ppid=3214 vsize=10817488 memory=8151588 CPUtime=2520.22 cores=0,2,4,6
/proc/3217/stat : 3217 (java) S 3214 3217 17093 0 -1 1077944320 2500015 0 0 0 251143 879 0 0 20 0 17 0 64729584 11077107712 2037897 18446744073709551615 4194304 4196468 140731151974608 140731151957152 139975901773559 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 4 0 0 6293624 6294260 32329728 140731151978896 140731151979049 140731151979049 140731151982543 0
/proc/3217/statm: 2704372 2037897 3140 1 0 2693825 0
[pid=3217/tid=3219] ppid=3214 vsize=10817488 memory=8151248 CPUtime=1827.4 cores=0,2,4,6
/proc/3217/task/3219/stat : 3219 (java) R 3214 3217 17093 0 -1 4202560 1685546 0 0 0 182622 118 0 0 20 0 17 0 64729589 11077107712 2037897 18446744073709551615 4194304 4196468 140731151974608 139975906009728 139975547158301 0 4 1 16800974 0 0 0 -1 4 0 0 5 0 0 6293624 6294260 32329728 140731151978896 140731151979049 140731151979049 140731151982543 0
[pid=3217/tid=3220] ppid=3214 vsize=10817488 memory=8151248 CPUtime=166.3 cores=0,2,4,6
/proc/3217/task/3220/stat : 3220 (java) S 3214 3217 17093 0 -1 1077944384 186419 0 0 0 16448 182 0 0 20 0 17 0 64729590 11077107712 2037897 18446744073709551615 4194304 4196468 140731151974608 139975871486992 139975901783765 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32329728 140731151978896 140731151979049 140731151979049 140731151982543 0
[pid=3217/tid=3221] ppid=3214 vsize=10817488 memory=8151248 CPUtime=165.76 cores=0,2,4,6
/proc/3217/task/3221/stat : 3221 (java) S 3214 3217 17093 0 -1 1077944384 213435 0 0 0 16407 169 0 0 20 0 17 0 64729590 11077107712 2037897 18446744073709551615 4194304 4196468 140731151974608 139975511792784 139975901783765 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32329728 140731151978896 140731151979049 140731151979049 140731151982543 0
[pid=3217/tid=3222] ppid=3214 vsize=10817488 memory=8151248 CPUtime=165.6 cores=0,2,4,6
/proc/3217/task/3222/stat : 3222 (java) S 3214 3217 17093 0 -1 1077944384 121683 0 0 0 16375 185 0 0 20 0 17 0 64729590 11077107712 2037897 18446744073709551615 4194304 4196468 140731151974608 139975510739728 139975901783765 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32329728 140731151978896 140731151979049 140731151979049 140731151982543 0
[pid=3217/tid=3223] ppid=3214 vsize=10817488 memory=8151248 CPUtime=164.98 cores=0,2,4,6
/proc/3217/task/3223/stat : 3223 (java) S 3214 3217 17093 0 -1 1077944384 132876 0 0 0 16333 165 0 0 20 0 17 0 64729590 11077107712 2037897 18446744073709551615 4194304 4196468 140731151974608 139975509687184 139975901783765 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32329728 140731151978896 140731151979049 140731151979049 140731151982543 0
[pid=3217/tid=3224] ppid=3214 vsize=10817488 memory=8151248 CPUtime=25.18 cores=0,2,4,6
/proc/3217/task/3224/stat : 3224 (java) S 3214 3217 17093 0 -1 1077944384 129446 0 0 0 2511 7 0 0 20 0 17 0 64729591 11077107712 2037897 18446744073709551615 4194304 4196468 140731151974608 139974941853936 139975901784706 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32329728 140731151978896 140731151979049 140731151979049 140731151982543 0
[pid=3217/tid=3225] ppid=3214 vsize=10817488 memory=55 CPUtime=0 cores=0,2,4,6
/proc/3217/task/3225/stat : 3225 (java) S 3214 3217 17093 0 -1 1077944384 40 0 0 0 0 0 0 0 20 0 17 0 64729592 11077107712 2037897 18446744073709551615 4194304 4196468 140731151974608 139974940800224 139975901783765 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32329728 140731151978896 140731151979049 140731151979049 140731151982543 0
[pid=3217/tid=3226] ppid=3214 vsize=10817488 memory=8151248 CPUtime=0 cores=0,2,4,6
/proc/3217/task/3226/stat : 3226 (java) S 3214 3217 17093 0 -1 1077944384 68 0 0 0 0 0 0 0 20 0 17 0 64729592 11077107712 2037897 18446744073709551615 4194304 4196468 140731151974608 139974939747072 139975901783765 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32329728 140731151978896 140731151979049 140731151979049 140731151982543 0
[pid=3217/tid=3227] ppid=3214 vsize=10817488 memory=4028 CPUtime=0 cores=0,2,4,6
/proc/3217/task/3227/stat : 3227 (java) S 3214 3217 17093 0 -1 1077944384 247 0 0 0 0 0 0 0 20 0 17 0 64729595 11077107712 2037897 18446744073709551615 4194304 4196468 140731151974608 139974938695632 139975901792155 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32329728 140731151978896 140731151979049 140731151979049 140731151982543 0
[pid=3217/tid=3228] ppid=3214 vsize=10817488 memory=8151248 CPUtime=1.54 cores=0,2,4,6
/proc/3217/task/3228/stat : 3228 (java) S 3214 3217 17093 0 -1 1077944384 7090 0 0 0 153 1 0 0 20 0 17 0 64729595 11077107712 2037897 18446744073709551615 4194304 4196468 140731151974608 139974937643760 139975901784706 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32329728 140731151978896 140731151979049 140731151979049 140731151982543 0
[pid=3217/tid=3229] ppid=3214 vsize=10817488 memory=4612 CPUtime=1.69 cores=0,2,4,6
/proc/3217/task/3229/stat : 3229 (java) S 3214 3217 17093 0 -1 1077944384 9661 0 0 0 168 1 0 0 20 0 17 0 64729595 11077107712 2037897 18446744073709551615 4194304 4196468 140731151974608 139974936591216 139975901784706 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32329728 140731151978896 140731151979049 140731151979049 140731151982543 0
[pid=3217/tid=3230] ppid=3214 vsize=10817488 memory=8151248 CPUtime=0.43 cores=0,2,4,6
/proc/3217/task/3230/stat : 3230 (java) S 3214 3217 17093 0 -1 1077944384 9661 0 0 0 42 1 0 0 20 0 17 0 64729595 11077107712 2037897 18446744073709551615 4194304 4196468 140731151974608 139974935538160 139975901784706 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32329728 140731151978896 140731151979049 140731151979049 140731151982543 0
[pid=3217/tid=3231] ppid=3214 vsize=10817488 memory=8151248 CPUtime=0 cores=0,2,4,6
/proc/3217/task/3231/stat : 3231 (java) S 3214 3217 17093 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 17 0 64729595 11077107712 2037897 18446744073709551615 4194304 4196468 140731151974608 139974934485856 139975901783765 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32329728 140731151978896 140731151979049 140731151979049 140731151982543 0
[pid=3217/tid=3232] ppid=3214 vsize=10817488 memory=8151248 CPUtime=1.23 cores=0,2,4,6
/proc/3217/task/3232/stat : 3232 (java) S 3214 3217 17093 0 -1 1077944384 2115 0 0 0 57 66 0 0 20 0 17 0 64729601 11077107712 2037897 18446744073709551615 4194304 4196468 140731151974608 139974933432880 139975901784706 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 1 0 0 6293624 6294260 32329728 140731151978896 140731151979049 140731151979049 140731151982543 0
Current children cumulated CPU time: 2520.22 s
Current children cumulated vsize: 10817488 KiB
Current children cumulated memory: 8151588 KiB
Child status: 143
Real time (s): 2021.57
CPU time (s): 2520.31
CPU user time (s): 2511.46
CPU system time (s): 8.84753
CPU usage (%): 124.671
Max. virtual memory (cumulated for all children) (KiB): 10817488
Max. memory (cumulated for all children) (KiB): 8152920
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2511.46
system time used= 8.84753
maximum resident set size= 8152920
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2500484
page faults= 0
swaps= 0
block input operations= 0
block output operations= 1880
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 55613
involuntary context switches= 9715
# summary of solver processes directly reported to runsolver:
# pid: 3217
# total CPU time (s): 2520.31
# total CPU user time (s): 2511.46
# total CPU system time (s): 8.84753
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 12.737 second user time and 18.5992 second system time
The end