0.66/0.52
0.66/0.52 scop both+minisat_release (2018-06-13)
0.66/0.52
0.66/0.55 c BEGIN-Prog: Thu Jul 26 11:37:46 CEST 2018
0.66/0.55 c PID: 4331
0.66/0.55 c IP: 172.20.3.134
0.66/0.55 c HOST: node134.alineos.net
0.66/0.56 c (0,0) Parsing Begin
1.42/0.93 c (0,0) Parsing End
1.42/0.94 c (0,0) CSP: 120 int (0 aux), 0 bool (0 aux), 114 ctr, max domain size 8
1.42/0.94 c (0,0) Heap : 112 MiB used (max 10795 MiB), NonHeap : 18 MiB used (max 0 MiB)
1.42/0.94 c (0,0) Constraint Name Generate Begin
1.42/0.95 c (0,0) Ctr:HOME/instance-4295939-1532597865.xml,AllDifferentMatrix:Element:Instantiation:IntVar
1.42/0.95 c (0,0) Constraint Name Generate End
1.42/0.95 c (0,0) Heap : 112 MiB used (max 10795 MiB), NonHeap : 19 MiB used (max 0 MiB)
1.42/0.95 c (0,0) CSP to CSPinCNF Begin
2.07/1.29 c (0,0) translated 12 (10%) constraints
2.32/1.31 c (0,0) translated 23 (20%) constraints
2.32/1.34 c (0,0) translated 35 (30%) constraints
2.32/1.35 c (0,0) translated 46 (40%) constraints
2.32/1.37 c (0,0) translated 57 (50%) constraints
2.32/1.38 c (0,0) translated 69 (60%) constraints
2.32/1.39 c (0,0) translated 80 (70%) constraints
2.64/1.40 c (0,0) translated 92 (80%) constraints
2.64/1.41 c (0,0) translated 103 (90%) constraints
2.64/1.42 c (0,0) translated 114 (100%) constraints
2.64/1.48 c (0,0) STATISTICS1:HOME/instance-4295939-1532597865.xml,AllDifferentMatrix:Element:Instantiation:IntVar,120,1384,8,8,8,2,8:1904;1:336,8:3584;1:264,8:32;3:896;2:448;1:8,2:2240;1:1168,
2.64/1.48 c (0,0) ===========================================
2.64/1.48 c (0,0) Both Encoding selects:
2.64/1.48 c (0,0) Order
2.64/1.48 c (0,0) ===========================================
2.94/1.51 c (0,0) translated 139 (10%) constraints
2.94/1.53 c (1,0) translated 277 (20%) constraints
2.94/1.54 c (1,0) translated 416 (30%) constraints
2.94/1.58 c (1,1) translated 554 (40%) constraints
3.22/1.62 c (1,1) translated 692 (50%) constraints
3.22/1.66 c (1,1) translated 831 (60%) constraints
3.22/1.69 c (1,1) translated 969 (70%) constraints
3.53/1.72 c (1,1) translated 1108 (80%) constraints
3.53/1.74 c (1,1) translated 1246 (90%) constraints
3.53/1.77 c (1,1) translated 1384 (100%) constraints
3.53/1.77 c (1,1) CSP to CSPinCNF End
3.53/1.77 c (1,1) CSP: 120 int (0 aux), 840 bool (840 aux), 3184 ctr, max domain size 8
3.53/1.77 c (1,1) Heap : 225 MiB used (max 10795 MiB), NonHeap : 26 MiB used (max 0 MiB)
3.53/1.77 c (1,1) CSPinCNF Propagation Begin
3.85/1.85 c (1,1) 2 values, 404 unsatisfiable literals, and 144 valid clauses are removed
3.85/1.85 c (1,1) CSPinCNF Propagation End
3.85/1.85 c (1,1) CSP: 120 int (0 aux), 840 bool (840 aux), 3040 ctr, max domain size 8
3.85/1.85 c (1,1) Heap : 225 MiB used (max 10795 MiB), NonHeap : 26 MiB used (max 0 MiB)
3.85/1.85 c (1,1) Simplify CSPinCNF Begin
3.85/1.89 c (1,1) Simplify CSPinCNF End
3.85/1.89 c (1,1) CSP: 120 int (0 aux), 1672 bool (1672 aux), 3872 ctr, max domain size 8
3.85/1.89 c (1,1) Heap : 225 MiB used (max 10795 MiB), NonHeap : 27 MiB used (max 0 MiB)
3.85/1.89 c (1,1) Calculate Precise Domain Begin
3.85/1.90 c (1,1) 0 values are removed by re-calculation
3.85/1.90 c (1,1) Calculate Precise Domain End
4.19/1.90 c (1,1) CSP: 120 int (0 aux), 1672 bool (1672 aux), 3872 ctr, max domain size 8
4.19/1.90 c (1,1) Heap : 225 MiB used (max 10795 MiB), NonHeap : 27 MiB used (max 0 MiB)
4.19/1.90 c (1,1) CSPinCNF to SatSolver Begin
4.57/2.01 c (1,1) 388 (10 %) CSP clauses are encoded (2424 SAT variables, 2285 SAT clauses)
4.57/2.03 c (1,1) 775 (20 %) CSP clauses are encoded (2424 SAT variables, 3914 SAT clauses)
4.57/2.06 c (1,1) 1162 (30 %) CSP clauses are encoded (2424 SAT variables, 5536 SAT clauses)
4.57/2.07 c (1,1) 1549 (40 %) CSP clauses are encoded (2424 SAT variables, 7245 SAT clauses)
4.57/2.09 c (1,1) 1936 (50 %) CSP clauses are encoded (2424 SAT variables, 8936 SAT clauses)
4.89/2.11 c (1,1) 2324 (60 %) CSP clauses are encoded (2424 SAT variables, 10637 SAT clauses)
4.89/2.13 c (1,1) 2711 (70 %) CSP clauses are encoded (2424 SAT variables, 12359 SAT clauses)
4.89/2.14 c (1,1) 3098 (80 %) CSP clauses are encoded (2424 SAT variables, 14080 SAT clauses)
4.89/2.16 c (1,1) 3485 (90 %) CSP clauses are encoded (2424 SAT variables, 15808 SAT clauses)
4.89/2.17 c (1,1) 3872 (100 %) CSP clauses are encoded (2424 SAT variables, 17519 SAT clauses)
4.89/2.17 c (1,1) CSPinCNF to SatSolver End
4.89/2.17 c (1,1) Heap : 281 MiB used (max 10795 MiB), NonHeap : 28 MiB used (max 0 MiB)
5.18/2.21 c (1,1) STATISTICS2:HOME/instance-4295939-1532597865.xml,AllDifferentMatrix:Element:Instantiation:IntVar,1792,3872,8,8,6,2,8:1080;7:856;6:304;1:356,8:4404;7:1600;6:440;2:4260;1:356,6:28;3:608;2:3236,2:2596;1:5868,
5.18/2.21 c (1,1) SatSolver.solve Begin
5.18/2.21 c (1,1) 2424 bool, 17520 clause
5.18/2.21 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-4295939-1532597865.xml-scop-4331.cnf HOME/instance-4295939-1532597865.xml-scop-4331.cnf.out
6.64/3.40 c (2,0) c This is COMiniSatPS.
6.64/3.40 c (2,0) c WARNING: for repeatability, setting FPU to use double precision
6.64/3.40 c (2,0) c ============================[ Problem Statistics ]=============================
6.64/3.40 c (2,0) c | |
6.64/3.40 c (2,0) c | Number of variables: 2424 |
6.64/3.40 c (2,0) c | Number of clauses: 17520 |
6.64/3.40 c (2,0) c | Parse time: 0.01 s |
6.64/3.40 c (2,0) c | Eliminated clauses: 0.03 Mb |
6.64/3.40 c (2,0) c Reduced to 1060 vars, 14000 cls (grow=0)
6.64/3.40 c (2,0) c No iterative elimination performed. (vars=1060, c/v ratio=13.2)
6.64/3.40 c (2,0) c | Simplification time: 0.02 s |
6.64/3.40 c (2,0) c | |
6.64/3.40 c (2,0) c ============================[ Search Statistics ]==============================
6.64/3.40 c (2,0) c | Conflicts | ORIGINAL | LEARNT | Progress |
6.64/3.40 c (2,0) c | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
6.64/3.40 c (2,0) c ===============================================================================
6.64/3.40 c (2,0) c ===============================================================================
6.64/3.40 c (2,0) c restarts : 29
6.64/3.40 c (2,0) c conflicts : 20701 (17617 /sec)
6.64/3.40 c (2,0) c decisions : 26058 (0.00 % random) (22176 /sec)
6.64/3.40 c (2,0) c propagations : 2871693 (2443909 /sec)
6.64/3.40 c (2,0) c conflict literals : 270601 (39.31 % deleted)
6.64/3.40 c (2,0) c CPU time : 1.17504 s
6.64/3.40 c (2,0)
6.64/3.40 c (2,0) s UNSATISFIABLE
6.64/3.40 c (2,1) SatSolver.solve End
6.64/3.40 c (2,1) Heap : 563 MiB used (max 10795 MiB), NonHeap : 30 MiB used (max 0 MiB)
6.64/3.40 c (2,1) Show results Begin
6.64/3.40 s UNSATISFIABLE
6.64/3.40 c (2,1) Show results End
6.64/3.40 c (2,1) Heap : 563 MiB used (max 10795 MiB), NonHeap : 30 MiB used (max 0 MiB)
6.64/3.40 c (2,1) 0,0,1,1,1,1,1,2,2,STOP-AFTER(ALL)
6.64/3.40 c END-Prog: Thu Jul 26 11:37:48 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 (9132 MiB free)
memory of node 1: 16384 MiB (11261 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4295939-1532597865/watcher-4295939-1532597865 -o /tmp/evaluation-result-4295939-1532597865/solver-4295939-1532597865 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node134-1532597865-4306 --watchdog 2580 java -Xms11g -Xmx11g -Xss128m -jar HOME/scop.jar -both -solver HOME/minisat_release -solverOption mapleTune01 -tmp HOME HOME/instance-4295939-1532597865.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=4331, runsolver pid=4328
[startup+0.100085 s]*
/proc/loadavg: 1.02 1.04 1.33 4/219 4366
/proc/meminfo: memFree=20763768/32770624 swapFree=67108860/67108860
[pid=4331] ppid=4328 vsize=15011656 memory=72472 CPUtime=0.11 cores=0,2,4,6
/proc/4331/stat : 4331 (java) S 4328 4331 4275 0 -1 1077944320 6839 0 0 0 9 2 0 0 20 0 15 0 77349704 15371935744 18118 33554432000 4194304 4196468 140737285613344 140737285595888 139779007889143 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 38277120 140737285620724 140737285621001 140737285621001 140737285623759 0
/proc/4331/statm: 3752914 18118 2758 1 0 3715374 0
[pid=4331/tid=4333] ppid=4328 vsize=15011656 memory=-8253362762721355408 CPUtime=0.09 cores=0,2,4,6
/proc/4331/task/4333/stat : 4333 (java) R 4328 4331 4275 0 -1 4202560 5261 0 0 0 7 2 0 0 20 0 15 0 77349705 15371935744 18448 33554432000 4194304 4196468 140737285613344 139778979715472 139778988165968 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 38277120 140737285620724 140737285621001 140737285621001 140737285623759 0
[pid=4331/tid=4341] ppid=4328 vsize=15011656 memory=-7025452035940392864 CPUtime=0 cores=0,2,4,6
/proc/4331/task/4341/stat : 4341 (java) S 4328 4331 4275 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 77349706 15371935744 18448 33554432000 4194304 4196468 140737285613344 139779012131600 139779007899349 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38277120 140737285620724 140737285621001 140737285621001 140737285623759 0
[pid=4331/tid=4342] ppid=4328 vsize=15011656 memory=140590540535424 CPUtime=0 cores=0,2,4,6
/proc/4331/task/4342/stat : 4342 (java) S 4328 4331 4275 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 77349706 15371935744 18448 33554432000 4194304 4196468 140737285613344 139778468346768 139779007899349 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38277120 140737285620724 140737285621001 140737285621001 140737285623759 0
[pid=4331/tid=4343] ppid=4328 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4331/task/4343/stat : 4343 (java) S 4328 4331 4275 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 77349706 15371935744 18448 33554432000 4194304 4196468 140737285613344 139778467294224 139779007899349 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38277120 140737285620724 140737285621001 140737285621001 140737285623759 0
[pid=4331/tid=4344] ppid=4328 vsize=15011656 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/4331/task/4344/stat : 4344 (java) S 4328 4331 4275 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 77349706 15371935744 18448 33554432000 4194304 4196468 140737285613344 139778466241680 139779007899349 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38277120 140737285620724 140737285621001 140737285621001 140737285623759 0
[pid=4331/tid=4349] ppid=4328 vsize=15011656 memory=140590540535424 CPUtime=0 cores=0,2,4,6
/proc/4331/task/4349/stat : 4349 (java) S 4328 4331 4275 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 77349708 15371935744 18448 33554432000 4194304 4196468 140737285613344 139778046003184 139779007900290 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38277120 140737285620724 140737285621001 140737285621001 140737285623759 0
[pid=4331/tid=4350] ppid=4328 vsize=15011656 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/4331/task/4350/stat : 4350 (java) S 4328 4331 4275 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 77349708 15371935744 18448 33554432000 4194304 4196468 140737285613344 139777563157408 139779007899349 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38277120 140737285620724 140737285621001 140737285621001 140737285623759 0
[pid=4331/tid=4351] ppid=4328 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4331/task/4351/stat : 4351 (java) S 4328 4331 4275 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 77349708 15371935744 18448 33554432000 4194304 4196468 140737285613344 139777294722032 139779007899349 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38277120 140737285620724 140737285621001 140737285621001 140737285623759 0
[pid=4331/tid=4355] ppid=4328 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4331/task/4355/stat : 4355 (java) S 4328 4331 4275 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 77349711 15371935744 18448 33554432000 4194304 4196468 140737285613344 139776920213712 139779007907739 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38277120 140737285620724 140737285621001 140737285621001 140737285623759 0
[pid=4331/tid=4356] ppid=4328 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4331/task/4356/stat : 4356 (java) S 4328 4331 4275 0 -1 1077944384 288 0 0 0 0 0 0 0 20 0 15 0 77349711 15371935744 18448 33554432000 4194304 4196468 140737285613344 139778044951024 139779007900290 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38277120 140737285620724 140737285621001 140737285621001 140737285623759 0
[pid=4331/tid=4357] ppid=4328 vsize=15011656 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/4331/task/4357/stat : 4357 (java) S 4328 4331 4275 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 77349711 15371935744 18448 33554432000 4194304 4196468 140737285613344 139778043898480 139779007900290 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38277120 140737285620724 140737285621001 140737285621001 140737285623759 0
[pid=4331/tid=4358] ppid=4328 vsize=15011656 memory=140590540535424 CPUtime=0.01 cores=0,2,4,6
/proc/4331/task/4358/stat : 4358 (java) S 4328 4331 4275 0 -1 1077944384 261 0 0 0 1 0 0 0 20 0 15 0 77349711 15371935744 18514 33554432000 4194304 4196468 140737285613344 139778042845936 139779007900290 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38277120 140737285620724 140737285621001 140737285621001 140737285623759 0
[pid=4331/tid=4359] ppid=4328 vsize=15011656 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/4331/task/4359/stat : 4359 (java) S 4328 4331 4275 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 77349711 15371935744 18514 33554432000 4194304 4196468 140737285613344 139776422308960 139779007899349 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38277120 140737285620724 140737285621001 140737285621001 140737285623759 0
[pid=4331/tid=4360] ppid=4328 vsize=15011656 memory=140590540535424 CPUtime=0 cores=0,2,4,6
/proc/4331/task/4360/stat : 4360 (java) S 4328 4331 4275 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 77349711 15371935744 18514 33554432000 4194304 4196468 140737285613344 139778041792816 139779007900290 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38277120 140737285620724 140737285621001 140737285621001 140737285623759 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 15011656 KiB
Current children cumulated memory: 72472 KiB
[startup+0.210665 s]*
/proc/loadavg: 1.02 1.04 1.33 3/219 4366
/proc/meminfo: memFree=20734468/32770624 swapFree=67108860/67108860
[pid=4331] ppid=4328 vsize=15011656 memory=85604 CPUtime=0.25 cores=0,2,4,6
/proc/4331/stat : 4331 (java) S 4328 4331 4275 0 -1 1077944320 10406 0 0 0 22 3 0 0 20 0 15 0 77349704 15371935744 21401 33554432000 4194304 4196468 140737285613344 140737285595888 139779007889143 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 38277120 140737285620724 140737285621001 140737285621001 140737285623759 0
/proc/4331/statm: 3752914 21401 2853 1 0 3715374 0
[pid=4331/tid=4333] ppid=4328 vsize=15011656 memory=7022364594140610616 CPUtime=0.2 cores=0,2,4,6
/proc/4331/task/4333/stat : 4333 (java) R 4328 4331 4275 0 -1 4202560 8342 0 0 0 18 2 0 0 20 0 15 0 77349705 15371935744 21401 33554432000 4194304 4196468 140737285613344 139778979715536 139779007910490 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 38277120 140737285620724 140737285621001 140737285621001 140737285623759 0
[pid=4331/tid=4341] ppid=4328 vsize=15011656 memory=364 CPUtime=0 cores=0,2,4,6
/proc/4331/task/4341/stat : 4341 (java) S 4328 4331 4275 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 77349706 15371935744 21401 33554432000 4194304 4196468 140737285613344 139779012131600 139779007899349 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38277120 140737285620724 140737285621001 140737285621001 140737285623759 0
[pid=4331/tid=4342] ppid=4328 vsize=15011656 memory=288370966692247168 CPUtime=0 cores=0,2,4,6
/proc/4331/task/4342/stat : 4342 (java) S 4328 4331 4275 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 77349706 15371935744 21401 33554432000 4194304 4196468 140737285613344 139778468346768 139779007899349 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38277120 140737285620724 140737285621001 140737285621001 140737285623759 0
[pid=4331/tid=4343] ppid=4328 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4331/task/4343/stat : 4343 (java) S 4328 4331 4275 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 77349706 15371935744 21401 33554432000 4194304 4196468 140737285613344 139778467294224 139779007899349 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38277120 140737285620724 140737285621001 140737285621001 140737285623759 0
[pid=4331/tid=4344] ppid=4328 vsize=15011656 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/4331/task/4344/stat : 4344 (java) S 4328 4331 4275 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 77349706 15371935744 21401 33554432000 4194304 4196468 140737285613344 139778466241680 139779007899349 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38277120 140737285620724 140737285621001 140737285621001 140737285623759 0
[pid=4331/tid=4349] ppid=4328 vsize=15011656 memory=140590540535424 CPUtime=0 cores=0,2,4,6
/proc/4331/task/4349/stat : 4349 (java) S 4328 4331 4275 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 77349708 15371935744 21401 33554432000 4194304 4196468 140737285613344 139778046003184 139779007900290 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38277120 140737285620724 140737285621001 140737285621001 140737285623759 0
[pid=4331/tid=4350] ppid=4328 vsize=15011656 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/4331/task/4350/stat : 4350 (java) S 4328 4331 4275 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 77349708 15371935744 21401 33554432000 4194304 4196468 140737285613344 139777563157408 139779007899349 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38277120 140737285620724 140737285621001 140737285621001 140737285623759 0
[pid=4331/tid=4351] ppid=4328 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4331/task/4351/stat : 4351 (java) S 4328 4331 4275 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 77349708 15371935744 21401 33554432000 4194304 4196468 140737285613344 139777294722032 139779007899349 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38277120 140737285620724 140737285621001 140737285621001 140737285623759 0
[pid=4331/tid=4355] ppid=4328 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4331/task/4355/stat : 4355 (java) S 4328 4331 4275 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 77349711 15371935744 21401 33554432000 4194304 4196468 140737285613344 139776920213712 139779007907739 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38277120 140737285620724 140737285621001 140737285621001 140737285623759 0
[pid=4331/tid=4356] ppid=4328 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4331/task/4356/stat : 4356 (java) R 4328 4331 4275 0 -1 4202560 325 0 0 0 0 0 0 0 20 0 15 0 77349711 15371935744 21401 33554432000 4194304 4196468 140737285613344 139778044951024 139778985548208 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 38277120 140737285620724 140737285621001 140737285621001 140737285623759 0
[pid=4331/tid=4357] ppid=4328 vsize=15011656 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/4331/task/4357/stat : 4357 (java) R 4328 4331 4275 0 -1 1077944384 131 0 0 0 0 0 0 0 20 0 15 0 77349711 15371935744 21401 33554432000 4194304 4196468 140737285613344 139778043898480 139779007900290 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 38277120 140737285620724 140737285621001 140737285621001 140737285623759 0
[pid=4331/tid=4358] ppid=4328 vsize=15011656 memory=140590540535424 CPUtime=0.03 cores=0,2,4,6
/proc/4331/task/4358/stat : 4358 (java) S 4328 4331 4275 0 -1 1077944384 279 0 0 0 3 0 0 0 20 0 15 0 77349711 15371935744 21401 33554432000 4194304 4196468 140737285613344 139778042845936 139779007900290 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38277120 140737285620724 140737285621001 140737285621001 140737285623759 0
[pid=4331/tid=4359] ppid=4328 vsize=15011656 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/4331/task/4359/stat : 4359 (java) S 4328 4331 4275 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 77349711 15371935744 21401 33554432000 4194304 4196468 140737285613344 139776422308960 139779007899349 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38277120 140737285620724 140737285621001 140737285621001 140737285623759 0
[pid=4331/tid=4360] ppid=4328 vsize=15011656 memory=140590540535424 CPUtime=0 cores=0,2,4,6
/proc/4331/task/4360/stat : 4360 (java) R 4328 4331 4275 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 77349711 15371935744 21401 33554432000 4194304 4196468 140737285613344 139778041792816 139779007900290 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 38277120 140737285620724 140737285621001 140737285621001 140737285623759 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 15011656 KiB
Current children cumulated memory: 85604 KiB
[startup+0.310663 s]*
/proc/loadavg: 1.02 1.04 1.33 3/219 4366
/proc/meminfo: memFree=20727012/32770624 swapFree=67108860/67108860
[pid=4331] ppid=4328 vsize=15011656 memory=89744 CPUtime=0.43 cores=0,2,4,6
/proc/4331/stat : 4331 (java) S 4328 4331 4275 0 -1 1077944320 11026 0 0 0 39 4 0 0 20 0 15 0 77349704 15371935744 22436 33554432000 4194304 4196468 140737285613344 140737285595888 139779007889143 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 38277120 140737285620724 140737285621001 140737285621001 140737285623759 0
/proc/4331/statm: 3752914 22436 2996 1 0 3715374 0
[pid=4331/tid=4333] ppid=4328 vsize=15011656 memory=93310215 CPUtime=0.3 cores=0,2,4,6
/proc/4331/task/4333/stat : 4333 (java) R 4328 4331 4275 0 -1 4202560 8776 0 0 0 27 3 0 0 20 0 15 0 77349705 15371935744 22436 33554432000 4194304 4196468 140737285613344 139778979719056 139778991932773 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 38277120 140737285620724 140737285621001 140737285621001 140737285623759 0
[pid=4331/tid=4341] ppid=4328 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4331/task/4341/stat : 4341 (java) S 4328 4331 4275 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 77349706 15371935744 22436 33554432000 4194304 4196468 140737285613344 139779012131600 139779007899349 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38277120 140737285620724 140737285621001 140737285621001 140737285623759 0
[pid=4331/tid=4342] ppid=4328 vsize=15011656 memory=140590385829839 CPUtime=0 cores=0,2,4,6
/proc/4331/task/4342/stat : 4342 (java) S 4328 4331 4275 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 77349706 15371935744 22436 33554432000 4194304 4196468 140737285613344 139778468346768 139779007899349 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38277120 140737285620724 140737285621001 140737285621001 140737285623759 0
[pid=4331/tid=4343] ppid=4328 vsize=15011656 memory=281180771657360 CPUtime=0 cores=0,2,4,6
/proc/4331/task/4343/stat : 4343 (java) S 4328 4331 4275 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 77349706 15371935744 22436 33554432000 4194304 4196468 140737285613344 139778467294224 139779007899349 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38277120 140737285620724 140737285621001 140737285621001 140737285623759 0
[pid=4331/tid=4344] ppid=4328 vsize=15011656 memory=1970350607106051 CPUtime=0 cores=0,2,4,6
/proc/4331/task/4344/stat : 4344 (java) S 4328 4331 4275 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 77349706 15371935744 22436 33554432000 4194304 4196468 140737285613344 139778466241680 139779007899349 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38277120 140737285620724 140737285621001 140737285621001 140737285623759 0
[pid=4331/tid=4349] ppid=4328 vsize=15011656 memory=281180926372160 CPUtime=0 cores=0,2,4,6
/proc/4331/task/4349/stat : 4349 (java) S 4328 4331 4275 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 77349708 15371935744 22436 33554432000 4194304 4196468 140737285613344 139778046003184 139779007900290 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38277120 140737285620724 140737285621001 140737285621001 140737285623759 0
[pid=4331/tid=4350] ppid=4328 vsize=15011656 memory=1970350607106051 CPUtime=0 cores=0,2,4,6
/proc/4331/task/4350/stat : 4350 (java) S 4328 4331 4275 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 77349708 15371935744 22436 33554432000 4194304 4196468 140737285613344 139777563157408 139779007899349 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38277120 140737285620724 140737285621001 140737285621001 140737285623759 0
[pid=4331/tid=4351] ppid=4328 vsize=15011656 memory=2110940992942756 CPUtime=0 cores=0,2,4,6
/proc/4331/task/4351/stat : 4351 (java) S 4328 4331 4275 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 77349708 15371935744 22436 33554432000 4194304 4196468 140737285613344 139777294722032 139779007899349 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38277120 140737285620724 140737285621001 140737285621001 140737285623759 0
[pid=4331/tid=4355] ppid=4328 vsize=15011656 memory=2110940992968516 CPUtime=0 cores=0,2,4,6
/proc/4331/task/4355/stat : 4355 (java) S 4328 4331 4275 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 77349711 15371935744 22436 33554432000 4194304 4196468 140737285613344 139776920213712 139779007907739 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38277120 140737285620724 140737285621001 140737285621001 140737285623759 0
[pid=4331/tid=4356] ppid=4328 vsize=15011656 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/4331/task/4356/stat : 4356 (java) R 4328 4331 4275 0 -1 1077944384 374 0 0 0 1 0 0 0 20 0 15 0 77349711 15371935744 22436 33554432000 4194304 4196468 140737285613344 139778044951024 139779007900290 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 38277120 140737285620724 140737285621001 140737285621001 140737285623759 0
[pid=4331/tid=4357] ppid=4328 vsize=15011656 memory=-1 CPUtime=0.02 cores=0,2,4,6
/proc/4331/task/4357/stat : 4357 (java) R 4328 4331 4275 0 -1 4202560 227 0 0 0 2 0 0 0 20 0 15 0 77349711 15371935744 22436 33554432000 4194304 4196468 140737285613344 139778043898480 139778985217152 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 38277120 140737285620724 140737285621001 140737285621001 140737285623759 0
[pid=4331/tid=4358] ppid=4328 vsize=15011656 memory=140590540535424 CPUtime=0.07 cores=0,2,4,6
/proc/4331/task/4358/stat : 4358 (java) R 4328 4331 4275 0 -1 4202560 321 0 0 0 7 0 0 0 20 0 15 0 77349711 15371935744 22436 33554432000 4194304 4196468 140737285613344 139778042845936 139778991969630 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 38277120 140737285620724 140737285621001 140737285621001 140737285623759 0
[pid=4331/tid=4359] ppid=4328 vsize=15011656 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/4331/task/4359/stat : 4359 (java) S 4328 4331 4275 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 77349711 15371935744 22436 33554432000 4194304 4196468 140737285613344 139776422308960 139779007899349 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38277120 140737285620724 140737285621001 140737285621001 140737285623759 0
[pid=4331/tid=4360] ppid=4328 vsize=15011656 memory=140590540535424 CPUtime=0 cores=0,2,4,6
/proc/4331/task/4360/stat : 4360 (java) S 4328 4331 4275 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 77349711 15371935744 22436 33554432000 4194304 4196468 140737285613344 139778041792816 139779007900290 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38277120 140737285620724 140737285621001 140737285621001 140737285623759 0
Current children cumulated CPU time: 0.43 s
Current children cumulated vsize: 15011656 KiB
Current children cumulated memory: 89744 KiB
[startup+0.70075 s]
/proc/loadavg: 1.02 1.04 1.33 3/219 4366
/proc/meminfo: memFree=20677760/32770624 swapFree=67108860/67108860
[pid=4331] ppid=4328 vsize=15020052 memory=129572 CPUtime=0.98 cores=0,2,4,6
/proc/4331/stat : 4331 (java) S 4328 4331 4275 0 -1 1077944320 18044 0 1 0 92 6 0 0 20 0 15 0 77349704 15380533248 32393 33554432000 4194304 4196468 140737285613344 140737285595888 139779007889143 0 0 0 25189583 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 38277120 140737285620724 140737285621001 140737285621001 140737285623759 0
/proc/4331/statm: 3755013 32393 3141 1 0 3716398 0
[pid=4331/tid=4333] ppid=4328 vsize=15020052 memory=0 CPUtime=0.67 cores=0,2,4,6
/proc/4331/task/4333/stat : 4333 (java) R 4328 4331 4275 0 -1 4202560 15452 0 1 0 62 5 0 0 20 0 15 0 77349705 15380533248 32393 33554432000 4194304 4196468 140737285613344 139778979721056 139778991932773 0 4 0 25189583 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 38277120 140737285620724 140737285621001 140737285621001 140737285623759 0
[pid=4331/tid=4341] ppid=4328 vsize=15020052 memory=3184238510461828288 CPUtime=0 cores=0,2,4,6
/proc/4331/task/4341/stat : 4341 (java) S 4328 4331 4275 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 77349706 15380533248 32393 33554432000 4194304 4196468 140737285613344 139779012131600 139779007899349 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38277120 140737285620724 140737285621001 140737285621001 140737285623759 0
[pid=4331/tid=4342] ppid=4328 vsize=15020052 memory=10592 CPUtime=0 cores=0,2,4,6
/proc/4331/task/4342/stat : 4342 (java) S 4328 4331 4275 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 77349706 15380533248 32393 33554432000 4194304 4196468 140737285613344 139778468346768 139779007899349 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38277120 140737285620724 140737285621001 140737285621001 140737285623759 0
[pid=4331/tid=4343] ppid=4328 vsize=15020052 memory=15872 CPUtime=0 cores=0,2,4,6
/proc/4331/task/4343/stat : 4343 (java) S 4328 4331 4275 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 77349706 15380533248 32393 33554432000 4194304 4196468 140737285613344 139778467294224 139779007899349 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38277120 140737285620724 140737285621001 140737285621001 140737285623759 0
[pid=4331/tid=4344] ppid=4328 vsize=15020052 memory=18476 CPUtime=0 cores=0,2,4,6
/proc/4331/task/4344/stat : 4344 (java) S 4328 4331 4275 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 77349706 15380533248 32393 33554432000 4194304 4196468 140737285613344 139778466241680 139779007899349 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38277120 140737285620724 140737285621001 140737285621001 140737285623759 0
[pid=4331/tid=4349] ppid=4328 vsize=15020052 memory=2241 CPUtime=0 cores=0,2,4,6
/proc/4331/task/4349/stat : 4349 (java) S 4328 4331 4275 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 77349708 15380533248 32393 33554432000 4194304 4196468 140737285613344 139778046003184 139779007900290 0 0 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38277120 140737285620724 140737285621001 140737285621001 140737285623759 0
[pid=4331/tid=4350] ppid=4328 vsize=15020052 memory=2244 CPUtime=0 cores=0,2,4,6
/proc/4331/task/4350/stat : 4350 (java) S 4328 4331 4275 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 77349708 15380533248 32393 33554432000 4194304 4196468 140737285613344 139777563157408 139779007899349 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38277120 140737285620724 140737285621001 140737285621001 140737285623759 0
[pid=4331/tid=4351] ppid=4328 vsize=15020052 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4331/task/4351/stat : 4351 (java) S 4328 4331 4275 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 77349708 15380533248 32393 33554432000 4194304 4196468 140737285613344 139777294722032 139779007899349 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38277120 140737285620724 140737285621001 140737285621001 140737285623759 0
[pid=4331/tid=4355] ppid=4328 vsize=15020052 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4331/task/4355/stat : 4355 (java) S 4328 4331 4275 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 77349711 15380533248 32393 33554432000 4194304 4196468 140737285613344 139776920213712 139779007907739 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38277120 140737285620724 140737285621001 140737285621001 140737285623759 0
[pid=4331/tid=4356] ppid=4328 vsize=15020052 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/4331/task/4356/stat : 4356 (java) S 4328 4331 4275 0 -1 1077944384 605 0 0 0 8 0 0 0 20 0 15 0 77349711 15380533248 32393 33554432000 4194304 4196468 140737285613344 139778044951024 139779007900290 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38277120 140737285620724 140737285621001 140737285621001 140737285623759 0
[pid=4331/tid=4357] ppid=4328 vsize=15020052 memory=6944652177228980320 CPUtime=0.05 cores=0,2,4,6
/proc/4331/task/4357/stat : 4357 (java) R 4328 4331 4275 0 -1 4202560 232 0 0 0 5 0 0 0 20 0 15 0 77349711 15380533248 32393 33554432000 4194304 4196468 140737285613344 139778043888864 139778987732720 0 4 0 25189583 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 38277120 140737285620724 140737285621001 140737285621001 140737285623759 0
[pid=4331/tid=4358] ppid=4328 vsize=15020052 memory=0 CPUtime=0.16 cores=0,2,4,6
/proc/4331/task/4358/stat : 4358 (java) S 4328 4331 4275 0 -1 1077944384 415 0 0 0 16 0 0 0 20 0 15 0 77349711 15380533248 32393 33554432000 4194304 4196468 140737285613344 139778042845936 139779007900290 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38277120 140737285620724 140737285621001 140737285621001 140737285623759 0
[pid=4331/tid=4359] ppid=4328 vsize=15020052 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4331/task/4359/stat : 4359 (java) S 4328 4331 4275 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 77349711 15380533248 32393 33554432000 4194304 4196468 140737285613344 139776422308960 139779007899349 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38277120 140737285620724 140737285621001 140737285621001 140737285623759 0
[pid=4331/tid=4360] ppid=4328 vsize=15020052 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4331/task/4360/stat : 4360 (java) S 4328 4331 4275 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 77349711 15380533248 32393 33554432000 4194304 4196468 140737285613344 139778041792816 139779007900290 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38277120 140737285620724 140737285621001 140737285621001 140737285623759 0
Current children cumulated CPU time: 0.98 s
Current children cumulated vsize: 15020052 KiB
Current children cumulated memory: 129572 KiB
[startup+1.50071 s]
/proc/loadavg: 1.02 1.04 1.33 5/219 4366
/proc/meminfo: memFree=20604372/32770624 swapFree=67108860/67108860
[pid=4331] ppid=4328 vsize=15022100 memory=181676 CPUtime=2.94 cores=0,2,4,6
/proc/4331/stat : 4331 (java) S 4328 4331 4275 0 -1 1077944320 21975 0 1 0 286 8 0 0 20 0 15 0 77349704 15382630400 45419 33554432000 4194304 4196468 140737285613344 140737285595888 139779007889143 0 0 0 25189583 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 38277120 140737285620724 140737285621001 140737285621001 140737285623759 0
/proc/4331/statm: 3755525 45419 3201 1 0 3716910 0
[pid=4331/tid=4333] ppid=4328 vsize=15022100 memory=281180771905600 CPUtime=1.46 cores=0,2,4,6
/proc/4331/task/4333/stat : 4333 (java) R 4328 4331 4275 0 -1 4202560 16622 0 1 0 141 5 0 0 20 0 15 0 77349705 15382630400 45419 33554432000 4194304 4196468 140737285613344 139778979723104 139779007901078 0 4 0 25189583 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 38277120 140737285620724 140737285621001 140737285621001 140737285623759 0
[pid=4331/tid=4341] ppid=4328 vsize=15022100 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4331/task/4341/stat : 4341 (java) S 4328 4331 4275 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 77349706 15382630400 45419 33554432000 4194304 4196468 140737285613344 139779012131600 139779007899349 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38277120 140737285620724 140737285621001 140737285621001 140737285623759 0
[pid=4331/tid=4342] ppid=4328 vsize=15022100 memory=10592 CPUtime=0 cores=0,2,4,6
/proc/4331/task/4342/stat : 4342 (java) S 4328 4331 4275 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 77349706 15382630400 45419 33554432000 4194304 4196468 140737285613344 139778468346768 139779007899349 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38277120 140737285620724 140737285621001 140737285621001 140737285623759 0
[pid=4331/tid=4343] ppid=4328 vsize=15022100 memory=15872 CPUtime=0 cores=0,2,4,6
/proc/4331/task/4343/stat : 4343 (java) S 4328 4331 4275 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 77349706 15382630400 45419 33554432000 4194304 4196468 140737285613344 139778467294224 139779007899349 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38277120 140737285620724 140737285621001 140737285621001 140737285623759 0
[pid=4331/tid=4344] ppid=4328 vsize=15022100 memory=18476 CPUtime=0 cores=0,2,4,6
/proc/4331/task/4344/stat : 4344 (java) S 4328 4331 4275 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 77349706 15382630400 45419 33554432000 4194304 4196468 140737285613344 139778466241680 139779007899349 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38277120 140737285620724 140737285621001 140737285621001 140737285623759 0
[pid=4331/tid=4349] ppid=4328 vsize=15022100 memory=2241 CPUtime=0 cores=0,2,4,6
/proc/4331/task/4349/stat : 4349 (java) S 4328 4331 4275 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 77349708 15382630400 45419 33554432000 4194304 4196468 140737285613344 139778046003184 139779007900290 0 0 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38277120 140737285620724 140737285621001 140737285621001 140737285623759 0
################
# More data... #
################
/proc/4331/task/4360/stat : 4360 (java) S 4328 4331 4275 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 77349711 15382630400 45419 33554432000 4194304 4196468 140737285613344 139778041792816 139779007900290 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38277120 140737285620724 140737285621001 140737285621001 140737285623759 0
Current children cumulated CPU time: 2.94 s
Current children cumulated vsize: 15022100 KiB
Current children cumulated memory: 181676 KiB
[startup+3.11019 s]
/proc/loadavg: 1.18 1.07 1.34 3/224 4372
/proc/meminfo: memFree=19960364/32770624 swapFree=67108860/67108860
[pid=4331] ppid=4328 vsize=15681864 memory=327944 CPUtime=5.47 cores=0,2,4,6
/proc/4331/stat : 4331 (java) S 4328 4331 4275 0 -1 1077944320 25710 0 1 0 534 13 0 0 20 0 19 0 77349704 16058228736 81986 33554432000 4194304 4196468 140737285613344 140737285595888 139779007889143 0 0 0 25189583 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 38277120 140737285620724 140737285621001 140737285621001 140737285623759 0
/proc/4331/statm: 3920466 81986 3226 1 0 3881322 0
[pid=4367] ppid=4331 vsize=24140 memory=6796 CPUtime=0.87 cores=0,2,4,6
/proc/4367/stat : 4367 (minisat_release) R 4331 4331 4275 0 -1 4202496 2069 0 0 0 87 0 0 0 20 0 1 0 77349927 24719360 1699 33554432000 4194304 4308513 140732628137888 140732628134840 4275941 0 4 0 8396802 0 0 0 17 0 0 0 0 0 0 6409496 6410680 10420224 140732628144817 140732628145326 140732628145326 140732628148165 0
/proc/4367/statm: 6035 1699 349 28 0 2275 0
[pid=4331/tid=4333] ppid=4328 vsize=15681864 memory=281180771655608 CPUtime=2.23 cores=0,2,4,6
/proc/4331/task/4333/stat : 4333 (java) S 4328 4331 4275 0 -1 1077944384 17397 0 1 0 215 8 0 0 20 0 19 0 77349705 16058228736 81986 33554432000 4194304 4196468 140737285613344 139778979728384 139779007899349 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38277120 140737285620724 140737285621001 140737285621001 140737285623759 0
[pid=4331/tid=4341] ppid=4328 vsize=15681864 memory=7883383370509145189 CPUtime=0 cores=0,2,4,6
/proc/4331/task/4341/stat : 4341 (java) S 4328 4331 4275 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 77349706 16058228736 81986 33554432000 4194304 4196468 140737285613344 139779012131600 139779007899349 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38277120 140737285620724 140737285621001 140737285621001 140737285623759 0
[pid=4331/tid=4342] ppid=4328 vsize=15681864 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4331/task/4342/stat : 4342 (java) S 4328 4331 4275 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 77349706 16058228736 81986 33554432000 4194304 4196468 140737285613344 139778468346768 139779007899349 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38277120 140737285620724 140737285621001 140737285621001 140737285623759 0
[pid=4331/tid=4343] ppid=4328 vsize=15681864 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4331/task/4343/stat : 4343 (java) S 4328 4331 4275 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 77349706 16058228736 81986 33554432000 4194304 4196468 140737285613344 139778467294224 139779007899349 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38277120 140737285620724 140737285621001 140737285621001 140737285623759 0
[pid=4331/tid=4344] ppid=4328 vsize=15681864 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4331/task/4344/stat : 4344 (java) S 4328 4331 4275 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 77349706 16058228736 81986 33554432000 4194304 4196468 140737285613344 139778466241680 139779007899349 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38277120 140737285620724 140737285621001 140737285621001 140737285623759 0
[pid=4331/tid=4349] ppid=4328 vsize=15681864 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4331/task/4349/stat : 4349 (java) S 4328 4331 4275 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 19 0 77349708 16058228736 81986 33554432000 4194304 4196468 140737285613344 139778046003184 139779007900290 0 0 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38277120 140737285620724 140737285621001 140737285621001 140737285623759 0
[pid=4331/tid=4350] ppid=4328 vsize=15681864 memory=56 CPUtime=0 cores=0,2,4,6
/proc/4331/task/4350/stat : 4350 (java) S 4328 4331 4275 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 77349708 16058228736 81986 33554432000 4194304 4196468 140737285613344 139777563157408 139779007899349 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38277120 140737285620724 140737285621001 140737285621001 140737285623759 0
[pid=4331/tid=4351] ppid=4328 vsize=15681864 memory=288230574492221466 CPUtime=0 cores=0,2,4,6
/proc/4331/task/4351/stat : 4351 (java) S 4328 4331 4275 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 77349708 16058228736 81986 33554432000 4194304 4196468 140737285613344 139777294722032 139779007899349 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38277120 140737285620724 140737285621001 140737285621001 140737285623759 0
[pid=4331/tid=4355] ppid=4328 vsize=15681864 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4331/task/4355/stat : 4355 (java) S 4328 4331 4275 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 77349711 16058228736 81986 33554432000 4194304 4196468 140737285613344 139776920213712 139779007907739 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38277120 140737285620724 140737285621001 140737285621001 140737285623759 0
[pid=4331/tid=4356] ppid=4328 vsize=15681864 memory=0 CPUtime=1.21 cores=0,2,4,6
/proc/4331/task/4356/stat : 4356 (java) S 4328 4331 4275 0 -1 1077944384 2839 0 0 0 120 1 0 0 20 0 19 0 77349711 16058228736 81986 33554432000 4194304 4196468 140737285613344 139778044951024 139779007900290 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38277120 140737285620724 140737285621001 140737285621001 140737285623759 0
[pid=4331/tid=4357] ppid=4328 vsize=15681864 memory=0 CPUtime=1.06 cores=0,2,4,6
/proc/4331/task/4357/stat : 4357 (java) S 4328 4331 4275 0 -1 1077944384 1078 0 0 0 106 0 0 0 20 0 19 0 77349711 16058228736 81986 33554432000 4194304 4196468 140737285613344 139778043898480 139779007900290 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38277120 140737285620724 140737285621001 140737285621001 140737285623759 0
[pid=4331/tid=4358] ppid=4328 vsize=15681864 memory=0 CPUtime=0.92 cores=0,2,4,6
/proc/4331/task/4358/stat : 4358 (java) S 4328 4331 4275 0 -1 1077944384 2981 0 0 0 92 0 0 0 20 0 19 0 77349711 16058228736 81986 33554432000 4194304 4196468 140737285613344 139778042845936 139779007900290 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38277120 140737285620724 140737285621001 140737285621001 140737285623759 0
[pid=4331/tid=4359] ppid=4328 vsize=15681864 memory=6656426216303648864 CPUtime=0 cores=0,2,4,6
/proc/4331/task/4359/stat : 4359 (java) S 4328 4331 4275 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 77349711 16058228736 81986 33554432000 4194304 4196468 140737285613344 139776422308960 139779007899349 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38277120 140737285620724 140737285621001 140737285621001 140737285623759 0
[pid=4331/tid=4360] ppid=4328 vsize=15681864 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4331/task/4360/stat : 4360 (java) S 4328 4331 4275 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 77349711 16058228736 81986 33554432000 4194304 4196468 140737285613344 139778041792816 139779007900290 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38277120 140737285620724 140737285621001 140737285621001 140737285623759 0
[pid=4331/tid=4368] ppid=4328 vsize=15681864 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4331/task/4368/stat : 4368 (java) S 4328 4331 4275 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 77349927 16058228736 81986 33554432000 4194304 4196468 140737285613344 139778034316352 139779007913753 0 4 0 25189583 18446744071579417331 0 0 -1 6 0 0 0 0 0 6293624 6294260 38277120 140737285620724 140737285621001 140737285621001 140737285623759 0
[pid=4331/tid=4370] ppid=4328 vsize=15681864 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4331/task/4370/stat : 4370 (java) S 4328 4331 4275 0 -1 4202560 24 0 0 0 0 0 0 0 20 0 19 0 77349928 16058228736 81986 33554432000 4194304 4196468 140737285613344 139775885422128 139779007911069 0 4 0 25189583 18446744071580971376 0 0 -1 6 0 0 0 0 0 6293624 6294260 38277120 140737285620724 140737285621001 140737285621001 140737285623759 0
[pid=4331/tid=4371] ppid=4328 vsize=15681864 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4331/task/4371/stat : 4371 (java) S 4328 4331 4275 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 19 0 77349928 16058228736 81986 33554432000 4194304 4196468 140737285613344 139776019644080 139779007911069 0 4 0 25189583 18446744071580971376 0 0 -1 6 0 0 0 0 0 6293624 6294260 38277120 140737285620724 140737285621001 140737285621001 140737285623759 0
[pid=4331/tid=4372] ppid=4328 vsize=15681864 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4331/task/4372/stat : 4372 (java) S 4328 4331 4275 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 19 0 77349930 16058228736 81986 33554432000 4194304 4196468 140737285613344 139775616998944 139779007899349 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38277120 140737285620724 140737285621001 140737285621001 140737285623759 0
Current children cumulated CPU time: 6.34 s
Current children cumulated vsize: 15706004 KiB
Current children cumulated memory: 334740 KiB
[startup+3.41684 s]
# the end of solver process 4331 was just reported to runsolver
# cumulated CPU time of all completed processes: user=6.52108 s, system=0.142303 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3.20093 s]
/proc/loadavg: 1.18 1.07 1.34 3/224 4372
/proc/meminfo: memFree=19960364/32770624 swapFree=67108860/67108860
[pid=4331] ppid=4328 vsize=15681864 memory=327944 CPUtime=5.47 cores=0,2,4,6
/proc/4331/stat : 4331 (java) S 4328 4331 4275 0 -1 1077944320 25710 0 1 0 534 13 0 0 20 0 19 0 77349704 16058228736 81986 33554432000 4194304 4196468 140737285613344 140737285595888 139779007889143 0 0 0 25189583 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 38277120 140737285620724 140737285621001 140737285621001 140737285623759 0
/proc/4331/statm: 3920466 81986 3226 1 0 3881322 0
[pid=4367] ppid=4331 vsize=24140 memory=6796 CPUtime=0.97 cores=0,2,4,6
/proc/4367/stat : 4367 (minisat_release) R 4331 4331 4275 0 -1 4202496 2069 0 0 0 97 0 0 0 20 0 1 0 77349927 24719360 1699 33554432000 4194304 4308513 140732628137888 140732628134840 4275861 0 4 0 8396802 0 0 0 17 0 0 0 0 0 0 6409496 6410680 10420224 140732628144817 140732628145326 140732628145326 140732628148165 0
/proc/4367/statm: 6035 1699 349 28 0 2275 0
[pid=4331/tid=4333] ppid=4328 vsize=15681864 memory=0 CPUtime=2.23 cores=0,2,4,6
/proc/4331/task/4333/stat : 4333 (java) S 4328 4331 4275 0 -1 1077944384 17397 0 1 0 215 8 0 0 20 0 19 0 77349705 16058228736 81986 33554432000 4194304 4196468 140737285613344 139778979728384 139779007899349 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38277120 140737285620724 140737285621001 140737285621001 140737285623759 0
[pid=4331/tid=4341] ppid=4328 vsize=15681864 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4331/task/4341/stat : 4341 (java) S 4328 4331 4275 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 77349706 16058228736 81986 33554432000 4194304 4196468 140737285613344 139779012131600 139779007899349 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38277120 140737285620724 140737285621001 140737285621001 140737285623759 0
[pid=4331/tid=4342] ppid=4328 vsize=15681864 memory=159175782965720 CPUtime=0 cores=0,2,4,6
/proc/4331/task/4342/stat : 4342 (java) S 4328 4331 4275 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 77349706 16058228736 81986 33554432000 4194304 4196468 140737285613344 139778468346768 139779007899349 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38277120 140737285620724 140737285621001 140737285621001 140737285623759 0
[pid=4331/tid=4343] ppid=4328 vsize=15681864 memory=159175782965728 CPUtime=0 cores=0,2,4,6
/proc/4331/task/4343/stat : 4343 (java) S 4328 4331 4275 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 77349706 16058228736 81986 33554432000 4194304 4196468 140737285613344 139778467294224 139779007899349 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38277120 140737285620724 140737285621001 140737285621001 140737285623759 0
[pid=4331/tid=4344] ppid=4328 vsize=15681864 memory=159175782965729 CPUtime=0 cores=0,2,4,6
/proc/4331/task/4344/stat : 4344 (java) S 4328 4331 4275 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 77349706 16058228736 81986 33554432000 4194304 4196468 140737285613344 139778466241680 139779007899349 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38277120 140737285620724 140737285621001 140737285621001 140737285623759 0
[pid=4331/tid=4349] ppid=4328 vsize=15681864 memory=159175782965730 CPUtime=0 cores=0,2,4,6
/proc/4331/task/4349/stat : 4349 (java) S 4328 4331 4275 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 19 0 77349708 16058228736 81986 33554432000 4194304 4196468 140737285613344 139778046003184 139779007900290 0 0 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38277120 140737285620724 140737285621001 140737285621001 140737285623759 0
[pid=4331/tid=4350] ppid=4328 vsize=15681864 memory=159175782965731 CPUtime=0 cores=0,2,4,6
/proc/4331/task/4350/stat : 4350 (java) S 4328 4331 4275 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 77349708 16058228736 81986 33554432000 4194304 4196468 140737285613344 139777563157408 139779007899349 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38277120 140737285620724 140737285621001 140737285621001 140737285623759 0
[pid=4331/tid=4351] ppid=4328 vsize=15681864 memory=159175782965736 CPUtime=0 cores=0,2,4,6
/proc/4331/task/4351/stat : 4351 (java) S 4328 4331 4275 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 77349708 16058228736 81986 33554432000 4194304 4196468 140737285613344 139777294722032 139779007899349 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38277120 140737285620724 140737285621001 140737285621001 140737285623759 0
[pid=4331/tid=4355] ppid=4328 vsize=15681864 memory=159175782965737 CPUtime=0 cores=0,2,4,6
/proc/4331/task/4355/stat : 4355 (java) S 4328 4331 4275 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 77349711 16058228736 81986 33554432000 4194304 4196468 140737285613344 139776920213712 139779007907739 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38277120 140737285620724 140737285621001 140737285621001 140737285623759 0
[pid=4331/tid=4356] ppid=4328 vsize=15681864 memory=159175782965738 CPUtime=1.21 cores=0,2,4,6
/proc/4331/task/4356/stat : 4356 (java) S 4328 4331 4275 0 -1 1077944384 2839 0 0 0 120 1 0 0 20 0 19 0 77349711 16058228736 81986 33554432000 4194304 4196468 140737285613344 139778044951024 139779007900290 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38277120 140737285620724 140737285621001 140737285621001 140737285623759 0
[pid=4331/tid=4357] ppid=4328 vsize=15681864 memory=159175782965742 CPUtime=1.06 cores=0,2,4,6
/proc/4331/task/4357/stat : 4357 (java) S 4328 4331 4275 0 -1 1077944384 1078 0 0 0 106 0 0 0 20 0 19 0 77349711 16058228736 81986 33554432000 4194304 4196468 140737285613344 139778043898480 139779007900290 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38277120 140737285620724 140737285621001 140737285621001 140737285623759 0
[pid=4331/tid=4358] ppid=4328 vsize=15681864 memory=159175782965743 CPUtime=0.92 cores=0,2,4,6
/proc/4331/task/4358/stat : 4358 (java) S 4328 4331 4275 0 -1 1077944384 2981 0 0 0 92 0 0 0 20 0 19 0 77349711 16058228736 81986 33554432000 4194304 4196468 140737285613344 139778042845936 139779007900290 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38277120 140737285620724 140737285621001 140737285621001 140737285623759 0
[pid=4331/tid=4359] ppid=4328 vsize=15681864 memory=159175782965744 CPUtime=0 cores=0,2,4,6
/proc/4331/task/4359/stat : 4359 (java) S 4328 4331 4275 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 77349711 16058228736 81986 33554432000 4194304 4196468 140737285613344 139776422308960 139779007899349 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38277120 140737285620724 140737285621001 140737285621001 140737285623759 0
[pid=4331/tid=4360] ppid=4328 vsize=15681864 memory=159175782965745 CPUtime=0 cores=0,2,4,6
/proc/4331/task/4360/stat : 4360 (java) S 4328 4331 4275 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 77349711 16058228736 81986 33554432000 4194304 4196468 140737285613344 139778041792816 139779007900290 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38277120 140737285620724 140737285621001 140737285621001 140737285623759 0
[pid=4331/tid=4368] ppid=4328 vsize=15681864 memory=159175782965746 CPUtime=0 cores=0,2,4,6
/proc/4331/task/4368/stat : 4368 (java) S 4328 4331 4275 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 77349927 16058228736 81986 33554432000 4194304 4196468 140737285613344 139778034316352 139779007913753 0 4 0 25189583 18446744071579417331 0 0 -1 6 0 0 0 0 0 6293624 6294260 38277120 140737285620724 140737285621001 140737285621001 140737285623759 0
[pid=4331/tid=4370] ppid=4328 vsize=15681864 memory=159175782965747 CPUtime=0 cores=0,2,4,6
/proc/4331/task/4370/stat : 4370 (java) S 4328 4331 4275 0 -1 4202560 24 0 0 0 0 0 0 0 20 0 19 0 77349928 16058228736 81986 33554432000 4194304 4196468 140737285613344 139775885422128 139779007911069 0 4 0 25189583 18446744071580971376 0 0 -1 6 0 0 0 0 0 6293624 6294260 38277120 140737285620724 140737285621001 140737285621001 140737285623759 0
[pid=4331/tid=4371] ppid=4328 vsize=15681864 memory=55 CPUtime=0 cores=0,2,4,6
/proc/4331/task/4371/stat : 4371 (java) S 4328 4331 4275 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 19 0 77349928 16058228736 81986 33554432000 4194304 4196468 140737285613344 139776019644080 139779007911069 0 4 0 25189583 18446744071580971376 0 0 -1 6 0 0 0 0 0 6293624 6294260 38277120 140737285620724 140737285621001 140737285621001 140737285623759 0
[pid=4331/tid=4372] ppid=4328 vsize=15681864 memory=3377 CPUtime=0 cores=0,2,4,6
/proc/4331/task/4372/stat : 4372 (java) S 4328 4331 4275 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 19 0 77349930 16058228736 81986 33554432000 4194304 4196468 140737285613344 139775616998944 139779007899349 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38277120 140737285620724 140737285621001 140737285621001 140737285623759 0
Current children cumulated CPU time: 6.44 s
Current children cumulated vsize: 15706004 KiB
Current children cumulated memory: 334740 KiB
[startup+3.40072 s]
/proc/loadavg: 1.18 1.07 1.34 3/224 4372
/proc/meminfo: memFree=19960364/32770624 swapFree=67108860/67108860
[pid=4331] ppid=4328 vsize=15681864 memory=327944 CPUtime=5.47 cores=0,2,4,6
/proc/4331/stat : 4331 (java) S 4328 4331 4275 0 -1 1077944320 25710 0 1 0 534 13 0 0 20 0 19 0 77349704 16058228736 81986 33554432000 4194304 4196468 140737285613344 140737285595888 139779007889143 0 0 0 25189583 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 38277120 140737285620724 140737285621001 140737285621001 140737285623759 0
/proc/4331/statm: 3920466 81986 3226 1 0 3881322 0
[pid=4367] ppid=4331 vsize=24140 memory=6796 CPUtime=1.17 cores=0,2,4,6
/proc/4367/stat : 4367 (minisat_release) R 4331 4331 4275 0 -1 4202496 2089 0 0 0 117 0 0 0 20 0 1 0 77349927 24719360 1699 33554432000 4194304 4308513 140732628137888 140732628134840 4276392 0 4 0 8396802 0 0 0 17 0 0 0 0 0 0 6409496 6410680 10420224 140732628144817 140732628145326 140732628145326 140732628148165 0
/proc/4367/statm: 6035 1699 349 28 0 2275 0
[pid=4331/tid=4333] ppid=4328 vsize=15681864 memory=0 CPUtime=2.23 cores=0,2,4,6
/proc/4331/task/4333/stat : 4333 (java) S 4328 4331 4275 0 -1 1077944384 17397 0 1 0 215 8 0 0 20 0 19 0 77349705 16058228736 81986 33554432000 4194304 4196468 140737285613344 139778979728384 139779007899349 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38277120 140737285620724 140737285621001 140737285621001 140737285623759 0
[pid=4331/tid=4341] ppid=4328 vsize=15681864 memory=6655300316396806240 CPUtime=0 cores=0,2,4,6
/proc/4331/task/4341/stat : 4341 (java) S 4328 4331 4275 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 77349706 16058228736 81986 33554432000 4194304 4196468 140737285613344 139779012131600 139779007899349 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38277120 140737285620724 140737285621001 140737285621001 140737285623759 0
[pid=4331/tid=4342] ppid=4328 vsize=15681864 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4331/task/4342/stat : 4342 (java) S 4328 4331 4275 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 77349706 16058228736 81986 33554432000 4194304 4196468 140737285613344 139778468346768 139779007899349 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38277120 140737285620724 140737285621001 140737285621001 140737285623759 0
[pid=4331/tid=4343] ppid=4328 vsize=15681864 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4331/task/4343/stat : 4343 (java) S 4328 4331 4275 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 77349706 16058228736 81986 33554432000 4194304 4196468 140737285613344 139778467294224 139779007899349 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38277120 140737285620724 140737285621001 140737285621001 140737285623759 0
[pid=4331/tid=4344] ppid=4328 vsize=15681864 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4331/task/4344/stat : 4344 (java) S 4328 4331 4275 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 77349706 16058228736 81986 33554432000 4194304 4196468 140737285613344 139778466241680 139779007899349 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38277120 140737285620724 140737285621001 140737285621001 140737285623759 0
[pid=4331/tid=4349] ppid=4328 vsize=15681864 memory=7521995004687799001 CPUtime=0 cores=0,2,4,6
/proc/4331/task/4349/stat : 4349 (java) S 4328 4331 4275 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 19 0 77349708 16058228736 81986 33554432000 4194304 4196468 140737285613344 139778046003184 139779007900290 0 0 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38277120 140737285620724 140737285621001 140737285621001 140737285623759 0
[pid=4331/tid=4350] ppid=4328 vsize=15681864 memory=-9174445032661854264 CPUtime=0 cores=0,2,4,6
/proc/4331/task/4350/stat : 4350 (java) S 4328 4331 4275 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 77349708 16058228736 81986 33554432000 4194304 4196468 140737285613344 139777563157408 139779007899349 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38277120 140737285620724 140737285621001 140737285621001 140737285623759 0
[pid=4331/tid=4351] ppid=4328 vsize=15681864 memory=-3621219749712857441 CPUtime=0 cores=0,2,4,6
/proc/4331/task/4351/stat : 4351 (java) S 4328 4331 4275 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 77349708 16058228736 81986 33554432000 4194304 4196468 140737285613344 139777294722032 139779007899349 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38277120 140737285620724 140737285621001 140737285621001 140737285623759 0
[pid=4331/tid=4355] ppid=4328 vsize=15681864 memory=6655300316396806240 CPUtime=0 cores=0,2,4,6
/proc/4331/task/4355/stat : 4355 (java) S 4328 4331 4275 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 77349711 16058228736 81986 33554432000 4194304 4196468 140737285613344 139776920213712 139779007907739 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38277120 140737285620724 140737285621001 140737285621001 140737285623759 0
[pid=4331/tid=4356] ppid=4328 vsize=15681864 memory=6656426216303648864 CPUtime=1.21 cores=0,2,4,6
/proc/4331/task/4356/stat : 4356 (java) S 4328 4331 4275 0 -1 1077944384 2839 0 0 0 120 1 0 0 20 0 19 0 77349711 16058228736 81986 33554432000 4194304 4196468 140737285613344 139778044951024 139779007900290 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38277120 140737285620724 140737285621001 140737285621001 140737285623759 0
[pid=4331/tid=4357] ppid=4328 vsize=15681864 memory=6944652177228980320 CPUtime=1.06 cores=0,2,4,6
/proc/4331/task/4357/stat : 4357 (java) S 4328 4331 4275 0 -1 1077944384 1078 0 0 0 106 0 0 0 20 0 19 0 77349711 16058228736 81986 33554432000 4194304 4196468 140737285613344 139778043898480 139779007900290 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38277120 140737285620724 140737285621001 140737285621001 140737285623759 0
[pid=4331/tid=4358] ppid=4328 vsize=15681864 memory=6655300316396806240 CPUtime=0.92 cores=0,2,4,6
/proc/4331/task/4358/stat : 4358 (java) S 4328 4331 4275 0 -1 1077944384 2981 0 0 0 92 0 0 0 20 0 19 0 77349711 16058228736 81986 33554432000 4194304 4196468 140737285613344 139778042845936 139779007900290 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38277120 140737285620724 140737285621001 140737285621001 140737285623759 0
[pid=4331/tid=4359] ppid=4328 vsize=15681864 memory=6944656592455088490 CPUtime=0 cores=0,2,4,6
/proc/4331/task/4359/stat : 4359 (java) S 4328 4331 4275 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 77349711 16058228736 81986 33554432000 4194304 4196468 140737285613344 139776422308960 139779007899349 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38277120 140737285620724 140737285621001 140737285621001 140737285623759 0
[pid=4331/tid=4360] ppid=4328 vsize=15681864 memory=6943526294502006880 CPUtime=0 cores=0,2,4,6
/proc/4331/task/4360/stat : 4360 (java) S 4328 4331 4275 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 77349711 16058228736 81986 33554432000 4194304 4196468 140737285613344 139778041792816 139779007900290 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38277120 140737285620724 140737285621001 140737285621001 140737285623759 0
[pid=4331/tid=4368] ppid=4328 vsize=15681864 memory=6943526294502006880 CPUtime=0 cores=0,2,4,6
/proc/4331/task/4368/stat : 4368 (java) S 4328 4331 4275 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 77349927 16058228736 81986 33554432000 4194304 4196468 140737285613344 139778034316352 139779007913753 0 4 0 25189583 18446744071579417331 0 0 -1 6 0 0 0 0 0 6293624 6294260 38277120 140737285620724 140737285621001 140737285621001 140737285623759 0
[pid=4331/tid=4370] ppid=4328 vsize=15681864 memory=6655300316396806240 CPUtime=0 cores=0,2,4,6
/proc/4331/task/4370/stat : 4370 (java) S 4328 4331 4275 0 -1 4202560 24 0 0 0 0 0 0 0 20 0 19 0 77349928 16058228736 81986 33554432000 4194304 4196468 140737285613344 139775885422128 139779007911069 0 4 0 25189583 18446744071580971376 0 0 -1 6 0 0 0 0 0 6293624 6294260 38277120 140737285620724 140737285621001 140737285621001 140737285623759 0
[pid=4331/tid=4371] ppid=4328 vsize=15681864 memory=6944656592387989600 CPUtime=0 cores=0,2,4,6
/proc/4331/task/4371/stat : 4371 (java) S 4328 4331 4275 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 19 0 77349928 16058228736 81986 33554432000 4194304 4196468 140737285613344 139776019644080 139779007911069 0 4 0 25189583 18446744071580971376 0 0 -1 6 0 0 0 0 0 6293624 6294260 38277120 140737285620724 140737285621001 140737285621001 140737285623759 0
[pid=4331/tid=4372] ppid=4328 vsize=15681864 memory=281180771644288 CPUtime=0 cores=0,2,4,6
/proc/4331/task/4372/stat : 4372 (java) S 4328 4331 4275 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 19 0 77349930 16058228736 81986 33554432000 4194304 4196468 140737285613344 139775616998944 139779007899349 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38277120 140737285620724 140737285621001 140737285621001 140737285623759 0
Current children cumulated CPU time: 6.64 s
Current children cumulated vsize: 15706004 KiB
Current children cumulated memory: 334740 KiB
Child status: 0
Real time (s): 3.41689
CPU time (s): 6.66338
CPU user time (s): 6.52108
CPU system time (s): 0.142303
CPU usage (%): 195.013
Max. virtual memory (cumulated for all children) (KiB): 15706004
Max. memory (cumulated for all children) (KiB): 334740
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 6.52108
system time used= 0.142303
maximum resident set size= 332300
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 27842
page faults= 1
swaps= 0
block input operations= 1968
block output operations= 616
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 3790
involuntary context switches= 135
# summary of solver processes directly reported to runsolver:
# pid: 4331
# total CPU time (s): 6.66338
# total CPU user time (s): 6.52108
# total CPU system time (s): 0.142303
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.057639 second user time and 0.06674 second system time
The end