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 (14622 MiB free)
memory of node 1: 16384 MiB (14128 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4400665-1568684909/watcher-4400665-1568684909 -o /tmp/evaluation-result-4400665-1568684909/solver-4400665-1568684909 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node117-1568673289-24882 --watchdog 2580 bin/xcsp-3-concrete -J-Xss32M -randomseed=584762253 HOME/instance-4400665-1568684909.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
solver pid=28497, runsolver pid=28494
Current StackSize limit: 8192 KiB
[startup+0.100171 s]*
/proc/loadavg: 2.15 1.62 1.50 3/218 28554
/proc/meminfo: memFree=29433944/32770624 swapFree=66953724/67108860
[pid=28497] ppid=28494 vsize=9972712 memory=18952 CPUtime=0.1 cores=0,2,4,6
/proc/28497/stat : 28497 (java) S 28494 28497 24851 0 -1 1077944320 4470 13011 0 0 1 1 5 3 20 0 6 0 444432779 10212057088 4738 33554432000 4194304 4196468 140721273528048 140721273510592 140417723612919 0 0 0 16784584 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 20094976 140721273531120 140721273533637 140721273533637 140721273536463 0
/proc/28497/statm: 2493178 4738 1935 1 0 2481616 0
[pid=28497/tid=28550] ppid=28494 vsize=9972712 memory=7892391828772250251 CPUtime=0.08 cores=0,2,4,6
/proc/28497/task/28550/stat : 28550 (java) R 28494 28497 24851 0 -1 4202560 2258 13011 0 0 0 0 5 3 20 0 6 0 444432788 10212057088 4738 33554432000 4194304 4196468 140721273528048 140417695449680 140417707731923 0 4 0 16784584 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 20094976 140721273531120 140721273533637 140721273533637 140721273536463 0
[pid=28497/tid=28551] ppid=28494 vsize=9972712 memory=-7025452035940392864 CPUtime=0.08 cores=0,2,4,6
/proc/28497/task/28551/stat : 28551 (java) S 28494 28497 24851 0 -1 1077944384 1 13011 0 0 0 0 5 3 20 0 6 0 444432789 10212057088 4738 33554432000 4194304 4196468 140721273528048 140417727855632 140417723623125 0 4 0 16784584 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20094976 140721273531120 140721273533637 140721273533637 140721273536463 0
[pid=28497/tid=28552] ppid=28494 vsize=9972712 memory=139981738174080 CPUtime=0.08 cores=0,2,4,6
/proc/28497/task/28552/stat : 28552 (java) S 28494 28497 24851 0 -1 1077944384 1 13011 0 0 0 0 5 3 20 0 6 0 444432789 10212057088 4738 33554432000 4194304 4196468 140721273528048 140417648815248 140417723623125 0 4 0 16784584 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20094976 140721273531120 140721273533637 140721273533637 140721273536463 0
[pid=28497/tid=28553] ppid=28494 vsize=9972712 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/28497/task/28553/stat : 28553 (java) S 28494 28497 24851 0 -1 1077944384 1 13011 0 0 0 0 5 3 20 0 6 0 444432789 10212057088 4738 33554432000 4194304 4196468 140721273528048 140417296050960 140417723623125 0 4 0 16784584 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20094976 140721273531120 140721273533637 140721273533637 140721273536463 0
[pid=28497/tid=28554] ppid=28494 vsize=9972712 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/28497/task/28554/stat : 28554 (java) S 28494 28497 24851 0 -1 1077944384 2 13011 0 0 0 0 5 3 20 0 6 0 444432789 10212057088 4738 33554432000 4194304 4196468 140721273528048 140417294998416 140417723623125 0 4 0 16784584 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20094976 140721273531120 140721273533637 140721273533637 140721273536463 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 9972712 KiB
Current children cumulated memory: 18952 KiB
[startup+0.218979 s]*
/proc/loadavg: 2.15 1.62 1.50 4/227 28563
/proc/meminfo: memFree=29412076/32770624 swapFree=66953724/67108860
[pid=28497] ppid=28494 vsize=10821220 memory=45128 CPUtime=0.28 cores=0,2,4,6
/proc/28497/stat : 28497 (java) S 28494 28497 24851 0 -1 1077944320 9682 13011 0 0 17 3 5 3 20 0 15 0 444432779 11080929280 11282 33554432000 4194304 4196468 140721273528048 140721273510592 140417723612919 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 20094976 140721273531120 140721273533637 140721273533637 140721273536463 0
/proc/28497/statm: 2705305 11282 3291 1 0 2667405 0
[pid=28497/tid=28550] ppid=28494 vsize=10821220 memory=7822038051842263955 CPUtime=0.2 cores=0,2,4,6
/proc/28497/task/28550/stat : 28550 (java) R 28494 28497 24851 0 -1 4202560 6156 13011 0 0 11 1 5 3 20 0 15 0 444432788 11080929280 11282 33554432000 4194304 4196468 140721273528048 140417695425280 140417716292637 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 20094976 140721273531120 140721273533637 140721273533637 140721273536463 0
[pid=28497/tid=28551] ppid=28494 vsize=10821220 memory=-7025452035940392864 CPUtime=0.08 cores=0,2,4,6
/proc/28497/task/28551/stat : 28551 (java) S 28494 28497 24851 0 -1 1077944384 1 13011 0 0 0 0 5 3 20 0 15 0 444432789 11080929280 11282 33554432000 4194304 4196468 140721273528048 140417727855632 140417723623125 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20094976 140721273531120 140721273533637 140721273533637 140721273536463 0
[pid=28497/tid=28552] ppid=28494 vsize=10821220 memory=139981738174080 CPUtime=0.08 cores=0,2,4,6
/proc/28497/task/28552/stat : 28552 (java) S 28494 28497 24851 0 -1 1077944384 1 13011 0 0 0 0 5 3 20 0 15 0 444432789 11080929280 11282 33554432000 4194304 4196468 140721273528048 140417648815248 140417723623125 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20094976 140721273531120 140721273533637 140721273533637 140721273536463 0
[pid=28497/tid=28553] ppid=28494 vsize=10821220 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/28497/task/28553/stat : 28553 (java) S 28494 28497 24851 0 -1 1077944384 1 13011 0 0 0 0 5 3 20 0 15 0 444432789 11080929280 11282 33554432000 4194304 4196468 140721273528048 140417296050960 140417723623125 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20094976 140721273531120 140721273533637 140721273533637 140721273536463 0
[pid=28497/tid=28554] ppid=28494 vsize=10821220 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/28497/task/28554/stat : 28554 (java) S 28494 28497 24851 0 -1 1077944384 2 13011 0 0 0 0 5 3 20 0 15 0 444432789 11080929280 11282 33554432000 4194304 4196468 140721273528048 140417294998416 140417723623125 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20094976 140721273531120 140721273533637 140721273533637 140721273536463 0
[pid=28497/tid=28555] ppid=28494 vsize=10821220 memory=139981738174080 CPUtime=0.08 cores=0,2,4,6
/proc/28497/task/28555/stat : 28555 (java) S 28494 28497 24851 0 -1 1077944384 2 13011 0 0 0 0 5 3 20 0 15 0 444432790 11080929280 11282 33554432000 4194304 4196468 140721273528048 140417250183408 140417723624066 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20094976 140721273531120 140721273533637 140721273533637 140721273536463 0
[pid=28497/tid=28556] ppid=28494 vsize=10821220 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/28497/task/28556/stat : 28556 (java) S 28494 28497 24851 0 -1 1077944384 13 13011 0 0 0 0 5 3 20 0 15 0 444432791 11080929280 11282 33554432000 4194304 4196468 140721273528048 140417177740448 140417723623125 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20094976 140721273531120 140721273533637 140721273533637 140721273536463 0
[pid=28497/tid=28557] ppid=28494 vsize=10821220 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/28497/task/28557/stat : 28557 (java) S 28494 28497 24851 0 -1 1077944384 1 13011 0 0 0 0 5 3 20 0 15 0 444432791 11080929280 11282 33554432000 4194304 4196468 140721273528048 140416573760240 140417723623125 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20094976 140721273531120 140721273533637 140721273533637 140721273536463 0
[pid=28497/tid=28558] ppid=28494 vsize=10821220 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/28497/task/28558/stat : 28558 (java) S 28494 28497 24851 0 -1 1077944384 3 13011 0 0 0 0 5 3 20 0 15 0 444432794 11080929280 11282 33554432000 4194304 4196468 140721273528048 140416266360784 140417723631515 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20094976 140721273531120 140721273533637 140721273533637 140721273536463 0
[pid=28497/tid=28559] ppid=28494 vsize=10821220 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/28497/task/28559/stat : 28559 (java) S 28494 28497 24851 0 -1 1077944384 356 13011 0 0 1 0 5 3 20 0 15 0 444432794 11080929280 11282 33554432000 4194304 4196468 140721273528048 140417249131248 140417723624066 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20094976 140721273531120 140721273533637 140721273533637 140721273536463 0
[pid=28497/tid=28560] ppid=28494 vsize=10821220 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/28497/task/28560/stat : 28560 (java) S 28494 28497 24851 0 -1 1077944384 317 13011 0 0 0 0 5 3 20 0 15 0 444432794 11080929280 11282 33554432000 4194304 4196468 140721273528048 140417248078704 140417723624066 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20094976 140721273531120 140721273533637 140721273533637 140721273536463 0
[pid=28497/tid=28561] ppid=28494 vsize=10821220 memory=139981738174080 CPUtime=0.11 cores=0,2,4,6
/proc/28497/task/28561/stat : 28561 (java) S 28494 28497 24851 0 -1 1077944384 617 13011 0 0 3 0 5 3 20 0 15 0 444432794 11080929280 11282 33554432000 4194304 4196468 140721273528048 140417247025648 140417723624066 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20094976 140721273531120 140721273533637 140721273533637 140721273536463 0
[pid=28497/tid=28562] ppid=28494 vsize=10821220 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/28497/task/28562/stat : 28562 (java) S 28494 28497 24851 0 -1 1077944384 3 13011 0 0 0 0 5 3 20 0 15 0 444432794 11080929280 11282 33554432000 4194304 4196468 140721273528048 140416232803168 140417723623125 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20094976 140721273531120 140721273533637 140721273533637 140721273536463 0
[pid=28497/tid=28563] ppid=28494 vsize=10821220 memory=139981738174080 CPUtime=0.08 cores=0,2,4,6
/proc/28497/task/28563/stat : 28563 (java) S 28494 28497 24851 0 -1 1077944384 1 13011 0 0 0 0 5 3 20 0 15 0 444432794 11080929280 11282 33554432000 4194304 4196468 140721273528048 140417245973040 140417723624066 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20094976 140721273531120 140721273533637 140721273533637 140721273536463 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 10821220 KiB
Current children cumulated memory: 45128 KiB
[startup+0.310504 s]*
/proc/loadavg: 2.15 1.62 1.50 4/227 28563
/proc/meminfo: memFree=29402560/32770624 swapFree=66953724/67108860
[pid=28497] ppid=28494 vsize=10820196 memory=49916 CPUtime=0.41 cores=0,2,4,6
/proc/28497/stat : 28497 (java) S 28494 28497 24851 0 -1 1077944320 10744 13011 0 0 29 4 5 3 20 0 15 0 444432779 11079880704 12479 33554432000 4194304 4196468 140721273528048 140721273510592 140417723612919 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 20094976 140721273531120 140721273533637 140721273533637 140721273536463 0
/proc/28497/statm: 2705049 12479 3301 1 0 2667149 0
[pid=28497/tid=28550] ppid=28494 vsize=10820196 memory=8317482817917895235 CPUtime=0.29 cores=0,2,4,6
/proc/28497/task/28550/stat : 28550 (java) R 28494 28497 24851 0 -1 4202560 7198 13011 0 0 19 2 5 3 20 0 15 0 444432788 11079880704 12479 33554432000 4194304 4196468 140721273528048 140417695416016 140417709307928 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 20094976 140721273531120 140721273533637 140721273533637 140721273536463 0
[pid=28497/tid=28551] ppid=28494 vsize=10820196 memory=8028620077959506791 CPUtime=0.08 cores=0,2,4,6
/proc/28497/task/28551/stat : 28551 (java) S 28494 28497 24851 0 -1 1077944384 1 13011 0 0 0 0 5 3 20 0 15 0 444432789 11079880704 12479 33554432000 4194304 4196468 140721273528048 140417727855632 140417723623125 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20094976 140721273531120 140721273533637 140721273533637 140721273536463 0
[pid=28497/tid=28552] ppid=28494 vsize=10820196 memory=5787233549803348032 CPUtime=0.08 cores=0,2,4,6
/proc/28497/task/28552/stat : 28552 (java) S 28494 28497 24851 0 -1 1077944384 1 13011 0 0 0 0 5 3 20 0 15 0 444432789 11079880704 12479 33554432000 4194304 4196468 140721273528048 140417648815248 140417723623125 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20094976 140721273531120 140721273533637 140721273533637 140721273536463 0
[pid=28497/tid=28553] ppid=28494 vsize=10820196 memory=7649539370285158082 CPUtime=0.08 cores=0,2,4,6
/proc/28497/task/28553/stat : 28553 (java) S 28494 28497 24851 0 -1 1077944384 1 13011 0 0 0 0 5 3 20 0 15 0 444432789 11079880704 12479 33554432000 4194304 4196468 140721273528048 140417296050960 140417723623125 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20094976 140721273531120 140721273533637 140721273533637 140721273536463 0
[pid=28497/tid=28554] ppid=28494 vsize=10820196 memory=4126316290023845779 CPUtime=0.08 cores=0,2,4,6
/proc/28497/task/28554/stat : 28554 (java) S 28494 28497 24851 0 -1 1077944384 2 13011 0 0 0 0 5 3 20 0 15 0 444432789 11079880704 12479 33554432000 4194304 4196468 140721273528048 140417294998416 140417723623125 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20094976 140721273531120 140721273533637 140721273533637 140721273536463 0
[pid=28497/tid=28555] ppid=28494 vsize=10820196 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/28497/task/28555/stat : 28555 (java) S 28494 28497 24851 0 -1 1077944384 2 13011 0 0 0 0 5 3 20 0 15 0 444432790 11079880704 12479 33554432000 4194304 4196468 140721273528048 140417250183408 140417723624066 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20094976 140721273531120 140721273533637 140721273533637 140721273536463 0
[pid=28497/tid=28556] ppid=28494 vsize=10820196 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/28497/task/28556/stat : 28556 (java) S 28494 28497 24851 0 -1 1077944384 13 13011 0 0 0 0 5 3 20 0 15 0 444432791 11079880704 12479 33554432000 4194304 4196468 140721273528048 140417177740448 140417723623125 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20094976 140721273531120 140721273533637 140721273533637 140721273536463 0
[pid=28497/tid=28557] ppid=28494 vsize=10820196 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/28497/task/28557/stat : 28557 (java) S 28494 28497 24851 0 -1 1077944384 1 13011 0 0 0 0 5 3 20 0 15 0 444432791 11079880704 12479 33554432000 4194304 4196468 140721273528048 140416573760240 140417723623125 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20094976 140721273531120 140721273533637 140721273533637 140721273536463 0
[pid=28497/tid=28558] ppid=28494 vsize=10820196 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/28497/task/28558/stat : 28558 (java) S 28494 28497 24851 0 -1 1077944384 3 13011 0 0 0 0 5 3 20 0 15 0 444432794 11079880704 12479 33554432000 4194304 4196468 140721273528048 140416266360784 140417723631515 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20094976 140721273531120 140721273533637 140721273533637 140721273536463 0
[pid=28497/tid=28559] ppid=28494 vsize=10820196 memory=0 CPUtime=0.1 cores=0,2,4,6
/proc/28497/task/28559/stat : 28559 (java) S 28494 28497 24851 0 -1 1077944384 357 13011 0 0 2 0 5 3 20 0 15 0 444432794 11079880704 12479 33554432000 4194304 4196468 140721273528048 140417249131248 140417723624066 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20094976 140721273531120 140721273533637 140721273533637 140721273536463 0
[pid=28497/tid=28560] ppid=28494 vsize=10820196 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/28497/task/28560/stat : 28560 (java) S 28494 28497 24851 0 -1 1077944384 317 13011 0 0 1 0 5 3 20 0 15 0 444432794 11079880704 12479 33554432000 4194304 4196468 140721273528048 140417248078704 140417723624066 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20094976 140721273531120 140721273533637 140721273533637 140721273536463 0
[pid=28497/tid=28561] ppid=28494 vsize=10820196 memory=0 CPUtime=0.13 cores=0,2,4,6
/proc/28497/task/28561/stat : 28561 (java) S 28494 28497 24851 0 -1 1077944384 636 13011 0 0 5 0 5 3 20 0 15 0 444432794 11079880704 12479 33554432000 4194304 4196468 140721273528048 140417247025648 140417723624066 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20094976 140721273531120 140721273533637 140721273533637 140721273536463 0
[pid=28497/tid=28562] ppid=28494 vsize=10820196 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/28497/task/28562/stat : 28562 (java) S 28494 28497 24851 0 -1 1077944384 3 13011 0 0 0 0 5 3 20 0 15 0 444432794 11079880704 12479 33554432000 4194304 4196468 140721273528048 140416232803168 140417723623125 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20094976 140721273531120 140721273533637 140721273533637 140721273536463 0
[pid=28497/tid=28563] ppid=28494 vsize=10820196 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/28497/task/28563/stat : 28563 (java) S 28494 28497 24851 0 -1 1077944384 1 13011 0 0 0 0 5 3 20 0 15 0 444432794 11079880704 12479 33554432000 4194304 4196468 140721273528048 140417245973040 140417723624066 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20094976 140721273531120 140721273533637 140721273533637 140721273536463 0
Current children cumulated CPU time: 0.41 s
Current children cumulated vsize: 10820196 KiB
Current children cumulated memory: 49916 KiB
[startup+0.709741 s]
/proc/loadavg: 2.15 1.62 1.50 3/227 28563
/proc/meminfo: memFree=29387216/32770624 swapFree=66953724/67108860
[pid=28497] ppid=28494 vsize=10825388 memory=83884 CPUtime=1.18 cores=0,2,4,6
/proc/28497/stat : 28497 (java) S 28494 28497 24851 0 -1 1077944320 15157 13011 0 0 104 6 5 3 20 0 15 0 444432779 11085197312 20952 33554432000 4194304 4196468 140721273528048 140721273510592 140417723612919 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 20094976 140721273531120 140721273533637 140721273533637 140721273536463 0
/proc/28497/statm: 2706091 20971 3514 1 0 2668173 0
[pid=28497/tid=28550] ppid=28494 vsize=10824364 memory=2241 CPUtime=0.68 cores=0,2,4,6
/proc/28497/task/28550/stat : 28550 (java) R 28494 28497 24851 0 -1 1077944384 10526 13011 0 0 56 4 5 3 20 0 15 0 444432788 11084148736 20971 33554432000 4194304 4196468 140721273528048 140417695430848 140417716292141 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 20094976 140721273531120 140721273533637 140721273533637 140721273536463 0
[pid=28497/tid=28551] ppid=28494 vsize=10824364 memory=2244 CPUtime=0.08 cores=0,2,4,6
/proc/28497/task/28551/stat : 28551 (java) S 28494 28497 24851 0 -1 1077944384 1 13011 0 0 0 0 5 3 20 0 15 0 444432789 11084148736 20971 33554432000 4194304 4196468 140721273528048 140417727855632 140417723623125 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20094976 140721273531120 140721273533637 140721273533637 140721273536463 0
[pid=28497/tid=28552] ppid=28494 vsize=10825388 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/28497/task/28552/stat : 28552 (java) S 28494 28497 24851 0 -1 1077944384 1 13011 0 0 0 0 5 3 20 0 15 0 444432789 11085197312 20971 33554432000 4194304 4196468 140721273528048 140417648815248 140417723623125 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20094976 140721273531120 140721273533637 140721273533637 140721273536463 0
[pid=28497/tid=28553] ppid=28494 vsize=10825388 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/28497/task/28553/stat : 28553 (java) S 28494 28497 24851 0 -1 1077944384 1 13011 0 0 0 0 5 3 20 0 15 0 444432789 11085197312 20971 33554432000 4194304 4196468 140721273528048 140417296050960 140417723623125 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20094976 140721273531120 140721273533637 140721273533637 140721273536463 0
[pid=28497/tid=28554] ppid=28494 vsize=10825388 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/28497/task/28554/stat : 28554 (java) S 28494 28497 24851 0 -1 1077944384 2 13011 0 0 0 0 5 3 20 0 15 0 444432789 11085197312 20971 33554432000 4194304 4196468 140721273528048 140417294998416 140417723623125 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20094976 140721273531120 140721273533637 140721273533637 140721273536463 0
[pid=28497/tid=28555] ppid=28494 vsize=10825388 memory=6944652177228980320 CPUtime=0.08 cores=0,2,4,6
/proc/28497/task/28555/stat : 28555 (java) S 28494 28497 24851 0 -1 1077944384 5 13011 0 0 0 0 5 3 20 0 15 0 444432790 11085197312 20971 33554432000 4194304 4196468 140721273528048 140417250183408 140417723624066 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20094976 140721273531120 140721273533637 140721273533637 140721273536463 0
[pid=28497/tid=28556] ppid=28494 vsize=10824364 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/28497/task/28556/stat : 28556 (java) S 28494 28497 24851 0 -1 1077944384 13 13011 0 0 0 0 5 3 20 0 15 0 444432791 11084148736 20971 33554432000 4194304 4196468 140721273528048 140417177740448 140417723623125 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20094976 140721273531120 140721273533637 140721273533637 140721273536463 0
[pid=28497/tid=28557] ppid=28494 vsize=10824364 memory=6943526294502006880 CPUtime=0.08 cores=0,2,4,6
/proc/28497/task/28557/stat : 28557 (java) S 28494 28497 24851 0 -1 1077944384 1 13011 0 0 0 0 5 3 20 0 15 0 444432791 11084148736 20971 33554432000 4194304 4196468 140721273528048 140416573760240 140417723623125 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20094976 140721273531120 140721273533637 140721273533637 140721273536463 0
[pid=28497/tid=28558] ppid=28494 vsize=10824364 memory=6944656592455097440 CPUtime=0.08 cores=0,2,4,6
/proc/28497/task/28558/stat : 28558 (java) S 28494 28497 24851 0 -1 1077944384 3 13011 0 0 0 0 5 3 20 0 15 0 444432794 11084148736 20971 33554432000 4194304 4196468 140721273528048 140416266360784 140417723631515 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20094976 140721273531120 140721273533637 140721273533637 140721273536463 0
[pid=28497/tid=28559] ppid=28494 vsize=10825388 memory=139981641254800 CPUtime=0.25 cores=0,2,4,6
/proc/28497/task/28559/stat : 28559 (java) S 28494 28497 24851 0 -1 1077944384 814 13011 0 0 17 0 5 3 20 0 15 0 444432794 11085197312 20971 33554432000 4194304 4196468 140721273528048 140417249131248 140417723624066 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20094976 140721273531120 140721273533637 140721273533637 140721273536463 0
[pid=28497/tid=28560] ppid=28494 vsize=10825388 memory=24964 CPUtime=0.2 cores=0,2,4,6
/proc/28497/task/28560/stat : 28560 (java) R 28494 28497 24851 0 -1 4202560 737 13011 0 0 12 0 5 3 20 0 15 0 444432794 11085197312 20971 33554432000 4194304 4196468 140721273528048 140417248065520 140417705135457 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 20094976 140721273531120 140721273533637 140721273533637 140721273536463 0
[pid=28497/tid=28561] ppid=28494 vsize=10825388 memory=2244 CPUtime=0.25 cores=0,2,4,6
/proc/28497/task/28561/stat : 28561 (java) S 28494 28497 24851 0 -1 1077944384 844 13011 0 0 17 0 5 3 20 0 15 0 444432794 11085197312 20971 33554432000 4194304 4196468 140721273528048 140417247025648 140417723624066 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20094976 140721273531120 140721273533637 140721273533637 140721273536463 0
[pid=28497/tid=28562] ppid=28494 vsize=10825388 memory=139981641252208 CPUtime=0.08 cores=0,2,4,6
/proc/28497/task/28562/stat : 28562 (java) S 28494 28497 24851 0 -1 1077944384 3 13011 0 0 0 0 5 3 20 0 15 0 444432794 11085197312 20971 33554432000 4194304 4196468 140721273528048 140416232803168 140417723623125 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20094976 140721273531120 140721273533637 140721273533637 140721273536463 0
[pid=28497/tid=28563] ppid=28494 vsize=10824364 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/28497/task/28563/stat : 28563 (java) S 28494 28497 24851 0 -1 1077944384 1 13011 0 0 0 0 5 3 20 0 15 0 444432794 11084148736 20971 33554432000 4194304 4196468 140721273528048 140417245973040 140417723624066 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20094976 140721273531120 140721273533637 140721273533637 140721273536463 0
Current children cumulated CPU time: 1.18 s
Current children cumulated vsize: 10825388 KiB
Current children cumulated memory: 83884 KiB
[startup+1.50072 s]
/proc/loadavg: 2.22 1.64 1.51 3/227 28563
/proc/meminfo: memFree=29344672/32770624 swapFree=66953724/67108860
[pid=28497] ppid=28494 vsize=10834680 memory=177408 CPUtime=2.6 cores=0,2,4,6
/proc/28497/stat : 28497 (java) S 28494 28497 24851 0 -1 1077944320 24341 13011 0 0 243 9 5 3 20 0 15 0 444432779 11094712320 44352 33554432000 4194304 4196468 140721273528048 140721273510592 140417723612919 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 20094976 140721273531120 140721273533637 140721273533637 140721273536463 0
/proc/28497/statm: 2708670 44352 3582 1 0 2670733 0
[pid=28497/tid=28550] ppid=28494 vsize=10834680 memory=20 CPUtime=1.43 cores=0,2,4,6
/proc/28497/task/28550/stat : 28550 (java) R 28494 28497 24851 0 -1 4202560 16096 13011 0 0 130 5 5 3 20 0 15 0 444432788 11094712320 44352 33554432000 4194304 4196468 140721273528048 140417695437056 140417706987398 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 20094976 140721273531120 140721273533637 140721273533637 140721273536463 0
[pid=28497/tid=28551] ppid=28494 vsize=10834680 memory=31 CPUtime=0.09 cores=0,2,4,6
/proc/28497/task/28551/stat : 28551 (java) S 28494 28497 24851 0 -1 1077944384 63 13011 0 0 1 0 5 3 20 0 15 0 444432789 11094712320 44352 33554432000 4194304 4196468 140721273528048 140417727855632 140417723623125 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20094976 140721273531120 140721273533637 140721273533637 140721273536463 0
[pid=28497/tid=28552] ppid=28494 vsize=10834680 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/28497/task/28552/stat : 28552 (java) S 28494 28497 24851 0 -1 1077944384 42 13011 0 0 1 0 5 3 20 0 15 0 444432789 11094712320 44352 33554432000 4194304 4196468 140721273528048 140417648815248 140417723623125 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20094976 140721273531120 140721273533637 140721273533637 140721273536463 0
[pid=28497/tid=28553] ppid=28494 vsize=10834680 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/28497/task/28553/stat : 28553 (java) S 28494 28497 24851 0 -1 1077944384 309 13011 0 0 1 0 5 3 20 0 15 0 444432789 11094712320 44352 33554432000 4194304 4196468 140721273528048 140417296050960 140417723623125 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20094976 140721273531120 140721273533637 140721273533637 140721273536463 0
[pid=28497/tid=28554] ppid=28494 vsize=10834680 memory=96924 CPUtime=0.09 cores=0,2,4,6
/proc/28497/task/28554/stat : 28554 (java) S 28494 28497 24851 0 -1 1077944384 86 13011 0 0 1 0 5 3 20 0 15 0 444432789 11094712320 44352 33554432000 4194304 4196468 140721273528048 140417294998416 140417723623125 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20094976 140721273531120 140721273533637 140721273533637 140721273536463 0
[pid=28497/tid=28555] ppid=28494 vsize=10834680 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/28497/task/28555/stat : 28555 (java) S 28494 28497 24851 0 -1 1077944384 1488 13011 0 0 1 0 5 3 20 0 15 0 444432790 11094712320 44352 33554432000 4194304 4196468 140721273528048 140417250183408 140417723624066 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20094976 140721273531120 140721273533637 140721273533637 140721273536463 0
[pid=28497/tid=28556] ppid=28494 vsize=10834680 memory=7018394261716494169 CPUtime=0.08 cores=0,2,4,6
/proc/28497/task/28556/stat : 28556 (java) S 28494 28497 24851 0 -1 1077944384 14 13011 0 0 0 0 5 3 20 0 15 0 444432791 11094712320 44352 33554432000 4194304 4196468 140721273528048 140417177740512 140417723623125 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20094976 140721273531120 140721273533637 140721273533637 140721273536463 0
[pid=28497/tid=28557] ppid=28494 vsize=10834680 memory=7307484404575068757 CPUtime=0.08 cores=0,2,4,6
/proc/28497/task/28557/stat : 28557 (java) S 28494 28497 24851 0 -1 1077944384 1 13011 0 0 0 0 5 3 20 0 15 0 444432791 11094712320 44352 33554432000 4194304 4196468 140721273528048 140416573760256 140417723623125 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20094976 140721273531120 140721273533637 140721273533637 140721273536463 0
[pid=28497/tid=28558] ppid=28494 vsize=10834680 memory=7446251658287539815 CPUtime=0.08 cores=0,2,4,6
/proc/28497/task/28558/stat : 28558 (java) S 28494 28497 24851 0 -1 1077944384 3 13011 0 0 0 0 5 3 20 0 15 0 444432794 11094712320 44352 33554432000 4194304 4196468 140721273528048 140416266360784 140417723631515 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20094976 140721273531120 140721273533637 140721273533637 140721273536463 0
[pid=28497/tid=28559] ppid=28494 vsize=10834680 memory=5788348613576451160 CPUtime=0.45 cores=0,2,4,6
/proc/28497/task/28559/stat : 28559 (java) S 28494 28497 24851 0 -1 1077944384 1505 13011 0 0 37 0 5 3 20 0 15 0 444432794 11094712320 44352 33554432000 4194304 4196468 140721273528048 140417249131248 140417723624066 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20094976 140721273531120 140721273533637 140721273533637 140721273536463 0
[pid=28497/tid=28560] ppid=28494 vsize=10834680 memory=7235149776573192034 CPUtime=0.35 cores=0,2,4,6
/proc/28497/task/28560/stat : 28560 (java) S 28494 28497 24851 0 -1 1077944384 904 13011 0 0 27 0 5 3 20 0 15 0 444432794 11094712320 44352 33554432000 4194304 4196468 140721273528048 140417248078704 140417723624066 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20094976 140721273531120 140721273533637 140721273533637 140721273536463 0
[pid=28497/tid=28561] ppid=28494 vsize=10834680 memory=7018394261716494169 CPUtime=0.48 cores=0,2,4,6
/proc/28497/task/28561/stat : 28561 (java) S 28494 28497 24851 0 -1 1077944384 1618 13011 0 0 40 0 5 3 20 0 15 0 444432794 11094712320 44352 33554432000 4194304 4196468 140721273528048 140417247025648 140417723624066 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20094976 140721273531120 140721273533637 140721273533637 140721273536463 0
[pid=28497/tid=28562] ppid=28494 vsize=10834680 memory=7018394261716494169 CPUtime=0.08 cores=0,2,4,6
/proc/28497/task/28562/stat : 28562 (java) S 28494 28497 24851 0 -1 1077944384 3 13011 0 0 0 0 5 3 20 0 15 0 444432794 11094712320 44352 33554432000 4194304 4196468 140721273528048 140416232803168 140417723623125 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20094976 140721273531120 140721273533637 140721273533637 140721273536463 0
[pid=28497/tid=28563] ppid=28494 vsize=10834680 memory=56 CPUtime=0.08 cores=0,2,4,6
/proc/28497/task/28563/stat : 28563 (java) S 28494 28497 24851 0 -1 1077944384 1 13011 0 0 0 0 5 3 20 0 15 0 444432794 11094712320 44352 33554432000 4194304 4196468 140721273528048 140417245973040 140417723624066 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20094976 140721273531120 140721273533637 140721273533637 140721273536463 0
Current children cumulated CPU time: 2.6 s
Current children cumulated vsize: 10834680 KiB
################
# More data... #
################
[startup+7.17641 s]
# the end of solver process 28497 was just reported to runsolver
# cumulated CPU time of all completed processes: user=13.9702 s, system=0.371451 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+6.40094 s]
/proc/loadavg: 2.20 1.64 1.51 3/227 28563
/proc/meminfo: memFree=28897856/32770624 swapFree=66953724/67108860
[pid=28497] ppid=28494 vsize=10844940 memory=655332 CPUtime=12.4 cores=0,2,4,6
/proc/28497/stat : 28497 (java) S 28494 28497 24851 0 -1 1077944320 59040 13011 0 0 1201 31 5 3 20 0 15 0 444432779 11105218560 163833 33554432000 4194304 4196468 140721273528048 140721273510592 140417723612919 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 20094976 140721273531120 140721273533637 140721273533637 140721273536463 0
/proc/28497/statm: 2711235 163833 3616 1 0 2673293 0
[pid=28497/tid=28550] ppid=28494 vsize=10844940 memory=6791534058613427641 CPUtime=6.19 cores=0,2,4,6
/proc/28497/task/28550/stat : 28550 (java) R 28494 28497 24851 0 -1 4202560 23759 13011 0 0 599 12 5 3 20 0 15 0 444432788 11105218560 163833 33554432000 4194304 4196468 140721273528048 140417695448496 140417334777216 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 20094976 140721273531120 140721273533637 140721273533637 140721273536463 0
[pid=28497/tid=28551] ppid=28494 vsize=10844940 memory=11624 CPUtime=0.19 cores=0,2,4,6
/proc/28497/task/28551/stat : 28551 (java) S 28494 28497 24851 0 -1 1077944384 331 13011 0 0 9 2 5 3 20 0 15 0 444432789 11105218560 163833 33554432000 4194304 4196468 140721273528048 140417727855632 140417723623125 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20094976 140721273531120 140721273533637 140721273533637 140721273536463 0
[pid=28497/tid=28552] ppid=28494 vsize=10844940 memory=740 CPUtime=0.19 cores=0,2,4,6
/proc/28497/task/28552/stat : 28552 (java) S 28494 28497 24851 0 -1 1077944384 219 13011 0 0 9 2 5 3 20 0 15 0 444432789 11105218560 163833 33554432000 4194304 4196468 140721273528048 140417648815248 140417723623125 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20094976 140721273531120 140721273533637 140721273533637 140721273536463 0
[pid=28497/tid=28553] ppid=28494 vsize=10844940 memory=1056 CPUtime=0.19 cores=0,2,4,6
/proc/28497/task/28553/stat : 28553 (java) S 28494 28497 24851 0 -1 1077944384 403 13011 0 0 9 2 5 3 20 0 15 0 444432789 11105218560 163833 33554432000 4194304 4196468 140721273528048 140417296050960 140417723623125 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20094976 140721273531120 140721273533637 140721273533637 140721273536463 0
[pid=28497/tid=28554] ppid=28494 vsize=10844940 memory=1552 CPUtime=0.18 cores=0,2,4,6
/proc/28497/task/28554/stat : 28554 (java) S 28494 28497 24851 0 -1 1077944384 201 13011 0 0 9 1 5 3 20 0 15 0 444432789 11105218560 163833 33554432000 4194304 4196468 140721273528048 140417294998416 140417723623125 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20094976 140721273531120 140721273533637 140721273533637 140721273536463 0
[pid=28497/tid=28555] ppid=28494 vsize=10844940 memory=1040 CPUtime=0.12 cores=0,2,4,6
/proc/28497/task/28555/stat : 28555 (java) S 28494 28497 24851 0 -1 1077944384 2923 13011 0 0 4 0 5 3 20 0 15 0 444432790 11105218560 163833 33554432000 4194304 4196468 140721273528048 140417250183408 140417723624066 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20094976 140721273531120 140721273533637 140721273533637 140721273536463 0
[pid=28497/tid=28556] ppid=28494 vsize=10844940 memory=4132 CPUtime=0.08 cores=0,2,4,6
/proc/28497/task/28556/stat : 28556 (java) S 28494 28497 24851 0 -1 1077944384 17 13011 0 0 0 0 5 3 20 0 15 0 444432791 11105218560 163833 33554432000 4194304 4196468 140721273528048 140417177740576 140417723623125 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20094976 140721273531120 140721273533637 140721273533637 140721273536463 0
[pid=28497/tid=28557] ppid=28494 vsize=10844940 memory=780 CPUtime=0.08 cores=0,2,4,6
/proc/28497/task/28557/stat : 28557 (java) S 28494 28497 24851 0 -1 1077944384 6 13011 0 0 0 0 5 3 20 0 15 0 444432791 11105218560 163833 33554432000 4194304 4196468 140721273528048 140416573760256 140417723623125 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20094976 140721273531120 140721273533637 140721273533637 140721273536463 0
[pid=28497/tid=28558] ppid=28494 vsize=10844940 memory=2832 CPUtime=0.08 cores=0,2,4,6
/proc/28497/task/28558/stat : 28558 (java) S 28494 28497 24851 0 -1 1077944384 3 13011 0 0 0 0 5 3 20 0 15 0 444432794 11105218560 163833 33554432000 4194304 4196468 140721273528048 140416266360784 140417723631515 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20094976 140721273531120 140721273533637 140721273533637 140721273536463 0
[pid=28497/tid=28559] ppid=28494 vsize=10844940 memory=1720 CPUtime=2.25 cores=0,2,4,6
/proc/28497/task/28559/stat : 28559 (java) S 28494 28497 24851 0 -1 1077944384 11697 13011 0 0 214 3 5 3 20 0 15 0 444432794 11105218560 163833 33554432000 4194304 4196468 140721273528048 140417249131248 140417723624066 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20094976 140721273531120 140721273533637 140721273533637 140721273536463 0
[pid=28497/tid=28560] ppid=28494 vsize=10844940 memory=1200 CPUtime=2.3 cores=0,2,4,6
/proc/28497/task/28560/stat : 28560 (java) S 28494 28497 24851 0 -1 1077944384 11565 13011 0 0 220 2 5 3 20 0 15 0 444432794 11105218560 163833 33554432000 4194304 4196468 140721273528048 140417248078704 140417723624066 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20094976 140721273531120 140721273533637 140721273533637 140721273536463 0
[pid=28497/tid=28561] ppid=28494 vsize=10844940 memory=510996 CPUtime=1.32 cores=0,2,4,6
/proc/28497/task/28561/stat : 28561 (java) S 28494 28497 24851 0 -1 1077944384 5698 13011 0 0 122 2 5 3 20 0 15 0 444432794 11105218560 163833 33554432000 4194304 4196468 140721273528048 140417247025648 140417723624066 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20094976 140721273531120 140721273533637 140721273533637 140721273536463 0
[pid=28497/tid=28562] ppid=28494 vsize=10844940 memory=6944656592455360604 CPUtime=0.08 cores=0,2,4,6
/proc/28497/task/28562/stat : 28562 (java) S 28494 28497 24851 0 -1 1077944384 3 13011 0 0 0 0 5 3 20 0 15 0 444432794 11105218560 163833 33554432000 4194304 4196468 140721273528048 140416232803168 140417723623125 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20094976 140721273531120 140721273533637 140721273533637 140721273536463 0
[pid=28497/tid=28563] ppid=28494 vsize=10844940 memory=6944656592455097440 CPUtime=0.08 cores=0,2,4,6
/proc/28497/task/28563/stat : 28563 (java) S 28494 28497 24851 0 -1 1077944384 7 13011 0 0 0 0 5 3 20 0 15 0 444432794 11105218560 163833 33554432000 4194304 4196468 140721273528048 140417245973040 140417723624066 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20094976 140721273531120 140721273533637 140721273533637 140721273536463 0
Current children cumulated CPU time: 12.4 s
Current children cumulated vsize: 10844940 KiB
Current children cumulated memory: 655332 KiB
[startup+6.80079 s]
/proc/loadavg: 2.20 1.64 1.51 3/227 28563
/proc/meminfo: memFree=28897856/32770624 swapFree=66953724/67108860
[pid=28497] ppid=28494 vsize=10844940 memory=657068 CPUtime=13.22 cores=0,2,4,6
/proc/28497/stat : 28497 (java) S 28494 28497 24851 0 -1 1077944320 59486 13011 0 0 1283 31 5 3 20 0 15 0 444432779 11105218560 164267 33554432000 4194304 4196468 140721273528048 140721273510592 140417723612919 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 20094976 140721273531120 140721273533637 140721273533637 140721273536463 0
/proc/28497/statm: 2711235 164267 3620 1 0 2673293 0
[pid=28497/tid=28550] ppid=28494 vsize=10844940 memory=0 CPUtime=6.58 cores=0,2,4,6
/proc/28497/task/28550/stat : 28550 (java) R 28494 28497 24851 0 -1 4202560 23943 13011 0 0 638 12 5 3 20 0 15 0 444432788 11105218560 164267 33554432000 4194304 4196468 140721273528048 140417695436368 140417723624854 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 20094976 140721273531120 140721273533637 140721273533637 140721273536463 0
[pid=28497/tid=28551] ppid=28494 vsize=10844940 memory=0 CPUtime=0.19 cores=0,2,4,6
/proc/28497/task/28551/stat : 28551 (java) S 28494 28497 24851 0 -1 1077944384 331 13011 0 0 9 2 5 3 20 0 15 0 444432789 11105218560 164267 33554432000 4194304 4196468 140721273528048 140417727855632 140417723623125 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20094976 140721273531120 140721273533637 140721273533637 140721273536463 0
[pid=28497/tid=28552] ppid=28494 vsize=10844940 memory=0 CPUtime=0.19 cores=0,2,4,6
/proc/28497/task/28552/stat : 28552 (java) S 28494 28497 24851 0 -1 1077944384 219 13011 0 0 9 2 5 3 20 0 15 0 444432789 11105218560 164267 33554432000 4194304 4196468 140721273528048 140417648815248 140417723623125 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20094976 140721273531120 140721273533637 140721273533637 140721273536463 0
[pid=28497/tid=28553] ppid=28494 vsize=10844940 memory=279963282511840 CPUtime=0.19 cores=0,2,4,6
/proc/28497/task/28553/stat : 28553 (java) S 28494 28497 24851 0 -1 1077944384 403 13011 0 0 9 2 5 3 20 0 15 0 444432789 11105218560 164267 33554432000 4194304 4196468 140721273528048 140417296050960 140417723623125 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20094976 140721273531120 140721273533637 140721273533637 140721273536463 0
[pid=28497/tid=28554] ppid=28494 vsize=10844940 memory=279963282516224 CPUtime=0.18 cores=0,2,4,6
/proc/28497/task/28554/stat : 28554 (java) S 28494 28497 24851 0 -1 1077944384 201 13011 0 0 9 1 5 3 20 0 15 0 444432789 11105218560 164267 33554432000 4194304 4196468 140721273528048 140417294998416 140417723623125 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20094976 140721273531120 140721273533637 140721273533637 140721273536463 0
[pid=28497/tid=28555] ppid=28494 vsize=10844940 memory=992 CPUtime=0.12 cores=0,2,4,6
/proc/28497/task/28555/stat : 28555 (java) S 28494 28497 24851 0 -1 1077944384 2923 13011 0 0 4 0 5 3 20 0 15 0 444432790 11105218560 164267 33554432000 4194304 4196468 140721273528048 140417250183408 140417723624066 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20094976 140721273531120 140721273533637 140721273533637 140721273536463 0
[pid=28497/tid=28556] ppid=28494 vsize=10844940 memory=2044 CPUtime=0.08 cores=0,2,4,6
/proc/28497/task/28556/stat : 28556 (java) S 28494 28497 24851 0 -1 1077944384 17 13011 0 0 0 0 5 3 20 0 15 0 444432791 11105218560 164267 33554432000 4194304 4196468 140721273528048 140417177740576 140417723623125 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20094976 140721273531120 140721273533637 140721273533637 140721273536463 0
[pid=28497/tid=28557] ppid=28494 vsize=10844940 memory=1428 CPUtime=0.08 cores=0,2,4,6
/proc/28497/task/28557/stat : 28557 (java) S 28494 28497 24851 0 -1 1077944384 6 13011 0 0 0 0 5 3 20 0 15 0 444432791 11105218560 164267 33554432000 4194304 4196468 140721273528048 140416573760256 140417723623125 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20094976 140721273531120 140721273533637 140721273533637 140721273536463 0
[pid=28497/tid=28558] ppid=28494 vsize=10844940 memory=11624 CPUtime=0.08 cores=0,2,4,6
/proc/28497/task/28558/stat : 28558 (java) S 28494 28497 24851 0 -1 1077944384 3 13011 0 0 0 0 5 3 20 0 15 0 444432794 11105218560 164267 33554432000 4194304 4196468 140721273528048 140416266360784 140417723631515 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20094976 140721273531120 140721273533637 140721273533637 140721273536463 0
[pid=28497/tid=28559] ppid=28494 vsize=10844940 memory=740 CPUtime=2.42 cores=0,2,4,6
/proc/28497/task/28559/stat : 28559 (java) R 28494 28497 24851 0 -1 4202560 11728 13011 0 0 231 3 5 3 20 0 15 0 444432794 11105218560 164267 33554432000 4194304 4196468 140721273528048 140417249118208 140417702869560 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 20094976 140721273531120 140721273533637 140721273533637 140721273536463 0
[pid=28497/tid=28560] ppid=28494 vsize=10844940 memory=1056 CPUtime=2.47 cores=0,2,4,6
/proc/28497/task/28560/stat : 28560 (java) R 28494 28497 24851 0 -1 4202560 11630 13011 0 0 237 2 5 3 20 0 15 0 444432794 11105218560 164267 33554432000 4194304 4196468 140721273528048 140417248063376 140417709216831 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 20094976 140721273531120 140721273533637 140721273533637 140721273536463 0
[pid=28497/tid=28561] ppid=28494 vsize=10844940 memory=1552 CPUtime=1.39 cores=0,2,4,6
/proc/28497/task/28561/stat : 28561 (java) R 28494 28497 24851 0 -1 4202560 5864 13011 0 0 129 2 5 3 20 0 15 0 444432794 11105218560 164267 33554432000 4194304 4196468 140721273528048 140417247025648 140417723634266 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 20094976 140721273531120 140721273533637 140721273533637 140721273536463 0
[pid=28497/tid=28562] ppid=28494 vsize=10844940 memory=1040 CPUtime=0.08 cores=0,2,4,6
/proc/28497/task/28562/stat : 28562 (java) S 28494 28497 24851 0 -1 1077944384 3 13011 0 0 0 0 5 3 20 0 15 0 444432794 11105218560 164267 33554432000 4194304 4196468 140721273528048 140416232803168 140417723623125 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20094976 140721273531120 140721273533637 140721273533637 140721273536463 0
[pid=28497/tid=28563] ppid=28494 vsize=10844940 memory=4132 CPUtime=0.08 cores=0,2,4,6
/proc/28497/task/28563/stat : 28563 (java) S 28494 28497 24851 0 -1 1077944384 7 13011 0 0 0 0 5 3 20 0 15 0 444432794 11105218560 164267 33554432000 4194304 4196468 140721273528048 140417245973040 140417723624066 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20094976 140721273531120 140721273533637 140721273533637 140721273536463 0
Current children cumulated CPU time: 13.22 s
Current children cumulated vsize: 10844940 KiB
Current children cumulated memory: 657068 KiB
[startup+7.00079 s]*
/proc/loadavg: 2.20 1.64 1.51 5/227 28563
/proc/meminfo: memFree=28795540/32770624 swapFree=66953724/67108860
[pid=28497] ppid=28494 vsize=10844940 memory=657684 CPUtime=13.87 cores=0,2,4,6
/proc/28497/stat : 28497 (java) S 28494 28497 24851 0 -1 1077944320 59600 13011 0 0 1348 31 5 3 20 0 15 0 444432779 11105218560 164421 33554432000 4194304 4196468 140721273528048 140721273510592 140417723612919 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 20094976 140721273531120 140721273533637 140721273533637 140721273536463 0
/proc/28497/statm: 2711235 164421 3621 1 0 2673293 0
[pid=28497/tid=28550] ppid=28494 vsize=10844940 memory=288363917221298210 CPUtime=6.79 cores=0,2,4,6
/proc/28497/task/28550/stat : 28550 (java) R 28494 28497 24851 0 -1 4202560 23946 13011 0 0 659 12 5 3 20 0 15 0 444432788 11105218560 164421 33554432000 4194304 4196468 140721273528048 140417695444680 140417339940104 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 20094976 140721273531120 140721273533637 140721273533637 140721273536463 0
[pid=28497/tid=28551] ppid=28494 vsize=10844940 memory=301 CPUtime=0.19 cores=0,2,4,6
/proc/28497/task/28551/stat : 28551 (java) S 28494 28497 24851 0 -1 1077944384 331 13011 0 0 9 2 5 3 20 0 15 0 444432789 11105218560 164421 33554432000 4194304 4196468 140721273528048 140417727855632 140417723623125 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20094976 140721273531120 140721273533637 140721273533637 140721273536463 0
[pid=28497/tid=28552] ppid=28494 vsize=10844940 memory=139981741140323 CPUtime=0.19 cores=0,2,4,6
/proc/28497/task/28552/stat : 28552 (java) S 28494 28497 24851 0 -1 1077944384 219 13011 0 0 9 2 5 3 20 0 15 0 444432789 11105218560 164421 33554432000 4194304 4196468 140721273528048 140417648815248 140417723623125 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20094976 140721273531120 140721273533637 140721273533637 140721273536463 0
[pid=28497/tid=28553] ppid=28494 vsize=10844940 memory=6944613755495348631 CPUtime=0.19 cores=0,2,4,6
/proc/28497/task/28553/stat : 28553 (java) S 28494 28497 24851 0 -1 1077944384 403 13011 0 0 9 2 5 3 20 0 15 0 444432789 11105218560 164421 33554432000 4194304 4196468 140721273528048 140417296050960 140417723623125 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20094976 140721273531120 140721273533637 140721273533637 140721273536463 0
[pid=28497/tid=28554] ppid=28494 vsize=10844940 memory=664964232733811010 CPUtime=0.18 cores=0,2,4,6
/proc/28497/task/28554/stat : 28554 (java) S 28494 28497 24851 0 -1 1077944384 201 13011 0 0 9 1 5 3 20 0 15 0 444432789 11105218560 164421 33554432000 4194304 4196468 140721273528048 140417294998416 140417723623125 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20094976 140721273531120 140721273533637 140721273533637 140721273536463 0
[pid=28497/tid=28555] ppid=28494 vsize=10844940 memory=279963476346944 CPUtime=0.12 cores=0,2,4,6
/proc/28497/task/28555/stat : 28555 (java) S 28494 28497 24851 0 -1 1077944384 2923 13011 0 0 4 0 5 3 20 0 15 0 444432790 11105218560 164421 33554432000 4194304 4196468 140721273528048 140417250183408 140417723624066 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20094976 140721273531120 140721273533637 140721273533637 140721273536463 0
[pid=28497/tid=28556] ppid=28494 vsize=10844940 memory=5939498085635530801 CPUtime=0.08 cores=0,2,4,6
/proc/28497/task/28556/stat : 28556 (java) S 28494 28497 24851 0 -1 1077944384 17 13011 0 0 0 0 5 3 20 0 15 0 444432791 11105218560 164421 33554432000 4194304 4196468 140721273528048 140417177740576 140417723623125 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20094976 140721273531120 140721273533637 140721273533637 140721273536463 0
[pid=28497/tid=28557] ppid=28494 vsize=10844940 memory=279963282869400 CPUtime=0.08 cores=0,2,4,6
/proc/28497/task/28557/stat : 28557 (java) S 28494 28497 24851 0 -1 1077944384 6 13011 0 0 0 0 5 3 20 0 15 0 444432791 11105218560 164421 33554432000 4194304 4196468 140721273528048 140416573760256 140417723623125 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20094976 140721273531120 140721273533637 140721273533637 140721273536463 0
[pid=28497/tid=28558] ppid=28494 vsize=10844940 memory=124567003597546 CPUtime=0.08 cores=0,2,4,6
/proc/28497/task/28558/stat : 28558 (java) S 28494 28497 24851 0 -1 1077944384 3 13011 0 0 0 0 5 3 20 0 15 0 444432794 11105218560 164421 33554432000 4194304 4196468 140721273528048 140416266360784 140417723631515 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20094976 140721273531120 140721273533637 140721273533637 140721273536463 0
[pid=28497/tid=28559] ppid=28494 vsize=10844940 memory=0 CPUtime=2.63 cores=0,2,4,6
/proc/28497/task/28559/stat : 28559 (java) R 28494 28497 24851 0 -1 4202560 11766 13011 0 0 252 3 5 3 20 0 15 0 444432794 11105218560 164421 33554432000 4194304 4196468 140721273528048 140417249112960 140417702831551 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 20094976 140721273531120 140721273533637 140721273533637 140721273536463 0
[pid=28497/tid=28560] ppid=28494 vsize=10844940 memory=-1 CPUtime=2.68 cores=0,2,4,6
/proc/28497/task/28560/stat : 28560 (java) R 28494 28497 24851 0 -1 4202560 11669 13011 0 0 258 2 5 3 20 0 15 0 444432794 11105218560 164421 33554432000 4194304 4196468 140721273528048 140417248065272 140417708500766 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 20094976 140721273531120 140721273533637 140721273533637 140721273536463 0
[pid=28497/tid=28561] ppid=28494 vsize=10844940 memory=139981738174085 CPUtime=1.42 cores=0,2,4,6
/proc/28497/task/28561/stat : 28561 (java) R 28494 28497 24851 0 -1 1077944384 5898 13011 0 0 132 2 5 3 20 0 15 0 444432794 11105218560 164421 33554432000 4194304 4196468 140721273528048 140417247025648 140417723624066 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 20094976 140721273531120 140721273533637 140721273533637 140721273536463 0
[pid=28497/tid=28562] ppid=28494 vsize=10844940 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/28497/task/28562/stat : 28562 (java) S 28494 28497 24851 0 -1 1077944384 3 13011 0 0 0 0 5 3 20 0 15 0 444432794 11105218560 164421 33554432000 4194304 4196468 140721273528048 140416232803168 140417723623125 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20094976 140721273531120 140721273533637 140721273533637 140721273536463 0
[pid=28497/tid=28563] ppid=28494 vsize=10844940 memory=139981738174080 CPUtime=0.08 cores=0,2,4,6
/proc/28497/task/28563/stat : 28563 (java) S 28494 28497 24851 0 -1 1077944384 7 13011 0 0 0 0 5 3 20 0 15 0 444432794 11105218560 164421 33554432000 4194304 4196468 140721273528048 140417245973040 140417723624066 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20094976 140721273531120 140721273533637 140721273533637 140721273536463 0
Current children cumulated CPU time: 13.87 s
Current children cumulated vsize: 10844940 KiB
Current children cumulated memory: 657684 KiB
[startup+7.11037 s]
/proc/loadavg: 2.20 1.64 1.51 5/227 28563
/proc/meminfo: memFree=28795540/32770624 swapFree=66953724/67108860
[pid=28497] ppid=28494 vsize=10846988 memory=657692 CPUtime=14.18 cores=0,2,4,6
/proc/28497/stat : 28497 (java) S 28494 28497 24851 0 -1 1077944320 59642 13011 0 0 1379 31 5 3 20 0 15 0 444432779 11107315712 164423 33554432000 4194304 4196468 140721273528048 140721273510592 140417723612919 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 20094976 140721273531120 140721273533637 140721273533637 140721273536463 0
/proc/28497/statm: 2711747 164423 3621 1 0 2673805 0
[pid=28497/tid=28550] ppid=28494 vsize=10846988 memory=122677150904243 CPUtime=6.89 cores=0,2,4,6
/proc/28497/task/28550/stat : 28550 (java) R 28494 28497 24851 0 -1 4202560 23946 13011 0 0 669 12 5 3 20 0 15 0 444432788 11107315712 164423 33554432000 4194304 4196468 140721273528048 140417695444680 140417723624854 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 20094976 140721273531120 140721273533637 140721273533637 140721273536463 0
[pid=28497/tid=28551] ppid=28494 vsize=10846988 memory=523736 CPUtime=0.19 cores=0,2,4,6
/proc/28497/task/28551/stat : 28551 (java) S 28494 28497 24851 0 -1 1077944384 331 13011 0 0 9 2 5 3 20 0 15 0 444432789 11107315712 164423 33554432000 4194304 4196468 140721273528048 140417727855632 140417723623125 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20094976 140721273531120 140721273533637 140721273533637 140721273536463 0
[pid=28497/tid=28552] ppid=28494 vsize=10846988 memory=390420 CPUtime=0.19 cores=0,2,4,6
/proc/28497/task/28552/stat : 28552 (java) S 28494 28497 24851 0 -1 1077944384 219 13011 0 0 9 2 5 3 20 0 15 0 444432789 11107315712 164423 33554432000 4194304 4196468 140721273528048 140417648815248 140417723623125 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20094976 140721273531120 140721273533637 140721273533637 140721273536463 0
[pid=28497/tid=28553] ppid=28494 vsize=10846988 memory=164 CPUtime=0.19 cores=0,2,4,6
/proc/28497/task/28553/stat : 28553 (java) S 28494 28497 24851 0 -1 1077944384 403 13011 0 0 9 2 5 3 20 0 15 0 444432789 11107315712 164423 33554432000 4194304 4196468 140721273528048 140417296050960 140417723623125 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20094976 140721273531120 140721273533637 140721273533637 140721273536463 0
[pid=28497/tid=28554] ppid=28494 vsize=10846988 memory=4639059877604708710 CPUtime=0.18 cores=0,2,4,6
/proc/28497/task/28554/stat : 28554 (java) S 28494 28497 24851 0 -1 1077944384 201 13011 0 0 9 1 5 3 20 0 15 0 444432789 11107315712 164423 33554432000 4194304 4196468 140721273528048 140417294998416 140417723623125 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20094976 140721273531120 140721273533637 140721273533637 140721273536463 0
[pid=28497/tid=28555] ppid=28494 vsize=10846988 memory=7374758023436981604 CPUtime=0.12 cores=0,2,4,6
/proc/28497/task/28555/stat : 28555 (java) S 28494 28497 24851 0 -1 1077944384 2923 13011 0 0 4 0 5 3 20 0 15 0 444432790 11107315712 164423 33554432000 4194304 4196468 140721273528048 140417250183408 140417723624066 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20094976 140721273531120 140721273533637 140721273533637 140721273536463 0
[pid=28497/tid=28556] ppid=28494 vsize=10846988 memory=6297247661399556193 CPUtime=0.08 cores=0,2,4,6
/proc/28497/task/28556/stat : 28556 (java) S 28494 28497 24851 0 -1 1077944384 17 13011 0 0 0 0 5 3 20 0 15 0 444432791 11107315712 164423 33554432000 4194304 4196468 140721273528048 140417177740576 140417723623125 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20094976 140721273531120 140721273533637 140721273533637 140721273536463 0
[pid=28497/tid=28557] ppid=28494 vsize=10846988 memory=279963282444800 CPUtime=0.08 cores=0,2,4,6
/proc/28497/task/28557/stat : 28557 (java) S 28494 28497 24851 0 -1 1077944384 6 13011 0 0 0 0 5 3 20 0 15 0 444432791 11107315712 164423 33554432000 4194304 4196468 140721273528048 140416573760256 140417723623125 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20094976 140721273531120 140721273533637 140721273533637 140721273536463 0
[pid=28497/tid=28558] ppid=28494 vsize=10846988 memory=13877 CPUtime=0.08 cores=0,2,4,6
/proc/28497/task/28558/stat : 28558 (java) S 28494 28497 24851 0 -1 1077944384 3 13011 0 0 0 0 5 3 20 0 15 0 444432794 11107315712 164423 33554432000 4194304 4196468 140721273528048 140416266360784 140417723631515 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20094976 140721273531120 140721273533637 140721273533637 140721273536463 0
[pid=28497/tid=28559] ppid=28494 vsize=10846988 memory=26818 CPUtime=2.73 cores=0,2,4,6
/proc/28497/task/28559/stat : 28559 (java) R 28494 28497 24851 0 -1 4202560 11777 13011 0 0 262 3 5 3 20 0 15 0 444432794 11107315712 164423 33554432000 4194304 4196468 140721273528048 140417249112960 140417705158209 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 20094976 140721273531120 140721273533637 140721273533637 140721273536463 0
[pid=28497/tid=28560] ppid=28494 vsize=10846988 memory=0 CPUtime=2.78 cores=0,2,4,6
/proc/28497/task/28560/stat : 28560 (java) R 28494 28497 24851 0 -1 4202560 11684 13011 0 0 268 2 5 3 20 0 15 0 444432794 11107315712 164423 33554432000 4194304 4196468 140721273528048 140417248066128 140417723626806 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 20094976 140721273531120 140721273533637 140721273533637 140721273536463 0
[pid=28497/tid=28561] ppid=28494 vsize=10846988 memory=3612 CPUtime=1.43 cores=0,2,4,6
/proc/28497/task/28561/stat : 28561 (java) S 28494 28497 24851 0 -1 1077944384 5914 13011 0 0 133 2 5 3 20 0 15 0 444432794 11107315712 164423 33554432000 4194304 4196468 140721273528048 140417247025648 140417723624066 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20094976 140721273531120 140721273533637 140721273533637 140721273536463 0
[pid=28497/tid=28562] ppid=28494 vsize=10846988 memory=179008 CPUtime=0.08 cores=0,2,4,6
/proc/28497/task/28562/stat : 28562 (java) S 28494 28497 24851 0 -1 1077944384 3 13011 0 0 0 0 5 3 20 0 15 0 444432794 11107315712 164423 33554432000 4194304 4196468 140721273528048 140416232803168 140417723623125 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20094976 140721273531120 140721273533637 140721273533637 140721273536463 0
[pid=28497/tid=28563] ppid=28494 vsize=10846988 memory=139981641256752 CPUtime=0.08 cores=0,2,4,6
/proc/28497/task/28563/stat : 28563 (java) S 28494 28497 24851 0 -1 1077944384 7 13011 0 0 0 0 5 3 20 0 15 0 444432794 11107315712 164423 33554432000 4194304 4196468 140721273528048 140417245973040 140417723624066 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20094976 140721273531120 140721273533637 140721273533637 140721273536463 0
Current children cumulated CPU time: 14.18 s
Current children cumulated vsize: 10846988 KiB
Current children cumulated memory: 657692 KiB
Child status: 0
Real time (s): 7.17648
CPU time (s): 14.3417
CPU user time (s): 13.9702
CPU system time (s): 0.371451
CPU usage (%): 199.843
Max. virtual memory (cumulated for all children) (KiB): 10850244
Max. memory (cumulated for all children) (KiB): 657692
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 13.9702
system time used= 0.371451
maximum resident set size= 660116
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 74403
page faults= 0
swaps= 0
block input operations= 0
block output operations= 184
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 6340
involuntary context switches= 58
# summary of solver processes directly reported to runsolver:
# pid: 28497
# total CPU time (s): 14.3417
# total CPU user time (s): 13.9702
# total CPU system time (s): 0.371451
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.066957 second user time and 0.110896 second system time
The end