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 (14151 MiB free)
memory of node 1: 16384 MiB (9097 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4310062-1534326489/watcher-4310062-1534326489 -o /tmp/evaluation-result-4310062-1534326489/solver-4310062-1534326489 -C 252 -W 252 -M 15500 --bin-var /tmp/runsolver-exch-node134-1534325999-6915 --watchdog 312 java -Xmx11000m -jar oscarCPXcsp3-conf_order_restart.jar --randomseed 2066212444 --timelimit 252 --memlimit 11000 --nbcore 4 HOME/instance-4310062-1534326489.xml
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 252 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 282 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 252 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=7210, runsolver pid=7207
[startup+0.100123 s]*
/proc/loadavg: 1.77 1.62 1.48 4/219 7225
/proc/meminfo: memFree=23789384/32770624 swapFree=67108688/67108860
[pid=7210] ppid=7207 vsize=14082736 memory=32152 CPUtime=0.12 cores=0,2,4,6
/proc/7210/stat : 7210 (java) S 7207 7210 2816 0 -1 1077944320 6414 0 0 0 11 1 0 0 20 0 15 0 250212141 14420721664 8038 33554432000 4194304 4196468 140737276225632 140737276208176 140585657429751 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 35745792 140737276232782 140737276232974 140737276232974 140737276235727 0
/proc/7210/statm: 3520684 8038 3153 1 0 3482761 0
[pid=7210/tid=7212] ppid=7207 vsize=14082736 memory=-8824910636826588352 CPUtime=0.09 cores=0,2,4,6
/proc/7210/task/7212/stat : 7212 (java) R 7207 7210 2816 0 -1 4202560 4466 0 0 0 8 1 0 0 20 0 15 0 250212141 14420721664 8038 33554432000 4194304 4196468 140737276225632 140585661625088 140585641510268 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 35745792 140737276232782 140737276232974 140737276232974 140737276235727 0
[pid=7210/tid=7213] ppid=7207 vsize=14082736 memory=-7522837583129502606 CPUtime=0 cores=0,2,4,6
/proc/7210/task/7213/stat : 7213 (java) S 7207 7210 2816 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 250212142 14420721664 8038 33554432000 4194304 4196468 140737276225632 140585622711184 140585657439957 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35745792 140737276232782 140737276232974 140737276232974 140737276235727 0
[pid=7210/tid=7214] ppid=7207 vsize=14082736 memory=140472841246336 CPUtime=0 cores=0,2,4,6
/proc/7210/task/7214/stat : 7214 (java) S 7207 7210 2816 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250212142 14420721664 8038 33554432000 4194304 4196468 140737276225632 140585252010768 140585657439957 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35745792 140737276232782 140737276232974 140737276232974 140737276235727 0
[pid=7210/tid=7215] ppid=7207 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/7210/task/7215/stat : 7215 (java) S 7207 7210 2816 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250212142 14420721664 8038 33554432000 4194304 4196468 140737276225632 140585250958480 140585657439957 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35745792 140737276232782 140737276232974 140737276232974 140737276235727 0
[pid=7210/tid=7216] ppid=7207 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/7210/task/7216/stat : 7216 (java) S 7207 7210 2816 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250212142 14420721664 8038 33554432000 4194304 4196468 140737276225632 140585249905680 140585657439957 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35745792 140737276232782 140737276232974 140737276232974 140737276235727 0
[pid=7210/tid=7217] ppid=7207 vsize=14082736 memory=140472841246336 CPUtime=0 cores=0,2,4,6
/proc/7210/task/7217/stat : 7217 (java) S 7207 7210 2816 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 250212144 14420721664 8038 33554432000 4194304 4196468 140737276225632 140584997042288 140585657440898 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35745792 140737276232782 140737276232974 140737276232974 140737276235727 0
[pid=7210/tid=7218] ppid=7207 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/7210/task/7218/stat : 7218 (java) S 7207 7210 2816 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 250212144 14420721664 8038 33554432000 4194304 4196468 140737276225632 140584995988256 140585657439957 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35745792 140737276232782 140737276232974 140737276232974 140737276235727 0
[pid=7210/tid=7219] ppid=7207 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/7210/task/7219/stat : 7219 (java) S 7207 7210 2816 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 250212144 14420721664 8038 33554432000 4194304 4196468 140737276225632 140584994935920 140585657439957 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35745792 140737276232782 140737276232974 140737276232974 140737276235727 0
[pid=7210/tid=7220] ppid=7207 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/7210/task/7220/stat : 7220 (java) S 7207 7210 2816 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250212147 14420721664 8038 33554432000 4194304 4196468 140737276225632 140584993884240 140585657448347 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35745792 140737276232782 140737276232974 140737276232974 140737276235727 0
[pid=7210/tid=7221] ppid=7207 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/7210/task/7221/stat : 7221 (java) S 7207 7210 2816 0 -1 1077944384 296 0 0 0 0 0 0 0 20 0 15 0 250212147 14420721664 8038 33554432000 4194304 4196468 140737276225632 140584992832112 140585657440898 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35745792 140737276232782 140737276232974 140737276232974 140737276235727 0
[pid=7210/tid=7222] ppid=7207 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/7210/task/7222/stat : 7222 (java) S 7207 7210 2816 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 250212147 14420721664 8038 33554432000 4194304 4196468 140737276225632 140584991779312 140585657440898 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35745792 140737276232782 140737276232974 140737276232974 140737276235727 0
[pid=7210/tid=7223] ppid=7207 vsize=14082736 memory=140472841246336 CPUtime=0.01 cores=0,2,4,6
/proc/7210/task/7223/stat : 7223 (java) S 7207 7210 2816 0 -1 1077944384 283 0 0 0 1 0 0 0 20 0 15 0 250212147 14420721664 8038 33554432000 4194304 4196468 140737276225632 140584990727024 140585657440898 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35745792 140737276232782 140737276232974 140737276232974 140737276235727 0
[pid=7210/tid=7224] ppid=7207 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/7210/task/7224/stat : 7224 (java) S 7207 7210 2816 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250212147 14420721664 8038 33554432000 4194304 4196468 140737276225632 140584989674464 140585657439957 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35745792 140737276232782 140737276232974 140737276232974 140737276235727 0
[pid=7210/tid=7225] ppid=7207 vsize=14082736 memory=140472841246336 CPUtime=0 cores=0,2,4,6
/proc/7210/task/7225/stat : 7225 (java) S 7207 7210 2816 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250212147 14420721664 8038 33554432000 4194304 4196468 140737276225632 140584988621232 140585657440898 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35745792 140737276232782 140737276232974 140737276232974 140737276235727 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 14082736 KiB
Current children cumulated memory: 32152 KiB
[startup+0.210688 s]*
/proc/loadavg: 1.77 1.62 1.48 4/219 7225
/proc/meminfo: memFree=23774284/32770624 swapFree=67108688/67108860
[pid=7210] ppid=7207 vsize=14082736 memory=47684 CPUtime=0.29 cores=0,2,4,6
/proc/7210/stat : 7210 (java) S 7207 7210 2816 0 -1 1077944320 10013 0 0 0 27 2 0 0 20 0 15 0 250212141 14420721664 11921 33554432000 4194304 4196468 140737276225632 140737276208176 140585657429751 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 35745792 140737276232782 140737276232974 140737276232974 140737276235727 0
/proc/7210/statm: 3520684 11921 3329 1 0 3482761 0
[pid=7210/tid=7212] ppid=7207 vsize=14082736 memory=7022364594140610616 CPUtime=0.2 cores=0,2,4,6
/proc/7210/task/7212/stat : 7212 (java) R 7207 7210 2816 0 -1 4202560 7795 0 0 0 18 2 0 0 20 0 15 0 250212141 14420721664 11921 33554432000 4194304 4196468 140737276225632 140585661657392 140585293635652 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 35745792 140737276232782 140737276232974 140737276232974 140737276235727 0
[pid=7210/tid=7213] ppid=7207 vsize=14082736 memory=365 CPUtime=0 cores=0,2,4,6
/proc/7210/task/7213/stat : 7213 (java) S 7207 7210 2816 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 250212142 14420721664 11921 33554432000 4194304 4196468 140737276225632 140585622711184 140585657439957 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35745792 140737276232782 140737276232974 140737276232974 140737276235727 0
[pid=7210/tid=7214] ppid=7207 vsize=14082736 memory=140472841253803 CPUtime=0 cores=0,2,4,6
/proc/7210/task/7214/stat : 7214 (java) S 7207 7210 2816 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250212142 14420721664 11921 33554432000 4194304 4196468 140737276225632 140585252010768 140585657439957 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35745792 140737276232782 140737276232974 140737276232974 140737276235727 0
[pid=7210/tid=7215] ppid=7207 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/7210/task/7215/stat : 7215 (java) S 7207 7210 2816 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250212142 14420721664 11987 33554432000 4194304 4196468 140737276225632 140585250958480 140585657439957 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35745792 140737276232782 140737276232974 140737276232974 140737276235727 0
[pid=7210/tid=7216] ppid=7207 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/7210/task/7216/stat : 7216 (java) S 7207 7210 2816 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250212142 14420721664 11987 33554432000 4194304 4196468 140737276225632 140585249905680 140585657439957 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35745792 140737276232782 140737276232974 140737276232974 140737276235727 0
[pid=7210/tid=7217] ppid=7207 vsize=14082736 memory=140472841246336 CPUtime=0 cores=0,2,4,6
/proc/7210/task/7217/stat : 7217 (java) S 7207 7210 2816 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 250212144 14420721664 11987 33554432000 4194304 4196468 140737276225632 140584997042288 140585657440898 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35745792 140737276232782 140737276232974 140737276232974 140737276235727 0
[pid=7210/tid=7218] ppid=7207 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/7210/task/7218/stat : 7218 (java) S 7207 7210 2816 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 250212144 14420721664 11987 33554432000 4194304 4196468 140737276225632 140584995988256 140585657439957 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35745792 140737276232782 140737276232974 140737276232974 140737276235727 0
[pid=7210/tid=7219] ppid=7207 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/7210/task/7219/stat : 7219 (java) S 7207 7210 2816 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 250212144 14420721664 11987 33554432000 4194304 4196468 140737276225632 140584994935920 140585657439957 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35745792 140737276232782 140737276232974 140737276232974 140737276235727 0
[pid=7210/tid=7220] ppid=7207 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/7210/task/7220/stat : 7220 (java) S 7207 7210 2816 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250212147 14420721664 11987 33554432000 4194304 4196468 140737276225632 140584993884240 140585657448347 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35745792 140737276232782 140737276232974 140737276232974 140737276235727 0
[pid=7210/tid=7221] ppid=7207 vsize=14082736 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/7210/task/7221/stat : 7221 (java) R 7207 7210 2816 0 -1 4202560 402 0 0 0 2 0 0 0 20 0 15 0 250212147 14420721664 11987 33554432000 4194304 4196468 140737276225632 140584992832112 140585638130048 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 35745792 140737276232782 140737276232974 140737276232974 140737276235727 0
[pid=7210/tid=7222] ppid=7207 vsize=14082736 memory=-1 CPUtime=0.01 cores=0,2,4,6
/proc/7210/task/7222/stat : 7222 (java) R 7207 7210 2816 0 -1 1077944384 138 0 0 0 1 0 0 0 20 0 15 0 250212147 14420721664 11987 33554432000 4194304 4196468 140737276225632 140584991779312 140585657440898 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 35745792 140737276232782 140737276232974 140737276232974 140737276235727 0
[pid=7210/tid=7223] ppid=7207 vsize=14082736 memory=140472841246336 CPUtime=0.05 cores=0,2,4,6
/proc/7210/task/7223/stat : 7223 (java) R 7207 7210 2816 0 -1 4202560 309 0 0 0 5 0 0 0 20 0 15 0 250212147 14420721664 11987 33554432000 4194304 4196468 140737276225632 140584990727024 140585636862981 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 35745792 140737276232782 140737276232974 140737276232974 140737276235727 0
[pid=7210/tid=7224] ppid=7207 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/7210/task/7224/stat : 7224 (java) S 7207 7210 2816 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250212147 14420721664 11987 33554432000 4194304 4196468 140737276225632 140584989674464 140585657439957 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35745792 140737276232782 140737276232974 140737276232974 140737276235727 0
[pid=7210/tid=7225] ppid=7207 vsize=14082736 memory=140472841246336 CPUtime=0 cores=0,2,4,6
/proc/7210/task/7225/stat : 7225 (java) S 7207 7210 2816 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250212147 14420721664 11987 33554432000 4194304 4196468 140737276225632 140584988621232 140585657440898 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35745792 140737276232782 140737276232974 140737276232974 140737276235727 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 14082736 KiB
Current children cumulated memory: 47684 KiB
[startup+0.310866 s]*
/proc/loadavg: 1.77 1.62 1.48 3/219 7225
/proc/meminfo: memFree=23770188/32770624 swapFree=67108688/67108860
[pid=7210] ppid=7207 vsize=14082736 memory=51072 CPUtime=0.45 cores=0,2,4,6
/proc/7210/stat : 7210 (java) S 7207 7210 2816 0 -1 1077944320 10445 0 0 0 42 3 0 0 20 0 15 0 250212141 14420721664 12768 33554432000 4194304 4196468 140737276225632 140737276208176 140585657429751 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 35745792 140737276232782 140737276232974 140737276232974 140737276235727 0
/proc/7210/statm: 3520684 12768 3374 1 0 3482761 0
[pid=7210/tid=7212] ppid=7207 vsize=14082736 memory=7022364594140610616 CPUtime=0.29 cores=0,2,4,6
/proc/7210/task/7212/stat : 7212 (java) R 7207 7210 2816 0 -1 4202560 8130 0 0 0 27 2 0 0 20 0 15 0 250212141 14420721664 12768 33554432000 4194304 4196468 140737276225632 140585661650592 140585638993261 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 35745792 140737276232782 140737276232974 140737276232974 140737276235727 0
[pid=7210/tid=7213] ppid=7207 vsize=14082736 memory=4294980954 CPUtime=0 cores=0,2,4,6
/proc/7210/task/7213/stat : 7213 (java) S 7207 7210 2816 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 250212142 14420721664 12768 33554432000 4194304 4196468 140737276225632 140585622711184 140585657439957 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35745792 140737276232782 140737276232974 140737276232974 140737276235727 0
[pid=7210/tid=7214] ppid=7207 vsize=14082736 memory=140472842644504 CPUtime=0 cores=0,2,4,6
/proc/7210/task/7214/stat : 7214 (java) S 7207 7210 2816 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250212142 14420721664 12768 33554432000 4194304 4196468 140737276225632 140585252010768 140585657439957 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35745792 140737276232782 140737276232974 140737276232974 140737276235727 0
[pid=7210/tid=7215] ppid=7207 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/7210/task/7215/stat : 7215 (java) S 7207 7210 2816 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250212142 14420721664 12768 33554432000 4194304 4196468 140737276225632 140585250958480 140585657439957 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35745792 140737276232782 140737276232974 140737276232974 140737276235727 0
[pid=7210/tid=7216] ppid=7207 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/7210/task/7216/stat : 7216 (java) S 7207 7210 2816 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250212142 14420721664 12768 33554432000 4194304 4196468 140737276225632 140585249905680 140585657439957 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35745792 140737276232782 140737276232974 140737276232974 140737276235727 0
[pid=7210/tid=7217] ppid=7207 vsize=14082736 memory=140472841246336 CPUtime=0 cores=0,2,4,6
/proc/7210/task/7217/stat : 7217 (java) S 7207 7210 2816 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 250212144 14420721664 12768 33554432000 4194304 4196468 140737276225632 140584997042288 140585657440898 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35745792 140737276232782 140737276232974 140737276232974 140737276235727 0
[pid=7210/tid=7218] ppid=7207 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/7210/task/7218/stat : 7218 (java) S 7207 7210 2816 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 250212144 14420721664 12768 33554432000 4194304 4196468 140737276225632 140584995988256 140585657439957 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35745792 140737276232782 140737276232974 140737276232974 140737276235727 0
[pid=7210/tid=7219] ppid=7207 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/7210/task/7219/stat : 7219 (java) S 7207 7210 2816 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 250212144 14420721664 12768 33554432000 4194304 4196468 140737276225632 140584994935920 140585657439957 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35745792 140737276232782 140737276232974 140737276232974 140737276235727 0
[pid=7210/tid=7220] ppid=7207 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/7210/task/7220/stat : 7220 (java) S 7207 7210 2816 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250212147 14420721664 12768 33554432000 4194304 4196468 140737276225632 140584993884240 140585657448347 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35745792 140737276232782 140737276232974 140737276232974 140737276235727 0
[pid=7210/tid=7221] ppid=7207 vsize=14082736 memory=0 CPUtime=0.03 cores=0,2,4,6
/proc/7210/task/7221/stat : 7221 (java) S 7207 7210 2816 0 -1 1077944384 458 0 0 0 3 0 0 0 20 0 15 0 250212147 14420721664 12768 33554432000 4194304 4196468 140737276225632 140584992832112 140585657440898 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35745792 140737276232782 140737276232974 140737276232974 140737276235727 0
[pid=7210/tid=7222] ppid=7207 vsize=14082736 memory=-1 CPUtime=0.01 cores=0,2,4,6
/proc/7210/task/7222/stat : 7222 (java) S 7207 7210 2816 0 -1 1077944384 154 0 0 0 1 0 0 0 20 0 15 0 250212147 14420721664 12768 33554432000 4194304 4196468 140737276225632 140584991779312 140585657440898 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35745792 140737276232782 140737276232974 140737276232974 140737276235727 0
[pid=7210/tid=7223] ppid=7207 vsize=14082736 memory=140472841246336 CPUtime=0.08 cores=0,2,4,6
/proc/7210/task/7223/stat : 7223 (java) S 7207 7210 2816 0 -1 1077944384 322 0 0 0 8 0 0 0 20 0 15 0 250212147 14420721664 12768 33554432000 4194304 4196468 140737276225632 140584990727024 140585657440898 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35745792 140737276232782 140737276232974 140737276232974 140737276235727 0
[pid=7210/tid=7224] ppid=7207 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/7210/task/7224/stat : 7224 (java) S 7207 7210 2816 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250212147 14420721664 12768 33554432000 4194304 4196468 140737276225632 140584989674464 140585657439957 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35745792 140737276232782 140737276232974 140737276232974 140737276235727 0
[pid=7210/tid=7225] ppid=7207 vsize=14082736 memory=140472841246336 CPUtime=0 cores=0,2,4,6
/proc/7210/task/7225/stat : 7225 (java) S 7207 7210 2816 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250212147 14420721664 12768 33554432000 4194304 4196468 140737276225632 140584988621232 140585657440898 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35745792 140737276232782 140737276232974 140737276232974 140737276235727 0
Current children cumulated CPU time: 0.45 s
Current children cumulated vsize: 14082736 KiB
Current children cumulated memory: 51072 KiB
[startup+0.700792 s]
/proc/loadavg: 1.77 1.62 1.48 3/219 7225
/proc/meminfo: memFree=23747244/32770624 swapFree=67108688/67108860
[pid=7210] ppid=7207 vsize=14084804 memory=88680 CPUtime=0.99 cores=0,2,4,6
/proc/7210/stat : 7210 (java) S 7207 7210 2816 0 -1 1077944320 17080 0 0 0 95 4 0 0 20 0 15 0 250212141 14422839296 22170 33554432000 4194304 4196468 140737276225632 140737276208176 140585657429751 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 35745792 140737276232782 140737276232974 140737276232974 140737276235727 0
/proc/7210/statm: 3521201 22170 3495 1 0 3483273 0
[pid=7210/tid=7212] ppid=7207 vsize=14084804 memory=1172 CPUtime=0.67 cores=0,2,4,6
/proc/7210/task/7212/stat : 7212 (java) R 7207 7210 2816 0 -1 4202560 14447 0 0 0 64 3 0 0 20 0 15 0 250212141 14422839296 22170 33554432000 4194304 4196468 140737276225632 140585661653856 140585657451677 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 35745792 140737276232782 140737276232974 140737276232974 140737276235727 0
[pid=7210/tid=7213] ppid=7207 vsize=14084804 memory=37636 CPUtime=0 cores=0,2,4,6
/proc/7210/task/7213/stat : 7213 (java) S 7207 7210 2816 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 250212142 14422839296 22170 33554432000 4194304 4196468 140737276225632 140585622711184 140585657439957 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35745792 140737276232782 140737276232974 140737276232974 140737276235727 0
[pid=7210/tid=7214] ppid=7207 vsize=14084804 memory=3360 CPUtime=0 cores=0,2,4,6
/proc/7210/task/7214/stat : 7214 (java) S 7207 7210 2816 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250212142 14422839296 22170 33554432000 4194304 4196468 140737276225632 140585252010768 140585657439957 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35745792 140737276232782 140737276232974 140737276232974 140737276235727 0
[pid=7210/tid=7215] ppid=7207 vsize=14084804 memory=496 CPUtime=0 cores=0,2,4,6
/proc/7210/task/7215/stat : 7215 (java) S 7207 7210 2816 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250212142 14422839296 22170 33554432000 4194304 4196468 140737276225632 140585250958480 140585657439957 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35745792 140737276232782 140737276232974 140737276232974 140737276235727 0
[pid=7210/tid=7216] ppid=7207 vsize=14084804 memory=1624 CPUtime=0 cores=0,2,4,6
/proc/7210/task/7216/stat : 7216 (java) S 7207 7210 2816 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250212142 14422839296 22170 33554432000 4194304 4196468 140737276225632 140585249905680 140585657439957 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35745792 140737276232782 140737276232974 140737276232974 140737276235727 0
[pid=7210/tid=7217] ppid=7207 vsize=14084804 memory=928 CPUtime=0 cores=0,2,4,6
/proc/7210/task/7217/stat : 7217 (java) S 7207 7210 2816 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 250212144 14422839296 22170 33554432000 4194304 4196468 140737276225632 140584997042288 140585657440898 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35745792 140737276232782 140737276232974 140737276232974 140737276235727 0
[pid=7210/tid=7218] ppid=7207 vsize=14084804 memory=2332 CPUtime=0 cores=0,2,4,6
/proc/7210/task/7218/stat : 7218 (java) S 7207 7210 2816 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 250212144 14422839296 22170 33554432000 4194304 4196468 140737276225632 140584995988256 140585657439957 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35745792 140737276232782 140737276232974 140737276232974 140737276235727 0
[pid=7210/tid=7219] ppid=7207 vsize=14084804 memory=924 CPUtime=0 cores=0,2,4,6
/proc/7210/task/7219/stat : 7219 (java) S 7207 7210 2816 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 250212144 14422839296 22170 33554432000 4194304 4196468 140737276225632 140584994935920 140585657439957 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35745792 140737276232782 140737276232974 140737276232974 140737276235727 0
[pid=7210/tid=7220] ppid=7207 vsize=14084804 memory=6153431502485415525 CPUtime=0 cores=0,2,4,6
/proc/7210/task/7220/stat : 7220 (java) S 7207 7210 2816 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250212147 14422839296 22170 33554432000 4194304 4196468 140737276225632 140584993884240 140585657448347 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35745792 140737276232782 140737276232974 140737276232974 140737276235727 0
[pid=7210/tid=7221] ppid=7207 vsize=14084804 memory=7237400421024098393 CPUtime=0.08 cores=0,2,4,6
/proc/7210/task/7221/stat : 7221 (java) S 7207 7210 2816 0 -1 1077944384 591 0 0 0 8 0 0 0 20 0 15 0 250212147 14422839296 22170 33554432000 4194304 4196468 140737276225632 140584992832112 140585657440898 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35745792 140737276232782 140737276232974 140737276232974 140737276235727 0
[pid=7210/tid=7222] ppid=7207 vsize=14084804 memory=6154282490091891024 CPUtime=0.06 cores=0,2,4,6
/proc/7210/task/7222/stat : 7222 (java) S 7207 7210 2816 0 -1 1077944384 312 0 0 0 6 0 0 0 20 0 15 0 250212147 14422839296 22170 33554432000 4194304 4196468 140737276225632 140584991779312 140585657440898 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35745792 140737276232782 140737276232974 140737276232974 140737276235727 0
[pid=7210/tid=7223] ppid=7207 vsize=14084804 memory=0 CPUtime=0.15 cores=0,2,4,6
/proc/7210/task/7223/stat : 7223 (java) R 7207 7210 2816 0 -1 4202560 349 0 0 0 15 0 0 0 20 0 15 0 250212147 14422839296 22170 33554432000 4194304 4196468 140737276225632 140584990727024 140585657440898 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 35745792 140737276232782 140737276232974 140737276232974 140737276235727 0
[pid=7210/tid=7224] ppid=7207 vsize=14084804 memory=0 CPUtime=0 cores=0,2,4,6
/proc/7210/task/7224/stat : 7224 (java) S 7207 7210 2816 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250212147 14422839296 22170 33554432000 4194304 4196468 140737276225632 140584989674464 140585657439957 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35745792 140737276232782 140737276232974 140737276232974 140737276235727 0
[pid=7210/tid=7225] ppid=7207 vsize=14084804 memory=8700 CPUtime=0 cores=0,2,4,6
/proc/7210/task/7225/stat : 7225 (java) S 7207 7210 2816 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250212147 14422839296 22170 33554432000 4194304 4196468 140737276225632 140584988621232 140585657440898 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35745792 140737276232782 140737276232974 140737276232974 140737276235727 0
Current children cumulated CPU time: 0.99 s
Current children cumulated vsize: 14084804 KiB
Current children cumulated memory: 88680 KiB
[startup+1.50236 s]
/proc/loadavg: 1.77 1.62 1.48 6/203 7227
/proc/meminfo: memFree=24380312/32770624 swapFree=67108688/67108860
[pid=7210] ppid=7207 vsize=14088900 memory=183780 CPUtime=3.56 cores=0,2,4,6
/proc/7210/stat : 7210 (java) S 7207 7210 2816 0 -1 1077944320 24947 0 0 0 348 8 0 0 20 0 15 0 250212141 14427033600 45945 33554432000 4194304 4196468 140737276225632 140737276208176 140585657429751 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 35745792 140737276232782 140737276232974 140737276232974 140737276235727 0
/proc/7210/statm: 3522225 45945 3550 1 0 3484297 0
[pid=7210/tid=7212] ppid=7207 vsize=14088900 memory=3980 CPUtime=1.46 cores=0,2,4,6
/proc/7210/task/7212/stat : 7212 (java) R 7207 7210 2816 0 -1 4202560 17397 0 0 0 141 5 0 0 20 0 15 0 250212141 14427033600 45945 33554432000 4194304 4196468 140737276225632 140585661665936 140585299849935 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 35745792 140737276232782 140737276232974 140737276232974 140737276235727 0
[pid=7210/tid=7213] ppid=7207 vsize=14088900 memory=1924 CPUtime=0 cores=0,2,4,6
/proc/7210/task/7213/stat : 7213 (java) S 7207 7210 2816 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 250212142 14427033600 45945 33554432000 4194304 4196468 140737276225632 140585622711184 140585657439957 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35745792 140737276232782 140737276232974 140737276232974 140737276235727 0
[pid=7210/tid=7214] ppid=7207 vsize=14088900 memory=7014751519700767587 CPUtime=0 cores=0,2,4,6
/proc/7210/task/7214/stat : 7214 (java) S 7207 7210 2816 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250212142 14427033600 45945 33554432000 4194304 4196468 140737276225632 140585252010768 140585657439957 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35745792 140737276232782 140737276232974 140737276232974 140737276235727 0
[pid=7210/tid=7215] ppid=7207 vsize=14088900 memory=7739276948477929320 CPUtime=0 cores=0,2,4,6
/proc/7210/task/7215/stat : 7215 (java) S 7207 7210 2816 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250212142 14427033600 45945 33554432000 4194304 4196468 140737276225632 140585250958480 140585657439957 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35745792 140737276232782 140737276232974 140737276232974 140737276235727 0
[pid=7210/tid=7216] ppid=7207 vsize=14088900 memory=7955723457816783981 CPUtime=0 cores=0,2,4,6
/proc/7210/task/7216/stat : 7216 (java) S 7207 7210 2816 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250212142 14427033600 45945 33554432000 4194304 4196468 140737276225632 140585249905680 140585657439957 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35745792 140737276232782 140737276232974 140737276232974 140737276235727 0
[pid=7210/tid=7217] ppid=7207 vsize=14088900 memory=6226597463719952482 CPUtime=0 cores=0,2,4,6
/proc/7210/task/7217/stat : 7217 (java) S 7207 7210 2816 0 -1 1077944384 86 0 0 0 0 0 0 0 20 0 15 0 250212144 14427033600 45945 33554432000 4194304 4196468 140737276225632 140584997042288 140585657440898 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35745792 140737276232782 140737276232974 140737276232974 140737276235727 0
################
# More data... #
################
/proc/7210/task/7212/stat : 7212 (java) R 7207 7210 2816 0 -1 4202560 30664 0 0 0 16141 21 0 0 20 0 15 0 250212141 14431227904 376064 33554432000 4194304 4196468 140737276225632 140585661667520 140585306973300 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 35745792 140737276232782 140737276232974 140737276232974 140737276235727 0
[pid=7210/tid=7213] ppid=7207 vsize=14092996 memory=1504256 CPUtime=0.53 cores=0,2,4,6
/proc/7210/task/7213/stat : 7213 (java) S 7207 7210 2816 0 -1 1077944384 1315 0 0 0 43 10 0 0 20 0 15 0 250212142 14431227904 376064 33554432000 4194304 4196468 140737276225632 140585622711184 140585657439957 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35745792 140737276232782 140737276232974 140737276232974 140737276235727 0
[pid=7210/tid=7214] ppid=7207 vsize=14092996 memory=1504256 CPUtime=0.53 cores=0,2,4,6
/proc/7210/task/7214/stat : 7214 (java) S 7207 7210 2816 0 -1 1077944384 1750 0 0 0 42 11 0 0 20 0 15 0 250212142 14431227904 376064 33554432000 4194304 4196468 140737276225632 140585252010768 140585657439957 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35745792 140737276232782 140737276232974 140737276232974 140737276235727 0
[pid=7210/tid=7215] ppid=7207 vsize=14092996 memory=1504256 CPUtime=0.52 cores=0,2,4,6
/proc/7210/task/7215/stat : 7215 (java) S 7207 7210 2816 0 -1 1077944384 2147 0 0 0 42 10 0 0 20 0 15 0 250212142 14431227904 376064 33554432000 4194304 4196468 140737276225632 140585250958480 140585657439957 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35745792 140737276232782 140737276232974 140737276232974 140737276235727 0
[pid=7210/tid=7216] ppid=7207 vsize=14092996 memory=1426112 CPUtime=0.53 cores=0,2,4,6
/proc/7210/task/7216/stat : 7216 (java) S 7207 7210 2816 0 -1 1077944384 2653 0 0 0 41 12 0 0 20 0 15 0 250212142 14431227904 376064 33554432000 4194304 4196468 140737276225632 140585249905680 140585657439957 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35745792 140737276232782 140737276232974 140737276232974 140737276235727 0
[pid=7210/tid=7217] ppid=7207 vsize=14092996 memory=1504256 CPUtime=0.07 cores=0,2,4,6
/proc/7210/task/7217/stat : 7217 (java) S 7207 7210 2816 0 -1 1077944384 2477 0 0 0 7 0 0 0 20 0 15 0 250212144 14431227904 376064 33554432000 4194304 4196468 140737276225632 140584997042288 140585657440898 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35745792 140737276232782 140737276232974 140737276232974 140737276235727 0
[pid=7210/tid=7218] ppid=7207 vsize=14092996 memory=1504256 CPUtime=0 cores=0,2,4,6
/proc/7210/task/7218/stat : 7218 (java) S 7207 7210 2816 0 -1 1077944384 64 0 0 0 0 0 0 0 20 0 15 0 250212144 14431227904 376064 33554432000 4194304 4196468 140737276225632 140584995988320 140585657439957 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35745792 140737276232782 140737276232974 140737276232974 140737276235727 0
[pid=7210/tid=7219] ppid=7207 vsize=14092996 memory=1495920 CPUtime=0 cores=0,2,4,6
/proc/7210/task/7219/stat : 7219 (java) S 7207 7210 2816 0 -1 1077944384 50 0 0 0 0 0 0 0 20 0 15 0 250212144 14431227904 376064 33554432000 4194304 4196468 140737276225632 140584994935936 140585657439957 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35745792 140737276232782 140737276232974 140737276232974 140737276235727 0
[pid=7210/tid=7220] ppid=7207 vsize=14092996 memory=1495920 CPUtime=0 cores=0,2,4,6
/proc/7210/task/7220/stat : 7220 (java) S 7207 7210 2816 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250212147 14431227904 376064 33554432000 4194304 4196468 140737276225632 140584993884240 140585657448347 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35745792 140737276232782 140737276232974 140737276232974 140737276235727 0
[pid=7210/tid=7221] ppid=7207 vsize=14092996 memory=68044 CPUtime=3.46 cores=0,2,4,6
/proc/7210/task/7221/stat : 7221 (java) S 7207 7210 2816 0 -1 1077944384 10484 0 0 0 344 2 0 0 20 0 15 0 250212147 14431227904 376064 33554432000 4194304 4196468 140737276225632 140584992832112 140585657440898 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35745792 140737276232782 140737276232974 140737276232974 140737276235727 0
[pid=7210/tid=7222] ppid=7207 vsize=14092996 memory=2316 CPUtime=3.22 cores=0,2,4,6
/proc/7210/task/7222/stat : 7222 (java) S 7207 7210 2816 0 -1 1077944384 7612 0 0 0 320 2 0 0 20 0 15 0 250212147 14431227904 376064 33554432000 4194304 4196468 140737276225632 140584991779312 140585657440898 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35745792 140737276232782 140737276232974 140737276232974 140737276235727 0
[pid=7210/tid=7223] ppid=7207 vsize=14092996 memory=3824 CPUtime=1.31 cores=0,2,4,6
/proc/7210/task/7223/stat : 7223 (java) S 7207 7210 2816 0 -1 1077944384 8583 0 0 0 129 2 0 0 20 0 15 0 250212147 14431227904 376064 33554432000 4194304 4196468 140737276225632 140584990727024 140585657440898 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35745792 140737276232782 140737276232974 140737276232974 140737276235727 0
[pid=7210/tid=7224] ppid=7207 vsize=14092996 memory=68044 CPUtime=0 cores=0,2,4,6
/proc/7210/task/7224/stat : 7224 (java) S 7207 7210 2816 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250212147 14431227904 376064 33554432000 4194304 4196468 140737276225632 140584989674464 140585657439957 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35745792 140737276232782 140737276232974 140737276232974 140737276235727 0
[pid=7210/tid=7225] ppid=7207 vsize=14092996 memory=1504256 CPUtime=0.03 cores=0,2,4,6
/proc/7210/task/7225/stat : 7225 (java) S 7207 7210 2816 0 -1 1077944384 454 0 0 0 1 2 0 0 20 0 15 0 250212147 14431227904 376064 33554432000 4194304 4196468 140737276225632 140584988621232 140585657440898 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35745792 140737276232782 140737276232974 140737276232974 140737276235727 0
Current children cumulated CPU time: 171.91 s
Current children cumulated vsize: 14092996 KiB
Current children cumulated memory: 1504256 KiB
[startup+222.301 s]
/proc/loadavg: 1.95 1.86 1.61 3/221 7315
/proc/meminfo: memFree=19677408/32770624 swapFree=67108688/67108860
[pid=7210] ppid=7207 vsize=14092996 memory=1576360 CPUtime=232.02 cores=0,2,4,6
/proc/7210/stat : 7210 (java) S 7207 7210 2816 0 -1 1077944320 76106 0 0 0 23124 78 0 0 20 0 15 0 250212141 14431227904 394090 33554432000 4194304 4196468 140737276225632 140737276208176 140585657429751 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 35745792 140737276232782 140737276232974 140737276232974 140737276235727 0
/proc/7210/statm: 3523249 394090 3617 1 0 3485321 0
[pid=7210/tid=7212] ppid=7207 vsize=14092996 memory=1555880 CPUtime=221.59 cores=0,2,4,6
/proc/7210/task/7212/stat : 7212 (java) R 7207 7210 2816 0 -1 4202560 32730 0 0 0 22137 22 0 0 20 0 15 0 250212141 14431227904 394090 33554432000 4194304 4196468 140737276225632 140585661667616 140585308091271 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 35745792 140737276232782 140737276232974 140737276232974 140737276235727 0
[pid=7210/tid=7213] ppid=7207 vsize=14092996 memory=1555880 CPUtime=0.54 cores=0,2,4,6
/proc/7210/task/7213/stat : 7213 (java) S 7207 7210 2816 0 -1 1077944384 1479 0 0 0 44 10 0 0 20 0 15 0 250212142 14431227904 394090 33554432000 4194304 4196468 140737276225632 140585622711184 140585657439957 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35745792 140737276232782 140737276232974 140737276232974 140737276235727 0
[pid=7210/tid=7214] ppid=7207 vsize=14092996 memory=1555880 CPUtime=0.55 cores=0,2,4,6
/proc/7210/task/7214/stat : 7214 (java) S 7207 7210 2816 0 -1 1077944384 1955 0 0 0 44 11 0 0 20 0 15 0 250212142 14431227904 394090 33554432000 4194304 4196468 140737276225632 140585252010768 140585657439957 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35745792 140737276232782 140737276232974 140737276232974 140737276235727 0
[pid=7210/tid=7215] ppid=7207 vsize=14092996 memory=1555880 CPUtime=0.53 cores=0,2,4,6
/proc/7210/task/7215/stat : 7215 (java) S 7207 7210 2816 0 -1 1077944384 2223 0 0 0 43 10 0 0 20 0 15 0 250212142 14431227904 394090 33554432000 4194304 4196468 140737276225632 140585250958480 140585657439957 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35745792 140737276232782 140737276232974 140737276232974 140737276235727 0
[pid=7210/tid=7216] ppid=7207 vsize=14092996 memory=1555880 CPUtime=0.55 cores=0,2,4,6
/proc/7210/task/7216/stat : 7216 (java) S 7207 7210 2816 0 -1 1077944384 3738 0 0 0 42 13 0 0 20 0 15 0 250212142 14431227904 394090 33554432000 4194304 4196468 140737276225632 140585249905680 140585657439957 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35745792 140737276232782 140737276232974 140737276232974 140737276235727 0
[pid=7210/tid=7217] ppid=7207 vsize=14092996 memory=1555880 CPUtime=0.07 cores=0,2,4,6
/proc/7210/task/7217/stat : 7217 (java) S 7207 7210 2816 0 -1 1077944384 2739 0 0 0 7 0 0 0 20 0 15 0 250212144 14431227904 394090 33554432000 4194304 4196468 140737276225632 140584997042288 140585657440898 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35745792 140737276232782 140737276232974 140737276232974 140737276235727 0
[pid=7210/tid=7218] ppid=7207 vsize=14092996 memory=1576360 CPUtime=0 cores=0,2,4,6
/proc/7210/task/7218/stat : 7218 (java) S 7207 7210 2816 0 -1 1077944384 64 0 0 0 0 0 0 0 20 0 15 0 250212144 14431227904 394090 33554432000 4194304 4196468 140737276225632 140584995988320 140585657439957 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35745792 140737276232782 140737276232974 140737276232974 140737276235727 0
[pid=7210/tid=7219] ppid=7207 vsize=14092996 memory=1576360 CPUtime=0 cores=0,2,4,6
/proc/7210/task/7219/stat : 7219 (java) S 7207 7210 2816 0 -1 1077944384 50 0 0 0 0 0 0 0 20 0 15 0 250212144 14431227904 394090 33554432000 4194304 4196468 140737276225632 140584994935936 140585657439957 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35745792 140737276232782 140737276232974 140737276232974 140737276235727 0
[pid=7210/tid=7220] ppid=7207 vsize=14092996 memory=68044 CPUtime=0 cores=0,2,4,6
/proc/7210/task/7220/stat : 7220 (java) S 7207 7210 2816 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250212147 14431227904 394090 33554432000 4194304 4196468 140737276225632 140584993884240 140585657448347 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35745792 140737276232782 140737276232974 140737276232974 140737276235727 0
[pid=7210/tid=7221] ppid=7207 vsize=14092996 memory=1426112 CPUtime=3.5 cores=0,2,4,6
/proc/7210/task/7221/stat : 7221 (java) S 7207 7210 2816 0 -1 1077944384 12315 0 0 0 348 2 0 0 20 0 15 0 250212147 14431227904 394090 33554432000 4194304 4196468 140737276225632 140584992832112 140585657440898 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35745792 140737276232782 140737276232974 140737276232974 140737276235727 0
[pid=7210/tid=7222] ppid=7207 vsize=14092996 memory=3824 CPUtime=3.22 cores=0,2,4,6
/proc/7210/task/7222/stat : 7222 (java) S 7207 7210 2816 0 -1 1077944384 7615 0 0 0 320 2 0 0 20 0 15 0 250212147 14431227904 394090 33554432000 4194304 4196468 140737276225632 140584991779312 140585657440898 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35745792 140737276232782 140737276232974 140737276232974 140737276235727 0
[pid=7210/tid=7223] ppid=7207 vsize=14092996 memory=1559976 CPUtime=1.31 cores=0,2,4,6
/proc/7210/task/7223/stat : 7223 (java) S 7207 7210 2816 0 -1 1077944384 9391 0 0 0 129 2 0 0 20 0 15 0 250212147 14431227904 394090 33554432000 4194304 4196468 140737276225632 140584990727024 140585657440898 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35745792 140737276232782 140737276232974 140737276232974 140737276235727 0
[pid=7210/tid=7224] ppid=7207 vsize=14092996 memory=1576360 CPUtime=0 cores=0,2,4,6
/proc/7210/task/7224/stat : 7224 (java) S 7207 7210 2816 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250212147 14431227904 394090 33554432000 4194304 4196468 140737276225632 140584989674464 140585657439957 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35745792 140737276232782 140737276232974 140737276232974 140737276235727 0
[pid=7210/tid=7225] ppid=7207 vsize=14092996 memory=1576360 CPUtime=0.04 cores=0,2,4,6
/proc/7210/task/7225/stat : 7225 (java) S 7207 7210 2816 0 -1 1077944384 491 0 0 0 1 3 0 0 20 0 15 0 250212147 14431227904 394090 33554432000 4194304 4196468 140737276225632 140584988621232 140585657440898 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35745792 140737276232782 140737276232974 140737276232974 140737276235727 0
Current children cumulated CPU time: 232.02 s
Current children cumulated vsize: 14092996 KiB
Current children cumulated memory: 1576360 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+242.301 s]
/proc/loadavg: 2.13 1.90 1.63 3/221 7392
/proc/meminfo: memFree=22625004/32770624 swapFree=67108688/67108860
[pid=7210] ppid=7207 vsize=14092996 memory=1576360 CPUtime=252.03 cores=0,2,4,6
/proc/7210/stat : 7210 (java) S 7207 7210 2816 0 -1 1077944320 77048 0 0 0 25125 78 0 0 20 0 15 0 250212141 14431227904 394090 33554432000 4194304 4196468 140737276225632 140737276208176 140585657429751 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 35745792 140737276232782 140737276232974 140737276232974 140737276235727 0
/proc/7210/statm: 3523249 394090 3617 1 0 3485321 0
[pid=7210/tid=7212] ppid=7207 vsize=14092996 memory=1555880 CPUtime=241.59 cores=0,2,4,6
/proc/7210/task/7212/stat : 7212 (java) R 7207 7210 2816 0 -1 4202560 33670 0 0 0 24137 22 0 0 20 0 15 0 250212141 14431227904 394090 33554432000 4194304 4196468 140737276225632 140585661667616 140585306973199 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 35745792 140737276232782 140737276232974 140737276232974 140737276235727 0
[pid=7210/tid=7213] ppid=7207 vsize=14092996 memory=1576360 CPUtime=0.54 cores=0,2,4,6
/proc/7210/task/7213/stat : 7213 (java) S 7207 7210 2816 0 -1 1077944384 1479 0 0 0 44 10 0 0 20 0 15 0 250212142 14431227904 394090 33554432000 4194304 4196468 140737276225632 140585622711184 140585657439957 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35745792 140737276232782 140737276232974 140737276232974 140737276235727 0
[pid=7210/tid=7214] ppid=7207 vsize=14092996 memory=3824 CPUtime=0.55 cores=0,2,4,6
/proc/7210/task/7214/stat : 7214 (java) S 7207 7210 2816 0 -1 1077944384 1955 0 0 0 44 11 0 0 20 0 15 0 250212142 14431227904 394090 33554432000 4194304 4196468 140737276225632 140585252010768 140585657439957 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35745792 140737276232782 140737276232974 140737276232974 140737276235727 0
[pid=7210/tid=7215] ppid=7207 vsize=14092996 memory=1555880 CPUtime=0.53 cores=0,2,4,6
/proc/7210/task/7215/stat : 7215 (java) S 7207 7210 2816 0 -1 1077944384 2223 0 0 0 43 10 0 0 20 0 15 0 250212142 14431227904 394090 33554432000 4194304 4196468 140737276225632 140585250958480 140585657439957 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35745792 140737276232782 140737276232974 140737276232974 140737276235727 0
[pid=7210/tid=7216] ppid=7207 vsize=14092996 memory=1576360 CPUtime=0.55 cores=0,2,4,6
/proc/7210/task/7216/stat : 7216 (java) S 7207 7210 2816 0 -1 1077944384 3738 0 0 0 42 13 0 0 20 0 15 0 250212142 14431227904 394090 33554432000 4194304 4196468 140737276225632 140585249905680 140585657439957 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35745792 140737276232782 140737276232974 140737276232974 140737276235727 0
[pid=7210/tid=7217] ppid=7207 vsize=14092996 memory=1576360 CPUtime=0.07 cores=0,2,4,6
/proc/7210/task/7217/stat : 7217 (java) S 7207 7210 2816 0 -1 1077944384 2739 0 0 0 7 0 0 0 20 0 15 0 250212144 14431227904 394090 33554432000 4194304 4196468 140737276225632 140584997042288 140585657440898 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35745792 140737276232782 140737276232974 140737276232974 140737276235727 0
[pid=7210/tid=7218] ppid=7207 vsize=14092996 memory=1576360 CPUtime=0 cores=0,2,4,6
/proc/7210/task/7218/stat : 7218 (java) S 7207 7210 2816 0 -1 1077944384 64 0 0 0 0 0 0 0 20 0 15 0 250212144 14431227904 394090 33554432000 4194304 4196468 140737276225632 140584995988320 140585657439957 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35745792 140737276232782 140737276232974 140737276232974 140737276235727 0
[pid=7210/tid=7219] ppid=7207 vsize=14092996 memory=1576360 CPUtime=0 cores=0,2,4,6
/proc/7210/task/7219/stat : 7219 (java) S 7207 7210 2816 0 -1 1077944384 50 0 0 0 0 0 0 0 20 0 15 0 250212144 14431227904 394090 33554432000 4194304 4196468 140737276225632 140584994935936 140585657439957 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35745792 140737276232782 140737276232974 140737276232974 140737276235727 0
[pid=7210/tid=7220] ppid=7207 vsize=14092996 memory=1576360 CPUtime=0 cores=0,2,4,6
/proc/7210/task/7220/stat : 7220 (java) S 7207 7210 2816 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250212147 14431227904 394090 33554432000 4194304 4196468 140737276225632 140584993884240 140585657448347 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35745792 140737276232782 140737276232974 140737276232974 140737276235727 0
[pid=7210/tid=7221] ppid=7207 vsize=14092996 memory=4216 CPUtime=3.5 cores=0,2,4,6
/proc/7210/task/7221/stat : 7221 (java) S 7207 7210 2816 0 -1 1077944384 12315 0 0 0 348 2 0 0 20 0 15 0 250212147 14431227904 394090 33554432000 4194304 4196468 140737276225632 140584992832112 140585657440898 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35745792 140737276232782 140737276232974 140737276232974 140737276235727 0
[pid=7210/tid=7222] ppid=7207 vsize=14092996 memory=68 CPUtime=3.22 cores=0,2,4,6
/proc/7210/task/7222/stat : 7222 (java) S 7207 7210 2816 0 -1 1077944384 7615 0 0 0 320 2 0 0 20 0 15 0 250212147 14431227904 394090 33554432000 4194304 4196468 140737276225632 140584991779312 140585657440898 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35745792 140737276232782 140737276232974 140737276232974 140737276235727 0
[pid=7210/tid=7223] ppid=7207 vsize=14092996 memory=1576360 CPUtime=1.31 cores=0,2,4,6
/proc/7210/task/7223/stat : 7223 (java) S 7207 7210 2816 0 -1 1077944384 9391 0 0 0 129 2 0 0 20 0 15 0 250212147 14431227904 394090 33554432000 4194304 4196468 140737276225632 140584990727024 140585657440898 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35745792 140737276232782 140737276232974 140737276232974 140737276235727 0
[pid=7210/tid=7224] ppid=7207 vsize=14092996 memory=1576360 CPUtime=0 cores=0,2,4,6
/proc/7210/task/7224/stat : 7224 (java) S 7207 7210 2816 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250212147 14431227904 394090 33554432000 4194304 4196468 140737276225632 140584989674464 140585657439957 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35745792 140737276232782 140737276232974 140737276232974 140737276235727 0
[pid=7210/tid=7225] ppid=7207 vsize=14092996 memory=1576360 CPUtime=0.06 cores=0,2,4,6
/proc/7210/task/7225/stat : 7225 (java) S 7207 7210 2816 0 -1 1077944384 493 0 0 0 2 4 0 0 20 0 15 0 250212147 14431227904 394090 33554432000 4194304 4196468 140737276225632 140584988621232 140585657440898 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 19 0 0 6293624 6294260 35745792 140737276232782 140737276232974 140737276232974 140737276235727 0
Current children cumulated CPU time: 252.03 s
Current children cumulated vsize: 14092996 KiB
Current children cumulated memory: 1576360 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+242.328 s]
# the end of solver process 7210 was just reported to runsolver
# cumulated CPU time of all completed processes: user=251.278 s, system=0.808313 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+242.301 s]
/proc/loadavg: 2.13 1.90 1.63 3/221 7392
/proc/meminfo: memFree=22625004/32770624 swapFree=67108688/67108860
[pid=7210] ppid=7207 vsize=14092996 memory=1576360 CPUtime=252.03 cores=0,2,4,6
/proc/7210/stat : 7210 (java) S 7207 7210 2816 0 -1 1077944320 77048 0 0 0 25125 78 0 0 20 0 15 0 250212141 14431227904 394090 33554432000 4194304 4196468 140737276225632 140737276208176 140585657429751 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 35745792 140737276232782 140737276232974 140737276232974 140737276235727 0
/proc/7210/statm: 3523249 394090 3617 1 0 3485321 0
[pid=7210/tid=7212] ppid=7207 vsize=14092996 memory=1555880 CPUtime=241.59 cores=0,2,4,6
/proc/7210/task/7212/stat : 7212 (java) R 7207 7210 2816 0 -1 4202560 33670 0 0 0 24137 22 0 0 20 0 15 0 250212141 14431227904 394090 33554432000 4194304 4196468 140737276225632 140585661667616 140585306973199 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 35745792 140737276232782 140737276232974 140737276232974 140737276235727 0
[pid=7210/tid=7213] ppid=7207 vsize=14092996 memory=1576360 CPUtime=0.54 cores=0,2,4,6
/proc/7210/task/7213/stat : 7213 (java) S 7207 7210 2816 0 -1 1077944384 1479 0 0 0 44 10 0 0 20 0 15 0 250212142 14431227904 394090 33554432000 4194304 4196468 140737276225632 140585622711184 140585657439957 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35745792 140737276232782 140737276232974 140737276232974 140737276235727 0
[pid=7210/tid=7214] ppid=7207 vsize=14092996 memory=3824 CPUtime=0.55 cores=0,2,4,6
/proc/7210/task/7214/stat : 7214 (java) S 7207 7210 2816 0 -1 1077944384 1955 0 0 0 44 11 0 0 20 0 15 0 250212142 14431227904 394090 33554432000 4194304 4196468 140737276225632 140585252010768 140585657439957 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35745792 140737276232782 140737276232974 140737276232974 140737276235727 0
[pid=7210/tid=7215] ppid=7207 vsize=14092996 memory=1555880 CPUtime=0.53 cores=0,2,4,6
/proc/7210/task/7215/stat : 7215 (java) S 7207 7210 2816 0 -1 1077944384 2223 0 0 0 43 10 0 0 20 0 15 0 250212142 14431227904 394090 33554432000 4194304 4196468 140737276225632 140585250958480 140585657439957 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35745792 140737276232782 140737276232974 140737276232974 140737276235727 0
[pid=7210/tid=7216] ppid=7207 vsize=14092996 memory=1576360 CPUtime=0.55 cores=0,2,4,6
/proc/7210/task/7216/stat : 7216 (java) S 7207 7210 2816 0 -1 1077944384 3738 0 0 0 42 13 0 0 20 0 15 0 250212142 14431227904 394090 33554432000 4194304 4196468 140737276225632 140585249905680 140585657439957 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35745792 140737276232782 140737276232974 140737276232974 140737276235727 0
[pid=7210/tid=7217] ppid=7207 vsize=14092996 memory=1576360 CPUtime=0.07 cores=0,2,4,6
/proc/7210/task/7217/stat : 7217 (java) S 7207 7210 2816 0 -1 1077944384 2739 0 0 0 7 0 0 0 20 0 15 0 250212144 14431227904 394090 33554432000 4194304 4196468 140737276225632 140584997042288 140585657440898 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35745792 140737276232782 140737276232974 140737276232974 140737276235727 0
[pid=7210/tid=7218] ppid=7207 vsize=14092996 memory=1576360 CPUtime=0 cores=0,2,4,6
/proc/7210/task/7218/stat : 7218 (java) S 7207 7210 2816 0 -1 1077944384 64 0 0 0 0 0 0 0 20 0 15 0 250212144 14431227904 394090 33554432000 4194304 4196468 140737276225632 140584995988320 140585657439957 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35745792 140737276232782 140737276232974 140737276232974 140737276235727 0
[pid=7210/tid=7219] ppid=7207 vsize=14092996 memory=1576360 CPUtime=0 cores=0,2,4,6
/proc/7210/task/7219/stat : 7219 (java) S 7207 7210 2816 0 -1 1077944384 50 0 0 0 0 0 0 0 20 0 15 0 250212144 14431227904 394090 33554432000 4194304 4196468 140737276225632 140584994935936 140585657439957 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35745792 140737276232782 140737276232974 140737276232974 140737276235727 0
[pid=7210/tid=7220] ppid=7207 vsize=14092996 memory=1576360 CPUtime=0 cores=0,2,4,6
/proc/7210/task/7220/stat : 7220 (java) S 7207 7210 2816 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250212147 14431227904 394090 33554432000 4194304 4196468 140737276225632 140584993884240 140585657448347 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35745792 140737276232782 140737276232974 140737276232974 140737276235727 0
[pid=7210/tid=7221] ppid=7207 vsize=14092996 memory=4216 CPUtime=3.5 cores=0,2,4,6
/proc/7210/task/7221/stat : 7221 (java) S 7207 7210 2816 0 -1 1077944384 12315 0 0 0 348 2 0 0 20 0 15 0 250212147 14431227904 394090 33554432000 4194304 4196468 140737276225632 140584992832112 140585657440898 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35745792 140737276232782 140737276232974 140737276232974 140737276235727 0
[pid=7210/tid=7222] ppid=7207 vsize=14092996 memory=68 CPUtime=3.22 cores=0,2,4,6
/proc/7210/task/7222/stat : 7222 (java) S 7207 7210 2816 0 -1 1077944384 7615 0 0 0 320 2 0 0 20 0 15 0 250212147 14431227904 394090 33554432000 4194304 4196468 140737276225632 140584991779312 140585657440898 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35745792 140737276232782 140737276232974 140737276232974 140737276235727 0
[pid=7210/tid=7223] ppid=7207 vsize=14092996 memory=1576360 CPUtime=1.31 cores=0,2,4,6
/proc/7210/task/7223/stat : 7223 (java) S 7207 7210 2816 0 -1 1077944384 9391 0 0 0 129 2 0 0 20 0 15 0 250212147 14431227904 394090 33554432000 4194304 4196468 140737276225632 140584990727024 140585657440898 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35745792 140737276232782 140737276232974 140737276232974 140737276235727 0
[pid=7210/tid=7224] ppid=7207 vsize=14092996 memory=1576360 CPUtime=0 cores=0,2,4,6
/proc/7210/task/7224/stat : 7224 (java) S 7207 7210 2816 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250212147 14431227904 394090 33554432000 4194304 4196468 140737276225632 140584989674464 140585657439957 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35745792 140737276232782 140737276232974 140737276232974 140737276235727 0
[pid=7210/tid=7225] ppid=7207 vsize=14092996 memory=1576360 CPUtime=0.06 cores=0,2,4,6
/proc/7210/task/7225/stat : 7225 (java) S 7207 7210 2816 0 -1 1077944384 493 0 0 0 2 4 0 0 20 0 15 0 250212147 14431227904 394090 33554432000 4194304 4196468 140737276225632 140584988621232 140585657440898 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 19 0 0 6293624 6294260 35745792 140737276232782 140737276232974 140737276232974 140737276235727 0
Current children cumulated CPU time: 252.03 s
Current children cumulated vsize: 14092996 KiB
Current children cumulated memory: 1576360 KiB
Child status: 143
Real time (s): 242.328
CPU time (s): 252.086
CPU user time (s): 251.278
CPU system time (s): 0.808313
CPU usage (%): 104.027
Max. virtual memory (cumulated for all children) (KiB): 14092996
Max. memory (cumulated for all children) (KiB): 1576360
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 251.278
system time used= 0.808313
maximum resident set size= 1579104
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 77471
page faults= 0
swaps= 0
block input operations= 0
block output operations= 432
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 9268
involuntary context switches= 378
# summary of solver processes directly reported to runsolver:
# pid: 7210
# total CPU time (s): 252.086
# total CPU user time (s): 251.278
# total CPU system time (s): 0.808313
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.30314 second user time and 2.35928 second system time
The end