0.67/0.52
0.67/0.52 scop both+minisat_release (2018-06-13)
0.67/0.52
0.67/0.55 c BEGIN-Prog: Mon Jul 23 18:07:00 CEST 2018
0.67/0.55 c PID: 19872
0.67/0.55 c IP: 172.20.3.102
0.67/0.55 c HOST: node102.alineos.net
0.67/0.56 c (0,0) Parsing Begin
1.81/1.09 c (0,0) Parsing End
1.81/1.09 c (0,0) CSP: 169 int (0 aux), 0 bool (0 aux), 1026 ctr, max domain size 13
1.81/1.10 c (0,0) Heap : 112 MiB used (max 10795 MiB), NonHeap : 20 MiB used (max 0 MiB)
1.81/1.10 c (0,0) Constraint Name Generate Begin
2.05/1.11 c (0,0) Ctr:HOME/instance-4294720-1532362019.xml,ExtensionConflict:ExtensionSupport:IntVar
2.05/1.11 c (0,0) Constraint Name Generate End
2.05/1.11 c (0,0) Heap : 112 MiB used (max 10795 MiB), NonHeap : 20 MiB used (max 0 MiB)
2.05/1.11 c (0,0) CSP to CSPinCNF Begin
3.25/1.63 c (1,1) translated 103 (10%) constraints
3.93/1.92 c (1,1) translated 206 (20%) constraints
4.25/2.07 c (1,1) translated 308 (30%) constraints
4.85/2.20 c (1,1) translated 411 (40%) constraints
5.15/2.32 c (1,1) translated 513 (50%) constraints
5.45/2.42 c (1,1) translated 616 (60%) constraints
5.75/2.50 c (1,1) translated 719 (70%) constraints
5.75/2.57 c (2,1) translated 821 (80%) constraints
6.36/2.80 c (2,2) translated 924 (90%) constraints
6.75/2.87 c (2,2) translated 1026 (100%) constraints
7.36/3.03 c (2,2) STATISTICS1:HOME/instance-4294720-1532362019.xml,ExtensionConflict:ExtensionSupport:IntVar,325,13650,-1,13,14,1,,13:50988;2:756,14:12;4:12024;3:264;2:1350,1:51744;0:12,
7.36/3.03 c (2,2) ===========================================
7.36/3.03 c (2,2) Both Encoding selects:
7.36/3.03 c (2,2) Order
7.36/3.03 c (2,2) ===========================================
7.36/3.08 c (2,2) translated 1365 (10%) constraints
7.68/3.12 c (2,2) translated 2730 (20%) constraints
7.68/3.16 c (2,2) translated 4095 (30%) constraints
7.68/3.19 c (2,2) translated 5460 (40%) constraints
7.95/3.21 c (2,2) translated 6825 (50%) constraints
7.95/3.24 c (2,2) translated 8190 (60%) constraints
7.95/3.27 c (2,2) translated 9555 (70%) constraints
7.95/3.29 c (2,2) translated 10920 (80%) constraints
8.17/3.33 c (2,2) translated 12285 (90%) constraints
8.17/3.37 c (2,2) translated 13650 (100%) constraints
8.17/3.37 c (2,2) CSP to CSPinCNF End
8.17/3.37 c (2,2) CSP: 169 int (0 aux), 156 bool (156 aux), 13650 ctr, max domain size 13
8.17/3.37 c (2,2) Heap : 675 MiB used (max 10795 MiB), NonHeap : 30 MiB used (max 0 MiB)
8.17/3.37 c (2,2) CSPinCNF Propagation Begin
8.82/3.53 c (3,2) 0 values, 2040 unsatisfiable literals, and 0 valid clauses are removed
8.82/3.53 c (3,2) CSPinCNF Propagation End
8.82/3.53 c (3,2) CSP: 169 int (0 aux), 156 bool (156 aux), 13650 ctr, max domain size 13
8.82/3.53 c (3,2) Heap : 788 MiB used (max 10795 MiB), NonHeap : 30 MiB used (max 0 MiB)
8.82/3.53 c (3,2) Simplify CSPinCNF Begin
8.82/3.57 c (3,2) Simplify CSPinCNF End
8.82/3.58 c (3,2) CSP: 169 int (0 aux), 156 bool (156 aux), 13650 ctr, max domain size 13
8.82/3.58 c (3,2) Heap : 788 MiB used (max 10795 MiB), NonHeap : 30 MiB used (max 0 MiB)
8.82/3.58 c (3,2) Calculate Precise Domain Begin
8.82/3.58 c (3,2) 0 values are removed by re-calculation
8.82/3.58 c (3,2) Calculate Precise Domain End
8.82/3.58 c (3,2) CSP: 169 int (0 aux), 156 bool (156 aux), 13650 ctr, max domain size 13
8.82/3.58 c (3,2) Heap : 788 MiB used (max 10795 MiB), NonHeap : 31 MiB used (max 0 MiB)
8.82/3.58 c (3,2) CSPinCNF to SatSolver Begin
9.12/3.66 c (3,3) 1365 (10 %) CSP clauses are encoded (2184 SAT variables, 3223 SAT clauses)
9.12/3.69 c (3,3) 2730 (20 %) CSP clauses are encoded (2184 SAT variables, 4588 SAT clauses)
9.44/3.71 c (3,3) 4095 (30 %) CSP clauses are encoded (2184 SAT variables, 5953 SAT clauses)
9.44/3.73 c (3,3) 5460 (40 %) CSP clauses are encoded (2184 SAT variables, 7318 SAT clauses)
9.44/3.75 c (3,3) 6825 (50 %) CSP clauses are encoded (2184 SAT variables, 8683 SAT clauses)
9.44/3.76 c (3,3) 8190 (60 %) CSP clauses are encoded (2184 SAT variables, 10048 SAT clauses)
9.44/3.77 c (3,3) 9555 (70 %) CSP clauses are encoded (2184 SAT variables, 11413 SAT clauses)
9.44/3.78 c (3,3) 10920 (80 %) CSP clauses are encoded (2184 SAT variables, 12778 SAT clauses)
9.74/3.81 c (3,3) 12285 (90 %) CSP clauses are encoded (2184 SAT variables, 14143 SAT clauses)
9.74/3.83 c (3,3) 13650 (100 %) CSP clauses are encoded (2184 SAT variables, 15508 SAT clauses)
9.74/3.83 c (3,3) CSPinCNF to SatSolver End
9.74/3.83 c (3,3) Heap : 844 MiB used (max 10795 MiB), NonHeap : 32 MiB used (max 0 MiB)
10.06/3.92 c (3,3) STATISTICS2:HOME/instance-4294720-1532362019.xml,ExtensionConflict:ExtensionSupport:IntVar,325,13650,-1,13,13,1,,13:48960;2:756,13:12;4:11010;3:264;2:2364,1:49716,
10.06/3.92 c (3,3) SatSolver.solve Begin
10.06/3.92 c (3,3) 2184 bool, 15509 clause
10.06/3.92 c (3,3) 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-4294720-1532362019.xml-scop-19872.cnf HOME/instance-4294720-1532362019.xml-scop-19872.cnf.out
22.90/16.52 c (15,0) c This is COMiniSatPS.
22.90/16.52 c (15,0) c WARNING: for repeatability, setting FPU to use double precision
22.90/16.52 c (15,0) c ============================[ Problem Statistics ]=============================
22.90/16.52 c (15,0) c | |
22.90/16.52 c (15,0) c | Number of variables: 2184 |
22.90/16.52 c (15,0) c | Number of clauses: 15509 |
22.90/16.52 c (15,0) c | Parse time: 0.00 s |
22.90/16.52 c (15,0) c | Eliminated clauses: 0.00 Mb |
22.90/16.52 c (15,0) c Reduced to 2016 vars, 15154 cls (grow=0)
22.90/16.52 c (15,0) c No iterative elimination performed. (vars=2016, c/v ratio=7.5)
22.90/16.52 c (15,0) c | Simplification time: 0.01 s |
22.90/16.52 c (15,0) c | |
22.90/16.52 c (15,0) c ============================[ Search Statistics ]==============================
22.90/16.52 c (15,0) c | Conflicts | ORIGINAL | LEARNT | Progress |
22.90/16.52 c (15,0) c | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
22.90/16.52 c (15,0) c ===============================================================================
22.90/16.52 c (15,0) c ===============================================================================
22.90/16.52 c (15,0) c restarts : 53
22.90/16.52 c (15,0) c conflicts : 821219 (65436 /sec)
22.90/16.52 c (15,0) c decisions : 1154161 (0.00 % random) (91965 /sec)
22.90/16.52 c (15,0) c propagations : 13128710 (1046114 /sec)
22.90/16.52 c (15,0) c conflict literals : 9415394 (8.39 % deleted)
22.90/16.52 c (15,0) c CPU time : 12.55 s
22.90/16.52 c (15,0)
22.90/16.52 c (15,0) s UNSATISFIABLE
22.90/16.52 c (15,3) SatSolver.solve End
22.90/16.52 c (15,3) Heap : 1126 MiB used (max 10795 MiB), NonHeap : 33 MiB used (max 0 MiB)
22.90/16.52 c (15,3) Show results Begin
22.90/16.52 s UNSATISFIABLE
22.90/16.52 c (15,3) Show results End
22.90/16.52 c (15,3) Heap : 1126 MiB used (max 10795 MiB), NonHeap : 33 MiB used (max 0 MiB)
22.90/16.52 c (15,3) 0,0,2,3,3,3,3,15,15,STOP-AFTER(ALL)
22.90/16.52 c END-Prog: Mon Jul 23 18:07:16 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 (5801 MiB free)
memory of node 1: 16384 MiB (8098 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4294720-1532362019/watcher-4294720-1532362019 -o /tmp/evaluation-result-4294720-1532362019/solver-4294720-1532362019 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node102-1532330044-8950 --watchdog 2580 java -Xms11g -Xmx11g -Xss128m -jar HOME/scop.jar -both -solver HOME/minisat_release -solverOption mapleTune01 -tmp HOME HOME/instance-4294720-1532362019.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
solver pid=19872, runsolver pid=19869
Current StackSize limit: 8192 KiB
[startup+0.10017 s]*
/proc/loadavg: 2.87 2.45 2.21 3/220 19887
/proc/meminfo: memFree=14174632/32770624 swapFree=67108860/67108860
[pid=19872] ppid=19869 vsize=15011656 memory=72128 CPUtime=0.11 cores=0,2,4,6
/proc/19872/stat : 19872 (java) S 19869 19872 8919 0 -1 1077944320 6704 0 0 0 10 1 0 0 20 0 15 0 53765063 15371935744 18032 33554432000 4194304 4196468 140736405012128 140736404994672 140685461892855 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 33738752 140736405013492 140736405013769 140736405013769 140736405016527 0
/proc/19872/statm: 3752914 18032 2780 1 0 3715374 0
[pid=19872/tid=19874] ppid=19869 vsize=15011656 memory=-6871259845000215376 CPUtime=0.09 cores=0,2,4,6
/proc/19872/task/19874/stat : 19874 (java) R 19869 19872 8919 0 -1 4202560 4787 0 0 0 8 1 0 0 20 0 15 0 53765063 15371935744 18032 33554432000 4194304 4196468 140736405012128 140685433719184 140685443456419 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 33738752 140736405013492 140736405013769 140736405013769 140736405016527 0
[pid=19872/tid=19875] ppid=19869 vsize=15011656 memory=-3689451258167578675 CPUtime=0 cores=0,2,4,6
/proc/19872/task/19875/stat : 19875 (java) S 19869 19872 8919 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 53765065 15371935744 18032 33554432000 4194304 4196468 140736405012128 140685466135696 140685461903061 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33738752 140736405013492 140736405013769 140736405013769 140736405016527 0
[pid=19872/tid=19876] ppid=19869 vsize=15011656 memory=139845434058368 CPUtime=0 cores=0,2,4,6
/proc/19872/task/19876/stat : 19876 (java) S 19869 19872 8919 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 53765065 15371935744 18032 33554432000 4194304 4196468 140736405012128 140685280291856 140685461903061 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33738752 140736405013492 140736405013769 140736405013769 140736405016527 0
[pid=19872/tid=19877] ppid=19869 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/19872/task/19877/stat : 19877 (java) S 19869 19872 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53765065 15371935744 18032 33554432000 4194304 4196468 140736405012128 140685279239056 140685461903061 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33738752 140736405013492 140736405013769 140736405013769 140736405016527 0
[pid=19872/tid=19878] ppid=19869 vsize=15011656 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/19872/task/19878/stat : 19878 (java) S 19869 19872 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53765065 15371935744 18032 33554432000 4194304 4196468 140736405012128 140684920433424 140685461903061 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33738752 140736405013492 140736405013769 140736405013769 140736405016527 0
[pid=19872/tid=19879] ppid=19869 vsize=15011656 memory=139845434058368 CPUtime=0 cores=0,2,4,6
/proc/19872/task/19879/stat : 19879 (java) S 19869 19872 8919 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 53765066 15371935744 18032 33554432000 4194304 4196468 140736405012128 140684500195696 140685461904002 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33738752 140736405013492 140736405013769 140736405013769 140736405016527 0
[pid=19872/tid=19880] ppid=19869 vsize=15011656 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/19872/task/19880/stat : 19880 (java) S 19869 19872 8919 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 53765067 15371935744 18032 33554432000 4194304 4196468 140736405012128 140684002583584 140685461903061 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33738752 140736405013492 140736405013769 140736405013769 140736405016527 0
[pid=19872/tid=19881] ppid=19869 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/19872/task/19881/stat : 19881 (java) S 19869 19872 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53765067 15371935744 18032 33554432000 4194304 4196468 140736405012128 140683734147952 140685461903061 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33738752 140736405013492 140736405013769 140736405013769 140736405016527 0
[pid=19872/tid=19882] ppid=19869 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/19872/task/19882/stat : 19882 (java) S 19869 19872 8919 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 53765069 15371935744 18032 33554432000 4194304 4196468 140736405012128 140683359639376 140685461911451 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33738752 140736405013492 140736405013769 140736405013769 140736405016527 0
[pid=19872/tid=19883] ppid=19869 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/19872/task/19883/stat : 19883 (java) S 19869 19872 8919 0 -1 1077944384 300 0 0 0 0 0 0 0 20 0 15 0 53765069 15371935744 18032 33554432000 4194304 4196468 140736405012128 140684499143536 140685461904002 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33738752 140736405013492 140736405013769 140736405013769 140736405016527 0
[pid=19872/tid=19884] ppid=19869 vsize=15011656 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/19872/task/19884/stat : 19884 (java) S 19869 19872 8919 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 53765069 15371935744 18032 33554432000 4194304 4196468 140736405012128 140684498090736 140685461904002 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33738752 140736405013492 140736405013769 140736405013769 140736405016527 0
[pid=19872/tid=19885] ppid=19869 vsize=15011656 memory=139845434058368 CPUtime=0.01 cores=0,2,4,6
/proc/19872/task/19885/stat : 19885 (java) S 19869 19872 8919 0 -1 1077944384 278 0 0 0 1 0 0 0 20 0 15 0 53765069 15371935744 18032 33554432000 4194304 4196468 140736405012128 140684497037936 140685461904002 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33738752 140736405013492 140736405013769 140736405013769 140736405016527 0
[pid=19872/tid=19886] ppid=19869 vsize=15011656 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/19872/task/19886/stat : 19886 (java) S 19869 19872 8919 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 53765070 15371935744 18032 33554432000 4194304 4196468 140736405012128 140682861734624 140685461903061 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33738752 140736405013492 140736405013769 140736405013769 140736405016527 0
[pid=19872/tid=19887] ppid=19869 vsize=15011656 memory=139845434058368 CPUtime=0 cores=0,2,4,6
/proc/19872/task/19887/stat : 19887 (java) S 19869 19872 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53765070 15371935744 18032 33554432000 4194304 4196468 140736405012128 140684495985328 140685461904002 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33738752 140736405013492 140736405013769 140736405013769 140736405016527 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 15011656 KiB
Current children cumulated memory: 72128 KiB
[startup+0.210592 s]*
/proc/loadavg: 2.87 2.45 2.21 3/220 19887
/proc/meminfo: memFree=14160680/32770624 swapFree=67108860/67108860
[pid=19872] ppid=19869 vsize=15011656 memory=86000 CPUtime=0.25 cores=0,2,4,6
/proc/19872/stat : 19872 (java) S 19869 19872 8919 0 -1 1077944320 10364 0 0 0 23 2 0 0 20 0 15 0 53765063 15371935744 21500 33554432000 4194304 4196468 140736405012128 140736404994672 140685461892855 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 33738752 140736405013492 140736405013769 140736405013769 140736405016527 0
/proc/19872/statm: 3752914 21500 2944 1 0 3715374 0
[pid=19872/tid=19874] ppid=19869 vsize=15011656 memory=8389772277269004345 CPUtime=0.2 cores=0,2,4,6
/proc/19872/task/19874/stat : 19874 (java) R 19869 19872 8919 0 -1 4202560 8249 0 0 0 18 2 0 0 20 0 15 0 53765063 15371935744 21500 33554432000 4194304 4196468 140736405012128 140685433719248 140685461904790 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 33738752 140736405013492 140736405013769 140736405013769 140736405016527 0
[pid=19872/tid=19875] ppid=19869 vsize=15011656 memory=288230609019731991 CPUtime=0 cores=0,2,4,6
/proc/19872/task/19875/stat : 19875 (java) S 19869 19872 8919 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 53765065 15371935744 21500 33554432000 4194304 4196468 140736405012128 140685466135696 140685461903061 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33738752 140736405013492 140736405013769 140736405013769 140736405016527 0
[pid=19872/tid=19876] ppid=19869 vsize=15011656 memory=4051468795903977120 CPUtime=0 cores=0,2,4,6
/proc/19872/task/19876/stat : 19876 (java) S 19869 19872 8919 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 53765065 15371935744 21500 33554432000 4194304 4196468 140736405012128 140685280291856 140685461903061 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33738752 140736405013492 140736405013769 140736405013769 140736405016527 0
[pid=19872/tid=19877] ppid=19869 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/19872/task/19877/stat : 19877 (java) S 19869 19872 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53765065 15371935744 21500 33554432000 4194304 4196468 140736405012128 140685279239056 140685461903061 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33738752 140736405013492 140736405013769 140736405013769 140736405016527 0
[pid=19872/tid=19878] ppid=19869 vsize=15011656 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/19872/task/19878/stat : 19878 (java) S 19869 19872 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53765065 15371935744 21500 33554432000 4194304 4196468 140736405012128 140684920433424 140685461903061 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33738752 140736405013492 140736405013769 140736405013769 140736405016527 0
[pid=19872/tid=19879] ppid=19869 vsize=15011656 memory=139845434058368 CPUtime=0 cores=0,2,4,6
/proc/19872/task/19879/stat : 19879 (java) S 19869 19872 8919 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 53765066 15371935744 21500 33554432000 4194304 4196468 140736405012128 140684500195696 140685461904002 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33738752 140736405013492 140736405013769 140736405013769 140736405016527 0
[pid=19872/tid=19880] ppid=19869 vsize=15011656 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/19872/task/19880/stat : 19880 (java) S 19869 19872 8919 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 53765067 15371935744 21500 33554432000 4194304 4196468 140736405012128 140684002583584 140685461903061 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33738752 140736405013492 140736405013769 140736405013769 140736405016527 0
[pid=19872/tid=19881] ppid=19869 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/19872/task/19881/stat : 19881 (java) S 19869 19872 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53765067 15371935744 21500 33554432000 4194304 4196468 140736405012128 140683734147952 140685461903061 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33738752 140736405013492 140736405013769 140736405013769 140736405016527 0
[pid=19872/tid=19882] ppid=19869 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/19872/task/19882/stat : 19882 (java) S 19869 19872 8919 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 53765069 15371935744 21500 33554432000 4194304 4196468 140736405012128 140683359639376 140685461911451 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33738752 140736405013492 140736405013769 140736405013769 140736405016527 0
[pid=19872/tid=19883] ppid=19869 vsize=15011656 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/19872/task/19883/stat : 19883 (java) S 19869 19872 8919 0 -1 1077944384 335 0 0 0 1 0 0 0 20 0 15 0 53765069 15371935744 21500 33554432000 4194304 4196468 140736405012128 140684499143536 140685461904002 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33738752 140736405013492 140736405013769 140736405013769 140736405016527 0
[pid=19872/tid=19884] ppid=19869 vsize=15011656 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/19872/task/19884/stat : 19884 (java) S 19869 19872 8919 0 -1 1077944384 133 0 0 0 0 0 0 0 20 0 15 0 53765069 15371935744 21500 33554432000 4194304 4196468 140736405012128 140684498090736 140685461904002 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33738752 140736405013492 140736405013769 140736405013769 140736405016527 0
[pid=19872/tid=19885] ppid=19869 vsize=15011656 memory=139845434058368 CPUtime=0.03 cores=0,2,4,6
/proc/19872/task/19885/stat : 19885 (java) S 19869 19872 8919 0 -1 1077944384 309 0 0 0 3 0 0 0 20 0 15 0 53765069 15371935744 21500 33554432000 4194304 4196468 140736405012128 140684497037936 140685461904002 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33738752 140736405013492 140736405013769 140736405013769 140736405016527 0
[pid=19872/tid=19886] ppid=19869 vsize=15011656 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/19872/task/19886/stat : 19886 (java) S 19869 19872 8919 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 53765070 15371935744 21500 33554432000 4194304 4196468 140736405012128 140682861734624 140685461903061 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33738752 140736405013492 140736405013769 140736405013769 140736405016527 0
[pid=19872/tid=19887] ppid=19869 vsize=15011656 memory=139845434058368 CPUtime=0 cores=0,2,4,6
/proc/19872/task/19887/stat : 19887 (java) S 19869 19872 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53765070 15371935744 21500 33554432000 4194304 4196468 140736405012128 140684495985328 140685461904002 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33738752 140736405013492 140736405013769 140736405013769 140736405016527 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 15011656 KiB
Current children cumulated memory: 86000 KiB
[startup+0.310342 s]*
/proc/loadavg: 2.87 2.45 2.21 3/220 19887
/proc/meminfo: memFree=14157268/32770624 swapFree=67108860/67108860
[pid=19872] ppid=19869 vsize=15011656 memory=89624 CPUtime=0.43 cores=0,2,4,6
/proc/19872/stat : 19872 (java) S 19869 19872 8919 0 -1 1077944320 10971 0 0 0 40 3 0 0 20 0 15 0 53765063 15371935744 22406 33554432000 4194304 4196468 140736405012128 140736404994672 140685461892855 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 33738752 140736405013492 140736405013769 140736405013769 140736405016527 0
/proc/19872/statm: 3752914 22406 2992 1 0 3715374 0
[pid=19872/tid=19874] ppid=19869 vsize=15011656 memory=8389772277269004345 CPUtime=0.3 cores=0,2,4,6
/proc/19872/task/19874/stat : 19874 (java) R 19869 19872 8919 0 -1 4202560 8676 0 0 0 28 2 0 0 20 0 15 0 53765063 15371935744 22406 33554432000 4194304 4196468 140736405012128 140685433697008 140685445936485 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 33738752 140736405013492 140736405013769 140736405013769 140736405016527 0
[pid=19872/tid=19875] ppid=19869 vsize=15011656 memory=4294967638 CPUtime=0 cores=0,2,4,6
/proc/19872/task/19875/stat : 19875 (java) S 19869 19872 8919 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 53765065 15371935744 22406 33554432000 4194304 4196468 140736405012128 140685466135696 140685461903061 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33738752 140736405013492 140736405013769 140736405013769 140736405016527 0
[pid=19872/tid=19876] ppid=19869 vsize=15011656 memory=3906790657874699936 CPUtime=0 cores=0,2,4,6
/proc/19872/task/19876/stat : 19876 (java) S 19869 19872 8919 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 53765065 15371935744 22406 33554432000 4194304 4196468 140736405012128 140685280291856 140685461903061 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33738752 140736405013492 140736405013769 140736405013769 140736405016527 0
[pid=19872/tid=19877] ppid=19869 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/19872/task/19877/stat : 19877 (java) S 19869 19872 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53765065 15371935744 22406 33554432000 4194304 4196468 140736405012128 140685279239056 140685461903061 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33738752 140736405013492 140736405013769 140736405013769 140736405016527 0
[pid=19872/tid=19878] ppid=19869 vsize=15011656 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/19872/task/19878/stat : 19878 (java) S 19869 19872 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53765065 15371935744 22406 33554432000 4194304 4196468 140736405012128 140684920433424 140685461903061 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33738752 140736405013492 140736405013769 140736405013769 140736405016527 0
[pid=19872/tid=19879] ppid=19869 vsize=15011656 memory=139845434058368 CPUtime=0 cores=0,2,4,6
/proc/19872/task/19879/stat : 19879 (java) S 19869 19872 8919 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 53765066 15371935744 22406 33554432000 4194304 4196468 140736405012128 140684500195696 140685461904002 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33738752 140736405013492 140736405013769 140736405013769 140736405016527 0
[pid=19872/tid=19880] ppid=19869 vsize=15011656 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/19872/task/19880/stat : 19880 (java) S 19869 19872 8919 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 53765067 15371935744 22406 33554432000 4194304 4196468 140736405012128 140684002583584 140685461903061 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33738752 140736405013492 140736405013769 140736405013769 140736405016527 0
[pid=19872/tid=19881] ppid=19869 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/19872/task/19881/stat : 19881 (java) S 19869 19872 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53765067 15371935744 22406 33554432000 4194304 4196468 140736405012128 140683734147952 140685461903061 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33738752 140736405013492 140736405013769 140736405013769 140736405016527 0
[pid=19872/tid=19882] ppid=19869 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/19872/task/19882/stat : 19882 (java) S 19869 19872 8919 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 53765069 15371935744 22406 33554432000 4194304 4196468 140736405012128 140683359639376 140685461911451 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33738752 140736405013492 140736405013769 140736405013769 140736405016527 0
[pid=19872/tid=19883] ppid=19869 vsize=15011656 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/19872/task/19883/stat : 19883 (java) R 19869 19872 8919 0 -1 1077944384 359 0 0 0 2 0 0 0 20 0 15 0 53765069 15371935744 22406 33554432000 4194304 4196468 140736405012128 140684499143536 140685461904002 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 33738752 140736405013492 140736405013769 140736405013769 140736405016527 0
[pid=19872/tid=19884] ppid=19869 vsize=15011656 memory=-1 CPUtime=0.02 cores=0,2,4,6
/proc/19872/task/19884/stat : 19884 (java) R 19869 19872 8919 0 -1 4202560 250 0 0 0 2 0 0 0 20 0 15 0 53765069 15371935744 22406 33554432000 4194304 4196468 140736405012128 140684498090736 140685439527504 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 33738752 140736405013492 140736405013769 140736405013769 140736405016527 0
[pid=19872/tid=19885] ppid=19869 vsize=15011656 memory=139845434058368 CPUtime=0.07 cores=0,2,4,6
/proc/19872/task/19885/stat : 19885 (java) R 19869 19872 8919 0 -1 4202560 354 0 0 0 7 0 0 0 20 0 15 0 53765069 15371935744 22406 33554432000 4194304 4196468 140736405012128 140684497037936 140685445973342 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 33738752 140736405013492 140736405013769 140736405013769 140736405016527 0
[pid=19872/tid=19886] ppid=19869 vsize=15011656 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/19872/task/19886/stat : 19886 (java) S 19869 19872 8919 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 53765070 15371935744 22406 33554432000 4194304 4196468 140736405012128 140682861734624 140685461903061 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33738752 140736405013492 140736405013769 140736405013769 140736405016527 0
[pid=19872/tid=19887] ppid=19869 vsize=15011656 memory=139845434058368 CPUtime=0 cores=0,2,4,6
/proc/19872/task/19887/stat : 19887 (java) S 19869 19872 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53765070 15371935744 22406 33554432000 4194304 4196468 140736405012128 140684495985328 140685461904002 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33738752 140736405013492 140736405013769 140736405013769 140736405016527 0
Current children cumulated CPU time: 0.43 s
Current children cumulated vsize: 15011656 KiB
Current children cumulated memory: 89624 KiB
[startup+0.702013 s]
/proc/loadavg: 2.87 2.45 2.21 3/220 19887
/proc/meminfo: memFree=14132712/32770624 swapFree=67108860/67108860
[pid=19872] ppid=19869 vsize=15020052 memory=129904 CPUtime=1.04 cores=0,2,4,6
/proc/19872/stat : 19872 (java) S 19869 19872 8919 0 -1 1077944320 18199 0 0 0 99 5 0 0 20 0 15 0 53765063 15380533248 32476 33554432000 4194304 4196468 140736405012128 140736404994672 140685461892855 0 0 0 25189583 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 33738752 140736405013492 140736405013769 140736405013769 140736405016527 0
/proc/19872/statm: 3755013 32476 3147 1 0 3716398 0
[pid=19872/tid=19874] ppid=19869 vsize=15020052 memory=225224930910470 CPUtime=0.68 cores=0,2,4,6
/proc/19872/task/19874/stat : 19874 (java) S 19869 19872 8919 0 -1 1077944384 15350 0 0 0 64 4 0 0 20 0 15 0 53765063 15380533248 32476 33554432000 4194304 4196468 140736405012128 140685433728944 140685461903061 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33738752 140736405013492 140736405013769 140736405013769 140736405016527 0
[pid=19872/tid=19875] ppid=19869 vsize=15020052 memory=298567 CPUtime=0 cores=0,2,4,6
/proc/19872/task/19875/stat : 19875 (java) S 19869 19872 8919 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 53765065 15380533248 32476 33554432000 4194304 4196468 140736405012128 140685466135696 140685461903061 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33738752 140736405013492 140736405013769 140736405013769 140736405016527 0
[pid=19872/tid=19876] ppid=19869 vsize=15020052 memory=0 CPUtime=0 cores=0,2,4,6
/proc/19872/task/19876/stat : 19876 (java) S 19869 19872 8919 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 53765065 15380533248 32476 33554432000 4194304 4196468 140736405012128 140685280291856 140685461903061 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33738752 140736405013492 140736405013769 140736405013769 140736405016527 0
[pid=19872/tid=19877] ppid=19869 vsize=15020052 memory=0 CPUtime=0 cores=0,2,4,6
/proc/19872/task/19877/stat : 19877 (java) S 19869 19872 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53765065 15380533248 32476 33554432000 4194304 4196468 140736405012128 140685279239056 140685461903061 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33738752 140736405013492 140736405013769 140736405013769 140736405016527 0
[pid=19872/tid=19878] ppid=19869 vsize=15020052 memory=7809523229951467574 CPUtime=0 cores=0,2,4,6
/proc/19872/task/19878/stat : 19878 (java) S 19869 19872 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53765065 15380533248 32476 33554432000 4194304 4196468 140736405012128 140684920433424 140685461903061 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33738752 140736405013492 140736405013769 140736405013769 140736405016527 0
[pid=19872/tid=19879] ppid=19869 vsize=15020052 memory=0 CPUtime=0 cores=0,2,4,6
/proc/19872/task/19879/stat : 19879 (java) S 19869 19872 8919 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 53765066 15380533248 32476 33554432000 4194304 4196468 140736405012128 140684500195696 140685461904002 0 0 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33738752 140736405013492 140736405013769 140736405013769 140736405016527 0
[pid=19872/tid=19880] ppid=19869 vsize=15020052 memory=-3472574513799858009 CPUtime=0 cores=0,2,4,6
/proc/19872/task/19880/stat : 19880 (java) S 19869 19872 8919 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 53765067 15380533248 32476 33554432000 4194304 4196468 140736405012128 140684002583584 140685461903061 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33738752 140736405013492 140736405013769 140736405013769 140736405016527 0
[pid=19872/tid=19881] ppid=19869 vsize=15020052 memory=6944656592387989600 CPUtime=0 cores=0,2,4,6
/proc/19872/task/19881/stat : 19881 (java) S 19869 19872 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53765067 15380533248 32476 33554432000 4194304 4196468 140736405012128 140683734147952 140685461903061 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33738752 140736405013492 140736405013769 140736405013769 140736405016527 0
[pid=19872/tid=19882] ppid=19869 vsize=15020052 memory=6944656575208382560 CPUtime=0 cores=0,2,4,6
/proc/19872/task/19882/stat : 19882 (java) S 19869 19872 8919 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 53765069 15380533248 32476 33554432000 4194304 4196468 140736405012128 140683359639376 140685461911451 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33738752 140736405013492 140736405013769 140736405013769 140736405016527 0
[pid=19872/tid=19883] ppid=19869 vsize=15020052 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/19872/task/19883/stat : 19883 (java) S 19869 19872 8919 0 -1 1077944384 611 0 0 0 8 0 0 0 20 0 15 0 53765069 15380533248 32476 33554432000 4194304 4196468 140736405012128 140684499143536 140685461904002 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33738752 140736405013492 140736405013769 140736405013769 140736405016527 0
[pid=19872/tid=19884] ppid=19869 vsize=15020052 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/19872/task/19884/stat : 19884 (java) R 19869 19872 8919 0 -1 4202560 345 0 0 0 8 0 0 0 20 0 15 0 53765069 15380533248 32476 33554432000 4194304 4196468 140736405012128 140684498090736 140685443414037 0 4 0 25189583 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 33738752 140736405013492 140736405013769 140736405013769 140736405016527 0
[pid=19872/tid=19885] ppid=19869 vsize=15020052 memory=0 CPUtime=0.18 cores=0,2,4,6
/proc/19872/task/19885/stat : 19885 (java) R 19869 19872 8919 0 -1 4202560 552 0 0 0 18 0 0 0 20 0 15 0 53765069 15380533248 32476 33554432000 4194304 4196468 140736405012128 140684497037120 140685440518616 0 4 0 25189583 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 33738752 140736405013492 140736405013769 140736405013769 140736405016527 0
[pid=19872/tid=19886] ppid=19869 vsize=15020052 memory=0 CPUtime=0 cores=0,2,4,6
/proc/19872/task/19886/stat : 19886 (java) S 19869 19872 8919 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 53765070 15380533248 32476 33554432000 4194304 4196468 140736405012128 140682861734624 140685461903061 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33738752 140736405013492 140736405013769 140736405013769 140736405016527 0
[pid=19872/tid=19887] ppid=19869 vsize=15020052 memory=0 CPUtime=0 cores=0,2,4,6
/proc/19872/task/19887/stat : 19887 (java) S 19869 19872 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53765070 15380533248 32476 33554432000 4194304 4196468 140736405012128 140684495985328 140685461904002 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33738752 140736405013492 140736405013769 140736405013769 140736405016527 0
Current children cumulated CPU time: 1.04 s
Current children cumulated vsize: 15020052 KiB
Current children cumulated memory: 129904 KiB
[startup+1.50441 s]
/proc/loadavg: 2.87 2.45 2.21 3/220 19887
/proc/meminfo: memFree=14100640/32770624 swapFree=67108860/67108860
[pid=19872] ppid=19869 vsize=15022100 memory=177024 CPUtime=2.95 cores=0,2,4,6
/proc/19872/stat : 19872 (java) S 19869 19872 8919 0 -1 1077944320 22276 0 0 0 288 7 0 0 20 0 15 0 53765063 15382630400 44256 33554432000 4194304 4196468 140736405012128 140736404994672 140685461892855 0 0 0 25189583 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 33738752 140736405013492 140736405013769 140736405013769 140736405016527 0
/proc/19872/statm: 3755525 44256 3202 1 0 3716910 0
[pid=19872/tid=19874] ppid=19869 vsize=15022100 memory=5794836780235444839 CPUtime=1.47 cores=0,2,4,6
/proc/19872/task/19874/stat : 19874 (java) R 19869 19872 8919 0 -1 4202560 16548 0 0 0 143 4 0 0 20 0 15 0 53765063 15382630400 44256 33554432000 4194304 4196468 140736405012128 140685433723584 140684966521462 0 4 0 25189583 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 33738752 140736405013492 140736405013769 140736405013769 140736405016527 0
[pid=19872/tid=19875] ppid=19869 vsize=15022100 memory=6298673690012635751 CPUtime=0 cores=0,2,4,6
/proc/19872/task/19875/stat : 19875 (java) S 19869 19872 8919 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 53765065 15382630400 44256 33554432000 4194304 4196468 140736405012128 140685466135696 140685461903061 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33738752 140736405013492 140736405013769 140736405013769 140736405016527 0
[pid=19872/tid=19876] ppid=19869 vsize=15022100 memory=7517461400011565679 CPUtime=0 cores=0,2,4,6
/proc/19872/task/19876/stat : 19876 (java) S 19869 19872 8919 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 53765065 15382630400 44256 33554432000 4194304 4196468 140736405012128 140685280291856 140685461903061 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33738752 140736405013492 140736405013769 140736405013769 140736405016527 0
[pid=19872/tid=19877] ppid=19869 vsize=15022100 memory=7668056143170005591 CPUtime=0 cores=0,2,4,6
/proc/19872/task/19877/stat : 19877 (java) S 19869 19872 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53765065 15382630400 44256 33554432000 4194304 4196468 140736405012128 140685279239056 140685461903061 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33738752 140736405013492 140736405013769 140736405013769 140736405016527 0
[pid=19872/tid=19878] ppid=19869 vsize=15022100 memory=4638778415512636752 CPUtime=0 cores=0,2,4,6
/proc/19872/task/19878/stat : 19878 (java) S 19869 19872 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53765065 15382630400 44256 33554432000 4194304 4196468 140736405012128 140684920433424 140685461903061 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33738752 140736405013492 140736405013769 140736405013769 140736405016527 0
[pid=19872/tid=19879] ppid=19869 vsize=15022100 memory=7884794052751943248 CPUtime=0 cores=0,2,4,6
/proc/19872/task/19879/stat : 19879 (java) S 19869 19872 8919 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 53765066 15382630400 44256 33554432000 4194304 4196468 140736405012128 140684500195696 140685461904002 0 0 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33738752 140736405013492 140736405013769 140736405013769 140736405016527 0
################
# More data... #
################
/proc/19872/task/19887/stat : 19887 (java) S 19869 19872 8919 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 53765070 16060325888 239389 33554432000 4194304 4196468 140736405012128 140684495985328 140685461904002 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33738752 140736405013492 140736405013769 140736405013769 140736405016527 0
[pid=19872/tid=19889] ppid=19869 vsize=15683912 memory=2340 CPUtime=0 cores=0,2,4,6
/proc/19872/task/19889/stat : 19889 (java) S 19869 19872 8919 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 53765457 16060325888 239389 33554432000 4194304 4196468 140736405012128 140684479718592 140685461917465 0 4 0 25189583 18446744071579417331 0 0 -1 2 0 0 0 0 0 6293624 6294260 33738752 140736405013492 140736405013769 140736405013769 140736405016527 0
[pid=19872/tid=19891] ppid=19869 vsize=15683912 memory=2240 CPUtime=0 cores=0,2,4,6
/proc/19872/task/19891/stat : 19891 (java) S 19869 19872 8919 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 53765457 16060325888 239389 33554432000 4194304 4196468 140736405012128 140682324847792 140685461914781 0 4 0 25189583 18446744071580971376 0 0 -1 6 0 0 0 0 0 6293624 6294260 33738752 140736405013492 140736405013769 140736405013769 140736405016527 0
[pid=19872/tid=19892] ppid=19869 vsize=15683912 memory=4132 CPUtime=0 cores=0,2,4,6
/proc/19872/task/19892/stat : 19892 (java) S 19869 19872 8919 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 53765457 16060325888 239389 33554432000 4194304 4196468 140736405012128 140682190626864 140685461914781 0 4 0 25189583 18446744071580971376 0 0 -1 6 0 0 0 0 0 6293624 6294260 33738752 140736405013492 140736405013769 140736405013769 140736405016527 0
[pid=19872/tid=19893] ppid=19869 vsize=15683912 memory=832 CPUtime=0 cores=0,2,4,6
/proc/19872/task/19893/stat : 19893 (java) S 19869 19872 8919 0 -1 1077944384 27 0 0 0 0 0 0 0 20 0 19 0 53765459 16060325888 239389 33554432000 4194304 4196468 140736405012128 140682459078304 140685461903061 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33738752 140736405013492 140736405013769 140736405013769 140736405016527 0
Current children cumulated CPU time: 21.6 s
Current children cumulated vsize: 15751700 KiB
Current children cumulated memory: 1007504 KiB
[startup+16.0009 s]*
/proc/loadavg: 2.81 2.46 2.22 3/225 19893
/proc/meminfo: memFree=13238956/32770624 swapFree=67108860/67108860
[pid=19872] ppid=19869 vsize=15683912 memory=957556 CPUtime=10.34 cores=0,2,4,6
/proc/19872/stat : 19872 (java) S 19869 19872 8919 0 -1 1077944320 27402 0 0 0 1013 21 0 0 20 0 19 0 53765063 16060325888 239389 33554432000 4194304 4196468 140736405012128 140736404994672 140685461892855 0 0 0 25189583 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 33738752 140736405013492 140736405013769 140736405013769 140736405016527 0
/proc/19872/statm: 3920978 239389 3231 1 0 3881834 0
[pid=19888] ppid=19872 vsize=67788 memory=49948 CPUtime=12.07 cores=0,2,4,6
/proc/19888/stat : 19888 (minisat_release) R 19872 19872 8919 0 -1 4202496 19822 0 0 0 1204 3 0 0 20 0 1 0 53765456 69414912 12487 33554432000 4194304 4308513 140724766132992 140724766129992 4276436 0 4 0 8396802 0 0 0 17 2 0 0 0 0 0 6409496 6410680 9330688 140724766134959 140724766135470 140724766135470 140724766138309 0
/proc/19888/statm: 16947 12487 354 28 0 13187 0
[pid=19872/tid=19874] ppid=19869 vsize=15683912 memory=-7824251494390912611 CPUtime=3.85 cores=0,2,4,6
/proc/19872/task/19874/stat : 19874 (java) S 19869 19872 8919 0 -1 1077944384 18205 0 0 0 369 16 0 0 20 0 19 0 53765063 16060325888 239389 33554432000 4194304 4196468 140736405012128 140685433732096 140685461903061 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33738752 140736405013492 140736405013769 140736405013769 140736405016527 0
[pid=19872/tid=19875] ppid=19869 vsize=15683912 memory=0 CPUtime=0 cores=0,2,4,6
/proc/19872/task/19875/stat : 19875 (java) S 19869 19872 8919 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 53765065 16060325888 239389 33554432000 4194304 4196468 140736405012128 140685466135696 140685461903061 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33738752 140736405013492 140736405013769 140736405013769 140736405016527 0
[pid=19872/tid=19876] ppid=19869 vsize=15683912 memory=0 CPUtime=0 cores=0,2,4,6
/proc/19872/task/19876/stat : 19876 (java) S 19869 19872 8919 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 53765065 16060325888 239389 33554432000 4194304 4196468 140736405012128 140685280291856 140685461903061 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33738752 140736405013492 140736405013769 140736405013769 140736405016527 0
[pid=19872/tid=19877] ppid=19869 vsize=15683912 memory=0 CPUtime=0 cores=0,2,4,6
/proc/19872/task/19877/stat : 19877 (java) S 19869 19872 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 53765065 16060325888 239389 33554432000 4194304 4196468 140736405012128 140685279239056 140685461903061 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33738752 140736405013492 140736405013769 140736405013769 140736405016527 0
[pid=19872/tid=19878] ppid=19869 vsize=15683912 memory=0 CPUtime=0 cores=0,2,4,6
/proc/19872/task/19878/stat : 19878 (java) S 19869 19872 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 53765065 16060325888 239389 33554432000 4194304 4196468 140736405012128 140684920433424 140685461903061 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33738752 140736405013492 140736405013769 140736405013769 140736405016527 0
[pid=19872/tid=19879] ppid=19869 vsize=15683912 memory=0 CPUtime=0 cores=0,2,4,6
/proc/19872/task/19879/stat : 19879 (java) S 19869 19872 8919 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 19 0 53765066 16060325888 239389 33554432000 4194304 4196468 140736405012128 140684500195696 140685461904002 0 0 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33738752 140736405013492 140736405013769 140736405013769 140736405016527 0
[pid=19872/tid=19880] ppid=19869 vsize=15683912 memory=0 CPUtime=0 cores=0,2,4,6
/proc/19872/task/19880/stat : 19880 (java) S 19869 19872 8919 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 53765067 16060325888 239389 33554432000 4194304 4196468 140736405012128 140684002583584 140685461903061 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33738752 140736405013492 140736405013769 140736405013769 140736405016527 0
[pid=19872/tid=19881] ppid=19869 vsize=15683912 memory=4641330296368681058 CPUtime=0 cores=0,2,4,6
/proc/19872/task/19881/stat : 19881 (java) S 19869 19872 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 53765067 16060325888 239389 33554432000 4194304 4196468 140736405012128 140683734147952 140685461903061 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33738752 140736405013492 140736405013769 140736405013769 140736405016527 0
[pid=19872/tid=19882] ppid=19869 vsize=15683912 memory=0 CPUtime=0 cores=0,2,4,6
/proc/19872/task/19882/stat : 19882 (java) S 19869 19872 8919 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 53765069 16060325888 239389 33554432000 4194304 4196468 140736405012128 140683359639376 140685461911451 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33738752 140736405013492 140736405013769 140736405013769 140736405016527 0
[pid=19872/tid=19883] ppid=19869 vsize=15683912 memory=3905525982033944632 CPUtime=2.68 cores=0,2,4,6
/proc/19872/task/19883/stat : 19883 (java) S 19869 19872 8919 0 -1 1077944384 2197 0 0 0 267 1 0 0 20 0 19 0 53765069 16060325888 239389 33554432000 4194304 4196468 140736405012128 140684499143536 140685461904002 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33738752 140736405013492 140736405013769 140736405013769 140736405016527 0
[pid=19872/tid=19884] ppid=19869 vsize=15683912 memory=3473882143730484912 CPUtime=2.63 cores=0,2,4,6
/proc/19872/task/19884/stat : 19884 (java) S 19869 19872 8919 0 -1 1077944384 1971 0 0 0 262 1 0 0 20 0 19 0 53765069 16060325888 239389 33554432000 4194304 4196468 140736405012128 140684498090736 140685461904002 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33738752 140736405013492 140736405013769 140736405013769 140736405016527 0
[pid=19872/tid=19885] ppid=19869 vsize=15683912 memory=3762817069330014263 CPUtime=1.14 cores=0,2,4,6
/proc/19872/task/19885/stat : 19885 (java) S 19869 19872 8919 0 -1 1077944384 3628 0 0 0 113 1 0 0 20 0 19 0 53765069 16060325888 239389 33554432000 4194304 4196468 140736405012128 140684497037936 140685461904002 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 10 0 0 6293624 6294260 33738752 140736405013492 140736405013769 140736405013769 140736405016527 0
[pid=19872/tid=19886] ppid=19869 vsize=15683912 memory=-7824251494390912611 CPUtime=0 cores=0,2,4,6
/proc/19872/task/19886/stat : 19886 (java) S 19869 19872 8919 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 53765070 16060325888 239389 33554432000 4194304 4196468 140736405012128 140682861734624 140685461903061 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33738752 140736405013492 140736405013769 140736405013769 140736405016527 0
[pid=19872/tid=19887] ppid=19869 vsize=15683912 memory=6944656592455360604 CPUtime=0 cores=0,2,4,6
/proc/19872/task/19887/stat : 19887 (java) S 19869 19872 8919 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 53765070 16060325888 239389 33554432000 4194304 4196468 140736405012128 140684495985328 140685461904002 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33738752 140736405013492 140736405013769 140736405013769 140736405016527 0
[pid=19872/tid=19889] ppid=19869 vsize=15683912 memory=3047711553219693942 CPUtime=0 cores=0,2,4,6
/proc/19872/task/19889/stat : 19889 (java) S 19869 19872 8919 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 53765457 16060325888 239389 33554432000 4194304 4196468 140736405012128 140684479718592 140685461917465 0 4 0 25189583 18446744071579417331 0 0 -1 2 0 0 0 0 0 6293624 6294260 33738752 140736405013492 140736405013769 140736405013769 140736405016527 0
[pid=19872/tid=19891] ppid=19869 vsize=15683912 memory=4572164749098055210 CPUtime=0 cores=0,2,4,6
/proc/19872/task/19891/stat : 19891 (java) S 19869 19872 8919 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 53765457 16060325888 239389 33554432000 4194304 4196468 140736405012128 140682324847792 140685461914781 0 4 0 25189583 18446744071580971376 0 0 -1 6 0 0 0 0 0 6293624 6294260 33738752 140736405013492 140736405013769 140736405013769 140736405016527 0
[pid=19872/tid=19892] ppid=19869 vsize=15683912 memory=957556 CPUtime=0 cores=0,2,4,6
/proc/19872/task/19892/stat : 19892 (java) S 19869 19872 8919 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 53765457 16060325888 239389 33554432000 4194304 4196468 140736405012128 140682190626864 140685461914781 0 4 0 25189583 18446744071580971376 0 0 -1 6 0 0 0 0 0 6293624 6294260 33738752 140736405013492 140736405013769 140736405013769 140736405016527 0
[pid=19872/tid=19893] ppid=19869 vsize=15683912 memory=0 CPUtime=0 cores=0,2,4,6
/proc/19872/task/19893/stat : 19893 (java) S 19869 19872 8919 0 -1 1077944384 27 0 0 0 0 0 0 0 20 0 19 0 53765459 16060325888 239389 33554432000 4194304 4196468 140736405012128 140682459078304 140685461903061 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33738752 140736405013492 140736405013769 140736405013769 140736405016527 0
Current children cumulated CPU time: 22.41 s
Current children cumulated vsize: 15751700 KiB
Current children cumulated memory: 1007504 KiB
[startup+16.401 s]
/proc/loadavg: 2.81 2.46 2.22 3/225 19893
/proc/meminfo: memFree=13238956/32770624 swapFree=67108860/67108860
[pid=19872] ppid=19869 vsize=15683912 memory=957556 CPUtime=10.34 cores=0,2,4,6
/proc/19872/stat : 19872 (java) S 19869 19872 8919 0 -1 1077944320 27402 0 0 0 1013 21 0 0 20 0 19 0 53765063 16060325888 239389 33554432000 4194304 4196468 140736405012128 140736404994672 140685461892855 0 0 0 25189583 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 33738752 140736405013492 140736405013769 140736405013769 140736405016527 0
/proc/19872/statm: 3920978 239389 3231 1 0 3881834 0
[pid=19888] ppid=19872 vsize=67788 memory=49948 CPUtime=12.46 cores=0,2,4,6
/proc/19888/stat : 19888 (minisat_release) R 19872 19872 8919 0 -1 4202496 19902 0 0 0 1243 3 0 0 20 0 1 0 53765456 69414912 12487 33554432000 4194304 4308513 140724766132992 140724766129992 4276859 0 4 0 8396802 0 0 0 17 2 0 0 0 0 0 6409496 6410680 9330688 140724766134959 140724766135470 140724766135470 140724766138309 0
/proc/19888/statm: 16947 12487 354 28 0 13187 0
[pid=19872/tid=19874] ppid=19869 vsize=15683912 memory=6768 CPUtime=3.85 cores=0,2,4,6
/proc/19872/task/19874/stat : 19874 (java) S 19869 19872 8919 0 -1 1077944384 18205 0 0 0 369 16 0 0 20 0 19 0 53765063 16060325888 239389 33554432000 4194304 4196468 140736405012128 140685433732096 140685461903061 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33738752 140736405013492 140736405013769 140736405013769 140736405016527 0
[pid=19872/tid=19875] ppid=19869 vsize=15683912 memory=832 CPUtime=0 cores=0,2,4,6
/proc/19872/task/19875/stat : 19875 (java) S 19869 19872 8919 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 53765065 16060325888 239389 33554432000 4194304 4196468 140736405012128 140685466135696 140685461903061 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33738752 140736405013492 140736405013769 140736405013769 140736405016527 0
[pid=19872/tid=19876] ppid=19869 vsize=15683912 memory=1696 CPUtime=0 cores=0,2,4,6
/proc/19872/task/19876/stat : 19876 (java) S 19869 19872 8919 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 53765065 16060325888 239389 33554432000 4194304 4196468 140736405012128 140685280291856 140685461903061 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33738752 140736405013492 140736405013769 140736405013769 140736405016527 0
[pid=19872/tid=19877] ppid=19869 vsize=15683912 memory=920 CPUtime=0 cores=0,2,4,6
/proc/19872/task/19877/stat : 19877 (java) S 19869 19872 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 53765065 16060325888 239389 33554432000 4194304 4196468 140736405012128 140685279239056 140685461903061 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33738752 140736405013492 140736405013769 140736405013769 140736405016527 0
[pid=19872/tid=19878] ppid=19869 vsize=15683912 memory=3848 CPUtime=0 cores=0,2,4,6
/proc/19872/task/19878/stat : 19878 (java) S 19869 19872 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 53765065 16060325888 239389 33554432000 4194304 4196468 140736405012128 140684920433424 140685461903061 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33738752 140736405013492 140736405013769 140736405013769 140736405016527 0
[pid=19872/tid=19879] ppid=19869 vsize=15683912 memory=2720 CPUtime=0 cores=0,2,4,6
/proc/19872/task/19879/stat : 19879 (java) S 19869 19872 8919 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 19 0 53765066 16060325888 239389 33554432000 4194304 4196468 140736405012128 140684500195696 140685461904002 0 0 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33738752 140736405013492 140736405013769 140736405013769 140736405016527 0
[pid=19872/tid=19880] ppid=19869 vsize=15683912 memory=2828 CPUtime=0 cores=0,2,4,6
/proc/19872/task/19880/stat : 19880 (java) S 19869 19872 8919 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 53765067 16060325888 239389 33554432000 4194304 4196468 140736405012128 140684002583584 140685461903061 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33738752 140736405013492 140736405013769 140736405013769 140736405016527 0
[pid=19872/tid=19881] ppid=19869 vsize=15683912 memory=4104 CPUtime=0 cores=0,2,4,6
/proc/19872/task/19881/stat : 19881 (java) S 19869 19872 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 53765067 16060325888 239389 33554432000 4194304 4196468 140736405012128 140683734147952 140685461903061 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33738752 140736405013492 140736405013769 140736405013769 140736405016527 0
[pid=19872/tid=19882] ppid=19869 vsize=15683912 memory=1412 CPUtime=0 cores=0,2,4,6
/proc/19872/task/19882/stat : 19882 (java) S 19869 19872 8919 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 53765069 16060325888 239389 33554432000 4194304 4196468 140736405012128 140683359639376 140685461911451 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33738752 140736405013492 140736405013769 140736405013769 140736405016527 0
[pid=19872/tid=19883] ppid=19869 vsize=15683912 memory=3508 CPUtime=2.68 cores=0,2,4,6
/proc/19872/task/19883/stat : 19883 (java) S 19869 19872 8919 0 -1 1077944384 2197 0 0 0 267 1 0 0 20 0 19 0 53765069 16060325888 239389 33554432000 4194304 4196468 140736405012128 140684499143536 140685461904002 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33738752 140736405013492 140736405013769 140736405013769 140736405016527 0
[pid=19872/tid=19884] ppid=19869 vsize=15683912 memory=2367660 CPUtime=2.63 cores=0,2,4,6
/proc/19872/task/19884/stat : 19884 (java) S 19869 19872 8919 0 -1 1077944384 1971 0 0 0 262 1 0 0 20 0 19 0 53765069 16060325888 239389 33554432000 4194304 4196468 140736405012128 140684498090736 140685461904002 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33738752 140736405013492 140736405013769 140736405013769 140736405016527 0
[pid=19872/tid=19885] ppid=19869 vsize=15683912 memory=100856 CPUtime=1.14 cores=0,2,4,6
/proc/19872/task/19885/stat : 19885 (java) S 19869 19872 8919 0 -1 1077944384 3628 0 0 0 113 1 0 0 20 0 19 0 53765069 16060325888 239389 33554432000 4194304 4196468 140736405012128 140684497037936 140685461904002 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 10 0 0 6293624 6294260 33738752 140736405013492 140736405013769 140736405013769 140736405016527 0
[pid=19872/tid=19886] ppid=19869 vsize=15683912 memory=1412 CPUtime=0 cores=0,2,4,6
/proc/19872/task/19886/stat : 19886 (java) S 19869 19872 8919 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 53765070 16060325888 239389 33554432000 4194304 4196468 140736405012128 140682861734624 140685461903061 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33738752 140736405013492 140736405013769 140736405013769 140736405016527 0
[pid=19872/tid=19887] ppid=19869 vsize=15683912 memory=2764 CPUtime=0 cores=0,2,4,6
/proc/19872/task/19887/stat : 19887 (java) S 19869 19872 8919 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 53765070 16060325888 239389 33554432000 4194304 4196468 140736405012128 140684495985328 140685461904002 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33738752 140736405013492 140736405013769 140736405013769 140736405016527 0
[pid=19872/tid=19889] ppid=19869 vsize=15683912 memory=957556 CPUtime=0 cores=0,2,4,6
/proc/19872/task/19889/stat : 19889 (java) S 19869 19872 8919 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 53765457 16060325888 239389 33554432000 4194304 4196468 140736405012128 140684479718592 140685461917465 0 4 0 25189583 18446744071579417331 0 0 -1 2 0 0 0 0 0 6293624 6294260 33738752 140736405013492 140736405013769 140736405013769 140736405016527 0
[pid=19872/tid=19891] ppid=19869 vsize=15683912 memory=-7824251494390912611 CPUtime=0 cores=0,2,4,6
/proc/19872/task/19891/stat : 19891 (java) S 19869 19872 8919 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 53765457 16060325888 239389 33554432000 4194304 4196468 140736405012128 140682324847792 140685461914781 0 4 0 25189583 18446744071580971376 0 0 -1 6 0 0 0 0 0 6293624 6294260 33738752 140736405013492 140736405013769 140736405013769 140736405016527 0
[pid=19872/tid=19892] ppid=19869 vsize=15683912 memory=2720 CPUtime=0 cores=0,2,4,6
/proc/19872/task/19892/stat : 19892 (java) S 19869 19872 8919 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 53765457 16060325888 239389 33554432000 4194304 4196468 140736405012128 140682190626864 140685461914781 0 4 0 25189583 18446744071580971376 0 0 -1 6 0 0 0 0 0 6293624 6294260 33738752 140736405013492 140736405013769 140736405013769 140736405016527 0
[pid=19872/tid=19893] ppid=19869 vsize=15683912 memory=2828 CPUtime=0 cores=0,2,4,6
/proc/19872/task/19893/stat : 19893 (java) S 19869 19872 8919 0 -1 1077944384 27 0 0 0 0 0 0 0 20 0 19 0 53765459 16060325888 239389 33554432000 4194304 4196468 140736405012128 140682459078304 140685461903061 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33738752 140736405013492 140736405013769 140736405013769 140736405016527 0
Current children cumulated CPU time: 22.8 s
Current children cumulated vsize: 15751700 KiB
Current children cumulated memory: 1007504 KiB
[startup+16.5009 s]
/proc/loadavg: 2.81 2.46 2.22 3/225 19893
/proc/meminfo: memFree=13238956/32770624 swapFree=67108860/67108860
[pid=19872] ppid=19869 vsize=15683912 memory=957556 CPUtime=10.34 cores=0,2,4,6
/proc/19872/stat : 19872 (java) S 19869 19872 8919 0 -1 1077944320 27402 0 0 0 1013 21 0 0 20 0 19 0 53765063 16060325888 239389 33554432000 4194304 4196468 140736405012128 140736404994672 140685461892855 0 0 0 25189583 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 33738752 140736405013492 140736405013769 140736405013769 140736405016527 0
/proc/19872/statm: 3920978 239389 3231 1 0 3881834 0
[pid=19888] ppid=19872 vsize=67788 memory=49948 CPUtime=12.56 cores=0,2,4,6
/proc/19888/stat : 19888 (minisat_release) R 19872 19872 8919 0 -1 4202496 19947 0 0 0 1253 3 0 0 20 0 1 0 53765456 69414912 12487 33554432000 4194304 4308513 140724766132992 140724766129992 4275961 0 4 0 8396802 0 0 0 17 2 0 0 0 0 0 6409496 6410680 9330688 140724766134959 140724766135470 140724766135470 140724766138309 0
/proc/19888/statm: 16947 12487 354 28 0 13187 0
[pid=19872/tid=19874] ppid=19869 vsize=15683912 memory=957556 CPUtime=3.85 cores=0,2,4,6
/proc/19872/task/19874/stat : 19874 (java) S 19869 19872 8919 0 -1 1077944384 18205 0 0 0 369 16 0 0 20 0 19 0 53765063 16060325888 239389 33554432000 4194304 4196468 140736405012128 140685433732096 140685461903061 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33738752 140736405013492 140736405013769 140736405013769 140736405016527 0
[pid=19872/tid=19875] ppid=19869 vsize=15683912 memory=49948 CPUtime=0 cores=0,2,4,6
/proc/19872/task/19875/stat : 19875 (java) S 19869 19872 8919 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 53765065 16060325888 239389 33554432000 4194304 4196468 140736405012128 140685466135696 140685461903061 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33738752 140736405013492 140736405013769 140736405013769 140736405016527 0
[pid=19872/tid=19876] ppid=19869 vsize=15683912 memory=0 CPUtime=0 cores=0,2,4,6
/proc/19872/task/19876/stat : 19876 (java) S 19869 19872 8919 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 53765065 16060325888 239389 33554432000 4194304 4196468 140736405012128 140685280291856 140685461903061 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33738752 140736405013492 140736405013769 140736405013769 140736405016527 0
[pid=19872/tid=19877] ppid=19869 vsize=15683912 memory=0 CPUtime=0 cores=0,2,4,6
/proc/19872/task/19877/stat : 19877 (java) S 19869 19872 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 53765065 16060325888 239389 33554432000 4194304 4196468 140736405012128 140685279239056 140685461903061 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33738752 140736405013492 140736405013769 140736405013769 140736405016527 0
[pid=19872/tid=19878] ppid=19869 vsize=15683912 memory=0 CPUtime=0 cores=0,2,4,6
/proc/19872/task/19878/stat : 19878 (java) S 19869 19872 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 53765065 16060325888 239389 33554432000 4194304 4196468 140736405012128 140684920433424 140685461903061 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33738752 140736405013492 140736405013769 140736405013769 140736405016527 0
[pid=19872/tid=19879] ppid=19869 vsize=15683912 memory=957556 CPUtime=0 cores=0,2,4,6
/proc/19872/task/19879/stat : 19879 (java) S 19869 19872 8919 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 19 0 53765066 16060325888 239389 33554432000 4194304 4196468 140736405012128 140684500195696 140685461904002 0 0 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33738752 140736405013492 140736405013769 140736405013769 140736405016527 0
[pid=19872/tid=19880] ppid=19869 vsize=15683912 memory=957556 CPUtime=0 cores=0,2,4,6
/proc/19872/task/19880/stat : 19880 (java) S 19869 19872 8919 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 53765067 16060325888 239389 33554432000 4194304 4196468 140736405012128 140684002583584 140685461903061 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33738752 140736405013492 140736405013769 140736405013769 140736405016527 0
[pid=19872/tid=19881] ppid=19869 vsize=15683912 memory=49948 CPUtime=0 cores=0,2,4,6
/proc/19872/task/19881/stat : 19881 (java) S 19869 19872 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 53765067 16060325888 239389 33554432000 4194304 4196468 140736405012128 140683734147952 140685461903061 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33738752 140736405013492 140736405013769 140736405013769 140736405016527 0
[pid=19872/tid=19882] ppid=19869 vsize=15683912 memory=7452168104670812524 CPUtime=0 cores=0,2,4,6
/proc/19872/task/19882/stat : 19882 (java) S 19869 19872 8919 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 53765069 16060325888 239389 33554432000 4194304 4196468 140736405012128 140683359639376 140685461911451 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33738752 140736405013492 140736405013769 140736405013769 140736405016527 0
[pid=19872/tid=19883] ppid=19869 vsize=15683912 memory=6935653653823705168 CPUtime=2.68 cores=0,2,4,6
/proc/19872/task/19883/stat : 19883 (java) S 19869 19872 8919 0 -1 1077944384 2197 0 0 0 267 1 0 0 20 0 19 0 53765069 16060325888 239389 33554432000 4194304 4196468 140736405012128 140684499143536 140685461904002 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33738752 140736405013492 140736405013769 140736405013769 140736405016527 0
[pid=19872/tid=19884] ppid=19869 vsize=15683912 memory=4639904302751567952 CPUtime=2.63 cores=0,2,4,6
/proc/19872/task/19884/stat : 19884 (java) S 19869 19872 8919 0 -1 1077944384 1971 0 0 0 262 1 0 0 20 0 19 0 53765069 16060325888 239389 33554432000 4194304 4196468 140736405012128 140684498090736 140685461904002 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33738752 140736405013492 140736405013769 140736405013769 140736405016527 0
[pid=19872/tid=19885] ppid=19869 vsize=15683912 memory=0 CPUtime=1.14 cores=0,2,4,6
/proc/19872/task/19885/stat : 19885 (java) S 19869 19872 8919 0 -1 1077944384 3628 0 0 0 113 1 0 0 20 0 19 0 53765069 16060325888 239389 33554432000 4194304 4196468 140736405012128 140684497037936 140685461904002 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 10 0 0 6293624 6294260 33738752 140736405013492 140736405013769 140736405013769 140736405016527 0
[pid=19872/tid=19886] ppid=19869 vsize=15683912 memory=7367994820020691277 CPUtime=0 cores=0,2,4,6
/proc/19872/task/19886/stat : 19886 (java) S 19869 19872 8919 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 53765070 16060325888 239389 33554432000 4194304 4196468 140736405012128 140682861734624 140685461903061 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33738752 140736405013492 140736405013769 140736405013769 140736405016527 0
[pid=19872/tid=19887] ppid=19869 vsize=15683912 memory=957556 CPUtime=0 cores=0,2,4,6
/proc/19872/task/19887/stat : 19887 (java) S 19869 19872 8919 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 53765070 16060325888 239389 33554432000 4194304 4196468 140736405012128 140684495985328 140685461904002 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33738752 140736405013492 140736405013769 140736405013769 140736405016527 0
[pid=19872/tid=19889] ppid=19869 vsize=15683912 memory=15996 CPUtime=0 cores=0,2,4,6
/proc/19872/task/19889/stat : 19889 (java) S 19869 19872 8919 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 53765457 16060325888 239389 33554432000 4194304 4196468 140736405012128 140684479718592 140685461917465 0 4 0 25189583 18446744071579417331 0 0 -1 2 0 0 0 0 0 6293624 6294260 33738752 140736405013492 140736405013769 140736405013769 140736405016527 0
[pid=19872/tid=19891] ppid=19869 vsize=15683912 memory=4140 CPUtime=0 cores=0,2,4,6
/proc/19872/task/19891/stat : 19891 (java) S 19869 19872 8919 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 53765457 16060325888 239389 33554432000 4194304 4196468 140736405012128 140682324847792 140685461914781 0 4 0 25189583 18446744071580971376 0 0 -1 6 0 0 0 0 0 6293624 6294260 33738752 140736405013492 140736405013769 140736405013769 140736405016527 0
[pid=19872/tid=19892] ppid=19869 vsize=15683912 memory=957556 CPUtime=0 cores=0,2,4,6
/proc/19872/task/19892/stat : 19892 (java) S 19869 19872 8919 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 53765457 16060325888 239389 33554432000 4194304 4196468 140736405012128 140682190626864 140685461914781 0 4 0 25189583 18446744071580971376 0 0 -1 6 0 0 0 0 0 6293624 6294260 33738752 140736405013492 140736405013769 140736405013769 140736405016527 0
[pid=19872/tid=19893] ppid=19869 vsize=15683912 memory=957556 CPUtime=0 cores=0,2,4,6
/proc/19872/task/19893/stat : 19893 (java) S 19869 19872 8919 0 -1 1077944384 27 0 0 0 0 0 0 0 20 0 19 0 53765459 16060325888 239389 33554432000 4194304 4196468 140736405012128 140682459078304 140685461903061 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33738752 140736405013492 140736405013769 140736405013769 140736405016527 0
Current children cumulated CPU time: 22.9 s
Current children cumulated vsize: 15751700 KiB
Current children cumulated memory: 1007504 KiB
Child status: 0
Real time (s): 16.5449
CPU time (s): 22.9559
CPU user time (s): 22.6952
CPU system time (s): 0.260719
CPU usage (%): 138.749
Max. virtual memory (cumulated for all children) (KiB): 15751700
Max. memory (cumulated for all children) (KiB): 1007504
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 22.6952
system time used= 0.260719
maximum resident set size= 959604
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 47389
page faults= 0
swaps= 0
block input operations= 0
block output operations= 704
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 4391
involuntary context switches= 69
# summary of solver processes directly reported to runsolver:
# pid: 19872
# total CPU time (s): 22.9559
# total CPU user time (s): 22.6952
# total CPU system time (s): 0.260719
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.14018 second user time and 0.199708 second system time
The end