0.66/0.53
0.66/0.53 scop order+minisat_release (2018-06-13)
0.66/0.53
0.66/0.56 c BEGIN-Prog: Mon Jul 23 15:23:13 CEST 2018
0.66/0.56 c PID: 9421
0.66/0.56 c IP: 172.20.3.105
0.66/0.56 c HOST: node105.alineos.net
0.66/0.56 c (0,0) Parsing Begin
1.18/0.86 c (0,0) Parsing End
1.18/0.87 c (0,0) CSP: 40 int (0 aux), 0 bool (0 aux), 30 ctr, max domain size 20
1.18/0.87 c (0,0) Heap : 112 MiB used (max 10795 MiB), NonHeap : 18 MiB used (max 0 MiB)
1.18/0.87 c (0,0) Constraint Name Generate Begin
1.18/0.87 c (0,0) Ctr:HOME/instance-4294231-1532352192.xml,Add:Element:Eq:IntVar:Num
1.18/0.87 c (0,0) Constraint Name Generate End
1.18/0.87 c (0,0) Heap : 112 MiB used (max 10795 MiB), NonHeap : 18 MiB used (max 0 MiB)
1.18/0.87 c (0,0) CSP to CSPinCNF Begin
1.54/1.02 c (0,0) translated 3 (10%) constraints
1.54/1.06 c (0,0) translated 6 (20%) constraints
1.54/1.09 c (0,0) translated 9 (30%) constraints
1.81/1.12 c (0,0) translated 12 (40%) constraints
1.81/1.14 c (0,0) translated 15 (50%) constraints
1.81/1.17 c (0,0) translated 18 (60%) constraints
1.81/1.18 c (0,0) translated 21 (70%) constraints
1.81/1.19 c (0,0) translated 24 (80%) constraints
1.81/1.19 c (0,0) translated 27 (90%) constraints
1.81/1.19 c (0,0) translated 30 (100%) constraints
2.06/1.23 c (0,0) STATISTICS1:HOME/instance-4294231-1532352192.xml,Add:Element:Eq:IntVar:Num,40,410,18,18,3,2,18:2;17:2;16:2;15:2;14:2;13:2;12:2;11:2;10:2;9:2,18:42;17:42;16:42;15:42;14:42;13:42;12:42;11:42;10:442;9:42,3:400;1:10,2:20;1:1200,
2.06/1.23 c (0,0) ===========================================
2.06/1.23 c (0,0) Order
2.06/1.23 c (0,0) ===========================================
2.06/1.28 c (0,0) translated 41 (10%) constraints
2.31/1.30 c (0,0) translated 82 (20%) constraints
2.31/1.32 c (0,0) translated 123 (30%) constraints
2.31/1.33 c (0,0) translated 164 (40%) constraints
2.31/1.35 c (0,0) translated 205 (50%) constraints
2.31/1.36 c (0,0) translated 246 (60%) constraints
2.31/1.37 c (0,0) translated 287 (70%) constraints
2.31/1.38 c (0,0) translated 328 (80%) constraints
2.31/1.39 c (0,0) translated 369 (90%) constraints
2.57/1.40 c (0,0) translated 410 (100%) constraints
2.57/1.40 c (0,0) CSP to CSPinCNF End
2.57/1.40 c (0,0) CSP: 40 int (0 aux), 200 bool (200 aux), 1220 ctr, max domain size 18
2.57/1.40 c (0,0) Heap : 168 MiB used (max 10795 MiB), NonHeap : 24 MiB used (max 0 MiB)
2.57/1.40 c (0,0) CSPinCNF Propagation Begin
2.57/1.45 c (0,0) 0 values, 170 unsatisfiable literals, and 210 valid clauses are removed
2.57/1.45 c (0,0) CSPinCNF Propagation End
2.57/1.45 c (0,0) CSP: 40 int (0 aux), 200 bool (200 aux), 1010 ctr, max domain size 18
2.57/1.45 c (0,0) Heap : 168 MiB used (max 10795 MiB), NonHeap : 24 MiB used (max 0 MiB)
2.57/1.45 c (0,0) Simplify CSPinCNF Begin
2.57/1.46 c (0,0) Simplify CSPinCNF End
2.57/1.46 c (0,0) CSP: 40 int (0 aux), 200 bool (200 aux), 1010 ctr, max domain size 18
2.57/1.46 c (0,0) Heap : 168 MiB used (max 10795 MiB), NonHeap : 24 MiB used (max 0 MiB)
2.57/1.46 c (0,0) Calculate Precise Domain Begin
2.57/1.46 c (0,0) 0 values are removed by re-calculation
2.57/1.46 c (0,0) Calculate Precise Domain End
2.57/1.46 c (0,0) CSP: 40 int (0 aux), 200 bool (200 aux), 1010 ctr, max domain size 18
2.57/1.46 c (0,0) Heap : 168 MiB used (max 10795 MiB), NonHeap : 24 MiB used (max 0 MiB)
2.57/1.46 c (0,0) CSPinCNF to SatSolver Begin
2.89/1.50 c (0,0) 101 (10 %) CSP clauses are encoded (630 SAT variables, 490 SAT clauses)
2.89/1.51 c (0,0) 202 (20 %) CSP clauses are encoded (630 SAT variables, 591 SAT clauses)
2.89/1.52 c (0,0) 303 (30 %) CSP clauses are encoded (630 SAT variables, 692 SAT clauses)
2.89/1.52 c (0,0) 404 (40 %) CSP clauses are encoded (630 SAT variables, 793 SAT clauses)
2.89/1.53 c (0,0) 505 (50 %) CSP clauses are encoded (630 SAT variables, 894 SAT clauses)
2.89/1.53 c (0,0) 606 (60 %) CSP clauses are encoded (630 SAT variables, 995 SAT clauses)
2.89/1.53 c (1,0) 707 (70 %) CSP clauses are encoded (630 SAT variables, 1096 SAT clauses)
2.89/1.54 c (1,0) 808 (80 %) CSP clauses are encoded (630 SAT variables, 1197 SAT clauses)
2.89/1.54 c (1,0) 909 (90 %) CSP clauses are encoded (630 SAT variables, 1298 SAT clauses)
2.89/1.55 c (1,1) 1010 (100 %) CSP clauses are encoded (630 SAT variables, 1622 SAT clauses)
2.89/1.55 c (1,1) CSPinCNF to SatSolver End
2.89/1.55 c (1,1) Heap : 168 MiB used (max 10795 MiB), NonHeap : 25 MiB used (max 0 MiB)
2.89/1.57 c (1,1) STATISTICS2:HOME/instance-4294231-1532352192.xml,Add:Element:Eq:IntVar:Num,240,1010,18,18,3,2,18:2;17:2;16:2;15:2;14:2;13:2;12:2;11:2;10:2;9:2,18:72;17:68;16:64;15:60;14:56;13:52;12:48;11:44;10:760;9:36;2:990,3:230;2:760;1:20,2:20;1:2210,
2.89/1.57 c (1,1) SatSolver.solve Begin
2.89/1.57 c (1,1) 630 bool, 1630 clause
2.89/1.57 c (1,1) HOME/minisat_release -ccmin-mode=2 -cla-decay=0.9990000000000016 -gc-frac=0.06548219427789823 -min-step-size=0.06000000000000005 -phase-saving=2 -rfirst=100 -rinc=23.20514351897367 -rnd-freq=0.18183188062236774 -step-size=0.0002446387540884631 -step-size-dec=1.0000000000000004e-06 -var-decay=0.07581213234321858 HOME/instance-4294231-1532352192.xml-scop-9421.cnf HOME/instance-4294231-1532352192.xml-scop-9421.cnf.out
10.87/9.35 c (8,0) c This is COMiniSatPS.
10.87/9.35 c (8,0) c WARNING: for repeatability, setting FPU to use double precision
10.87/9.35 c (8,0) c ============================[ Problem Statistics ]=============================
10.87/9.35 c (8,0) c | |
10.87/9.35 c (8,0) c | Number of variables: 630 |
10.87/9.35 c (8,0) c | Number of clauses: 1630 |
10.87/9.35 c (8,0) c | Parse time: 0.00 s |
10.87/9.35 c (8,0) c | Eliminated clauses: 0.01 Mb |
10.87/9.35 c (8,0) c Reduced to 344 vars, 1091 cls (grow=0)
10.87/9.35 c (8,0) c No iterative elimination performed. (vars=344, c/v ratio=3.2)
10.87/9.35 c (8,0) c | Simplification time: 0.00 s |
10.87/9.35 c (8,0) c | |
10.87/9.35 c (8,0) c ============================[ Search Statistics ]==============================
10.87/9.35 c (8,0) c | Conflicts | ORIGINAL | LEARNT | Progress |
10.87/9.35 c (8,0) c | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
10.87/9.35 c (8,0) c ===============================================================================
10.87/9.35 c (8,0) c ===============================================================================
10.87/9.35 c (8,0) c restarts : 44
10.87/9.35 c (8,0) c conflicts : 117062 (15100 /sec)
10.87/9.35 c (8,0) c decisions : 129608 (0.00 % random) (16719 /sec)
10.87/9.35 c (8,0) c propagations : 7449225 (960910 /sec)
10.87/9.35 c (8,0) c conflict literals : 1965670 (36.81 % deleted)
10.87/9.35 c (8,0) c CPU time : 7.75226 s
10.87/9.35 c (8,0)
10.87/9.35 c (8,0) s UNSATISFIABLE
10.87/9.35 c (8,1) SatSolver.solve End
10.87/9.35 c (8,1) Heap : 450 MiB used (max 10795 MiB), NonHeap : 27 MiB used (max 0 MiB)
10.87/9.35 c (8,1) Show results Begin
10.87/9.35 s UNSATISFIABLE
10.87/9.35 c (8,1) Show results End
10.87/9.35 c (8,1) Heap : 450 MiB used (max 10795 MiB), NonHeap : 27 MiB used (max 0 MiB)
10.87/9.35 c (8,1) 0,0,0,0,0,0,1,8,8,STOP-AFTER(ALL)
10.87/9.35 c END-Prog: Mon Jul 23 15:23:21 CEST 2018
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 (4336 MiB free)
memory of node 1: 16384 MiB (11353 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4294231-1532352192/watcher-4294231-1532352192 -o /tmp/evaluation-result-4294231-1532352192/solver-4294231-1532352192 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node105-1532330128-2302 --watchdog 2580 java -Xms11g -Xmx11g -Xss128m -jar HOME/scop.jar -order -solver HOME/minisat_release -solverOption mapleTune01 -tmp HOME HOME/instance-4294231-1532352192.xml
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=9421, runsolver pid=9418
[startup+0.100428 s]*
/proc/loadavg: 2.37 2.11 2.07 3/220 9436
/proc/meminfo: memFree=16010564/32770624 swapFree=67108860/67108860
[pid=9421] ppid=9418 vsize=15011656 memory=68376 CPUtime=0.11 cores=0,2,4,6
/proc/9421/stat : 9421 (java) S 9418 9421 2271 0 -1 1077944320 6857 0 0 0 9 2 0 0 20 0 15 0 52782376 15371935744 17094 33554432000 4194304 4196468 140737351525376 140737351507920 139626194521847 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 20094976 140737351529459 140737351529737 140737351529737 140737351532495 0
/proc/9421/statm: 3752914 17094 2743 1 0 3715374 0
[pid=9421/tid=9423] ppid=9418 vsize=15011656 memory=4425528420434285459 CPUtime=0.08 cores=0,2,4,6
/proc/9421/task/9423/stat : 9423 (java) R 9418 9421 2271 0 -1 4202560 4930 0 0 0 7 1 0 0 20 0 15 0 52782377 15371935744 17094 33554432000 4194304 4196468 140737351525376 139626166310960 139626178602334 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 20094976 140737351529459 140737351529737 140737351529737 140737351532495 0
[pid=9421/tid=9424] ppid=9418 vsize=15011656 memory=-3689451258167578675 CPUtime=0 cores=0,2,4,6
/proc/9421/task/9424/stat : 9424 (java) S 9418 9421 2271 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 52782378 15371935744 17159 33554432000 4194304 4196468 140737351525376 139626198764048 139626194532053 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20094976 140737351529459 140737351529737 140737351529737 140737351532495 0
[pid=9421/tid=9425] ppid=9418 vsize=15011656 memory=139845928261248 CPUtime=0 cores=0,2,4,6
/proc/9421/task/9425/stat : 9425 (java) S 9418 9421 2271 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 52782378 15371935744 17159 33554432000 4194304 4196468 140737351525376 139625654901392 139626194532053 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20094976 140737351529459 140737351529737 140737351529737 140737351532495 0
[pid=9421/tid=9426] ppid=9418 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9421/task/9426/stat : 9426 (java) S 9418 9421 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 52782378 15371935744 17159 33554432000 4194304 4196468 140737351525376 139625653848336 139626194532053 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20094976 140737351529459 140737351529737 140737351529737 140737351532495 0
[pid=9421/tid=9427] ppid=9418 vsize=15011656 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/9421/task/9427/stat : 9427 (java) S 9418 9421 2271 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 52782378 15371935744 17159 33554432000 4194304 4196468 140737351525376 139625652795792 139626194532053 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20094976 140737351529459 140737351529737 140737351529737 140737351532495 0
[pid=9421/tid=9428] ppid=9418 vsize=15011656 memory=139845928261248 CPUtime=0 cores=0,2,4,6
/proc/9421/task/9428/stat : 9428 (java) S 9418 9421 2271 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 52782380 15371935744 17159 33554432000 4194304 4196468 140737351525376 139625232558832 139626194532994 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20094976 140737351529459 140737351529737 140737351529737 140737351532495 0
[pid=9421/tid=9429] ppid=9418 vsize=15011656 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/9421/task/9429/stat : 9429 (java) S 9418 9421 2271 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 52782380 15371935744 17159 33554432000 4194304 4196468 140737351525376 139624823383712 139626194532053 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20094976 140737351529459 140737351529737 140737351529737 140737351532495 0
[pid=9421/tid=9430] ppid=9418 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9421/task/9430/stat : 9430 (java) S 9418 9421 2271 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 52782380 15371935744 17159 33554432000 4194304 4196468 140737351525376 139624689161456 139626194532053 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20094976 140737351529459 140737351529737 140737351529737 140737351532495 0
[pid=9421/tid=9431] ppid=9418 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9421/task/9431/stat : 9431 (java) S 9418 9421 2271 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 52782383 15371935744 17159 33554432000 4194304 4196468 140737351525376 139624314657232 139626194540443 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20094976 140737351529459 140737351529737 140737351529737 140737351532495 0
[pid=9421/tid=9432] ppid=9418 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9421/task/9432/stat : 9432 (java) S 9418 9421 2271 0 -1 1077944384 306 0 0 0 0 0 0 0 20 0 15 0 52782383 15371935744 17159 33554432000 4194304 4196468 140737351525376 139625231505648 139626194532994 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20094976 140737351529459 140737351529737 140737351529737 140737351532495 0
[pid=9421/tid=9433] ppid=9418 vsize=15011656 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/9421/task/9433/stat : 9433 (java) S 9418 9421 2271 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 52782383 15371935744 17159 33554432000 4194304 4196468 140737351525376 139625230453104 139626194532994 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20094976 140737351529459 140737351529737 140737351529737 140737351532495 0
[pid=9421/tid=9434] ppid=9418 vsize=15011656 memory=139845928261248 CPUtime=0 cores=0,2,4,6
/proc/9421/task/9434/stat : 9434 (java) R 9418 9421 2271 0 -1 4202560 282 0 0 0 0 0 0 0 20 0 15 0 52782383 15371935744 17159 33554432000 4194304 4196468 140737351525376 139625229400048 139626173463503 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 20094976 140737351529459 140737351529737 140737351529737 140737351532495 0
[pid=9421/tid=9435] ppid=9418 vsize=15011656 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/9421/task/9435/stat : 9435 (java) S 9418 9421 2271 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 52782383 15371935744 17159 33554432000 4194304 4196468 140737351525376 139623816751456 139626194532053 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20094976 140737351529459 140737351529737 140737351529737 140737351532495 0
[pid=9421/tid=9436] ppid=9418 vsize=15011656 memory=139845928261248 CPUtime=0 cores=0,2,4,6
/proc/9421/task/9436/stat : 9436 (java) S 9418 9421 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 52782383 15371935744 17159 33554432000 4194304 4196468 140737351525376 139625228348464 139626194532994 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20094976 140737351529459 140737351529737 140737351529737 140737351532495 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 15011656 KiB
Current children cumulated memory: 68376 KiB
[startup+0.210552 s]*
/proc/loadavg: 2.37 2.11 2.07 3/220 9436
/proc/meminfo: memFree=15997224/32770624 swapFree=67108860/67108860
[pid=9421] ppid=9418 vsize=15011656 memory=82016 CPUtime=0.25 cores=0,2,4,6
/proc/9421/stat : 9421 (java) S 9418 9421 2271 0 -1 1077944320 10494 0 0 0 22 3 0 0 20 0 15 0 52782376 15371935744 20504 33554432000 4194304 4196468 140737351525376 140737351507920 139626194521847 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 20094976 140737351529459 140737351529737 140737351529737 140737351532495 0
/proc/9421/statm: 3752914 20504 2882 1 0 3715374 0
[pid=9421/tid=9423] ppid=9418 vsize=15011656 memory=8389772277269004345 CPUtime=0.19 cores=0,2,4,6
/proc/9421/task/9423/stat : 9423 (java) R 9418 9421 2271 0 -1 4202560 8320 0 0 0 17 2 0 0 20 0 15 0 52782377 15371935744 20504 33554432000 4194304 4196468 140737351525376 139626166341760 139626178602260 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 20094976 140737351529459 140737351529737 140737351529737 140737351532495 0
[pid=9421/tid=9424] ppid=9418 vsize=15011656 memory=288230609019731991 CPUtime=0 cores=0,2,4,6
/proc/9421/task/9424/stat : 9424 (java) S 9418 9421 2271 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 52782378 15371935744 20504 33554432000 4194304 4196468 140737351525376 139626198764048 139626194532053 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20094976 140737351529459 140737351529737 140737351529737 140737351532495 0
[pid=9421/tid=9425] ppid=9418 vsize=15011656 memory=15956544988681880 CPUtime=0 cores=0,2,4,6
/proc/9421/task/9425/stat : 9425 (java) S 9418 9421 2271 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 52782378 15371935744 20504 33554432000 4194304 4196468 140737351525376 139625654901392 139626194532053 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20094976 140737351529459 140737351529737 140737351529737 140737351532495 0
[pid=9421/tid=9426] ppid=9418 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9421/task/9426/stat : 9426 (java) S 9418 9421 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 52782378 15371935744 20504 33554432000 4194304 4196468 140737351525376 139625653848336 139626194532053 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20094976 140737351529459 140737351529737 140737351529737 140737351532495 0
[pid=9421/tid=9427] ppid=9418 vsize=15011656 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/9421/task/9427/stat : 9427 (java) S 9418 9421 2271 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 52782378 15371935744 20504 33554432000 4194304 4196468 140737351525376 139625652795792 139626194532053 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20094976 140737351529459 140737351529737 140737351529737 140737351532495 0
[pid=9421/tid=9428] ppid=9418 vsize=15011656 memory=139845928261248 CPUtime=0 cores=0,2,4,6
/proc/9421/task/9428/stat : 9428 (java) S 9418 9421 2271 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 52782380 15371935744 20504 33554432000 4194304 4196468 140737351525376 139625232558832 139626194532994 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20094976 140737351529459 140737351529737 140737351529737 140737351532495 0
[pid=9421/tid=9429] ppid=9418 vsize=15011656 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/9421/task/9429/stat : 9429 (java) S 9418 9421 2271 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 52782380 15371935744 20504 33554432000 4194304 4196468 140737351525376 139624823383712 139626194532053 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20094976 140737351529459 140737351529737 140737351529737 140737351532495 0
[pid=9421/tid=9430] ppid=9418 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9421/task/9430/stat : 9430 (java) S 9418 9421 2271 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 52782380 15371935744 20504 33554432000 4194304 4196468 140737351525376 139624689161456 139626194532053 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20094976 140737351529459 140737351529737 140737351529737 140737351532495 0
[pid=9421/tid=9431] ppid=9418 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9421/task/9431/stat : 9431 (java) S 9418 9421 2271 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 52782383 15371935744 20504 33554432000 4194304 4196468 140737351525376 139624314657232 139626194540443 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20094976 140737351529459 140737351529737 140737351529737 140737351532495 0
[pid=9421/tid=9432] ppid=9418 vsize=15011656 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/9421/task/9432/stat : 9432 (java) S 9418 9421 2271 0 -1 1077944384 436 0 0 0 1 0 0 0 20 0 15 0 52782383 15371935744 20504 33554432000 4194304 4196468 140737351525376 139625231505648 139626194532994 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20094976 140737351529459 140737351529737 140737351529737 140737351532495 0
[pid=9421/tid=9433] ppid=9418 vsize=15011656 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/9421/task/9433/stat : 9433 (java) S 9418 9421 2271 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 15 0 52782383 15371935744 20504 33554432000 4194304 4196468 140737351525376 139625230453104 139626194532994 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20094976 140737351529459 140737351529737 140737351529737 140737351532495 0
[pid=9421/tid=9434] ppid=9418 vsize=15011656 memory=139845928261248 CPUtime=0.02 cores=0,2,4,6
/proc/9421/task/9434/stat : 9434 (java) R 9418 9421 2271 0 -1 4202560 342 0 0 0 2 0 0 0 20 0 15 0 52782383 15371935744 20504 33554432000 4194304 4196468 140737351525376 139625229400048 139626194533782 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 20094976 140737351529459 140737351529737 140737351529737 140737351532495 0
[pid=9421/tid=9435] ppid=9418 vsize=15011656 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/9421/task/9435/stat : 9435 (java) S 9418 9421 2271 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 52782383 15371935744 20504 33554432000 4194304 4196468 140737351525376 139623816751456 139626194532053 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20094976 140737351529459 140737351529737 140737351529737 140737351532495 0
[pid=9421/tid=9436] ppid=9418 vsize=15011656 memory=139845928261248 CPUtime=0 cores=0,2,4,6
/proc/9421/task/9436/stat : 9436 (java) S 9418 9421 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 52782383 15371935744 20504 33554432000 4194304 4196468 140737351525376 139625228348464 139626194532994 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20094976 140737351529459 140737351529737 140737351529737 140737351532495 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 15011656 KiB
Current children cumulated memory: 82016 KiB
[startup+0.310529 s]*
/proc/loadavg: 2.37 2.11 2.07 3/220 9436
/proc/meminfo: memFree=15992956/32770624 swapFree=67108860/67108860
[pid=9421] ppid=9418 vsize=15011656 memory=86432 CPUtime=0.42 cores=0,2,4,6
/proc/9421/stat : 9421 (java) S 9418 9421 2271 0 -1 1077944320 11217 0 0 0 39 3 0 0 20 0 15 0 52782376 15371935744 21608 33554432000 4194304 4196468 140737351525376 140737351507920 139626194521847 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 20094976 140737351529459 140737351529737 140737351529737 140737351532495 0
/proc/9421/statm: 3752914 21608 3011 1 0 3715374 0
[pid=9421/tid=9423] ppid=9418 vsize=15011656 memory=8389772277269004345 CPUtime=0.29 cores=0,2,4,6
/proc/9421/task/9423/stat : 9423 (java) R 9418 9421 2271 0 -1 4202560 8755 0 0 0 27 2 0 0 20 0 15 0 52782377 15371935744 21608 33554432000 4194304 4196468 140737351525376 139626166326000 139626174797181 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 20094976 140737351529459 140737351529737 140737351529737 140737351532495 0
[pid=9421/tid=9424] ppid=9418 vsize=15011656 memory=317785485869331816 CPUtime=0 cores=0,2,4,6
/proc/9421/task/9424/stat : 9424 (java) S 9418 9421 2271 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 52782378 15371935744 21608 33554432000 4194304 4196468 140737351525376 139626198764048 139626194532053 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20094976 140737351529459 140737351529737 140737351529737 140737351532495 0
[pid=9421/tid=9425] ppid=9418 vsize=15011656 memory=15816699060787383 CPUtime=0 cores=0,2,4,6
/proc/9421/task/9425/stat : 9425 (java) S 9418 9421 2271 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 52782378 15371935744 21608 33554432000 4194304 4196468 140737351525376 139625654901392 139626194532053 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20094976 140737351529459 140737351529737 140737351529737 140737351532495 0
[pid=9421/tid=9426] ppid=9418 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9421/task/9426/stat : 9426 (java) S 9418 9421 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 52782378 15371935744 21608 33554432000 4194304 4196468 140737351525376 139625653848336 139626194532053 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20094976 140737351529459 140737351529737 140737351529737 140737351532495 0
[pid=9421/tid=9427] ppid=9418 vsize=15011656 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/9421/task/9427/stat : 9427 (java) S 9418 9421 2271 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 52782378 15371935744 21608 33554432000 4194304 4196468 140737351525376 139625652795792 139626194532053 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20094976 140737351529459 140737351529737 140737351529737 140737351532495 0
[pid=9421/tid=9428] ppid=9418 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9421/task/9428/stat : 9428 (java) S 9418 9421 2271 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 52782380 15371935744 21608 33554432000 4194304 4196468 140737351525376 139625232558832 139626194532994 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20094976 140737351529459 140737351529737 140737351529737 140737351532495 0
[pid=9421/tid=9429] ppid=9418 vsize=15011656 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/9421/task/9429/stat : 9429 (java) S 9418 9421 2271 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 52782380 15371935744 21608 33554432000 4194304 4196468 140737351525376 139624823383712 139626194532053 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20094976 140737351529459 140737351529737 140737351529737 140737351532495 0
[pid=9421/tid=9430] ppid=9418 vsize=15011656 memory=139845928261248 CPUtime=0 cores=0,2,4,6
/proc/9421/task/9430/stat : 9430 (java) S 9418 9421 2271 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 52782380 15371935744 21608 33554432000 4194304 4196468 140737351525376 139624689161456 139626194532053 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20094976 140737351529459 140737351529737 140737351529737 140737351532495 0
[pid=9421/tid=9431] ppid=9418 vsize=15011656 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/9421/task/9431/stat : 9431 (java) S 9418 9421 2271 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 52782383 15371935744 21608 33554432000 4194304 4196468 140737351525376 139624314657232 139626194540443 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20094976 140737351529459 140737351529737 140737351529737 140737351532495 0
[pid=9421/tid=9432] ppid=9418 vsize=15011656 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/9421/task/9432/stat : 9432 (java) S 9418 9421 2271 0 -1 1077944384 500 0 0 0 2 0 0 0 20 0 15 0 52782383 15371935744 21608 33554432000 4194304 4196468 140737351525376 139625231505648 139626194532994 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20094976 140737351529459 140737351529737 140737351529737 140737351532495 0
[pid=9421/tid=9433] ppid=9418 vsize=15011656 memory=-1 CPUtime=0.02 cores=0,2,4,6
/proc/9421/task/9433/stat : 9433 (java) S 9418 9421 2271 0 -1 1077944384 143 0 0 0 2 0 0 0 20 0 15 0 52782383 15371935744 21608 33554432000 4194304 4196468 140737351525376 139625230453104 139626194532994 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20094976 140737351529459 140737351529737 140737351529737 140737351532495 0
[pid=9421/tid=9434] ppid=9418 vsize=15011656 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/9421/task/9434/stat : 9434 (java) S 9418 9421 2271 0 -1 1077944384 460 0 0 0 7 0 0 0 20 0 15 0 52782383 15371935744 21608 33554432000 4194304 4196468 140737351525376 139625229400048 139626194532994 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20094976 140737351529459 140737351529737 140737351529737 140737351532495 0
[pid=9421/tid=9435] ppid=9418 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9421/task/9435/stat : 9435 (java) S 9418 9421 2271 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 52782383 15371935744 21608 33554432000 4194304 4196468 140737351525376 139623816751456 139626194532053 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20094976 140737351529459 140737351529737 140737351529737 140737351532495 0
[pid=9421/tid=9436] ppid=9418 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9421/task/9436/stat : 9436 (java) S 9418 9421 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 52782383 15371935744 21608 33554432000 4194304 4196468 140737351525376 139625228348464 139626194532994 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20094976 140737351529459 140737351529737 140737351529737 140737351532495 0
Current children cumulated CPU time: 0.42 s
Current children cumulated vsize: 15011656 KiB
Current children cumulated memory: 86432 KiB
[startup+0.70548 s]
/proc/loadavg: 2.37 2.11 2.07 3/220 9436
/proc/meminfo: memFree=15967780/32770624 swapFree=67108860/67108860
[pid=9421] ppid=9418 vsize=15020052 memory=126828 CPUtime=1 cores=0,2,4,6
/proc/9421/stat : 9421 (java) S 9418 9421 2271 0 -1 1077944320 18520 0 0 0 94 6 0 0 20 0 15 0 52782376 15380533248 31707 33554432000 4194304 4196468 140737351525376 140737351507920 139626194521847 0 0 0 25189583 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 20094976 140737351529459 140737351529737 140737351529737 140737351532495 0
/proc/9421/statm: 3755013 31707 3161 1 0 3716398 0
[pid=9421/tid=9423] ppid=9418 vsize=15020052 memory=796 CPUtime=0.67 cores=0,2,4,6
/proc/9421/task/9423/stat : 9423 (java) R 9418 9421 2271 0 -1 4202560 15533 0 0 0 63 4 0 0 20 0 15 0 52782377 15380533248 31707 33554432000 4194304 4196468 140737351525376 139626166355232 139626186758974 0 4 0 25189583 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 20094976 140737351529459 140737351529737 140737351529737 140737351532495 0
[pid=9421/tid=9424] ppid=9418 vsize=15020052 memory=1012 CPUtime=0 cores=0,2,4,6
/proc/9421/task/9424/stat : 9424 (java) S 9418 9421 2271 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 52782378 15380533248 31707 33554432000 4194304 4196468 140737351525376 139626198764048 139626194532053 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20094976 140737351529459 140737351529737 140737351529737 140737351532495 0
[pid=9421/tid=9425] ppid=9418 vsize=15020052 memory=1228 CPUtime=0 cores=0,2,4,6
/proc/9421/task/9425/stat : 9425 (java) S 9418 9421 2271 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 52782378 15380533248 31707 33554432000 4194304 4196468 140737351525376 139625654901392 139626194532053 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20094976 140737351529459 140737351529737 140737351529737 140737351532495 0
[pid=9421/tid=9426] ppid=9418 vsize=15020052 memory=2241 CPUtime=0 cores=0,2,4,6
/proc/9421/task/9426/stat : 9426 (java) S 9418 9421 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 52782378 15380533248 31707 33554432000 4194304 4196468 140737351525376 139625653848336 139626194532053 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20094976 140737351529459 140737351529737 140737351529737 140737351532495 0
[pid=9421/tid=9427] ppid=9418 vsize=15020052 memory=2244 CPUtime=0 cores=0,2,4,6
/proc/9421/task/9427/stat : 9427 (java) S 9418 9421 2271 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 52782378 15380533248 31707 33554432000 4194304 4196468 140737351525376 139625652795792 139626194532053 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20094976 140737351529459 140737351529737 140737351529737 140737351532495 0
[pid=9421/tid=9428] ppid=9418 vsize=15020052 memory=279691626063648 CPUtime=0 cores=0,2,4,6
/proc/9421/task/9428/stat : 9428 (java) S 9418 9421 2271 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 52782380 15380533248 31707 33554432000 4194304 4196468 140737351525376 139625232558832 139626194532994 0 0 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20094976 140737351529459 140737351529737 140737351529737 140737351532495 0
[pid=9421/tid=9429] ppid=9418 vsize=15020052 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9421/task/9429/stat : 9429 (java) S 9418 9421 2271 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 52782380 15380533248 31707 33554432000 4194304 4196468 140737351525376 139624823383712 139626194532053 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20094976 140737351529459 140737351529737 140737351529737 140737351532495 0
[pid=9421/tid=9430] ppid=9418 vsize=15020052 memory=1936 CPUtime=0 cores=0,2,4,6
/proc/9421/task/9430/stat : 9430 (java) S 9418 9421 2271 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 52782380 15380533248 31707 33554432000 4194304 4196468 140737351525376 139624689161456 139626194532053 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20094976 140737351529459 140737351529737 140737351529737 140737351532495 0
[pid=9421/tid=9431] ppid=9418 vsize=15020052 memory=1196 CPUtime=0 cores=0,2,4,6
/proc/9421/task/9431/stat : 9431 (java) S 9418 9421 2271 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 52782383 15380533248 31707 33554432000 4194304 4196468 140737351525376 139624314657232 139626194540443 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20094976 140737351529459 140737351529737 140737351529737 140737351532495 0
[pid=9421/tid=9432] ppid=9418 vsize=15020052 memory=8380 CPUtime=0.08 cores=0,2,4,6
/proc/9421/task/9432/stat : 9432 (java) R 9418 9421 2271 0 -1 4202560 750 0 0 0 8 0 0 0 20 0 15 0 52782383 15380533248 31707 33554432000 4194304 4196468 140737351525376 139625231492192 139626172116640 0 4 0 25189583 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 20094976 140737351529459 140737351529737 140737351529737 140737351532495 0
[pid=9421/tid=9433] ppid=9418 vsize=15020052 memory=7307210974946176466 CPUtime=0.06 cores=0,2,4,6
/proc/9421/task/9433/stat : 9433 (java) S 9418 9421 2271 0 -1 1077944384 222 0 0 0 6 0 0 0 20 0 15 0 52782383 15380533248 31707 33554432000 4194304 4196468 140737351525376 139625230453104 139626194532994 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20094976 140737351529459 140737351529737 140737351529737 140737351532495 0
[pid=9421/tid=9434] ppid=9418 vsize=15020052 memory=7302135314614015847 CPUtime=0.15 cores=0,2,4,6
/proc/9421/task/9434/stat : 9434 (java) S 9418 9421 2271 0 -1 1077944384 654 0 0 0 15 0 0 0 20 0 15 0 52782383 15380533248 31707 33554432000 4194304 4196468 140737351525376 139625229400048 139626194532994 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20094976 140737351529459 140737351529737 140737351529737 140737351532495 0
[pid=9421/tid=9435] ppid=9418 vsize=15020052 memory=7885635084775281008 CPUtime=0 cores=0,2,4,6
/proc/9421/task/9435/stat : 9435 (java) S 9418 9421 2271 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 52782383 15380533248 31707 33554432000 4194304 4196468 140737351525376 139623816751456 139626194532053 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20094976 140737351529459 140737351529737 140737351529737 140737351532495 0
[pid=9421/tid=9436] ppid=9418 vsize=15020052 memory=18448 CPUtime=0 cores=0,2,4,6
/proc/9421/task/9436/stat : 9436 (java) S 9418 9421 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 52782383 15380533248 31707 33554432000 4194304 4196468 140737351525376 139625228348464 139626194532994 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20094976 140737351529459 140737351529737 140737351529737 140737351532495 0
Current children cumulated CPU time: 1 s
Current children cumulated vsize: 15020052 KiB
Current children cumulated memory: 126828 KiB
[startup+1.50082 s]
/proc/loadavg: 2.37 2.11 2.07 4/220 9436
/proc/meminfo: memFree=15941292/32770624 swapFree=67108860/67108860
[pid=9421] ppid=9418 vsize=15026264 memory=176048 CPUtime=2.89 cores=0,2,4,6
/proc/9421/stat : 9421 (java) S 9418 9421 2271 0 -1 1077944320 22574 0 0 0 280 9 0 0 20 0 15 0 52782376 15386894336 44012 33554432000 4194304 4196468 140737351525376 140737351507920 139626194521847 0 0 0 25189583 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 20094976 140737351529459 140737351529737 140737351529737 140737351532495 0
/proc/9421/statm: 3756566 44012 3212 1 0 3717422 0
[pid=9421/tid=9423] ppid=9418 vsize=15026264 memory=288230377108275491 CPUtime=1.46 cores=0,2,4,6
/proc/9421/task/9423/stat : 9423 (java) R 9418 9421 2271 0 -1 4202560 16882 0 0 0 140 6 0 0 20 0 15 0 52782377 15386894336 44012 33554432000 4194304 4196468 140737351525376 139626166358816 139626175928146 0 4 0 25189583 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 20094976 140737351529459 140737351529737 140737351529737 140737351532495 0
[pid=9421/tid=9424] ppid=9418 vsize=15026264 memory=288293289789228285 CPUtime=0 cores=0,2,4,6
/proc/9421/task/9424/stat : 9424 (java) S 9418 9421 2271 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 52782378 15386894336 44012 33554432000 4194304 4196468 140737351525376 139626198764048 139626194532053 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20094976 140737351529459 140737351529737 140737351529737 140737351532495 0
[pid=9421/tid=9425] ppid=9418 vsize=15026264 memory=288285580272600099 CPUtime=0 cores=0,2,4,6
/proc/9421/task/9425/stat : 9425 (java) S 9418 9421 2271 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 52782378 15386894336 44012 33554432000 4194304 4196468 140737351525376 139625654901392 139626194532053 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20094976 140737351529459 140737351529737 140737351529737 140737351532495 0
[pid=9421/tid=9426] ppid=9418 vsize=15026264 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9421/task/9426/stat : 9426 (java) S 9418 9421 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 52782378 15386894336 44012 33554432000 4194304 4196468 140737351525376 139625653848336 139626194532053 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20094976 140737351529459 140737351529737 140737351529737 140737351532495 0
[pid=9421/tid=9427] ppid=9418 vsize=15026264 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9421/task/9427/stat : 9427 (java) S 9418 9421 2271 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 52782378 15386894336 44012 33554432000 4194304 4196468 140737351525376 139625652795792 139626194532053 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20094976 140737351529459 140737351529737 140737351529737 140737351532495 0
[pid=9421/tid=9428] ppid=9418 vsize=15026264 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9421/task/9428/stat : 9428 (java) S 9418 9421 2271 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 52782380 15386894336 44012 33554432000 4194304 4196468 140737351525376 139625232558832 139626194532994 0 0 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20094976 140737351529459 140737351529737 140737351529737 140737351532495 0
################
# More data... #
################
/proc/9421/task/9436/stat : 9436 (java) S 9418 9421 2271 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 52782383 16058228736 49757 33554432000 4194304 4196468 140737351525376 139625228348464 139626194532994 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20094976 140737351529459 140737351529737 140737351529737 140737351532495 0
[pid=9421/tid=9438] ppid=9418 vsize=15681864 memory=17668 CPUtime=0 cores=0,2,4,6
/proc/9421/task/9438/stat : 9438 (java) S 9418 9421 2271 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 52782536 16058228736 49757 33554432000 4194304 4196468 140737351525376 139625227294528 139626194546457 0 4 0 25189583 18446744071579417331 0 0 -1 6 0 0 0 0 0 6293624 6294260 20094976 140737351529459 140737351529737 140737351529737 140737351532495 0
[pid=9421/tid=9440] ppid=9418 vsize=15681864 memory=17700 CPUtime=0 cores=0,2,4,6
/proc/9421/task/9440/stat : 9440 (java) S 9418 9421 2271 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 52782536 16058228736 49757 33554432000 4194304 4196468 140737351525376 139623279865648 139626194543773 0 4 0 25189583 18446744071580971376 0 0 -1 6 0 0 0 0 0 6293624 6294260 20094976 140737351529459 140737351529737 140737351529737 140737351532495 0
[pid=9421/tid=9441] ppid=9418 vsize=15681864 memory=6944652177228980320 CPUtime=0 cores=0,2,4,6
/proc/9421/task/9441/stat : 9441 (java) S 9418 9421 2271 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 19 0 52782536 16058228736 49757 33554432000 4194304 4196468 140737351525376 139623414087088 139626194543773 0 4 0 25189583 18446744071580971376 0 0 -1 6 0 0 0 0 0 6293624 6294260 20094976 140737351529459 140737351529737 140737351529737 140737351532495 0
[pid=9421/tid=9442] ppid=9418 vsize=15681864 memory=-4695052241013923951 CPUtime=0 cores=0,2,4,6
/proc/9421/task/9442/stat : 9442 (java) S 9418 9421 2271 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 19 0 52782538 16058228736 49757 33554432000 4194304 4196468 140737351525376 139623011441952 139626194532053 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20094976 140737351529459 140737351529737 140737351529737 140737351532495 0
Current children cumulated CPU time: 9.58 s
Current children cumulated vsize: 15710480 KiB
Current children cumulated memory: 210860 KiB
[startup+8.80071 s]
/proc/loadavg: 2.31 2.10 2.07 3/225 9442
/proc/meminfo: memFree=15866124/32770624 swapFree=67108860/67108860
[pid=9421] ppid=9418 vsize=15681864 memory=199028 CPUtime=3.18 cores=0,2,4,6
/proc/9421/stat : 9421 (java) S 9418 9421 2271 0 -1 1077944320 23244 0 0 0 308 10 0 0 20 0 19 0 52782376 16058228736 49757 33554432000 4194304 4196468 140737351525376 140737351507920 139626194521847 0 0 0 25189583 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 20094976 140737351529459 140737351529737 140737351529737 140737351532495 0
/proc/9421/statm: 3920466 49757 3216 1 0 3881322 0
[pid=9437] ppid=9421 vsize=28616 memory=11908 CPUtime=7.19 cores=0,2,4,6
/proc/9437/stat : 9437 (minisat_release) R 9421 9421 2271 0 -1 4202496 5793 0 0 0 719 0 0 0 20 0 1 0 52782535 29302784 2977 33554432000 4194304 4308513 140723461095760 140723461092760 4275699 0 4 0 8396802 0 0 0 17 0 0 0 0 0 0 6409496 6410680 15036416 140723461100209 140723461100718 140723461100718 140723461103557 0
/proc/9437/statm: 7154 2977 346 28 0 3394 0
[pid=9421/tid=9423] ppid=9418 vsize=15681864 memory=1228 CPUtime=1.59 cores=0,2,4,6
/proc/9421/task/9423/stat : 9423 (java) S 9418 9421 2271 0 -1 1077944384 17284 0 0 0 153 6 0 0 20 0 19 0 52782377 16058228736 49757 33554432000 4194304 4196468 140737351525376 139626166361088 139626194532053 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20094976 140737351529459 140737351529737 140737351529737 140737351532495 0
[pid=9421/tid=9424] ppid=9418 vsize=15681864 memory=1704 CPUtime=0 cores=0,2,4,6
/proc/9421/task/9424/stat : 9424 (java) S 9418 9421 2271 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 52782378 16058228736 49757 33554432000 4194304 4196468 140737351525376 139626198764048 139626194532053 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20094976 140737351529459 140737351529737 140737351529737 140737351532495 0
[pid=9421/tid=9425] ppid=9418 vsize=15681864 memory=6944652177228980320 CPUtime=0 cores=0,2,4,6
/proc/9421/task/9425/stat : 9425 (java) S 9418 9421 2271 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 52782378 16058228736 49757 33554432000 4194304 4196468 140737351525376 139625654901392 139626194532053 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20094976 140737351529459 140737351529737 140737351529737 140737351532495 0
[pid=9421/tid=9426] ppid=9418 vsize=15681864 memory=7380106142448642154 CPUtime=0 cores=0,2,4,6
/proc/9421/task/9426/stat : 9426 (java) S 9418 9421 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 52782378 16058228736 49757 33554432000 4194304 4196468 140737351525376 139625653848336 139626194532053 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20094976 140737351529459 140737351529737 140737351529737 140737351532495 0
[pid=9421/tid=9427] ppid=9418 vsize=15681864 memory=6154820267226784105 CPUtime=0 cores=0,2,4,6
/proc/9421/task/9427/stat : 9427 (java) S 9418 9421 2271 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 52782378 16058228736 49757 33554432000 4194304 4196468 140737351525376 139625652795792 139626194532053 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20094976 140737351529459 140737351529737 140737351529737 140737351532495 0
[pid=9421/tid=9428] ppid=9418 vsize=15681864 memory=5795117241467496816 CPUtime=0 cores=0,2,4,6
/proc/9421/task/9428/stat : 9428 (java) S 9418 9421 2271 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 19 0 52782380 16058228736 49757 33554432000 4194304 4196468 140737351525376 139625232558832 139626194532994 0 0 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20094976 140737351529459 140737351529737 140737351529737 140737351532495 0
[pid=9421/tid=9429] ppid=9418 vsize=15681864 memory=4639059877604708710 CPUtime=0 cores=0,2,4,6
/proc/9421/task/9429/stat : 9429 (java) S 9418 9421 2271 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 52782380 16058228736 49757 33554432000 4194304 4196468 140737351525376 139624823383712 139626194532053 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20094976 140737351529459 140737351529737 140737351529737 140737351532495 0
[pid=9421/tid=9430] ppid=9418 vsize=15681864 memory=6935650355287975249 CPUtime=0 cores=0,2,4,6
/proc/9421/task/9430/stat : 9430 (java) S 9418 9421 2271 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 19 0 52782380 16058228736 49757 33554432000 4194304 4196468 140737351525376 139624689161456 139626194532053 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20094976 140737351529459 140737351529737 140737351529737 140737351532495 0
[pid=9421/tid=9431] ppid=9418 vsize=15681864 memory=337 CPUtime=0 cores=0,2,4,6
/proc/9421/task/9431/stat : 9431 (java) S 9418 9421 2271 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 52782383 16058228736 49757 33554432000 4194304 4196468 140737351525376 139624314657232 139626194540443 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20094976 140737351529459 140737351529737 140737351529737 140737351532495 0
[pid=9421/tid=9432] ppid=9418 vsize=15681864 memory=0 CPUtime=0.4 cores=0,2,4,6
/proc/9421/task/9432/stat : 9432 (java) S 9418 9421 2271 0 -1 1077944384 1039 0 0 0 40 0 0 0 20 0 19 0 52782383 16058228736 49757 33554432000 4194304 4196468 140737351525376 139625231505648 139626194532994 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20094976 140737351529459 140737351529737 140737351529737 140737351532495 0
[pid=9421/tid=9433] ppid=9418 vsize=15681864 memory=87 CPUtime=0.42 cores=0,2,4,6
/proc/9421/task/9433/stat : 9433 (java) S 9418 9421 2271 0 -1 1077944384 689 0 0 0 41 1 0 0 20 0 19 0 52782383 16058228736 49757 33554432000 4194304 4196468 140737351525376 139625230453104 139626194532994 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20094976 140737351529459 140737351529737 140737351529737 140737351532495 0
[pid=9421/tid=9434] ppid=9418 vsize=15681864 memory=152 CPUtime=0.72 cores=0,2,4,6
/proc/9421/task/9434/stat : 9434 (java) S 9418 9421 2271 0 -1 1077944384 2814 0 0 0 71 1 0 0 20 0 19 0 52782383 16058228736 49757 33554432000 4194304 4196468 140737351525376 139625229400048 139626194532994 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20094976 140737351529459 140737351529737 140737351529737 140737351532495 0
[pid=9421/tid=9435] ppid=9418 vsize=15681864 memory=31 CPUtime=0 cores=0,2,4,6
/proc/9421/task/9435/stat : 9435 (java) S 9418 9421 2271 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 52782383 16058228736 49757 33554432000 4194304 4196468 140737351525376 139623816751456 139626194532053 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20094976 140737351529459 140737351529737 140737351529737 140737351532495 0
[pid=9421/tid=9436] ppid=9418 vsize=15681864 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9421/task/9436/stat : 9436 (java) S 9418 9421 2271 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 52782383 16058228736 49757 33554432000 4194304 4196468 140737351525376 139625228348464 139626194532994 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20094976 140737351529459 140737351529737 140737351529737 140737351532495 0
[pid=9421/tid=9438] ppid=9418 vsize=15681864 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9421/task/9438/stat : 9438 (java) S 9418 9421 2271 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 52782536 16058228736 49757 33554432000 4194304 4196468 140737351525376 139625227294528 139626194546457 0 4 0 25189583 18446744071579417331 0 0 -1 6 0 0 0 0 0 6293624 6294260 20094976 140737351529459 140737351529737 140737351529737 140737351532495 0
[pid=9421/tid=9440] ppid=9418 vsize=15681864 memory=1728 CPUtime=0 cores=0,2,4,6
/proc/9421/task/9440/stat : 9440 (java) S 9418 9421 2271 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 52782536 16058228736 49757 33554432000 4194304 4196468 140737351525376 139623279865648 139626194543773 0 4 0 25189583 18446744071580971376 0 0 -1 6 0 0 0 0 0 6293624 6294260 20094976 140737351529459 140737351529737 140737351529737 140737351532495 0
[pid=9421/tid=9441] ppid=9418 vsize=15681864 memory=796 CPUtime=0 cores=0,2,4,6
/proc/9421/task/9441/stat : 9441 (java) S 9418 9421 2271 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 19 0 52782536 16058228736 49757 33554432000 4194304 4196468 140737351525376 139623414087088 139626194543773 0 4 0 25189583 18446744071580971376 0 0 -1 6 0 0 0 0 0 6293624 6294260 20094976 140737351529459 140737351529737 140737351529737 140737351532495 0
[pid=9421/tid=9442] ppid=9418 vsize=15681864 memory=1012 CPUtime=0 cores=0,2,4,6
/proc/9421/task/9442/stat : 9442 (java) S 9418 9421 2271 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 19 0 52782538 16058228736 49757 33554432000 4194304 4196468 140737351525376 139623011441952 139626194532053 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20094976 140737351529459 140737351529737 140737351529737 140737351532495 0
Current children cumulated CPU time: 10.37 s
Current children cumulated vsize: 15710480 KiB
Current children cumulated memory: 210936 KiB
[startup+9.20073 s]
/proc/loadavg: 2.31 2.10 2.07 3/225 9442
/proc/meminfo: memFree=15866252/32770624 swapFree=67108860/67108860
[pid=9421] ppid=9418 vsize=15681864 memory=199028 CPUtime=3.18 cores=0,2,4,6
/proc/9421/stat : 9421 (java) S 9418 9421 2271 0 -1 1077944320 23244 0 0 0 308 10 0 0 20 0 19 0 52782376 16058228736 49757 33554432000 4194304 4196468 140737351525376 140737351507920 139626194521847 0 0 0 25189583 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 20094976 140737351529459 140737351529737 140737351529737 140737351532495 0
/proc/9421/statm: 3920466 49757 3216 1 0 3881322 0
[pid=9437] ppid=9421 vsize=28616 memory=11908 CPUtime=7.59 cores=0,2,4,6
/proc/9437/stat : 9437 (minisat_release) R 9421 9421 2271 0 -1 4202496 6585 0 0 0 759 0 0 0 20 0 1 0 52782535 29302784 2977 33554432000 4194304 4308513 140723461095760 140723461092760 4276392 0 4 0 8396802 0 0 0 17 0 0 0 0 0 0 6409496 6410680 15036416 140723461100209 140723461100718 140723461100718 140723461103557 0
/proc/9437/statm: 7154 2977 346 28 0 3394 0
[pid=9421/tid=9423] ppid=9418 vsize=15681864 memory=0 CPUtime=1.59 cores=0,2,4,6
/proc/9421/task/9423/stat : 9423 (java) S 9418 9421 2271 0 -1 1077944384 17284 0 0 0 153 6 0 0 20 0 19 0 52782377 16058228736 49757 33554432000 4194304 4196468 140737351525376 139626166361088 139626194532053 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20094976 140737351529459 140737351529737 140737351529737 140737351532495 0
[pid=9421/tid=9424] ppid=9418 vsize=15681864 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9421/task/9424/stat : 9424 (java) S 9418 9421 2271 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 52782378 16058228736 49757 33554432000 4194304 4196468 140737351525376 139626198764048 139626194532053 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20094976 140737351529459 140737351529737 140737351529737 140737351532495 0
[pid=9421/tid=9425] ppid=9418 vsize=15681864 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9421/task/9425/stat : 9425 (java) S 9418 9421 2271 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 52782378 16058228736 49757 33554432000 4194304 4196468 140737351525376 139625654901392 139626194532053 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20094976 140737351529459 140737351529737 140737351529737 140737351532495 0
[pid=9421/tid=9426] ppid=9418 vsize=15681864 memory=6943526294502006880 CPUtime=0 cores=0,2,4,6
/proc/9421/task/9426/stat : 9426 (java) S 9418 9421 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 52782378 16058228736 49757 33554432000 4194304 4196468 140737351525376 139625653848336 139626194532053 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20094976 140737351529459 140737351529737 140737351529737 140737351532495 0
[pid=9421/tid=9427] ppid=9418 vsize=15681864 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9421/task/9427/stat : 9427 (java) S 9418 9421 2271 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 52782378 16058228736 49757 33554432000 4194304 4196468 140737351525376 139625652795792 139626194532053 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20094976 140737351529459 140737351529737 140737351529737 140737351532495 0
[pid=9421/tid=9428] ppid=9418 vsize=15681864 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9421/task/9428/stat : 9428 (java) S 9418 9421 2271 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 19 0 52782380 16058228736 49757 33554432000 4194304 4196468 140737351525376 139625232558832 139626194532994 0 0 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20094976 140737351529459 140737351529737 140737351529737 140737351532495 0
[pid=9421/tid=9429] ppid=9418 vsize=15681864 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9421/task/9429/stat : 9429 (java) S 9418 9421 2271 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 52782380 16058228736 49757 33554432000 4194304 4196468 140737351525376 139624823383712 139626194532053 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20094976 140737351529459 140737351529737 140737351529737 140737351532495 0
[pid=9421/tid=9430] ppid=9418 vsize=15681864 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9421/task/9430/stat : 9430 (java) S 9418 9421 2271 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 19 0 52782380 16058228736 49757 33554432000 4194304 4196468 140737351525376 139624689161456 139626194532053 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20094976 140737351529459 140737351529737 140737351529737 140737351532495 0
[pid=9421/tid=9431] ppid=9418 vsize=15681864 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9421/task/9431/stat : 9431 (java) S 9418 9421 2271 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 52782383 16058228736 49757 33554432000 4194304 4196468 140737351525376 139624314657232 139626194540443 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20094976 140737351529459 140737351529737 140737351529737 140737351532495 0
[pid=9421/tid=9432] ppid=9418 vsize=15681864 memory=0 CPUtime=0.4 cores=0,2,4,6
/proc/9421/task/9432/stat : 9432 (java) S 9418 9421 2271 0 -1 1077944384 1039 0 0 0 40 0 0 0 20 0 19 0 52782383 16058228736 49757 33554432000 4194304 4196468 140737351525376 139625231505648 139626194532994 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20094976 140737351529459 140737351529737 140737351529737 140737351532495 0
[pid=9421/tid=9433] ppid=9418 vsize=15681864 memory=0 CPUtime=0.42 cores=0,2,4,6
/proc/9421/task/9433/stat : 9433 (java) S 9418 9421 2271 0 -1 1077944384 689 0 0 0 41 1 0 0 20 0 19 0 52782383 16058228736 49757 33554432000 4194304 4196468 140737351525376 139625230453104 139626194532994 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20094976 140737351529459 140737351529737 140737351529737 140737351532495 0
[pid=9421/tid=9434] ppid=9418 vsize=15681864 memory=0 CPUtime=0.72 cores=0,2,4,6
/proc/9421/task/9434/stat : 9434 (java) S 9418 9421 2271 0 -1 1077944384 2814 0 0 0 71 1 0 0 20 0 19 0 52782383 16058228736 49757 33554432000 4194304 4196468 140737351525376 139625229400048 139626194532994 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20094976 140737351529459 140737351529737 140737351529737 140737351532495 0
[pid=9421/tid=9435] ppid=9418 vsize=15681864 memory=199028 CPUtime=0 cores=0,2,4,6
/proc/9421/task/9435/stat : 9435 (java) S 9418 9421 2271 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 52782383 16058228736 49757 33554432000 4194304 4196468 140737351525376 139623816751456 139626194532053 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20094976 140737351529459 140737351529737 140737351529737 140737351532495 0
[pid=9421/tid=9436] ppid=9418 vsize=15681864 memory=11908 CPUtime=0 cores=0,2,4,6
/proc/9421/task/9436/stat : 9436 (java) S 9418 9421 2271 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 52782383 16058228736 49757 33554432000 4194304 4196468 140737351525376 139625228348464 139626194532994 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20094976 140737351529459 140737351529737 140737351529737 140737351532495 0
[pid=9421/tid=9438] ppid=9418 vsize=15681864 memory=139845813405644 CPUtime=0 cores=0,2,4,6
/proc/9421/task/9438/stat : 9438 (java) S 9418 9421 2271 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 52782536 16058228736 49757 33554432000 4194304 4196468 140737351525376 139625227294528 139626194546457 0 4 0 25189583 18446744071579417331 0 0 -1 6 0 0 0 0 0 6293624 6294260 20094976 140737351529459 140737351529737 140737351529737 140737351532495 0
[pid=9421/tid=9440] ppid=9418 vsize=15681864 memory=279691626819200 CPUtime=0 cores=0,2,4,6
/proc/9421/task/9440/stat : 9440 (java) S 9418 9421 2271 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 52782536 16058228736 49757 33554432000 4194304 4196468 140737351525376 139623279865648 139626194543773 0 4 0 25189583 18446744071580971376 0 0 -1 6 0 0 0 0 0 6293624 6294260 20094976 140737351529459 140737351529737 140737351529737 140737351532495 0
[pid=9421/tid=9441] ppid=9418 vsize=15681864 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9421/task/9441/stat : 9441 (java) S 9418 9421 2271 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 19 0 52782536 16058228736 49757 33554432000 4194304 4196468 140737351525376 139623414087088 139626194543773 0 4 0 25189583 18446744071580971376 0 0 -1 6 0 0 0 0 0 6293624 6294260 20094976 140737351529459 140737351529737 140737351529737 140737351532495 0
[pid=9421/tid=9442] ppid=9418 vsize=15681864 memory=279691626382512 CPUtime=0 cores=0,2,4,6
/proc/9421/task/9442/stat : 9442 (java) S 9418 9421 2271 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 19 0 52782538 16058228736 49757 33554432000 4194304 4196468 140737351525376 139623011441952 139626194532053 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20094976 140737351529459 140737351529737 140737351529737 140737351532495 0
Current children cumulated CPU time: 10.77 s
Current children cumulated vsize: 15710480 KiB
Current children cumulated memory: 210936 KiB
[startup+9.30072 s]
/proc/loadavg: 2.31 2.10 2.07 3/225 9442
/proc/meminfo: memFree=15866252/32770624 swapFree=67108860/67108860
[pid=9421] ppid=9418 vsize=15681864 memory=199028 CPUtime=3.18 cores=0,2,4,6
/proc/9421/stat : 9421 (java) S 9418 9421 2271 0 -1 1077944320 23244 0 0 0 308 10 0 0 20 0 19 0 52782376 16058228736 49757 33554432000 4194304 4196468 140737351525376 140737351507920 139626194521847 0 0 0 25189583 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 20094976 140737351529459 140737351529737 140737351529737 140737351532495 0
/proc/9421/statm: 3920466 49757 3216 1 0 3881322 0
[pid=9437] ppid=9421 vsize=28616 memory=11908 CPUtime=7.69 cores=0,2,4,6
/proc/9437/stat : 9437 (minisat_release) R 9421 9421 2271 0 -1 4202496 6858 0 0 0 769 0 0 0 20 0 1 0 52782535 29302784 2977 33554432000 4194304 4308513 140723461095760 140723461092760 4269582 0 4 0 8396802 0 0 0 17 0 0 0 0 0 0 6409496 6410680 15036416 140723461100209 140723461100718 140723461100718 140723461103557 0
/proc/9437/statm: 7154 2977 346 28 0 3394 0
[pid=9421/tid=9423] ppid=9418 vsize=15681864 memory=1292 CPUtime=1.59 cores=0,2,4,6
/proc/9421/task/9423/stat : 9423 (java) S 9418 9421 2271 0 -1 1077944384 17284 0 0 0 153 6 0 0 20 0 19 0 52782377 16058228736 49757 33554432000 4194304 4196468 140737351525376 139626166361088 139626194532053 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20094976 140737351529459 140737351529737 140737351529737 140737351532495 0
[pid=9421/tid=9424] ppid=9418 vsize=15681864 memory=1728 CPUtime=0 cores=0,2,4,6
/proc/9421/task/9424/stat : 9424 (java) S 9418 9421 2271 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 52782378 16058228736 49757 33554432000 4194304 4196468 140737351525376 139626198764048 139626194532053 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20094976 140737351529459 140737351529737 140737351529737 140737351532495 0
[pid=9421/tid=9425] ppid=9418 vsize=15681864 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9421/task/9425/stat : 9425 (java) S 9418 9421 2271 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 52782378 16058228736 49757 33554432000 4194304 4196468 140737351525376 139625654901392 139626194532053 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20094976 140737351529459 140737351529737 140737351529737 140737351532495 0
[pid=9421/tid=9426] ppid=9418 vsize=15681864 memory=6944656592455359580 CPUtime=0 cores=0,2,4,6
/proc/9421/task/9426/stat : 9426 (java) S 9418 9421 2271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 52782378 16058228736 49757 33554432000 4194304 4196468 140737351525376 139625653848336 139626194532053 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20094976 140737351529459 140737351529737 140737351529737 140737351532495 0
[pid=9421/tid=9427] ppid=9418 vsize=15681864 memory=199028 CPUtime=0 cores=0,2,4,6
/proc/9421/task/9427/stat : 9427 (java) S 9418 9421 2271 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 52782378 16058228736 49757 33554432000 4194304 4196468 140737351525376 139625652795792 139626194532053 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20094976 140737351529459 140737351529737 140737351529737 140737351532495 0
[pid=9421/tid=9428] ppid=9418 vsize=15681864 memory=11788 CPUtime=0 cores=0,2,4,6
/proc/9421/task/9428/stat : 9428 (java) S 9418 9421 2271 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 19 0 52782380 16058228736 49757 33554432000 4194304 4196468 140737351525376 139625232558832 139626194532994 0 0 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20094976 140737351529459 140737351529737 140737351529737 140737351532495 0
[pid=9421/tid=9429] ppid=9418 vsize=15681864 memory=7896318971486248851 CPUtime=0 cores=0,2,4,6
/proc/9421/task/9429/stat : 9429 (java) S 9418 9421 2271 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 52782380 16058228736 49757 33554432000 4194304 4196468 140737351525376 139624823383712 139626194532053 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20094976 140737351529459 140737351529737 140737351529737 140737351532495 0
[pid=9421/tid=9430] ppid=9418 vsize=15681864 memory=4136 CPUtime=0 cores=0,2,4,6
/proc/9421/task/9430/stat : 9430 (java) S 9418 9421 2271 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 19 0 52782380 16058228736 49757 33554432000 4194304 4196468 140737351525376 139624689161456 139626194532053 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20094976 140737351529459 140737351529737 140737351529737 140737351532495 0
[pid=9421/tid=9431] ppid=9418 vsize=15681864 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9421/task/9431/stat : 9431 (java) S 9418 9421 2271 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 52782383 16058228736 49757 33554432000 4194304 4196468 140737351525376 139624314657232 139626194540443 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20094976 140737351529459 140737351529737 140737351529737 140737351532495 0
[pid=9421/tid=9432] ppid=9418 vsize=15681864 memory=4580 CPUtime=0.4 cores=0,2,4,6
/proc/9421/task/9432/stat : 9432 (java) S 9418 9421 2271 0 -1 1077944384 1039 0 0 0 40 0 0 0 20 0 19 0 52782383 16058228736 49757 33554432000 4194304 4196468 140737351525376 139625231505648 139626194532994 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20094976 140737351529459 140737351529737 140737351529737 140737351532495 0
[pid=9421/tid=9433] ppid=9418 vsize=15681864 memory=55 CPUtime=0.42 cores=0,2,4,6
/proc/9421/task/9433/stat : 9433 (java) S 9418 9421 2271 0 -1 1077944384 689 0 0 0 41 1 0 0 20 0 19 0 52782383 16058228736 49757 33554432000 4194304 4196468 140737351525376 139625230453104 139626194532994 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20094976 140737351529459 140737351529737 140737351529737 140737351532495 0
[pid=9421/tid=9434] ppid=9418 vsize=15681864 memory=7668064883528848746 CPUtime=0.72 cores=0,2,4,6
/proc/9421/task/9434/stat : 9434 (java) S 9418 9421 2271 0 -1 1077944384 2814 0 0 0 71 1 0 0 20 0 19 0 52782383 16058228736 49757 33554432000 4194304 4196468 140737351525376 139625229400048 139626194532994 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20094976 140737351529459 140737351529737 140737351529737 140737351532495 0
[pid=9421/tid=9435] ppid=9418 vsize=15681864 memory=7668058346471645781 CPUtime=0 cores=0,2,4,6
/proc/9421/task/9435/stat : 9435 (java) S 9418 9421 2271 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 52782383 16058228736 49757 33554432000 4194304 4196468 140737351525376 139623816751456 139626194532053 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20094976 140737351529459 140737351529737 140737351529737 140737351532495 0
[pid=9421/tid=9436] ppid=9418 vsize=15681864 memory=7668064883528848746 CPUtime=0 cores=0,2,4,6
/proc/9421/task/9436/stat : 9436 (java) S 9418 9421 2271 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 52782383 16058228736 49757 33554432000 4194304 4196468 140737351525376 139625228348464 139626194532994 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20094976 140737351529459 140737351529737 140737351529737 140737351532495 0
[pid=9421/tid=9438] ppid=9418 vsize=15681864 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9421/task/9438/stat : 9438 (java) S 9418 9421 2271 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 52782536 16058228736 49757 33554432000 4194304 4196468 140737351525376 139625227294528 139626194546457 0 4 0 25189583 18446744071579417331 0 0 -1 6 0 0 0 0 0 6293624 6294260 20094976 140737351529459 140737351529737 140737351529737 140737351532495 0
[pid=9421/tid=9440] ppid=9418 vsize=15681864 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9421/task/9440/stat : 9440 (java) S 9418 9421 2271 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 52782536 16058228736 49757 33554432000 4194304 4196468 140737351525376 139623279865648 139626194543773 0 4 0 25189583 18446744071580971376 0 0 -1 6 0 0 0 0 0 6293624 6294260 20094976 140737351529459 140737351529737 140737351529737 140737351532495 0
[pid=9421/tid=9441] ppid=9418 vsize=15681864 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9421/task/9441/stat : 9441 (java) S 9418 9421 2271 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 19 0 52782536 16058228736 49757 33554432000 4194304 4196468 140737351525376 139623414087088 139626194543773 0 4 0 25189583 18446744071580971376 0 0 -1 6 0 0 0 0 0 6293624 6294260 20094976 140737351529459 140737351529737 140737351529737 140737351532495 0
[pid=9421/tid=9442] ppid=9418 vsize=15681864 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9421/task/9442/stat : 9442 (java) S 9418 9421 2271 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 19 0 52782538 16058228736 49757 33554432000 4194304 4196468 140737351525376 139623011441952 139626194532053 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20094976 140737351529459 140737351529737 140737351529737 140737351532495 0
Current children cumulated CPU time: 10.87 s
Current children cumulated vsize: 15710480 KiB
Current children cumulated memory: 210936 KiB
Child status: 0
Real time (s): 9.36597
CPU time (s): 10.9668
CPU user time (s): 10.8431
CPU system time (s): 0.123721
CPU usage (%): 117.092
Max. virtual memory (cumulated for all children) (KiB): 15710480
Max. memory (cumulated for all children) (KiB): 210936
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 10.8431
system time used= 0.123721
maximum resident set size= 201516
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 30159
page faults= 0
swaps= 0
block input operations= 0
block output operations= 152
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 3534
involuntary context switches= 22
# summary of solver processes directly reported to runsolver:
# pid: 9421
# total CPU time (s): 10.9668
# total CPU user time (s): 10.8431
# total CPU system time (s): 0.123721
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.093412 second user time and 0.125862 second system time
The end