0.57/0.60
0.68/0.61 scop both+minisat_release (2018-06-13)
0.68/0.61
0.68/0.63 c BEGIN-Prog: Wed Jul 25 19:31:28 CEST 2018
0.68/0.63 c PID: 31961
0.68/0.63 c IP: 172.20.3.102
0.68/0.63 c HOST: node102.alineos.net
0.68/0.64 c (0,0) Parsing Begin
1.29/0.99 c (0,0) Parsing End
1.29/0.99 c (0,0) CSP: 41 int (0 aux), 0 bool (0 aux), 121 ctr, max domain size 73
1.29/0.99 c (0,0) Heap : 112 MiB used (max 10795 MiB), NonHeap : 18 MiB used (max 0 MiB)
1.29/0.99 c (0,0) Constraint Name Generate Begin
1.29/1.00 c (0,0) Ctr:HOME/instance-4295265-1532539887.xml,AllDifferent:ExtensionConflict:ExtensionSupport:IntVar
1.29/1.00 c (0,0) Constraint Name Generate End
1.29/1.00 c (0,0) Heap : 112 MiB used (max 10795 MiB), NonHeap : 18 MiB used (max 0 MiB)
1.29/1.00 c (0,0) CSP to CSPinCNF Begin
5.22/2.33 c (1,1) translated 13 (10%) constraints
6.93/2.91 c (2,2) translated 25 (20%) constraints
7.44/3.39 c (2,2) translated 37 (30%) constraints
8.05/3.88 c (3,3) translated 49 (40%) constraints
8.57/4.35 c (3,3) translated 61 (50%) constraints
9.12/4.82 c (4,4) translated 73 (60%) constraints
9.50/5.19 c (4,4) translated 85 (70%) constraints
9.66/5.21 c (4,4) translated 97 (80%) constraints
9.66/5.23 c (4,4) translated 109 (90%) constraints
9.66/5.24 c (4,4) translated 121 (100%) constraints
10.88/5.66 c (5,5) STATISTICS1:HOME/instance-4295265-1532539887.xml,AllDifferent:ExtensionConflict:ExtensionSupport:IntVar,5721,87453,73,73,72,2,73:595;72:225,73:126010;72:37288;2:91600,72:80;41:2;3:74400;2:12965;1:6,2:820;1:253258;0:80,
10.88/5.66 c (5,5) ===========================================
10.88/5.66 c (5,5) Both Encoding selects:
10.88/5.66 c (5,5) Order
10.88/5.66 c (5,5) ===========================================
11.80/5.90 c (5,5) translated 8746 (10%) constraints
12.13/6.04 c (5,5) translated 17491 (20%) constraints
12.30/6.15 c (5,5) translated 26236 (30%) constraints
12.41/6.25 c (5,5) translated 34982 (40%) constraints
12.51/6.36 c (5,5) translated 43727 (50%) constraints
12.61/6.47 c (5,5) translated 52472 (60%) constraints
12.72/6.57 c (5,5) translated 61218 (70%) constraints
12.82/6.68 c (6,6) translated 69963 (80%) constraints
12.92/6.78 c (6,6) translated 78708 (90%) constraints
13.04/6.89 c (6,6) translated 87453 (100%) constraints
13.04/6.89 c (6,6) CSP to CSPinCNF End
13.18/6.90 c (6,6) CSP: 41 int (0 aux), 5680 bool (5680 aux), 87453 ctr, max domain size 73
13.18/6.91 c (6,6) Heap : 2478 MiB used (max 10795 MiB), NonHeap : 31 MiB used (max 0 MiB)
13.18/6.91 c (6,6) CSPinCNF Propagation Begin
14.24/7.41 c (6,6) 0 values, 319 unsatisfiable literals, and 245 valid clauses are removed
14.24/7.41 c (6,6) CSPinCNF Propagation End
14.24/7.41 c (6,6) CSP: 41 int (0 aux), 5680 bool (5680 aux), 87208 ctr, max domain size 73
14.24/7.41 c (6,6) Heap : 2816 MiB used (max 10795 MiB), NonHeap : 32 MiB used (max 0 MiB)
14.24/7.41 c (6,6) Simplify CSPinCNF Begin
15.24/7.73 c (7,6) Simplify CSPinCNF End
15.24/7.73 c (7,6) CSP: 41 int (0 aux), 7320 bool (7320 aux), 88848 ctr, max domain size 73
15.24/7.73 c (7,6) Heap : 168 MiB used (max 10795 MiB), NonHeap : 30 MiB used (max 0 MiB)
15.24/7.73 c (7,6) Calculate Precise Domain Begin
15.24/7.73 c (7,6) 0 values are removed by re-calculation
15.24/7.73 c (7,6) Calculate Precise Domain End
15.24/7.73 c (7,6) CSP: 41 int (0 aux), 7320 bool (7320 aux), 88848 ctr, max domain size 73
15.24/7.73 c (7,6) Heap : 168 MiB used (max 10795 MiB), NonHeap : 30 MiB used (max 0 MiB)
15.24/7.73 c (7,6) CSPinCNF to SatSolver Begin
16.70/8.29 c (7,7) 8885 (10 %) CSP clauses are encoded (10266 SAT variables, 129419 SAT clauses)
16.92/8.34 c (7,7) 17770 (20 %) CSP clauses are encoded (10266 SAT variables, 138304 SAT clauses)
16.92/8.38 c (7,7) 26655 (30 %) CSP clauses are encoded (10266 SAT variables, 147189 SAT clauses)
17.09/8.42 c (7,7) 35540 (40 %) CSP clauses are encoded (10266 SAT variables, 156074 SAT clauses)
17.09/8.47 c (7,7) 44424 (50 %) CSP clauses are encoded (10266 SAT variables, 164958 SAT clauses)
17.19/8.51 c (7,7) 53309 (60 %) CSP clauses are encoded (10266 SAT variables, 173843 SAT clauses)
17.19/8.55 c (7,7) 62194 (70 %) CSP clauses are encoded (10266 SAT variables, 182728 SAT clauses)
17.19/8.59 c (7,7) 71079 (80 %) CSP clauses are encoded (10266 SAT variables, 191613 SAT clauses)
17.30/8.64 c (8,7) 79964 (90 %) CSP clauses are encoded (10266 SAT variables, 200498 SAT clauses)
17.30/8.68 c (8,7) 88848 (100 %) CSP clauses are encoded (10266 SAT variables, 209382 SAT clauses)
17.30/8.68 c (8,7) CSPinCNF to SatSolver End
17.30/8.68 c (8,7) Heap : 831 MiB used (max 10795 MiB), NonHeap : 31 MiB used (max 0 MiB)
17.95/8.94 c (8,8) STATISTICS2:HOME/instance-4295265-1532539887.xml,AllDifferent:ExtensionConflict:ExtensionSupport:IntVar,7361,88848,73,73,71,2,73:1190;72:450,73:127410;72:37044;2:94641,71:80;41:2;3:74161;2:14605,2:1640;1:255815,
17.95/8.94 c (8,8) SatSolver.solve Begin
17.95/8.94 c (8,8) 10266 bool, 209383 clause
17.95/8.94 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-4295265-1532539887.xml-scop-31961.cnf HOME/instance-4295265-1532539887.xml-scop-31961.cnf.out
2520.03/2509.40 c (2508,0) receiving signal SIGTERM
2520.03/2509.40 s UNKNOWN
2520.03/2509.40 c (2508,8) SatSolver is killed by some reasons.
2520.03/2509.40 c (2508,8) 0,0,6,6,7,7,8,TO,TO,STOP-AFTER(DIMACS)
2520.03/2509.40 c END-Prog: Wed Jul 25 20:13: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 (4526 MiB free)
memory of node 1: 16384 MiB (15592 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4295265-1532539887/watcher-4295265-1532539887 -o /tmp/evaluation-result-4295265-1532539887/solver-4295265-1532539887 -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-4295265-1532539887.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=31961, runsolver pid=31958
Current StackSize limit: 8192 KiB
[startup+0.100058 s]*
/proc/loadavg: 2.01 2.20 3.14 4/221 31976
/proc/meminfo: memFree=20539736/32770624 swapFree=67076476/67108860
[pid=31961] ppid=31958 vsize=15011656 memory=73644 CPUtime=0.11 cores=1,3,5,7
/proc/31961/stat : 31961 (java) S 31958 31961 29212 0 -1 1077944320 7091 0 0 0 9 2 0 0 20 0 15 0 71551873 15371935744 18411 33554432000 4194304 4196468 140735318730016 140735318712560 140260045291255 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 23642112 140735318737908 140735318738185 140735318738185 140735318740943 0
/proc/31961/statm: 3752914 18411 2780 1 0 3715374 0
[pid=31961/tid=31963] ppid=31958 vsize=15011656 memory=-6799202250962287440 CPUtime=0.09 cores=1,3,5,7
/proc/31961/task/31963/stat : 31963 (java) R 31958 31961 29212 0 -1 4202560 5199 0 0 0 7 2 0 0 20 0 15 0 71551874 15371935744 18411 33554432000 4194304 4196468 140735318730016 140260017102504 140260025566962 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 23642112 140735318737908 140735318738185 140735318738185 140735318740943 0
[pid=31961/tid=31964] ppid=31958 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/31961/task/31964/stat : 31964 (java) S 31958 31961 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 71551875 15371935744 18411 33554432000 4194304 4196468 140735318730016 140260049533968 140260045301461 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23642112 140735318737908 140735318738185 140735318738185 140735318740943 0
[pid=31961/tid=31965] ppid=31958 vsize=15011656 memory=139638605661824 CPUtime=0 cores=1,3,5,7
/proc/31961/task/31965/stat : 31965 (java) S 31958 31961 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 71551875 15371935744 18411 33554432000 4194304 4196468 140735318730016 140259876351120 140260045301461 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23642112 140735318737908 140735318738185 140735318738185 140735318740943 0
[pid=31961/tid=31966] ppid=31958 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/31961/task/31966/stat : 31966 (java) S 31958 31961 29212 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 71551875 15371935744 18411 33554432000 4194304 4196468 140735318730016 140259504683792 140260045301461 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23642112 140735318737908 140735318738185 140735318738185 140735318740943 0
[pid=31961/tid=31967] ppid=31958 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/31961/task/31967/stat : 31967 (java) S 31958 31961 29212 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 71551875 15371935744 18477 33554432000 4194304 4196468 140735318730016 140259503631248 140260045301461 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23642112 140735318737908 140735318738185 140735318738185 140735318740943 0
[pid=31961/tid=31968] ppid=31958 vsize=15011656 memory=139638605661824 CPUtime=0 cores=1,3,5,7
/proc/31961/task/31968/stat : 31968 (java) S 31958 31961 29212 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 71551877 15371935744 18477 33554432000 4194304 4196468 140735318730016 140259083393264 140260045302402 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23642112 140735318737908 140735318738185 140735318738185 140735318740943 0
[pid=31961/tid=31969] ppid=31958 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/31961/task/31969/stat : 31969 (java) S 31958 31961 29212 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 71551877 15371935744 18477 33554432000 4194304 4196468 140735318730016 140258599494816 140260045301461 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23642112 140735318737908 140735318738185 140735318738185 140735318740943 0
[pid=31961/tid=31970] ppid=31958 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/31961/task/31970/stat : 31970 (java) S 31958 31961 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 71551878 15371935744 18477 33554432000 4194304 4196468 140735318730016 140258331058928 140260045301461 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23642112 140735318737908 140735318738185 140735318738185 140735318740943 0
[pid=31961/tid=31971] ppid=31958 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/31961/task/31971/stat : 31971 (java) S 31958 31961 29212 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 71551880 15371935744 18477 33554432000 4194304 4196468 140735318730016 140257956550608 140260045309851 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23642112 140735318737908 140735318738185 140735318738185 140735318740943 0
[pid=31961/tid=31972] ppid=31958 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/31961/task/31972/stat : 31972 (java) S 31958 31961 29212 0 -1 1077944384 314 0 0 0 0 0 0 0 20 0 15 0 71551880 15371935744 18477 33554432000 4194304 4196468 140735318730016 140259082341104 140260045302402 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23642112 140735318737908 140735318738185 140735318738185 140735318740943 0
[pid=31961/tid=31973] ppid=31958 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/31961/task/31973/stat : 31973 (java) S 31958 31961 29212 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 71551880 15371935744 18477 33554432000 4194304 4196468 140735318730016 140259081288560 140260045302402 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23642112 140735318737908 140735318738185 140735318738185 140735318740943 0
[pid=31961/tid=31974] ppid=31958 vsize=15011656 memory=139638605661824 CPUtime=0.01 cores=1,3,5,7
/proc/31961/task/31974/stat : 31974 (java) S 31958 31961 29212 0 -1 1077944384 264 0 0 0 1 0 0 0 20 0 15 0 71551880 15371935744 18477 33554432000 4194304 4196468 140735318730016 140259080235504 140260045302402 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23642112 140735318737908 140735318738185 140735318738185 140735318740943 0
[pid=31961/tid=31975] ppid=31958 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/31961/task/31975/stat : 31975 (java) S 31958 31961 29212 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 71551880 15371935744 18477 33554432000 4194304 4196468 140735318730016 140257458645856 140260045301461 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23642112 140735318737908 140735318738185 140735318738185 140735318740943 0
[pid=31961/tid=31976] ppid=31958 vsize=15011656 memory=139638605661824 CPUtime=0 cores=1,3,5,7
/proc/31961/task/31976/stat : 31976 (java) S 31958 31961 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 71551881 15371935744 18477 33554432000 4194304 4196468 140735318730016 140259079182896 140260045302402 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23642112 140735318737908 140735318738185 140735318738185 140735318740943 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 15011656 KiB
Current children cumulated memory: 73644 KiB
[startup+0.210638 s]*
/proc/loadavg: 2.01 2.20 3.14 3/221 31976
/proc/meminfo: memFree=20525908/32770624 swapFree=67076476/67108860
[pid=31961] ppid=31958 vsize=15011656 memory=86488 CPUtime=0.26 cores=1,3,5,7
/proc/31961/stat : 31961 (java) S 31958 31961 29212 0 -1 1077944320 10553 0 0 0 23 3 0 0 20 0 15 0 71551873 15371935744 21622 33554432000 4194304 4196468 140735318730016 140735318712560 140260045291255 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 23642112 140735318737908 140735318738185 140735318738185 140735318740943 0
/proc/31961/statm: 3752914 21622 2914 1 0 3715374 0
[pid=31961/tid=31963] ppid=31958 vsize=15011656 memory=8389772277269004345 CPUtime=0.19 cores=1,3,5,7
/proc/31961/task/31963/stat : 31963 (java) R 31958 31961 29212 0 -1 4202560 8455 0 0 0 17 2 0 0 20 0 15 0 71551874 15371935744 21622 33554432000 4194304 4196468 140735318730016 140260017117648 140259547211716 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 23642112 140735318737908 140735318738185 140735318738185 140735318740943 0
[pid=31961/tid=31964] ppid=31958 vsize=15011656 memory=288230609019731991 CPUtime=0 cores=1,3,5,7
/proc/31961/task/31964/stat : 31964 (java) S 31958 31961 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 71551875 15371935744 21622 33554432000 4194304 4196468 140735318730016 140260049533968 140260045301461 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23642112 140735318737908 140735318738185 140735318738185 140735318740943 0
[pid=31961/tid=31965] ppid=31958 vsize=15011656 memory=4049775349775517344 CPUtime=0 cores=1,3,5,7
/proc/31961/task/31965/stat : 31965 (java) S 31958 31961 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 71551875 15371935744 21622 33554432000 4194304 4196468 140735318730016 140259876351120 140260045301461 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23642112 140735318737908 140735318738185 140735318738185 140735318740943 0
[pid=31961/tid=31966] ppid=31958 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/31961/task/31966/stat : 31966 (java) S 31958 31961 29212 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 71551875 15371935744 21622 33554432000 4194304 4196468 140735318730016 140259504683792 140260045301461 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23642112 140735318737908 140735318738185 140735318738185 140735318740943 0
[pid=31961/tid=31967] ppid=31958 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/31961/task/31967/stat : 31967 (java) S 31958 31961 29212 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 71551875 15371935744 21622 33554432000 4194304 4196468 140735318730016 140259503631248 140260045301461 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23642112 140735318737908 140735318738185 140735318738185 140735318740943 0
[pid=31961/tid=31968] ppid=31958 vsize=15011656 memory=139638605661824 CPUtime=0 cores=1,3,5,7
/proc/31961/task/31968/stat : 31968 (java) S 31958 31961 29212 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 71551877 15371935744 21622 33554432000 4194304 4196468 140735318730016 140259083393264 140260045302402 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23642112 140735318737908 140735318738185 140735318738185 140735318740943 0
[pid=31961/tid=31969] ppid=31958 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/31961/task/31969/stat : 31969 (java) S 31958 31961 29212 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 71551877 15371935744 21622 33554432000 4194304 4196468 140735318730016 140258599494816 140260045301461 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23642112 140735318737908 140735318738185 140735318738185 140735318740943 0
[pid=31961/tid=31970] ppid=31958 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/31961/task/31970/stat : 31970 (java) S 31958 31961 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 71551878 15371935744 21622 33554432000 4194304 4196468 140735318730016 140258331058928 140260045301461 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23642112 140735318737908 140735318738185 140735318738185 140735318740943 0
[pid=31961/tid=31971] ppid=31958 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/31961/task/31971/stat : 31971 (java) S 31958 31961 29212 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 71551880 15371935744 21622 33554432000 4194304 4196468 140735318730016 140257956550608 140260045309851 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23642112 140735318737908 140735318738185 140735318738185 140735318740943 0
[pid=31961/tid=31972] ppid=31958 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/31961/task/31972/stat : 31972 (java) S 31958 31961 29212 0 -1 1077944384 325 0 0 0 0 0 0 0 20 0 15 0 71551880 15371935744 21622 33554432000 4194304 4196468 140735318730016 140259082341104 140260045302402 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23642112 140735318737908 140735318738185 140735318738185 140735318740943 0
[pid=31961/tid=31973] ppid=31958 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/31961/task/31973/stat : 31973 (java) S 31958 31961 29212 0 -1 1077944384 156 0 0 0 0 0 0 0 20 0 15 0 71551880 15371935744 21622 33554432000 4194304 4196468 140735318730016 140259081288560 140260045302402 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23642112 140735318737908 140735318738185 140735318738185 140735318740943 0
[pid=31961/tid=31974] ppid=31958 vsize=15011656 memory=139638605661824 CPUtime=0.03 cores=1,3,5,7
/proc/31961/task/31974/stat : 31974 (java) S 31958 31961 29212 0 -1 1077944384 279 0 0 0 3 0 0 0 20 0 15 0 71551880 15371935744 21622 33554432000 4194304 4196468 140735318730016 140259080235504 140260045302402 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23642112 140735318737908 140735318738185 140735318738185 140735318740943 0
[pid=31961/tid=31975] ppid=31958 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/31961/task/31975/stat : 31975 (java) S 31958 31961 29212 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 71551880 15371935744 21622 33554432000 4194304 4196468 140735318730016 140257458645856 140260045301461 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23642112 140735318737908 140735318738185 140735318738185 140735318740943 0
[pid=31961/tid=31976] ppid=31958 vsize=15011656 memory=139638605661824 CPUtime=0 cores=1,3,5,7
/proc/31961/task/31976/stat : 31976 (java) S 31958 31961 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 71551881 15371935744 21622 33554432000 4194304 4196468 140735318730016 140259079182896 140260045302402 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23642112 140735318737908 140735318738185 140735318738185 140735318740943 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 15011656 KiB
Current children cumulated memory: 86488 KiB
[startup+0.310486 s]*
/proc/loadavg: 2.01 2.20 3.14 2/221 31976
/proc/meminfo: memFree=20521864/32770624 swapFree=67076476/67108860
[pid=31961] ppid=31958 vsize=15011656 memory=90132 CPUtime=0.39 cores=1,3,5,7
/proc/31961/stat : 31961 (java) S 31958 31961 29212 0 -1 1077944320 11025 0 0 0 35 4 0 0 20 0 15 0 71551873 15371935744 22533 33554432000 4194304 4196468 140735318730016 140735318712560 140260045291255 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 23642112 140735318737908 140735318738185 140735318738185 140735318740943 0
/proc/31961/statm: 3752914 22533 3014 1 0 3715374 0
[pid=31961/tid=31963] ppid=31958 vsize=15011656 memory=8389772277269004345 CPUtime=0.26 cores=1,3,5,7
/proc/31961/task/31963/stat : 31963 (java) D 31958 31961 29212 0 -1 4202560 8766 0 0 0 23 3 0 0 20 0 15 0 71551874 15371935744 22533 33554432000 4194304 4196468 140735318730016 140260017107528 140259548353673 0 4 0 16800975 18446744072099953797 0 0 -1 5 0 0 0 0 0 6293624 6294260 23642112 140735318737908 140735318738185 140735318738185 140735318740943 0
[pid=31961/tid=31964] ppid=31958 vsize=15011656 memory=4294967638 CPUtime=0 cores=1,3,5,7
/proc/31961/task/31964/stat : 31964 (java) S 31958 31961 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 71551875 15371935744 22533 33554432000 4194304 4196468 140735318730016 140260049533968 140260045301461 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23642112 140735318737908 140735318738185 140735318738185 140735318740943 0
[pid=31961/tid=31965] ppid=31958 vsize=15011656 memory=3616866835594528416 CPUtime=0 cores=1,3,5,7
/proc/31961/task/31965/stat : 31965 (java) S 31958 31961 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 71551875 15371935744 22533 33554432000 4194304 4196468 140735318730016 140259876351120 140260045301461 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23642112 140735318737908 140735318738185 140735318738185 140735318740943 0
[pid=31961/tid=31966] ppid=31958 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/31961/task/31966/stat : 31966 (java) S 31958 31961 29212 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 71551875 15371935744 22533 33554432000 4194304 4196468 140735318730016 140259504683792 140260045301461 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23642112 140735318737908 140735318738185 140735318738185 140735318740943 0
[pid=31961/tid=31967] ppid=31958 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/31961/task/31967/stat : 31967 (java) S 31958 31961 29212 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 71551875 15371935744 22533 33554432000 4194304 4196468 140735318730016 140259503631248 140260045301461 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23642112 140735318737908 140735318738185 140735318738185 140735318740943 0
[pid=31961/tid=31968] ppid=31958 vsize=15011656 memory=139638605661824 CPUtime=0 cores=1,3,5,7
/proc/31961/task/31968/stat : 31968 (java) S 31958 31961 29212 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 71551877 15371935744 22533 33554432000 4194304 4196468 140735318730016 140259083393264 140260045302402 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23642112 140735318737908 140735318738185 140735318738185 140735318740943 0
[pid=31961/tid=31969] ppid=31958 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/31961/task/31969/stat : 31969 (java) S 31958 31961 29212 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 71551877 15371935744 22533 33554432000 4194304 4196468 140735318730016 140258599494816 140260045301461 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23642112 140735318737908 140735318738185 140735318738185 140735318740943 0
[pid=31961/tid=31970] ppid=31958 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/31961/task/31970/stat : 31970 (java) S 31958 31961 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 71551878 15371935744 22533 33554432000 4194304 4196468 140735318730016 140258331058928 140260045301461 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23642112 140735318737908 140735318738185 140735318738185 140735318740943 0
[pid=31961/tid=31971] ppid=31958 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/31961/task/31971/stat : 31971 (java) S 31958 31961 29212 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 71551880 15371935744 22533 33554432000 4194304 4196468 140735318730016 140257956550608 140260045309851 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23642112 140735318737908 140735318738185 140735318738185 140735318740943 0
[pid=31961/tid=31972] ppid=31958 vsize=15011656 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/31961/task/31972/stat : 31972 (java) S 31958 31961 29212 0 -1 1077944384 415 0 0 0 2 0 0 0 20 0 15 0 71551880 15371935744 22533 33554432000 4194304 4196468 140735318730016 140259082341104 140260045302402 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23642112 140735318737908 140735318738185 140735318738185 140735318740943 0
[pid=31961/tid=31973] ppid=31958 vsize=15011656 memory=-1 CPUtime=0.01 cores=1,3,5,7
/proc/31961/task/31973/stat : 31973 (java) S 31958 31961 29212 0 -1 1077944384 208 0 0 0 1 0 0 0 20 0 15 0 71551880 15371935744 22533 33554432000 4194304 4196468 140735318730016 140259081288560 140260045302402 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23642112 140735318737908 140735318738185 140735318738185 140735318740943 0
[pid=31961/tid=31974] ppid=31958 vsize=15011656 memory=139638605661824 CPUtime=0.07 cores=1,3,5,7
/proc/31961/task/31974/stat : 31974 (java) S 31958 31961 29212 0 -1 1077944384 298 0 0 0 7 0 0 0 20 0 15 0 71551880 15371935744 22533 33554432000 4194304 4196468 140735318730016 140259080235504 140260045302402 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23642112 140735318737908 140735318738185 140735318738185 140735318740943 0
[pid=31961/tid=31975] ppid=31958 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/31961/task/31975/stat : 31975 (java) S 31958 31961 29212 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 71551880 15371935744 22533 33554432000 4194304 4196468 140735318730016 140257458645856 140260045301461 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23642112 140735318737908 140735318738185 140735318738185 140735318740943 0
[pid=31961/tid=31976] ppid=31958 vsize=15011656 memory=139638605661824 CPUtime=0 cores=1,3,5,7
/proc/31961/task/31976/stat : 31976 (java) S 31958 31961 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 71551881 15371935744 22533 33554432000 4194304 4196468 140735318730016 140259079182896 140260045302402 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23642112 140735318737908 140735318738185 140735318738185 140735318740943 0
Current children cumulated CPU time: 0.39 s
Current children cumulated vsize: 15011656 KiB
Current children cumulated memory: 90132 KiB
[startup+0.702652 s]
/proc/loadavg: 2.01 2.20 3.14 3/221 31976
/proc/meminfo: memFree=20516052/32770624 swapFree=67076476/67108860
[pid=31961] ppid=31958 vsize=15017928 memory=124256 CPUtime=0.82 cores=1,3,5,7
/proc/31961/stat : 31961 (java) S 31958 31961 29212 0 -1 1077944320 17281 0 0 0 76 6 0 0 20 0 15 0 71551873 15378358272 31064 33554432000 4194304 4196468 140735318730016 140735318712560 140260045291255 0 0 0 25189583 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 23642112 140735318737908 140735318738185 140735318738185 140735318740943 0
/proc/31961/statm: 3754482 31064 3106 1 0 3715886 0
[pid=31961/tid=31963] ppid=31958 vsize=15017928 memory=276939961045055 CPUtime=0.59 cores=1,3,5,7
/proc/31961/task/31963/stat : 31963 (java) R 31958 31961 29212 0 -1 4202560 14836 0 0 0 54 5 0 0 20 0 15 0 71551874 15378358272 31064 33554432000 4194304 4196468 140735318730016 140260017120568 140260045313181 0 4 0 25189583 0 0 0 -1 5 0 0 8 0 0 6293624 6294260 23642112 140735318737908 140735318738185 140735318738185 140735318740943 0
[pid=31961/tid=31964] ppid=31958 vsize=15017928 memory=397245 CPUtime=0 cores=1,3,5,7
/proc/31961/task/31964/stat : 31964 (java) S 31958 31961 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 71551875 15378358272 31064 33554432000 4194304 4196468 140735318730016 140260049533968 140260045301461 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23642112 140735318737908 140735318738185 140735318738185 140735318740943 0
[pid=31961/tid=31965] ppid=31958 vsize=15017928 memory=0 CPUtime=0 cores=1,3,5,7
/proc/31961/task/31965/stat : 31965 (java) S 31958 31961 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 71551875 15378358272 31064 33554432000 4194304 4196468 140735318730016 140259876351120 140260045301461 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23642112 140735318737908 140735318738185 140735318738185 140735318740943 0
[pid=31961/tid=31966] ppid=31958 vsize=15017928 memory=0 CPUtime=0 cores=1,3,5,7
/proc/31961/task/31966/stat : 31966 (java) S 31958 31961 29212 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 71551875 15378358272 31064 33554432000 4194304 4196468 140735318730016 140259504683792 140260045301461 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23642112 140735318737908 140735318738185 140735318738185 140735318740943 0
[pid=31961/tid=31967] ppid=31958 vsize=15017928 memory=7809523229951467576 CPUtime=0 cores=1,3,5,7
/proc/31961/task/31967/stat : 31967 (java) S 31958 31961 29212 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 71551875 15378358272 31064 33554432000 4194304 4196468 140735318730016 140259503631248 140260045301461 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23642112 140735318737908 140735318738185 140735318738185 140735318740943 0
[pid=31961/tid=31968] ppid=31958 vsize=15017928 memory=0 CPUtime=0 cores=1,3,5,7
/proc/31961/task/31968/stat : 31968 (java) S 31958 31961 29212 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 71551877 15378358272 31064 33554432000 4194304 4196468 140735318730016 140259083393264 140260045302402 0 0 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23642112 140735318737908 140735318738185 140735318738185 140735318740943 0
[pid=31961/tid=31969] ppid=31958 vsize=15017928 memory=-3472574513799858009 CPUtime=0 cores=1,3,5,7
/proc/31961/task/31969/stat : 31969 (java) S 31958 31961 29212 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 71551877 15378358272 31064 33554432000 4194304 4196468 140735318730016 140258599494816 140260045301461 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23642112 140735318737908 140735318738185 140735318738185 140735318740943 0
[pid=31961/tid=31970] ppid=31958 vsize=15017928 memory=6944656592387989600 CPUtime=0 cores=1,3,5,7
/proc/31961/task/31970/stat : 31970 (java) S 31958 31961 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 71551878 15378358272 31064 33554432000 4194304 4196468 140735318730016 140258331058928 140260045301461 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23642112 140735318737908 140735318738185 140735318738185 140735318740943 0
[pid=31961/tid=31971] ppid=31958 vsize=15017928 memory=6944656575208382560 CPUtime=0 cores=1,3,5,7
/proc/31961/task/31971/stat : 31971 (java) S 31958 31961 29212 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 71551880 15378358272 31064 33554432000 4194304 4196468 140735318730016 140257956550608 140260045309851 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23642112 140735318737908 140735318738185 140735318738185 140735318740943 0
[pid=31961/tid=31972] ppid=31958 vsize=15017928 memory=0 CPUtime=0.05 cores=1,3,5,7
/proc/31961/task/31972/stat : 31972 (java) R 31958 31961 29212 0 -1 4202560 544 0 0 0 5 0 0 0 20 0 15 0 71551880 15378358272 31064 33554432000 4194304 4196468 140735318730016 140259082322120 140260037580544 0 4 0 25189583 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 23642112 140735318737908 140735318738185 140735318738185 140735318740943 0
[pid=31961/tid=31973] ppid=31958 vsize=15017928 memory=0 CPUtime=0.03 cores=1,3,5,7
/proc/31961/task/31973/stat : 31973 (java) S 31958 31961 29212 0 -1 1077944384 220 0 0 0 3 0 0 0 20 0 15 0 71551880 15378358272 31064 33554432000 4194304 4196468 140735318730016 140259081288560 140260045302402 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23642112 140735318737908 140735318738185 140735318738185 140735318740943 0
[pid=31961/tid=31974] ppid=31958 vsize=15017928 memory=0 CPUtime=0.13 cores=1,3,5,7
/proc/31961/task/31974/stat : 31974 (java) R 31958 31961 29212 0 -1 4202560 339 0 0 0 13 0 0 0 20 0 15 0 71551880 15378358272 31064 33554432000 4194304 4196468 140735318730016 140259080235504 140259547074667 0 4 0 25189583 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 23642112 140735318737908 140735318738185 140735318738185 140735318740943 0
[pid=31961/tid=31975] ppid=31958 vsize=15017928 memory=0 CPUtime=0 cores=1,3,5,7
/proc/31961/task/31975/stat : 31975 (java) S 31958 31961 29212 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 71551880 15378358272 31064 33554432000 4194304 4196468 140735318730016 140257458645856 140260045301461 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23642112 140735318737908 140735318738185 140735318738185 140735318740943 0
[pid=31961/tid=31976] ppid=31958 vsize=15017928 memory=0 CPUtime=0 cores=1,3,5,7
/proc/31961/task/31976/stat : 31976 (java) S 31958 31961 29212 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 71551881 15378358272 31064 33554432000 4194304 4196468 140735318730016 140259079182896 140260045302402 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 4 0 0 6293624 6294260 23642112 140735318737908 140735318738185 140735318738185 140735318740943 0
Current children cumulated CPU time: 0.82 s
Current children cumulated vsize: 15017928 KiB
Current children cumulated memory: 124256 KiB
[startup+1.50241 s]
/proc/loadavg: 2.01 2.20 3.14 5/221 31976
/proc/meminfo: memFree=20472388/32770624 swapFree=67076476/67108860
[pid=31961] ppid=31958 vsize=15024148 memory=172160 CPUtime=2.77 cores=1,3,5,7
/proc/31961/stat : 31961 (java) S 31958 31961 29212 0 -1 1077944320 22129 0 0 0 268 9 0 0 20 0 15 0 71551873 15384727552 43040 33554432000 4194304 4196468 140735318730016 140735318712560 140260045291255 0 0 0 25189583 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 23642112 140735318737908 140735318738185 140735318738185 140735318740943 0
/proc/31961/statm: 3756037 43040 3202 1 0 3717422 0
[pid=31961/tid=31963] ppid=31958 vsize=15024148 memory=7234278993258635606 CPUtime=1.38 cores=1,3,5,7
/proc/31961/task/31963/stat : 31963 (java) R 31958 31961 29212 0 -1 4202560 16725 0 0 0 132 6 0 0 20 0 15 0 71551874 15384727552 43040 33554432000 4194304 4196468 140735318730016 140260017122256 140259553433351 0 4 0 25189583 0 0 0 -1 5 0 0 8 0 0 6293624 6294260 23642112 140735318737908 140735318738185 140735318738185 140735318740943 0
[pid=31961/tid=31964] ppid=31958 vsize=15024148 memory=7089319380252647766 CPUtime=0 cores=1,3,5,7
/proc/31961/task/31964/stat : 31964 (java) S 31958 31961 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 71551875 15384727552 43040 33554432000 4194304 4196468 140735318730016 140260049533968 140260045301461 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23642112 140735318737908 140735318738185 140735318738185 140735318740943 0
[pid=31961/tid=31965] ppid=31958 vsize=15024148 memory=6008734724232277861 CPUtime=0 cores=1,3,5,7
/proc/31961/task/31965/stat : 31965 (java) S 31958 31961 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 71551875 15384727552 43040 33554432000 4194304 4196468 140735318730016 140259876351120 140260045301461 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23642112 140735318737908 140735318738185 140735318738185 140735318740943 0
[pid=31961/tid=31966] ppid=31958 vsize=15024148 memory=7596839645579923559 CPUtime=0 cores=1,3,5,7
/proc/31961/task/31966/stat : 31966 (java) S 31958 31961 29212 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 71551875 15384727552 43040 33554432000 4194304 4196468 140735318730016 140259504683792 140260045301461 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23642112 140735318737908 140735318738185 140735318738185 140735318740943 0
[pid=31961/tid=31967] ppid=31958 vsize=15024148 memory=6935650355288821840 CPUtime=0 cores=1,3,5,7
/proc/31961/task/31967/stat : 31967 (java) S 31958 31961 29212 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 71551875 15384727552 43040 33554432000 4194304 4196468 140735318730016 140259503631248 140260045301461 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23642112 140735318737908 140735318738185 140735318738185 140735318740943 0
[pid=31961/tid=31968] ppid=31958 vsize=15024148 memory=7882547720599720296 CPUtime=0 cores=1,3,5,7
/proc/31961/task/31968/stat : 31968 (java) S 31958 31961 29212 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 71551877 15384727552 43040 33554432000 4194304 4196468 140735318730016 140259083393264 140260045302402 0 0 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23642112 140735318737908 140735318738185 140735318738185 140735318740943 0
################
# More data... #
################
/proc/meminfo: memFree=17559376/32770624 swapFree=67076512/67108860
[pid=31961] ppid=31958 vsize=15683912 memory=3109868 CPUtime=19.5 cores=1,3,5,7
/proc/31961/stat : 31961 (java) S 31958 31961 29212 0 -1 1077944320 36611 0 0 0 1825 125 0 0 20 0 19 0 71551873 16060325888 777467 33554432000 4194304 4196468 140735318730016 140735318712560 140260045291255 0 0 0 25189583 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 23642112 140735318737908 140735318738185 140735318738185 140735318740943 0
/proc/31961/statm: 3920978 777467 3231 1 0 3881834 0
[pid=31977] ppid=31961 vsize=123048 memory=104860 CPUtime=2433.4 cores=1,3,5,7
/proc/31977/stat : 31977 (minisat_release) R 31961 31961 29212 0 -1 4202496 203352 0 0 0 243322 18 0 0 20 0 1 0 71552770 126001152 26215 33554432000 4194304 4308513 140726832042608 140726832039608 4275941 0 4 0 8396802 0 0 0 17 3 0 0 0 0 0 6409496 6410680 18612224 140726832046767 140726832047278 140726832047278 140726832050117 0
/proc/31977/statm: 30762 26215 353 28 0 27002 0
[pid=31961/tid=31963] ppid=31958 vsize=15683912 memory=104860 CPUtime=8.75 cores=1,3,5,7
/proc/31961/task/31963/stat : 31963 (java) S 31958 31961 29212 0 -1 1077944384 19238 0 0 0 828 47 0 0 20 0 19 0 71551874 16060325888 777467 33554432000 4194304 4196468 140735318730016 140260017130496 140260045301461 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 8 0 0 6293624 6294260 23642112 140735318737908 140735318738185 140735318738185 140735318740943 0
[pid=31961/tid=31964] ppid=31958 vsize=15683912 memory=104860 CPUtime=0.09 cores=1,3,5,7
/proc/31961/task/31964/stat : 31964 (java) S 31958 31961 29212 0 -1 1077944384 36 0 0 0 7 2 0 0 20 0 19 0 71551875 16060325888 777467 33554432000 4194304 4196468 140735318730016 140260049533968 140260045301461 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23642112 140735318737908 140735318738185 140735318738185 140735318740943 0
[pid=31961/tid=31965] ppid=31958 vsize=15683912 memory=104860 CPUtime=0.11 cores=1,3,5,7
/proc/31961/task/31965/stat : 31965 (java) S 31958 31961 29212 0 -1 1077944384 42 0 0 0 9 2 0 0 20 0 19 0 71551875 16060325888 777467 33554432000 4194304 4196468 140735318730016 140259876351120 140260045301461 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23642112 140735318737908 140735318738185 140735318738185 140735318740943 0
[pid=31961/tid=31966] ppid=31958 vsize=15683912 memory=3109868 CPUtime=0.11 cores=1,3,5,7
/proc/31961/task/31966/stat : 31966 (java) S 31958 31961 29212 0 -1 1077944384 70 0 0 0 9 2 0 0 20 0 19 0 71551875 16060325888 777467 33554432000 4194304 4196468 140735318730016 140259504683792 140260045301461 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23642112 140735318737908 140735318738185 140735318738185 140735318740943 0
[pid=31961/tid=31967] ppid=31958 vsize=15683912 memory=3109868 CPUtime=0.11 cores=1,3,5,7
/proc/31961/task/31967/stat : 31967 (java) S 31958 31961 29212 0 -1 1077944384 61 0 0 0 9 2 0 0 20 0 19 0 71551875 16060325888 777467 33554432000 4194304 4196468 140735318730016 140259503631248 140260045301461 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23642112 140735318737908 140735318738185 140735318738185 140735318740943 0
[pid=31961/tid=31968] ppid=31958 vsize=15683912 memory=3109868 CPUtime=0.06 cores=1,3,5,7
/proc/31961/task/31968/stat : 31968 (java) S 31958 31961 29212 0 -1 1077944384 23 0 0 0 3 3 0 0 20 0 19 0 71551877 16060325888 777467 33554432000 4194304 4196468 140735318730016 140259083393264 140260045302402 0 0 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23642112 140735318737908 140735318738185 140735318738185 140735318740943 0
[pid=31961/tid=31969] ppid=31958 vsize=15683912 memory=3109868 CPUtime=0 cores=1,3,5,7
/proc/31961/task/31969/stat : 31969 (java) S 31958 31961 29212 0 -1 1077944384 14 0 0 0 0 0 0 0 20 0 19 0 71551877 16060325888 777467 33554432000 4194304 4196468 140735318730016 140258599494816 140260045301461 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23642112 140735318737908 140735318738185 140735318738185 140735318740943 0
[pid=31961/tid=31970] ppid=31958 vsize=15683912 memory=3109868 CPUtime=0 cores=1,3,5,7
/proc/31961/task/31970/stat : 31970 (java) S 31958 31961 29212 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 71551878 16060325888 777467 33554432000 4194304 4196468 140735318730016 140258331058928 140260045301461 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23642112 140735318737908 140735318738185 140735318738185 140735318740943 0
[pid=31961/tid=31971] ppid=31958 vsize=15683912 memory=104860 CPUtime=0 cores=1,3,5,7
/proc/31961/task/31971/stat : 31971 (java) S 31958 31961 29212 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 71551880 16060325888 777467 33554432000 4194304 4196468 140735318730016 140257956550608 140260045309851 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23642112 140735318737908 140735318738185 140735318738185 140735318740943 0
[pid=31961/tid=31972] ppid=31958 vsize=15683912 memory=3109868 CPUtime=3.78 cores=1,3,5,7
/proc/31961/task/31972/stat : 31972 (java) S 31958 31961 29212 0 -1 1077944384 5847 0 0 0 376 2 0 0 20 0 19 0 71551880 16060325888 777467 33554432000 4194304 4196468 140735318730016 140259082341104 140260045302402 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23642112 140735318737908 140735318738185 140735318738185 140735318740943 0
[pid=31961/tid=31973] ppid=31958 vsize=15683912 memory=3109868 CPUtime=3.76 cores=1,3,5,7
/proc/31961/task/31973/stat : 31973 (java) S 31958 31961 29212 0 -1 1077944384 3991 0 0 0 375 1 0 0 20 0 19 0 71551880 16060325888 777467 33554432000 4194304 4196468 140735318730016 140259081288560 140260045302402 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23642112 140735318737908 140735318738185 140735318738185 140735318740943 0
[pid=31961/tid=31974] ppid=31958 vsize=15683912 memory=3109868 CPUtime=1.33 cores=1,3,5,7
/proc/31961/task/31974/stat : 31974 (java) S 31958 31961 29212 0 -1 1077944384 5734 0 0 0 131 2 0 0 20 0 19 0 71551880 16060325888 777467 33554432000 4194304 4196468 140735318730016 140259080235504 140260045302402 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23642112 140735318737908 140735318738185 140735318738185 140735318740943 0
[pid=31961/tid=31975] ppid=31958 vsize=15683912 memory=3109868 CPUtime=0 cores=1,3,5,7
/proc/31961/task/31975/stat : 31975 (java) S 31958 31961 29212 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 71551880 16060325888 777467 33554432000 4194304 4196468 140735318730016 140257458645856 140260045301461 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23642112 140735318737908 140735318738185 140735318738185 140735318740943 0
[pid=31961/tid=31976] ppid=31958 vsize=15683912 memory=3109868 CPUtime=1.31 cores=1,3,5,7
/proc/31961/task/31976/stat : 31976 (java) S 31958 31961 29212 0 -1 1077944384 164 0 0 0 57 74 0 0 20 0 19 0 71551881 16060325888 777467 33554432000 4194304 4196468 140735318730016 140259079182896 140260045302402 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 4 0 0 6293624 6294260 23642112 140735318737908 140735318738185 140735318738185 140735318740943 0
[pid=31961/tid=31978] ppid=31958 vsize=15683912 memory=279276894215168 CPUtime=0 cores=1,3,5,7
/proc/31961/task/31978/stat : 31978 (java) S 31958 31961 29212 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 71552770 16060325888 777467 33554432000 4194304 4196468 140735318730016 140259069609280 140260045315865 0 4 0 25189583 18446744071579417331 0 0 -1 5 0 0 0 0 0 6293624 6294260 23642112 140735318737908 140735318738185 140735318738185 140735318740943 0
[pid=31961/tid=31980] ppid=31958 vsize=15683912 memory=104860 CPUtime=0 cores=1,3,5,7
/proc/31961/task/31980/stat : 31980 (java) S 31958 31961 29212 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 71552770 16060325888 777467 33554432000 4194304 4196468 140735318730016 140256787545392 140260045313181 0 4 0 25189583 18446744071580971376 0 0 -1 3 0 0 0 0 0 6293624 6294260 23642112 140735318737908 140735318738185 140735318738185 140735318740943 0
[pid=31961/tid=31981] ppid=31958 vsize=15683912 memory=3109868 CPUtime=0 cores=1,3,5,7
/proc/31961/task/31981/stat : 31981 (java) S 31958 31961 29212 0 -1 4202560 23 0 0 0 0 0 0 0 20 0 19 0 71552770 16060325888 777467 33554432000 4194304 4196468 140735318730016 140256653324208 140260045313181 0 4 0 25189583 18446744071580971376 0 0 -1 3 0 0 0 0 0 6293624 6294260 23642112 140735318737908 140735318738185 140735318738185 140735318740943 0
[pid=31961/tid=31982] ppid=31958 vsize=15683912 memory=3109868 CPUtime=0 cores=1,3,5,7
/proc/31961/task/31982/stat : 31982 (java) S 31958 31961 29212 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 19 0 71552772 16060325888 777467 33554432000 4194304 4196468 140735318730016 140257190207264 140260045301461 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23642112 140735318737908 140735318738185 140735318738185 140735318740943 0
Current children cumulated CPU time: 2452.9 s
Current children cumulated vsize: 15806960 KiB
Current children cumulated memory: 3214728 KiB
[startup+2502.3 s]
/proc/loadavg: 2.01 2.02 2.11 3/226 32321
/proc/meminfo: memFree=17558936/32770624 swapFree=67076512/67108860
[pid=31961] ppid=31958 vsize=15683912 memory=3109868 CPUtime=19.53 cores=1,3,5,7
/proc/31961/stat : 31961 (java) S 31958 31961 29212 0 -1 1077944320 36615 0 0 0 1826 127 0 0 20 0 19 0 71551873 16060325888 777467 33554432000 4194304 4196468 140735318730016 140735318712560 140260045291255 0 0 0 25189583 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 23642112 140735318737908 140735318738185 140735318738185 140735318740943 0
/proc/31961/statm: 3920978 777467 3231 1 0 3881834 0
[pid=31977] ppid=31961 vsize=123048 memory=104860 CPUtime=2493.4 cores=1,3,5,7
/proc/31977/stat : 31977 (minisat_release) R 31961 31961 29212 0 -1 4202496 208292 0 0 0 249322 18 0 0 20 0 1 0 71552770 126001152 26215 33554432000 4194304 4308513 140726832042608 140726832039608 4275934 0 4 0 8396802 0 0 0 17 3 0 0 0 0 0 6409496 6410680 18612224 140726832046767 140726832047278 140726832047278 140726832050117 0
/proc/31977/statm: 30762 26215 353 28 0 27002 0
[pid=31961/tid=31963] ppid=31958 vsize=15683912 memory=3109868 CPUtime=8.75 cores=1,3,5,7
/proc/31961/task/31963/stat : 31963 (java) S 31958 31961 29212 0 -1 1077944384 19238 0 0 0 828 47 0 0 20 0 19 0 71551874 16060325888 777467 33554432000 4194304 4196468 140735318730016 140260017130496 140260045301461 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 8 0 0 6293624 6294260 23642112 140735318737908 140735318738185 140735318738185 140735318740943 0
[pid=31961/tid=31964] ppid=31958 vsize=15683912 memory=3109868 CPUtime=0.09 cores=1,3,5,7
/proc/31961/task/31964/stat : 31964 (java) S 31958 31961 29212 0 -1 1077944384 36 0 0 0 7 2 0 0 20 0 19 0 71551875 16060325888 777467 33554432000 4194304 4196468 140735318730016 140260049533968 140260045301461 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23642112 140735318737908 140735318738185 140735318738185 140735318740943 0
[pid=31961/tid=31965] ppid=31958 vsize=15683912 memory=3109868 CPUtime=0.11 cores=1,3,5,7
/proc/31961/task/31965/stat : 31965 (java) S 31958 31961 29212 0 -1 1077944384 42 0 0 0 9 2 0 0 20 0 19 0 71551875 16060325888 777467 33554432000 4194304 4196468 140735318730016 140259876351120 140260045301461 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23642112 140735318737908 140735318738185 140735318738185 140735318740943 0
[pid=31961/tid=31966] ppid=31958 vsize=15683912 memory=3109868 CPUtime=0.11 cores=1,3,5,7
/proc/31961/task/31966/stat : 31966 (java) S 31958 31961 29212 0 -1 1077944384 70 0 0 0 9 2 0 0 20 0 19 0 71551875 16060325888 777467 33554432000 4194304 4196468 140735318730016 140259504683792 140260045301461 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23642112 140735318737908 140735318738185 140735318738185 140735318740943 0
[pid=31961/tid=31967] ppid=31958 vsize=15683912 memory=3109868 CPUtime=0.11 cores=1,3,5,7
/proc/31961/task/31967/stat : 31967 (java) S 31958 31961 29212 0 -1 1077944384 61 0 0 0 9 2 0 0 20 0 19 0 71551875 16060325888 777467 33554432000 4194304 4196468 140735318730016 140259503631248 140260045301461 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23642112 140735318737908 140735318738185 140735318738185 140735318740943 0
[pid=31961/tid=31968] ppid=31958 vsize=15683912 memory=3109868 CPUtime=0.06 cores=1,3,5,7
/proc/31961/task/31968/stat : 31968 (java) S 31958 31961 29212 0 -1 1077944384 23 0 0 0 3 3 0 0 20 0 19 0 71551877 16060325888 777467 33554432000 4194304 4196468 140735318730016 140259083393264 140260045302402 0 0 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23642112 140735318737908 140735318738185 140735318738185 140735318740943 0
[pid=31961/tid=31969] ppid=31958 vsize=15683912 memory=3109868 CPUtime=0 cores=1,3,5,7
/proc/31961/task/31969/stat : 31969 (java) S 31958 31961 29212 0 -1 1077944384 14 0 0 0 0 0 0 0 20 0 19 0 71551877 16060325888 777467 33554432000 4194304 4196468 140735318730016 140258599494816 140260045301461 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23642112 140735318737908 140735318738185 140735318738185 140735318740943 0
[pid=31961/tid=31970] ppid=31958 vsize=15683912 memory=3109868 CPUtime=0 cores=1,3,5,7
/proc/31961/task/31970/stat : 31970 (java) S 31958 31961 29212 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 71551878 16060325888 777467 33554432000 4194304 4196468 140735318730016 140258331058928 140260045301461 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23642112 140735318737908 140735318738185 140735318738185 140735318740943 0
[pid=31961/tid=31971] ppid=31958 vsize=15683912 memory=3544 CPUtime=0 cores=1,3,5,7
/proc/31961/task/31971/stat : 31971 (java) S 31958 31961 29212 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 71551880 16060325888 777467 33554432000 4194304 4196468 140735318730016 140257956550608 140260045309851 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23642112 140735318737908 140735318738185 140735318738185 140735318740943 0
[pid=31961/tid=31972] ppid=31958 vsize=15683912 memory=3109868 CPUtime=3.78 cores=1,3,5,7
/proc/31961/task/31972/stat : 31972 (java) S 31958 31961 29212 0 -1 1077944384 5847 0 0 0 376 2 0 0 20 0 19 0 71551880 16060325888 777467 33554432000 4194304 4196468 140735318730016 140259082341104 140260045302402 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23642112 140735318737908 140735318738185 140735318738185 140735318740943 0
[pid=31961/tid=31973] ppid=31958 vsize=15683912 memory=104860 CPUtime=3.76 cores=1,3,5,7
/proc/31961/task/31973/stat : 31973 (java) S 31958 31961 29212 0 -1 1077944384 3991 0 0 0 375 1 0 0 20 0 19 0 71551880 16060325888 777467 33554432000 4194304 4196468 140735318730016 140259081288560 140260045302402 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23642112 140735318737908 140735318738185 140735318738185 140735318740943 0
[pid=31961/tid=31974] ppid=31958 vsize=15683912 memory=3109868 CPUtime=1.33 cores=1,3,5,7
/proc/31961/task/31974/stat : 31974 (java) S 31958 31961 29212 0 -1 1077944384 5734 0 0 0 131 2 0 0 20 0 19 0 71551880 16060325888 777467 33554432000 4194304 4196468 140735318730016 140259080235504 140260045302402 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23642112 140735318737908 140735318738185 140735318738185 140735318740943 0
[pid=31961/tid=31975] ppid=31958 vsize=15683912 memory=3109868 CPUtime=0 cores=1,3,5,7
/proc/31961/task/31975/stat : 31975 (java) S 31958 31961 29212 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 71551880 16060325888 777467 33554432000 4194304 4196468 140735318730016 140257458645856 140260045301461 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23642112 140735318737908 140735318738185 140735318738185 140735318740943 0
[pid=31961/tid=31976] ppid=31958 vsize=15683912 memory=3109868 CPUtime=1.35 cores=1,3,5,7
/proc/31961/task/31976/stat : 31976 (java) S 31958 31961 29212 0 -1 1077944384 168 0 0 0 58 77 0 0 20 0 19 0 71551881 16060325888 777467 33554432000 4194304 4196468 140735318730016 140259079182896 140260045302402 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 4 0 0 6293624 6294260 23642112 140735318737908 140735318738185 140735318738185 140735318740943 0
[pid=31961/tid=31978] ppid=31958 vsize=15683912 memory=279276895243808 CPUtime=0 cores=1,3,5,7
/proc/31961/task/31978/stat : 31978 (java) S 31958 31961 29212 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 71552770 16060325888 777467 33554432000 4194304 4196468 140735318730016 140259069609280 140260045315865 0 4 0 25189583 18446744071579417331 0 0 -1 5 0 0 0 0 0 6293624 6294260 23642112 140735318737908 140735318738185 140735318738185 140735318740943 0
[pid=31961/tid=31980] ppid=31958 vsize=15683912 memory=3109868 CPUtime=0 cores=1,3,5,7
/proc/31961/task/31980/stat : 31980 (java) S 31958 31961 29212 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 71552770 16060325888 777467 33554432000 4194304 4196468 140735318730016 140256787545392 140260045313181 0 4 0 25189583 18446744071580971376 0 0 -1 3 0 0 0 0 0 6293624 6294260 23642112 140735318737908 140735318738185 140735318738185 140735318740943 0
[pid=31961/tid=31981] ppid=31958 vsize=15683912 memory=18604 CPUtime=0 cores=1,3,5,7
/proc/31961/task/31981/stat : 31981 (java) S 31958 31961 29212 0 -1 4202560 23 0 0 0 0 0 0 0 20 0 19 0 71552770 16060325888 777467 33554432000 4194304 4196468 140735318730016 140256653324208 140260045313181 0 4 0 25189583 18446744071580971376 0 0 -1 3 0 0 0 0 0 6293624 6294260 23642112 140735318737908 140735318738185 140735318738185 140735318740943 0
[pid=31961/tid=31982] ppid=31958 vsize=15683912 memory=776 CPUtime=0 cores=1,3,5,7
/proc/31961/task/31982/stat : 31982 (java) S 31958 31961 29212 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 19 0 71552772 16060325888 777467 33554432000 4194304 4196468 140735318730016 140257190207264 140260045301461 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23642112 140735318737908 140735318738185 140735318738185 140735318740943 0
Current children cumulated CPU time: 2512.93 s
Current children cumulated vsize: 15806960 KiB
Current children cumulated memory: 3214728 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2509.4 s]
/proc/loadavg: 2.01 2.02 2.11 3/226 32321
/proc/meminfo: memFree=17558936/32770624 swapFree=67076512/67108860
[pid=31961] ppid=31958 vsize=15683912 memory=3109868 CPUtime=19.53 cores=1,3,5,7
/proc/31961/stat : 31961 (java) S 31958 31961 29212 0 -1 1077944320 36615 0 0 0 1826 127 0 0 20 0 19 0 71551873 16060325888 777467 33554432000 4194304 4196468 140735318730016 140735318712560 140260045291255 0 0 0 25189583 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 23642112 140735318737908 140735318738185 140735318738185 140735318740943 0
/proc/31961/statm: 3920978 777467 3231 1 0 3881834 0
[pid=31977] ppid=31961 vsize=123048 memory=104860 CPUtime=2500.5 cores=1,3,5,7
/proc/31977/stat : 31977 (minisat_release) R 31961 31961 29212 0 -1 4202496 208301 0 0 0 250032 18 0 0 20 0 1 0 71552770 126001152 26215 33554432000 4194304 4308513 140726832042608 140726832038848 4275941 0 4 0 8396802 0 0 0 17 3 0 0 0 0 0 6409496 6410680 18612224 140726832046767 140726832047278 140726832047278 140726832050117 0
/proc/31977/statm: 30762 26215 353 28 0 27002 0
[pid=31961/tid=31963] ppid=31958 vsize=15683912 memory=104860 CPUtime=8.75 cores=1,3,5,7
/proc/31961/task/31963/stat : 31963 (java) S 31958 31961 29212 0 -1 1077944384 19238 0 0 0 828 47 0 0 20 0 19 0 71551874 16060325888 777467 33554432000 4194304 4196468 140735318730016 140260017130496 140260045301461 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 8 0 0 6293624 6294260 23642112 140735318737908 140735318738185 140735318738185 140735318740943 0
[pid=31961/tid=31964] ppid=31958 vsize=15683912 memory=10020 CPUtime=0.09 cores=1,3,5,7
/proc/31961/task/31964/stat : 31964 (java) S 31958 31961 29212 0 -1 1077944384 36 0 0 0 7 2 0 0 20 0 19 0 71551875 16060325888 777467 33554432000 4194304 4196468 140735318730016 140260049533968 140260045301461 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23642112 140735318737908 140735318738185 140735318738185 140735318740943 0
[pid=31961/tid=31965] ppid=31958 vsize=15683912 memory=15316 CPUtime=0.11 cores=1,3,5,7
/proc/31961/task/31965/stat : 31965 (java) S 31958 31961 29212 0 -1 1077944384 42 0 0 0 9 2 0 0 20 0 19 0 71551875 16060325888 777467 33554432000 4194304 4196468 140735318730016 140259876351120 140260045301461 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23642112 140735318737908 140735318738185 140735318738185 140735318740943 0
[pid=31961/tid=31966] ppid=31958 vsize=15683912 memory=3604 CPUtime=0.11 cores=1,3,5,7
/proc/31961/task/31966/stat : 31966 (java) S 31958 31961 29212 0 -1 1077944384 70 0 0 0 9 2 0 0 20 0 19 0 71551875 16060325888 777467 33554432000 4194304 4196468 140735318730016 140259504683792 140260045301461 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23642112 140735318737908 140735318738185 140735318738185 140735318740943 0
[pid=31961/tid=31967] ppid=31958 vsize=15683912 memory=10020 CPUtime=0.11 cores=1,3,5,7
/proc/31961/task/31967/stat : 31967 (java) S 31958 31961 29212 0 -1 1077944384 61 0 0 0 9 2 0 0 20 0 19 0 71551875 16060325888 777467 33554432000 4194304 4196468 140735318730016 140259503631248 140260045301461 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23642112 140735318737908 140735318738185 140735318738185 140735318740943 0
[pid=31961/tid=31968] ppid=31958 vsize=15683912 memory=15104 CPUtime=0.06 cores=1,3,5,7
/proc/31961/task/31968/stat : 31968 (java) S 31958 31961 29212 0 -1 1077944384 23 0 0 0 3 3 0 0 20 0 19 0 71551877 16060325888 777467 33554432000 4194304 4196468 140735318730016 140259083393264 140260045302402 0 0 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23642112 140735318737908 140735318738185 140735318738185 140735318740943 0
[pid=31961/tid=31969] ppid=31958 vsize=15683912 memory=2592 CPUtime=0 cores=1,3,5,7
/proc/31961/task/31969/stat : 31969 (java) S 31958 31961 29212 0 -1 1077944384 14 0 0 0 0 0 0 0 20 0 19 0 71551877 16060325888 777467 33554432000 4194304 4196468 140735318730016 140258599494816 140260045301461 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23642112 140735318737908 140735318738185 140735318738185 140735318740943 0
[pid=31961/tid=31970] ppid=31958 vsize=15683912 memory=4096 CPUtime=0 cores=1,3,5,7
/proc/31961/task/31970/stat : 31970 (java) S 31958 31961 29212 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 71551878 16060325888 777467 33554432000 4194304 4196468 140735318730016 140258331058928 140260045301461 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23642112 140735318737908 140735318738185 140735318738185 140735318740943 0
[pid=31961/tid=31971] ppid=31958 vsize=15683912 memory=1412 CPUtime=0 cores=1,3,5,7
/proc/31961/task/31971/stat : 31971 (java) S 31958 31961 29212 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 71551880 16060325888 777467 33554432000 4194304 4196468 140735318730016 140257956550608 140260045309851 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23642112 140735318737908 140735318738185 140735318738185 140735318740943 0
[pid=31961/tid=31972] ppid=31958 vsize=15683912 memory=3288 CPUtime=3.78 cores=1,3,5,7
/proc/31961/task/31972/stat : 31972 (java) S 31958 31961 29212 0 -1 1077944384 5847 0 0 0 376 2 0 0 20 0 19 0 71551880 16060325888 777467 33554432000 4194304 4196468 140735318730016 140259082341104 140260045302402 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23642112 140735318737908 140735318738185 140735318738185 140735318740943 0
[pid=31961/tid=31973] ppid=31958 vsize=15683912 memory=3109868 CPUtime=3.76 cores=1,3,5,7
/proc/31961/task/31973/stat : 31973 (java) S 31958 31961 29212 0 -1 1077944384 3991 0 0 0 375 1 0 0 20 0 19 0 71551880 16060325888 777467 33554432000 4194304 4196468 140735318730016 140259081288560 140260045302402 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23642112 140735318737908 140735318738185 140735318738185 140735318740943 0
[pid=31961/tid=31974] ppid=31958 vsize=15683912 memory=104860 CPUtime=1.33 cores=1,3,5,7
/proc/31961/task/31974/stat : 31974 (java) S 31958 31961 29212 0 -1 1077944384 5734 0 0 0 131 2 0 0 20 0 19 0 71551880 16060325888 777467 33554432000 4194304 4196468 140735318730016 140259080235504 140260045302402 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23642112 140735318737908 140735318738185 140735318738185 140735318740943 0
[pid=31961/tid=31975] ppid=31958 vsize=15683912 memory=1412 CPUtime=0 cores=1,3,5,7
/proc/31961/task/31975/stat : 31975 (java) S 31958 31961 29212 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 71551880 16060325888 777467 33554432000 4194304 4196468 140735318730016 140257458645856 140260045301461 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23642112 140735318737908 140735318738185 140735318738185 140735318740943 0
[pid=31961/tid=31976] ppid=31958 vsize=15683912 memory=3524 CPUtime=1.35 cores=1,3,5,7
/proc/31961/task/31976/stat : 31976 (java) S 31958 31961 29212 0 -1 1077944384 168 0 0 0 58 77 0 0 20 0 19 0 71551881 16060325888 777467 33554432000 4194304 4196468 140735318730016 140259079182896 140260045302402 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 4 0 0 6293624 6294260 23642112 140735318737908 140735318738185 140735318738185 140735318740943 0
[pid=31961/tid=31978] ppid=31958 vsize=15683912 memory=3109868 CPUtime=0 cores=1,3,5,7
/proc/31961/task/31978/stat : 31978 (java) S 31958 31961 29212 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 71552770 16060325888 777467 33554432000 4194304 4196468 140735318730016 140259069609280 140260045315865 0 4 0 25189583 18446744071579417331 0 0 -1 5 0 0 0 0 0 6293624 6294260 23642112 140735318737908 140735318738185 140735318738185 140735318740943 0
[pid=31961/tid=31980] ppid=31958 vsize=15683912 memory=104860 CPUtime=0 cores=1,3,5,7
/proc/31961/task/31980/stat : 31980 (java) S 31958 31961 29212 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 71552770 16060325888 777467 33554432000 4194304 4196468 140735318730016 140256787545392 140260045313181 0 4 0 25189583 18446744071580971376 0 0 -1 3 0 0 0 0 0 6293624 6294260 23642112 140735318737908 140735318738185 140735318738185 140735318740943 0
[pid=31961/tid=31981] ppid=31958 vsize=15683912 memory=844 CPUtime=0 cores=1,3,5,7
/proc/31961/task/31981/stat : 31981 (java) S 31958 31961 29212 0 -1 4202560 23 0 0 0 0 0 0 0 20 0 19 0 71552770 16060325888 777467 33554432000 4194304 4196468 140735318730016 140256653324208 140260045313181 0 4 0 25189583 18446744071580971376 0 0 -1 3 0 0 0 0 0 6293624 6294260 23642112 140735318737908 140735318738185 140735318738185 140735318740943 0
[pid=31961/tid=31982] ppid=31958 vsize=15683912 memory=1460 CPUtime=0 cores=1,3,5,7
/proc/31961/task/31982/stat : 31982 (java) S 31958 31961 29212 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 19 0 71552772 16060325888 777467 33554432000 4194304 4196468 140735318730016 140257190207264 140260045301461 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23642112 140735318737908 140735318738185 140735318738185 140735318740943 0
Current children cumulated CPU time: 2520.03 s
Current children cumulated vsize: 15806960 KiB
Current children cumulated memory: 3214728 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2509.43 s]
# the end of solver process 31961 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2518.6 s, system=1.48819 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 1
Real time (s): 2509.43
CPU time (s): 2520.09
CPU user time (s): 2518.6
CPU system time (s): 1.48819
CPU usage (%): 100.425
Max. virtual memory (cumulated for all children) (KiB): 15806960
Max. memory (cumulated for all children) (KiB): 3214728
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2518.6
system time used= 1.48819
maximum resident set size= 3114188
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 244995
page faults= 0
swaps= 0
block input operations= 0
block output operations= 8776
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 59695
involuntary context switches= 824
# summary of solver processes directly reported to runsolver:
# pid: 31961
# total CPU time (s): 2520.09
# total CPU user time (s): 2518.6
# total CPU system time (s): 1.48819
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 16.6647 second user time and 26.706 second system time
The end