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 (6409 MiB free)
memory of node 1: 16384 MiB (13873 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4387087-1568290196/watcher-4387087-1568290196 -o /tmp/evaluation-result-4387087-1568290196/solver-4387087-1568290196 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node104-1568282865-6844 --watchdog 2580 bin/xcsp-3-concrete -J-Xss32M -randomseed=93934166 HOME/instance-4387087-1568290196.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=8379, runsolver pid=8376
Current StackSize limit: 8192 KiB
[startup+0.100137 s]*
/proc/loadavg: 1.58 1.81 1.70 3/218 8436
/proc/meminfo: memFree=20764540/32770624 swapFree=66977604/67108860
[pid=8379] ppid=8376 vsize=9972712 memory=16812 CPUtime=0.09 cores=1,3,5,7
/proc/8379/stat : 8379 (java) S 8376 8379 5836 0 -1 1077944320 4486 13248 0 0 1 1 5 2 20 0 6 0 405276921 10212057088 4203 33554432000 4194304 4196468 140735505540608 140735505523152 140247939919607 0 0 0 16784584 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 17162240 140735505541879 140735505544389 140735505544389 140735505547215 0
/proc/8379/statm: 2493178 4203 1935 1 0 2481616 0
[pid=8379/tid=8432] ppid=8376 vsize=9972712 memory=720575944405811505 CPUtime=0.07 cores=1,3,5,7
/proc/8379/task/8432/stat : 8432 (java) R 8376 8379 5836 0 -1 4202560 2300 13248 0 0 0 0 5 2 20 0 6 0 405276930 10212057088 4269 33554432000 4194304 4196468 140735505540608 140247911756368 140247939941533 0 4 0 16784584 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 17162240 140735505541879 140735505544389 140735505544389 140735505547215 0
[pid=8379/tid=8433] ppid=8376 vsize=9972712 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/8379/task/8433/stat : 8433 (java) S 8376 8379 5836 0 -1 1077944384 1 13248 0 0 0 0 5 2 20 0 6 0 405276931 10212057088 4269 33554432000 4194304 4196468 140735505540608 140247944162064 140247939929813 0 4 0 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17162240 140735505541879 140735505544389 140735505544389 140735505547215 0
[pid=8379/tid=8434] ppid=8376 vsize=9972712 memory=14832605583726232 CPUtime=0.07 cores=1,3,5,7
/proc/8379/task/8434/stat : 8434 (java) S 8376 8379 5836 0 -1 1077944384 1 13248 0 0 0 0 5 2 20 0 6 0 405276931 10212057088 4269 33554432000 4194304 4196468 140735505540608 140247512832912 140247939929813 0 4 0 16784584 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17162240 140735505541879 140735505544389 140735505544389 140735505547215 0
[pid=8379/tid=8435] ppid=8376 vsize=9972712 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/8379/task/8435/stat : 8435 (java) S 8376 8379 5836 0 -1 1077944384 1 13248 0 0 0 0 5 2 20 0 6 0 405276931 10212057088 4269 33554432000 4194304 4196468 140735505540608 140247511780368 140247939929813 0 4 0 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17162240 140735505541879 140735505544389 140735505544389 140735505547215 0
[pid=8379/tid=8436] ppid=8376 vsize=9972712 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/8379/task/8436/stat : 8436 (java) S 8376 8379 5836 0 -1 1077944384 2 13248 0 0 0 0 5 2 20 0 6 0 405276931 10212057088 4269 33554432000 4194304 4196468 140735505540608 140247510727824 140247939929813 0 4 0 16784584 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17162240 140735505541879 140735505544389 140735505544389 140735505547215 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 9972712 KiB
Current children cumulated memory: 16812 KiB
[startup+0.210833 s]*
/proc/loadavg: 1.58 1.81 1.70 3/227 8445
/proc/meminfo: memFree=20743692/32770624 swapFree=66977604/67108860
[pid=8379] ppid=8376 vsize=10818940 memory=39000 CPUtime=0.25 cores=1,3,5,7
/proc/8379/stat : 8379 (java) S 8376 8379 5836 0 -1 1077944320 7091 13248 0 0 16 2 5 2 20 0 15 0 405276921 11078594560 9750 33554432000 4194304 4196468 140735505540608 140735505523152 140247939919607 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 17162240 140735505541879 140735505544389 140735505544389 140735505547215 0
/proc/8379/statm: 2704735 9750 2979 1 0 2667149 0
[pid=8379/tid=8432] ppid=8376 vsize=10818940 memory=729618466009055537 CPUtime=0.19 cores=1,3,5,7
/proc/8379/task/8432/stat : 8432 (java) R 8376 8379 5836 0 -1 4202560 3598 13248 0 0 11 1 5 2 20 0 15 0 405276930 11078594560 9750 33554432000 4194304 4196468 140735505540608 140247911752624 140247924000094 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 17162240 140735505541879 140735505544389 140735505544389 140735505547215 0
[pid=8379/tid=8433] ppid=8376 vsize=10818940 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/8379/task/8433/stat : 8433 (java) S 8376 8379 5836 0 -1 1077944384 1 13248 0 0 0 0 5 2 20 0 15 0 405276931 11078594560 9750 33554432000 4194304 4196468 140735505540608 140247944162064 140247939929813 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17162240 140735505541879 140735505544389 140735505544389 140735505547215 0
[pid=8379/tid=8434] ppid=8376 vsize=10818940 memory=14832605583726232 CPUtime=0.07 cores=1,3,5,7
/proc/8379/task/8434/stat : 8434 (java) S 8376 8379 5836 0 -1 1077944384 1 13248 0 0 0 0 5 2 20 0 15 0 405276931 11078594560 9750 33554432000 4194304 4196468 140735505540608 140247512832912 140247939929813 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17162240 140735505541879 140735505544389 140735505544389 140735505547215 0
[pid=8379/tid=8435] ppid=8376 vsize=10818940 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/8379/task/8435/stat : 8435 (java) S 8376 8379 5836 0 -1 1077944384 1 13248 0 0 0 0 5 2 20 0 15 0 405276931 11078594560 9750 33554432000 4194304 4196468 140735505540608 140247511780368 140247939929813 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17162240 140735505541879 140735505544389 140735505544389 140735505547215 0
[pid=8379/tid=8436] ppid=8376 vsize=10818940 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/8379/task/8436/stat : 8436 (java) S 8376 8379 5836 0 -1 1077944384 2 13248 0 0 0 0 5 2 20 0 15 0 405276931 11078594560 9750 33554432000 4194304 4196468 140735505540608 140247510727824 140247939929813 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17162240 140735505541879 140735505544389 140735505544389 140735505547215 0
[pid=8379/tid=8437] ppid=8376 vsize=10818940 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/8379/task/8437/stat : 8437 (java) S 8376 8379 5836 0 -1 1077944384 2 13248 0 0 0 0 5 2 20 0 15 0 405276932 11078594560 9750 33554432000 4194304 4196468 140735505540608 140247466608624 140247939930754 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17162240 140735505541879 140735505544389 140735505544389 140735505547215 0
[pid=8379/tid=8438] ppid=8376 vsize=10818940 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/8379/task/8438/stat : 8438 (java) S 8376 8379 5836 0 -1 1077944384 13 13248 0 0 0 0 5 2 20 0 15 0 405276933 11078594560 9750 33554432000 4194304 4196468 140735505540608 140247392314272 140247939929813 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17162240 140735505541879 140735505544389 140735505544389 140735505547215 0
[pid=8379/tid=8439] ppid=8376 vsize=10818940 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/8379/task/8439/stat : 8439 (java) S 8376 8379 5836 0 -1 1077944384 1 13248 0 0 0 0 5 2 20 0 15 0 405276933 11078594560 9750 33554432000 4194304 4196468 140735505540608 140246788334576 140247939929813 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17162240 140735505541879 140735505544389 140735505544389 140735505547215 0
[pid=8379/tid=8440] ppid=8376 vsize=10818940 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/8379/task/8440/stat : 8440 (java) S 8376 8379 5836 0 -1 1077944384 3 13248 0 0 0 0 5 2 20 0 15 0 405276935 11078594560 9815 33554432000 4194304 4196468 140735505540608 140246480935120 140247939938203 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17162240 140735505541879 140735505544389 140735505544389 140735505547215 0
[pid=8379/tid=8441] ppid=8376 vsize=10818940 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/8379/task/8441/stat : 8441 (java) S 8376 8379 5836 0 -1 1077944384 493 13248 0 0 1 0 5 2 20 0 15 0 405276935 11078594560 9815 33554432000 4194304 4196468 140735505540608 140247465556464 140247939930754 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17162240 140735505541879 140735505544389 140735505544389 140735505547215 0
[pid=8379/tid=8442] ppid=8376 vsize=10818940 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/8379/task/8442/stat : 8442 (java) S 8376 8379 5836 0 -1 1077944384 159 13248 0 0 0 0 5 2 20 0 15 0 405276935 11078594560 9815 33554432000 4194304 4196468 140735505540608 140247464503920 140247939930754 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17162240 140735505541879 140735505544389 140735505544389 140735505547215 0
[pid=8379/tid=8443] ppid=8376 vsize=10818940 memory=140715525232256 CPUtime=0.1 cores=1,3,5,7
/proc/8379/task/8443/stat : 8443 (java) S 8376 8379 5836 0 -1 1077944384 615 13248 0 0 3 0 5 2 20 0 15 0 405276935 11078594560 9815 33554432000 4194304 4196468 140735505540608 140247463451376 140247939930754 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17162240 140735505541879 140735505544389 140735505544389 140735505547215 0
[pid=8379/tid=8444] ppid=8376 vsize=10818940 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/8379/task/8444/stat : 8444 (java) S 8376 8379 5836 0 -1 1077944384 3 13248 0 0 0 0 5 2 20 0 15 0 405276936 11078594560 9815 33554432000 4194304 4196468 140735505540608 140246447377504 140247939929813 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17162240 140735505541879 140735505544389 140735505544389 140735505547215 0
[pid=8379/tid=8445] ppid=8376 vsize=10818940 memory=140715525232256 CPUtime=0.07 cores=1,3,5,7
/proc/8379/task/8445/stat : 8445 (java) S 8376 8379 5836 0 -1 1077944384 1 13248 0 0 0 0 5 2 20 0 15 0 405276936 11078594560 9815 33554432000 4194304 4196468 140735505540608 140247462398256 140247939930754 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17162240 140735505541879 140735505544389 140735505544389 140735505547215 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 10818940 KiB
Current children cumulated memory: 39000 KiB
[startup+0.310772 s]*
/proc/loadavg: 1.58 1.81 1.70 3/227 8445
/proc/meminfo: memFree=20733308/32770624 swapFree=66977604/67108860
[pid=8379] ppid=8376 vsize=10820096 memory=50332 CPUtime=0.4 cores=1,3,5,7
/proc/8379/stat : 8379 (java) S 8376 8379 5836 0 -1 1077944320 10821 13248 0 0 29 4 5 2 20 0 15 0 405276921 11079778304 12583 33554432000 4194304 4196468 140735505540608 140735505523152 140247939919607 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 17162240 140735505541879 140735505544389 140735505544389 140735505547215 0
/proc/8379/statm: 2705024 12583 3233 1 0 2667149 0
[pid=8379/tid=8432] ppid=8376 vsize=10820096 memory=8317482817917895235 CPUtime=0.29 cores=1,3,5,7
/proc/8379/task/8432/stat : 8432 (java) R 8376 8379 5836 0 -1 4202560 7302 13248 0 0 19 3 5 2 20 0 15 0 405276930 11079778304 12583 33554432000 4194304 4196468 140735505540608 140247911737712 140247932597700 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 17162240 140735505541879 140735505544389 140735505544389 140735505547215 0
[pid=8379/tid=8433] ppid=8376 vsize=10820244 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/8379/task/8433/stat : 8433 (java) S 8376 8379 5836 0 -1 1077944384 1 13248 0 0 0 0 5 2 20 0 15 0 405276931 11079929856 12583 33554432000 4194304 4196468 140735505540608 140247944162064 140247939929813 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17162240 140735505541879 140735505544389 140735505544389 140735505547215 0
[pid=8379/tid=8434] ppid=8376 vsize=10820244 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/8379/task/8434/stat : 8434 (java) S 8376 8379 5836 0 -1 1077944384 1 13248 0 0 0 0 5 2 20 0 15 0 405276931 11079929856 12583 33554432000 4194304 4196468 140735505540608 140247512832912 140247939929813 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17162240 140735505541879 140735505544389 140735505544389 140735505547215 0
[pid=8379/tid=8435] ppid=8376 vsize=10820244 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/8379/task/8435/stat : 8435 (java) S 8376 8379 5836 0 -1 1077944384 1 13248 0 0 0 0 5 2 20 0 15 0 405276931 11079929856 12583 33554432000 4194304 4196468 140735505540608 140247511780368 140247939929813 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17162240 140735505541879 140735505544389 140735505544389 140735505547215 0
[pid=8379/tid=8436] ppid=8376 vsize=10820244 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/8379/task/8436/stat : 8436 (java) S 8376 8379 5836 0 -1 1077944384 2 13248 0 0 0 0 5 2 20 0 15 0 405276931 11079929856 12648 33554432000 4194304 4196468 140735505540608 140247510727824 140247939929813 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17162240 140735505541879 140735505544389 140735505544389 140735505547215 0
[pid=8379/tid=8437] ppid=8376 vsize=10820244 memory=140715525232255 CPUtime=0.07 cores=1,3,5,7
/proc/8379/task/8437/stat : 8437 (java) S 8376 8379 5836 0 -1 1077944384 2 13248 0 0 0 0 5 2 20 0 15 0 405276932 11079929856 12648 33554432000 4194304 4196468 140735505540608 140247466608624 140247939930754 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17162240 140735505541879 140735505544389 140735505544389 140735505547215 0
[pid=8379/tid=8438] ppid=8376 vsize=10820244 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/8379/task/8438/stat : 8438 (java) S 8376 8379 5836 0 -1 1077944384 13 13248 0 0 0 0 5 2 20 0 15 0 405276933 11079929856 12648 33554432000 4194304 4196468 140735505540608 140247392314272 140247939929813 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17162240 140735505541879 140735505544389 140735505544389 140735505547215 0
[pid=8379/tid=8439] ppid=8376 vsize=10820244 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/8379/task/8439/stat : 8439 (java) S 8376 8379 5836 0 -1 1077944384 1 13248 0 0 0 0 5 2 20 0 15 0 405276933 11079929856 12648 33554432000 4194304 4196468 140735505540608 140246788334576 140247939929813 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17162240 140735505541879 140735505544389 140735505544389 140735505547215 0
[pid=8379/tid=8440] ppid=8376 vsize=10820244 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/8379/task/8440/stat : 8440 (java) S 8376 8379 5836 0 -1 1077944384 3 13248 0 0 0 0 5 2 20 0 15 0 405276935 11079929856 12648 33554432000 4194304 4196468 140735505540608 140246480935120 140247939938203 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17162240 140735505541879 140735505544389 140735505544389 140735505547215 0
[pid=8379/tid=8441] ppid=8376 vsize=10820244 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/8379/task/8441/stat : 8441 (java) S 8376 8379 5836 0 -1 1077944384 493 13248 0 0 1 0 5 2 20 0 15 0 405276935 11079929856 12648 33554432000 4194304 4196468 140735505540608 140247465556464 140247939930754 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17162240 140735505541879 140735505544389 140735505544389 140735505547215 0
[pid=8379/tid=8442] ppid=8376 vsize=10820244 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/8379/task/8442/stat : 8442 (java) S 8376 8379 5836 0 -1 1077944384 161 13248 0 0 1 0 5 2 20 0 15 0 405276935 11079929856 12648 33554432000 4194304 4196468 140735505540608 140247464503920 140247939930754 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17162240 140735505541879 140735505544389 140735505544389 140735505547215 0
[pid=8379/tid=8443] ppid=8376 vsize=10820244 memory=140715525232256 CPUtime=0.12 cores=1,3,5,7
/proc/8379/task/8443/stat : 8443 (java) S 8376 8379 5836 0 -1 1077944384 628 13248 0 0 5 0 5 2 20 0 15 0 405276935 11079929856 12648 33554432000 4194304 4196468 140735505540608 140247463451376 140247939930754 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17162240 140735505541879 140735505544389 140735505544389 140735505547215 0
[pid=8379/tid=8444] ppid=8376 vsize=10820244 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/8379/task/8444/stat : 8444 (java) S 8376 8379 5836 0 -1 1077944384 3 13248 0 0 0 0 5 2 20 0 15 0 405276936 11079929856 12648 33554432000 4194304 4196468 140735505540608 140246447377504 140247939929813 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17162240 140735505541879 140735505544389 140735505544389 140735505547215 0
[pid=8379/tid=8445] ppid=8376 vsize=10820244 memory=140715525232256 CPUtime=0.07 cores=1,3,5,7
/proc/8379/task/8445/stat : 8445 (java) S 8376 8379 5836 0 -1 1077944384 1 13248 0 0 0 0 5 2 20 0 15 0 405276936 11079929856 12648 33554432000 4194304 4196468 140735505540608 140247462398256 140247939930754 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17162240 140735505541879 140735505544389 140735505544389 140735505547215 0
Current children cumulated CPU time: 0.4 s
Current children cumulated vsize: 10820096 KiB
Current children cumulated memory: 50332 KiB
[startup+0.700749 s]
/proc/loadavg: 1.58 1.81 1.70 5/227 8445
/proc/meminfo: memFree=20718324/32770624 swapFree=66977604/67108860
[pid=8379] ppid=8376 vsize=10824340 memory=80748 CPUtime=1.14 cores=1,3,5,7
/proc/8379/stat : 8379 (java) S 8376 8379 5836 0 -1 1077944320 14883 13248 0 0 101 6 5 2 20 0 15 0 405276921 11084124160 20187 33554432000 4194304 4196468 140735505540608 140735505523152 140247939919607 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 17162240 140735505541879 140735505544389 140735505544389 140735505547215 0
/proc/8379/statm: 2706085 20187 3507 1 0 2668173 0
[pid=8379/tid=8432] ppid=8376 vsize=10824340 memory=7810487918915055718 CPUtime=0.67 cores=1,3,5,7
/proc/8379/task/8432/stat : 8432 (java) D 8376 8379 5836 0 -1 1077944384 10534 13248 0 0 55 5 5 2 20 0 15 0 405276930 11084124160 20187 33554432000 4194304 4196468 140735505540608 140247911746592 140247939941629 0 4 0 16800975 18446744072101580324 0 0 -1 3 0 0 0 0 0 6293624 6294260 17162240 140735505541879 140735505544389 140735505544389 140735505547215 0
[pid=8379/tid=8433] ppid=8376 vsize=10824340 memory=1428 CPUtime=0.07 cores=1,3,5,7
/proc/8379/task/8433/stat : 8433 (java) S 8376 8379 5836 0 -1 1077944384 1 13248 0 0 0 0 5 2 20 0 15 0 405276931 11084124160 20187 33554432000 4194304 4196468 140735505540608 140247944162064 140247939929813 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17162240 140735505541879 140735505544389 140735505544389 140735505547215 0
[pid=8379/tid=8434] ppid=8376 vsize=10824340 memory=1728 CPUtime=0.07 cores=1,3,5,7
/proc/8379/task/8434/stat : 8434 (java) S 8376 8379 5836 0 -1 1077944384 1 13248 0 0 0 0 5 2 20 0 15 0 405276931 11084124160 20187 33554432000 4194304 4196468 140735505540608 140247512832912 140247939929813 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17162240 140735505541879 140735505544389 140735505544389 140735505547215 0
[pid=8379/tid=8435] ppid=8376 vsize=10824340 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/8379/task/8435/stat : 8435 (java) S 8376 8379 5836 0 -1 1077944384 1 13248 0 0 0 0 5 2 20 0 15 0 405276931 11084124160 20187 33554432000 4194304 4196468 140735505540608 140247511780368 140247939929813 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17162240 140735505541879 140735505544389 140735505544389 140735505547215 0
[pid=8379/tid=8436] ppid=8376 vsize=10824340 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/8379/task/8436/stat : 8436 (java) S 8376 8379 5836 0 -1 1077944384 2 13248 0 0 0 0 5 2 20 0 15 0 405276931 11084124160 20187 33554432000 4194304 4196468 140735505540608 140247510727824 140247939929813 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17162240 140735505541879 140735505544389 140735505544389 140735505547215 0
[pid=8379/tid=8437] ppid=8376 vsize=10824340 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/8379/task/8437/stat : 8437 (java) S 8376 8379 5836 0 -1 1077944384 6 13248 0 0 0 0 5 2 20 0 15 0 405276932 11084124160 20187 33554432000 4194304 4196468 140735505540608 140247466608624 140247939930754 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17162240 140735505541879 140735505544389 140735505544389 140735505547215 0
[pid=8379/tid=8438] ppid=8376 vsize=10824340 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/8379/task/8438/stat : 8438 (java) S 8376 8379 5836 0 -1 1077944384 13 13248 0 0 0 0 5 2 20 0 15 0 405276933 11084124160 20187 33554432000 4194304 4196468 140735505540608 140247392314272 140247939929813 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17162240 140735505541879 140735505544389 140735505544389 140735505547215 0
[pid=8379/tid=8439] ppid=8376 vsize=10824340 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/8379/task/8439/stat : 8439 (java) S 8376 8379 5836 0 -1 1077944384 1 13248 0 0 0 0 5 2 20 0 15 0 405276933 11084124160 20187 33554432000 4194304 4196468 140735505540608 140246788334576 140247939929813 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17162240 140735505541879 140735505544389 140735505544389 140735505547215 0
[pid=8379/tid=8440] ppid=8376 vsize=10824340 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/8379/task/8440/stat : 8440 (java) S 8376 8379 5836 0 -1 1077944384 3 13248 0 0 0 0 5 2 20 0 15 0 405276935 11084124160 20187 33554432000 4194304 4196468 140735505540608 140246480935120 140247939938203 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17162240 140735505541879 140735505544389 140735505544389 140735505547215 0
[pid=8379/tid=8441] ppid=8376 vsize=10824340 memory=0 CPUtime=0.23 cores=1,3,5,7
/proc/8379/task/8441/stat : 8441 (java) S 8376 8379 5836 0 -1 1077944384 851 13248 0 0 16 0 5 2 20 0 15 0 405276935 11084124160 20187 33554432000 4194304 4196468 140735505540608 140247465556464 140247939930754 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17162240 140735505541879 140735505544389 140735505544389 140735505547215 0
[pid=8379/tid=8442] ppid=8376 vsize=10824340 memory=0 CPUtime=0.19 cores=1,3,5,7
/proc/8379/task/8442/stat : 8442 (java) S 8376 8379 5836 0 -1 1077944384 422 13248 0 0 12 0 5 2 20 0 15 0 405276935 11084124160 20187 33554432000 4194304 4196468 140735505540608 140247464503920 140247939930754 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17162240 140735505541879 140735505544389 140735505544389 140735505547215 0
[pid=8379/tid=8443] ppid=8376 vsize=10824340 memory=0 CPUtime=0.24 cores=1,3,5,7
/proc/8379/task/8443/stat : 8443 (java) S 8376 8379 5836 0 -1 1077944384 834 13248 0 0 17 0 5 2 20 0 15 0 405276935 11084124160 20187 33554432000 4194304 4196468 140735505540608 140247463451376 140247939930754 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17162240 140735505541879 140735505544389 140735505544389 140735505547215 0
[pid=8379/tid=8444] ppid=8376 vsize=10824340 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/8379/task/8444/stat : 8444 (java) S 8376 8379 5836 0 -1 1077944384 3 13248 0 0 0 0 5 2 20 0 15 0 405276936 11084124160 20187 33554432000 4194304 4196468 140735505540608 140246447377504 140247939929813 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17162240 140735505541879 140735505544389 140735505544389 140735505547215 0
[pid=8379/tid=8445] ppid=8376 vsize=10824340 memory=3616 CPUtime=0.07 cores=1,3,5,7
/proc/8379/task/8445/stat : 8445 (java) S 8376 8379 5836 0 -1 1077944384 1 13248 0 0 0 0 5 2 20 0 15 0 405276936 11084124160 20187 33554432000 4194304 4196468 140735505540608 140247462398256 140247939930754 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17162240 140735505541879 140735505544389 140735505544389 140735505547215 0
Current children cumulated CPU time: 1.14 s
Current children cumulated vsize: 10824340 KiB
Current children cumulated memory: 80748 KiB
[startup+1.50078 s]
/proc/loadavg: 1.58 1.81 1.70 5/227 8445
/proc/meminfo: memFree=20629780/32770624 swapFree=66977604/67108860
[pid=8379] ppid=8376 vsize=10828512 memory=221240 CPUtime=3.48 cores=1,3,5,7
/proc/8379/stat : 8379 (java) S 8376 8379 5836 0 -1 1077944320 23941 13248 0 0 330 11 5 2 20 0 15 0 405276921 11088396288 55310 33554432000 4194304 4196468 140735505540608 140735505523152 140247939919607 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 17162240 140735505541879 140735505544389 140735505544389 140735505547215 0
/proc/8379/statm: 2707128 55310 3584 1 0 2669197 0
[pid=8379/tid=8432] ppid=8376 vsize=10828512 memory=0 CPUtime=1.42 cores=1,3,5,7
/proc/8379/task/8432/stat : 8432 (java) R 8376 8379 5836 0 -1 4202560 13176 13248 0 0 128 7 5 2 20 0 15 0 405276930 11088396288 55310 33554432000 4194304 4196468 140735505540608 140247911737792 140247924000094 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 17162240 140735505541879 140735505544389 140735505544389 140735505547215 0
[pid=8379/tid=8433] ppid=8376 vsize=10828512 memory=-7531822216213012384 CPUtime=0.07 cores=1,3,5,7
/proc/8379/task/8433/stat : 8433 (java) S 8376 8379 5836 0 -1 1077944384 108 13248 0 0 0 0 5 2 20 0 15 0 405276931 11088396288 55310 33554432000 4194304 4196468 140735505540608 140247944162064 140247939929813 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17162240 140735505541879 140735505544389 140735505544389 140735505547215 0
[pid=8379/tid=8434] ppid=8376 vsize=10828512 memory=7014751519683926118 CPUtime=0.07 cores=1,3,5,7
/proc/8379/task/8434/stat : 8434 (java) S 8376 8379 5836 0 -1 1077944384 4 13248 0 0 0 0 5 2 20 0 15 0 405276931 11088396288 55310 33554432000 4194304 4196468 140735505540608 140247512832912 140247939929813 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17162240 140735505541879 140735505544389 140735505544389 140735505547215 0
[pid=8379/tid=8435] ppid=8376 vsize=10828512 memory=7589523538259045208 CPUtime=0.07 cores=1,3,5,7
/proc/8379/task/8435/stat : 8435 (java) S 8376 8379 5836 0 -1 1077944384 8 13248 0 0 0 0 5 2 20 0 15 0 405276931 11088396288 55310 33554432000 4194304 4196468 140735505540608 140247511780368 140247939929813 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17162240 140735505541879 140735505544389 140735505544389 140735505547215 0
[pid=8379/tid=8436] ppid=8376 vsize=10828512 memory=281430819514720 CPUtime=0.08 cores=1,3,5,7
/proc/8379/task/8436/stat : 8436 (java) S 8376 8379 5836 0 -1 1077944384 401 13248 0 0 1 0 5 2 20 0 15 0 405276931 11088396288 55310 33554432000 4194304 4196468 140735505540608 140247510727824 140247939929813 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17162240 140735505541879 140735505544389 140735505544389 140735505547215 0
[pid=8379/tid=8437] ppid=8376 vsize=10828512 memory=176686364639669 CPUtime=0.07 cores=1,3,5,7
/proc/8379/task/8437/stat : 8437 (java) S 8376 8379 5836 0 -1 1077944384 102 13248 0 0 0 0 5 2 20 0 15 0 405276932 11088396288 55310 33554432000 4194304 4196468 140735505540608 140247466608624 140247939930754 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17162240 140735505541879 140735505544389 140735505544389 140735505547215 0
[pid=8379/tid=8438] ppid=8376 vsize=10828512 memory=176686364639670 CPUtime=0.07 cores=1,3,5,7
/proc/8379/task/8438/stat : 8438 (java) S 8376 8379 5836 0 -1 1077944384 14 13248 0 0 0 0 5 2 20 0 15 0 405276933 11088396288 55310 33554432000 4194304 4196468 140735505540608 140247392314272 140247939929813 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17162240 140735505541879 140735505544389 140735505544389 140735505547215 0
[pid=8379/tid=8439] ppid=8376 vsize=10828512 memory=176686364639671 CPUtime=0.07 cores=1,3,5,7
/proc/8379/task/8439/stat : 8439 (java) S 8376 8379 5836 0 -1 1077944384 1 13248 0 0 0 0 5 2 20 0 15 0 405276933 11088396288 55310 33554432000 4194304 4196468 140735505540608 140246788334576 140247939929813 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17162240 140735505541879 140735505544389 140735505544389 140735505547215 0
[pid=8379/tid=8440] ppid=8376 vsize=10828512 memory=176686364639672 CPUtime=0.07 cores=1,3,5,7
/proc/8379/task/8440/stat : 8440 (java) S 8376 8379 5836 0 -1 1077944384 3 13248 0 0 0 0 5 2 20 0 15 0 405276935 11088396288 55310 33554432000 4194304 4196468 140735505540608 140246480935120 140247939938203 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17162240 140735505541879 140735505544389 140735505544389 140735505547215 0
[pid=8379/tid=8441] ppid=8376 vsize=10828512 memory=0 CPUtime=0.85 cores=1,3,5,7
/proc/8379/task/8441/stat : 8441 (java) R 8376 8379 5836 0 -1 4202560 2646 13248 0 0 78 0 5 2 20 0 15 0 405276935 11088396288 55310 33554432000 4194304 4196468 140735505540608 140247465556464 140247921292183 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 17162240 140735505541879 140735505544389 140735505544389 140735505547215 0
[pid=8379/tid=8442] ppid=8376 vsize=10828512 memory=281430819108784 CPUtime=0.84 cores=1,3,5,7
/proc/8379/task/8442/stat : 8442 (java) S 8376 8379 5836 0 -1 1077944384 2872 13248 0 0 76 1 5 2 20 0 15 0 405276935 11088396288 55310 33554432000 4194304 4196468 140735505540608 140247464503920 140247939930754 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17162240 140735505541879 140735505544389 140735505544389 140735505547215 0
[pid=8379/tid=8443] ppid=8376 vsize=10828512 memory=281430819106928 CPUtime=0.51 cores=1,3,5,7
/proc/8379/task/8443/stat : 8443 (java) S 8376 8379 5836 0 -1 1077944384 2400 13248 0 0 43 1 5 2 20 0 15 0 405276935 11088396288 55310 33554432000 4194304 4196468 140735505540608 140247463451376 140247939930754 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17162240 140735505541879 140735505544389 140735505544389 140735505547215 0
[pid=8379/tid=8444] ppid=8376 vsize=10828512 memory=281430819106992 CPUtime=0.07 cores=1,3,5,7
/proc/8379/task/8444/stat : 8444 (java) S 8376 8379 5836 0 -1 1077944384 3 13248 0 0 0 0 5 2 20 0 15 0 405276936 11088396288 55310 33554432000 4194304 4196468 140735505540608 140246447377504 140247939929813 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17162240 140735505541879 140735505544389 140735505544389 140735505547215 0
[pid=8379/tid=8445] ppid=8376 vsize=10828512 memory=281430819554512 CPUtime=0.07 cores=1,3,5,7
/proc/8379/task/8445/stat : 8445 (java) S 8376 8379 5836 0 -1 1077944384 1 13248 0 0 0 0 5 2 20 0 15 0 405276936 11088396288 55310 33554432000 4194304 4196468 140735505540608 140247462398256 140247939930754 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17162240 140735505541879 140735505544389 140735505544389 140735505547215 0
Current children cumulated CPU time: 3.48 s
Current children cumulated vsize: 10828512 KiB
################
# More data... #
################
/proc/8379/task/8432/stat : 8432 (java) R 8376 8379 5836 0 -1 4202560 93885 13248 0 0 235726 59 5 2 20 0 15 0 405276930 11107291136 391753 33554432000 4194304 4196468 140735505540608 140247911755504 140247558925363 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 17162240 140735505541879 140735505544389 140735505544389 140735505547215 0
[pid=8379/tid=8433] ppid=8376 vsize=10846964 memory=1566984 CPUtime=14.8 cores=1,3,5,7
/proc/8379/task/8433/stat : 8433 (java) S 8376 8379 5836 0 -1 1077944384 30678 13248 0 0 1436 37 5 2 20 0 15 0 405276931 11107291136 391753 33554432000 4194304 4196468 140735505540608 140247944162064 140247939929813 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17162240 140735505541879 140735505544389 140735505544389 140735505547215 0
[pid=8379/tid=8434] ppid=8376 vsize=10846964 memory=1566980 CPUtime=14.78 cores=1,3,5,7
/proc/8379/task/8434/stat : 8434 (java) S 8376 8379 5836 0 -1 1077944384 44548 13248 0 0 1434 37 5 2 20 0 15 0 405276931 11107291136 391753 33554432000 4194304 4196468 140735505540608 140247512832912 140247939929813 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17162240 140735505541879 140735505544389 140735505544389 140735505547215 0
[pid=8379/tid=8435] ppid=8376 vsize=10846964 memory=1566984 CPUtime=14.85 cores=1,3,5,7
/proc/8379/task/8435/stat : 8435 (java) S 8376 8379 5836 0 -1 1077944384 39255 13248 0 0 1439 39 5 2 20 0 15 0 405276931 11107291136 391753 33554432000 4194304 4196468 140735505540608 140247511780368 140247939929813 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17162240 140735505541879 140735505544389 140735505544389 140735505547215 0
[pid=8379/tid=8436] ppid=8376 vsize=10846964 memory=1567012 CPUtime=14.83 cores=1,3,5,7
/proc/8379/task/8436/stat : 8436 (java) S 8376 8379 5836 0 -1 1077944384 25226 13248 0 0 1441 35 5 2 20 0 15 0 405276931 11107291136 391753 33554432000 4194304 4196468 140735505540608 140247510727824 140247939929813 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17162240 140735505541879 140735505544389 140735505544389 140735505547215 0
[pid=8379/tid=8437] ppid=8376 vsize=10846964 memory=1567012 CPUtime=6.2 cores=1,3,5,7
/proc/8379/task/8437/stat : 8437 (java) S 8376 8379 5836 0 -1 1077944384 27903 13248 0 0 571 42 5 2 20 0 15 0 405276932 11107291136 391753 33554432000 4194304 4196468 140735505540608 140247466608624 140247939930754 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17162240 140735505541879 140735505544389 140735505544389 140735505547215 0
[pid=8379/tid=8438] ppid=8376 vsize=10846964 memory=1566984 CPUtime=0.07 cores=1,3,5,7
/proc/8379/task/8438/stat : 8438 (java) S 8376 8379 5836 0 -1 1077944384 19 13248 0 0 0 0 5 2 20 0 15 0 405276933 11107291136 391753 33554432000 4194304 4196468 140735505540608 140247392314336 140247939929813 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17162240 140735505541879 140735505544389 140735505544389 140735505547215 0
[pid=8379/tid=8439] ppid=8376 vsize=10846964 memory=2832 CPUtime=0.07 cores=1,3,5,7
/proc/8379/task/8439/stat : 8439 (java) S 8376 8379 5836 0 -1 1077944384 2 13248 0 0 0 0 5 2 20 0 15 0 405276933 11107291136 391753 33554432000 4194304 4196468 140735505540608 140246788334592 140247939929813 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17162240 140735505541879 140735505544389 140735505544389 140735505547215 0
[pid=8379/tid=8440] ppid=8376 vsize=10846964 memory=3616 CPUtime=0.07 cores=1,3,5,7
/proc/8379/task/8440/stat : 8440 (java) S 8376 8379 5836 0 -1 1077944384 3 13248 0 0 0 0 5 2 20 0 15 0 405276935 11107291136 391753 33554432000 4194304 4196468 140735505540608 140246480935120 140247939938203 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17162240 140735505541879 140735505544389 140735505544389 140735505547215 0
[pid=8379/tid=8441] ppid=8376 vsize=10846964 memory=37548 CPUtime=10.67 cores=1,3,5,7
/proc/8379/task/8441/stat : 8441 (java) S 8376 8379 5836 0 -1 1077944384 18175 13248 0 0 1054 6 5 2 20 0 15 0 405276935 11107291136 391753 33554432000 4194304 4196468 140735505540608 140247465556464 140247939930754 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17162240 140735505541879 140735505544389 140735505544389 140735505547215 0
[pid=8379/tid=8442] ppid=8376 vsize=10846964 memory=1567012 CPUtime=10.72 cores=1,3,5,7
/proc/8379/task/8442/stat : 8442 (java) S 8376 8379 5836 0 -1 1077944384 17986 13248 0 0 1059 6 5 2 20 0 15 0 405276935 11107291136 391753 33554432000 4194304 4196468 140735505540608 140247464503920 140247939930754 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 78 0 0 6293624 6294260 17162240 140735505541879 140735505544389 140735505544389 140735505547215 0
[pid=8379/tid=8443] ppid=8376 vsize=10846964 memory=1567012 CPUtime=5.13 cores=1,3,5,7
/proc/8379/task/8443/stat : 8443 (java) S 8376 8379 5836 0 -1 1077944384 17134 13248 0 0 497 9 5 2 20 0 15 0 405276935 11107291136 391753 33554432000 4194304 4196468 140735505540608 140247463451376 140247939930754 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17162240 140735505541879 140735505544389 140735505544389 140735505547215 0
[pid=8379/tid=8444] ppid=8376 vsize=10846964 memory=3616 CPUtime=0.07 cores=1,3,5,7
/proc/8379/task/8444/stat : 8444 (java) S 8376 8379 5836 0 -1 1077944384 3 13248 0 0 0 0 5 2 20 0 15 0 405276936 11107291136 391753 33554432000 4194304 4196468 140735505540608 140246447377504 140247939929813 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17162240 140735505541879 140735505544389 140735505544389 140735505547215 0
[pid=8379/tid=8445] ppid=8376 vsize=10846964 memory=37548 CPUtime=1.46 cores=1,3,5,7
/proc/8379/task/8445/stat : 8445 (java) S 8376 8379 5836 0 -1 1077944384 1453 13248 0 0 62 77 5 2 20 0 15 0 405276936 11107291136 391753 33554432000 4194304 4196468 140735505540608 140247462398256 140247939930754 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 78 0 0 6293624 6294260 17162240 140735505541879 140735505544389 140735505544389 140735505547215 0
Current children cumulated CPU time: 2450.81 s
Current children cumulated vsize: 10846964 KiB
Current children cumulated memory: 1567012 KiB
[startup+2442.3 s]
/proc/loadavg: 1.42 1.39 1.38 3/227 8826
/proc/meminfo: memFree=18169416/32770624 swapFree=66977604/67108860
[pid=8379] ppid=8376 vsize=10846964 memory=1546704 CPUtime=2512.04 cores=1,3,5,7
/proc/8379/stat : 8379 (java) S 8376 8379 5836 0 -1 1077944320 320846 13248 0 0 250874 323 5 2 20 0 15 0 405276921 11107291136 386676 33554432000 4194304 4196468 140735505540608 140735505523152 140247939919607 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 17162240 140735505541879 140735505544389 140735505544389 140735505547215 0
/proc/8379/statm: 2711741 386676 3634 1 0 2673805 0
[pid=8379/tid=8432] ppid=8376 vsize=10846964 memory=1546704 CPUtime=2417.24 cores=1,3,5,7
/proc/8379/task/8432/stat : 8432 (java) R 8376 8379 5836 0 -1 4202560 94904 13248 0 0 241657 60 5 2 20 0 15 0 405276930 11107291136 386676 33554432000 4194304 4196468 140735505540608 140247911754768 140247557938880 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 17162240 140735505541879 140735505544389 140735505544389 140735505547215 0
[pid=8379/tid=8433] ppid=8376 vsize=10846964 memory=1546700 CPUtime=15.22 cores=1,3,5,7
/proc/8379/task/8433/stat : 8433 (java) S 8376 8379 5836 0 -1 1077944384 31226 13248 0 0 1478 37 5 2 20 0 15 0 405276931 11107291136 386676 33554432000 4194304 4196468 140735505540608 140247944162064 140247939929813 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17162240 140735505541879 140735505544389 140735505544389 140735505547215 0
[pid=8379/tid=8434] ppid=8376 vsize=10846964 memory=1546684 CPUtime=15.2 cores=1,3,5,7
/proc/8379/task/8434/stat : 8434 (java) S 8376 8379 5836 0 -1 1077944384 44591 13248 0 0 1475 38 5 2 20 0 15 0 405276931 11107291136 386676 33554432000 4194304 4196468 140735505540608 140247512832912 140247939929813 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17162240 140735505541879 140735505544389 140735505544389 140735505547215 0
[pid=8379/tid=8435] ppid=8376 vsize=10846964 memory=1546700 CPUtime=15.27 cores=1,3,5,7
/proc/8379/task/8435/stat : 8435 (java) S 8376 8379 5836 0 -1 1077944384 39277 13248 0 0 1481 39 5 2 20 0 15 0 405276931 11107291136 386676 33554432000 4194304 4196468 140735505540608 140247511780368 140247939929813 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17162240 140735505541879 140735505544389 140735505544389 140735505547215 0
[pid=8379/tid=8436] ppid=8376 vsize=10846964 memory=1546700 CPUtime=15.26 cores=1,3,5,7
/proc/8379/task/8436/stat : 8436 (java) S 8376 8379 5836 0 -1 1077944384 25609 13248 0 0 1483 36 5 2 20 0 15 0 405276931 11107291136 386676 33554432000 4194304 4196468 140735505540608 140247510727824 140247939929813 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17162240 140735505541879 140735505544389 140735505544389 140735505547215 0
[pid=8379/tid=8437] ppid=8376 vsize=10846964 memory=1546700 CPUtime=6.36 cores=1,3,5,7
/proc/8379/task/8437/stat : 8437 (java) S 8376 8379 5836 0 -1 1077944384 28223 13248 0 0 586 43 5 2 20 0 15 0 405276932 11107291136 386676 33554432000 4194304 4196468 140735505540608 140247466608624 140247939930754 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17162240 140735505541879 140735505544389 140735505544389 140735505547215 0
[pid=8379/tid=8438] ppid=8376 vsize=10846964 memory=1546700 CPUtime=0.07 cores=1,3,5,7
/proc/8379/task/8438/stat : 8438 (java) S 8376 8379 5836 0 -1 1077944384 19 13248 0 0 0 0 5 2 20 0 15 0 405276933 11107291136 386676 33554432000 4194304 4196468 140735505540608 140247392314336 140247939929813 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17162240 140735505541879 140735505544389 140735505544389 140735505547215 0
[pid=8379/tid=8439] ppid=8376 vsize=10846964 memory=1546700 CPUtime=0.07 cores=1,3,5,7
/proc/8379/task/8439/stat : 8439 (java) S 8376 8379 5836 0 -1 1077944384 2 13248 0 0 0 0 5 2 20 0 15 0 405276933 11107291136 386676 33554432000 4194304 4196468 140735505540608 140246788334592 140247939929813 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17162240 140735505541879 140735505544389 140735505544389 140735505547215 0
[pid=8379/tid=8440] ppid=8376 vsize=10846964 memory=1546700 CPUtime=0.07 cores=1,3,5,7
/proc/8379/task/8440/stat : 8440 (java) S 8376 8379 5836 0 -1 1077944384 3 13248 0 0 0 0 5 2 20 0 15 0 405276935 11107291136 386676 33554432000 4194304 4196468 140735505540608 140246480935120 140247939938203 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17162240 140735505541879 140735505544389 140735505544389 140735505547215 0
[pid=8379/tid=8441] ppid=8376 vsize=10846964 memory=1546704 CPUtime=10.67 cores=1,3,5,7
/proc/8379/task/8441/stat : 8441 (java) S 8376 8379 5836 0 -1 1077944384 18178 13248 0 0 1054 6 5 2 20 0 15 0 405276935 11107291136 386676 33554432000 4194304 4196468 140735505540608 140247465556464 140247939930754 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17162240 140735505541879 140735505544389 140735505544389 140735505547215 0
[pid=8379/tid=8442] ppid=8376 vsize=10846964 memory=1546704 CPUtime=10.72 cores=1,3,5,7
/proc/8379/task/8442/stat : 8442 (java) S 8376 8379 5836 0 -1 1077944384 17990 13248 0 0 1059 6 5 2 20 0 15 0 405276935 11107291136 386676 33554432000 4194304 4196468 140735505540608 140247464503920 140247939930754 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 78 0 0 6293624 6294260 17162240 140735505541879 140735505544389 140735505544389 140735505547215 0
[pid=8379/tid=8443] ppid=8376 vsize=10846964 memory=1546704 CPUtime=5.13 cores=1,3,5,7
/proc/8379/task/8443/stat : 8443 (java) S 8376 8379 5836 0 -1 1077944384 17136 13248 0 0 497 9 5 2 20 0 15 0 405276935 11107291136 386676 33554432000 4194304 4196468 140735505540608 140247463451376 140247939930754 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17162240 140735505541879 140735505544389 140735505544389 140735505547215 0
[pid=8379/tid=8444] ppid=8376 vsize=10846964 memory=8112282956445269571 CPUtime=0.07 cores=1,3,5,7
/proc/8379/task/8444/stat : 8444 (java) S 8376 8379 5836 0 -1 1077944384 3 13248 0 0 0 0 5 2 20 0 15 0 405276936 11107291136 386676 33554432000 4194304 4196468 140735505540608 140246447377504 140247939929813 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17162240 140735505541879 140735505544389 140735505544389 140735505547215 0
[pid=8379/tid=8445] ppid=8376 vsize=10846964 memory=37568 CPUtime=1.51 cores=1,3,5,7
/proc/8379/task/8445/stat : 8445 (java) S 8376 8379 5836 0 -1 1077944384 1475 13248 0 0 64 80 5 2 20 0 15 0 405276936 11107291136 386676 33554432000 4194304 4196468 140735505540608 140247462398256 140247939930754 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 78 0 0 6293624 6294260 17162240 140735505541879 140735505544389 140735505544389 140735505547215 0
Current children cumulated CPU time: 2512.04 s
Current children cumulated vsize: 10846964 KiB
Current children cumulated memory: 1546704 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2450.11 s]
/proc/loadavg: 1.46 1.40 1.39 3/227 8828
/proc/meminfo: memFree=18169236/32770624 swapFree=66977604/67108860
[pid=8379] ppid=8376 vsize=10846964 memory=1546732 CPUtime=2520.03 cores=1,3,5,7
/proc/8379/stat : 8379 (java) S 8376 8379 5836 0 -1 1077944320 321091 13248 0 0 251672 324 5 2 20 0 15 0 405276921 11107291136 386683 33554432000 4194304 4196468 140735505540608 140735505523152 140247939919607 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 17162240 140735505541879 140735505544389 140735505544389 140735505547215 0
/proc/8379/statm: 2711741 386683 3634 1 0 2673805 0
[pid=8379/tid=8432] ppid=8376 vsize=10846964 memory=1546704 CPUtime=2424.96 cores=1,3,5,7
/proc/8379/task/8432/stat : 8432 (java) R 8376 8379 5836 0 -1 4202560 94979 13248 0 0 242429 60 5 2 20 0 15 0 405276930 11107291136 386683 33554432000 4194304 4196468 140735505540608 140247911754960 140247559785801 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 17162240 140735505541879 140735505544389 140735505544389 140735505547215 0
[pid=8379/tid=8433] ppid=8376 vsize=10846964 memory=1546700 CPUtime=15.28 cores=1,3,5,7
/proc/8379/task/8433/stat : 8433 (java) S 8376 8379 5836 0 -1 1077944384 31227 13248 0 0 1484 37 5 2 20 0 15 0 405276931 11107291136 386683 33554432000 4194304 4196468 140735505540608 140247944162064 140247939929813 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17162240 140735505541879 140735505544389 140735505544389 140735505547215 0
[pid=8379/tid=8434] ppid=8376 vsize=10846964 memory=1546700 CPUtime=15.25 cores=1,3,5,7
/proc/8379/task/8434/stat : 8434 (java) S 8376 8379 5836 0 -1 1077944384 44748 13248 0 0 1480 38 5 2 20 0 15 0 405276931 11107291136 386683 33554432000 4194304 4196468 140735505540608 140247512832912 140247939929813 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17162240 140735505541879 140735505544389 140735505544389 140735505547215 0
[pid=8379/tid=8435] ppid=8376 vsize=10846964 memory=1546700 CPUtime=15.33 cores=1,3,5,7
/proc/8379/task/8435/stat : 8435 (java) S 8376 8379 5836 0 -1 1077944384 39281 13248 0 0 1487 39 5 2 20 0 15 0 405276931 11107291136 386683 33554432000 4194304 4196468 140735505540608 140247511780368 140247939929813 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17162240 140735505541879 140735505544389 140735505544389 140735505547215 0
[pid=8379/tid=8436] ppid=8376 vsize=10846964 memory=1546700 CPUtime=15.32 cores=1,3,5,7
/proc/8379/task/8436/stat : 8436 (java) S 8376 8379 5836 0 -1 1077944384 25611 13248 0 0 1489 36 5 2 20 0 15 0 405276931 11107291136 386683 33554432000 4194304 4196468 140735505540608 140247510727824 140247939929813 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17162240 140735505541879 140735505544389 140735505544389 140735505547215 0
[pid=8379/tid=8437] ppid=8376 vsize=10846964 memory=1546700 CPUtime=6.39 cores=1,3,5,7
/proc/8379/task/8437/stat : 8437 (java) S 8376 8379 5836 0 -1 1077944384 28225 13248 0 0 588 44 5 2 20 0 15 0 405276932 11107291136 386683 33554432000 4194304 4196468 140735505540608 140247466608624 140247939930754 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17162240 140735505541879 140735505544389 140735505544389 140735505547215 0
[pid=8379/tid=8438] ppid=8376 vsize=10846964 memory=1546684 CPUtime=0.07 cores=1,3,5,7
/proc/8379/task/8438/stat : 8438 (java) S 8376 8379 5836 0 -1 1077944384 19 13248 0 0 0 0 5 2 20 0 15 0 405276933 11107291136 386683 33554432000 4194304 4196468 140735505540608 140247392314336 140247939929813 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17162240 140735505541879 140735505544389 140735505544389 140735505547215 0
[pid=8379/tid=8439] ppid=8376 vsize=10846964 memory=1546700 CPUtime=0.07 cores=1,3,5,7
/proc/8379/task/8439/stat : 8439 (java) S 8376 8379 5836 0 -1 1077944384 2 13248 0 0 0 0 5 2 20 0 15 0 405276933 11107291136 386683 33554432000 4194304 4196468 140735505540608 140246788334592 140247939929813 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17162240 140735505541879 140735505544389 140735505544389 140735505547215 0
[pid=8379/tid=8440] ppid=8376 vsize=10846964 memory=1546704 CPUtime=0.07 cores=1,3,5,7
/proc/8379/task/8440/stat : 8440 (java) S 8376 8379 5836 0 -1 1077944384 3 13248 0 0 0 0 5 2 20 0 15 0 405276935 11107291136 386683 33554432000 4194304 4196468 140735505540608 140246480935120 140247939938203 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17162240 140735505541879 140735505544389 140735505544389 140735505547215 0
[pid=8379/tid=8441] ppid=8376 vsize=10846964 memory=1546704 CPUtime=10.67 cores=1,3,5,7
/proc/8379/task/8441/stat : 8441 (java) S 8376 8379 5836 0 -1 1077944384 18180 13248 0 0 1054 6 5 2 20 0 15 0 405276935 11107291136 386683 33554432000 4194304 4196468 140735505540608 140247465556464 140247939930754 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17162240 140735505541879 140735505544389 140735505544389 140735505547215 0
[pid=8379/tid=8442] ppid=8376 vsize=10846964 memory=1546704 CPUtime=10.72 cores=1,3,5,7
/proc/8379/task/8442/stat : 8442 (java) S 8376 8379 5836 0 -1 1077944384 17990 13248 0 0 1059 6 5 2 20 0 15 0 405276935 11107291136 386683 33554432000 4194304 4196468 140735505540608 140247464503920 140247939930754 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 78 0 0 6293624 6294260 17162240 140735505541879 140735505544389 140735505544389 140735505547215 0
[pid=8379/tid=8443] ppid=8376 vsize=10846964 memory=1546704 CPUtime=5.13 cores=1,3,5,7
/proc/8379/task/8443/stat : 8443 (java) S 8376 8379 5836 0 -1 1077944384 17136 13248 0 0 497 9 5 2 20 0 15 0 405276935 11107291136 386683 33554432000 4194304 4196468 140735505540608 140247463451376 140247939930754 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17162240 140735505541879 140735505544389 140735505544389 140735505547215 0
[pid=8379/tid=8444] ppid=8376 vsize=10846964 memory=1546704 CPUtime=0.07 cores=1,3,5,7
/proc/8379/task/8444/stat : 8444 (java) S 8376 8379 5836 0 -1 1077944384 3 13248 0 0 0 0 5 2 20 0 15 0 405276936 11107291136 386683 33554432000 4194304 4196468 140735505540608 140246447377504 140247939929813 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17162240 140735505541879 140735505544389 140735505544389 140735505547215 0
[pid=8379/tid=8445] ppid=8376 vsize=10846964 memory=1546732 CPUtime=1.51 cores=1,3,5,7
/proc/8379/task/8445/stat : 8445 (java) S 8376 8379 5836 0 -1 1077944384 1477 13248 0 0 64 80 5 2 20 0 15 0 405276936 11107291136 386683 33554432000 4194304 4196468 140735505540608 140247462398256 140247939930754 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 78 0 0 6293624 6294260 17162240 140735505541879 140735505544389 140735505544389 140735505547215 0
Current children cumulated CPU time: 2520.03 s
Current children cumulated vsize: 10846964 KiB
Current children cumulated memory: 1546732 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2450.15 s]
# the end of solver process 8379 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2516.82 s, system=3.28818 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2450.11 s]
/proc/loadavg: 1.46 1.40 1.39 3/227 8828
/proc/meminfo: memFree=18169236/32770624 swapFree=66977604/67108860
[pid=8379] ppid=8376 vsize=10846964 memory=1546732 CPUtime=2520.03 cores=1,3,5,7
/proc/8379/stat : 8379 (java) S 8376 8379 5836 0 -1 1077944320 321091 13248 0 0 251672 324 5 2 20 0 15 0 405276921 11107291136 386683 33554432000 4194304 4196468 140735505540608 140735505523152 140247939919607 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 17162240 140735505541879 140735505544389 140735505544389 140735505547215 0
/proc/8379/statm: 2711741 386683 3634 1 0 2673805 0
[pid=8379/tid=8432] ppid=8376 vsize=10846964 memory=1546704 CPUtime=2424.96 cores=1,3,5,7
/proc/8379/task/8432/stat : 8432 (java) R 8376 8379 5836 0 -1 4202560 94979 13248 0 0 242429 60 5 2 20 0 15 0 405276930 11107291136 386683 33554432000 4194304 4196468 140735505540608 140247911754960 140247559785801 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 17162240 140735505541879 140735505544389 140735505544389 140735505547215 0
[pid=8379/tid=8433] ppid=8376 vsize=10846964 memory=1546700 CPUtime=15.28 cores=1,3,5,7
/proc/8379/task/8433/stat : 8433 (java) S 8376 8379 5836 0 -1 1077944384 31227 13248 0 0 1484 37 5 2 20 0 15 0 405276931 11107291136 386683 33554432000 4194304 4196468 140735505540608 140247944162064 140247939929813 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17162240 140735505541879 140735505544389 140735505544389 140735505547215 0
[pid=8379/tid=8434] ppid=8376 vsize=10846964 memory=1546700 CPUtime=15.25 cores=1,3,5,7
/proc/8379/task/8434/stat : 8434 (java) S 8376 8379 5836 0 -1 1077944384 44748 13248 0 0 1480 38 5 2 20 0 15 0 405276931 11107291136 386683 33554432000 4194304 4196468 140735505540608 140247512832912 140247939929813 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17162240 140735505541879 140735505544389 140735505544389 140735505547215 0
[pid=8379/tid=8435] ppid=8376 vsize=10846964 memory=1546700 CPUtime=15.33 cores=1,3,5,7
/proc/8379/task/8435/stat : 8435 (java) S 8376 8379 5836 0 -1 1077944384 39281 13248 0 0 1487 39 5 2 20 0 15 0 405276931 11107291136 386683 33554432000 4194304 4196468 140735505540608 140247511780368 140247939929813 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17162240 140735505541879 140735505544389 140735505544389 140735505547215 0
[pid=8379/tid=8436] ppid=8376 vsize=10846964 memory=1546700 CPUtime=15.32 cores=1,3,5,7
/proc/8379/task/8436/stat : 8436 (java) S 8376 8379 5836 0 -1 1077944384 25611 13248 0 0 1489 36 5 2 20 0 15 0 405276931 11107291136 386683 33554432000 4194304 4196468 140735505540608 140247510727824 140247939929813 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17162240 140735505541879 140735505544389 140735505544389 140735505547215 0
[pid=8379/tid=8437] ppid=8376 vsize=10846964 memory=1546700 CPUtime=6.39 cores=1,3,5,7
/proc/8379/task/8437/stat : 8437 (java) S 8376 8379 5836 0 -1 1077944384 28225 13248 0 0 588 44 5 2 20 0 15 0 405276932 11107291136 386683 33554432000 4194304 4196468 140735505540608 140247466608624 140247939930754 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17162240 140735505541879 140735505544389 140735505544389 140735505547215 0
[pid=8379/tid=8438] ppid=8376 vsize=10846964 memory=1546684 CPUtime=0.07 cores=1,3,5,7
/proc/8379/task/8438/stat : 8438 (java) S 8376 8379 5836 0 -1 1077944384 19 13248 0 0 0 0 5 2 20 0 15 0 405276933 11107291136 386683 33554432000 4194304 4196468 140735505540608 140247392314336 140247939929813 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17162240 140735505541879 140735505544389 140735505544389 140735505547215 0
[pid=8379/tid=8439] ppid=8376 vsize=10846964 memory=1546700 CPUtime=0.07 cores=1,3,5,7
/proc/8379/task/8439/stat : 8439 (java) S 8376 8379 5836 0 -1 1077944384 2 13248 0 0 0 0 5 2 20 0 15 0 405276933 11107291136 386683 33554432000 4194304 4196468 140735505540608 140246788334592 140247939929813 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17162240 140735505541879 140735505544389 140735505544389 140735505547215 0
[pid=8379/tid=8440] ppid=8376 vsize=10846964 memory=1546704 CPUtime=0.07 cores=1,3,5,7
/proc/8379/task/8440/stat : 8440 (java) S 8376 8379 5836 0 -1 1077944384 3 13248 0 0 0 0 5 2 20 0 15 0 405276935 11107291136 386683 33554432000 4194304 4196468 140735505540608 140246480935120 140247939938203 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17162240 140735505541879 140735505544389 140735505544389 140735505547215 0
[pid=8379/tid=8441] ppid=8376 vsize=10846964 memory=1546704 CPUtime=10.67 cores=1,3,5,7
/proc/8379/task/8441/stat : 8441 (java) S 8376 8379 5836 0 -1 1077944384 18180 13248 0 0 1054 6 5 2 20 0 15 0 405276935 11107291136 386683 33554432000 4194304 4196468 140735505540608 140247465556464 140247939930754 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17162240 140735505541879 140735505544389 140735505544389 140735505547215 0
[pid=8379/tid=8442] ppid=8376 vsize=10846964 memory=1546704 CPUtime=10.72 cores=1,3,5,7
/proc/8379/task/8442/stat : 8442 (java) S 8376 8379 5836 0 -1 1077944384 17990 13248 0 0 1059 6 5 2 20 0 15 0 405276935 11107291136 386683 33554432000 4194304 4196468 140735505540608 140247464503920 140247939930754 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 78 0 0 6293624 6294260 17162240 140735505541879 140735505544389 140735505544389 140735505547215 0
[pid=8379/tid=8443] ppid=8376 vsize=10846964 memory=1546704 CPUtime=5.13 cores=1,3,5,7
/proc/8379/task/8443/stat : 8443 (java) S 8376 8379 5836 0 -1 1077944384 17136 13248 0 0 497 9 5 2 20 0 15 0 405276935 11107291136 386683 33554432000 4194304 4196468 140735505540608 140247463451376 140247939930754 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17162240 140735505541879 140735505544389 140735505544389 140735505547215 0
[pid=8379/tid=8444] ppid=8376 vsize=10846964 memory=1546704 CPUtime=0.07 cores=1,3,5,7
/proc/8379/task/8444/stat : 8444 (java) S 8376 8379 5836 0 -1 1077944384 3 13248 0 0 0 0 5 2 20 0 15 0 405276936 11107291136 386683 33554432000 4194304 4196468 140735505540608 140246447377504 140247939929813 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17162240 140735505541879 140735505544389 140735505544389 140735505547215 0
[pid=8379/tid=8445] ppid=8376 vsize=10846964 memory=1546732 CPUtime=1.51 cores=1,3,5,7
/proc/8379/task/8445/stat : 8445 (java) S 8376 8379 5836 0 -1 1077944384 1477 13248 0 0 64 80 5 2 20 0 15 0 405276936 11107291136 386683 33554432000 4194304 4196468 140735505540608 140247462398256 140247939930754 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 78 0 0 6293624 6294260 17162240 140735505541879 140735505544389 140735505544389 140735505547215 0
Current children cumulated CPU time: 2520.03 s
Current children cumulated vsize: 10846964 KiB
Current children cumulated memory: 1546732 KiB
Child status: 143
Real time (s): 2450.15
CPU time (s): 2520.11
CPU user time (s): 2516.82
CPU system time (s): 3.28818
CPU usage (%): 102.855
Max. virtual memory (cumulated for all children) (KiB): 10846964
Max. memory (cumulated for all children) (KiB): 1972040
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2516.82
system time used= 3.28818
maximum resident set size= 1973088
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 338782
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2816
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 201007
involuntary context switches= 7978
# summary of solver processes directly reported to runsolver:
# pid: 8379
# total CPU time (s): 2520.11
# total CPU user time (s): 2516.82
# total CPU system time (s): 3.28818
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 14.3365 second user time and 23.7717 second system time
The end