0.67/0.52
0.81/0.64 scop both+minisat_release (2018-06-13)
0.81/0.64
0.81/0.64 c BEGIN-Prog: Thu Jul 26 00:28:13 CEST 2018
0.81/0.64 c PID: 2953
0.81/0.64 c IP: 172.20.3.102
0.81/0.64 c HOST: node102.alineos.net
0.81/0.64 c (0,0) Parsing Begin
2.67/1.26 c (0,0) Parsing End
2.67/1.26 c (0,0) CSP: 56 int (0 aux), 0 bool (0 aux), 511 ctr, max domain size 25
2.67/1.26 c (0,0) Heap : 225 MiB used (max 10795 MiB), NonHeap : 20 MiB used (max 0 MiB)
2.67/1.26 c (0,0) Constraint Name Generate Begin
2.67/1.28 c (0,0) Ctr:HOME/instance-4295714-1532557692.xml,ExtensionConflict:ExtensionSupport:IntVar
2.67/1.28 c (0,0) Constraint Name Generate End
2.67/1.28 c (0,0) Heap : 225 MiB used (max 10795 MiB), NonHeap : 20 MiB used (max 0 MiB)
2.67/1.28 c (0,0) CSP to CSPinCNF Begin
6.15/2.37 c (1,1) translated 52 (10%) constraints
8.00/2.92 c (2,2) translated 103 (20%) constraints
9.21/3.34 c (2,2) translated 154 (30%) constraints
10.43/3.79 c (3,3) translated 205 (40%) constraints
11.66/4.19 c (3,3) translated 256 (50%) constraints
12.86/4.54 c (4,4) translated 307 (60%) constraints
13.65/4.84 c (4,4) translated 358 (70%) constraints
13.93/5.09 c (4,4) translated 409 (80%) constraints
14.25/5.33 c (4,4) translated 460 (90%) constraints
14.46/5.57 c (5,5) translated 511 (100%) constraints
15.49/5.98 c (5,5) STATISTICS1:HOME/instance-4295714-1532557692.xml,ExtensionConflict:ExtensionSupport:IntVar,406,67227,-1,25,26,1,,25:252529;2:5132,26:14;4:56537;3:9811;2:865,1:257661;0:14,
15.49/5.98 c (5,5) ===========================================
15.49/5.98 c (5,5) Both Encoding selects:
15.49/5.98 c (5,5) Order
15.49/5.98 c (5,5) ===========================================
16.00/6.19 c (5,5) translated 6723 (10%) constraints
16.53/6.32 c (5,5) translated 13446 (20%) constraints
16.67/6.44 c (5,5) translated 20169 (30%) constraints
16.80/6.57 c (6,6) translated 26891 (40%) constraints
16.96/6.69 c (6,6) translated 33614 (50%) constraints
17.16/6.81 c (6,6) translated 40337 (60%) constraints
17.26/6.93 c (6,6) translated 47059 (70%) constraints
17.37/7.06 c (6,6) translated 53782 (80%) constraints
17.47/7.18 c (6,6) translated 60505 (90%) constraints
17.67/7.31 c (6,6) translated 67227 (100%) constraints
17.67/7.31 c (6,6) CSP to CSPinCNF End
17.67/7.31 c (6,6) CSP: 56 int (0 aux), 350 bool (350 aux), 67227 ctr, max domain size 25
17.67/7.31 c (6,6) Heap : 2647 MiB used (max 10795 MiB), NonHeap : 32 MiB used (max 0 MiB)
17.67/7.31 c (6,6) CSPinCNF Propagation Begin
18.94/7.82 c (7,7) 0 values, 5957 unsatisfiable literals, and 0 valid clauses are removed
18.94/7.82 c (7,7) CSPinCNF Propagation End
18.94/7.82 c (7,7) CSP: 56 int (0 aux), 350 bool (350 aux), 67227 ctr, max domain size 25
18.94/7.82 c (7,7) Heap : 280 MiB used (max 10795 MiB), NonHeap : 33 MiB used (max 0 MiB)
18.94/7.82 c (7,7) Simplify CSPinCNF Begin
19.14/7.97 c (7,7) Simplify CSPinCNF End
19.14/7.97 c (7,7) CSP: 56 int (0 aux), 350 bool (350 aux), 67227 ctr, max domain size 25
19.14/7.97 c (7,7) Heap : 335 MiB used (max 10795 MiB), NonHeap : 33 MiB used (max 0 MiB)
19.14/7.97 c (7,7) Calculate Precise Domain Begin
19.14/7.97 c (7,7) 0 values are removed by re-calculation
19.14/7.97 c (7,7) Calculate Precise Domain End
19.14/7.97 c (7,7) CSP: 56 int (0 aux), 350 bool (350 aux), 67227 ctr, max domain size 25
19.14/7.97 c (7,7) Heap : 335 MiB used (max 10795 MiB), NonHeap : 33 MiB used (max 0 MiB)
19.14/7.97 c (7,7) CSPinCNF to SatSolver Begin
19.63/8.13 c (7,7) 6723 (10 %) CSP clauses are encoded (1694 SAT variables, 8010 SAT clauses)
19.63/8.19 c (7,7) 13446 (20 %) CSP clauses are encoded (1694 SAT variables, 14733 SAT clauses)
19.90/8.23 c (7,7) 20169 (30 %) CSP clauses are encoded (1694 SAT variables, 21456 SAT clauses)
19.90/8.27 c (7,7) 26891 (40 %) CSP clauses are encoded (1694 SAT variables, 28178 SAT clauses)
20.06/8.31 c (7,7) 33614 (50 %) CSP clauses are encoded (1694 SAT variables, 34901 SAT clauses)
20.06/8.35 c (7,7) 40337 (60 %) CSP clauses are encoded (1694 SAT variables, 41624 SAT clauses)
20.06/8.39 c (7,7) 47059 (70 %) CSP clauses are encoded (1694 SAT variables, 48346 SAT clauses)
20.17/8.43 c (7,7) 53782 (80 %) CSP clauses are encoded (1694 SAT variables, 55069 SAT clauses)
20.17/8.47 c (7,7) 60505 (90 %) CSP clauses are encoded (1694 SAT variables, 61792 SAT clauses)
20.27/8.51 c (7,7) 67227 (100 %) CSP clauses are encoded (1694 SAT variables, 68514 SAT clauses)
20.27/8.51 c (7,7) CSPinCNF to SatSolver End
20.27/8.51 c (7,7) Heap : 777 MiB used (max 10795 MiB), NonHeap : 31 MiB used (max 0 MiB)
20.80/8.76 c (8,8) STATISTICS2:HOME/instance-4295714-1532557692.xml,ExtensionConflict:ExtensionSupport:IntVar,406,67227,-1,25,25,1,,25:246586;2:5132,25:14;4:51003;3:14936;2:1274,1:251718,
20.80/8.76 c (8,8) SatSolver.solve Begin
20.80/8.76 c (8,8) 1694 bool, 68515 clause
20.80/8.76 c (8,8) 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-4295714-1532557692.xml-scop-2953.cnf HOME/instance-4295714-1532557692.xml-scop-2953.cnf.out
2520.03/2506.70 c (2506,8) SatSolver is killed by some reasons.
2520.03/2506.70 c (2506,8) 0,0,6,7,7,7,7,TO,TO,STOP-AFTER(DIMACS)
2520.03/2506.70 s UNKNOWN
2520.03/2506.70 c END-Prog: Thu Jul 26 01:09:59 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 (5200 MiB free)
memory of node 1: 16384 MiB (15587 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4295714-1532557692/watcher-4295714-1532557692 -o /tmp/evaluation-result-4295714-1532557692/solver-4295714-1532557692 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node102-1532535327-29244 --watchdog 2580 java -Xms11g -Xmx11g -Xss128m -jar HOME/scop.jar -both -solver HOME/minisat_release -solverOption mapleTune01 -tmp HOME HOME/instance-4295714-1532557692.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=2953, runsolver pid=2950
Current StackSize limit: 8192 KiB
[startup+0.100137 s]*
/proc/loadavg: 2.16 2.10 2.09 3/220 2968
/proc/meminfo: memFree=21227168/32770624 swapFree=67076632/67108860
[pid=2953] ppid=2950 vsize=15011656 memory=73328 CPUtime=0.12 cores=1,3,5,7
/proc/2953/stat : 2953 (java) S 2950 2953 29212 0 -1 1077944320 7041 0 0 0 10 2 0 0 20 0 15 0 73332417 15371935744 18332 33554432000 4194304 4196468 140736232604496 140736232587040 140656008539895 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 7831552 140736232608756 140736232609033 140736232609033 140736232611791 0
/proc/2953/statm: 3752914 18332 2780 1 0 3715374 0
[pid=2953/tid=2955] ppid=2950 vsize=15011656 memory=7100839887284243048 CPUtime=0.09 cores=1,3,5,7
/proc/2953/task/2955/stat : 2955 (java) R 2950 2953 29212 0 -1 4202560 5416 0 0 0 8 1 0 0 20 0 15 0 73332418 15371935744 18662 33554432000 4194304 4196468 140736232604496 140655980351880 140655498201169 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 7831552 140736232608756 140736232609033 140736232609033 140736232611791 0
[pid=2953/tid=2956] ppid=2950 vsize=15011656 memory=3472328295574039403 CPUtime=0 cores=1,3,5,7
/proc/2953/task/2956/stat : 2956 (java) S 2950 2953 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 73332419 15371935744 18662 33554432000 4194304 4196468 140736232604496 140656012782608 140656008550101 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7831552 140736232608756 140736232609033 140736232609033 140736232611791 0
[pid=2953/tid=2957] ppid=2950 vsize=15011656 memory=140487216797312 CPUtime=0 cores=1,3,5,7
/proc/2953/task/2957/stat : 2957 (java) S 2950 2953 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 73332419 15371935744 18662 33554432000 4194304 4196468 140736232604496 140655826939024 140656008550101 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7831552 140736232608756 140736232609033 140736232609033 140736232611791 0
[pid=2953/tid=2958] ppid=2950 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/2953/task/2958/stat : 2958 (java) S 2950 2953 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 73332419 15371935744 18662 33554432000 4194304 4196468 140736232604496 140655825885968 140656008550101 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7831552 140736232608756 140736232609033 140736232609033 140736232611791 0
[pid=2953/tid=2959] ppid=2950 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/2953/task/2959/stat : 2959 (java) S 2950 2953 29212 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 73332419 15371935744 18662 33554432000 4194304 4196468 140736232604496 140655824833424 140656008550101 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7831552 140736232608756 140736232609033 140736232609033 140736232611791 0
[pid=2953/tid=2960] ppid=2950 vsize=15011656 memory=140487216797312 CPUtime=0 cores=1,3,5,7
/proc/2953/task/2960/stat : 2960 (java) S 2950 2953 29212 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 73332421 15371935744 18662 33554432000 4194304 4196468 140736232604496 140655415552240 140656008551042 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7831552 140736232608756 140736232609033 140736232609033 140736232611791 0
[pid=2953/tid=2961] ppid=2950 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/2953/task/2961/stat : 2961 (java) S 2950 2953 29212 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 73332421 15371935744 18662 33554432000 4194304 4196468 140736232604496 140654575346848 140656008550101 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7831552 140736232608756 140736232609033 140736232609033 140736232611791 0
[pid=2953/tid=2962] ppid=2950 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/2953/task/2962/stat : 2962 (java) S 2950 2953 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 73332422 15371935744 18662 33554432000 4194304 4196468 140736232604496 140654340465392 140656008550101 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7831552 140736232608756 140736232609033 140736232609033 140736232611791 0
[pid=2953/tid=2963] ppid=2950 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/2953/task/2963/stat : 2963 (java) S 2950 2953 29212 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 73332424 15371935744 18662 33554432000 4194304 4196468 140736232604496 140653965957072 140656008558491 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7831552 140736232608756 140736232609033 140736232609033 140736232611791 0
[pid=2953/tid=2964] ppid=2950 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/2953/task/2964/stat : 2964 (java) S 2950 2953 29212 0 -1 1077944384 297 0 0 0 0 0 0 0 20 0 15 0 73332424 15371935744 18662 33554432000 4194304 4196468 140736232604496 140655347100400 140656008551042 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7831552 140736232608756 140736232609033 140736232609033 140736232611791 0
[pid=2953/tid=2965] ppid=2950 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/2953/task/2965/stat : 2965 (java) S 2950 2953 29212 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 73332424 15371935744 18662 33554432000 4194304 4196468 140736232604496 140655346047856 140656008551042 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7831552 140736232608756 140736232609033 140736232609033 140736232611791 0
[pid=2953/tid=2966] ppid=2950 vsize=15011656 memory=140487216797312 CPUtime=0.01 cores=1,3,5,7
/proc/2953/task/2966/stat : 2966 (java) R 2950 2953 29212 0 -1 4202560 273 0 0 0 1 0 0 0 20 0 15 0 73332424 15371935744 18662 33554432000 4194304 4196468 140736232604496 140655344994800 140655988014088 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 7831552 140736232608756 140736232609033 140736232609033 140736232611791 0
[pid=2953/tid=2967] ppid=2950 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/2953/task/2967/stat : 2967 (java) S 2950 2953 29212 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 73332424 15371935744 18662 33554432000 4194304 4196468 140736232604496 140653468052320 140656008550101 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7831552 140736232608756 140736232609033 140736232609033 140736232611791 0
[pid=2953/tid=2968] ppid=2950 vsize=15011656 memory=140487216797312 CPUtime=0 cores=1,3,5,7
/proc/2953/task/2968/stat : 2968 (java) S 2950 2953 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 73332424 15371935744 18662 33554432000 4194304 4196468 140736232604496 140655343942192 140656008551042 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7831552 140736232608756 140736232609033 140736232609033 140736232611791 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 15011656 KiB
Current children cumulated memory: 73328 KiB
[startup+0.210696 s]*
/proc/loadavg: 2.16 2.10 2.09 3/220 2968
/proc/meminfo: memFree=21213216/32770624 swapFree=67076632/67108860
[pid=2953] ppid=2950 vsize=15011656 memory=85904 CPUtime=0.26 cores=1,3,5,7
/proc/2953/stat : 2953 (java) S 2950 2953 29212 0 -1 1077944320 10365 0 0 0 23 3 0 0 20 0 15 0 73332417 15371935744 21476 33554432000 4194304 4196468 140736232604496 140736232587040 140656008539895 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 7831552 140736232608756 140736232609033 140736232609033 140736232611791 0
/proc/2953/statm: 3752914 21476 2946 1 0 3715374 0
[pid=2953/tid=2955] ppid=2950 vsize=15011656 memory=7883960649037381690 CPUtime=0.2 cores=1,3,5,7
/proc/2953/task/2955/stat : 2955 (java) R 2950 2953 29212 0 -1 4202560 8270 0 0 0 18 2 0 0 20 0 15 0 73332418 15371935744 21476 33554432000 4194304 4196468 140736232604496 140655980365808 140655992620382 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 7831552 140736232608756 140736232609033 140736232609033 140736232611791 0
[pid=2953/tid=2956] ppid=2950 vsize=15011656 memory=288230613314699287 CPUtime=0 cores=1,3,5,7
/proc/2953/task/2956/stat : 2956 (java) S 2950 2953 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 73332419 15371935744 21476 33554432000 4194304 4196468 140736232604496 140656012782608 140656008550101 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7831552 140736232608756 140736232609033 140736232609033 140736232611791 0
[pid=2953/tid=2957] ppid=2950 vsize=15011656 memory=140487216826582 CPUtime=0 cores=1,3,5,7
/proc/2953/task/2957/stat : 2957 (java) S 2950 2953 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 73332419 15371935744 21476 33554432000 4194304 4196468 140736232604496 140655826939024 140656008550101 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7831552 140736232608756 140736232609033 140736232609033 140736232611791 0
[pid=2953/tid=2958] ppid=2950 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/2953/task/2958/stat : 2958 (java) S 2950 2953 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 73332419 15371935744 21476 33554432000 4194304 4196468 140736232604496 140655825885968 140656008550101 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7831552 140736232608756 140736232609033 140736232609033 140736232611791 0
[pid=2953/tid=2959] ppid=2950 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/2953/task/2959/stat : 2959 (java) S 2950 2953 29212 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 73332419 15371935744 21476 33554432000 4194304 4196468 140736232604496 140655824833424 140656008550101 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7831552 140736232608756 140736232609033 140736232609033 140736232611791 0
[pid=2953/tid=2960] ppid=2950 vsize=15011656 memory=140487216797312 CPUtime=0 cores=1,3,5,7
/proc/2953/task/2960/stat : 2960 (java) S 2950 2953 29212 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 73332421 15371935744 21476 33554432000 4194304 4196468 140736232604496 140655415552240 140656008551042 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7831552 140736232608756 140736232609033 140736232609033 140736232611791 0
[pid=2953/tid=2961] ppid=2950 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/2953/task/2961/stat : 2961 (java) S 2950 2953 29212 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 73332421 15371935744 21476 33554432000 4194304 4196468 140736232604496 140654575346848 140656008550101 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7831552 140736232608756 140736232609033 140736232609033 140736232611791 0
[pid=2953/tid=2962] ppid=2950 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/2953/task/2962/stat : 2962 (java) S 2950 2953 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 73332422 15371935744 21476 33554432000 4194304 4196468 140736232604496 140654340465392 140656008550101 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7831552 140736232608756 140736232609033 140736232609033 140736232611791 0
[pid=2953/tid=2963] ppid=2950 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/2953/task/2963/stat : 2963 (java) S 2950 2953 29212 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 73332424 15371935744 21476 33554432000 4194304 4196468 140736232604496 140653965957072 140656008558491 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7831552 140736232608756 140736232609033 140736232609033 140736232611791 0
[pid=2953/tid=2964] ppid=2950 vsize=15011656 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/2953/task/2964/stat : 2964 (java) R 2950 2953 29212 0 -1 4202560 342 0 0 0 1 0 0 0 20 0 15 0 73332424 15371935744 21476 33554432000 4194304 4196468 140736232604496 140655347092048 140655987703056 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 7831552 140736232608756 140736232609033 140736232609033 140736232611791 0
[pid=2953/tid=2965] ppid=2950 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/2953/task/2965/stat : 2965 (java) S 2950 2953 29212 0 -1 1077944384 133 0 0 0 0 0 0 0 20 0 15 0 73332424 15371935744 21476 33554432000 4194304 4196468 140736232604496 140655346047856 140656008551042 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7831552 140736232608756 140736232609033 140736232609033 140736232611791 0
[pid=2953/tid=2966] ppid=2950 vsize=15011656 memory=140487216797312 CPUtime=0.03 cores=1,3,5,7
/proc/2953/task/2966/stat : 2966 (java) S 2950 2953 29212 0 -1 1077944384 298 0 0 0 3 0 0 0 20 0 15 0 73332424 15371935744 21476 33554432000 4194304 4196468 140736232604496 140655344994800 140656008551042 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7831552 140736232608756 140736232609033 140736232609033 140736232611791 0
[pid=2953/tid=2967] ppid=2950 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/2953/task/2967/stat : 2967 (java) S 2950 2953 29212 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 73332424 15371935744 21476 33554432000 4194304 4196468 140736232604496 140653468052320 140656008550101 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7831552 140736232608756 140736232609033 140736232609033 140736232611791 0
[pid=2953/tid=2968] ppid=2950 vsize=15011656 memory=140487216797312 CPUtime=0 cores=1,3,5,7
/proc/2953/task/2968/stat : 2968 (java) S 2950 2953 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 73332424 15371935744 21476 33554432000 4194304 4196468 140736232604496 140655343942192 140656008551042 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7831552 140736232608756 140736232609033 140736232609033 140736232611791 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 15011656 KiB
Current children cumulated memory: 85904 KiB
[startup+0.310676 s]*
/proc/loadavg: 2.16 2.10 2.09 3/220 2968
/proc/meminfo: memFree=21209556/32770624 swapFree=67076632/67108860
[pid=2953] ppid=2950 vsize=15011656 memory=89956 CPUtime=0.43 cores=1,3,5,7
/proc/2953/stat : 2953 (java) S 2950 2953 29212 0 -1 1077944320 10988 0 0 0 40 3 0 0 20 0 15 0 73332417 15371935744 22489 33554432000 4194304 4196468 140736232604496 140736232587040 140656008539895 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 7831552 140736232608756 140736232609033 140736232609033 140736232611791 0
/proc/2953/statm: 3752914 22489 3031 1 0 3715374 0
[pid=2953/tid=2955] ppid=2950 vsize=15011656 memory=0 CPUtime=0.29 cores=1,3,5,7
/proc/2953/task/2955/stat : 2955 (java) R 2950 2953 29212 0 -1 4202560 8701 0 0 0 27 2 0 0 20 0 15 0 73332418 15371935744 22489 33554432000 4194304 4196468 140736232604496 140655980344048 140656008561242 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 7831552 140736232608756 140736232609033 140736232609033 140736232611791 0
[pid=2953/tid=2956] ppid=2950 vsize=15011656 memory=4294967295 CPUtime=0 cores=1,3,5,7
/proc/2953/task/2956/stat : 2956 (java) S 2950 2953 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 73332419 15371935744 22489 33554432000 4194304 4196468 140736232604496 140656012782608 140656008550101 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7831552 140736232608756 140736232609033 140736232609033 140736232611791 0
[pid=2953/tid=2957] ppid=2950 vsize=15011656 memory=140487216797312 CPUtime=0 cores=1,3,5,7
/proc/2953/task/2957/stat : 2957 (java) S 2950 2953 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 73332419 15371935744 22489 33554432000 4194304 4196468 140736232604496 140655826939024 140656008550101 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7831552 140736232608756 140736232609033 140736232609033 140736232611791 0
[pid=2953/tid=2958] ppid=2950 vsize=15011656 memory=2241 CPUtime=0 cores=1,3,5,7
/proc/2953/task/2958/stat : 2958 (java) S 2950 2953 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 73332419 15371935744 22489 33554432000 4194304 4196468 140736232604496 140655825885968 140656008550101 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7831552 140736232608756 140736232609033 140736232609033 140736232611791 0
[pid=2953/tid=2959] ppid=2950 vsize=15011656 memory=140487105290447 CPUtime=0 cores=1,3,5,7
/proc/2953/task/2959/stat : 2959 (java) S 2950 2953 29212 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 73332419 15371935744 22489 33554432000 4194304 4196468 140736232604496 140655824833424 140656008550101 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7831552 140736232608756 140736232609033 140736232609033 140736232611791 0
[pid=2953/tid=2960] ppid=2950 vsize=15011656 memory=140487216797312 CPUtime=0 cores=1,3,5,7
/proc/2953/task/2960/stat : 2960 (java) S 2950 2953 29212 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 73332421 15371935744 22489 33554432000 4194304 4196468 140736232604496 140655415552240 140656008551042 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7831552 140736232608756 140736232609033 140736232609033 140736232611791 0
[pid=2953/tid=2961] ppid=2950 vsize=15011656 memory=140487105311183 CPUtime=0 cores=1,3,5,7
/proc/2953/task/2961/stat : 2961 (java) S 2950 2953 29212 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 73332421 15371935744 22489 33554432000 4194304 4196468 140736232604496 140654575346848 140656008550101 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7831552 140736232608756 140736232609033 140736232609033 140736232611791 0
[pid=2953/tid=2962] ppid=2950 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/2953/task/2962/stat : 2962 (java) S 2950 2953 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 73332422 15371935744 22489 33554432000 4194304 4196468 140736232604496 140654340465392 140656008550101 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7831552 140736232608756 140736232609033 140736232609033 140736232611791 0
[pid=2953/tid=2963] ppid=2950 vsize=15011656 memory=280974210594688 CPUtime=0 cores=1,3,5,7
/proc/2953/task/2963/stat : 2963 (java) S 2950 2953 29212 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 73332424 15371935744 22489 33554432000 4194304 4196468 140736232604496 140653965957072 140656008558491 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7831552 140736232608756 140736232609033 140736232609033 140736232611791 0
[pid=2953/tid=2964] ppid=2950 vsize=15011656 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/2953/task/2964/stat : 2964 (java) S 2950 2953 29212 0 -1 1077944384 406 0 0 0 2 0 0 0 20 0 15 0 73332424 15371935744 22489 33554432000 4194304 4196468 140736232604496 140655347100400 140656008551042 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7831552 140736232608756 140736232609033 140736232609033 140736232611791 0
[pid=2953/tid=2965] ppid=2950 vsize=15011656 memory=140487105322895 CPUtime=0.02 cores=1,3,5,7
/proc/2953/task/2965/stat : 2965 (java) S 2950 2953 29212 0 -1 1077944384 216 0 0 0 2 0 0 0 20 0 15 0 73332424 15371935744 22489 33554432000 4194304 4196468 140736232604496 140655346047856 140656008551042 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7831552 140736232608756 140736232609033 140736232609033 140736232611791 0
[pid=2953/tid=2966] ppid=2950 vsize=15011656 memory=140487216797312 CPUtime=0.08 cores=1,3,5,7
/proc/2953/task/2966/stat : 2966 (java) R 2950 2953 29212 0 -1 4202560 345 0 0 0 8 0 0 0 20 0 15 0 73332424 15371935744 22489 33554432000 4194304 4196468 140736232604496 140655344990064 140656008561242 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 7831552 140736232608756 140736232609033 140736232609033 140736232611791 0
[pid=2953/tid=2967] ppid=2950 vsize=15011656 memory=140487105328031 CPUtime=0 cores=1,3,5,7
/proc/2953/task/2967/stat : 2967 (java) S 2950 2953 29212 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 73332424 15371935744 22489 33554432000 4194304 4196468 140736232604496 140653468052320 140656008550101 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7831552 140736232608756 140736232609033 140736232609033 140736232611791 0
[pid=2953/tid=2968] ppid=2950 vsize=15011656 memory=140487290129729 CPUtime=0 cores=1,3,5,7
/proc/2953/task/2968/stat : 2968 (java) S 2950 2953 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 73332424 15371935744 22489 33554432000 4194304 4196468 140736232604496 140655343942192 140656008551042 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7831552 140736232608756 140736232609033 140736232609033 140736232611791 0
Current children cumulated CPU time: 0.43 s
Current children cumulated vsize: 15011656 KiB
Current children cumulated memory: 89956 KiB
[startup+0.703954 s]
/proc/loadavg: 2.16 2.10 2.09 3/220 2968
/proc/meminfo: memFree=21180388/32770624 swapFree=67076632/67108860
[pid=2953] ppid=2950 vsize=15017928 memory=129288 CPUtime=1.06 cores=1,3,5,7
/proc/2953/stat : 2953 (java) S 2950 2953 29212 0 -1 1077944320 18021 0 0 0 101 5 0 0 20 0 15 0 73332417 15378358272 32322 33554432000 4194304 4196468 140736232604496 140736232587040 140656008539895 0 0 0 25189583 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 7831552 140736232608756 140736232609033 140736232609033 140736232611791 0
/proc/2953/statm: 3754482 32322 3136 1 0 3715886 0
[pid=2953/tid=2955] ppid=2950 vsize=15017928 memory=0 CPUtime=0.67 cores=1,3,5,7
/proc/2953/task/2955/stat : 2955 (java) R 2950 2953 29212 0 -1 4202560 15214 0 0 0 63 4 0 0 20 0 15 0 73332418 15378358272 32322 33554432000 4194304 4196468 140736232604496 140655980375376 140655992620382 0 4 0 25189583 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 7831552 140736232608756 140736232609033 140736232609033 140736232611791 0
[pid=2953/tid=2956] ppid=2950 vsize=15017928 memory=0 CPUtime=0 cores=1,3,5,7
/proc/2953/task/2956/stat : 2956 (java) S 2950 2953 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 73332419 15378358272 32322 33554432000 4194304 4196468 140736232604496 140656012782608 140656008550101 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7831552 140736232608756 140736232609033 140736232609033 140736232611791 0
[pid=2953/tid=2957] ppid=2950 vsize=15017928 memory=0 CPUtime=0 cores=1,3,5,7
/proc/2953/task/2957/stat : 2957 (java) S 2950 2953 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 73332419 15378358272 32322 33554432000 4194304 4196468 140736232604496 140655826939024 140656008550101 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7831552 140736232608756 140736232609033 140736232609033 140736232611791 0
[pid=2953/tid=2958] ppid=2950 vsize=15017928 memory=0 CPUtime=0 cores=1,3,5,7
/proc/2953/task/2958/stat : 2958 (java) S 2950 2953 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 73332419 15378358272 32322 33554432000 4194304 4196468 140736232604496 140655825885968 140656008550101 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7831552 140736232608756 140736232609033 140736232609033 140736232611791 0
[pid=2953/tid=2959] ppid=2950 vsize=15017928 memory=0 CPUtime=0 cores=1,3,5,7
/proc/2953/task/2959/stat : 2959 (java) S 2950 2953 29212 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 73332419 15378358272 32322 33554432000 4194304 4196468 140736232604496 140655824833424 140656008550101 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7831552 140736232608756 140736232609033 140736232609033 140736232611791 0
[pid=2953/tid=2960] ppid=2950 vsize=15017928 memory=153200208387823 CPUtime=0 cores=1,3,5,7
/proc/2953/task/2960/stat : 2960 (java) S 2950 2953 29212 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 73332421 15378358272 32322 33554432000 4194304 4196468 140736232604496 140655415552240 140656008551042 0 0 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7831552 140736232608756 140736232609033 140736232609033 140736232611791 0
[pid=2953/tid=2961] ppid=2950 vsize=15017928 memory=428783 CPUtime=0 cores=1,3,5,7
/proc/2953/task/2961/stat : 2961 (java) S 2950 2953 29212 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 73332421 15378358272 32322 33554432000 4194304 4196468 140736232604496 140654575346848 140656008550101 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7831552 140736232608756 140736232609033 140736232609033 140736232611791 0
[pid=2953/tid=2962] ppid=2950 vsize=15017928 memory=0 CPUtime=0 cores=1,3,5,7
/proc/2953/task/2962/stat : 2962 (java) S 2950 2953 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 73332422 15378358272 32322 33554432000 4194304 4196468 140736232604496 140654340465392 140656008550101 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7831552 140736232608756 140736232609033 140736232609033 140736232611791 0
[pid=2953/tid=2963] ppid=2950 vsize=15017928 memory=0 CPUtime=0 cores=1,3,5,7
/proc/2953/task/2963/stat : 2963 (java) S 2950 2953 29212 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 73332424 15378358272 32322 33554432000 4194304 4196468 140736232604496 140653965957072 140656008558491 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7831552 140736232608756 140736232609033 140736232609033 140736232611791 0
[pid=2953/tid=2964] ppid=2950 vsize=15017928 memory=7809523229951467576 CPUtime=0.08 cores=1,3,5,7
/proc/2953/task/2964/stat : 2964 (java) R 2950 2953 29212 0 -1 4202560 494 0 0 0 8 0 0 0 20 0 15 0 73332424 15378358272 32322 33554432000 4194304 4196468 140736232604496 140655347086496 140655993458920 0 4 0 25189583 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 7831552 140736232608756 140736232609033 140736232609033 140736232611791 0
[pid=2953/tid=2965] ppid=2950 vsize=15017928 memory=0 CPUtime=0.1 cores=1,3,5,7
/proc/2953/task/2965/stat : 2965 (java) R 2950 2953 29212 0 -1 4202560 439 0 0 0 10 0 0 0 20 0 15 0 73332424 15378358272 32322 33554432000 4194304 4196468 140736232604496 140655346047856 140655990062799 0 4 0 25189583 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 7831552 140736232608756 140736232609033 140736232609033 140736232611791 0
[pid=2953/tid=2966] ppid=2950 vsize=15017928 memory=-3472574513799858009 CPUtime=0.18 cores=1,3,5,7
/proc/2953/task/2966/stat : 2966 (java) R 2950 2953 29212 0 -1 4202560 538 0 0 0 18 0 0 0 20 0 15 0 73332424 15378358272 32322 33554432000 4194304 4196468 140736232604496 140655344991736 140655987978816 0 4 0 25189583 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 7831552 140736232608756 140736232609033 140736232609033 140736232611791 0
[pid=2953/tid=2967] ppid=2950 vsize=15017928 memory=6944656592387989600 CPUtime=0 cores=1,3,5,7
/proc/2953/task/2967/stat : 2967 (java) S 2950 2953 29212 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 73332424 15378358272 32322 33554432000 4194304 4196468 140736232604496 140653468052320 140656008550101 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7831552 140736232608756 140736232609033 140736232609033 140736232611791 0
[pid=2953/tid=2968] ppid=2950 vsize=15017928 memory=6944656575208382560 CPUtime=0 cores=1,3,5,7
/proc/2953/task/2968/stat : 2968 (java) S 2950 2953 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 73332424 15378358272 32322 33554432000 4194304 4196468 140736232604496 140655343942192 140656008551042 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7831552 140736232608756 140736232609033 140736232609033 140736232611791 0
Current children cumulated CPU time: 1.06 s
Current children cumulated vsize: 15017928 KiB
Current children cumulated memory: 129288 KiB
[startup+1.50079 s]
/proc/loadavg: 2.16 2.10 2.09 6/220 2968
/proc/meminfo: memFree=21081404/32770624 swapFree=67076632/67108860
[pid=2953] ppid=2950 vsize=15022100 memory=273236 CPUtime=3.67 cores=1,3,5,7
/proc/2953/stat : 2953 (java) S 2950 2953 29212 0 -1 1077944320 23537 0 0 0 358 9 0 0 20 0 15 0 73332417 15382630400 68309 33554432000 4194304 4196468 140736232604496 140736232587040 140656008539895 0 0 0 25189583 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 7831552 140736232608756 140736232609033 140736232609033 140736232611791 0
/proc/2953/statm: 3755525 68309 3200 1 0 3716910 0
[pid=2953/tid=2955] ppid=2950 vsize=15022100 memory=0 CPUtime=1.46 cores=1,3,5,7
/proc/2953/task/2955/stat : 2955 (java) R 2950 2953 29212 0 -1 4202560 16483 0 0 0 140 6 0 0 20 0 15 0 73332418 15382630400 68309 33554432000 4194304 4196468 140736232604496 140655980365296 140655992855132 0 4 0 25189583 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 7831552 140736232608756 140736232609033 140736232609033 140736232611791 0
[pid=2953/tid=2956] ppid=2950 vsize=15022100 memory=7883945212695894121 CPUtime=0 cores=1,3,5,7
/proc/2953/task/2956/stat : 2956 (java) S 2950 2953 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 73332419 15382630400 68309 33554432000 4194304 4196468 140736232604496 140656012782608 140656008550101 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7831552 140736232608756 140736232609033 140736232609033 140736232611791 0
[pid=2953/tid=2957] ppid=2950 vsize=15022100 memory=7588680161217243243 CPUtime=0 cores=1,3,5,7
/proc/2953/task/2957/stat : 2957 (java) S 2950 2953 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 73332419 15382630400 68309 33554432000 4194304 4196468 140736232604496 140655826939024 140656008550101 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7831552 140736232608756 140736232609033 140736232609033 140736232611791 0
[pid=2953/tid=2958] ppid=2950 vsize=15022100 memory=7588675771660460909 CPUtime=0 cores=1,3,5,7
/proc/2953/task/2958/stat : 2958 (java) S 2950 2953 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 73332419 15382630400 68309 33554432000 4194304 4196468 140736232604496 140655825885968 140656008550101 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7831552 140736232608756 140736232609033 140736232609033 140736232611791 0
[pid=2953/tid=2959] ppid=2950 vsize=15022100 memory=7588680187037575276 CPUtime=0 cores=1,3,5,7
/proc/2953/task/2959/stat : 2959 (java) S 2950 2953 29212 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 73332419 15382630400 68309 33554432000 4194304 4196468 140736232604496 140655824833424 140656008550101 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7831552 140736232608756 140736232609033 140736232609033 140736232611791 0
[pid=2953/tid=2960] ppid=2950 vsize=15022100 memory=0 CPUtime=0 cores=1,3,5,7
/proc/2953/task/2960/stat : 2960 (java) S 2950 2953 29212 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 73332421 15382630400 68309 33554432000 4194304 4196468 140736232604496 140655415552240 140656008551042 0 0 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7831552 140736232608756 140736232609033 140736232609033 140736232611791 0
################
# More data... #
################
/proc/meminfo: memFree=17905380/32770624 swapFree=67076644/67108860
[pid=2953] ppid=2950 vsize=15683912 memory=3118224 CPUtime=22.33 cores=1,3,5,7
/proc/2953/stat : 2953 (java) S 2950 2953 29212 0 -1 1077944320 41116 0 0 0 2102 131 0 0 20 0 19 0 73332417 16060325888 779556 33554432000 4194304 4196468 140736232604496 140736232587040 140656008539895 0 0 0 25189583 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 7831552 140736232608756 140736232609033 140736232609033 140736232611791 0
/proc/2953/statm: 3920978 779556 3233 1 0 3881834 0
[pid=2969] ppid=2953 vsize=125060 memory=104992 CPUtime=2493.3 cores=1,3,5,7
/proc/2969/stat : 2969 (minisat_release) R 2953 2953 29212 0 -1 4202496 183410 0 0 0 249311 19 0 0 20 0 1 0 73333296 128061440 26248 33554432000 4194304 4308513 140727755664320 140727755661320 4275941 0 4 0 8396802 0 0 0 17 1 0 0 0 0 0 6409496 6410680 33779712 140727755670193 140727755670702 140727755670702 140727755673541 0
/proc/2969/statm: 31265 26248 354 28 0 27505 0
[pid=2953/tid=2955] ppid=2950 vsize=15683912 memory=3118224 CPUtime=8.67 cores=1,3,5,7
/proc/2953/task/2955/stat : 2955 (java) S 2950 2953 29212 0 -1 1077944384 19560 0 0 0 817 50 0 0 20 0 19 0 73332418 16060325888 779556 33554432000 4194304 4196468 140736232604496 140655980379136 140656008550101 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7831552 140736232608756 140736232609033 140736232609033 140736232611791 0
[pid=2953/tid=2956] ppid=2950 vsize=15683912 memory=3118224 CPUtime=0.1 cores=1,3,5,7
/proc/2953/task/2956/stat : 2956 (java) S 2950 2953 29212 0 -1 1077944384 112 0 0 0 8 2 0 0 20 0 19 0 73332419 16060325888 779556 33554432000 4194304 4196468 140736232604496 140656012782608 140656008550101 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7831552 140736232608756 140736232609033 140736232609033 140736232611791 0
[pid=2953/tid=2957] ppid=2950 vsize=15683912 memory=3118224 CPUtime=0.1 cores=1,3,5,7
/proc/2953/task/2957/stat : 2957 (java) S 2950 2953 29212 0 -1 1077944384 61 0 0 0 8 2 0 0 20 0 19 0 73332419 16060325888 779556 33554432000 4194304 4196468 140736232604496 140655826939024 140656008550101 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7831552 140736232608756 140736232609033 140736232609033 140736232611791 0
[pid=2953/tid=2958] ppid=2950 vsize=15683912 memory=2305 CPUtime=0.1 cores=1,3,5,7
/proc/2953/task/2958/stat : 2958 (java) S 2950 2953 29212 0 -1 1077944384 46 0 0 0 8 2 0 0 20 0 19 0 73332419 16060325888 779556 33554432000 4194304 4196468 140736232604496 140655825885968 140656008550101 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7831552 140736232608756 140736232609033 140736232609033 140736232611791 0
[pid=2953/tid=2959] ppid=2950 vsize=15683912 memory=33 CPUtime=0.1 cores=1,3,5,7
/proc/2953/task/2959/stat : 2959 (java) S 2950 2953 29212 0 -1 1077944384 49 0 0 0 8 2 0 0 20 0 19 0 73332419 16060325888 779556 33554432000 4194304 4196468 140736232604496 140655824833424 140656008550101 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7831552 140736232608756 140736232609033 140736232609033 140736232611791 0
[pid=2953/tid=2960] ppid=2950 vsize=15683912 memory=104992 CPUtime=0.06 cores=1,3,5,7
/proc/2953/task/2960/stat : 2960 (java) S 2950 2953 29212 0 -1 1077944384 24 0 0 0 3 3 0 0 20 0 19 0 73332421 16060325888 779556 33554432000 4194304 4196468 140736232604496 140655415552240 140656008551042 0 0 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7831552 140736232608756 140736232609033 140736232609033 140736232611791 0
[pid=2953/tid=2961] ppid=2950 vsize=15683912 memory=3118224 CPUtime=0 cores=1,3,5,7
/proc/2953/task/2961/stat : 2961 (java) S 2950 2953 29212 0 -1 1077944384 14 0 0 0 0 0 0 0 20 0 19 0 73332421 16060325888 779556 33554432000 4194304 4196468 140736232604496 140654575346912 140656008550101 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7831552 140736232608756 140736232609033 140736232609033 140736232611791 0
[pid=2953/tid=2962] ppid=2950 vsize=15683912 memory=776 CPUtime=0 cores=1,3,5,7
/proc/2953/task/2962/stat : 2962 (java) S 2950 2953 29212 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 73332422 16060325888 779556 33554432000 4194304 4196468 140736232604496 140654340465392 140656008550101 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7831552 140736232608756 140736232609033 140736232609033 140736232611791 0
[pid=2953/tid=2963] ppid=2950 vsize=15683912 memory=1876 CPUtime=0 cores=1,3,5,7
/proc/2953/task/2963/stat : 2963 (java) S 2950 2953 29212 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 73332424 16060325888 779556 33554432000 4194304 4196468 140736232604496 140653965957072 140656008558491 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7831552 140736232608756 140736232609033 140736232609033 140736232611791 0
[pid=2953/tid=2964] ppid=2950 vsize=15683912 memory=3118224 CPUtime=5.24 cores=1,3,5,7
/proc/2953/task/2964/stat : 2964 (java) S 2950 2953 29212 0 -1 1077944384 7395 0 0 0 522 2 0 0 20 0 19 0 73332424 16060325888 779556 33554432000 4194304 4196468 140736232604496 140655347100400 140656008551042 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7831552 140736232608756 140736232609033 140736232609033 140736232611791 0
[pid=2953/tid=2965] ppid=2950 vsize=15683912 memory=3544 CPUtime=5.23 cores=1,3,5,7
/proc/2953/task/2965/stat : 2965 (java) S 2950 2953 29212 0 -1 1077944384 6418 0 0 0 521 2 0 0 20 0 19 0 73332424 16060325888 779556 33554432000 4194304 4196468 140736232604496 140655346047856 140656008551042 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7831552 140736232608756 140736232609033 140736232609033 140736232611791 0
[pid=2953/tid=2966] ppid=2950 vsize=15683912 memory=2160 CPUtime=1.36 cores=1,3,5,7
/proc/2953/task/2966/stat : 2966 (java) S 2950 2953 29212 0 -1 1077944384 5768 0 0 0 132 4 0 0 20 0 19 0 73332424 16060325888 779556 33554432000 4194304 4196468 140736232604496 140655344994800 140656008551042 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7831552 140736232608756 140736232609033 140736232609033 140736232611791 0
[pid=2953/tid=2967] ppid=2950 vsize=15683912 memory=6768 CPUtime=0 cores=1,3,5,7
/proc/2953/task/2967/stat : 2967 (java) S 2950 2953 29212 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 73332424 16060325888 779556 33554432000 4194304 4196468 140736232604496 140653468052320 140656008550101 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7831552 140736232608756 140736232609033 140736232609033 140736232611791 0
[pid=2953/tid=2968] ppid=2950 vsize=15683912 memory=3118224 CPUtime=1.28 cores=1,3,5,7
/proc/2953/task/2968/stat : 2968 (java) S 2950 2953 29212 0 -1 1077944384 275 0 0 0 58 70 0 0 20 0 19 0 73332424 16060325888 779556 33554432000 4194304 4196468 140736232604496 140655343942192 140656008551042 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7831552 140736232608756 140736232609033 140736232609033 140736232611791 0
[pid=2953/tid=2970] ppid=2950 vsize=15683912 memory=104992 CPUtime=0 cores=1,3,5,7
/proc/2953/task/2970/stat : 2970 (java) S 2950 2953 29212 0 -1 4202560 22 0 0 0 0 0 0 0 20 0 19 0 73333296 16060325888 779556 33554432000 4194304 4196468 140736232604496 140655817127232 140656008564505 0 4 0 25189583 18446744071579417331 0 0 -1 5 0 0 0 0 0 6293624 6294260 7831552 140736232608756 140736232609033 140736232609033 140736232611791 0
[pid=2953/tid=2972] ppid=2950 vsize=15683912 memory=3118224 CPUtime=0 cores=1,3,5,7
/proc/2953/task/2972/stat : 2972 (java) S 2950 2953 29212 0 -1 4202560 25 0 0 0 0 0 0 0 20 0 19 0 73333296 16060325888 779556 33554432000 4194304 4196468 140736232604496 140652931165488 140656008561821 0 4 0 25189583 18446744071580971376 0 0 -1 5 0 0 0 0 0 6293624 6294260 7831552 140736232608756 140736232609033 140736232609033 140736232611791 0
[pid=2953/tid=2973] ppid=2950 vsize=15683912 memory=3118224 CPUtime=0 cores=1,3,5,7
/proc/2953/task/2973/stat : 2973 (java) S 2950 2953 29212 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 73333296 16060325888 779556 33554432000 4194304 4196468 140736232604496 140652662734768 140656008561821 0 4 0 25189583 18446744071580971376 0 0 -1 5 0 0 0 0 0 6293624 6294260 7831552 140736232608756 140736232609033 140736232609033 140736232611791 0
[pid=2953/tid=2974] ppid=2950 vsize=15683912 memory=3118224 CPUtime=0 cores=1,3,5,7
/proc/2953/task/2974/stat : 2974 (java) S 2950 2953 29212 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 19 0 73333298 16060325888 779556 33554432000 4194304 4196468 140736232604496 140653065396000 140656008550101 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7831552 140736232608756 140736232609033 140736232609033 140736232611791 0
Current children cumulated CPU time: 2515.63 s
Current children cumulated vsize: 15808972 KiB
Current children cumulated memory: 3223216 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2506.7 s]
/proc/loadavg: 2.04 2.11 2.08 3/225 3239
/proc/meminfo: memFree=17941684/32770624 swapFree=67076644/67108860
[pid=2953] ppid=2950 vsize=15683912 memory=3118224 CPUtime=22.33 cores=1,3,5,7
/proc/2953/stat : 2953 (java) S 2950 2953 29212 0 -1 1077944320 41118 0 0 0 2102 131 0 0 20 0 19 0 73332417 16060325888 779556 33554432000 4194304 4196468 140736232604496 140736232587040 140656008539895 0 0 0 25189583 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 7831552 140736232608756 140736232609033 140736232609033 140736232611791 0
/proc/2953/statm: 3920978 779556 3233 1 0 3881834 0
[pid=2969] ppid=2953 vsize=125060 memory=104992 CPUtime=2497.7 cores=1,3,5,7
/proc/2969/stat : 2969 (minisat_release) R 2953 2953 29212 0 -1 4202496 183415 0 0 0 249751 19 0 0 20 0 1 0 73333296 128061440 26248 33554432000 4194304 4308513 140727755664320 140727755661320 4276465 0 4 0 8396802 0 0 0 17 1 0 0 0 0 0 6409496 6410680 33779712 140727755670193 140727755670702 140727755670702 140727755673541 0
/proc/2969/statm: 31265 26248 354 28 0 27505 0
[pid=2953/tid=2955] ppid=2950 vsize=15683912 memory=3118224 CPUtime=8.67 cores=1,3,5,7
/proc/2953/task/2955/stat : 2955 (java) S 2950 2953 29212 0 -1 1077944384 19560 0 0 0 817 50 0 0 20 0 19 0 73332418 16060325888 779556 33554432000 4194304 4196468 140736232604496 140655980379136 140656008550101 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7831552 140736232608756 140736232609033 140736232609033 140736232611791 0
[pid=2953/tid=2956] ppid=2950 vsize=15683912 memory=3118224 CPUtime=0.1 cores=1,3,5,7
/proc/2953/task/2956/stat : 2956 (java) S 2950 2953 29212 0 -1 1077944384 112 0 0 0 8 2 0 0 20 0 19 0 73332419 16060325888 779556 33554432000 4194304 4196468 140736232604496 140656012782608 140656008550101 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7831552 140736232608756 140736232609033 140736232609033 140736232611791 0
[pid=2953/tid=2957] ppid=2950 vsize=15683912 memory=3118224 CPUtime=0.1 cores=1,3,5,7
/proc/2953/task/2957/stat : 2957 (java) S 2950 2953 29212 0 -1 1077944384 61 0 0 0 8 2 0 0 20 0 19 0 73332419 16060325888 779556 33554432000 4194304 4196468 140736232604496 140655826939024 140656008550101 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7831552 140736232608756 140736232609033 140736232609033 140736232611791 0
[pid=2953/tid=2958] ppid=2950 vsize=15683912 memory=3118224 CPUtime=0.1 cores=1,3,5,7
/proc/2953/task/2958/stat : 2958 (java) S 2950 2953 29212 0 -1 1077944384 46 0 0 0 8 2 0 0 20 0 19 0 73332419 16060325888 779556 33554432000 4194304 4196468 140736232604496 140655825885968 140656008550101 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7831552 140736232608756 140736232609033 140736232609033 140736232611791 0
[pid=2953/tid=2959] ppid=2950 vsize=15683912 memory=3118224 CPUtime=0.1 cores=1,3,5,7
/proc/2953/task/2959/stat : 2959 (java) S 2950 2953 29212 0 -1 1077944384 49 0 0 0 8 2 0 0 20 0 19 0 73332419 16060325888 779556 33554432000 4194304 4196468 140736232604496 140655824833424 140656008550101 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7831552 140736232608756 140736232609033 140736232609033 140736232611791 0
[pid=2953/tid=2960] ppid=2950 vsize=15683912 memory=3118224 CPUtime=0.06 cores=1,3,5,7
/proc/2953/task/2960/stat : 2960 (java) S 2950 2953 29212 0 -1 1077944384 24 0 0 0 3 3 0 0 20 0 19 0 73332421 16060325888 779556 33554432000 4194304 4196468 140736232604496 140655415552240 140656008551042 0 0 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7831552 140736232608756 140736232609033 140736232609033 140736232611791 0
[pid=2953/tid=2961] ppid=2950 vsize=15683912 memory=3118224 CPUtime=0 cores=1,3,5,7
/proc/2953/task/2961/stat : 2961 (java) S 2950 2953 29212 0 -1 1077944384 14 0 0 0 0 0 0 0 20 0 19 0 73332421 16060325888 779556 33554432000 4194304 4196468 140736232604496 140654575346912 140656008550101 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7831552 140736232608756 140736232609033 140736232609033 140736232611791 0
[pid=2953/tid=2962] ppid=2950 vsize=15683912 memory=3118224 CPUtime=0 cores=1,3,5,7
/proc/2953/task/2962/stat : 2962 (java) S 2950 2953 29212 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 73332422 16060325888 779556 33554432000 4194304 4196468 140736232604496 140654340465392 140656008550101 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7831552 140736232608756 140736232609033 140736232609033 140736232611791 0
[pid=2953/tid=2963] ppid=2950 vsize=15683912 memory=2305 CPUtime=0 cores=1,3,5,7
/proc/2953/task/2963/stat : 2963 (java) S 2950 2953 29212 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 73332424 16060325888 779556 33554432000 4194304 4196468 140736232604496 140653965957072 140656008558491 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7831552 140736232608756 140736232609033 140736232609033 140736232611791 0
[pid=2953/tid=2964] ppid=2950 vsize=15683912 memory=33 CPUtime=5.24 cores=1,3,5,7
/proc/2953/task/2964/stat : 2964 (java) S 2950 2953 29212 0 -1 1077944384 7395 0 0 0 522 2 0 0 20 0 19 0 73332424 16060325888 779556 33554432000 4194304 4196468 140736232604496 140655347100400 140656008551042 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7831552 140736232608756 140736232609033 140736232609033 140736232611791 0
[pid=2953/tid=2965] ppid=2950 vsize=15683912 memory=3118224 CPUtime=5.23 cores=1,3,5,7
/proc/2953/task/2965/stat : 2965 (java) S 2950 2953 29212 0 -1 1077944384 6418 0 0 0 521 2 0 0 20 0 19 0 73332424 16060325888 779556 33554432000 4194304 4196468 140736232604496 140655346047856 140656008551042 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7831552 140736232608756 140736232609033 140736232609033 140736232611791 0
[pid=2953/tid=2966] ppid=2950 vsize=15683912 memory=3118224 CPUtime=1.36 cores=1,3,5,7
/proc/2953/task/2966/stat : 2966 (java) S 2950 2953 29212 0 -1 1077944384 5768 0 0 0 132 4 0 0 20 0 19 0 73332424 16060325888 779556 33554432000 4194304 4196468 140736232604496 140655344994800 140656008551042 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7831552 140736232608756 140736232609033 140736232609033 140736232611791 0
[pid=2953/tid=2967] ppid=2950 vsize=15683912 memory=3118224 CPUtime=0 cores=1,3,5,7
/proc/2953/task/2967/stat : 2967 (java) S 2950 2953 29212 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 73332424 16060325888 779556 33554432000 4194304 4196468 140736232604496 140653468052320 140656008550101 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7831552 140736232608756 140736232609033 140736232609033 140736232611791 0
[pid=2953/tid=2968] ppid=2950 vsize=15683912 memory=104992 CPUtime=1.29 cores=1,3,5,7
/proc/2953/task/2968/stat : 2968 (java) S 2950 2953 29212 0 -1 1077944384 277 0 0 0 58 71 0 0 20 0 19 0 73332424 16060325888 779556 33554432000 4194304 4196468 140736232604496 140655343942192 140656008551042 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7831552 140736232608756 140736232609033 140736232609033 140736232611791 0
[pid=2953/tid=2970] ppid=2950 vsize=15683912 memory=3118224 CPUtime=0 cores=1,3,5,7
/proc/2953/task/2970/stat : 2970 (java) S 2950 2953 29212 0 -1 4202560 22 0 0 0 0 0 0 0 20 0 19 0 73333296 16060325888 779556 33554432000 4194304 4196468 140736232604496 140655817127232 140656008564505 0 4 0 25189583 18446744071579417331 0 0 -1 5 0 0 0 0 0 6293624 6294260 7831552 140736232608756 140736232609033 140736232609033 140736232611791 0
[pid=2953/tid=2972] ppid=2950 vsize=15683912 memory=104992 CPUtime=0 cores=1,3,5,7
/proc/2953/task/2972/stat : 2972 (java) S 2950 2953 29212 0 -1 4202560 25 0 0 0 0 0 0 0 20 0 19 0 73333296 16060325888 779556 33554432000 4194304 4196468 140736232604496 140652931165488 140656008561821 0 4 0 25189583 18446744071580971376 0 0 -1 5 0 0 0 0 0 6293624 6294260 7831552 140736232608756 140736232609033 140736232609033 140736232611791 0
[pid=2953/tid=2973] ppid=2950 vsize=15683912 memory=776 CPUtime=0 cores=1,3,5,7
/proc/2953/task/2973/stat : 2973 (java) S 2950 2953 29212 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 73333296 16060325888 779556 33554432000 4194304 4196468 140736232604496 140652662734768 140656008561821 0 4 0 25189583 18446744071580971376 0 0 -1 5 0 0 0 0 0 6293624 6294260 7831552 140736232608756 140736232609033 140736232609033 140736232611791 0
[pid=2953/tid=2974] ppid=2950 vsize=15683912 memory=1876 CPUtime=0 cores=1,3,5,7
/proc/2953/task/2974/stat : 2974 (java) S 2950 2953 29212 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 19 0 73333298 16060325888 779556 33554432000 4194304 4196468 140736232604496 140653065396000 140656008550101 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7831552 140736232608756 140736232609033 140736232609033 140736232611791 0
Current children cumulated CPU time: 2520.03 s
Current children cumulated vsize: 15808972 KiB
Current children cumulated memory: 3223216 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2506.74 s]
# the end of solver process 2953 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2518.54 s, system=1.53117 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2506.7 s]
/proc/loadavg: 2.04 2.11 2.08 3/225 3239
/proc/meminfo: memFree=17941684/32770624 swapFree=67076644/67108860
[pid=2953] ppid=2950 vsize=15683912 memory=3118224 CPUtime=22.33 cores=1,3,5,7
/proc/2953/stat : 2953 (java) S 2950 2953 29212 0 -1 1077944320 41118 0 0 0 2102 131 0 0 20 0 19 0 73332417 16060325888 779556 33554432000 4194304 4196468 140736232604496 140736232587040 140656008539895 0 0 0 25189583 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 7831552 140736232608756 140736232609033 140736232609033 140736232611791 0
/proc/2953/statm: 3920978 779556 3233 1 0 3881834 0
[pid=2969] ppid=2953 vsize=125060 memory=104992 CPUtime=2497.7 cores=1,3,5,7
/proc/2969/stat : 2969 (minisat_release) R 2953 2953 29212 0 -1 4202496 183415 0 0 0 249751 19 0 0 20 0 1 0 73333296 128061440 26248 33554432000 4194304 4308513 140727755664320 140727755661320 4276465 0 4 0 8396802 0 0 0 17 1 0 0 0 0 0 6409496 6410680 33779712 140727755670193 140727755670702 140727755670702 140727755673541 0
/proc/2969/statm: 31265 26248 354 28 0 27505 0
[pid=2953/tid=2955] ppid=2950 vsize=15683912 memory=3118224 CPUtime=8.67 cores=1,3,5,7
/proc/2953/task/2955/stat : 2955 (java) S 2950 2953 29212 0 -1 1077944384 19560 0 0 0 817 50 0 0 20 0 19 0 73332418 16060325888 779556 33554432000 4194304 4196468 140736232604496 140655980379136 140656008550101 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7831552 140736232608756 140736232609033 140736232609033 140736232611791 0
[pid=2953/tid=2956] ppid=2950 vsize=15683912 memory=3118224 CPUtime=0.1 cores=1,3,5,7
/proc/2953/task/2956/stat : 2956 (java) S 2950 2953 29212 0 -1 1077944384 112 0 0 0 8 2 0 0 20 0 19 0 73332419 16060325888 779556 33554432000 4194304 4196468 140736232604496 140656012782608 140656008550101 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7831552 140736232608756 140736232609033 140736232609033 140736232611791 0
[pid=2953/tid=2957] ppid=2950 vsize=15683912 memory=3118224 CPUtime=0.1 cores=1,3,5,7
/proc/2953/task/2957/stat : 2957 (java) S 2950 2953 29212 0 -1 1077944384 61 0 0 0 8 2 0 0 20 0 19 0 73332419 16060325888 779556 33554432000 4194304 4196468 140736232604496 140655826939024 140656008550101 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7831552 140736232608756 140736232609033 140736232609033 140736232611791 0
[pid=2953/tid=2958] ppid=2950 vsize=15683912 memory=3118224 CPUtime=0.1 cores=1,3,5,7
/proc/2953/task/2958/stat : 2958 (java) S 2950 2953 29212 0 -1 1077944384 46 0 0 0 8 2 0 0 20 0 19 0 73332419 16060325888 779556 33554432000 4194304 4196468 140736232604496 140655825885968 140656008550101 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7831552 140736232608756 140736232609033 140736232609033 140736232611791 0
[pid=2953/tid=2959] ppid=2950 vsize=15683912 memory=3118224 CPUtime=0.1 cores=1,3,5,7
/proc/2953/task/2959/stat : 2959 (java) S 2950 2953 29212 0 -1 1077944384 49 0 0 0 8 2 0 0 20 0 19 0 73332419 16060325888 779556 33554432000 4194304 4196468 140736232604496 140655824833424 140656008550101 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7831552 140736232608756 140736232609033 140736232609033 140736232611791 0
[pid=2953/tid=2960] ppid=2950 vsize=15683912 memory=3118224 CPUtime=0.06 cores=1,3,5,7
/proc/2953/task/2960/stat : 2960 (java) S 2950 2953 29212 0 -1 1077944384 24 0 0 0 3 3 0 0 20 0 19 0 73332421 16060325888 779556 33554432000 4194304 4196468 140736232604496 140655415552240 140656008551042 0 0 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7831552 140736232608756 140736232609033 140736232609033 140736232611791 0
[pid=2953/tid=2961] ppid=2950 vsize=15683912 memory=3118224 CPUtime=0 cores=1,3,5,7
/proc/2953/task/2961/stat : 2961 (java) S 2950 2953 29212 0 -1 1077944384 14 0 0 0 0 0 0 0 20 0 19 0 73332421 16060325888 779556 33554432000 4194304 4196468 140736232604496 140654575346912 140656008550101 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7831552 140736232608756 140736232609033 140736232609033 140736232611791 0
[pid=2953/tid=2962] ppid=2950 vsize=15683912 memory=3118224 CPUtime=0 cores=1,3,5,7
/proc/2953/task/2962/stat : 2962 (java) S 2950 2953 29212 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 73332422 16060325888 779556 33554432000 4194304 4196468 140736232604496 140654340465392 140656008550101 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7831552 140736232608756 140736232609033 140736232609033 140736232611791 0
[pid=2953/tid=2963] ppid=2950 vsize=15683912 memory=2305 CPUtime=0 cores=1,3,5,7
/proc/2953/task/2963/stat : 2963 (java) S 2950 2953 29212 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 73332424 16060325888 779556 33554432000 4194304 4196468 140736232604496 140653965957072 140656008558491 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7831552 140736232608756 140736232609033 140736232609033 140736232611791 0
[pid=2953/tid=2964] ppid=2950 vsize=15683912 memory=33 CPUtime=5.24 cores=1,3,5,7
/proc/2953/task/2964/stat : 2964 (java) S 2950 2953 29212 0 -1 1077944384 7395 0 0 0 522 2 0 0 20 0 19 0 73332424 16060325888 779556 33554432000 4194304 4196468 140736232604496 140655347100400 140656008551042 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7831552 140736232608756 140736232609033 140736232609033 140736232611791 0
[pid=2953/tid=2965] ppid=2950 vsize=15683912 memory=3118224 CPUtime=5.23 cores=1,3,5,7
/proc/2953/task/2965/stat : 2965 (java) S 2950 2953 29212 0 -1 1077944384 6418 0 0 0 521 2 0 0 20 0 19 0 73332424 16060325888 779556 33554432000 4194304 4196468 140736232604496 140655346047856 140656008551042 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7831552 140736232608756 140736232609033 140736232609033 140736232611791 0
[pid=2953/tid=2966] ppid=2950 vsize=15683912 memory=3118224 CPUtime=1.36 cores=1,3,5,7
/proc/2953/task/2966/stat : 2966 (java) S 2950 2953 29212 0 -1 1077944384 5768 0 0 0 132 4 0 0 20 0 19 0 73332424 16060325888 779556 33554432000 4194304 4196468 140736232604496 140655344994800 140656008551042 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7831552 140736232608756 140736232609033 140736232609033 140736232611791 0
[pid=2953/tid=2967] ppid=2950 vsize=15683912 memory=3118224 CPUtime=0 cores=1,3,5,7
/proc/2953/task/2967/stat : 2967 (java) S 2950 2953 29212 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 73332424 16060325888 779556 33554432000 4194304 4196468 140736232604496 140653468052320 140656008550101 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7831552 140736232608756 140736232609033 140736232609033 140736232611791 0
[pid=2953/tid=2968] ppid=2950 vsize=15683912 memory=104992 CPUtime=1.29 cores=1,3,5,7
/proc/2953/task/2968/stat : 2968 (java) S 2950 2953 29212 0 -1 1077944384 277 0 0 0 58 71 0 0 20 0 19 0 73332424 16060325888 779556 33554432000 4194304 4196468 140736232604496 140655343942192 140656008551042 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7831552 140736232608756 140736232609033 140736232609033 140736232611791 0
[pid=2953/tid=2970] ppid=2950 vsize=15683912 memory=3118224 CPUtime=0 cores=1,3,5,7
/proc/2953/task/2970/stat : 2970 (java) S 2950 2953 29212 0 -1 4202560 22 0 0 0 0 0 0 0 20 0 19 0 73333296 16060325888 779556 33554432000 4194304 4196468 140736232604496 140655817127232 140656008564505 0 4 0 25189583 18446744071579417331 0 0 -1 5 0 0 0 0 0 6293624 6294260 7831552 140736232608756 140736232609033 140736232609033 140736232611791 0
[pid=2953/tid=2972] ppid=2950 vsize=15683912 memory=104992 CPUtime=0 cores=1,3,5,7
/proc/2953/task/2972/stat : 2972 (java) S 2950 2953 29212 0 -1 4202560 25 0 0 0 0 0 0 0 20 0 19 0 73333296 16060325888 779556 33554432000 4194304 4196468 140736232604496 140652931165488 140656008561821 0 4 0 25189583 18446744071580971376 0 0 -1 5 0 0 0 0 0 6293624 6294260 7831552 140736232608756 140736232609033 140736232609033 140736232611791 0
[pid=2953/tid=2973] ppid=2950 vsize=15683912 memory=776 CPUtime=0 cores=1,3,5,7
/proc/2953/task/2973/stat : 2973 (java) S 2950 2953 29212 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 73333296 16060325888 779556 33554432000 4194304 4196468 140736232604496 140652662734768 140656008561821 0 4 0 25189583 18446744071580971376 0 0 -1 5 0 0 0 0 0 6293624 6294260 7831552 140736232608756 140736232609033 140736232609033 140736232611791 0
[pid=2953/tid=2974] ppid=2950 vsize=15683912 memory=1876 CPUtime=0 cores=1,3,5,7
/proc/2953/task/2974/stat : 2974 (java) S 2950 2953 29212 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 19 0 73333298 16060325888 779556 33554432000 4194304 4196468 140736232604496 140653065396000 140656008550101 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7831552 140736232608756 140736232609033 140736232609033 140736232611791 0
Current children cumulated CPU time: 2520.03 s
Current children cumulated vsize: 15808972 KiB
Current children cumulated memory: 3223216 KiB
Child status: 1
Real time (s): 2506.74
CPU time (s): 2520.07
CPU user time (s): 2518.54
CPU system time (s): 1.53117
CPU usage (%): 100.532
Max. virtual memory (cumulated for all children) (KiB): 15808972
Max. memory (cumulated for all children) (KiB): 3223216
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2518.54
system time used= 1.53117
maximum resident set size= 3119628
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 224601
page faults= 0
swaps= 0
block input operations= 0
block output operations= 4952
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 58666
involuntary context switches= 1534
# summary of solver processes directly reported to runsolver:
# pid: 2953
# total CPU time (s): 2520.07
# total CPU user time (s): 2518.54
# total CPU system time (s): 1.53117
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 24.759 second user time and 18.6125 second system time
The end