2.41/1.87
2.41/1.87 AbsCon 2
2.41/1.88
4.36/2.70 Instance
4.36/2.70 name=instance-4390742-1568386449, framework=CSP
4.36/2.70
4.36/2.70 Loading variables...
4.76/2.82 Loading constraints...
5.41/3.13
5.41/3.13 Domains
5.41/3.13 nTypes=1, nValues=5070, sizes=[26#195]
5.41/3.13 Variables
5.41/3.13 count=195, degrees=[2#195]
5.41/3.13 Constraints
5.41/3.13 count=72, nSpecific=72, arities=[3#8,4#20,5#14,6#4,7#19,8#4,9#3]
5.41/3.13 distribution=[CtrExtensionCT-Table#72]
5.41/3.13 tables=[1687#8,6518#20,18485#14,37674#4,60012#19,82049#4,97887#3], nTotalTuples=2315427
5.41/3.13 nExtStructures=(7,shared:65)
5.41/3.13 wck=1.293, cpu=3.008, mem=174M643
5.41/3.16 Solver SolverBacktrack being built...
5.41/3.16
5.41/3.19
5.41/3.19 Solver
5.41/3.19 guaranteedGAC=true
5.41/3.19 wck=1.348, cpu=3.062, mem=196M745
5.64/3.20
5.64/3.20 Preprocessing
5.64/3.20 filters=0, nACremovedValues=0, nTotalRemovedValues=0, inconcistency=false
5.64/3.20 wck=0.01, cpu=3.073, mem=196M745
5.64/3.20
5.64/3.23 num=0, depth=15..59, filters=565, wck=0.043, mem=196M745
5.64/3.23 decisions=79, wrong=12, backtracks=2, failedAssignments=10, nogoods=10
5.64/3.23 nFilterCalls=1021, avgTableProportion=0.9998925950669105, avgTableSize=35612.494613124385
5.64/3.23
5.64/3.25 num=1, depth=17..37, filters=915, wck=0.061, mem=196M745
5.64/3.25 decisions=138, wrong=24, backtracks=3, failedAssignments=21, nogoods=20
5.64/3.25 nFilterCalls=1625, avgTableProportion=0.9998937028393093, avgTableSize=36546.288
5.64/3.25
5.64/3.28 num=2, depth=36..40, filters=1350, wck=0.09, mem=196M745
5.64/3.28 decisions=206, wrong=40, backtracks=7, failedAssignments=33, nogoods=21
5.64/3.28 nFilterCalls=2379, avgTableProportion=0.9998980089865261, avgTableSize=37131.08070617907
5.64/3.28
5.64/3.30 num=3, depth=36..62, filters=2025, wck=0.108, mem=196M745
5.64/3.30 decisions=295, wrong=55, backtracks=9, failedAssignments=46, nogoods=34
5.64/3.30 nFilterCalls=3481, avgTableProportion=0.9998916325548021, avgTableSize=35642.61476587188
5.64/3.30
5.95/3.32 num=4, depth=17..71, filters=3029, wck=0.132, mem=196M745
5.95/3.32 decisions=408, wrong=77, backtracks=17, failedAssignments=60, nogoods=41
5.95/3.32 nFilterCalls=5070, avgTableProportion=0.9998955190746988, avgTableSize=37737.781854043395
5.95/3.32
5.95/3.34 num=5, depth=15..55, filters=3642, wck=0.148, mem=196M745
5.95/3.34 decisions=501, wrong=98, backtracks=22, failedAssignments=76, nogoods=48
5.95/3.34 nFilterCalls=6118, avgTableProportion=0.9998951643596582, avgTableSize=37853.31023210199
5.95/3.34
5.95/3.36 num=6, depth=17..69, filters=4448, wck=0.169, mem=196M745
5.95/3.36 decisions=614, wrong=123, backtracks=31, failedAssignments=93, nogoods=58
5.95/3.36 nFilterCalls=7426, avgTableProportion=0.9998965998526701, avgTableSize=38289.973067600324
5.95/3.36
5.95/3.38 num=7, depth=20..194, filters=5046, ccks=72, wck=0.191, mem=196M745
5.95/3.38 decisions=710, wrong=132, backtracks=32, failedAssignments=101, nogoods=58, foundSolutions=1
5.95/3.38 nFilterCalls=8499, avgTableProportion=0.9998948649644226, avgTableSize=37769.80550653018
5.95/3.38
5.95/3.38 Global
5.95/3.38 filters=5046, ccks=72, nogoods=58
5.95/3.38 Stop=REACHED_GOAL, wrong=132, foundSolutions=1, firstSolCpu=3.246
5.95/3.38 wck=1.54, cpu=3.253, mem=196M745
5.95/3.38
5.95/3.38 v <instantiation id='sol1' type='solution'> <list> x[][] </list> <values> 4 11 0 1 1 0 3 * 0 1 1 0 1 14 20 18 0 11 0 17 8 0 * 17 0 24 13 0 13 18 18 4 0 11 0 13 3 * 0 11 8 3 0 3 4 4 17 19 11 * 17 0 0 1 18 * 8 3 4 4 * * * 8 3 7 * 24 4 0 11 12 * * * 0 8 13 3 4 1 0 1 * 2 0 1 0 1 0 0 3 14 20 1 4 17 0 8 * 1 0 11 0 13 10 4 18 * 0 11 0 18 6 0 17 * 8 1 14 0 0 11 18 19 * 18 0 7 11 0 0 1 0 3 10 11 4 1 4 17 * 13 4 20 21 0 8 13 4 * * * 8 18 18 4 11 * 12 0 11 * * * 2 0 0 17 * 7 4 24 13 4 * 5 0 11 1 0 17 17 7 4 4 18 * 0 11 11 0 11 8 0 2 0 1 0 13 13 4 * 8 11 4 13 14 13 0 0 1 8 19 0 8 13 * 5 4 8 6 13 4 18 </values> </instantiation>
5.95/3.38 s SATISFIABLE
5.95/3.38
5.95/3.38 d WRONG_DECISIONS 132
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 (11463 MiB free)
memory of node 1: 16384 MiB (14339 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4390742-1568386449/watcher-4390742-1568386449 -o /tmp/evaluation-result-4390742-1568386449/solver-4390742-1568386449 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node147-1568380472-32116 --watchdog 2580 java -cp AbsCon19-06.jar AbsCon HOME/instance-4390742-1568386449.xml -cm
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
Current StackSize limit: 8192 KiB
solver pid=2795, runsolver pid=2792
[startup+0.10212 s]*
/proc/loadavg: 2.00 1.55 1.52 4/228 2810
/proc/meminfo: memFree=26405552/32770624 swapFree=66957012/67108860
[pid=2795] ppid=2792 vsize=10659884 memory=29460 CPUtime=0.14 cores=1,3,5,7
/proc/2795/stat : 2795 (java) S 2792 2795 32084 0 -1 1077944320 5893 0 0 0 13 1 0 0 20 0 15 0 414558770 10915721216 7365 33554432000 4194304 4196468 140725821013136 140725820995680 139650461712119 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 32657408 140725821015051 140725821015154 140725821015154 140725821018063 0
/proc/2795/statm: 2664971 7365 2904 1 0 2627468 0
[pid=2795/tid=2797] ppid=2792 vsize=10659884 memory=-8171376296011865461 CPUtime=0.1 cores=1,3,5,7
/proc/2795/task/2797/stat : 2797 (java) R 2792 2795 32084 0 -1 4202560 3287 0 0 0 9 1 0 0 20 0 15 0 414558770 10915721216 7365 33554432000 4194304 4196468 140725821013136 139650465942624 139650453949246 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 32657408 140725821015051 140725821015154 140725821015154 140725821018063 0
[pid=2795/tid=2798] ppid=2792 vsize=10659884 memory=7948963741541478447 CPUtime=0 cores=1,3,5,7
/proc/2795/task/2798/stat : 2798 (java) S 2792 2795 32084 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414558771 10915721216 7365 33554432000 4194304 4196468 140725821013136 139650398403344 139650461722325 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32657408 140725821015051 140725821015154 140725821015154 140725821018063 0
[pid=2795/tid=2799] ppid=2792 vsize=10659884 memory=139783863596672 CPUtime=0 cores=1,3,5,7
/proc/2795/task/2799/stat : 2799 (java) S 2792 2795 32084 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414558771 10915721216 7365 33554432000 4194304 4196468 140725821013136 139650397350800 139650461722325 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32657408 140725821015051 140725821015154 140725821015154 140725821018063 0
[pid=2795/tid=2800] ppid=2792 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/2795/task/2800/stat : 2800 (java) S 2792 2795 32084 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414558771 10915721216 7365 33554432000 4194304 4196468 140725821013136 139650396298256 139650461722325 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32657408 140725821015051 140725821015154 140725821015154 140725821018063 0
[pid=2795/tid=2801] ppid=2792 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/2795/task/2801/stat : 2801 (java) S 2792 2795 32084 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414558771 10915721216 7365 33554432000 4194304 4196468 140725821013136 139650395245712 139650461722325 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32657408 140725821015051 140725821015154 140725821015154 140725821018063 0
[pid=2795/tid=2802] ppid=2792 vsize=10659884 memory=139783863596672 CPUtime=0 cores=1,3,5,7
/proc/2795/task/2802/stat : 2802 (java) S 2792 2795 32084 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414558772 10915721216 7365 33554432000 4194304 4196468 140725821013136 139649953691632 139650461723266 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32657408 140725821015051 140725821015154 140725821015154 140725821018063 0
[pid=2795/tid=2803] ppid=2792 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/2795/task/2803/stat : 2803 (java) S 2792 2795 32084 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414558773 10915721216 7365 33554432000 4194304 4196468 140725821013136 139649952637856 139650461722325 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32657408 140725821015051 140725821015154 140725821015154 140725821018063 0
[pid=2795/tid=2804] ppid=2792 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/2795/task/2804/stat : 2804 (java) S 2792 2795 32084 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414558773 10915721216 7365 33554432000 4194304 4196468 140725821013136 139649951585264 139650461722325 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32657408 140725821015051 140725821015154 140725821015154 140725821018063 0
[pid=2795/tid=2805] ppid=2792 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/2795/task/2805/stat : 2805 (java) S 2792 2795 32084 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414558776 10915721216 7365 33554432000 4194304 4196468 140725821013136 139649950533840 139650461730715 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32657408 140725821015051 140725821015154 140725821015154 140725821018063 0
[pid=2795/tid=2806] ppid=2792 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/2795/task/2806/stat : 2806 (java) R 2792 2795 32084 0 -1 1077944384 371 0 0 0 0 0 0 0 20 0 15 0 414558776 10915721216 7365 33554432000 4194304 4196468 140725821013136 139649949481456 139650461723266 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 32657408 140725821015051 140725821015154 140725821015154 140725821018063 0
[pid=2795/tid=2807] ppid=2792 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/2795/task/2807/stat : 2807 (java) R 2792 2795 32084 0 -1 4202560 323 0 0 0 0 0 0 0 20 0 15 0 414558776 10915721216 7365 33554432000 4194304 4196468 140725821013136 139649948428912 139650445161168 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 32657408 140725821015051 140725821015154 140725821015154 140725821018063 0
[pid=2795/tid=2808] ppid=2792 vsize=10659884 memory=139783863596672 CPUtime=0.02 cores=1,3,5,7
/proc/2795/task/2808/stat : 2808 (java) R 2792 2795 32084 0 -1 4202560 581 0 0 0 2 0 0 0 20 0 15 0 414558776 10915721216 7365 33554432000 4194304 4196468 140725821013136 139649947373048 139650441948241 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 32657408 140725821015051 140725821015154 140725821015154 140725821018063 0
[pid=2795/tid=2809] ppid=2792 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/2795/task/2809/stat : 2809 (java) S 2792 2795 32084 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414558776 10915721216 7365 33554432000 4194304 4196468 140725821013136 139649946324064 139650461722325 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32657408 140725821015051 140725821015154 140725821015154 140725821018063 0
[pid=2795/tid=2810] ppid=2792 vsize=10659884 memory=139783863596672 CPUtime=0 cores=1,3,5,7
/proc/2795/task/2810/stat : 2810 (java) S 2792 2795 32084 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414558776 10915721216 7365 33554432000 4194304 4196468 140725821013136 139649945270576 139650461723266 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32657408 140725821015051 140725821015154 140725821015154 140725821018063 0
Current children cumulated CPU time: 0.14 s
Current children cumulated vsize: 10659884 KiB
Current children cumulated memory: 29460 KiB
[startup+0.210608 s]*
/proc/loadavg: 2.00 1.55 1.52 3/228 2810
/proc/meminfo: memFree=26399412/32770624 swapFree=66957012/67108860
[pid=2795] ppid=2792 vsize=10659884 memory=34816 CPUtime=0.33 cores=1,3,5,7
/proc/2795/stat : 2795 (java) S 2792 2795 32084 0 -1 1077944320 6816 0 0 0 31 2 0 0 20 0 15 0 414558770 10915721216 8704 33554432000 4194304 4196468 140725821013136 140725820995680 139650461712119 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 32657408 140725821015051 140725821015154 140725821015154 140725821018063 0
/proc/2795/statm: 2664971 8704 2990 1 0 2627468 0
[pid=2795/tid=2797] ppid=2792 vsize=10659884 memory=8389772277269004345 CPUtime=0.2 cores=1,3,5,7
/proc/2795/task/2797/stat : 2797 (java) R 2792 2795 32084 0 -1 4202560 3889 0 0 0 19 1 0 0 20 0 15 0 414558770 10915721216 8704 33554432000 4194304 4196468 140725821013136 139650465938480 139650461734045 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 32657408 140725821015051 140725821015154 140725821015154 140725821018063 0
[pid=2795/tid=2798] ppid=2792 vsize=10659884 memory=4294967635 CPUtime=0 cores=1,3,5,7
/proc/2795/task/2798/stat : 2798 (java) S 2792 2795 32084 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414558771 10915721216 8704 33554432000 4194304 4196468 140725821013136 139650398403344 139650461722325 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32657408 140725821015051 140725821015154 140725821015154 140725821018063 0
[pid=2795/tid=2799] ppid=2792 vsize=10659884 memory=139783866355880 CPUtime=0 cores=1,3,5,7
/proc/2795/task/2799/stat : 2799 (java) S 2792 2795 32084 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414558771 10915721216 8704 33554432000 4194304 4196468 140725821013136 139650397350800 139650461722325 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32657408 140725821015051 140725821015154 140725821015154 140725821018063 0
[pid=2795/tid=2800] ppid=2792 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/2795/task/2800/stat : 2800 (java) S 2792 2795 32084 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414558771 10915721216 8704 33554432000 4194304 4196468 140725821013136 139650396298256 139650461722325 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32657408 140725821015051 140725821015154 140725821015154 140725821018063 0
[pid=2795/tid=2801] ppid=2792 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/2795/task/2801/stat : 2801 (java) S 2792 2795 32084 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414558771 10915721216 8704 33554432000 4194304 4196468 140725821013136 139650395245712 139650461722325 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32657408 140725821015051 140725821015154 140725821015154 140725821018063 0
[pid=2795/tid=2802] ppid=2792 vsize=10659884 memory=139783863596672 CPUtime=0 cores=1,3,5,7
/proc/2795/task/2802/stat : 2802 (java) S 2792 2795 32084 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414558772 10915721216 8704 33554432000 4194304 4196468 140725821013136 139649953691632 139650461723266 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32657408 140725821015051 140725821015154 140725821015154 140725821018063 0
[pid=2795/tid=2803] ppid=2792 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/2795/task/2803/stat : 2803 (java) S 2792 2795 32084 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414558773 10915721216 8704 33554432000 4194304 4196468 140725821013136 139649952637856 139650461722325 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32657408 140725821015051 140725821015154 140725821015154 140725821018063 0
[pid=2795/tid=2804] ppid=2792 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/2795/task/2804/stat : 2804 (java) S 2792 2795 32084 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414558773 10915721216 8704 33554432000 4194304 4196468 140725821013136 139649951585264 139650461722325 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32657408 140725821015051 140725821015154 140725821015154 140725821018063 0
[pid=2795/tid=2805] ppid=2792 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/2795/task/2805/stat : 2805 (java) S 2792 2795 32084 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414558776 10915721216 8704 33554432000 4194304 4196468 140725821013136 139649950533840 139650461730715 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32657408 140725821015051 140725821015154 140725821015154 140725821018063 0
[pid=2795/tid=2806] ppid=2792 vsize=10659884 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/2795/task/2806/stat : 2806 (java) S 2792 2795 32084 0 -1 1077944384 454 0 0 0 2 0 0 0 20 0 15 0 414558776 10915721216 8704 33554432000 4194304 4196468 140725821013136 139649949481456 139650461723266 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32657408 140725821015051 140725821015154 140725821015154 140725821018063 0
[pid=2795/tid=2807] ppid=2792 vsize=10659884 memory=-1 CPUtime=0.02 cores=1,3,5,7
/proc/2795/task/2807/stat : 2807 (java) S 2792 2795 32084 0 -1 1077944384 504 0 0 0 2 0 0 0 20 0 15 0 414558776 10915721216 8704 33554432000 4194304 4196468 140725821013136 139649948428912 139650461723266 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32657408 140725821015051 140725821015154 140725821015154 140725821018063 0
[pid=2795/tid=2808] ppid=2792 vsize=10659884 memory=139783863596672 CPUtime=0.05 cores=1,3,5,7
/proc/2795/task/2808/stat : 2808 (java) S 2792 2795 32084 0 -1 1077944384 609 0 0 0 5 0 0 0 20 0 15 0 414558776 10915721216 8704 33554432000 4194304 4196468 140725821013136 139649947376368 139650461723266 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32657408 140725821015051 140725821015154 140725821015154 140725821018063 0
[pid=2795/tid=2809] ppid=2792 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/2795/task/2809/stat : 2809 (java) S 2792 2795 32084 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414558776 10915721216 8704 33554432000 4194304 4196468 140725821013136 139649946324064 139650461722325 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32657408 140725821015051 140725821015154 140725821015154 140725821018063 0
[pid=2795/tid=2810] ppid=2792 vsize=10659884 memory=139783863596672 CPUtime=0 cores=1,3,5,7
/proc/2795/task/2810/stat : 2810 (java) S 2792 2795 32084 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414558776 10915721216 8704 33554432000 4194304 4196468 140725821013136 139649945270576 139650461723266 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32657408 140725821015051 140725821015154 140725821015154 140725821018063 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 10659884 KiB
Current children cumulated memory: 34816 KiB
[startup+0.309995 s]*
/proc/loadavg: 2.00 1.55 1.52 3/228 2810
/proc/meminfo: memFree=26390968/32770624 swapFree=66957012/67108860
[pid=2795] ppid=2792 vsize=10659884 memory=39956 CPUtime=0.47 cores=1,3,5,7
/proc/2795/stat : 2795 (java) S 2792 2795 32084 0 -1 1077944320 9385 0 0 0 44 3 0 0 20 0 15 0 414558770 10915721216 9989 33554432000 4194304 4196468 140725821013136 140725820995680 139650461712119 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 32657408 140725821015051 140725821015154 140725821015154 140725821018063 0
/proc/2795/statm: 2664971 9989 3002 1 0 2627468 0
[pid=2795/tid=2797] ppid=2792 vsize=10659884 memory=6935652554413002832 CPUtime=0.3 cores=1,3,5,7
/proc/2795/task/2797/stat : 2797 (java) R 2792 2795 32084 0 -1 4202560 6362 0 0 0 28 2 0 0 20 0 15 0 414558770 10915721216 9989 33554432000 4194304 4196468 140725821013136 139650465943920 139650461734045 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 32657408 140725821015051 140725821015154 140725821015154 140725821018063 0
[pid=2795/tid=2798] ppid=2792 vsize=10659884 memory=4294967295 CPUtime=0 cores=1,3,5,7
/proc/2795/task/2798/stat : 2798 (java) S 2792 2795 32084 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414558771 10915721216 9989 33554432000 4194304 4196468 140725821013136 139650398403344 139650461722325 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32657408 140725821015051 140725821015154 140725821015154 140725821018063 0
[pid=2795/tid=2799] ppid=2792 vsize=10659884 memory=139783863596672 CPUtime=0 cores=1,3,5,7
/proc/2795/task/2799/stat : 2799 (java) S 2792 2795 32084 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414558771 10915721216 9989 33554432000 4194304 4196468 140725821013136 139650397350800 139650461722325 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32657408 140725821015051 140725821015154 140725821015154 140725821018063 0
[pid=2795/tid=2800] ppid=2792 vsize=10659884 memory=279567474559904 CPUtime=0 cores=1,3,5,7
/proc/2795/task/2800/stat : 2800 (java) S 2792 2795 32084 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414558771 10915721216 9989 33554432000 4194304 4196468 140725821013136 139650396298256 139650461722325 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32657408 140725821015051 140725821015154 140725821015154 140725821018063 0
[pid=2795/tid=2801] ppid=2792 vsize=10659884 memory=67 CPUtime=0 cores=1,3,5,7
/proc/2795/task/2801/stat : 2801 (java) S 2792 2795 32084 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414558771 10915721216 9989 33554432000 4194304 4196468 140725821013136 139650395245712 139650461722325 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32657408 140725821015051 140725821015154 140725821015154 140725821018063 0
[pid=2795/tid=2802] ppid=2792 vsize=10659884 memory=279567600878928 CPUtime=0 cores=1,3,5,7
/proc/2795/task/2802/stat : 2802 (java) S 2792 2795 32084 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414558772 10915721216 9989 33554432000 4194304 4196468 140725821013136 139649953691632 139650461723266 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32657408 140725821015051 140725821015154 140725821015154 140725821018063 0
[pid=2795/tid=2803] ppid=2792 vsize=10659884 memory=67 CPUtime=0 cores=1,3,5,7
/proc/2795/task/2803/stat : 2803 (java) S 2792 2795 32084 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414558773 10915721216 9989 33554432000 4194304 4196468 140725821013136 139649952637856 139650461722325 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32657408 140725821015051 140725821015154 140725821015154 140725821018063 0
[pid=2795/tid=2804] ppid=2792 vsize=10659884 memory=64996 CPUtime=0 cores=1,3,5,7
/proc/2795/task/2804/stat : 2804 (java) S 2792 2795 32084 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414558773 10915721216 9989 33554432000 4194304 4196468 140725821013136 139649951585264 139650461722325 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32657408 140725821015051 140725821015154 140725821015154 140725821018063 0
[pid=2795/tid=2805] ppid=2792 vsize=10659884 memory=67300 CPUtime=0 cores=1,3,5,7
/proc/2795/task/2805/stat : 2805 (java) S 2792 2795 32084 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414558776 10915721216 9989 33554432000 4194304 4196468 140725821013136 139649950533840 139650461730715 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32657408 140725821015051 140725821015154 140725821015154 140725821018063 0
[pid=2795/tid=2806] ppid=2792 vsize=10659884 memory=0 CPUtime=0.03 cores=1,3,5,7
/proc/2795/task/2806/stat : 2806 (java) S 2792 2795 32084 0 -1 1077944384 464 0 0 0 3 0 0 0 20 0 15 0 414558776 10915721216 9989 33554432000 4194304 4196468 140725821013136 139649949481456 139650461723266 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32657408 140725821015051 140725821015154 140725821015154 140725821018063 0
[pid=2795/tid=2807] ppid=2792 vsize=10659884 memory=139783737293839 CPUtime=0.04 cores=1,3,5,7
/proc/2795/task/2807/stat : 2807 (java) R 2792 2795 32084 0 -1 1077944384 567 0 0 0 4 0 0 0 20 0 15 0 414558776 10915721216 9989 33554432000 4194304 4196468 140725821013136 139649948428912 139650461723266 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 32657408 140725821015051 140725821015154 140725821015154 140725821018063 0
[pid=2795/tid=2808] ppid=2792 vsize=10659884 memory=279567600899680 CPUtime=0.08 cores=1,3,5,7
/proc/2795/task/2808/stat : 2808 (java) R 2792 2795 32084 0 -1 4202560 637 0 0 0 8 0 0 0 20 0 15 0 414558776 10915721216 9989 33554432000 4194304 4196468 140725821013136 139649947376368 139650453949246 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 32657408 140725821015051 140725821015154 140725821015154 140725821018063 0
[pid=2795/tid=2809] ppid=2792 vsize=10659884 memory=139783737298447 CPUtime=0 cores=1,3,5,7
/proc/2795/task/2809/stat : 2809 (java) S 2792 2795 32084 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414558776 10915721216 9989 33554432000 4194304 4196468 140725821013136 139649946324064 139650461722325 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32657408 140725821015051 140725821015154 140725821015154 140725821018063 0
[pid=2795/tid=2810] ppid=2792 vsize=10659884 memory=139783863596685 CPUtime=0 cores=1,3,5,7
/proc/2795/task/2810/stat : 2810 (java) S 2792 2795 32084 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414558776 10915721216 9989 33554432000 4194304 4196468 140725821013136 139649945270576 139650461723266 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32657408 140725821015051 140725821015154 140725821015154 140725821018063 0
Current children cumulated CPU time: 0.47 s
Current children cumulated vsize: 10659884 KiB
Current children cumulated memory: 39956 KiB
[startup+0.700747 s]
/proc/loadavg: 2.00 1.55 1.52 3/228 2810
/proc/meminfo: memFree=26383200/32770624 swapFree=66957012/67108860
[pid=2795] ppid=2792 vsize=10661932 memory=62704 CPUtime=1.09 cores=1,3,5,7
/proc/2795/stat : 2795 (java) S 2792 2795 32084 0 -1 1077944320 12783 0 0 0 104 5 0 0 20 0 15 0 414558770 10917818368 15676 33554432000 4194304 4196468 140725821013136 140725820995680 139650461712119 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 32657408 140725821015051 140725821015154 140725821015154 140725821018063 0
/proc/2795/statm: 2665483 15676 3076 1 0 2627980 0
[pid=2795/tid=2797] ppid=2792 vsize=10661932 memory=732 CPUtime=0.68 cores=1,3,5,7
/proc/2795/task/2797/stat : 2797 (java) R 2792 2795 32084 0 -1 4202560 8910 0 0 0 64 4 0 0 20 0 15 0 414558770 10917818368 15676 33554432000 4194304 4196468 140725821013136 139650465935200 139650461734045 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 32657408 140725821015051 140725821015154 140725821015154 140725821018063 0
[pid=2795/tid=2798] ppid=2792 vsize=10661932 memory=776 CPUtime=0 cores=1,3,5,7
/proc/2795/task/2798/stat : 2798 (java) S 2792 2795 32084 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414558771 10917818368 15676 33554432000 4194304 4196468 140725821013136 139650398403344 139650461722325 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32657408 140725821015051 140725821015154 140725821015154 140725821018063 0
[pid=2795/tid=2799] ppid=2792 vsize=10661932 memory=1560 CPUtime=0 cores=1,3,5,7
/proc/2795/task/2799/stat : 2799 (java) S 2792 2795 32084 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414558771 10917818368 15676 33554432000 4194304 4196468 140725821013136 139650397350800 139650461722325 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32657408 140725821015051 140725821015154 140725821015154 140725821018063 0
[pid=2795/tid=2800] ppid=2792 vsize=10661932 memory=4008 CPUtime=0 cores=1,3,5,7
/proc/2795/task/2800/stat : 2800 (java) S 2792 2795 32084 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414558771 10917818368 15676 33554432000 4194304 4196468 140725821013136 139650396298256 139650461722325 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32657408 140725821015051 140725821015154 140725821015154 140725821018063 0
[pid=2795/tid=2801] ppid=2792 vsize=10661932 memory=1096 CPUtime=0 cores=1,3,5,7
/proc/2795/task/2801/stat : 2801 (java) S 2792 2795 32084 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414558771 10917818368 15676 33554432000 4194304 4196468 140725821013136 139650395245712 139650461722325 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32657408 140725821015051 140725821015154 140725821015154 140725821018063 0
[pid=2795/tid=2802] ppid=2792 vsize=10661932 memory=2828 CPUtime=0 cores=1,3,5,7
/proc/2795/task/2802/stat : 2802 (java) S 2792 2795 32084 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414558772 10917818368 15676 33554432000 4194304 4196468 140725821013136 139649953691632 139650461723266 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32657408 140725821015051 140725821015154 140725821015154 140725821018063 0
[pid=2795/tid=2803] ppid=2792 vsize=10661932 memory=1164 CPUtime=0 cores=1,3,5,7
/proc/2795/task/2803/stat : 2803 (java) S 2792 2795 32084 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414558773 10917818368 15676 33554432000 4194304 4196468 140725821013136 139649952637856 139650461722325 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32657408 140725821015051 140725821015154 140725821015154 140725821018063 0
[pid=2795/tid=2804] ppid=2792 vsize=10661932 memory=14008 CPUtime=0 cores=1,3,5,7
/proc/2795/task/2804/stat : 2804 (java) S 2792 2795 32084 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414558773 10917818368 15676 33554432000 4194304 4196468 140725821013136 139649951585264 139650461722325 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32657408 140725821015051 140725821015154 140725821015154 140725821018063 0
[pid=2795/tid=2805] ppid=2792 vsize=10661932 memory=12040 CPUtime=0 cores=1,3,5,7
/proc/2795/task/2805/stat : 2805 (java) S 2792 2795 32084 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414558776 10917818368 15676 33554432000 4194304 4196468 140725821013136 139649950533840 139650461730715 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32657408 140725821015051 140725821015154 140725821015154 140725821018063 0
[pid=2795/tid=2806] ppid=2792 vsize=10661932 memory=2124 CPUtime=0.1 cores=1,3,5,7
/proc/2795/task/2806/stat : 2806 (java) S 2792 2795 32084 0 -1 1077944384 722 0 0 0 10 0 0 0 20 0 15 0 414558776 10917818368 15676 33554432000 4194304 4196468 140725821013136 139649949481456 139650461723266 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32657408 140725821015051 140725821015154 140725821015154 140725821018063 0
[pid=2795/tid=2807] ppid=2792 vsize=10661932 memory=21252 CPUtime=0.1 cores=1,3,5,7
/proc/2795/task/2807/stat : 2807 (java) R 2792 2795 32084 0 -1 4202560 787 0 0 0 10 0 0 0 20 0 15 0 414558776 10917818368 15676 33554432000 4194304 4196468 140725821013136 139649948428912 139650445099356 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 32657408 140725821015051 140725821015154 140725821015154 140725821018063 0
[pid=2795/tid=2808] ppid=2792 vsize=10661932 memory=492 CPUtime=0.18 cores=1,3,5,7
/proc/2795/task/2808/stat : 2808 (java) S 2792 2795 32084 0 -1 1077944384 1004 0 0 0 18 0 0 0 20 0 15 0 414558776 10917818368 15676 33554432000 4194304 4196468 140725821013136 139649947376368 139650461723266 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32657408 140725821015051 140725821015154 140725821015154 140725821018063 0
[pid=2795/tid=2809] ppid=2792 vsize=10661932 memory=1560 CPUtime=0 cores=1,3,5,7
/proc/2795/task/2809/stat : 2809 (java) S 2792 2795 32084 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414558776 10917818368 15676 33554432000 4194304 4196468 140725821013136 139649946324064 139650461722325 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32657408 140725821015051 140725821015154 140725821015154 140725821018063 0
[pid=2795/tid=2810] ppid=2792 vsize=10661932 memory=3512 CPUtime=0 cores=1,3,5,7
/proc/2795/task/2810/stat : 2810 (java) S 2792 2795 32084 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414558776 10917818368 15676 33554432000 4194304 4196468 140725821013136 139649945270576 139650461723266 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32657408 140725821015051 140725821015154 140725821015154 140725821018063 0
Current children cumulated CPU time: 1.09 s
Current children cumulated vsize: 10661932 KiB
Current children cumulated memory: 62704 KiB
[startup+1.50075 s]
/proc/loadavg: 2.00 1.55 1.52 3/228 2810
/proc/meminfo: memFree=26367008/32770624 swapFree=66957012/67108860
[pid=2795] ppid=2792 vsize=10663980 memory=75320 CPUtime=1.98 cores=1,3,5,7
/proc/2795/stat : 2795 (java) S 2792 2795 32084 0 -1 1077944320 18398 0 0 0 192 6 0 0 20 0 15 0 414558770 10919915520 18830 33554432000 4194304 4196468 140725821013136 140725820995680 139650461712119 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 32657408 140725821015051 140725821015154 140725821015154 140725821018063 0
/proc/2795/statm: 2665995 18830 3098 1 0 2628492 0
[pid=2795/tid=2797] ppid=2792 vsize=10663980 memory=0 CPUtime=1.48 cores=1,3,5,7
/proc/2795/task/2797/stat : 2797 (java) R 2792 2795 32084 0 -1 4202560 13101 0 0 0 143 5 0 0 20 0 15 0 414558770 10919915520 18830 33554432000 4194304 4196468 140725821013136 139650465952400 139650461734045 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 32657408 140725821015051 140725821015154 140725821015154 140725821018063 0
[pid=2795/tid=2798] ppid=2792 vsize=10663980 memory=6943526294502006880 CPUtime=0 cores=1,3,5,7
/proc/2795/task/2798/stat : 2798 (java) S 2792 2795 32084 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414558771 10919915520 18830 33554432000 4194304 4196468 140725821013136 139650398403344 139650461722325 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32657408 140725821015051 140725821015154 140725821015154 140725821018063 0
[pid=2795/tid=2799] ppid=2792 vsize=10663980 memory=6944652177228980320 CPUtime=0 cores=1,3,5,7
/proc/2795/task/2799/stat : 2799 (java) S 2792 2795 32084 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414558771 10919915520 18830 33554432000 4194304 4196468 140725821013136 139650397350800 139650461722325 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32657408 140725821015051 140725821015154 140725821015154 140725821018063 0
[pid=2795/tid=2800] ppid=2792 vsize=10663980 memory=6944652177228980320 CPUtime=0 cores=1,3,5,7
/proc/2795/task/2800/stat : 2800 (java) S 2792 2795 32084 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414558771 10919915520 18830 33554432000 4194304 4196468 140725821013136 139650396298256 139650461722325 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32657408 140725821015051 140725821015154 140725821015154 140725821018063 0
[pid=2795/tid=2801] ppid=2792 vsize=10663980 memory=6944652177228980320 CPUtime=0 cores=1,3,5,7
/proc/2795/task/2801/stat : 2801 (java) S 2792 2795 32084 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414558771 10919915520 18830 33554432000 4194304 4196468 140725821013136 139650395245712 139650461722325 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32657408 140725821015051 140725821015154 140725821015154 140725821018063 0
[pid=2795/tid=2802] ppid=2792 vsize=10663980 memory=6656426216303648864 CPUtime=0 cores=1,3,5,7
/proc/2795/task/2802/stat : 2802 (java) S 2792 2795 32084 0 -1 1077944384 71 0 0 0 0 0 0 0 20 0 15 0 414558772 10919915520 18830 33554432000 4194304 4196468 140725821013136 139649953691632 139650461723266 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32657408 140725821015051 140725821015154 140725821015154 140725821018063 0
[pid=2795/tid=2803] ppid=2792 vsize=10663980 memory=6944652177228980320 CPUtime=0 cores=1,3,5,7
/proc/2795/task/2803/stat : 2803 (java) S 2792 2795 32084 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414558773 10919915520 18830 33554432000 4194304 4196468 140725821013136 139649952637856 139650461722325 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32657408 140725821015051 140725821015154 140725821015154 140725821018063 0
[pid=2795/tid=2804] ppid=2792 vsize=10663980 memory=6943526294502006880 CPUtime=0 cores=1,3,5,7
/proc/2795/task/2804/stat : 2804 (java) S 2792 2795 32084 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414558773 10919915520 18830 33554432000 4194304 4196468 140725821013136 139649951585264 139650461722325 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32657408 140725821015051 140725821015154 140725821015154 140725821018063 0
[pid=2795/tid=2805] ppid=2792 vsize=10663980 memory=6944656592455359580 CPUtime=0 cores=1,3,5,7
/proc/2795/task/2805/stat : 2805 (java) S 2792 2795 32084 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414558776 10919915520 18830 33554432000 4194304 4196468 140725821013136 139649950533840 139650461730715 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32657408 140725821015051 140725821015154 140725821015154 140725821018063 0
[pid=2795/tid=2806] ppid=2792 vsize=10663980 memory=6944652177228980320 CPUtime=0.13 cores=1,3,5,7
/proc/2795/task/2806/stat : 2806 (java) S 2792 2795 32084 0 -1 1077944384 1051 0 0 0 13 0 0 0 20 0 15 0 414558776 10919915520 18830 33554432000 4194304 4196468 140725821013136 139649949481456 139650461723266 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32657408 140725821015051 140725821015154 140725821015154 140725821018063 0
[pid=2795/tid=2807] ppid=2792 vsize=10663980 memory=6944656575208382560 CPUtime=0.16 cores=1,3,5,7
/proc/2795/task/2807/stat : 2807 (java) S 2792 2795 32084 0 -1 1077944384 1746 0 0 0 16 0 0 0 20 0 15 0 414558776 10919915520 18830 33554432000 4194304 4196468 140725821013136 139649948428912 139650461723266 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32657408 140725821015051 140725821015154 140725821015154 140725821018063 0
[pid=2795/tid=2808] ppid=2792 vsize=10663980 memory=0 CPUtime=0.18 cores=1,3,5,7
/proc/2795/task/2808/stat : 2808 (java) S 2792 2795 32084 0 -1 1077944384 1051 0 0 0 18 0 0 0 20 0 15 0 414558776 10919915520 18830 33554432000 4194304 4196468 140725821013136 139649947376368 139650461723266 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32657408 140725821015051 140725821015154 140725821015154 140725821018063 0
[pid=2795/tid=2809] ppid=2792 vsize=10663980 memory=15663745731716 CPUtime=0 cores=1,3,5,7
/proc/2795/task/2809/stat : 2809 (java) S 2792 2795 32084 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414558776 10919915520 18830 33554432000 4194304 4196468 140725821013136 139649946324064 139650461722325 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32657408 140725821015051 140725821015154 140725821015154 140725821018063 0
[pid=2795/tid=2810] ppid=2792 vsize=10663980 memory=0 CPUtime=0 cores=1,3,5,7
/proc/2795/task/2810/stat : 2810 (java) S 2792 2795 32084 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414558776 10919915520 18830 33554432000 4194304 4196468 140725821013136 139649945270576 139650461723266 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32657408 140725821015051 140725821015154 140725821015154 140725821018063 0
Current children cumulated CPU time: 1.98 s
Current children cumulated vsize: 10663980 KiB
Current children cumulated memory: 75320 KiB
[startup+3.1107 s]
/proc/loadavg: 2.00 1.56 1.52 3/229 2811
/proc/meminfo: memFree=26076400/32770624 swapFree=66957012/67108860
[pid=2795] ppid=2792 vsize=10746276 memory=452796 CPUtime=5.41 cores=1,3,5,7
/proc/2795/stat : 2795 (java) S 2792 2795 32084 0 -1 1077944320 26871 0 0 0 512 29 0 0 20 0 16 0 414558770 11004186624 113199 33554432000 4194304 4196468 140725821013136 140725820995680 139650461712119 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 32657408 140725821015051 140725821015154 140725821015154 140725821018063 0
/proc/2795/statm: 2686569 113199 3361 1 0 2646705 0
[pid=2795/tid=2797] ppid=2792 vsize=10746276 memory=301216 CPUtime=1.85 cores=1,3,5,7
/proc/2795/task/2797/stat : 2797 (java) S 2792 2795 32084 0 -1 1077944384 15336 0 0 0 179 6 0 0 20 0 16 0 414558770 11004186624 113199 33554432000 4194304 4196468 140725821013136 139650465954992 139650461722325 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32657408 140725821015051 140725821015154 140725821015154 140725821018063 0
[pid=2795/tid=2798] ppid=2792 vsize=10746276 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/2795/task/2798/stat : 2798 (java) S 2792 2795 32084 0 -1 1077944384 336 0 0 0 5 4 0 0 20 0 16 0 414558771 11004186624 113199 33554432000 4194304 4196468 140725821013136 139650398403344 139650461722325 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32657408 140725821015051 140725821015154 140725821015154 140725821018063 0
[pid=2795/tid=2799] ppid=2792 vsize=10746276 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/2795/task/2799/stat : 2799 (java) S 2792 2795 32084 0 -1 1077944384 256 0 0 0 5 4 0 0 20 0 16 0 414558771 11004186624 113199 33554432000 4194304 4196468 140725821013136 139650397350800 139650461722325 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32657408 140725821015051 140725821015154 140725821015154 140725821018063 0
[pid=2795/tid=2800] ppid=2792 vsize=10746276 memory=-2023959437020729679 CPUtime=0.09 cores=1,3,5,7
/proc/2795/task/2800/stat : 2800 (java) S 2792 2795 32084 0 -1 1077944384 171 0 0 0 6 3 0 0 20 0 16 0 414558771 11004186624 113199 33554432000 4194304 4196468 140725821013136 139650396298256 139650461722325 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32657408 140725821015051 140725821015154 140725821015154 140725821018063 0
[pid=2795/tid=2801] ppid=2792 vsize=10746276 memory=279567474364144 CPUtime=0.09 cores=1,3,5,7
/proc/2795/task/2801/stat : 2801 (java) S 2792 2795 32084 0 -1 1077944384 124 0 0 0 5 4 0 0 20 0 16 0 414558771 11004186624 113199 33554432000 4194304 4196468 140725821013136 139650395245712 139650461722325 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32657408 140725821015051 140725821015154 140725821015154 140725821018063 0
[pid=2795/tid=2802] ppid=2792 vsize=10746276 memory=14181713578730 CPUtime=0.01 cores=1,3,5,7
/proc/2795/task/2802/stat : 2802 (java) S 2792 2795 32084 0 -1 1077944384 1309 0 0 0 1 0 0 0 20 0 16 0 414558772 11004186624 113199 33554432000 4194304 4196468 140725821013136 139649953691632 139650461723266 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32657408 140725821015051 140725821015154 140725821015154 140725821018063 0
[pid=2795/tid=2803] ppid=2792 vsize=10746276 memory=14181713578730 CPUtime=0 cores=1,3,5,7
/proc/2795/task/2803/stat : 2803 (java) S 2792 2795 32084 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 16 0 414558773 11004186624 113199 33554432000 4194304 4196468 140725821013136 139649952637920 139650461722325 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32657408 140725821015051 140725821015154 140725821015154 140725821018063 0
[pid=2795/tid=2804] ppid=2792 vsize=10746276 memory=14181713578474 CPUtime=0 cores=1,3,5,7
/proc/2795/task/2804/stat : 2804 (java) S 2792 2795 32084 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 16 0 414558773 11004186624 113199 33554432000 4194304 4196468 140725821013136 139649951585280 139650461722325 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32657408 140725821015051 140725821015154 140725821015154 140725821018063 0
[pid=2795/tid=2805] ppid=2792 vsize=10746276 memory=14181713578474 CPUtime=0 cores=1,3,5,7
/proc/2795/task/2805/stat : 2805 (java) S 2792 2795 32084 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414558776 11004186624 113199 33554432000 4194304 4196468 140725821013136 139649950533840 139650461730715 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32657408 140725821015051 140725821015154 140725821015154 140725821018063 0
[pid=2795/tid=2806] ppid=2792 vsize=10746276 memory=14181713578218 CPUtime=0.76 cores=1,3,5,7
/proc/2795/task/2806/stat : 2806 (java) S 2792 2795 32084 0 -1 1077944384 2168 0 0 0 76 0 0 0 20 0 16 0 414558776 11004186624 113199 33554432000 4194304 4196468 140725821013136 139649949481456 139650461723266 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32657408 140725821015051 140725821015154 140725821015154 140725821018063 0
[pid=2795/tid=2807] ppid=2792 vsize=10746276 memory=299020 CPUtime=0.77 cores=1,3,5,7
/proc/2795/task/2807/stat : 2807 (java) S 2792 2795 32084 0 -1 1077944384 2493 0 0 0 77 0 0 0 20 0 16 0 414558776 11004186624 113199 33554432000 4194304 4196468 140725821013136 139649948428912 139650461723266 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32657408 140725821015051 140725821015154 140725821015154 140725821018063 0
[pid=2795/tid=2808] ppid=2792 vsize=10746276 memory=14698478420886870 CPUtime=0.45 cores=1,3,5,7
/proc/2795/task/2808/stat : 2808 (java) S 2792 2795 32084 0 -1 1077944384 1745 0 0 0 45 0 0 0 20 0 16 0 414558776 11004186624 113199 33554432000 4194304 4196468 140725821013136 139649947376368 139650461723266 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32657408 140725821015051 140725821015154 140725821015154 140725821018063 0
[pid=2795/tid=2809] ppid=2792 vsize=10746276 memory=9198851636692494236 CPUtime=0 cores=1,3,5,7
/proc/2795/task/2809/stat : 2809 (java) S 2792 2795 32084 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414558776 11004186624 113199 33554432000 4194304 4196468 140725821013136 139649946324064 139650461722325 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32657408 140725821015051 140725821015154 140725821015154 140725821018063 0
[pid=2795/tid=2810] ppid=2792 vsize=10746276 memory=6944652177228980320 CPUtime=0 cores=1,3,5,7
/proc/2795/task/2810/stat : 2810 (java) S 2792 2795 32084 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 16 0 414558776 11004186624 113199 33554432000 4194304 4196468 140725821013136 139649945270576 139650461723266 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32657408 140725821015051 140725821015154 140725821015154 140725821018063 0
[pid=2795/tid=2811] ppid=2792 vsize=10746276 memory=6944656592455359580 CPUtime=1.11 cores=1,3,5,7
/proc/2795/task/2811/stat : 2811 (java) R 2792 2795 32084 0 -1 4202560 1513 0 0 0 109 2 0 0 20 0 16 0 414558957 11004186624 113199 33554432000 4194304 4196468 140725821013136 139649928200496 139650078394395 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 32657408 140725821015051 140725821015154 140725821015154 140725821018063 0
Current children cumulated CPU time: 5.41 s
Current children cumulated vsize: 10746276 KiB
Current children cumulated memory: 452796 KiB
[startup+3.41034 s]
# the end of solver process 2795 was just reported to runsolver
# cumulated CPU time of all completed processes: user=5.91659 s, system=0.320748 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3.20096 s]
/proc/loadavg: 2.00 1.56 1.52 3/229 2811
/proc/meminfo: memFree=26076400/32770624 swapFree=66957012/67108860
[pid=2795] ppid=2792 vsize=10746276 memory=453840 CPUtime=5.64 cores=1,3,5,7
/proc/2795/stat : 2795 (java) S 2792 2795 32084 0 -1 1077944320 27490 0 0 0 534 30 0 0 20 0 16 0 414558770 11004186624 113460 33554432000 4194304 4196468 140725821013136 140725820995680 139650461712119 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 32657408 140725821015051 140725821015154 140725821015154 140725821018063 0
/proc/2795/statm: 2686569 113460 3363 1 0 2646705 0
[pid=2795/tid=2797] ppid=2792 vsize=10746276 memory=-7361174377247368086 CPUtime=1.85 cores=1,3,5,7
/proc/2795/task/2797/stat : 2797 (java) S 2792 2795 32084 0 -1 1077944384 15336 0 0 0 179 6 0 0 20 0 16 0 414558770 11004186624 113460 33554432000 4194304 4196468 140725821013136 139650465954992 139650461722325 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32657408 140725821015051 140725821015154 140725821015154 140725821018063 0
[pid=2795/tid=2798] ppid=2792 vsize=10746276 memory=-3775572685057999774 CPUtime=0.09 cores=1,3,5,7
/proc/2795/task/2798/stat : 2798 (java) S 2792 2795 32084 0 -1 1077944384 336 0 0 0 5 4 0 0 20 0 16 0 414558771 11004186624 113460 33554432000 4194304 4196468 140725821013136 139650398403344 139650461722325 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32657408 140725821015051 140725821015154 140725821015154 140725821018063 0
[pid=2795/tid=2799] ppid=2792 vsize=10746276 memory=-3472574513799858009 CPUtime=0.09 cores=1,3,5,7
/proc/2795/task/2799/stat : 2799 (java) S 2792 2795 32084 0 -1 1077944384 256 0 0 0 5 4 0 0 20 0 16 0 414558771 11004186624 113460 33554432000 4194304 4196468 140725821013136 139650397350800 139650461722325 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32657408 140725821015051 140725821015154 140725821015154 140725821018063 0
[pid=2795/tid=2800] ppid=2792 vsize=10746276 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/2795/task/2800/stat : 2800 (java) S 2792 2795 32084 0 -1 1077944384 171 0 0 0 6 3 0 0 20 0 16 0 414558771 11004186624 113460 33554432000 4194304 4196468 140725821013136 139650396298256 139650461722325 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32657408 140725821015051 140725821015154 140725821015154 140725821018063 0
[pid=2795/tid=2801] ppid=2792 vsize=10746276 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/2795/task/2801/stat : 2801 (java) S 2792 2795 32084 0 -1 1077944384 124 0 0 0 5 4 0 0 20 0 16 0 414558771 11004186624 113460 33554432000 4194304 4196468 140725821013136 139650395245712 139650461722325 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32657408 140725821015051 140725821015154 140725821015154 140725821018063 0
[pid=2795/tid=2802] ppid=2792 vsize=10746276 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/2795/task/2802/stat : 2802 (java) S 2792 2795 32084 0 -1 1077944384 1309 0 0 0 1 0 0 0 20 0 16 0 414558772 11004186624 113460 33554432000 4194304 4196468 140725821013136 139649953691632 139650461723266 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32657408 140725821015051 140725821015154 140725821015154 140725821018063 0
[pid=2795/tid=2803] ppid=2792 vsize=10746276 memory=0 CPUtime=0 cores=1,3,5,7
/proc/2795/task/2803/stat : 2803 (java) S 2792 2795 32084 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 16 0 414558773 11004186624 113460 33554432000 4194304 4196468 140725821013136 139649952637920 139650461722325 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32657408 140725821015051 140725821015154 140725821015154 140725821018063 0
[pid=2795/tid=2804] ppid=2792 vsize=10746276 memory=288230574492221466 CPUtime=0 cores=1,3,5,7
/proc/2795/task/2804/stat : 2804 (java) S 2792 2795 32084 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 16 0 414558773 11004186624 113460 33554432000 4194304 4196468 140725821013136 139649951585280 139650461722325 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32657408 140725821015051 140725821015154 140725821015154 140725821018063 0
[pid=2795/tid=2805] ppid=2792 vsize=10746276 memory=0 CPUtime=0 cores=1,3,5,7
/proc/2795/task/2805/stat : 2805 (java) S 2792 2795 32084 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414558776 11004186624 113460 33554432000 4194304 4196468 140725821013136 139649950533840 139650461730715 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32657408 140725821015051 140725821015154 140725821015154 140725821018063 0
[pid=2795/tid=2806] ppid=2792 vsize=10746276 memory=0 CPUtime=0.81 cores=1,3,5,7
/proc/2795/task/2806/stat : 2806 (java) S 2792 2795 32084 0 -1 1077944384 2196 0 0 0 81 0 0 0 20 0 16 0 414558776 11004186624 113460 33554432000 4194304 4196468 140725821013136 139649949481456 139650461723266 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32657408 140725821015051 140725821015154 140725821015154 140725821018063 0
[pid=2795/tid=2807] ppid=2792 vsize=10746276 memory=0 CPUtime=0.81 cores=1,3,5,7
/proc/2795/task/2807/stat : 2807 (java) S 2792 2795 32084 0 -1 1077944384 2506 0 0 0 81 0 0 0 20 0 16 0 414558776 11004186624 113460 33554432000 4194304 4196468 140725821013136 139649948428912 139650461723266 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32657408 140725821015051 140725821015154 140725821015154 140725821018063 0
[pid=2795/tid=2808] ppid=2792 vsize=10746276 memory=0 CPUtime=0.49 cores=1,3,5,7
/proc/2795/task/2808/stat : 2808 (java) S 2792 2795 32084 0 -1 1077944384 1834 0 0 0 49 0 0 0 20 0 16 0 414558776 11004186624 113460 33554432000 4194304 4196468 140725821013136 139649947376368 139650461723266 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32657408 140725821015051 140725821015154 140725821015154 140725821018063 0
[pid=2795/tid=2809] ppid=2792 vsize=10746276 memory=6656426216303648864 CPUtime=0 cores=1,3,5,7
/proc/2795/task/2809/stat : 2809 (java) S 2792 2795 32084 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414558776 11004186624 113460 33554432000 4194304 4196468 140725821013136 139649946324064 139650461722325 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32657408 140725821015051 140725821015154 140725821015154 140725821018063 0
[pid=2795/tid=2810] ppid=2792 vsize=10746276 memory=0 CPUtime=0 cores=1,3,5,7
/proc/2795/task/2810/stat : 2810 (java) S 2792 2795 32084 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 16 0 414558776 11004186624 113460 33554432000 4194304 4196468 140725821013136 139649945270576 139650461723266 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32657408 140725821015051 140725821015154 140725821015154 140725821018063 0
[pid=2795/tid=2811] ppid=2792 vsize=10746276 memory=0 CPUtime=1.2 cores=1,3,5,7
/proc/2795/task/2811/stat : 2811 (java) R 2792 2795 32084 0 -1 4202560 2003 0 0 0 118 2 0 0 20 0 16 0 414558957 11004186624 113460 33554432000 4194304 4196468 140725821013136 139649928202752 139650445755749 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 32657408 140725821015051 140725821015154 140725821015154 140725821018063 0
Current children cumulated CPU time: 5.64 s
Current children cumulated vsize: 10746276 KiB
Current children cumulated memory: 453840 KiB
[startup+3.40074 s]*
/proc/loadavg: 2.00 1.56 1.52 3/215 2812
/proc/meminfo: memFree=26400008/32770624 swapFree=66957012/67108860
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB
Child status: 0
Real time (s): 3.41038
CPU time (s): 6.23734
CPU user time (s): 5.91659
CPU system time (s): 0.320748
CPU usage (%): 182.893
Max. virtual memory (cumulated for all children) (KiB): 10746276
Max. memory (cumulated for all children) (KiB): 456784
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 5.9166
system time used= 0.320748
maximum resident set size= 458576
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 29818
page faults= 0
swaps= 0
block input operations= 0
block output operations= 112
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 2693
involuntary context switches= 17
# summary of solver processes directly reported to runsolver:
# pid: 2795
# total CPU time (s): 6.23734
# total CPU user time (s): 5.91659
# total CPU system time (s): 0.320748
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.046407 second user time and 0.073872 second system time
The end