0.65/0.52
0.65/0.52 scop order+minisat_release (2018-06-13)
0.65/0.52
0.65/0.55 c BEGIN-Prog: Thu Jul 26 03:26:57 CEST 2018
0.65/0.55 c PID: 3721
0.65/0.55 c IP: 172.20.3.150
0.65/0.55 c HOST: node150.alineos.net
0.65/0.55 c (0,0) Parsing Begin
1.18/0.87 c (0,0) Parsing End
1.18/0.87 c (0,0) CSP: 61 int (0 aux), 0 bool (0 aux), 34 ctr, max domain size 61
1.18/0.87 c (0,0) Heap : 112 MiB used (max 10795 MiB), NonHeap : 18 MiB used (max 0 MiB)
1.18/0.88 c (0,0) Constraint Name Generate Begin
1.18/0.88 c (0,0) Ctr:HOME/instance-4295544-1532568417.xml,AllDifferent:IntVar:Lt:Num:WeightedSum
1.18/0.88 c (0,0) Constraint Name Generate End
1.18/0.88 c (0,0) Heap : 112 MiB used (max 10795 MiB), NonHeap : 18 MiB used (max 0 MiB)
1.18/0.88 c (0,0) CSP to CSPinCNF Begin
2.40/1.32 c (0,0) translated 4 (10%) constraints
2.40/1.33 c (0,0) translated 7 (20%) constraints
2.40/1.33 c (0,0) translated 11 (30%) constraints
2.40/1.33 c (0,0) translated 14 (40%) constraints
2.40/1.34 c (0,0) translated 17 (50%) constraints
2.40/1.34 c (0,0) translated 21 (60%) constraints
2.40/1.35 c (0,0) translated 24 (70%) constraints
2.40/1.35 c (0,0) translated 28 (80%) constraints
2.40/1.35 c (0,0) translated 31 (90%) constraints
2.40/1.35 c (0,0) translated 34 (100%) constraints
2.69/1.42 c (0,0) STATISTICS1:HOME/instance-4295544-1532568417.xml,AllDifferent:IntVar:Lt:Num:WeightedSum,61,1865,185473347699600,61,61,9,185473347699600:2;182382125237940:4;3142742836021:12;51520374361:12;844596301:12;13395600:4;13172340:8;61:1485;60:229;59:122,61:3575;60:268;59:134,61:2;2:1830;1:33,9:6;8:12;7:12;6:12;5:12;2:1836;1:122,
2.69/1.42 c (0,0) ===========================================
2.69/1.42 c (0,0) Order
2.69/1.42 c (0,0) ===========================================
2.69/1.45 c (0,0) translated 187 (10%) constraints
2.69/1.48 c (0,0) translated 373 (20%) constraints
2.69/1.49 c (0,0) translated 560 (30%) constraints
3.04/1.51 c (0,0) translated 746 (40%) constraints
3.04/1.52 c (0,0) translated 933 (50%) constraints
3.04/1.53 c (1,0) translated 1119 (60%) constraints
3.04/1.55 c (1,1) translated 1306 (70%) constraints
3.04/1.56 c (1,1) translated 1492 (80%) constraints
3.04/1.57 c (1,1) translated 1679 (90%) constraints
3.37/1.65 c (1,1) translated 1865 (100%) constraints
3.37/1.65 c (1,1) CSP to CSPinCNF End
3.37/1.65 c (1,1) CSP: 163 int (102 aux), 0 bool (0 aux), 2096 ctr, max domain size 181
3.37/1.65 c (1,1) Heap : 225 MiB used (max 10795 MiB), NonHeap : 25 MiB used (max 0 MiB)
3.37/1.66 c (1,1) CSPinCNF Propagation Begin
3.37/1.69 c (1,1) 0 values, 7 unsatisfiable literals, and 0 valid clauses are removed
3.37/1.69 c (1,1) CSPinCNF Propagation End
3.37/1.69 c (1,1) CSP: 163 int (102 aux), 0 bool (0 aux), 2096 ctr, max domain size 181
3.37/1.69 c (1,1) Heap : 225 MiB used (max 10795 MiB), NonHeap : 26 MiB used (max 0 MiB)
3.37/1.69 c (1,1) Simplify CSPinCNF Begin
4.02/1.86 c (1,1) Simplify CSPinCNF End
4.02/1.86 c (1,1) CSP: 163 int (102 aux), 3660 bool (3660 aux), 5756 ctr, max domain size 181
4.02/1.86 c (1,1) Heap : 281 MiB used (max 10795 MiB), NonHeap : 26 MiB used (max 0 MiB)
4.02/1.86 c (1,1) Calculate Precise Domain Begin
4.02/1.88 c (1,1) 2 values are removed by re-calculation
4.02/1.88 c (1,1) Calculate Precise Domain End
4.02/1.88 c (1,1) CSP: 163 int (102 aux), 3660 bool (3660 aux), 5756 ctr, max domain size 181
4.02/1.88 c (1,1) Heap : 281 MiB used (max 10795 MiB), NonHeap : 26 MiB used (max 0 MiB)
4.02/1.88 c (1,1) CSPinCNF to SatSolver Begin
4.98/2.12 c (1,1) 576 (10 %) CSP clauses are encoded (20737 SAT variables, 40183 SAT clauses)
5.27/2.21 c (1,1) 1152 (20 %) CSP clauses are encoded (20737 SAT variables, 63547 SAT clauses)
5.27/2.28 c (1,1) 1727 (30 %) CSP clauses are encoded (20737 SAT variables, 86976 SAT clauses)
5.54/2.36 c (1,1) 2303 (40 %) CSP clauses are encoded (20737 SAT variables, 110560 SAT clauses)
5.84/2.44 c (1,1) 2878 (50 %) CSP clauses are encoded (20737 SAT variables, 134137 SAT clauses)
6.03/2.61 c (2,1) 3454 (60 %) CSP clauses are encoded (20737 SAT variables, 157713 SAT clauses)
6.03/2.67 c (2,2) 4030 (70 %) CSP clauses are encoded (20737 SAT variables, 181283 SAT clauses)
6.17/2.73 c (2,2) 4605 (80 %) CSP clauses are encoded (20737 SAT variables, 204768 SAT clauses)
6.17/2.78 c (2,2) 5181 (90 %) CSP clauses are encoded (20737 SAT variables, 228244 SAT clauses)
9.25/4.95 c (4,4) 5756 (100 %) CSP clauses are encoded (20737 SAT variables, 1809507 SAT clauses)
9.25/4.95 c (4,4) CSPinCNF to SatSolver End
9.25/4.95 c (4,4) Heap : 2422 MiB used (max 10795 MiB), NonHeap : 29 MiB used (max 0 MiB)
9.46/5.01 c (4,4) STATISTICS2:HOME/instance-4295544-1532568417.xml,AllDifferent:IntVar:Lt:Num:WeightedSum,3823,5756,32220,181,59,3,32220:6;21901:12;14641:24;7381:42;7320:6;7259:6;5307:6;5246:4;5185:2;3721:114;3660:18;3599:18;61:2970;60:336;59:360,181:84;180:12;179:12;121:228;120:12;119:12;87:24;86:16;85:8;61:7040;60:384;59:389;2:7320,59:1;56:1;2:5490;1:264,3:258;2:3666;1:7435,
9.46/5.01 c (4,4) SatSolver.solve Begin
9.46/5.01 c (4,4) 20737 bool, 1809565 clause
9.46/5.01 c (4,4) 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-4295544-1532568417.xml-scop-3721.cnf HOME/instance-4295544-1532568417.xml-scop-3721.cnf.out
13.50/8.79 c (8,0) receiving signal SIGTERM
13.50/8.79 s UNKNOWN
13.50/8.79 c (8,4) SatSolver is killed by some reasons.
13.50/8.79 c (8,4) 0,0,1,1,1,1,4,TO,TO,STOP-AFTER(DIMACS)
13.50/8.79 c END-Prog: Thu Jul 26 03:27:05 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 (6710 MiB free)
memory of node 1: 16384 MiB (14003 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4295544-1532568417/watcher-4295544-1532568417 -o /tmp/evaluation-result-4295544-1532568417/solver-4295544-1532568417 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node150-1532562189-32681 --watchdog 2580 java -Xms11g -Xmx11g -Xss128m -jar HOME/scop.jar -order -solver HOME/minisat_release -solverOption mapleTune01 -tmp HOME HOME/instance-4295544-1532568417.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=3721, runsolver pid=3718
Current StackSize limit: 8192 KiB
[startup+0.100124 s]*
/proc/loadavg: 1.87 2.01 2.06 3/220 3736
/proc/meminfo: memFree=21150988/32770624 swapFree=67108860/67108860
[pid=3721] ppid=3718 vsize=15011656 memory=72024 CPUtime=0.11 cores=1,3,5,7
/proc/3721/stat : 3721 (java) S 3718 3721 32649 0 -1 1077944320 6234 0 0 0 9 2 0 0 20 0 15 0 74404933 15371935744 18006 33554432000 4194304 4196468 140727871593008 140727871575552 140410811485943 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 10362880 140727871599603 140727871599881 140727871599881 140727871602639 0
/proc/3721/statm: 3752914 18006 2758 1 0 3715374 0
[pid=3721/tid=3723] ppid=3718 vsize=15011656 memory=7100839861464500584 CPUtime=0.09 cores=1,3,5,7
/proc/3721/task/3723/stat : 3723 (java) R 3718 3721 32649 0 -1 4202560 4681 0 0 0 8 1 0 0 20 0 15 0 74404934 15371935744 18336 33554432000 4194304 4196468 140727871593008 140410783322688 140410791761757 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 10362880 140727871599603 140727871599881 140727871599881 140727871602639 0
[pid=3721/tid=3724] ppid=3718 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/3721/task/3724/stat : 3724 (java) S 3718 3721 32649 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 74404935 15371935744 18336 33554432000 4194304 4196468 140727871593008 140410815728656 140410811496149 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10362880 140727871599603 140727871599881 140727871599881 140727871602639 0
[pid=3721/tid=3725] ppid=3718 vsize=15011656 memory=140708296103552 CPUtime=0 cores=1,3,5,7
/proc/3721/task/3725/stat : 3725 (java) S 3718 3721 32649 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 74404935 15371935744 18336 33554432000 4194304 4196468 140727871593008 140410606812304 140410811496149 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10362880 140727871599603 140727871599881 140727871599881 140727871602639 0
[pid=3721/tid=3726] ppid=3718 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3721/task/3726/stat : 3726 (java) S 3718 3721 32649 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 74404935 15371935744 18402 33554432000 4194304 4196468 140727871593008 140410605759248 140410811496149 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10362880 140727871599603 140727871599881 140727871599881 140727871602639 0
[pid=3721/tid=3727] ppid=3718 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/3721/task/3727/stat : 3727 (java) S 3718 3721 32649 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 74404935 15371935744 18402 33554432000 4194304 4196468 140727871593008 140410604706704 140410811496149 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10362880 140727871599603 140727871599881 140727871599881 140727871602639 0
[pid=3721/tid=3728] ppid=3718 vsize=15011656 memory=140708296103552 CPUtime=0 cores=1,3,5,7
/proc/3721/task/3728/stat : 3728 (java) S 3718 3721 32649 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 74404937 15371935744 18402 33554432000 4194304 4196468 140727871593008 140409782081776 140410811497090 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10362880 140727871599603 140727871599881 140727871599881 140727871602639 0
[pid=3721/tid=3729] ppid=3718 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/3721/task/3729/stat : 3729 (java) S 3718 3721 32649 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 74404937 15371935744 18402 33554432000 4194304 4196468 140727871593008 140409393112224 140410811496149 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10362880 140727871599603 140727871599881 140727871599881 140727871602639 0
[pid=3721/tid=3730] ppid=3718 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3721/task/3730/stat : 3730 (java) S 3718 3721 32649 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 74404938 15371935744 18402 33554432000 4194304 4196468 140727871593008 140409124676336 140410811496149 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10362880 140727871599603 140727871599881 140727871599881 140727871602639 0
[pid=3721/tid=3731] ppid=3718 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3721/task/3731/stat : 3731 (java) S 3718 3721 32649 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 74404940 15371935744 18402 33554432000 4194304 4196468 140727871593008 140408750168016 140410811504539 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10362880 140727871599603 140727871599881 140727871599881 140727871602639 0
[pid=3721/tid=3732] ppid=3718 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3721/task/3732/stat : 3732 (java) S 3718 3721 32649 0 -1 1077944384 306 0 0 0 0 0 0 0 20 0 15 0 74404940 15371935744 18402 33554432000 4194304 4196468 140727871593008 140409781029616 140410811497090 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10362880 140727871599603 140727871599881 140727871599881 140727871602639 0
[pid=3721/tid=3733] ppid=3718 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/3721/task/3733/stat : 3733 (java) S 3718 3721 32649 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 74404940 15371935744 18402 33554432000 4194304 4196468 140727871593008 140409779977072 140410811497090 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10362880 140727871599603 140727871599881 140727871599881 140727871602639 0
[pid=3721/tid=3734] ppid=3718 vsize=15011656 memory=140708296103552 CPUtime=0.01 cores=1,3,5,7
/proc/3721/task/3734/stat : 3734 (java) S 3718 3721 32649 0 -1 1077944384 259 0 0 0 1 0 0 0 20 0 15 0 74404940 15371935744 18402 33554432000 4194304 4196468 140727871593008 140409778924016 140410811497090 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10362880 140727871599603 140727871599881 140727871599881 140727871602639 0
[pid=3721/tid=3735] ppid=3718 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/3721/task/3735/stat : 3735 (java) S 3718 3721 32649 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 74404940 15371935744 18402 33554432000 4194304 4196468 140727871593008 140408252263264 140410811496149 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10362880 140727871599603 140727871599881 140727871599881 140727871602639 0
[pid=3721/tid=3736] ppid=3718 vsize=15011656 memory=140708296103552 CPUtime=0 cores=1,3,5,7
/proc/3721/task/3736/stat : 3736 (java) S 3718 3721 32649 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 74404940 15371935744 18402 33554432000 4194304 4196468 140727871593008 140409777871408 140410811497090 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10362880 140727871599603 140727871599881 140727871599881 140727871602639 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 15011656 KiB
Current children cumulated memory: 72024 KiB
[startup+0.210293 s]*
/proc/loadavg: 1.87 2.01 2.06 3/220 3736
/proc/meminfo: memFree=21136540/32770624 swapFree=67108860/67108860
[pid=3721] ppid=3718 vsize=15011656 memory=85648 CPUtime=0.25 cores=1,3,5,7
/proc/3721/stat : 3721 (java) S 3718 3721 32649 0 -1 1077944320 9853 0 0 0 23 2 0 0 20 0 15 0 74404933 15371935744 21412 33554432000 4194304 4196468 140727871593008 140727871575552 140410811485943 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 10362880 140727871599603 140727871599881 140727871599881 140727871602639 0
/proc/3721/statm: 3752914 21412 2882 1 0 3715374 0
[pid=3721/tid=3723] ppid=3718 vsize=15011656 memory=7883960649037381690 CPUtime=0.2 cores=1,3,5,7
/proc/3721/task/3723/stat : 3723 (java) R 3718 3721 32649 0 -1 4202560 7763 0 0 0 18 2 0 0 20 0 15 0 74404934 15371935744 21412 33554432000 4194304 4196468 140727871593008 140410783303536 140410803723070 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 10362880 140727871599603 140727871599881 140727871599881 140727871602639 0
[pid=3721/tid=3724] ppid=3718 vsize=15011656 memory=288230617609666583 CPUtime=0 cores=1,3,5,7
/proc/3721/task/3724/stat : 3724 (java) S 3718 3721 32649 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 74404935 15371935744 21412 33554432000 4194304 4196468 140727871593008 140410815728656 140410811496149 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10362880 140727871599603 140727871599881 140727871599881 140727871602639 0
[pid=3721/tid=3725] ppid=3718 vsize=15011656 memory=3618278544360445600 CPUtime=0 cores=1,3,5,7
/proc/3721/task/3725/stat : 3725 (java) S 3718 3721 32649 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 74404935 15371935744 21412 33554432000 4194304 4196468 140727871593008 140410606812304 140410811496149 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10362880 140727871599603 140727871599881 140727871599881 140727871602639 0
[pid=3721/tid=3726] ppid=3718 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3721/task/3726/stat : 3726 (java) S 3718 3721 32649 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 74404935 15371935744 21412 33554432000 4194304 4196468 140727871593008 140410605759248 140410811496149 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10362880 140727871599603 140727871599881 140727871599881 140727871602639 0
[pid=3721/tid=3727] ppid=3718 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/3721/task/3727/stat : 3727 (java) S 3718 3721 32649 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 74404935 15371935744 21412 33554432000 4194304 4196468 140727871593008 140410604706704 140410811496149 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10362880 140727871599603 140727871599881 140727871599881 140727871602639 0
[pid=3721/tid=3728] ppid=3718 vsize=15011656 memory=140708296103552 CPUtime=0 cores=1,3,5,7
/proc/3721/task/3728/stat : 3728 (java) S 3718 3721 32649 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 74404937 15371935744 21412 33554432000 4194304 4196468 140727871593008 140409782081776 140410811497090 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10362880 140727871599603 140727871599881 140727871599881 140727871602639 0
[pid=3721/tid=3729] ppid=3718 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/3721/task/3729/stat : 3729 (java) S 3718 3721 32649 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 74404937 15371935744 21412 33554432000 4194304 4196468 140727871593008 140409393112224 140410811496149 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10362880 140727871599603 140727871599881 140727871599881 140727871602639 0
[pid=3721/tid=3730] ppid=3718 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3721/task/3730/stat : 3730 (java) S 3718 3721 32649 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 74404938 15371935744 21412 33554432000 4194304 4196468 140727871593008 140409124676336 140410811496149 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10362880 140727871599603 140727871599881 140727871599881 140727871602639 0
[pid=3721/tid=3731] ppid=3718 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3721/task/3731/stat : 3731 (java) S 3718 3721 32649 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 74404940 15371935744 21412 33554432000 4194304 4196468 140727871593008 140408750168016 140410811504539 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10362880 140727871599603 140727871599881 140727871599881 140727871602639 0
[pid=3721/tid=3732] ppid=3718 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3721/task/3732/stat : 3732 (java) R 3718 3721 32649 0 -1 4202560 438 0 0 0 0 0 0 0 20 0 15 0 74404940 15371935744 21412 33554432000 4194304 4196468 140727871593008 140409781029616 140410790649104 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 10362880 140727871599603 140727871599881 140727871599881 140727871602639 0
[pid=3721/tid=3733] ppid=3718 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/3721/task/3733/stat : 3733 (java) R 3718 3721 32649 0 -1 4202560 46 0 0 0 0 0 0 0 20 0 15 0 74404940 15371935744 21412 33554432000 4194304 4196468 140727871593008 140409779977072 140410789353760 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 10362880 140727871599603 140727871599881 140727871599881 140727871602639 0
[pid=3721/tid=3734] ppid=3718 vsize=15011656 memory=140708296103552 CPUtime=0.03 cores=1,3,5,7
/proc/3721/task/3734/stat : 3734 (java) R 3718 3721 32649 0 -1 1077944384 286 0 0 0 3 0 0 0 20 0 15 0 74404940 15371935744 21412 33554432000 4194304 4196468 140727871593008 140409778924016 140410811497090 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 10362880 140727871599603 140727871599881 140727871599881 140727871602639 0
[pid=3721/tid=3735] ppid=3718 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/3721/task/3735/stat : 3735 (java) S 3718 3721 32649 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 74404940 15371935744 21412 33554432000 4194304 4196468 140727871593008 140408252263264 140410811496149 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10362880 140727871599603 140727871599881 140727871599881 140727871602639 0
[pid=3721/tid=3736] ppid=3718 vsize=15011656 memory=140708296103552 CPUtime=0 cores=1,3,5,7
/proc/3721/task/3736/stat : 3736 (java) S 3718 3721 32649 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 74404940 15371935744 21412 33554432000 4194304 4196468 140727871593008 140409777871408 140410811497090 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10362880 140727871599603 140727871599881 140727871599881 140727871602639 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 15011656 KiB
Current children cumulated memory: 85648 KiB
[startup+0.310415 s]*
/proc/loadavg: 1.87 2.01 2.06 3/220 3736
/proc/meminfo: memFree=21133128/32770624 swapFree=67108860/67108860
[pid=3721] ppid=3718 vsize=15011656 memory=89716 CPUtime=0.43 cores=1,3,5,7
/proc/3721/stat : 3721 (java) S 3718 3721 32649 0 -1 1077944320 10475 0 0 0 40 3 0 0 20 0 15 0 74404933 15371935744 22429 33554432000 4194304 4196468 140727871593008 140727871575552 140410811485943 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 10362880 140727871599603 140727871599881 140727871599881 140727871602639 0
/proc/3721/statm: 3752914 22429 3031 1 0 3715374 0
[pid=3721/tid=3723] ppid=3718 vsize=15011656 memory=0 CPUtime=0.29 cores=1,3,5,7
/proc/3721/task/3723/stat : 3723 (java) S 3718 3721 32649 0 -1 1077944384 8186 0 0 0 27 2 0 0 20 0 15 0 74404934 15371935744 22429 33554432000 4194304 4196468 140727871593008 140410783313744 140410811496149 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10362880 140727871599603 140727871599881 140727871599881 140727871602639 0
[pid=3721/tid=3724] ppid=3718 vsize=15011656 memory=4294967295 CPUtime=0 cores=1,3,5,7
/proc/3721/task/3724/stat : 3724 (java) S 3718 3721 32649 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 74404935 15371935744 22429 33554432000 4194304 4196468 140727871593008 140410815728656 140410811496149 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10362880 140727871599603 140727871599881 140727871599881 140727871602639 0
[pid=3721/tid=3725] ppid=3718 vsize=15011656 memory=140708296103552 CPUtime=0 cores=1,3,5,7
/proc/3721/task/3725/stat : 3725 (java) S 3718 3721 32649 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 74404935 15371935744 22429 33554432000 4194304 4196468 140727871593008 140410606812304 140410811496149 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10362880 140727871599603 140727871599881 140727871599881 140727871602639 0
[pid=3721/tid=3726] ppid=3718 vsize=15011656 memory=2241 CPUtime=0 cores=1,3,5,7
/proc/3721/task/3726/stat : 3726 (java) S 3718 3721 32649 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 74404935 15371935744 22429 33554432000 4194304 4196468 140727871593008 140410605759248 140410811496149 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10362880 140727871599603 140727871599881 140727871599881 140727871602639 0
[pid=3721/tid=3727] ppid=3718 vsize=15011656 memory=140708161888463 CPUtime=0 cores=1,3,5,7
/proc/3721/task/3727/stat : 3727 (java) S 3718 3721 32649 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 74404935 15371935744 22429 33554432000 4194304 4196468 140727871593008 140410604706704 140410811496149 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10362880 140727871599603 140727871599881 140727871599881 140727871602639 0
[pid=3721/tid=3728] ppid=3718 vsize=15011656 memory=140708296103552 CPUtime=0 cores=1,3,5,7
/proc/3721/task/3728/stat : 3728 (java) S 3718 3721 32649 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 74404937 15371935744 22429 33554432000 4194304 4196468 140727871593008 140409782081776 140410811497090 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10362880 140727871599603 140727871599881 140727871599881 140727871602639 0
[pid=3721/tid=3729] ppid=3718 vsize=15011656 memory=140708161909199 CPUtime=0 cores=1,3,5,7
/proc/3721/task/3729/stat : 3729 (java) S 3718 3721 32649 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 74404937 15371935744 22429 33554432000 4194304 4196468 140727871593008 140409393112224 140410811496149 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10362880 140727871599603 140727871599881 140727871599881 140727871602639 0
[pid=3721/tid=3730] ppid=3718 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3721/task/3730/stat : 3730 (java) S 3718 3721 32649 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 74404938 15371935744 22429 33554432000 4194304 4196468 140727871593008 140409124676336 140410811496149 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10362880 140727871599603 140727871599881 140727871599881 140727871602639 0
[pid=3721/tid=3731] ppid=3718 vsize=15011656 memory=281416323790720 CPUtime=0 cores=1,3,5,7
/proc/3721/task/3731/stat : 3731 (java) S 3718 3721 32649 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 74404940 15371935744 22429 33554432000 4194304 4196468 140727871593008 140408750168016 140410811504539 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10362880 140727871599603 140727871599881 140727871599881 140727871602639 0
[pid=3721/tid=3732] ppid=3718 vsize=15011656 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/3721/task/3732/stat : 3732 (java) R 3718 3721 32649 0 -1 1077944384 540 0 0 0 2 0 0 0 20 0 15 0 74404940 15371935744 22429 33554432000 4194304 4196468 140727871593008 140409781029616 140410811497090 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 10362880 140727871599603 140727871599881 140727871599881 140727871602639 0
[pid=3721/tid=3733] ppid=3718 vsize=15011656 memory=140708161920943 CPUtime=0.01 cores=1,3,5,7
/proc/3721/task/3733/stat : 3733 (java) S 3718 3721 32649 0 -1 1077944384 91 0 0 0 1 0 0 0 20 0 15 0 74404940 15371935744 22429 33554432000 4194304 4196468 140727871593008 140409779977072 140410811497090 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10362880 140727871599603 140727871599881 140727871599881 140727871602639 0
[pid=3721/tid=3734] ppid=3718 vsize=15011656 memory=140708296103552 CPUtime=0.07 cores=1,3,5,7
/proc/3721/task/3734/stat : 3734 (java) R 3718 3721 32649 0 -1 4202560 330 0 0 0 7 0 0 0 20 0 15 0 74404940 15371935744 22429 33554432000 4194304 4196468 140727871593008 140409778924016 140410803723070 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 10362880 140727871599603 140727871599881 140727871599881 140727871602639 0
[pid=3721/tid=3735] ppid=3718 vsize=15011656 memory=140708161926047 CPUtime=0 cores=1,3,5,7
/proc/3721/task/3735/stat : 3735 (java) S 3718 3721 32649 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 74404940 15371935744 22429 33554432000 4194304 4196468 140727871593008 140408252263264 140410811496149 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10362880 140727871599603 140727871599881 140727871599881 140727871602639 0
[pid=3721/tid=3736] ppid=3718 vsize=15011656 memory=140708370508485 CPUtime=0 cores=1,3,5,7
/proc/3721/task/3736/stat : 3736 (java) S 3718 3721 32649 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 74404940 15371935744 22429 33554432000 4194304 4196468 140727871593008 140409777871408 140410811497090 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10362880 140727871599603 140727871599881 140727871599881 140727871602639 0
Current children cumulated CPU time: 0.43 s
Current children cumulated vsize: 15011656 KiB
Current children cumulated memory: 89716 KiB
[startup+0.700731 s]
/proc/loadavg: 1.87 2.01 2.06 3/220 3736
/proc/meminfo: memFree=21108420/32770624 swapFree=67108860/67108860
[pid=3721] ppid=3718 vsize=15020052 memory=129384 CPUtime=0.97 cores=1,3,5,7
/proc/3721/stat : 3721 (java) S 3718 3721 32649 0 -1 1077944320 17621 0 0 0 92 5 0 0 20 0 15 0 74404933 15380533248 32346 33554432000 4194304 4196468 140727871593008 140727871575552 140410811485943 0 0 0 25189583 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 10362880 140727871599603 140727871599881 140727871599881 140727871602639 0
/proc/3721/statm: 3755013 32346 3142 1 0 3716398 0
[pid=3721/tid=3723] ppid=3718 vsize=15020052 memory=53 CPUtime=0.67 cores=1,3,5,7
/proc/3721/task/3723/stat : 3723 (java) R 3718 3721 32649 0 -1 4202560 14951 0 0 0 63 4 0 0 20 0 15 0 74404934 15380533248 32346 33554432000 4194304 4196468 140727871593008 140410783321744 140410793070686 0 4 0 25189583 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 10362880 140727871599603 140727871599881 140727871599881 140727871602639 0
[pid=3721/tid=3724] ppid=3718 vsize=15020052 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3721/task/3724/stat : 3724 (java) S 3718 3721 32649 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 74404935 15380533248 32346 33554432000 4194304 4196468 140727871593008 140410815728656 140410811496149 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10362880 140727871599603 140727871599881 140727871599881 140727871602639 0
[pid=3721/tid=3725] ppid=3718 vsize=15020052 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3721/task/3725/stat : 3725 (java) S 3718 3721 32649 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 74404935 15380533248 32346 33554432000 4194304 4196468 140727871593008 140410606812304 140410811496149 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10362880 140727871599603 140727871599881 140727871599881 140727871602639 0
[pid=3721/tid=3726] ppid=3718 vsize=15020052 memory=79 CPUtime=0 cores=1,3,5,7
/proc/3721/task/3726/stat : 3726 (java) S 3718 3721 32649 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 74404935 15380533248 32346 33554432000 4194304 4196468 140727871593008 140410605759248 140410811496149 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10362880 140727871599603 140727871599881 140727871599881 140727871602639 0
[pid=3721/tid=3727] ppid=3718 vsize=15020052 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3721/task/3727/stat : 3727 (java) S 3718 3721 32649 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 74404935 15380533248 32346 33554432000 4194304 4196468 140727871593008 140410604706704 140410811496149 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10362880 140727871599603 140727871599881 140727871599881 140727871602639 0
[pid=3721/tid=3728] ppid=3718 vsize=15020052 memory=156719799869935 CPUtime=0 cores=1,3,5,7
/proc/3721/task/3728/stat : 3728 (java) S 3718 3721 32649 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 74404937 15380533248 32346 33554432000 4194304 4196468 140727871593008 140409782081776 140410811497090 0 0 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10362880 140727871599603 140727871599881 140727871599881 140727871602639 0
[pid=3721/tid=3729] ppid=3718 vsize=15020052 memory=433534 CPUtime=0 cores=1,3,5,7
/proc/3721/task/3729/stat : 3729 (java) S 3718 3721 32649 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 74404937 15380533248 32346 33554432000 4194304 4196468 140727871593008 140409393112224 140410811496149 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10362880 140727871599603 140727871599881 140727871599881 140727871602639 0
[pid=3721/tid=3730] ppid=3718 vsize=15020052 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3721/task/3730/stat : 3730 (java) S 3718 3721 32649 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 74404938 15380533248 32346 33554432000 4194304 4196468 140727871593008 140409124676336 140410811496149 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10362880 140727871599603 140727871599881 140727871599881 140727871602639 0
[pid=3721/tid=3731] ppid=3718 vsize=15020052 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3721/task/3731/stat : 3731 (java) S 3718 3721 32649 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 74404940 15380533248 32346 33554432000 4194304 4196468 140727871593008 140408750168016 140410811504539 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10362880 140727871599603 140727871599881 140727871599881 140727871602639 0
[pid=3721/tid=3732] ppid=3718 vsize=15020052 memory=281416323563760 CPUtime=0.05 cores=1,3,5,7
/proc/3721/task/3732/stat : 3732 (java) S 3718 3721 32649 0 -1 1077944384 551 0 0 0 5 0 0 0 20 0 15 0 74404940 15380533248 32346 33554432000 4194304 4196468 140727871593008 140409781029616 140410811497090 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10362880 140727871599603 140727871599881 140727871599881 140727871602639 0
[pid=3721/tid=3733] ppid=3718 vsize=15020052 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/3721/task/3733/stat : 3733 (java) S 3718 3721 32649 0 -1 1077944384 327 0 0 0 7 0 0 0 20 0 15 0 74404940 15380533248 32346 33554432000 4194304 4196468 140727871593008 140409779977072 140410811497090 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10362880 140727871599603 140727871599881 140727871599881 140727871602639 0
[pid=3721/tid=3734] ppid=3718 vsize=15020052 memory=-6305713892980514176 CPUtime=0.15 cores=1,3,5,7
/proc/3721/task/3734/stat : 3734 (java) S 3718 3721 32649 0 -1 1077944384 451 0 0 0 15 0 0 0 20 0 15 0 74404940 15380533248 32346 33554432000 4194304 4196468 140727871593008 140409778924016 140410811497090 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10362880 140727871599603 140727871599881 140727871599881 140727871602639 0
[pid=3721/tid=3735] ppid=3718 vsize=15020052 memory=6944656592387989600 CPUtime=0 cores=1,3,5,7
/proc/3721/task/3735/stat : 3735 (java) S 3718 3721 32649 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 74404940 15380533248 32346 33554432000 4194304 4196468 140727871593008 140408252263264 140410811496149 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10362880 140727871599603 140727871599881 140727871599881 140727871602639 0
[pid=3721/tid=3736] ppid=3718 vsize=15020052 memory=6944656592455360604 CPUtime=0 cores=1,3,5,7
/proc/3721/task/3736/stat : 3736 (java) S 3718 3721 32649 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 74404940 15380533248 32346 33554432000 4194304 4196468 140727871593008 140409777871408 140410811497090 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10362880 140727871599603 140727871599881 140727871599881 140727871602639 0
Current children cumulated CPU time: 0.97 s
Current children cumulated vsize: 15020052 KiB
Current children cumulated memory: 129384 KiB
[startup+1.50067 s]
/proc/loadavg: 1.87 2.01 2.06 3/220 3736
/proc/meminfo: memFree=21079884/32770624 swapFree=67108860/67108860
[pid=3721] ppid=3718 vsize=15022100 memory=188756 CPUtime=3.04 cores=1,3,5,7
/proc/3721/stat : 3721 (java) S 3718 3721 32649 0 -1 1077944320 21608 0 0 0 296 8 0 0 20 0 15 0 74404933 15382630400 47189 33554432000 4194304 4196468 140727871593008 140727871575552 140410811485943 0 0 0 25189583 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 10362880 140727871599603 140727871599881 140727871599881 140727871602639 0
/proc/3721/statm: 3755525 47189 3201 1 0 3716910 0
[pid=3721/tid=3723] ppid=3718 vsize=15022100 memory=0 CPUtime=1.46 cores=1,3,5,7
/proc/3721/task/3723/stat : 3723 (java) R 3718 3721 32649 0 -1 4202560 16061 0 0 0 141 5 0 0 20 0 15 0 74404934 15382630400 47189 33554432000 4194304 4196468 140727871593008 140410783323600 140410286688585 0 4 0 25189583 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 10362880 140727871599603 140727871599881 140727871599881 140727871602639 0
[pid=3721/tid=3724] ppid=3718 vsize=15022100 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3721/task/3724/stat : 3724 (java) S 3718 3721 32649 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 74404935 15382630400 47189 33554432000 4194304 4196468 140727871593008 140410815728656 140410811496149 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10362880 140727871599603 140727871599881 140727871599881 140727871602639 0
[pid=3721/tid=3725] ppid=3718 vsize=15022100 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3721/task/3725/stat : 3725 (java) S 3718 3721 32649 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 74404935 15382630400 47189 33554432000 4194304 4196468 140727871593008 140410606812304 140410811496149 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10362880 140727871599603 140727871599881 140727871599881 140727871602639 0
[pid=3721/tid=3726] ppid=3718 vsize=15022100 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3721/task/3726/stat : 3726 (java) S 3718 3721 32649 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 74404935 15382630400 47189 33554432000 4194304 4196468 140727871593008 140410605759248 140410811496149 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10362880 140727871599603 140727871599881 140727871599881 140727871602639 0
[pid=3721/tid=3727] ppid=3718 vsize=15022100 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3721/task/3727/stat : 3727 (java) S 3718 3721 32649 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 74404935 15382630400 47189 33554432000 4194304 4196468 140727871593008 140410604706704 140410811496149 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10362880 140727871599603 140727871599881 140727871599881 140727871602639 0
[pid=3721/tid=3728] ppid=3718 vsize=15022100 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3721/task/3728/stat : 3728 (java) S 3718 3721 32649 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 74404937 15382630400 47189 33554432000 4194304 4196468 140727871593008 140409782081776 140410811497090 0 0 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10362880 140727871599603 140727871599881 140727871599881 140727871602639 0
################
# More data... #
################
/proc/meminfo: memFree=18543244/32770624 swapFree=67108860/67108860
[pid=3721] ppid=3718 vsize=15681864 memory=2512140 CPUtime=9.84 cores=1,3,5,7
/proc/3721/stat : 3721 (java) S 3718 3721 32649 0 -1 1077944320 28060 0 0 0 934 50 0 0 20 0 19 0 74404933 16058228736 628035 33554432000 4194304 4196468 140727871593008 140727871575552 140410811485943 0 0 0 25189583 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 10362880 140727871599603 140727871599881 140727871599881 140727871602639 0
/proc/3721/statm: 3920466 628035 3231 1 0 3881322 0
[pid=3737] ppid=3721 vsize=153684 memory=130152 CPUtime=1.26 cores=1,3,5,7
/proc/3737/stat : 3737 (minisat_release) R 3721 3721 32649 0 -1 4202496 26377 0 0 0 121 5 0 0 20 0 1 0 74405436 157372416 32538 33554432000 4194304 4308513 140726282847728 140726281796136 4221768 0 4 0 8388610 0 0 0 17 1 0 0 0 0 0 6409496 6410680 41664512 140726282850993 140726282851502 140726282851502 140726282854341 0
/proc/3737/statm: 38421 32538 331 28 0 34661 0
[pid=3721/tid=3723] ppid=3718 vsize=15681864 memory=32031866101024 CPUtime=4.92 cores=1,3,5,7
/proc/3721/task/3723/stat : 3723 (java) S 3718 3721 32649 0 -1 1077944384 17927 0 0 0 447 45 0 0 20 0 19 0 74404934 16058228736 628035 33554432000 4194304 4196468 140727871593008 140410783325184 140410811496149 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10362880 140727871599603 140727871599881 140727871599881 140727871602639 0
[pid=3721/tid=3724] ppid=3718 vsize=15681864 memory=7230645025961766505 CPUtime=0 cores=1,3,5,7
/proc/3721/task/3724/stat : 3724 (java) S 3718 3721 32649 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 74404935 16058228736 628035 33554432000 4194304 4196468 140727871593008 140410815728656 140410811496149 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10362880 140727871599603 140727871599881 140727871599881 140727871602639 0
[pid=3721/tid=3725] ppid=3718 vsize=15681864 memory=6441370576508249454 CPUtime=0 cores=1,3,5,7
/proc/3721/task/3725/stat : 3725 (java) S 3718 3721 32649 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 74404935 16058228736 628035 33554432000 4194304 4196468 140727871593008 140410606812304 140410811496149 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10362880 140727871599603 140727871599881 140727871599881 140727871602639 0
[pid=3721/tid=3726] ppid=3718 vsize=15681864 memory=6441370576508249454 CPUtime=0 cores=1,3,5,7
/proc/3721/task/3726/stat : 3726 (java) S 3718 3721 32649 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 74404935 16058228736 628035 33554432000 4194304 4196468 140727871593008 140410605759248 140410811496149 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10362880 140727871599603 140727871599881 140727871599881 140727871602639 0
[pid=3721/tid=3727] ppid=3718 vsize=15681864 memory=288230574492221466 CPUtime=0 cores=1,3,5,7
/proc/3721/task/3727/stat : 3727 (java) S 3718 3721 32649 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 74404935 16058228736 628035 33554432000 4194304 4196468 140727871593008 140410604706704 140410811496149 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10362880 140727871599603 140727871599881 140727871599881 140727871602639 0
[pid=3721/tid=3728] ppid=3718 vsize=15681864 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3721/task/3728/stat : 3728 (java) S 3718 3721 32649 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 19 0 74404937 16058228736 628035 33554432000 4194304 4196468 140727871593008 140409782081776 140410811497090 0 0 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10362880 140727871599603 140727871599881 140727871599881 140727871602639 0
[pid=3721/tid=3729] ppid=3718 vsize=15681864 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3721/task/3729/stat : 3729 (java) S 3718 3721 32649 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 74404937 16058228736 628035 33554432000 4194304 4196468 140727871593008 140409393112224 140410811496149 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10362880 140727871599603 140727871599881 140727871599881 140727871602639 0
[pid=3721/tid=3730] ppid=3718 vsize=15681864 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3721/task/3730/stat : 3730 (java) S 3718 3721 32649 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 74404938 16058228736 628035 33554432000 4194304 4196468 140727871593008 140409124676336 140410811496149 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10362880 140727871599603 140727871599881 140727871599881 140727871602639 0
[pid=3721/tid=3731] ppid=3718 vsize=15681864 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3721/task/3731/stat : 3731 (java) S 3718 3721 32649 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 74404940 16058228736 628035 33554432000 4194304 4196468 140727871593008 140408750168016 140410811504539 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10362880 140727871599603 140727871599881 140727871599881 140727871602639 0
[pid=3721/tid=3732] ppid=3718 vsize=15681864 memory=-7538374442659519899 CPUtime=1.84 cores=1,3,5,7
/proc/3721/task/3732/stat : 3732 (java) S 3718 3721 32649 0 -1 1077944384 2934 0 0 0 183 1 0 0 20 0 19 0 74404940 16058228736 628035 33554432000 4194304 4196468 140727871593008 140409781029616 140410811497090 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10362880 140727871599603 140727871599881 140727871599881 140727871602639 0
[pid=3721/tid=3733] ppid=3718 vsize=15681864 memory=0 CPUtime=2.09 cores=1,3,5,7
/proc/3721/task/3733/stat : 3733 (java) S 3718 3721 32649 0 -1 1077944384 2838 0 0 0 208 1 0 0 20 0 19 0 74404940 16058228736 628035 33554432000 4194304 4196468 140727871593008 140409779977072 140410811497090 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10362880 140727871599603 140727871599881 140727871599881 140727871602639 0
[pid=3721/tid=3734] ppid=3718 vsize=15681864 memory=0 CPUtime=0.93 cores=1,3,5,7
/proc/3721/task/3734/stat : 3734 (java) S 3718 3721 32649 0 -1 1077944384 2964 0 0 0 92 1 0 0 20 0 19 0 74404940 16058228736 628035 33554432000 4194304 4196468 140727871593008 140409778924016 140410811497090 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10362880 140727871599603 140727871599881 140727871599881 140727871602639 0
[pid=3721/tid=3735] ppid=3718 vsize=15681864 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3721/task/3735/stat : 3735 (java) S 3718 3721 32649 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 74404940 16058228736 628035 33554432000 4194304 4196468 140727871593008 140408252263264 140410811496149 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10362880 140727871599603 140727871599881 140727871599881 140727871602639 0
[pid=3721/tid=3736] ppid=3718 vsize=15681864 memory=-2317720213663324238 CPUtime=0 cores=1,3,5,7
/proc/3721/task/3736/stat : 3736 (java) S 3718 3721 32649 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 74404940 16058228736 628035 33554432000 4194304 4196468 140727871593008 140409777871408 140410811497090 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 14 0 0 6293624 6294260 10362880 140727871599603 140727871599881 140727871599881 140727871602639 0
[pid=3721/tid=3738] ppid=3718 vsize=15681864 memory=1908052 CPUtime=0 cores=1,3,5,7
/proc/3721/task/3738/stat : 3738 (java) S 3718 3721 32649 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 74405436 16058228736 628035 33554432000 4194304 4196468 140727871593008 140410601375040 140410811510553 0 4 0 25189583 18446744071579417331 0 0 -1 1 0 0 0 0 0 6293624 6294260 10362880 140727871599603 140727871599881 140727871599881 140727871602639 0
[pid=3721/tid=3740] ppid=3718 vsize=15681864 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3721/task/3740/stat : 3740 (java) S 3718 3721 32649 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 74405437 16058228736 628035 33554432000 4194304 4196468 140727871593008 140407715376432 140410811507869 0 4 0 25189583 18446744071580971376 0 0 -1 3 0 0 0 0 0 6293624 6294260 10362880 140727871599603 140727871599881 140727871599881 140727871602639 0
[pid=3721/tid=3741] ppid=3718 vsize=15681864 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3721/task/3741/stat : 3741 (java) S 3718 3721 32649 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 19 0 74405437 16058228736 628035 33554432000 4194304 4196468 140727871593008 140407849598896 140410811507869 0 4 0 25189583 18446744071580971376 0 0 -1 3 0 0 0 0 0 6293624 6294260 10362880 140727871599603 140727871599881 140727871599881 140727871602639 0
[pid=3721/tid=3742] ppid=3718 vsize=15681864 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3721/task/3742/stat : 3742 (java) S 3718 3721 32649 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 19 0 74405439 16058228736 628035 33554432000 4194304 4196468 140727871593008 140407446953760 140410811496149 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10362880 140727871599603 140727871599881 140727871599881 140727871602639 0
Current children cumulated CPU time: 11.1 s
Current children cumulated vsize: 15835548 KiB
Current children cumulated memory: 2642292 KiB
Maximum VSize exceeded: sending SIGTERM then SIGKILL
[startup+8.70092 s]
/proc/loadavg: 1.88 2.01 2.06 3/225 3742
/proc/meminfo: memFree=18536236/32770624 swapFree=67108860/67108860
[pid=3721] ppid=3718 vsize=15681864 memory=2512140 CPUtime=9.84 cores=1,3,5,7
/proc/3721/stat : 3721 (java) S 3718 3721 32649 0 -1 1077944320 28060 0 0 0 934 50 0 0 20 0 19 0 74404933 16058228736 628035 33554432000 4194304 4196468 140727871593008 140727871575552 140410811485943 0 0 0 25189583 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 10362880 140727871599603 140727871599881 140727871599881 140727871602639 0
/proc/3721/statm: 3920466 628035 3231 1 0 3881322 0
[pid=3737] ppid=3721 vsize=197540 memory=156420 CPUtime=3.66 cores=1,3,5,7
/proc/3737/stat : 3737 (minisat_release) R 3721 3721 32649 0 -1 4202496 54085 0 0 0 359 7 0 0 20 0 1 0 74405436 202280960 39105 33554432000 4194304 4308513 140726282847728 140726282844184 4280634 0 4 0 8388610 0 0 0 17 1 0 0 0 0 0 6409496 6410680 41664512 140726282850993 140726282851502 140726282851502 140726282854341 0
/proc/3737/statm: 49385 39105 334 28 0 45625 0
[pid=3721/tid=3723] ppid=3718 vsize=15681864 memory=55 CPUtime=4.92 cores=1,3,5,7
/proc/3721/task/3723/stat : 3723 (java) S 3718 3721 32649 0 -1 1077944384 17927 0 0 0 447 45 0 0 20 0 19 0 74404934 16058228736 628035 33554432000 4194304 4196468 140727871593008 140410783325184 140410811496149 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10362880 140727871599603 140727871599881 140727871599881 140727871602639 0
[pid=3721/tid=3724] ppid=3718 vsize=15681864 memory=6940162901351215168 CPUtime=0 cores=1,3,5,7
/proc/3721/task/3724/stat : 3724 (java) S 3718 3721 32649 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 74404935 16058228736 628035 33554432000 4194304 4196468 140727871593008 140410815728656 140410811496149 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10362880 140727871599603 140727871599881 140727871599881 140727871602639 0
[pid=3721/tid=3725] ppid=3718 vsize=15681864 memory=3467834605190656064 CPUtime=0 cores=1,3,5,7
/proc/3721/task/3725/stat : 3725 (java) S 3718 3721 32649 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 74404935 16058228736 628035 33554432000 4194304 4196468 140727871593008 140410606812304 140410811496149 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10362880 140727871599603 140727871599881 140727871599881 140727871602639 0
[pid=3721/tid=3726] ppid=3718 vsize=15681864 memory=136920 CPUtime=0 cores=1,3,5,7
/proc/3721/task/3726/stat : 3726 (java) S 3718 3721 32649 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 74404935 16058228736 628035 33554432000 4194304 4196468 140727871593008 140410605759248 140410811496149 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10362880 140727871599603 140727871599881 140727871599881 140727871602639 0
[pid=3721/tid=3727] ppid=3718 vsize=15681864 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3721/task/3727/stat : 3727 (java) S 3718 3721 32649 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 74404935 16058228736 628035 33554432000 4194304 4196468 140727871593008 140410604706704 140410811496149 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10362880 140727871599603 140727871599881 140727871599881 140727871602639 0
[pid=3721/tid=3728] ppid=3718 vsize=15681864 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3721/task/3728/stat : 3728 (java) S 3718 3721 32649 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 19 0 74404937 16058228736 628035 33554432000 4194304 4196468 140727871593008 140409782081776 140410811497090 0 0 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10362880 140727871599603 140727871599881 140727871599881 140727871602639 0
[pid=3721/tid=3729] ppid=3718 vsize=15681864 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3721/task/3729/stat : 3729 (java) S 3718 3721 32649 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 74404937 16058228736 628035 33554432000 4194304 4196468 140727871593008 140409393112224 140410811496149 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10362880 140727871599603 140727871599881 140727871599881 140727871602639 0
[pid=3721/tid=3730] ppid=3718 vsize=15681864 memory=55 CPUtime=0 cores=1,3,5,7
/proc/3721/task/3730/stat : 3730 (java) S 3718 3721 32649 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 74404938 16058228736 628035 33554432000 4194304 4196468 140727871593008 140409124676336 140410811496149 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10362880 140727871599603 140727871599881 140727871599881 140727871602639 0
[pid=3721/tid=3731] ppid=3718 vsize=15681864 memory=2432340 CPUtime=0 cores=1,3,5,7
/proc/3721/task/3731/stat : 3731 (java) S 3718 3721 32649 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 74404940 16058228736 628035 33554432000 4194304 4196468 140727871593008 140408750168016 140410811504539 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10362880 140727871599603 140727871599881 140727871599881 140727871602639 0
[pid=3721/tid=3732] ppid=3718 vsize=15681864 memory=2168148 CPUtime=1.84 cores=1,3,5,7
/proc/3721/task/3732/stat : 3732 (java) S 3718 3721 32649 0 -1 1077944384 2934 0 0 0 183 1 0 0 20 0 19 0 74404940 16058228736 628035 33554432000 4194304 4196468 140727871593008 140409781029616 140410811497090 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10362880 140727871599603 140727871599881 140727871599881 140727871602639 0
[pid=3721/tid=3733] ppid=3718 vsize=15681864 memory=956 CPUtime=2.09 cores=1,3,5,7
/proc/3721/task/3733/stat : 3733 (java) S 3718 3721 32649 0 -1 1077944384 2838 0 0 0 208 1 0 0 20 0 19 0 74404940 16058228736 628035 33554432000 4194304 4196468 140727871593008 140409779977072 140410811497090 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10362880 140727871599603 140727871599881 140727871599881 140727871602639 0
[pid=3721/tid=3734] ppid=3718 vsize=15681864 memory=1008 CPUtime=0.93 cores=1,3,5,7
/proc/3721/task/3734/stat : 3734 (java) S 3718 3721 32649 0 -1 1077944384 2964 0 0 0 92 1 0 0 20 0 19 0 74404940 16058228736 628035 33554432000 4194304 4196468 140727871593008 140409778924016 140410811497090 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10362880 140727871599603 140727871599881 140727871599881 140727871602639 0
[pid=3721/tid=3735] ppid=3718 vsize=15681864 memory=1228 CPUtime=0 cores=1,3,5,7
/proc/3721/task/3735/stat : 3735 (java) S 3718 3721 32649 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 74404940 16058228736 628035 33554432000 4194304 4196468 140727871593008 140408252263264 140410811496149 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10362880 140727871599603 140727871599881 140727871599881 140727871602639 0
[pid=3721/tid=3736] ppid=3718 vsize=15681864 memory=1200 CPUtime=0 cores=1,3,5,7
/proc/3721/task/3736/stat : 3736 (java) S 3718 3721 32649 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 74404940 16058228736 628035 33554432000 4194304 4196468 140727871593008 140409777871408 140410811497090 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 14 0 0 6293624 6294260 10362880 140727871599603 140727871599881 140727871599881 140727871602639 0
[pid=3721/tid=3738] ppid=3718 vsize=15681864 memory=2512140 CPUtime=0 cores=1,3,5,7
/proc/3721/task/3738/stat : 3738 (java) S 3718 3721 32649 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 74405436 16058228736 628035 33554432000 4194304 4196468 140727871593008 140410601375040 140410811510553 0 4 0 25189583 18446744071579417331 0 0 -1 1 0 0 0 0 0 6293624 6294260 10362880 140727871599603 140727871599881 140727871599881 140727871602639 0
[pid=3721/tid=3740] ppid=3718 vsize=15681864 memory=136920 CPUtime=0 cores=1,3,5,7
/proc/3721/task/3740/stat : 3740 (java) S 3718 3721 32649 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 74405437 16058228736 628035 33554432000 4194304 4196468 140727871593008 140407715376432 140410811507869 0 4 0 25189583 18446744071580971376 0 0 -1 3 0 0 0 0 0 6293624 6294260 10362880 140727871599603 140727871599881 140727871599881 140727871602639 0
[pid=3721/tid=3741] ppid=3718 vsize=15681864 memory=13992 CPUtime=0 cores=1,3,5,7
/proc/3721/task/3741/stat : 3741 (java) S 3718 3721 32649 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 19 0 74405437 16058228736 628035 33554432000 4194304 4196468 140727871593008 140407849598896 140410811507869 0 4 0 25189583 18446744071580971376 0 0 -1 3 0 0 0 0 0 6293624 6294260 10362880 140727871599603 140727871599881 140727871599881 140727871602639 0
[pid=3721/tid=3742] ppid=3718 vsize=15681864 memory=7812867224463935171 CPUtime=0 cores=1,3,5,7
/proc/3721/task/3742/stat : 3742 (java) S 3718 3721 32649 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 19 0 74405439 16058228736 628035 33554432000 4194304 4196468 140727871593008 140407446953760 140410811496149 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10362880 140727871599603 140727871599881 140727871599881 140727871602639 0
Current children cumulated CPU time: 13.5 s
Current children cumulated vsize: 15879404 KiB
Current children cumulated memory: 2668560 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+8.81899 s]
# the end of solver process 3721 was just reported to runsolver
# cumulated CPU time of all completed processes: user=13.0279 s, system=0.615041 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+8.70092 s]
/proc/loadavg: 1.88 2.01 2.06 3/225 3742
/proc/meminfo: memFree=18536236/32770624 swapFree=67108860/67108860
[pid=3721] ppid=3718 vsize=15681864 memory=2512140 CPUtime=9.84 cores=1,3,5,7
/proc/3721/stat : 3721 (java) S 3718 3721 32649 0 -1 1077944320 28060 0 0 0 934 50 0 0 20 0 19 0 74404933 16058228736 628035 33554432000 4194304 4196468 140727871593008 140727871575552 140410811485943 0 0 0 25189583 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 10362880 140727871599603 140727871599881 140727871599881 140727871602639 0
/proc/3721/statm: 3920466 628035 3231 1 0 3881322 0
[pid=3737] ppid=3721 vsize=197540 memory=156420 CPUtime=3.66 cores=1,3,5,7
/proc/3737/stat : 3737 (minisat_release) R 3721 3721 32649 0 -1 4202496 54085 0 0 0 359 7 0 0 20 0 1 0 74405436 202280960 39105 33554432000 4194304 4308513 140726282847728 140726282844184 4280634 0 4 0 8388610 0 0 0 17 1 0 0 0 0 0 6409496 6410680 41664512 140726282850993 140726282851502 140726282851502 140726282854341 0
/proc/3737/statm: 49385 39105 334 28 0 45625 0
[pid=3721/tid=3723] ppid=3718 vsize=15681864 memory=55 CPUtime=4.92 cores=1,3,5,7
/proc/3721/task/3723/stat : 3723 (java) S 3718 3721 32649 0 -1 1077944384 17927 0 0 0 447 45 0 0 20 0 19 0 74404934 16058228736 628035 33554432000 4194304 4196468 140727871593008 140410783325184 140410811496149 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10362880 140727871599603 140727871599881 140727871599881 140727871602639 0
[pid=3721/tid=3724] ppid=3718 vsize=15681864 memory=6940162901351215168 CPUtime=0 cores=1,3,5,7
/proc/3721/task/3724/stat : 3724 (java) S 3718 3721 32649 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 74404935 16058228736 628035 33554432000 4194304 4196468 140727871593008 140410815728656 140410811496149 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10362880 140727871599603 140727871599881 140727871599881 140727871602639 0
[pid=3721/tid=3725] ppid=3718 vsize=15681864 memory=3467834605190656064 CPUtime=0 cores=1,3,5,7
/proc/3721/task/3725/stat : 3725 (java) S 3718 3721 32649 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 74404935 16058228736 628035 33554432000 4194304 4196468 140727871593008 140410606812304 140410811496149 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10362880 140727871599603 140727871599881 140727871599881 140727871602639 0
[pid=3721/tid=3726] ppid=3718 vsize=15681864 memory=136920 CPUtime=0 cores=1,3,5,7
/proc/3721/task/3726/stat : 3726 (java) S 3718 3721 32649 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 74404935 16058228736 628035 33554432000 4194304 4196468 140727871593008 140410605759248 140410811496149 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10362880 140727871599603 140727871599881 140727871599881 140727871602639 0
[pid=3721/tid=3727] ppid=3718 vsize=15681864 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3721/task/3727/stat : 3727 (java) S 3718 3721 32649 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 74404935 16058228736 628035 33554432000 4194304 4196468 140727871593008 140410604706704 140410811496149 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10362880 140727871599603 140727871599881 140727871599881 140727871602639 0
[pid=3721/tid=3728] ppid=3718 vsize=15681864 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3721/task/3728/stat : 3728 (java) S 3718 3721 32649 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 19 0 74404937 16058228736 628035 33554432000 4194304 4196468 140727871593008 140409782081776 140410811497090 0 0 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10362880 140727871599603 140727871599881 140727871599881 140727871602639 0
[pid=3721/tid=3729] ppid=3718 vsize=15681864 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3721/task/3729/stat : 3729 (java) S 3718 3721 32649 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 74404937 16058228736 628035 33554432000 4194304 4196468 140727871593008 140409393112224 140410811496149 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10362880 140727871599603 140727871599881 140727871599881 140727871602639 0
[pid=3721/tid=3730] ppid=3718 vsize=15681864 memory=55 CPUtime=0 cores=1,3,5,7
/proc/3721/task/3730/stat : 3730 (java) S 3718 3721 32649 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 74404938 16058228736 628035 33554432000 4194304 4196468 140727871593008 140409124676336 140410811496149 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10362880 140727871599603 140727871599881 140727871599881 140727871602639 0
[pid=3721/tid=3731] ppid=3718 vsize=15681864 memory=2432340 CPUtime=0 cores=1,3,5,7
/proc/3721/task/3731/stat : 3731 (java) S 3718 3721 32649 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 74404940 16058228736 628035 33554432000 4194304 4196468 140727871593008 140408750168016 140410811504539 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10362880 140727871599603 140727871599881 140727871599881 140727871602639 0
[pid=3721/tid=3732] ppid=3718 vsize=15681864 memory=2168148 CPUtime=1.84 cores=1,3,5,7
/proc/3721/task/3732/stat : 3732 (java) S 3718 3721 32649 0 -1 1077944384 2934 0 0 0 183 1 0 0 20 0 19 0 74404940 16058228736 628035 33554432000 4194304 4196468 140727871593008 140409781029616 140410811497090 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10362880 140727871599603 140727871599881 140727871599881 140727871602639 0
[pid=3721/tid=3733] ppid=3718 vsize=15681864 memory=956 CPUtime=2.09 cores=1,3,5,7
/proc/3721/task/3733/stat : 3733 (java) S 3718 3721 32649 0 -1 1077944384 2838 0 0 0 208 1 0 0 20 0 19 0 74404940 16058228736 628035 33554432000 4194304 4196468 140727871593008 140409779977072 140410811497090 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10362880 140727871599603 140727871599881 140727871599881 140727871602639 0
[pid=3721/tid=3734] ppid=3718 vsize=15681864 memory=1008 CPUtime=0.93 cores=1,3,5,7
/proc/3721/task/3734/stat : 3734 (java) S 3718 3721 32649 0 -1 1077944384 2964 0 0 0 92 1 0 0 20 0 19 0 74404940 16058228736 628035 33554432000 4194304 4196468 140727871593008 140409778924016 140410811497090 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10362880 140727871599603 140727871599881 140727871599881 140727871602639 0
[pid=3721/tid=3735] ppid=3718 vsize=15681864 memory=1228 CPUtime=0 cores=1,3,5,7
/proc/3721/task/3735/stat : 3735 (java) S 3718 3721 32649 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 74404940 16058228736 628035 33554432000 4194304 4196468 140727871593008 140408252263264 140410811496149 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10362880 140727871599603 140727871599881 140727871599881 140727871602639 0
[pid=3721/tid=3736] ppid=3718 vsize=15681864 memory=1200 CPUtime=0 cores=1,3,5,7
/proc/3721/task/3736/stat : 3736 (java) S 3718 3721 32649 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 74404940 16058228736 628035 33554432000 4194304 4196468 140727871593008 140409777871408 140410811497090 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 14 0 0 6293624 6294260 10362880 140727871599603 140727871599881 140727871599881 140727871602639 0
[pid=3721/tid=3738] ppid=3718 vsize=15681864 memory=2512140 CPUtime=0 cores=1,3,5,7
/proc/3721/task/3738/stat : 3738 (java) S 3718 3721 32649 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 74405436 16058228736 628035 33554432000 4194304 4196468 140727871593008 140410601375040 140410811510553 0 4 0 25189583 18446744071579417331 0 0 -1 1 0 0 0 0 0 6293624 6294260 10362880 140727871599603 140727871599881 140727871599881 140727871602639 0
[pid=3721/tid=3740] ppid=3718 vsize=15681864 memory=136920 CPUtime=0 cores=1,3,5,7
/proc/3721/task/3740/stat : 3740 (java) S 3718 3721 32649 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 74405437 16058228736 628035 33554432000 4194304 4196468 140727871593008 140407715376432 140410811507869 0 4 0 25189583 18446744071580971376 0 0 -1 3 0 0 0 0 0 6293624 6294260 10362880 140727871599603 140727871599881 140727871599881 140727871602639 0
[pid=3721/tid=3741] ppid=3718 vsize=15681864 memory=13992 CPUtime=0 cores=1,3,5,7
/proc/3721/task/3741/stat : 3741 (java) S 3718 3721 32649 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 19 0 74405437 16058228736 628035 33554432000 4194304 4196468 140727871593008 140407849598896 140410811507869 0 4 0 25189583 18446744071580971376 0 0 -1 3 0 0 0 0 0 6293624 6294260 10362880 140727871599603 140727871599881 140727871599881 140727871602639 0
[pid=3721/tid=3742] ppid=3718 vsize=15681864 memory=7812867224463935171 CPUtime=0 cores=1,3,5,7
/proc/3721/task/3742/stat : 3742 (java) S 3718 3721 32649 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 19 0 74405439 16058228736 628035 33554432000 4194304 4196468 140727871593008 140407446953760 140410811496149 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10362880 140727871599603 140727871599881 140727871599881 140727871602639 0
Current children cumulated CPU time: 13.5 s
Current children cumulated vsize: 15879404 KiB
Current children cumulated memory: 2668560 KiB
Child status: 1
Real time (s): 8.81904
CPU time (s): 13.643
CPU user time (s): 13.0279
CPU system time (s): 0.615041
CPU usage (%): 154.699
Max. virtual memory (cumulated for all children) (KiB): 15879404
Max. memory (cumulated for all children) (KiB): 2668560
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 13.0279
system time used= 0.615041
maximum resident set size= 2518908
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 83053
page faults= 0
swaps= 0
block input operations= 0
block output operations= 67720
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 4309
involuntary context switches= 31
# summary of solver processes directly reported to runsolver:
# pid: 3721
# total CPU time (s): 13.643
# total CPU user time (s): 13.0279
# total CPU system time (s): 0.615041
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.082306 second user time and 0.120855 second system time
The end