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 (10337 MiB free)
memory of node 1: 16384 MiB (14092 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4302066-1532887037/watcher-4302066-1532887037 -o /tmp/evaluation-result-4302066-1532887037/solver-4302066-1532887037 -C 252 -W 252 -M 15500 --bin-var /tmp/runsolver-exch-node102-1532883454-10060 --watchdog 312 java -DCompetitionOutput -jar HOME/sat4j-csp-final.jar HOME/instance-4302066-1532887037.xml
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 252 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 282 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 252 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=13933, runsolver pid=13930
[startup+0.100388 s]*
/proc/loadavg: 1.94 2.07 2.27 3/216 13948
/proc/meminfo: memFree=25000944/32770624 swapFree=67028796/67108860
[pid=13933] ppid=13930 vsize=10659012 memory=30652 CPUtime=0.13 cores=0,2,4,6
/proc/13933/stat : 13933 (java) S 13930 13933 10029 0 -1 1077944320 6730 0 0 0 11 2 0 0 20 0 15 0 106266921 10914828288 7663 33554432000 4194304 4196468 140731636144800 140731636127344 139821653913335 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 6569984 140731636151414 140731636151566 140731636151566 140731636154319 0
/proc/13933/statm: 2664753 7663 2842 1 0 2627263 0
[pid=13933/tid=13935] ppid=13930 vsize=10659012 memory=-8773748148829982845 CPUtime=0.09 cores=0,2,4,6
/proc/13933/task/13935/stat : 13935 (java) R 13930 13933 10029 0 -1 4202560 4567 0 0 0 8 1 0 0 20 0 15 0 106266921 10914828288 7663 33554432000 4194304 4196468 140731636144800 139821658118000 139821653935261 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 6569984 140731636151414 140731636151566 140731636151566 140731636154319 0
[pid=13933/tid=13936] ppid=13930 vsize=10659012 memory=-7522837583129502606 CPUtime=0 cores=0,2,4,6
/proc/13933/task/13936/stat : 13936 (java) S 13930 13933 10029 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 106266922 10914828288 7663 33554432000 4194304 4196468 140731636144800 139821590604304 139821653923541 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6569984 140731636151414 140731636151566 140731636151566 140731636154319 0
[pid=13933/tid=13937] ppid=13930 vsize=10659012 memory=140508309796480 CPUtime=0 cores=0,2,4,6
/proc/13933/task/13937/stat : 13937 (java) S 13930 13933 10029 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106266922 10914828288 7663 33554432000 4194304 4196468 140731636144800 139821589551760 139821653923541 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6569984 140731636151414 140731636151566 140731636151566 140731636154319 0
[pid=13933/tid=13938] ppid=13930 vsize=10659012 memory=0 CPUtime=0 cores=0,2,4,6
/proc/13933/task/13938/stat : 13938 (java) S 13930 13933 10029 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106266922 10914828288 7663 33554432000 4194304 4196468 140731636144800 139821588498704 139821653923541 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6569984 140731636151414 140731636151566 140731636151566 140731636154319 0
[pid=13933/tid=13939] ppid=13930 vsize=10659012 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/13933/task/13939/stat : 13939 (java) S 13930 13933 10029 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 106266922 10914828288 7663 33554432000 4194304 4196468 140731636144800 139821257189776 139821653923541 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6569984 140731636151414 140731636151566 140731636151566 140731636154319 0
[pid=13933/tid=13940] ppid=13930 vsize=10659012 memory=140508309796480 CPUtime=0 cores=0,2,4,6
/proc/13933/task/13940/stat : 13940 (java) S 13930 13933 10029 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 106266923 10914828288 7663 33554432000 4194304 4196468 140731636144800 139821011704560 139821653924482 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6569984 140731636151414 140731636151566 140731636151566 140731636154319 0
[pid=13933/tid=13941] ppid=13930 vsize=10659012 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/13933/task/13941/stat : 13941 (java) S 13930 13933 10029 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 106266924 10914828288 7663 33554432000 4194304 4196468 140731636144800 139821010650784 139821653923541 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6569984 140731636151414 140731636151566 140731636151566 140731636154319 0
[pid=13933/tid=13942] ppid=13930 vsize=10659012 memory=0 CPUtime=0 cores=0,2,4,6
/proc/13933/task/13942/stat : 13942 (java) S 13930 13933 10029 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 106266924 10914828288 7663 33554432000 4194304 4196468 140731636144800 139821009597680 139821653923541 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6569984 140731636151414 140731636151566 140731636151566 140731636154319 0
[pid=13933/tid=13943] ppid=13930 vsize=10659012 memory=0 CPUtime=0 cores=0,2,4,6
/proc/13933/task/13943/stat : 13943 (java) S 13930 13933 10029 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 106266926 10914828288 7663 33554432000 4194304 4196468 140731636144800 139821008546256 139821653931931 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6569984 140731636151414 140731636151566 140731636151566 140731636154319 0
[pid=13933/tid=13944] ppid=13930 vsize=10659012 memory=0 CPUtime=0 cores=0,2,4,6
/proc/13933/task/13944/stat : 13944 (java) S 13930 13933 10029 0 -1 1077944384 303 0 0 0 0 0 0 0 20 0 15 0 106266926 10914828288 7663 33554432000 4194304 4196468 140731636144800 139821007493360 139821653924482 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6569984 140731636151414 140731636151566 140731636151566 140731636154319 0
[pid=13933/tid=13945] ppid=13930 vsize=10659012 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/13933/task/13945/stat : 13945 (java) S 13930 13933 10029 0 -1 1077944384 151 0 0 0 0 0 0 0 20 0 15 0 106266926 10914828288 7663 33554432000 4194304 4196468 140731636144800 139821006440816 139821653924482 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6569984 140731636151414 140731636151566 140731636151566 140731636154319 0
[pid=13933/tid=13946] ppid=13930 vsize=10659012 memory=140508309796480 CPUtime=0.01 cores=0,2,4,6
/proc/13933/task/13946/stat : 13946 (java) R 13930 13933 10029 0 -1 4202560 343 0 0 0 1 0 0 0 20 0 15 0 106266926 10914828288 7663 33554432000 4194304 4196468 140731636144800 139821005387760 139821653934682 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 6569984 140731636151414 140731636151566 140731636151566 140731636154319 0
[pid=13933/tid=13947] ppid=13930 vsize=10659012 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/13933/task/13947/stat : 13947 (java) S 13930 13933 10029 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 106266926 10914828288 7663 33554432000 4194304 4196468 140731636144800 139821004335456 139821653923541 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6569984 140731636151414 140731636151566 140731636151566 140731636154319 0
[pid=13933/tid=13948] ppid=13930 vsize=10659012 memory=140508309796480 CPUtime=0 cores=0,2,4,6
/proc/13933/task/13948/stat : 13948 (java) S 13930 13933 10029 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106266927 10914828288 7663 33554432000 4194304 4196468 140731636144800 139821003283504 139821653924482 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6569984 140731636151414 140731636151566 140731636151566 140731636154319 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 10659012 KiB
Current children cumulated memory: 30652 KiB
[startup+0.210717 s]*
/proc/loadavg: 1.94 2.07 2.27 3/216 13948
/proc/meminfo: memFree=24990192/32770624 swapFree=67028796/67108860
[pid=13933] ppid=13930 vsize=10659012 memory=41612 CPUtime=0.33 cores=0,2,4,6
/proc/13933/stat : 13933 (java) S 13930 13933 10029 0 -1 1077944320 8058 0 0 0 30 3 0 0 20 0 15 0 106266921 10914828288 10403 33554432000 4194304 4196468 140731636144800 140731636127344 139821653913335 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 6569984 140731636151414 140731636151566 140731636151566 140731636154319 0
/proc/13933/statm: 2664753 10403 3004 1 0 2627263 0
[pid=13933/tid=13935] ppid=13930 vsize=10659012 memory=7022364594140610616 CPUtime=0.19 cores=0,2,4,6
/proc/13933/task/13935/stat : 13935 (java) R 13930 13933 10029 0 -1 4202560 5027 0 0 0 18 1 0 0 20 0 15 0 106266921 10914828288 10403 33554432000 4194304 4196468 140731636144800 139821658149952 139821637956965 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 6569984 140731636151414 140731636151566 140731636151566 140731636154319 0
[pid=13933/tid=13936] ppid=13930 vsize=10659012 memory=342 CPUtime=0 cores=0,2,4,6
/proc/13933/task/13936/stat : 13936 (java) S 13930 13933 10029 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 106266922 10914828288 10403 33554432000 4194304 4196468 140731636144800 139821590604304 139821653923541 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6569984 140731636151414 140731636151566 140731636151566 140731636154319 0
[pid=13933/tid=13937] ppid=13930 vsize=10659012 memory=140508309808925 CPUtime=0 cores=0,2,4,6
/proc/13933/task/13937/stat : 13937 (java) S 13930 13933 10029 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106266922 10914828288 10403 33554432000 4194304 4196468 140731636144800 139821589551760 139821653923541 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6569984 140731636151414 140731636151566 140731636151566 140731636154319 0
[pid=13933/tid=13938] ppid=13930 vsize=10659012 memory=0 CPUtime=0 cores=0,2,4,6
/proc/13933/task/13938/stat : 13938 (java) S 13930 13933 10029 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106266922 10914828288 10403 33554432000 4194304 4196468 140731636144800 139821588498704 139821653923541 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6569984 140731636151414 140731636151566 140731636151566 140731636154319 0
[pid=13933/tid=13939] ppid=13930 vsize=10659012 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/13933/task/13939/stat : 13939 (java) S 13930 13933 10029 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 106266922 10914828288 10403 33554432000 4194304 4196468 140731636144800 139821257189776 139821653923541 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6569984 140731636151414 140731636151566 140731636151566 140731636154319 0
[pid=13933/tid=13940] ppid=13930 vsize=10659012 memory=140508309796480 CPUtime=0 cores=0,2,4,6
/proc/13933/task/13940/stat : 13940 (java) S 13930 13933 10029 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 106266923 10914828288 10403 33554432000 4194304 4196468 140731636144800 139821011704560 139821653924482 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6569984 140731636151414 140731636151566 140731636151566 140731636154319 0
[pid=13933/tid=13941] ppid=13930 vsize=10659012 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/13933/task/13941/stat : 13941 (java) S 13930 13933 10029 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 106266924 10914828288 10403 33554432000 4194304 4196468 140731636144800 139821010650784 139821653923541 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6569984 140731636151414 140731636151566 140731636151566 140731636154319 0
[pid=13933/tid=13942] ppid=13930 vsize=10659012 memory=0 CPUtime=0 cores=0,2,4,6
/proc/13933/task/13942/stat : 13942 (java) S 13930 13933 10029 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 106266924 10914828288 10403 33554432000 4194304 4196468 140731636144800 139821009597680 139821653923541 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6569984 140731636151414 140731636151566 140731636151566 140731636154319 0
[pid=13933/tid=13943] ppid=13930 vsize=10659012 memory=0 CPUtime=0 cores=0,2,4,6
/proc/13933/task/13943/stat : 13943 (java) S 13930 13933 10029 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 106266926 10914828288 10403 33554432000 4194304 4196468 140731636144800 139821008546256 139821653931931 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6569984 140731636151414 140731636151566 140731636151566 140731636154319 0
[pid=13933/tid=13944] ppid=13930 vsize=10659012 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/13933/task/13944/stat : 13944 (java) S 13930 13933 10029 0 -1 1077944384 528 0 0 0 2 0 0 0 20 0 15 0 106266926 10914828288 10403 33554432000 4194304 4196468 140731636144800 139821007493360 139821653924482 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6569984 140731636151414 140731636151566 140731636151566 140731636154319 0
[pid=13933/tid=13945] ppid=13930 vsize=10659012 memory=-1 CPUtime=0.02 cores=0,2,4,6
/proc/13933/task/13945/stat : 13945 (java) S 13930 13933 10029 0 -1 1077944384 443 0 0 0 2 0 0 0 20 0 15 0 106266926 10914828288 10403 33554432000 4194304 4196468 140731636144800 139821006440816 139821653924482 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6569984 140731636151414 140731636151566 140731636151566 140731636154319 0
[pid=13933/tid=13946] ppid=13930 vsize=10659012 memory=140508309796480 CPUtime=0.07 cores=0,2,4,6
/proc/13933/task/13946/stat : 13946 (java) R 13930 13933 10029 0 -1 4202560 696 0 0 0 7 0 0 0 20 0 15 0 106266926 10914828288 10403 33554432000 4194304 4196468 140731636144800 139821005387760 139821632845650 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 6569984 140731636151414 140731636151566 140731636151566 140731636154319 0
[pid=13933/tid=13947] ppid=13930 vsize=10659012 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/13933/task/13947/stat : 13947 (java) S 13930 13933 10029 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 106266926 10914828288 10403 33554432000 4194304 4196468 140731636144800 139821004335456 139821653923541 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6569984 140731636151414 140731636151566 140731636151566 140731636154319 0
[pid=13933/tid=13948] ppid=13930 vsize=10659012 memory=140508309796480 CPUtime=0 cores=0,2,4,6
/proc/13933/task/13948/stat : 13948 (java) S 13930 13933 10029 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106266927 10914828288 10403 33554432000 4194304 4196468 140731636144800 139821003283504 139821653924482 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6569984 140731636151414 140731636151566 140731636151566 140731636154319 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 10659012 KiB
Current children cumulated memory: 41612 KiB
[startup+0.310835 s]*
/proc/loadavg: 1.94 2.07 2.27 5/216 13948
/proc/meminfo: memFree=24978592/32770624 swapFree=67028796/67108860
[pid=13933] ppid=13930 vsize=10659088 memory=51764 CPUtime=0.56 cores=0,2,4,6
/proc/13933/stat : 13933 (java) S 13930 13933 10029 0 -1 1077944320 9560 0 0 0 53 3 0 0 20 0 15 0 106266921 10914906112 12941 33554432000 4194304 4196468 140731636144800 140731636127344 139821653913335 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 6569984 140731636151414 140731636151566 140731636151566 140731636154319 0
/proc/13933/statm: 2664772 12941 3064 1 0 2627263 0
[pid=13933/tid=13935] ppid=13930 vsize=10659088 memory=7022364594140610616 CPUtime=0.3 cores=0,2,4,6
/proc/13933/task/13935/stat : 13935 (java) R 13930 13933 10029 0 -1 4202560 5595 0 0 0 28 2 0 0 20 0 15 0 106266921 10914906112 13007 33554432000 4194304 4196468 140731636144800 139821658147312 139821267914656 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 6569984 140731636151414 140731636151566 140731636151566 140731636154319 0
[pid=13933/tid=13936] ppid=13930 vsize=10659088 memory=4294976237 CPUtime=0 cores=0,2,4,6
/proc/13933/task/13936/stat : 13936 (java) S 13930 13933 10029 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 106266922 10914906112 13007 33554432000 4194304 4196468 140731636144800 139821590604304 139821653923541 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6569984 140731636151414 140731636151566 140731636151566 140731636154319 0
[pid=13933/tid=13937] ppid=13930 vsize=10659088 memory=140508309808525 CPUtime=0 cores=0,2,4,6
/proc/13933/task/13937/stat : 13937 (java) S 13930 13933 10029 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106266922 10914906112 13007 33554432000 4194304 4196468 140731636144800 139821589551760 139821653923541 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6569984 140731636151414 140731636151566 140731636151566 140731636154319 0
[pid=13933/tid=13938] ppid=13930 vsize=10659088 memory=0 CPUtime=0 cores=0,2,4,6
/proc/13933/task/13938/stat : 13938 (java) S 13930 13933 10029 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106266922 10914906112 13007 33554432000 4194304 4196468 140731636144800 139821588498704 139821653923541 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6569984 140731636151414 140731636151566 140731636151566 140731636154319 0
[pid=13933/tid=13939] ppid=13930 vsize=10659088 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/13933/task/13939/stat : 13939 (java) S 13930 13933 10029 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 106266922 10914906112 13007 33554432000 4194304 4196468 140731636144800 139821257189776 139821653923541 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6569984 140731636151414 140731636151566 140731636151566 140731636154319 0
[pid=13933/tid=13940] ppid=13930 vsize=10659088 memory=140508309796480 CPUtime=0 cores=0,2,4,6
/proc/13933/task/13940/stat : 13940 (java) S 13930 13933 10029 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 106266923 10914906112 13007 33554432000 4194304 4196468 140731636144800 139821011704560 139821653924482 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6569984 140731636151414 140731636151566 140731636151566 140731636154319 0
[pid=13933/tid=13941] ppid=13930 vsize=10659088 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/13933/task/13941/stat : 13941 (java) S 13930 13933 10029 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 106266924 10914906112 13007 33554432000 4194304 4196468 140731636144800 139821010650784 139821653923541 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6569984 140731636151414 140731636151566 140731636151566 140731636154319 0
[pid=13933/tid=13942] ppid=13930 vsize=10659088 memory=0 CPUtime=0 cores=0,2,4,6
/proc/13933/task/13942/stat : 13942 (java) S 13930 13933 10029 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 106266924 10914906112 13007 33554432000 4194304 4196468 140731636144800 139821009597680 139821653923541 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6569984 140731636151414 140731636151566 140731636151566 140731636154319 0
[pid=13933/tid=13943] ppid=13930 vsize=10659088 memory=0 CPUtime=0 cores=0,2,4,6
/proc/13933/task/13943/stat : 13943 (java) S 13930 13933 10029 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 106266926 10914906112 13007 33554432000 4194304 4196468 140731636144800 139821008546256 139821653931931 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6569984 140731636151414 140731636151566 140731636151566 140731636154319 0
[pid=13933/tid=13944] ppid=13930 vsize=10659088 memory=0 CPUtime=0.04 cores=0,2,4,6
/proc/13933/task/13944/stat : 13944 (java) R 13930 13933 10029 0 -1 4202560 836 0 0 0 4 0 0 0 20 0 15 0 106266926 10914906112 13007 33554432000 4194304 4196468 140731636144800 139821007483744 139821631666822 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 6569984 140731636151414 140731636151566 140731636151566 140731636154319 0
[pid=13933/tid=13945] ppid=13930 vsize=10659088 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/13933/task/13945/stat : 13945 (java) R 13930 13933 10029 0 -1 4202560 965 0 0 0 7 0 0 0 20 0 15 0 106266926 10914906112 13007 33554432000 4194304 4196468 140731636144800 139821006421832 139821638202350 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 6569984 140731636151414 140731636151566 140731636151566 140731636154319 0
[pid=13933/tid=13946] ppid=13930 vsize=10659088 memory=140508309796480 CPUtime=0.12 cores=0,2,4,6
/proc/13933/task/13946/stat : 13946 (java) R 13930 13933 10029 0 -1 1077944384 849 0 0 0 12 0 0 0 20 0 15 0 106266926 10914906112 13007 33554432000 4194304 4196468 140731636144800 139821005387760 139821653924482 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 6569984 140731636151414 140731636151566 140731636151566 140731636154319 0
[pid=13933/tid=13947] ppid=13930 vsize=10659088 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/13933/task/13947/stat : 13947 (java) S 13930 13933 10029 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 106266926 10914906112 13007 33554432000 4194304 4196468 140731636144800 139821004335456 139821653923541 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6569984 140731636151414 140731636151566 140731636151566 140731636154319 0
[pid=13933/tid=13948] ppid=13930 vsize=10659088 memory=140508309796480 CPUtime=0 cores=0,2,4,6
/proc/13933/task/13948/stat : 13948 (java) S 13930 13933 10029 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106266927 10914906112 13007 33554432000 4194304 4196468 140731636144800 139821003283504 139821653924482 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6569984 140731636151414 140731636151566 140731636151566 140731636154319 0
Current children cumulated CPU time: 0.56 s
Current children cumulated vsize: 10659088 KiB
Current children cumulated memory: 51764 KiB
[startup+0.700742 s]
/proc/loadavg: 1.94 2.07 2.27 6/216 13948
/proc/meminfo: memFree=24955024/32770624 swapFree=67028796/67108860
[pid=13933] ppid=13930 vsize=10661136 memory=124184 CPUtime=1.89 cores=0,2,4,6
/proc/13933/stat : 13933 (java) S 13930 13933 10029 0 -1 1077944320 12366 0 0 0 183 6 0 0 20 0 15 0 106266921 10917003264 31046 33554432000 4194304 4196468 140731636144800 140731636127344 139821653913335 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 6569984 140731636151414 140731636151566 140731636151566 140731636154319 0
/proc/13933/statm: 2665284 31046 3110 1 0 2627775 0
[pid=13933/tid=13935] ppid=13930 vsize=10661136 memory=200380021492179 CPUtime=0.67 cores=0,2,4,6
/proc/13933/task/13935/stat : 13935 (java) R 13930 13933 10029 0 -1 4202560 6023 0 0 0 64 3 0 0 20 0 15 0 106266921 10917003264 31046 33554432000 4194304 4196468 140731636144800 139821658149760 139821638019460 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 6569984 140731636151414 140731636151566 140731636151566 140731636154319 0
[pid=13933/tid=13936] ppid=13930 vsize=10661136 memory=616836 CPUtime=0 cores=0,2,4,6
/proc/13933/task/13936/stat : 13936 (java) S 13930 13933 10029 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 106266922 10917003264 31046 33554432000 4194304 4196468 140731636144800 139821590604304 139821653923541 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6569984 140731636151414 140731636151566 140731636151566 140731636154319 0
[pid=13933/tid=13937] ppid=13930 vsize=10661136 memory=0 CPUtime=0 cores=0,2,4,6
/proc/13933/task/13937/stat : 13937 (java) S 13930 13933 10029 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106266922 10917003264 31046 33554432000 4194304 4196468 140731636144800 139821589551760 139821653923541 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6569984 140731636151414 140731636151566 140731636151566 140731636154319 0
[pid=13933/tid=13938] ppid=13930 vsize=10661136 memory=0 CPUtime=0 cores=0,2,4,6
/proc/13933/task/13938/stat : 13938 (java) S 13930 13933 10029 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106266922 10917003264 31046 33554432000 4194304 4196468 140731636144800 139821588498704 139821653923541 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6569984 140731636151414 140731636151566 140731636151566 140731636154319 0
[pid=13933/tid=13939] ppid=13930 vsize=10661136 memory=7809523229951467572 CPUtime=0 cores=0,2,4,6
/proc/13933/task/13939/stat : 13939 (java) S 13930 13933 10029 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 106266922 10917003264 31046 33554432000 4194304 4196468 140731636144800 139821257189776 139821653923541 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6569984 140731636151414 140731636151566 140731636151566 140731636154319 0
[pid=13933/tid=13940] ppid=13930 vsize=10661136 memory=0 CPUtime=0 cores=0,2,4,6
/proc/13933/task/13940/stat : 13940 (java) S 13930 13933 10029 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 106266923 10917003264 31046 33554432000 4194304 4196468 140731636144800 139821011704560 139821653924482 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6569984 140731636151414 140731636151566 140731636151566 140731636154319 0
[pid=13933/tid=13941] ppid=13930 vsize=10661136 memory=-3472574513799858009 CPUtime=0 cores=0,2,4,6
/proc/13933/task/13941/stat : 13941 (java) S 13930 13933 10029 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 106266924 10917003264 31046 33554432000 4194304 4196468 140731636144800 139821010650784 139821653923541 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6569984 140731636151414 140731636151566 140731636151566 140731636154319 0
[pid=13933/tid=13942] ppid=13930 vsize=10661136 memory=6944656592387989600 CPUtime=0 cores=0,2,4,6
/proc/13933/task/13942/stat : 13942 (java) S 13930 13933 10029 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 106266924 10917003264 31046 33554432000 4194304 4196468 140731636144800 139821009597680 139821653923541 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6569984 140731636151414 140731636151566 140731636151566 140731636154319 0
[pid=13933/tid=13943] ppid=13930 vsize=10661136 memory=6944656592387989600 CPUtime=0 cores=0,2,4,6
/proc/13933/task/13943/stat : 13943 (java) S 13930 13933 10029 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 106266926 10917003264 31046 33554432000 4194304 4196468 140731636144800 139821008546256 139821653931931 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6569984 140731636151414 140731636151566 140731636151566 140731636154319 0
[pid=13933/tid=13944] ppid=13930 vsize=10661136 memory=0 CPUtime=0.38 cores=0,2,4,6
/proc/13933/task/13944/stat : 13944 (java) R 13930 13933 10029 0 -1 4202560 1623 0 0 0 38 0 0 0 20 0 15 0 106266926 10917003264 31046 33554432000 4194304 4196468 140731636144800 139821007483552 139821638303184 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 6569984 140731636151414 140731636151566 140731636151566 140731636154319 0
[pid=13933/tid=13945] ppid=13930 vsize=10661136 memory=0 CPUtime=0.43 cores=0,2,4,6
/proc/13933/task/13945/stat : 13945 (java) R 13930 13933 10029 0 -1 4202560 1561 0 0 0 43 0 0 0 20 0 15 0 106266926 10917003264 31046 33554432000 4194304 4196468 140731636144800 139821006432320 139821638842748 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 6569984 140731636151414 140731636151566 140731636151566 140731636154319 0
[pid=13933/tid=13946] ppid=13930 vsize=10661136 memory=0 CPUtime=0.37 cores=0,2,4,6
/proc/13933/task/13946/stat : 13946 (java) S 13930 13933 10029 0 -1 1077944384 1788 0 0 0 36 1 0 0 20 0 15 0 106266926 10917003264 31046 33554432000 4194304 4196468 140731636144800 139821005387760 139821653924482 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6569984 140731636151414 140731636151566 140731636151566 140731636154319 0
[pid=13933/tid=13947] ppid=13930 vsize=10661136 memory=0 CPUtime=0 cores=0,2,4,6
/proc/13933/task/13947/stat : 13947 (java) S 13930 13933 10029 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 106266926 10917003264 31046 33554432000 4194304 4196468 140731636144800 139821004335456 139821653923541 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6569984 140731636151414 140731636151566 140731636151566 140731636154319 0
[pid=13933/tid=13948] ppid=13930 vsize=10661136 memory=3604 CPUtime=0 cores=0,2,4,6
/proc/13933/task/13948/stat : 13948 (java) S 13930 13933 10029 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106266927 10917003264 31046 33554432000 4194304 4196468 140731636144800 139821003283504 139821653924482 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6569984 140731636151414 140731636151566 140731636151566 140731636154319 0
Current children cumulated CPU time: 1.89 s
Current children cumulated vsize: 10661136 KiB
Current children cumulated memory: 124184 KiB
[startup+1.50786 s]
/proc/loadavg: 1.94 2.07 2.27 6/216 13948
/proc/meminfo: memFree=24820368/32770624 swapFree=67028796/67108860
[pid=13933] ppid=13930 vsize=10661136 memory=261248 CPUtime=4.47 cores=0,2,4,6
/proc/13933/stat : 13933 (java) S 13930 13933 10029 0 -1 1077944320 21338 0 0 0 435 12 0 0 20 0 15 0 106266921 10917003264 65312 33554432000 4194304 4196468 140731636144800 140731636127344 139821653913335 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 6569984 140731636151414 140731636151566 140731636151566 140731636154319 0
/proc/13933/statm: 2665284 65312 3158 1 0 2627775 0
[pid=13933/tid=13935] ppid=13930 vsize=10661136 memory=9169 CPUtime=1.42 cores=0,2,4,6
/proc/13933/task/13935/stat : 13935 (java) R 13930 13933 10029 0 -1 4202560 6195 0 0 0 138 4 0 0 20 0 15 0 106266921 10917003264 65312 33554432000 4194304 4196468 140731636144800 139821658147800 139821633638432 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 6569984 140731636151414 140731636151566 140731636151566 140731636154319 0
[pid=13933/tid=13936] ppid=13930 vsize=10661136 memory=6791534058613427641 CPUtime=0.02 cores=0,2,4,6
/proc/13933/task/13936/stat : 13936 (java) S 13930 13933 10029 0 -1 1077944384 31 0 0 0 2 0 0 0 20 0 15 0 106266922 10917003264 65312 33554432000 4194304 4196468 140731636144800 139821590604304 139821653923541 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6569984 140731636151414 140731636151566 140731636151566 140731636154319 0
[pid=13933/tid=13937] ppid=13930 vsize=10661136 memory=0 CPUtime=0.03 cores=0,2,4,6
/proc/13933/task/13937/stat : 13937 (java) S 13930 13933 10029 0 -1 1077944384 108 0 0 0 3 0 0 0 20 0 15 0 106266922 10917003264 65312 33554432000 4194304 4196468 140731636144800 139821589551760 139821653923541 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6569984 140731636151414 140731636151566 140731636151566 140731636154319 0
[pid=13933/tid=13938] ppid=13930 vsize=10661136 memory=0 CPUtime=0.03 cores=0,2,4,6
/proc/13933/task/13938/stat : 13938 (java) S 13930 13933 10029 0 -1 1077944384 140 0 0 0 3 0 0 0 20 0 15 0 106266922 10917003264 65312 33554432000 4194304 4196468 140731636144800 139821588498704 139821653923541 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6569984 140731636151414 140731636151566 140731636151566 140731636154319 0
[pid=13933/tid=13939] ppid=13930 vsize=10661136 memory=6943526294502006880 CPUtime=0.04 cores=0,2,4,6
/proc/13933/task/13939/stat : 13939 (java) S 13930 13933 10029 0 -1 1077944384 99 0 0 0 3 1 0 0 20 0 15 0 106266922 10917003264 65312 33554432000 4194304 4196468 140731636144800 139821257189776 139821653923541 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6569984 140731636151414 140731636151566 140731636151566 140731636154319 0
[pid=13933/tid=13940] ppid=13930 vsize=10661136 memory=0 CPUtime=0 cores=0,2,4,6
/proc/13933/task/13940/stat : 13940 (java) S 13930 13933 10029 0 -1 1077944384 83 0 0 0 0 0 0 0 20 0 15 0 106266923 10917003264 65312 33554432000 4194304 4196468 140731636144800 139821011704560 139821653924482 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6569984 140731636151414 140731636151566 140731636151566 140731636154319 0
################
# More data... #
################
/proc/13933/task/13937/stat : 13937 (java) S 13930 13933 10029 0 -1 1077944384 1016 0 0 0 65 13 0 0 20 0 16 0 106266922 10985164800 279242 33554432000 4194304 4196468 140731636144800 139821589551760 139821653923541 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6569984 140731636151414 140731636151566 140731636151566 140731636154319 0
[pid=13933/tid=13938] ppid=13930 vsize=10727700 memory=1116968 CPUtime=0.78 cores=0,2,4,6
/proc/13933/task/13938/stat : 13938 (java) S 13930 13933 10029 0 -1 1077944384 1791 0 0 0 64 14 0 0 20 0 16 0 106266922 10985164800 279242 33554432000 4194304 4196468 140731636144800 139821588498704 139821653923541 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6569984 140731636151414 140731636151566 140731636151566 140731636154319 0
[pid=13933/tid=13939] ppid=13930 vsize=10727700 memory=1116968 CPUtime=0.78 cores=0,2,4,6
/proc/13933/task/13939/stat : 13939 (java) S 13930 13933 10029 0 -1 1077944384 781 0 0 0 64 14 0 0 20 0 16 0 106266922 10985164800 279242 33554432000 4194304 4196468 140731636144800 139821257189776 139821653923541 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6569984 140731636151414 140731636151566 140731636151566 140731636154319 0
[pid=13933/tid=13940] ppid=13930 vsize=10727700 memory=3544 CPUtime=0.03 cores=0,2,4,6
/proc/13933/task/13940/stat : 13940 (java) S 13930 13933 10029 0 -1 1077944384 4714 0 0 0 3 0 0 0 20 0 16 0 106266923 10985164800 279242 33554432000 4194304 4196468 140731636144800 139821011704560 139821653924482 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6569984 140731636151414 140731636151566 140731636151566 140731636154319 0
[pid=13933/tid=13941] ppid=13930 vsize=10727700 memory=13773960120851 CPUtime=0 cores=0,2,4,6
/proc/13933/task/13941/stat : 13941 (java) S 13930 13933 10029 0 -1 1077944384 36 0 0 0 0 0 0 0 20 0 16 0 106266924 10985164800 279242 33554432000 4194304 4196468 140731636144800 139821010650848 139821653923541 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6569984 140731636151414 140731636151566 140731636151566 140731636154319 0
[pid=13933/tid=13942] ppid=13930 vsize=10727700 memory=1116968 CPUtime=0 cores=0,2,4,6
/proc/13933/task/13942/stat : 13942 (java) S 13930 13933 10029 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 16 0 106266924 10985164800 279242 33554432000 4194304 4196468 140731636144800 139821009597696 139821653923541 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6569984 140731636151414 140731636151566 140731636151566 140731636154319 0
[pid=13933/tid=13943] ppid=13930 vsize=10727700 memory=1116968 CPUtime=0 cores=0,2,4,6
/proc/13933/task/13943/stat : 13943 (java) S 13930 13933 10029 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 106266926 10985164800 279242 33554432000 4194304 4196468 140731636144800 139821008546256 139821653931931 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6569984 140731636151414 140731636151566 140731636151566 140731636154319 0
[pid=13933/tid=13944] ppid=13930 vsize=10727700 memory=800 CPUtime=2.13 cores=0,2,4,6
/proc/13933/task/13944/stat : 13944 (java) S 13930 13933 10029 0 -1 1077944384 9334 0 0 0 212 1 0 0 20 0 16 0 106266926 10985164800 279242 33554432000 4194304 4196468 140731636144800 139821007493360 139821653924482 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 1 0 0 6293624 6294260 6569984 140731636151414 140731636151566 140731636151566 140731636154319 0
[pid=13933/tid=13945] ppid=13930 vsize=10727700 memory=5220 CPUtime=2.2 cores=0,2,4,6
/proc/13933/task/13945/stat : 13945 (java) S 13930 13933 10029 0 -1 1077944384 9842 0 0 0 219 1 0 0 20 0 16 0 106266926 10985164800 279242 33554432000 4194304 4196468 140731636144800 139821006440816 139821653924482 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6569984 140731636151414 140731636151566 140731636151566 140731636154319 0
[pid=13933/tid=13946] ppid=13930 vsize=10727700 memory=776 CPUtime=0.65 cores=0,2,4,6
/proc/13933/task/13946/stat : 13946 (java) S 13930 13933 10029 0 -1 1077944384 5229 0 0 0 63 2 0 0 20 0 16 0 106266926 10985164800 279242 33554432000 4194304 4196468 140731636144800 139821005387760 139821653924482 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6569984 140731636151414 140731636151566 140731636151566 140731636154319 0
[pid=13933/tid=13947] ppid=13930 vsize=10727700 memory=1876 CPUtime=0 cores=0,2,4,6
/proc/13933/task/13947/stat : 13947 (java) S 13930 13933 10029 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 106266926 10985164800 279242 33554432000 4194304 4196468 140731636144800 139821004335456 139821653923541 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6569984 140731636151414 140731636151566 140731636151566 140731636154319 0
[pid=13933/tid=13948] ppid=13930 vsize=10727700 memory=1116968 CPUtime=0.13 cores=0,2,4,6
/proc/13933/task/13948/stat : 13948 (java) S 13930 13933 10029 0 -1 1077944384 353 0 0 0 7 6 0 0 20 0 16 0 106266927 10985164800 279242 33554432000 4194304 4196468 140731636144800 139821003283504 139821653924482 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6569984 140731636151414 140731636151566 140731636151566 140731636154319 0
[pid=13933/tid=13949] ppid=13930 vsize=10727700 memory=1116968 CPUtime=0 cores=0,2,4,6
/proc/13933/task/13949/stat : 13949 (java) S 13930 13933 10029 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 16 0 106267244 10985164800 279242 33554432000 4194304 4196468 140731636144800 139821000132144 139821653924482 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6569984 140731636151414 140731636151566 140731636151566 140731636154319 0
Current children cumulated CPU time: 229.81 s
Current children cumulated vsize: 10727700 KiB
Current children cumulated memory: 1116968 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+244.501 s]
/proc/loadavg: 2.03 2.04 2.21 6/218 14063
/proc/meminfo: memFree=21654832/32770624 swapFree=67028796/67108860
[pid=13933] ppid=13930 vsize=10727700 memory=1116968 CPUtime=252.02 cores=0,2,4,6
/proc/13933/stat : 13933 (java) S 13930 13933 10029 0 -1 1077944320 46910 0 0 0 25123 79 0 0 20 0 16 0 106266921 10985164800 279242 33554432000 4194304 4196468 140731636144800 140731636127344 139821653913335 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 6569984 140731636151414 140731636151566 140731636151566 140731636154319 0
/proc/13933/statm: 2681925 279242 3190 1 0 2644416 0
[pid=13933/tid=13935] ppid=13930 vsize=10727700 memory=1116968 CPUtime=243.61 cores=0,2,4,6
/proc/13933/task/13935/stat : 13935 (java) R 13930 13933 10029 0 -1 4202560 11676 0 0 0 24351 10 0 0 20 0 16 0 106266921 10985164800 279242 33554432000 4194304 4196468 140731636144800 139821658152024 139821274555806 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 6569984 140731636151414 140731636151566 140731636151566 140731636154319 0
[pid=13933/tid=13936] ppid=13930 vsize=10727700 memory=1116968 CPUtime=0.79 cores=0,2,4,6
/proc/13933/task/13936/stat : 13936 (java) S 13930 13933 10029 0 -1 1077944384 765 0 0 0 65 14 0 0 20 0 16 0 106266922 10985164800 279242 33554432000 4194304 4196468 140731636144800 139821590604304 139821653923541 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6569984 140731636151414 140731636151566 140731636151566 140731636154319 0
[pid=13933/tid=13937] ppid=13930 vsize=10727700 memory=1692 CPUtime=0.78 cores=0,2,4,6
/proc/13933/task/13937/stat : 13937 (java) S 13930 13933 10029 0 -1 1077944384 1016 0 0 0 65 13 0 0 20 0 16 0 106266922 10985164800 279242 33554432000 4194304 4196468 140731636144800 139821589551760 139821653923541 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6569984 140731636151414 140731636151566 140731636151566 140731636154319 0
[pid=13933/tid=13938] ppid=13930 vsize=10727700 memory=1116968 CPUtime=0.78 cores=0,2,4,6
/proc/13933/task/13938/stat : 13938 (java) S 13930 13933 10029 0 -1 1077944384 1791 0 0 0 64 14 0 0 20 0 16 0 106266922 10985164800 279242 33554432000 4194304 4196468 140731636144800 139821588498704 139821653923541 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6569984 140731636151414 140731636151566 140731636151566 140731636154319 0
[pid=13933/tid=13939] ppid=13930 vsize=10727700 memory=1116968 CPUtime=0.78 cores=0,2,4,6
/proc/13933/task/13939/stat : 13939 (java) S 13930 13933 10029 0 -1 1077944384 781 0 0 0 64 14 0 0 20 0 16 0 106266922 10985164800 279242 33554432000 4194304 4196468 140731636144800 139821257189776 139821653923541 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6569984 140731636151414 140731636151566 140731636151566 140731636154319 0
[pid=13933/tid=13940] ppid=13930 vsize=10727700 memory=1116968 CPUtime=0.04 cores=0,2,4,6
/proc/13933/task/13940/stat : 13940 (java) S 13930 13933 10029 0 -1 1077944384 4714 0 0 0 4 0 0 0 20 0 16 0 106266923 10985164800 279242 33554432000 4194304 4196468 140731636144800 139821011704560 139821653924482 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6569984 140731636151414 140731636151566 140731636151566 140731636154319 0
[pid=13933/tid=13941] ppid=13930 vsize=10727700 memory=1116968 CPUtime=0 cores=0,2,4,6
/proc/13933/task/13941/stat : 13941 (java) S 13930 13933 10029 0 -1 1077944384 36 0 0 0 0 0 0 0 20 0 16 0 106266924 10985164800 279242 33554432000 4194304 4196468 140731636144800 139821010650848 139821653923541 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6569984 140731636151414 140731636151566 140731636151566 140731636154319 0
[pid=13933/tid=13942] ppid=13930 vsize=10727700 memory=200411763993848 CPUtime=0 cores=0,2,4,6
/proc/13933/task/13942/stat : 13942 (java) S 13930 13933 10029 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 16 0 106266924 10985164800 279242 33554432000 4194304 4196468 140731636144800 139821009597696 139821653923541 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6569984 140731636151414 140731636151566 140731636151566 140731636154319 0
[pid=13933/tid=13943] ppid=13930 vsize=10727700 memory=1116968 CPUtime=0 cores=0,2,4,6
/proc/13933/task/13943/stat : 13943 (java) S 13930 13933 10029 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 106266926 10985164800 279242 33554432000 4194304 4196468 140731636144800 139821008546256 139821653931931 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6569984 140731636151414 140731636151566 140731636151566 140731636154319 0
[pid=13933/tid=13944] ppid=13930 vsize=10727700 memory=1760 CPUtime=2.13 cores=0,2,4,6
/proc/13933/task/13944/stat : 13944 (java) S 13930 13933 10029 0 -1 1077944384 9334 0 0 0 212 1 0 0 20 0 16 0 106266926 10985164800 279242 33554432000 4194304 4196468 140731636144800 139821007493360 139821653924482 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 1 0 0 6293624 6294260 6569984 140731636151414 140731636151566 140731636151566 140731636154319 0
[pid=13933/tid=13945] ppid=13930 vsize=10727700 memory=960 CPUtime=2.2 cores=0,2,4,6
/proc/13933/task/13945/stat : 13945 (java) S 13930 13933 10029 0 -1 1077944384 9842 0 0 0 219 1 0 0 20 0 16 0 106266926 10985164800 279242 33554432000 4194304 4196468 140731636144800 139821006440816 139821653924482 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6569984 140731636151414 140731636151566 140731636151566 140731636154319 0
[pid=13933/tid=13946] ppid=13930 vsize=10727700 memory=6791534058613427641 CPUtime=0.65 cores=0,2,4,6
/proc/13933/task/13946/stat : 13946 (java) S 13930 13933 10029 0 -1 1077944384 5229 0 0 0 63 2 0 0 20 0 16 0 106266926 10985164800 279242 33554432000 4194304 4196468 140731636144800 139821005387760 139821653924482 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6569984 140731636151414 140731636151566 140731636151566 140731636154319 0
[pid=13933/tid=13947] ppid=13930 vsize=10727700 memory=776 CPUtime=0 cores=0,2,4,6
/proc/13933/task/13947/stat : 13947 (java) S 13930 13933 10029 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 106266926 10985164800 279242 33554432000 4194304 4196468 140731636144800 139821004335456 139821653923541 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6569984 140731636151414 140731636151566 140731636151566 140731636154319 0
[pid=13933/tid=13948] ppid=13930 vsize=10727700 memory=27036 CPUtime=0.15 cores=0,2,4,6
/proc/13933/task/13948/stat : 13948 (java) S 13930 13933 10029 0 -1 1077944384 355 0 0 0 8 7 0 0 20 0 16 0 106266927 10985164800 279242 33554432000 4194304 4196468 140731636144800 139821003283504 139821653924482 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6569984 140731636151414 140731636151566 140731636151566 140731636154319 0
[pid=13933/tid=13949] ppid=13930 vsize=10727700 memory=776 CPUtime=0 cores=0,2,4,6
/proc/13933/task/13949/stat : 13949 (java) S 13930 13933 10029 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 16 0 106267244 10985164800 279242 33554432000 4194304 4196468 140731636144800 139821000132144 139821653924482 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6569984 140731636151414 140731636151566 140731636151566 140731636154319 0
Current children cumulated CPU time: 252.02 s
Current children cumulated vsize: 10727700 KiB
Current children cumulated memory: 1116968 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+244.743 s]
# the end of solver process 13933 was just reported to runsolver
# cumulated CPU time of all completed processes: user=251.277 s, system=0.812447 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+244.605 s]
/proc/loadavg: 2.03 2.04 2.21 6/218 14063
/proc/meminfo: memFree=21654832/32770624 swapFree=67028796/67108860
[pid=13933] ppid=13930 vsize=10927392 memory=1117028 CPUtime=252.03 cores=0,2,4,6
/proc/13933/stat : 13933 (java) S 13930 13933 10029 0 -1 1077944320 47095 0 0 0 25124 79 0 0 20 0 17 0 106266921 11189649408 279257 33554432000 4194304 4196468 140731636144800 140731636127344 139821653913335 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 6569984 140731636151414 140731636151566 140731636151566 140731636154319 0
/proc/13933/statm: 2731848 279257 3193 1 0 2694339 0
[pid=13933/tid=13935] ppid=13930 vsize=10927392 memory=2160 CPUtime=243.62 cores=0,2,4,6
/proc/13933/task/13935/stat : 13935 (java) S 13930 13933 10029 0 -1 1077944384 11688 0 0 0 24352 10 0 0 20 0 17 0 106266921 11189649408 279257 33554432000 4194304 4196468 140731636144800 139821658156208 139821653923541 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6569984 140731636151414 140731636151566 140731636151566 140731636154319 0
[pid=13933/tid=13936] ppid=13930 vsize=10927392 memory=6768 CPUtime=0.79 cores=0,2,4,6
/proc/13933/task/13936/stat : 13936 (java) S 13930 13933 10029 0 -1 1077944384 765 0 0 0 65 14 0 0 20 0 17 0 106266922 11189649408 279257 33554432000 4194304 4196468 140731636144800 139821590604304 139821653923541 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6569984 140731636151414 140731636151566 140731636151566 140731636154319 0
[pid=13933/tid=13937] ppid=13930 vsize=10927392 memory=824 CPUtime=0.78 cores=0,2,4,6
/proc/13933/task/13937/stat : 13937 (java) S 13930 13933 10029 0 -1 1077944384 1016 0 0 0 65 13 0 0 20 0 17 0 106266922 11189649408 279257 33554432000 4194304 4196468 140731636144800 139821589551760 139821653923541 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6569984 140731636151414 140731636151566 140731636151566 140731636154319 0
[pid=13933/tid=13938] ppid=13930 vsize=10927392 memory=1692 CPUtime=0.78 cores=0,2,4,6
/proc/13933/task/13938/stat : 13938 (java) S 13930 13933 10029 0 -1 1077944384 1791 0 0 0 64 14 0 0 20 0 17 0 106266922 11189649408 279257 33554432000 4194304 4196468 140731636144800 139821588498704 139821653923541 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6569984 140731636151414 140731636151566 140731636151566 140731636154319 0
[pid=13933/tid=13939] ppid=13930 vsize=10927392 memory=916 CPUtime=0.78 cores=0,2,4,6
/proc/13933/task/13939/stat : 13939 (java) S 13930 13933 10029 0 -1 1077944384 781 0 0 0 64 14 0 0 20 0 17 0 106266922 11189649408 279257 33554432000 4194304 4196468 140731636144800 139821257189776 139821653923541 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6569984 140731636151414 140731636151566 140731636151566 140731636154319 0
[pid=13933/tid=13940] ppid=13930 vsize=10927392 memory=3852 CPUtime=0.04 cores=0,2,4,6
/proc/13933/task/13940/stat : 13940 (java) S 13930 13933 10029 0 -1 1077944384 4714 0 0 0 4 0 0 0 20 0 17 0 106266923 11189649408 279257 33554432000 4194304 4196468 140731636144800 139821011704560 139821653924482 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6569984 140731636151414 140731636151566 140731636151566 140731636154319 0
[pid=13933/tid=13941] ppid=13930 vsize=10927392 memory=2704 CPUtime=0 cores=0,2,4,6
/proc/13933/task/13941/stat : 13941 (java) S 13930 13933 10029 0 -1 1077944384 36 0 0 0 0 0 0 0 20 0 17 0 106266924 11189649408 279257 33554432000 4194304 4196468 140731636144800 139821010650848 139821653923541 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6569984 140731636151414 140731636151566 140731636151566 140731636154319 0
[pid=13933/tid=13942] ppid=13930 vsize=10927392 memory=2756 CPUtime=0 cores=0,2,4,6
/proc/13933/task/13942/stat : 13942 (java) S 13930 13933 10029 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 17 0 106266924 11189649408 279257 33554432000 4194304 4196468 140731636144800 139821009597696 139821653923541 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6569984 140731636151414 140731636151566 140731636151566 140731636154319 0
[pid=13933/tid=13943] ppid=13930 vsize=10927392 memory=1408 CPUtime=0 cores=0,2,4,6
/proc/13933/task/13943/stat : 13943 (java) S 13930 13933 10029 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 17 0 106266926 11189649408 279257 33554432000 4194304 4196468 140731636144800 139821008546256 139821653931931 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6569984 140731636151414 140731636151566 140731636151566 140731636154319 0
[pid=13933/tid=13944] ppid=13930 vsize=10927392 memory=6791534058613427641 CPUtime=2.13 cores=0,2,4,6
/proc/13933/task/13944/stat : 13944 (java) S 13930 13933 10029 0 -1 1077944384 9334 0 0 0 212 1 0 0 20 0 17 0 106266926 11189649408 279257 33554432000 4194304 4196468 140731636144800 139821007493360 139821653924482 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 1 0 0 6293624 6294260 6569984 140731636151414 140731636151566 140731636151566 140731636154319 0
[pid=13933/tid=13945] ppid=13930 vsize=10927392 memory=288230621803970871 CPUtime=2.2 cores=0,2,4,6
/proc/13933/task/13945/stat : 13945 (java) S 13930 13933 10029 0 -1 1077944384 9842 0 0 0 219 1 0 0 20 0 17 0 106266926 11189649408 279257 33554432000 4194304 4196468 140731636144800 139821006440816 139821653924482 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6569984 140731636151414 140731636151566 140731636151566 140731636154319 0
[pid=13933/tid=13946] ppid=13930 vsize=10927392 memory=6791534058613427641 CPUtime=0.65 cores=0,2,4,6
/proc/13933/task/13946/stat : 13946 (java) S 13930 13933 10029 0 -1 1077944384 5230 0 0 0 63 2 0 0 20 0 17 0 106266926 11189649408 279257 33554432000 4194304 4196468 140731636144800 139821005387760 139821653924482 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6569984 140731636151414 140731636151566 140731636151566 140731636154319 0
[pid=13933/tid=13947] ppid=13930 vsize=10927392 memory=6768 CPUtime=0 cores=0,2,4,6
/proc/13933/task/13947/stat : 13947 (java) S 13930 13933 10029 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 17 0 106266926 11189649408 279257 33554432000 4194304 4196468 140731636144800 139821004335456 139821653923541 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6569984 140731636151414 140731636151566 140731636151566 140731636154319 0
[pid=13933/tid=13948] ppid=13930 vsize=10927392 memory=824 CPUtime=0.15 cores=0,2,4,6
/proc/13933/task/13948/stat : 13948 (java) S 13930 13933 10029 0 -1 1077944384 355 0 0 0 8 7 0 0 20 0 17 0 106266927 11189649408 279257 33554432000 4194304 4196468 140731636144800 139821003283504 139821653924482 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6569984 140731636151414 140731636151566 140731636151566 140731636154319 0
Current children cumulated CPU time: 252.03 s
Current children cumulated vsize: 10927392 KiB
Current children cumulated memory: 1117028 KiB
[startup+244.701 s]
/proc/loadavg: 2.03 2.04 2.21 6/218 14063
/proc/meminfo: memFree=21654832/32770624 swapFree=67028796/67108860
[pid=13933] ppid=13930 vsize=10927392 memory=1117028 CPUtime=252.03 cores=0,2,4,6
/proc/13933/stat : 13933 (java) S 13930 13933 10029 0 -1 1077944320 47095 0 0 0 25124 79 0 0 20 0 17 0 106266921 11189649408 279257 33554432000 4194304 4196468 140731636144800 140731636127344 139821653913335 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 6569984 140731636151414 140731636151566 140731636151566 140731636154319 0
/proc/13933/statm: 2731848 279257 3193 1 0 2694339 0
[pid=13933/tid=13935] ppid=13930 vsize=10927392 memory=1116968 CPUtime=243.62 cores=0,2,4,6
/proc/13933/task/13935/stat : 13935 (java) S 13930 13933 10029 0 -1 1077944384 11688 0 0 0 24352 10 0 0 20 0 17 0 106266921 11189649408 279257 33554432000 4194304 4196468 140731636144800 139821658156208 139821653923541 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6569984 140731636151414 140731636151566 140731636151566 140731636154319 0
[pid=13933/tid=13936] ppid=13930 vsize=10927392 memory=1116968 CPUtime=0.79 cores=0,2,4,6
/proc/13933/task/13936/stat : 13936 (java) S 13930 13933 10029 0 -1 1077944384 765 0 0 0 65 14 0 0 20 0 17 0 106266922 11189649408 279257 33554432000 4194304 4196468 140731636144800 139821590604304 139821653923541 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6569984 140731636151414 140731636151566 140731636151566 140731636154319 0
[pid=13933/tid=13937] ppid=13930 vsize=10927392 memory=1116968 CPUtime=0.78 cores=0,2,4,6
/proc/13933/task/13937/stat : 13937 (java) S 13930 13933 10029 0 -1 1077944384 1016 0 0 0 65 13 0 0 20 0 17 0 106266922 11189649408 279257 33554432000 4194304 4196468 140731636144800 139821589551760 139821653923541 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6569984 140731636151414 140731636151566 140731636151566 140731636154319 0
[pid=13933/tid=13938] ppid=13930 vsize=10927392 memory=1116968 CPUtime=0.78 cores=0,2,4,6
/proc/13933/task/13938/stat : 13938 (java) S 13930 13933 10029 0 -1 1077944384 1791 0 0 0 64 14 0 0 20 0 17 0 106266922 11189649408 279257 33554432000 4194304 4196468 140731636144800 139821588498704 139821653923541 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6569984 140731636151414 140731636151566 140731636151566 140731636154319 0
[pid=13933/tid=13939] ppid=13930 vsize=10927392 memory=140508309795393 CPUtime=0.78 cores=0,2,4,6
/proc/13933/task/13939/stat : 13939 (java) S 13930 13933 10029 0 -1 1077944384 781 0 0 0 64 14 0 0 20 0 17 0 106266922 11189649408 279257 33554432000 4194304 4196468 140731636144800 139821257189776 139821653923541 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6569984 140731636151414 140731636151566 140731636151566 140731636154319 0
[pid=13933/tid=13940] ppid=13930 vsize=10927392 memory=1116968 CPUtime=0.04 cores=0,2,4,6
/proc/13933/task/13940/stat : 13940 (java) S 13930 13933 10029 0 -1 1077944384 4714 0 0 0 4 0 0 0 20 0 17 0 106266923 11189649408 279257 33554432000 4194304 4196468 140731636144800 139821011704560 139821653924482 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6569984 140731636151414 140731636151566 140731636151566 140731636154319 0
[pid=13933/tid=13941] ppid=13930 vsize=10927392 memory=6791534058613427641 CPUtime=0 cores=0,2,4,6
/proc/13933/task/13941/stat : 13941 (java) S 13930 13933 10029 0 -1 1077944384 36 0 0 0 0 0 0 0 20 0 17 0 106266924 11189649408 279257 33554432000 4194304 4196468 140731636144800 139821010650848 139821653923541 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6569984 140731636151414 140731636151566 140731636151566 140731636154319 0
[pid=13933/tid=13942] ppid=13930 vsize=10927392 memory=776 CPUtime=0 cores=0,2,4,6
/proc/13933/task/13942/stat : 13942 (java) S 13930 13933 10029 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 17 0 106266924 11189649408 279257 33554432000 4194304 4196468 140731636144800 139821009597696 139821653923541 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6569984 140731636151414 140731636151566 140731636151566 140731636154319 0
[pid=13933/tid=13943] ppid=13930 vsize=10927392 memory=27036 CPUtime=0 cores=0,2,4,6
/proc/13933/task/13943/stat : 13943 (java) S 13930 13933 10029 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 17 0 106266926 11189649408 279257 33554432000 4194304 4196468 140731636144800 139821008546256 139821653931931 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6569984 140731636151414 140731636151566 140731636151566 140731636154319 0
[pid=13933/tid=13944] ppid=13930 vsize=10927392 memory=776 CPUtime=2.13 cores=0,2,4,6
/proc/13933/task/13944/stat : 13944 (java) S 13930 13933 10029 0 -1 1077944384 9334 0 0 0 212 1 0 0 20 0 17 0 106266926 11189649408 279257 33554432000 4194304 4196468 140731636144800 139821007493360 139821653924482 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 1 0 0 6293624 6294260 6569984 140731636151414 140731636151566 140731636151566 140731636154319 0
[pid=13933/tid=13945] ppid=13930 vsize=10927392 memory=1760 CPUtime=2.2 cores=0,2,4,6
/proc/13933/task/13945/stat : 13945 (java) S 13930 13933 10029 0 -1 1077944384 9842 0 0 0 219 1 0 0 20 0 17 0 106266926 11189649408 279257 33554432000 4194304 4196468 140731636144800 139821006440816 139821653924482 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6569984 140731636151414 140731636151566 140731636151566 140731636154319 0
[pid=13933/tid=13946] ppid=13930 vsize=10927392 memory=960 CPUtime=0.65 cores=0,2,4,6
/proc/13933/task/13946/stat : 13946 (java) S 13930 13933 10029 0 -1 1077944384 5230 0 0 0 63 2 0 0 20 0 17 0 106266926 11189649408 279257 33554432000 4194304 4196468 140731636144800 139821005387760 139821653924482 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6569984 140731636151414 140731636151566 140731636151566 140731636154319 0
[pid=13933/tid=13947] ppid=13930 vsize=10927392 memory=1116968 CPUtime=0 cores=0,2,4,6
/proc/13933/task/13947/stat : 13947 (java) S 13930 13933 10029 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 17 0 106266926 11189649408 279257 33554432000 4194304 4196468 140731636144800 139821004335456 139821653923541 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6569984 140731636151414 140731636151566 140731636151566 140731636154319 0
[pid=13933/tid=13948] ppid=13930 vsize=10927392 memory=1116968 CPUtime=0.15 cores=0,2,4,6
/proc/13933/task/13948/stat : 13948 (java) S 13930 13933 10029 0 -1 1077944384 355 0 0 0 8 7 0 0 20 0 17 0 106266927 11189649408 279257 33554432000 4194304 4196468 140731636144800 139821003283504 139821653924482 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6569984 140731636151414 140731636151566 140731636151566 140731636154319 0
Current children cumulated CPU time: 252.03 s
Current children cumulated vsize: 10927392 KiB
Current children cumulated memory: 1117028 KiB
Child status: 143
Real time (s): 244.743
CPU time (s): 252.089
CPU user time (s): 251.277
CPU system time (s): 0.812447
CPU usage (%): 103.001
Max. virtual memory (cumulated for all children) (KiB): 10927392
Max. memory (cumulated for all children) (KiB): 1117028
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 251.277
system time used= 0.812447
maximum resident set size= 1118136
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 47430
page faults= 0
swaps= 0
block input operations= 0
block output operations= 368
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 7696
involuntary context switches= 399
# summary of solver processes directly reported to runsolver:
# pid: 13933
# total CPU time (s): 252.089
# total CPU user time (s): 251.277
# total CPU system time (s): 0.812447
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.54258 second user time and 2.32593 second system time
The end