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 (6717 MiB free)
memory of node 1: 16384 MiB (9832 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4293994-1532413601/watcher-4293994-1532413601 -o /tmp/evaluation-result-4293994-1532413601/solver-4293994-1532413601 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node135-1532413601-12741 --watchdog 2580 concrete-3.8/bin/xcsp-3-concrete -J-Xss32M -randomseed=1720988143 -superng HOME/instance-4293994-1532413601.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=12764, runsolver pid=12757
Current StackSize limit: 8192 KiB
[startup+0.100661 s]*
/proc/loadavg: 1.72 1.95 2.02 3/194 12871
/proc/meminfo: memFree=16943112/32770624 swapFree=67108860/67108860
[pid=12764] ppid=12757 vsize=9970504 memory=10796 CPUtime=0.08 cores=1,3,5,7
/proc/12764/stat : 12764 (java) S 12757 12764 12709 0 -1 1077944320 3368 13160 0 0 0 0 5 3 20 0 6 0 58923294 10209796096 2699 33554432000 4194304 4196468 140732895930064 140732895912608 140718200278775 0 0 0 16784584 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 25509888 140732895938731 140732895941980 140732895941980 140732895944655 0
/proc/12764/statm: 2492626 2699 1232 1 0 2481537 0
[pid=12764/tid=12871] ppid=12757 vsize=9970504 memory=-8540663193526752614 CPUtime=0.08 cores=1,3,5,7
/proc/12764/task/12871/stat : 12871 (java) R 12757 12764 12709 0 -1 4202560 1202 13160 0 0 0 0 5 3 20 0 6 0 58923304 10209796096 2765 33554432000 4194304 4196468 140732895930064 140718172120392 140718186188992 0 4 0 16784584 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 25509888 140732895938731 140732895941980 140732895941980 140732895944655 0
[pid=12764/tid=12876] ppid=12757 vsize=9970504 memory=4211974253314026890 CPUtime=0.08 cores=1,3,5,7
/proc/12764/task/12876/stat : 12876 (java) S 12757 12764 12709 0 -1 1077944384 1 13160 0 0 0 0 5 3 20 0 6 0 58923305 10209796096 2765 33554432000 4194304 4196468 140732895930064 140718204521104 140718200288981 0 4 0 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25509888 140732895938731 140732895941980 140732895941980 140732895944655 0
[pid=12764/tid=12877] ppid=12757 vsize=9970504 memory=140527109236352 CPUtime=0.08 cores=1,3,5,7
/proc/12764/task/12877/stat : 12877 (java) S 12757 12764 12709 0 -1 1077944384 1 13160 0 0 0 0 5 3 20 0 6 0 58923305 10209796096 2765 33554432000 4194304 4196468 140732895930064 140718103411216 140718200288981 0 4 0 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25509888 140732895938731 140732895941980 140732895941980 140732895944655 0
[pid=12764/tid=12878] ppid=12757 vsize=9970504 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/12764/task/12878/stat : 12878 (java) S 12757 12764 12709 0 -1 1077944384 2 13160 0 0 0 0 5 3 20 0 6 0 58923305 10209796096 2765 33554432000 4194304 4196468 140732895930064 140718102358416 140718200288981 0 4 0 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25509888 140732895938731 140732895941980 140732895941980 140732895944655 0
[pid=12764/tid=12879] ppid=12757 vsize=9970504 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/12764/task/12879/stat : 12879 (java) S 12757 12764 12709 0 -1 1077944384 2 13160 0 0 0 0 5 3 20 0 6 0 58923305 10209796096 2765 33554432000 4194304 4196468 140732895930064 140718101305616 140718200288981 0 4 0 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25509888 140732895938731 140732895941980 140732895941980 140732895944655 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 9970504 KiB
Current children cumulated memory: 10796 KiB
[startup+0.210398 s]*
/proc/loadavg: 1.72 1.95 2.02 4/219 12901
/proc/meminfo: memFree=16890404/32770624 swapFree=67108860/67108860
[pid=12764] ppid=12757 vsize=10818904 memory=44176 CPUtime=0.25 cores=1,3,5,7
/proc/12764/stat : 12764 (java) S 12757 12764 12709 0 -1 1077944320 7258 13160 0 0 15 2 5 3 20 0 15 0 58923294 11078557696 11044 33554432000 4194304 4196468 140732895930064 140732895912608 140718200278775 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 25509888 140732895938731 140732895941980 140732895941980 140732895944655 0
/proc/12764/statm: 2704726 11044 2971 1 0 2667149 0
[pid=12764/tid=12871] ppid=12757 vsize=10818904 memory=-8540663193526752614 CPUtime=0.19 cores=1,3,5,7
/proc/12764/task/12871/stat : 12871 (java) R 12757 12764 12709 0 -1 4202560 3897 13160 0 0 10 1 5 3 20 0 15 0 58923304 11078557696 11044 33554432000 4194304 4196468 140732895930064 140718172065776 140718180554105 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 25509888 140732895938731 140732895941980 140732895941980 140732895944655 0
[pid=12764/tid=12876] ppid=12757 vsize=10818904 memory=4211974253314026890 CPUtime=0.08 cores=1,3,5,7
/proc/12764/task/12876/stat : 12876 (java) S 12757 12764 12709 0 -1 1077944384 1 13160 0 0 0 0 5 3 20 0 15 0 58923305 11078557696 11044 33554432000 4194304 4196468 140732895930064 140718204521104 140718200288981 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25509888 140732895938731 140732895941980 140732895941980 140732895944655 0
[pid=12764/tid=12877] ppid=12757 vsize=10818904 memory=140527109236352 CPUtime=0.08 cores=1,3,5,7
/proc/12764/task/12877/stat : 12877 (java) S 12757 12764 12709 0 -1 1077944384 1 13160 0 0 0 0 5 3 20 0 15 0 58923305 11078557696 11044 33554432000 4194304 4196468 140732895930064 140718103411216 140718200288981 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25509888 140732895938731 140732895941980 140732895941980 140732895944655 0
[pid=12764/tid=12878] ppid=12757 vsize=10818904 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/12764/task/12878/stat : 12878 (java) S 12757 12764 12709 0 -1 1077944384 2 13160 0 0 0 0 5 3 20 0 15 0 58923305 11078557696 11044 33554432000 4194304 4196468 140732895930064 140718102358416 140718200288981 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25509888 140732895938731 140732895941980 140732895941980 140732895944655 0
[pid=12764/tid=12879] ppid=12757 vsize=10818904 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/12764/task/12879/stat : 12879 (java) S 12757 12764 12709 0 -1 1077944384 2 13160 0 0 0 0 5 3 20 0 15 0 58923305 11078557696 11044 33554432000 4194304 4196468 140732895930064 140718101305616 140718200288981 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25509888 140732895938731 140732895941980 140732895941980 140732895944655 0
[pid=12764/tid=12884] ppid=12757 vsize=10818904 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/12764/task/12884/stat : 12884 (java) S 12757 12764 12709 0 -1 1077944384 2 13160 0 0 0 0 5 3 20 0 15 0 58923306 11078557696 11044 33554432000 4194304 4196468 140732895930064 140717659552624 140718200289922 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25509888 140732895938731 140732895941980 140732895941980 140732895944655 0
[pid=12764/tid=12885] ppid=12757 vsize=10818904 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/12764/task/12885/stat : 12885 (java) S 12757 12764 12709 0 -1 1077944384 33 13160 0 0 0 0 5 3 20 0 15 0 58923306 11078557696 11044 33554432000 4194304 4196468 140732895930064 140717658498592 140718200288981 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25509888 140732895938731 140732895941980 140732895941980 140732895944655 0
[pid=12764/tid=12886] ppid=12757 vsize=10818904 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/12764/task/12886/stat : 12886 (java) S 12757 12764 12709 0 -1 1077944384 1 13160 0 0 0 0 5 3 20 0 15 0 58923307 11078557696 11044 33554432000 4194304 4196468 140732895930064 140717087253872 140718200288981 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25509888 140732895938731 140732895941980 140732895941980 140732895944655 0
[pid=12764/tid=12890] ppid=12757 vsize=10818904 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/12764/task/12890/stat : 12890 (java) S 12757 12764 12709 0 -1 1077944384 2 13160 0 0 0 0 5 3 20 0 15 0 58923309 11078557696 11044 33554432000 4194304 4196468 140732895930064 140716751710544 140718200297371 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25509888 140732895938731 140732895941980 140732895941980 140732895944655 0
[pid=12764/tid=12891] ppid=12757 vsize=10818904 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/12764/task/12891/stat : 12891 (java) S 12757 12764 12709 0 -1 1077944384 484 13160 0 0 1 0 5 3 20 0 15 0 58923309 11078557696 11044 33554432000 4194304 4196468 140732895930064 140717167995248 140718200289922 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25509888 140732895938731 140732895941980 140732895941980 140732895944655 0
[pid=12764/tid=12892] ppid=12757 vsize=10818904 memory=-1 CPUtime=0.09 cores=1,3,5,7
/proc/12764/task/12892/stat : 12892 (java) S 12757 12764 12709 0 -1 1077944384 88 13160 0 0 1 0 5 3 20 0 15 0 58923309 11078557696 11044 33554432000 4194304 4196468 140732895930064 140717166942448 140718200289922 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25509888 140732895938731 140732895941980 140732895941980 140732895944655 0
[pid=12764/tid=12893] ppid=12757 vsize=10818904 memory=140527109236352 CPUtime=0.11 cores=1,3,5,7
/proc/12764/task/12893/stat : 12893 (java) S 12757 12764 12709 0 -1 1077944384 551 13160 0 0 3 0 5 3 20 0 15 0 58923309 11078557696 11044 33554432000 4194304 4196468 140732895930064 140717165889648 140718200289922 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25509888 140732895938731 140732895941980 140732895941980 140732895944655 0
[pid=12764/tid=12894] ppid=12757 vsize=10818904 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/12764/task/12894/stat : 12894 (java) S 12757 12764 12709 0 -1 1077944384 3 13160 0 0 0 0 5 3 20 0 15 0 58923310 11078557696 11044 33554432000 4194304 4196468 140732895930064 140716483274976 140718200288981 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25509888 140732895938731 140732895941980 140732895941980 140732895944655 0
[pid=12764/tid=12895] ppid=12757 vsize=10818904 memory=140527109236352 CPUtime=0.08 cores=1,3,5,7
/proc/12764/task/12895/stat : 12895 (java) S 12757 12764 12709 0 -1 1077944384 1 13160 0 0 0 0 5 3 20 0 15 0 58923310 11078557696 11044 33554432000 4194304 4196468 140732895930064 140717164838064 140718200289922 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25509888 140732895938731 140732895941980 140732895941980 140732895944655 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 10818904 KiB
Current children cumulated memory: 44176 KiB
[startup+0.310305 s]*
/proc/loadavg: 1.72 1.95 2.02 3/219 12901
/proc/meminfo: memFree=16864868/32770624 swapFree=67108860/67108860
[pid=12764] ppid=12757 vsize=10819352 memory=57312 CPUtime=0.38 cores=1,3,5,7
/proc/12764/stat : 12764 (java) S 12757 12764 12709 0 -1 1077944320 10400 13160 0 0 27 3 5 3 20 0 15 0 58923294 11079016448 14328 33554432000 4194304 4196468 140732895930064 140732895912608 140718200278775 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 25509888 140732895938731 140732895941980 140732895941980 140732895944655 0
/proc/12764/statm: 2704838 14328 3090 1 0 2667149 0
[pid=12764/tid=12871] ppid=12757 vsize=10819352 memory=6791534058613427641 CPUtime=0.28 cores=1,3,5,7
/proc/12764/task/12871/stat : 12871 (java) R 12757 12764 12709 0 -1 4202560 7156 13160 0 0 18 2 5 3 20 0 15 0 58923304 11079016448 14460 33554432000 4194304 4196468 140732895930064 140718172090784 140718180554496 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 25509888 140732895938731 140732895941980 140732895941980 140732895944655 0
[pid=12764/tid=12876] ppid=12757 vsize=10819352 memory=-7003737579269690708 CPUtime=0.08 cores=1,3,5,7
/proc/12764/task/12876/stat : 12876 (java) S 12757 12764 12709 0 -1 1077944384 1 13160 0 0 0 0 5 3 20 0 15 0 58923305 11079016448 14460 33554432000 4194304 4196468 140732895930064 140718204521104 140718200288981 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25509888 140732895938731 140732895941980 140732895941980 140732895944655 0
[pid=12764/tid=12877] ppid=12757 vsize=10819352 memory=140527109243345 CPUtime=0.08 cores=1,3,5,7
/proc/12764/task/12877/stat : 12877 (java) S 12757 12764 12709 0 -1 1077944384 1 13160 0 0 0 0 5 3 20 0 15 0 58923305 11079016448 14460 33554432000 4194304 4196468 140732895930064 140718103411216 140718200288981 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25509888 140732895938731 140732895941980 140732895941980 140732895944655 0
[pid=12764/tid=12878] ppid=12757 vsize=10819352 memory=5795682356285304167 CPUtime=0.08 cores=1,3,5,7
/proc/12764/task/12878/stat : 12878 (java) S 12757 12764 12709 0 -1 1077944384 2 13160 0 0 0 0 5 3 20 0 15 0 58923305 11079016448 14526 33554432000 4194304 4196468 140732895930064 140718102358416 140718200288981 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25509888 140732895938731 140732895941980 140732895941980 140732895944655 0
[pid=12764/tid=12879] ppid=12757 vsize=10819352 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/12764/task/12879/stat : 12879 (java) S 12757 12764 12709 0 -1 1077944384 2 13160 0 0 0 0 5 3 20 0 15 0 58923305 11079016448 14526 33554432000 4194304 4196468 140732895930064 140718101305616 140718200288981 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25509888 140732895938731 140732895941980 140732895941980 140732895944655 0
[pid=12764/tid=12884] ppid=12757 vsize=10819352 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/12764/task/12884/stat : 12884 (java) S 12757 12764 12709 0 -1 1077944384 2 13160 0 0 0 0 5 3 20 0 15 0 58923306 11079016448 14526 33554432000 4194304 4196468 140732895930064 140717659552624 140718200289922 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25509888 140732895938731 140732895941980 140732895941980 140732895944655 0
[pid=12764/tid=12885] ppid=12757 vsize=10819352 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/12764/task/12885/stat : 12885 (java) S 12757 12764 12709 0 -1 1077944384 33 13160 0 0 0 0 5 3 20 0 15 0 58923306 11079016448 14526 33554432000 4194304 4196468 140732895930064 140717658498592 140718200288981 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25509888 140732895938731 140732895941980 140732895941980 140732895944655 0
[pid=12764/tid=12886] ppid=12757 vsize=10819352 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/12764/task/12886/stat : 12886 (java) S 12757 12764 12709 0 -1 1077944384 1 13160 0 0 0 0 5 3 20 0 15 0 58923307 11079016448 14526 33554432000 4194304 4196468 140732895930064 140717087253872 140718200288981 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25509888 140732895938731 140732895941980 140732895941980 140732895944655 0
[pid=12764/tid=12890] ppid=12757 vsize=10819352 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/12764/task/12890/stat : 12890 (java) S 12757 12764 12709 0 -1 1077944384 2 13160 0 0 0 0 5 3 20 0 15 0 58923309 11079016448 14526 33554432000 4194304 4196468 140732895930064 140716751710544 140718200297371 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25509888 140732895938731 140732895941980 140732895941980 140732895944655 0
[pid=12764/tid=12891] ppid=12757 vsize=10819352 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/12764/task/12891/stat : 12891 (java) S 12757 12764 12709 0 -1 1077944384 485 13160 0 0 1 0 5 3 20 0 15 0 58923309 11079016448 14526 33554432000 4194304 4196468 140732895930064 140717167995248 140718200289922 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25509888 140732895938731 140732895941980 140732895941980 140732895944655 0
[pid=12764/tid=12892] ppid=12757 vsize=10819352 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/12764/task/12892/stat : 12892 (java) S 12757 12764 12709 0 -1 1077944384 88 13160 0 0 1 0 5 3 20 0 15 0 58923309 11079016448 14526 33554432000 4194304 4196468 140732895930064 140717166942448 140718200289922 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25509888 140732895938731 140732895941980 140732895941980 140732895944655 0
[pid=12764/tid=12893] ppid=12757 vsize=10819352 memory=0 CPUtime=0.12 cores=1,3,5,7
/proc/12764/task/12893/stat : 12893 (java) S 12757 12764 12709 0 -1 1077944384 561 13160 0 0 4 0 5 3 20 0 15 0 58923309 11079016448 14526 33554432000 4194304 4196468 140732895930064 140717165889648 140718200289922 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25509888 140732895938731 140732895941980 140732895941980 140732895944655 0
[pid=12764/tid=12894] ppid=12757 vsize=10819352 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/12764/task/12894/stat : 12894 (java) S 12757 12764 12709 0 -1 1077944384 3 13160 0 0 0 0 5 3 20 0 15 0 58923310 11079016448 14526 33554432000 4194304 4196468 140732895930064 140716483274976 140718200288981 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25509888 140732895938731 140732895941980 140732895941980 140732895944655 0
[pid=12764/tid=12895] ppid=12757 vsize=10819352 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/12764/task/12895/stat : 12895 (java) S 12757 12764 12709 0 -1 1077944384 1 13160 0 0 0 0 5 3 20 0 15 0 58923310 11079016448 14526 33554432000 4194304 4196468 140732895930064 140717164838064 140718200289922 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25509888 140732895938731 140732895941980 140732895941980 140732895944655 0
Current children cumulated CPU time: 0.38 s
Current children cumulated vsize: 10819352 KiB
Current children cumulated memory: 57312 KiB
[startup+0.700735 s]
/proc/loadavg: 1.72 1.95 2.02 3/219 12901
/proc/meminfo: memFree=16841644/32770624 swapFree=67108860/67108860
[pid=12764] ppid=12757 vsize=10819352 memory=90164 CPUtime=0.99 cores=1,3,5,7
/proc/12764/stat : 12764 (java) S 12757 12764 12709 0 -1 1077944320 16729 13160 0 0 86 5 5 3 20 0 15 0 58923294 11079016448 22541 33554432000 4194304 4196468 140732895930064 140732895912608 140718200278775 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 25509888 140732895938731 140732895941980 140732895941980 140732895944655 0
/proc/12764/statm: 2704838 22541 3237 1 0 2667149 0
[pid=12764/tid=12871] ppid=12757 vsize=10819352 memory=0 CPUtime=0.65 cores=1,3,5,7
/proc/12764/task/12871/stat : 12871 (java) R 12757 12764 12709 0 -1 4202560 12293 13160 0 0 54 3 5 3 20 0 15 0 58923304 11079016448 22541 33554432000 4194304 4196468 140732895930064 140718172092544 140718181842317 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 25509888 140732895938731 140732895941980 140732895941980 140732895944655 0
[pid=12764/tid=12876] ppid=12757 vsize=10819352 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/12764/task/12876/stat : 12876 (java) S 12757 12764 12709 0 -1 1077944384 1 13160 0 0 0 0 5 3 20 0 15 0 58923305 11079016448 22541 33554432000 4194304 4196468 140732895930064 140718204521104 140718200288981 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25509888 140732895938731 140732895941980 140732895941980 140732895944655 0
[pid=12764/tid=12877] ppid=12757 vsize=10819352 memory=-1161699032756030039 CPUtime=0.08 cores=1,3,5,7
/proc/12764/task/12877/stat : 12877 (java) S 12757 12764 12709 0 -1 1077944384 1 13160 0 0 0 0 5 3 20 0 15 0 58923305 11079016448 22541 33554432000 4194304 4196468 140732895930064 140718103411216 140718200288981 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25509888 140732895938731 140732895941980 140732895941980 140732895944655 0
[pid=12764/tid=12878] ppid=12757 vsize=10819352 memory=-2127764325837774380 CPUtime=0.08 cores=1,3,5,7
/proc/12764/task/12878/stat : 12878 (java) S 12757 12764 12709 0 -1 1077944384 2 13160 0 0 0 0 5 3 20 0 15 0 58923305 11079016448 22541 33554432000 4194304 4196468 140732895930064 140718102358416 140718200288981 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25509888 140732895938731 140732895941980 140732895941980 140732895944655 0
[pid=12764/tid=12879] ppid=12757 vsize=10819352 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/12764/task/12879/stat : 12879 (java) S 12757 12764 12709 0 -1 1077944384 2 13160 0 0 0 0 5 3 20 0 15 0 58923305 11079016448 22541 33554432000 4194304 4196468 140732895930064 140718101305616 140718200288981 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25509888 140732895938731 140732895941980 140732895941980 140732895944655 0
[pid=12764/tid=12884] ppid=12757 vsize=10819352 memory=3828 CPUtime=0.08 cores=1,3,5,7
/proc/12764/task/12884/stat : 12884 (java) S 12757 12764 12709 0 -1 1077944384 5 13160 0 0 0 0 5 3 20 0 15 0 58923306 11079016448 22541 33554432000 4194304 4196468 140732895930064 140717659552624 140718200289922 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25509888 140732895938731 140732895941980 140732895941980 140732895944655 0
[pid=12764/tid=12885] ppid=12757 vsize=10819352 memory=2241 CPUtime=0.08 cores=1,3,5,7
/proc/12764/task/12885/stat : 12885 (java) S 12757 12764 12709 0 -1 1077944384 33 13160 0 0 0 0 5 3 20 0 15 0 58923306 11079016448 22541 33554432000 4194304 4196468 140732895930064 140717658498592 140718200288981 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25509888 140732895938731 140732895941980 140732895941980 140732895944655 0
[pid=12764/tid=12886] ppid=12757 vsize=10819352 memory=2244 CPUtime=0.08 cores=1,3,5,7
/proc/12764/task/12886/stat : 12886 (java) S 12757 12764 12709 0 -1 1077944384 1 13160 0 0 0 0 5 3 20 0 15 0 58923307 11079016448 22541 33554432000 4194304 4196468 140732895930064 140717087253872 140718200288981 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25509888 140732895938731 140732895941980 140732895941980 140732895944655 0
[pid=12764/tid=12890] ppid=12757 vsize=10819352 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/12764/task/12890/stat : 12890 (java) S 12757 12764 12709 0 -1 1077944384 2 13160 0 0 0 0 5 3 20 0 15 0 58923309 11079016448 22541 33554432000 4194304 4196468 140732895930064 140716751710544 140718200297371 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25509888 140732895938731 140732895941980 140732895941980 140732895944655 0
[pid=12764/tid=12891] ppid=12757 vsize=10819352 memory=0 CPUtime=0.17 cores=1,3,5,7
/proc/12764/task/12891/stat : 12891 (java) S 12757 12764 12709 0 -1 1077944384 1046 13160 0 0 9 0 5 3 20 0 15 0 58923309 11079016448 22541 33554432000 4194304 4196468 140732895930064 140717167995248 140718200289922 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25509888 140732895938731 140732895941980 140732895941980 140732895944655 0
[pid=12764/tid=12892] ppid=12757 vsize=10819352 memory=0 CPUtime=0.15 cores=1,3,5,7
/proc/12764/task/12892/stat : 12892 (java) S 12757 12764 12709 0 -1 1077944384 511 13160 0 0 7 0 5 3 20 0 15 0 58923309 11079016448 22541 33554432000 4194304 4196468 140732895930064 140717166942448 140718200289922 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25509888 140732895938731 140732895941980 140732895941980 140732895944655 0
[pid=12764/tid=12893] ppid=12757 vsize=10819352 memory=19265 CPUtime=0.21 cores=1,3,5,7
/proc/12764/task/12893/stat : 12893 (java) S 12757 12764 12709 0 -1 1077944384 638 13160 0 0 13 0 5 3 20 0 15 0 58923309 11079016448 22541 33554432000 4194304 4196468 140732895930064 140717165889648 140718200289922 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25509888 140732895938731 140732895941980 140732895941980 140732895944655 0
[pid=12764/tid=12894] ppid=12757 vsize=10819352 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/12764/task/12894/stat : 12894 (java) S 12757 12764 12709 0 -1 1077944384 3 13160 0 0 0 0 5 3 20 0 15 0 58923310 11079016448 22541 33554432000 4194304 4196468 140732895930064 140716483274976 140718200288981 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25509888 140732895938731 140732895941980 140732895941980 140732895944655 0
[pid=12764/tid=12895] ppid=12757 vsize=10819352 memory=3533419649945857445 CPUtime=0.08 cores=1,3,5,7
/proc/12764/task/12895/stat : 12895 (java) S 12757 12764 12709 0 -1 1077944384 1 13160 0 0 0 0 5 3 20 0 15 0 58923310 11079016448 22541 33554432000 4194304 4196468 140732895930064 140717164838064 140718200289922 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25509888 140732895938731 140732895941980 140732895941980 140732895944655 0
Current children cumulated CPU time: 0.99 s
Current children cumulated vsize: 10819352 KiB
Current children cumulated memory: 90164 KiB
[startup+1.50066 s]
/proc/loadavg: 1.72 1.95 2.02 5/219 12901
/proc/meminfo: memFree=16752820/32770624 swapFree=67108860/67108860
[pid=12764] ppid=12757 vsize=10834252 memory=190048 CPUtime=2.5 cores=1,3,5,7
/proc/12764/stat : 12764 (java) S 12757 12764 12709 0 -1 1077944320 24711 13160 0 0 231 11 5 3 20 0 15 0 58923294 11094274048 47512 33554432000 4194304 4196468 140732895930064 140732895912608 140718200278775 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 25509888 140732895938731 140732895941980 140732895941980 140732895944655 0
/proc/12764/statm: 2708563 47512 3472 1 0 2670221 0
[pid=12764/tid=12871] ppid=12757 vsize=10834252 memory=140527109235377 CPUtime=1.42 cores=1,3,5,7
/proc/12764/task/12871/stat : 12871 (java) R 12757 12764 12709 0 -1 4202560 17695 13160 0 0 128 6 5 3 20 0 15 0 58923304 11094274048 47512 33554432000 4194304 4196468 140732895930064 140718172107808 140718181685070 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 25509888 140732895938731 140732895941980 140732895941980 140732895944655 0
[pid=12764/tid=12876] ppid=12757 vsize=10834252 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/12764/task/12876/stat : 12876 (java) S 12757 12764 12709 0 -1 1077944384 183 13160 0 0 0 0 5 3 20 0 15 0 58923305 11094274048 47512 33554432000 4194304 4196468 140732895930064 140718204521104 140718200288981 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25509888 140732895938731 140732895941980 140732895941980 140732895944655 0
[pid=12764/tid=12877] ppid=12757 vsize=10834252 memory=6944656592455360604 CPUtime=0.09 cores=1,3,5,7
/proc/12764/task/12877/stat : 12877 (java) S 12757 12764 12709 0 -1 1077944384 29 13160 0 0 1 0 5 3 20 0 15 0 58923305 11094274048 47512 33554432000 4194304 4196468 140732895930064 140718103411216 140718200288981 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25509888 140732895938731 140732895941980 140732895941980 140732895944655 0
[pid=12764/tid=12878] ppid=12757 vsize=10834252 memory=6944656592455360604 CPUtime=0.09 cores=1,3,5,7
/proc/12764/task/12878/stat : 12878 (java) S 12757 12764 12709 0 -1 1077944384 24 13160 0 0 1 0 5 3 20 0 15 0 58923305 11094274048 47512 33554432000 4194304 4196468 140732895930064 140718102358416 140718200288981 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25509888 140732895938731 140732895941980 140732895941980 140732895944655 0
[pid=12764/tid=12879] ppid=12757 vsize=10834252 memory=6944656575208382560 CPUtime=0.09 cores=1,3,5,7
/proc/12764/task/12879/stat : 12879 (java) S 12757 12764 12709 0 -1 1077944384 58 13160 0 0 1 0 5 3 20 0 15 0 58923305 11094274048 47512 33554432000 4194304 4196468 140732895930064 140718101305616 140718200288981 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25509888 140732895938731 140732895941980 140732895941980 140732895944655 0
[pid=12764/tid=12884] ppid=12757 vsize=10834252 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/12764/task/12884/stat : 12884 (java) S 12757 12764 12709 0 -1 1077944384 338 13160 0 0 1 0 5 3 20 0 15 0 58923306 11094274048 47512 33554432000 4194304 4196468 140732895930064 140717659552624 140718200289922 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25509888 140732895938731 140732895941980 140732895941980 140732895944655 0
[pid=12764/tid=12885] ppid=12757 vsize=10834252 memory=140526967988416 CPUtime=0.08 cores=1,3,5,7
/proc/12764/task/12885/stat : 12885 (java) S 12757 12764 12709 0 -1 1077944384 34 13160 0 0 0 0 5 3 20 0 15 0 58923306 11094274048 47512 33554432000 4194304 4196468 140732895930064 140717658498656 140718200288981 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25509888 140732895938731 140732895941980 140732895941980 140732895944655 0
[pid=12764/tid=12886] ppid=12757 vsize=10834252 memory=56 CPUtime=0.08 cores=1,3,5,7
/proc/12764/task/12886/stat : 12886 (java) S 12757 12764 12709 0 -1 1077944384 1 13160 0 0 0 0 5 3 20 0 15 0 58923307 11094274048 47512 33554432000 4194304 4196468 140732895930064 140717087253888 140718200288981 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25509888 140732895938731 140732895941980 140732895941980 140732895944655 0
[pid=12764/tid=12890] ppid=12757 vsize=10834252 memory=14869 CPUtime=0.08 cores=1,3,5,7
/proc/12764/task/12890/stat : 12890 (java) S 12757 12764 12709 0 -1 1077944384 2 13160 0 0 0 0 5 3 20 0 15 0 58923309 11094274048 47512 33554432000 4194304 4196468 140732895930064 140716751710544 140718200297371 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25509888 140732895938731 140732895941980 140732895941980 140732895944655 0
[pid=12764/tid=12891] ppid=12757 vsize=10834252 memory=23038 CPUtime=0.36 cores=1,3,5,7
/proc/12764/task/12891/stat : 12891 (java) S 12757 12764 12709 0 -1 1077944384 1380 13160 0 0 28 0 5 3 20 0 15 0 58923309 11094274048 47512 33554432000 4194304 4196468 140732895930064 140717167995248 140718200289922 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25509888 140732895938731 140732895941980 140732895941980 140732895944655 0
[pid=12764/tid=12892] ppid=12757 vsize=10834252 memory=0 CPUtime=0.42 cores=1,3,5,7
/proc/12764/task/12892/stat : 12892 (java) R 12757 12764 12709 0 -1 1077944384 1287 13160 0 0 34 0 5 3 20 0 15 0 58923309 11094274048 47512 33554432000 4194304 4196468 140732895930064 140717166942448 140718200289922 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 25509888 140732895938731 140732895941980 140732895941980 140732895944655 0
[pid=12764/tid=12893] ppid=12757 vsize=10834252 memory=-9174445032661854264 CPUtime=0.43 cores=1,3,5,7
/proc/12764/task/12893/stat : 12893 (java) R 12757 12764 12709 0 -1 4202560 1487 13160 0 0 34 1 5 3 20 0 15 0 58923309 11094274048 47512 33554432000 4194304 4196468 140732895930064 140717165889648 140718179993580 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 25509888 140732895938731 140732895941980 140732895941980 140732895944655 0
[pid=12764/tid=12894] ppid=12757 vsize=10834252 memory=6944656575208382560 CPUtime=0.08 cores=1,3,5,7
/proc/12764/task/12894/stat : 12894 (java) S 12757 12764 12709 0 -1 1077944384 3 13160 0 0 0 0 5 3 20 0 15 0 58923310 11094274048 47512 33554432000 4194304 4196468 140732895930064 140716483274976 140718200288981 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25509888 140732895938731 140732895941980 140732895941980 140732895944655 0
[pid=12764/tid=12895] ppid=12757 vsize=10834252 memory=6944656592387989600 CPUtime=0.08 cores=1,3,5,7
/proc/12764/task/12895/stat : 12895 (java) S 12757 12764 12709 0 -1 1077944384 1 13160 0 0 0 0 5 3 20 0 15 0 58923310 11094274048 47512 33554432000 4194304 4196468 140732895930064 140717164838064 140718200289922 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25509888 140732895938731 140732895941980 140732895941980 140732895944655 0
Current children cumulated CPU time: 2.5 s
Current children cumulated vsize: 10834252 KiB
################
# More data... #
################
[startup+3.11057 s]
/proc/loadavg: 1.72 1.95 2.02 6/219 12901
/proc/meminfo: memFree=16339064/32770624 swapFree=67108860/67108860
[pid=12764] ppid=12757 vsize=10842464 memory=308260 CPUtime=6.41 cores=1,3,5,7
/proc/12764/stat : 12764 (java) S 12757 12764 12709 0 -1 1077944320 38025 13160 0 0 616 17 5 3 20 0 15 0 58923294 11102683136 77065 33554432000 4194304 4196468 140732895930064 140732895912608 140718200278775 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 25509888 140732895938731 140732895941980 140732895941980 140732895944655 0
/proc/12764/statm: 2710616 77065 3493 1 0 2672269 0
[pid=12764/tid=12871] ppid=12757 vsize=10842464 memory=56 CPUtime=3.03 cores=1,3,5,7
/proc/12764/task/12871/stat : 12871 (java) R 12757 12764 12709 0 -1 4202560 26120 13160 0 0 285 10 5 3 20 0 15 0 58923304 11102683136 77065 33554432000 4194304 4196468 140732895930064 140718172107264 140718200290710 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 25509888 140732895938731 140732895941980 140732895941980 140732895944655 0
[pid=12764/tid=12876] ppid=12757 vsize=10842464 memory=281053935976096 CPUtime=0.08 cores=1,3,5,7
/proc/12764/task/12876/stat : 12876 (java) S 12757 12764 12709 0 -1 1077944384 183 13160 0 0 0 0 5 3 20 0 15 0 58923305 11102683136 77065 33554432000 4194304 4196468 140732895930064 140718204521104 140718200288981 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25509888 140732895938731 140732895941980 140732895941980 140732895944655 0
[pid=12764/tid=12877] ppid=12757 vsize=10842464 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/12764/task/12877/stat : 12877 (java) S 12757 12764 12709 0 -1 1077944384 29 13160 0 0 1 0 5 3 20 0 15 0 58923305 11102683136 77065 33554432000 4194304 4196468 140732895930064 140718103411216 140718200288981 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25509888 140732895938731 140732895941980 140732895941980 140732895944655 0
[pid=12764/tid=12878] ppid=12757 vsize=10842464 memory=281053935850672 CPUtime=0.09 cores=1,3,5,7
/proc/12764/task/12878/stat : 12878 (java) S 12757 12764 12709 0 -1 1077944384 24 13160 0 0 1 0 5 3 20 0 15 0 58923305 11102683136 77065 33554432000 4194304 4196468 140732895930064 140718102358416 140718200288981 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25509888 140732895938731 140732895941980 140732895941980 140732895944655 0
[pid=12764/tid=12879] ppid=12757 vsize=10842464 memory=281053936375808 CPUtime=0.09 cores=1,3,5,7
/proc/12764/task/12879/stat : 12879 (java) S 12757 12764 12709 0 -1 1077944384 58 13160 0 0 1 0 5 3 20 0 15 0 58923305 11102683136 77065 33554432000 4194304 4196468 140732895930064 140718101305616 140718200288981 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25509888 140732895938731 140732895941980 140732895941980 140732895944655 0
[pid=12764/tid=12884] ppid=12757 vsize=10842464 memory=6944656592455350634 CPUtime=0.09 cores=1,3,5,7
/proc/12764/task/12884/stat : 12884 (java) S 12757 12764 12709 0 -1 1077944384 341 13160 0 0 1 0 5 3 20 0 15 0 58923306 11102683136 77065 33554432000 4194304 4196468 140732895930064 140717659552624 140718200289922 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25509888 140732895938731 140732895941980 140732895941980 140732895944655 0
[pid=12764/tid=12885] ppid=12757 vsize=10842464 memory=6944656592455350634 CPUtime=0.08 cores=1,3,5,7
/proc/12764/task/12885/stat : 12885 (java) S 12757 12764 12709 0 -1 1077944384 34 13160 0 0 0 0 5 3 20 0 15 0 58923306 11102683136 77065 33554432000 4194304 4196468 140732895930064 140717658498656 140718200288981 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25509888 140732895938731 140732895941980 140732895941980 140732895944655 0
[pid=12764/tid=12886] ppid=12757 vsize=10842464 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/12764/task/12886/stat : 12886 (java) S 12757 12764 12709 0 -1 1077944384 1 13160 0 0 0 0 5 3 20 0 15 0 58923307 11102683136 77065 33554432000 4194304 4196468 140732895930064 140717087253888 140718200288981 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25509888 140732895938731 140732895941980 140732895941980 140732895944655 0
[pid=12764/tid=12890] ppid=12757 vsize=10842464 memory=288230600345925924 CPUtime=0.08 cores=1,3,5,7
/proc/12764/task/12890/stat : 12890 (java) S 12757 12764 12709 0 -1 1077944384 2 13160 0 0 0 0 5 3 20 0 15 0 58923309 11102683136 77065 33554432000 4194304 4196468 140732895930064 140716751710544 140718200297371 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25509888 140732895938731 140732895941980 140732895941980 140732895944655 0
[pid=12764/tid=12891] ppid=12757 vsize=10842464 memory=14134441857541193 CPUtime=1.03 cores=1,3,5,7
/proc/12764/task/12891/stat : 12891 (java) R 12757 12764 12709 0 -1 4202560 2012 13160 0 0 94 1 5 3 20 0 15 0 58923309 11102683136 77065 33554432000 4194304 4196468 140732895930064 140717167976056 140718183775563 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 25509888 140732895938731 140732895941980 140732895941980 140732895944655 0
[pid=12764/tid=12892] ppid=12757 vsize=10842464 memory=0 CPUtime=1.43 cores=1,3,5,7
/proc/12764/task/12892/stat : 12892 (java) R 12757 12764 12709 0 -1 4202560 3976 13160 0 0 134 1 5 3 20 0 15 0 58923309 11102683136 77065 33554432000 4194304 4196468 140732895930064 140717166934224 140718183778981 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 25509888 140732895938731 140732895941980 140732895941980 140732895944655 0
[pid=12764/tid=12893] ppid=12757 vsize=10842464 memory=0 CPUtime=1.05 cores=1,3,5,7
/proc/12764/task/12893/stat : 12893 (java) S 12757 12764 12709 0 -1 1077944384 3049 13160 0 0 95 2 5 3 20 0 15 0 58923309 11102683136 77065 33554432000 4194304 4196468 140732895930064 140717165889648 140718200289922 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25509888 140732895938731 140732895941980 140732895941980 140732895944655 0
[pid=12764/tid=12894] ppid=12757 vsize=10842464 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/12764/task/12894/stat : 12894 (java) S 12757 12764 12709 0 -1 1077944384 3 13160 0 0 0 0 5 3 20 0 15 0 58923310 11102683136 77065 33554432000 4194304 4196468 140732895930064 140716483274976 140718200288981 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25509888 140732895938731 140732895941980 140732895941980 140732895944655 0
[pid=12764/tid=12895] ppid=12757 vsize=10842464 memory=11 CPUtime=0.08 cores=1,3,5,7
/proc/12764/task/12895/stat : 12895 (java) S 12757 12764 12709 0 -1 1077944384 3 13160 0 0 0 0 5 3 20 0 15 0 58923310 11102683136 77065 33554432000 4194304 4196468 140732895930064 140717164838064 140718200289922 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25509888 140732895938731 140732895941980 140732895941980 140732895944655 0
Current children cumulated CPU time: 6.41 s
Current children cumulated vsize: 10842464 KiB
Current children cumulated memory: 308260 KiB
[startup+4.42752 s]
# the end of solver process 12764 was just reported to runsolver
# cumulated CPU time of all completed processes: user=10.0635 s, system=0.25635 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3.2009 s]
/proc/loadavg: 1.72 1.95 2.02 6/219 12901
/proc/meminfo: memFree=16339064/32770624 swapFree=67108860/67108860
[pid=12764] ppid=12757 vsize=10842464 memory=321024 CPUtime=6.67 cores=1,3,5,7
/proc/12764/stat : 12764 (java) S 12757 12764 12709 0 -1 1077944320 40018 13160 0 0 642 17 5 3 20 0 15 0 58923294 11102683136 80256 33554432000 4194304 4196468 140732895930064 140732895912608 140718200278775 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 25509888 140732895938731 140732895941980 140732895941980 140732895944655 0
/proc/12764/statm: 2710616 80256 3493 1 0 2672269 0
[pid=12764/tid=12871] ppid=12757 vsize=10842464 memory=16 CPUtime=3.1 cores=1,3,5,7
/proc/12764/task/12871/stat : 12871 (java) R 12757 12764 12709 0 -1 4202560 26665 13160 0 0 292 10 5 3 20 0 15 0 58923304 11102683136 80256 33554432000 4194304 4196468 140732895930064 140718172106168 140717784766391 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 25509888 140732895938731 140732895941980 140732895941980 140732895944655 0
[pid=12764/tid=12876] ppid=12757 vsize=10842464 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/12764/task/12876/stat : 12876 (java) S 12757 12764 12709 0 -1 1077944384 190 13160 0 0 1 0 5 3 20 0 15 0 58923305 11102683136 80256 33554432000 4194304 4196468 140732895930064 140718204521104 140718200288981 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25509888 140732895938731 140732895941980 140732895941980 140732895944655 0
[pid=12764/tid=12877] ppid=12757 vsize=10842464 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/12764/task/12877/stat : 12877 (java) S 12757 12764 12709 0 -1 1077944384 29 13160 0 0 1 0 5 3 20 0 15 0 58923305 11102683136 80256 33554432000 4194304 4196468 140732895930064 140718103411216 140718200288981 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25509888 140732895938731 140732895941980 140732895941980 140732895944655 0
[pid=12764/tid=12878] ppid=12757 vsize=10842464 memory=56 CPUtime=0.1 cores=1,3,5,7
/proc/12764/task/12878/stat : 12878 (java) S 12757 12764 12709 0 -1 1077944384 64 13160 0 0 2 0 5 3 20 0 15 0 58923305 11102683136 80256 33554432000 4194304 4196468 140732895930064 140718102358416 140718200288981 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25509888 140732895938731 140732895941980 140732895941980 140732895944655 0
[pid=12764/tid=12879] ppid=12757 vsize=10842464 memory=14869 CPUtime=0.09 cores=1,3,5,7
/proc/12764/task/12879/stat : 12879 (java) S 12757 12764 12709 0 -1 1077944384 58 13160 0 0 1 0 5 3 20 0 15 0 58923305 11102683136 80256 33554432000 4194304 4196468 140732895930064 140718101305616 140718200288981 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25509888 140732895938731 140732895941980 140732895941980 140732895944655 0
[pid=12764/tid=12884] ppid=12757 vsize=10842464 memory=23038 CPUtime=0.09 cores=1,3,5,7
/proc/12764/task/12884/stat : 12884 (java) S 12757 12764 12709 0 -1 1077944384 365 13160 0 0 1 0 5 3 20 0 15 0 58923306 11102683136 80256 33554432000 4194304 4196468 140732895930064 140717659552624 140718200289922 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25509888 140732895938731 140732895941980 140732895941980 140732895944655 0
[pid=12764/tid=12885] ppid=12757 vsize=10842464 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/12764/task/12885/stat : 12885 (java) S 12757 12764 12709 0 -1 1077944384 39 13160 0 0 0 0 5 3 20 0 15 0 58923306 11102683136 80256 33554432000 4194304 4196468 140732895930064 140717658498656 140718200288981 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25509888 140732895938731 140732895941980 140732895941980 140732895944655 0
[pid=12764/tid=12886] ppid=12757 vsize=10842464 memory=-9174445032661854264 CPUtime=0.08 cores=1,3,5,7
/proc/12764/task/12886/stat : 12886 (java) S 12757 12764 12709 0 -1 1077944384 2 13160 0 0 0 0 5 3 20 0 15 0 58923307 11102683136 80256 33554432000 4194304 4196468 140732895930064 140717087253888 140718200288981 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25509888 140732895938731 140732895941980 140732895941980 140732895944655 0
[pid=12764/tid=12890] ppid=12757 vsize=10842464 memory=6944656575208382560 CPUtime=0.08 cores=1,3,5,7
/proc/12764/task/12890/stat : 12890 (java) S 12757 12764 12709 0 -1 1077944384 2 13160 0 0 0 0 5 3 20 0 15 0 58923309 11102683136 80256 33554432000 4194304 4196468 140732895930064 140716751710544 140718200297371 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25509888 140732895938731 140732895941980 140732895941980 140732895944655 0
[pid=12764/tid=12891] ppid=12757 vsize=10842464 memory=94792 CPUtime=1.11 cores=1,3,5,7
/proc/12764/task/12891/stat : 12891 (java) R 12757 12764 12709 0 -1 4202560 2626 13160 0 0 102 1 5 3 20 0 15 0 58923309 11102683136 80256 33554432000 4194304 4196468 140732895930064 140717167974424 140718183775504 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 25509888 140732895938731 140732895941980 140732895941980 140732895944655 0
[pid=12764/tid=12892] ppid=12757 vsize=10842464 memory=281053935913840 CPUtime=1.5 cores=1,3,5,7
/proc/12764/task/12892/stat : 12892 (java) R 12757 12764 12709 0 -1 4202560 4722 13160 0 0 141 1 5 3 20 0 15 0 58923309 11102683136 80256 33554432000 4194304 4196468 140732895930064 140717166921376 140718180979390 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 25509888 140732895938731 140732895941980 140732895941980 140732895944655 0
[pid=12764/tid=12893] ppid=12757 vsize=10842464 memory=6944656592455097440 CPUtime=1.05 cores=1,3,5,7
/proc/12764/task/12893/stat : 12893 (java) R 12757 12764 12709 0 -1 4202560 3065 13160 0 0 95 2 5 3 20 0 15 0 58923309 11102683136 80256 33554432000 4194304 4196468 140732895930064 140717165889648 140718184358503 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 25509888 140732895938731 140732895941980 140732895941980 140732895944655 0
[pid=12764/tid=12894] ppid=12757 vsize=10842464 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/12764/task/12894/stat : 12894 (java) S 12757 12764 12709 0 -1 1077944384 3 13160 0 0 0 0 5 3 20 0 15 0 58923310 11102683136 80256 33554432000 4194304 4196468 140732895930064 140716483274976 140718200288981 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25509888 140732895938731 140732895941980 140732895941980 140732895944655 0
[pid=12764/tid=12895] ppid=12757 vsize=10842464 memory=3611941010024903473 CPUtime=0.08 cores=1,3,5,7
/proc/12764/task/12895/stat : 12895 (java) S 12757 12764 12709 0 -1 1077944384 10 13160 0 0 0 0 5 3 20 0 15 0 58923310 11102683136 80256 33554432000 4194304 4196468 140732895930064 140717164838064 140718200289922 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25509888 140732895938731 140732895941980 140732895941980 140732895944655 0
Current children cumulated CPU time: 6.67 s
Current children cumulated vsize: 10842464 KiB
Current children cumulated memory: 321024 KiB
[startup+4.00088 s]*
/proc/loadavg: 1.72 1.95 2.02 6/219 12901
/proc/meminfo: memFree=16110860/32770624 swapFree=67108860/67108860
[pid=12764] ppid=12757 vsize=10848608 memory=335788 CPUtime=9.3 cores=1,3,5,7
/proc/12764/stat : 12764 (java) S 12757 12764 12709 0 -1 1077944320 52779 13160 0 0 903 19 5 3 20 0 15 0 58923294 11108974592 83947 33554432000 4194304 4196468 140732895930064 140732895912608 140718200278775 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 25509888 140732895938731 140732895941980 140732895941980 140732895944655 0
/proc/12764/statm: 2712152 83947 3507 1 0 2673805 0
[pid=12764/tid=12871] ppid=12757 vsize=10848608 memory=6791534058613427641 CPUtime=3.86 cores=1,3,5,7
/proc/12764/task/12871/stat : 12871 (java) S 12757 12764 12709 0 -1 1077944384 32319 13160 0 0 368 10 5 3 20 0 15 0 58923304 11108974592 83947 33554432000 4194304 4196468 140732895930064 140718172103792 140718200288981 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25509888 140732895938731 140732895941980 140732895941980 140732895944655 0
[pid=12764/tid=12876] ppid=12757 vsize=10848608 memory=-7003737579269690708 CPUtime=0.11 cores=1,3,5,7
/proc/12764/task/12876/stat : 12876 (java) S 12757 12764 12709 0 -1 1077944384 296 13160 0 0 3 0 5 3 20 0 15 0 58923305 11108974592 83947 33554432000 4194304 4196468 140732895930064 140718204521104 140718200288981 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25509888 140732895938731 140732895941980 140732895941980 140732895944655 0
[pid=12764/tid=12877] ppid=12757 vsize=10848608 memory=1296 CPUtime=0.11 cores=1,3,5,7
/proc/12764/task/12877/stat : 12877 (java) S 12757 12764 12709 0 -1 1077944384 59 13160 0 0 3 0 5 3 20 0 15 0 58923305 11108974592 83947 33554432000 4194304 4196468 140732895930064 140718103411216 140718200288981 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25509888 140732895938731 140732895941980 140732895941980 140732895944655 0
[pid=12764/tid=12878] ppid=12757 vsize=10848608 memory=2448 CPUtime=0.12 cores=1,3,5,7
/proc/12764/task/12878/stat : 12878 (java) S 12757 12764 12709 0 -1 1077944384 111 13160 0 0 4 0 5 3 20 0 15 0 58923305 11108974592 83947 33554432000 4194304 4196468 140732895930064 140718102358416 140718200288981 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25509888 140732895938731 140732895941980 140732895941980 140732895944655 0
[pid=12764/tid=12879] ppid=12757 vsize=10848608 memory=1728 CPUtime=0.09 cores=1,3,5,7
/proc/12764/task/12879/stat : 12879 (java) S 12757 12764 12709 0 -1 1077944384 77 13160 0 0 1 0 5 3 20 0 15 0 58923305 11108974592 83947 33554432000 4194304 4196468 140732895930064 140718101305616 140718200288981 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25509888 140732895938731 140732895941980 140732895941980 140732895944655 0
[pid=12764/tid=12884] ppid=12757 vsize=10848608 memory=0 CPUtime=0.11 cores=1,3,5,7
/proc/12764/task/12884/stat : 12884 (java) S 12757 12764 12709 0 -1 1077944384 2340 13160 0 0 3 0 5 3 20 0 15 0 58923306 11108974592 83947 33554432000 4194304 4196468 140732895930064 140717659552624 140718200289922 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25509888 140732895938731 140732895941980 140732895941980 140732895944655 0
[pid=12764/tid=12885] ppid=12757 vsize=10848608 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/12764/task/12885/stat : 12885 (java) S 12757 12764 12709 0 -1 1077944384 39 13160 0 0 0 0 5 3 20 0 15 0 58923306 11108974592 83947 33554432000 4194304 4196468 140732895930064 140717658498656 140718200288981 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25509888 140732895938731 140732895941980 140732895941980 140732895944655 0
[pid=12764/tid=12886] ppid=12757 vsize=10848608 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/12764/task/12886/stat : 12886 (java) S 12757 12764 12709 0 -1 1077944384 2 13160 0 0 0 0 5 3 20 0 15 0 58923307 11108974592 83947 33554432000 4194304 4196468 140732895930064 140717087253888 140718200288981 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25509888 140732895938731 140732895941980 140732895941980 140732895944655 0
[pid=12764/tid=12890] ppid=12757 vsize=10848608 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/12764/task/12890/stat : 12890 (java) S 12757 12764 12709 0 -1 1077944384 2 13160 0 0 0 0 5 3 20 0 15 0 58923309 11108974592 83947 33554432000 4194304 4196468 140732895930064 140716751710544 140718200297371 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25509888 140732895938731 140732895941980 140732895941980 140732895944655 0
[pid=12764/tid=12891] ppid=12757 vsize=10848608 memory=140526968216784 CPUtime=1.89 cores=1,3,5,7
/proc/12764/task/12891/stat : 12891 (java) R 12757 12764 12709 0 -1 4202560 3685 13160 0 0 180 1 5 3 20 0 15 0 58923309 11108974592 83947 33554432000 4194304 4196468 140732895930064 140717167981312 140718181822993 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 25509888 140732895938731 140732895941980 140732895941980 140732895944655 0
[pid=12764/tid=12892] ppid=12757 vsize=10848608 memory=3467824627879784479 CPUtime=2.26 cores=1,3,5,7
/proc/12764/task/12892/stat : 12892 (java) R 12757 12764 12709 0 -1 4202560 5651 13160 0 0 217 1 5 3 20 0 15 0 58923309 11108974592 83947 33554432000 4194304 4196468 140732895930064 140717166931216 140718179751875 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 25509888 140732895938731 140732895941980 140732895941980 140732895944655 0
[pid=12764/tid=12893] ppid=12757 vsize=10848608 memory=8666453274251127584 CPUtime=1.29 cores=1,3,5,7
/proc/12764/task/12893/stat : 12893 (java) R 12757 12764 12709 0 -1 1077944384 6022 13160 0 0 118 3 5 3 20 0 15 0 58923309 11108974592 83947 33554432000 4194304 4196468 140732895930064 140717165889648 140718200289922 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 25509888 140732895938731 140732895941980 140732895941980 140732895944655 0
[pid=12764/tid=12894] ppid=12757 vsize=10848608 memory=-8675733323038954102 CPUtime=0.08 cores=1,3,5,7
/proc/12764/task/12894/stat : 12894 (java) S 12757 12764 12709 0 -1 1077944384 3 13160 0 0 0 0 5 3 20 0 15 0 58923310 11108974592 83947 33554432000 4194304 4196468 140732895930064 140716483274976 140718200288981 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25509888 140732895938731 140732895941980 140732895941980 140732895944655 0
[pid=12764/tid=12895] ppid=12757 vsize=10848608 memory=-8990767739041652640 CPUtime=0.08 cores=1,3,5,7
/proc/12764/task/12895/stat : 12895 (java) S 12757 12764 12709 0 -1 1077944384 10 13160 0 0 0 0 5 3 20 0 15 0 58923310 11108974592 83947 33554432000 4194304 4196468 140732895930064 140717164838064 140718200289922 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25509888 140732895938731 140732895941980 140732895941980 140732895944655 0
Current children cumulated CPU time: 9.3 s
Current children cumulated vsize: 10848608 KiB
Current children cumulated memory: 335788 KiB
[startup+4.40307 s]
/proc/loadavg: 1.72 1.95 2.02 6/219 12901
/proc/meminfo: memFree=16110860/32770624 swapFree=67108860/67108860
[pid=12764] ppid=12757 vsize=10850656 memory=352140 CPUtime=10.26 cores=1,3,5,7
/proc/12764/stat : 12764 (java) S 12757 12764 12709 0 -1 1077944320 62248 13160 0 0 997 21 5 3 20 0 15 0 58923294 11111071744 88035 33554432000 4194304 4196468 140732895930064 140732895912608 140718200278775 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 25509888 140732895938731 140732895941980 140732895941980 140732895944655 0
/proc/12764/statm: 2712664 88035 3508 1 0 2674317 0
[pid=12764/tid=12871] ppid=12757 vsize=10850656 memory=2241 CPUtime=4.25 cores=1,3,5,7
/proc/12764/task/12871/stat : 12871 (java) R 12757 12764 12709 0 -1 4202560 41345 13160 0 0 406 11 5 3 20 0 15 0 58923304 11111071744 88035 33554432000 4194304 4196468 140732895930064 140718172111696 140717788284087 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 25509888 140732895938731 140732895941980 140732895941980 140732895944655 0
[pid=12764/tid=12876] ppid=12757 vsize=10850656 memory=2244 CPUtime=0.11 cores=1,3,5,7
/proc/12764/task/12876/stat : 12876 (java) S 12757 12764 12709 0 -1 1077944384 296 13160 0 0 3 0 5 3 20 0 15 0 58923305 11111071744 88035 33554432000 4194304 4196468 140732895930064 140718204521104 140718200288981 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25509888 140732895938731 140732895941980 140732895941980 140732895944655 0
[pid=12764/tid=12877] ppid=12757 vsize=10850656 memory=140526967976416 CPUtime=0.11 cores=1,3,5,7
/proc/12764/task/12877/stat : 12877 (java) S 12757 12764 12709 0 -1 1077944384 59 13160 0 0 3 0 5 3 20 0 15 0 58923305 11111071744 88035 33554432000 4194304 4196468 140732895930064 140718103411216 140718200288981 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25509888 140732895938731 140732895941980 140732895941980 140732895944655 0
[pid=12764/tid=12878] ppid=12757 vsize=10850656 memory=140526967976512 CPUtime=0.12 cores=1,3,5,7
/proc/12764/task/12878/stat : 12878 (java) S 12757 12764 12709 0 -1 1077944384 111 13160 0 0 4 0 5 3 20 0 15 0 58923305 11111071744 88035 33554432000 4194304 4196468 140732895930064 140718102358416 140718200288981 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25509888 140732895938731 140732895941980 140732895941980 140732895944655 0
[pid=12764/tid=12879] ppid=12757 vsize=10850656 memory=140526967976608 CPUtime=0.09 cores=1,3,5,7
/proc/12764/task/12879/stat : 12879 (java) S 12757 12764 12709 0 -1 1077944384 77 13160 0 0 1 0 5 3 20 0 15 0 58923305 11111071744 88035 33554432000 4194304 4196468 140732895930064 140718101305616 140718200288981 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25509888 140732895938731 140732895941980 140732895941980 140732895944655 0
[pid=12764/tid=12884] ppid=12757 vsize=10850656 memory=140526967976704 CPUtime=0.11 cores=1,3,5,7
/proc/12764/task/12884/stat : 12884 (java) S 12757 12764 12709 0 -1 1077944384 2340 13160 0 0 3 0 5 3 20 0 15 0 58923306 11111071744 88035 33554432000 4194304 4196468 140732895930064 140717659552624 140718200289922 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25509888 140732895938731 140732895941980 140732895941980 140732895944655 0
[pid=12764/tid=12885] ppid=12757 vsize=10850656 memory=140526967976800 CPUtime=0.08 cores=1,3,5,7
/proc/12764/task/12885/stat : 12885 (java) S 12757 12764 12709 0 -1 1077944384 39 13160 0 0 0 0 5 3 20 0 15 0 58923306 11111071744 88035 33554432000 4194304 4196468 140732895930064 140717658498656 140718200288981 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25509888 140732895938731 140732895941980 140732895941980 140732895944655 0
[pid=12764/tid=12886] ppid=12757 vsize=10850656 memory=3760937837447830381 CPUtime=0.08 cores=1,3,5,7
/proc/12764/task/12886/stat : 12886 (java) S 12757 12764 12709 0 -1 1077944384 2 13160 0 0 0 0 5 3 20 0 15 0 58923307 11111071744 88035 33554432000 4194304 4196468 140732895930064 140717087253888 140718200288981 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25509888 140732895938731 140732895941980 140732895941980 140732895944655 0
[pid=12764/tid=12890] ppid=12757 vsize=10850656 memory=6944652177228980320 CPUtime=0.08 cores=1,3,5,7
/proc/12764/task/12890/stat : 12890 (java) S 12757 12764 12709 0 -1 1077944384 2 13160 0 0 0 0 5 3 20 0 15 0 58923309 11111071744 88035 33554432000 4194304 4196468 140732895930064 140716751710544 140718200297371 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25509888 140732895938731 140732895941980 140732895941980 140732895944655 0
[pid=12764/tid=12891] ppid=12757 vsize=10850656 memory=6944656592455097440 CPUtime=2.09 cores=1,3,5,7
/proc/12764/task/12891/stat : 12891 (java) R 12757 12764 12709 0 -1 4202560 3767 13160 0 0 200 1 5 3 20 0 15 0 58923309 11111071744 88035 33554432000 4194304 4196468 140732895930064 140717167995248 140718179633640 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 25509888 140732895938731 140732895941980 140732895941980 140732895944655 0
[pid=12764/tid=12892] ppid=12757 vsize=10850656 memory=6944656575208382560 CPUtime=2.49 cores=1,3,5,7
/proc/12764/task/12892/stat : 12892 (java) R 12757 12764 12709 0 -1 4202560 5730 13160 0 0 240 1 5 3 20 0 15 0 58923309 11111071744 88035 33554432000 4194304 4196468 140732895930064 140717166927520 140718200300122 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 25509888 140732895938731 140732895941980 140732895941980 140732895944655 0
[pid=12764/tid=12893] ppid=12757 vsize=10850656 memory=-2895008908443675764 CPUtime=1.42 cores=1,3,5,7
/proc/12764/task/12893/stat : 12893 (java) S 12757 12764 12709 0 -1 1077944384 6276 13160 0 0 131 3 5 3 20 0 15 0 58923309 11111071744 88035 33554432000 4194304 4196468 140732895930064 140717165889648 140718200289922 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25509888 140732895938731 140732895941980 140732895941980 140732895944655 0
[pid=12764/tid=12894] ppid=12757 vsize=10850656 memory=-7176960581169618334 CPUtime=0.08 cores=1,3,5,7
/proc/12764/task/12894/stat : 12894 (java) S 12757 12764 12709 0 -1 1077944384 3 13160 0 0 0 0 5 3 20 0 15 0 58923310 11111071744 88035 33554432000 4194304 4196468 140732895930064 140716483274976 140718200288981 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25509888 140732895938731 140732895941980 140732895941980 140732895944655 0
[pid=12764/tid=12895] ppid=12757 vsize=10850656 memory=7234576917979478634 CPUtime=0.08 cores=1,3,5,7
/proc/12764/task/12895/stat : 12895 (java) S 12757 12764 12709 0 -1 1077944384 11 13160 0 0 0 0 5 3 20 0 15 0 58923310 11111071744 88035 33554432000 4194304 4196468 140732895930064 140717164838064 140718200289922 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25509888 140732895938731 140732895941980 140732895941980 140732895944655 0
Current children cumulated CPU time: 10.26 s
Current children cumulated vsize: 10850656 KiB
Current children cumulated memory: 352140 KiB
Child status: 0
Real time (s): 4.42758
CPU time (s): 10.3199
CPU user time (s): 10.0635
CPU system time (s): 0.25635
CPU usage (%): 233.082
Max. virtual memory (cumulated for all children) (KiB): 10850656
Max. memory (cumulated for all children) (KiB): 352140
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 10.0635
system time used= 0.25635
maximum resident set size= 354460
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 75494
page faults= 0
swaps= 0
block input operations= 0
block output operations= 144
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 5993
involuntary context switches= 69
# summary of solver processes directly reported to runsolver:
# pid: 12764
# total CPU time (s): 10.3199
# total CPU user time (s): 10.0635
# total CPU system time (s): 0.25635
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.047898 second user time and 0.087813 second system time
The end