0.55/0.51
0.66/0.52 scop order+minisat_release (2018-06-13)
0.66/0.52
0.66/0.54 c BEGIN-Prog: Thu Jul 26 02:10:34 CEST 2018
0.66/0.54 c PID: 1699
0.66/0.54 c IP: 172.20.3.150
0.66/0.54 c HOST: node150.alineos.net
0.66/0.55 c (0,0) Parsing Begin
2.87/1.37 c (0,0) Parsing End
2.87/1.38 c (0,0) CSP: 200 int (0 aux), 1000 bool (0 aux), 1354 ctr, max domain size 17
2.87/1.39 c (0,0) Heap : 225 MiB used (max 10795 MiB), NonHeap : 22 MiB used (max 0 MiB)
2.87/1.39 c (0,0) Constraint Name Generate Begin
3.19/1.41 c (0,0) Ctr:HOME/instance-4295074-1532563833.xml,Cardinality:ExtensionSupport:IntVar:Num:WeightedSum
3.19/1.41 c (0,0) Constraint Name Generate End
3.19/1.41 c (0,0) Heap : 225 MiB used (max 10795 MiB), NonHeap : 22 MiB used (max 0 MiB)
3.19/1.41 c (0,0) CSP to CSPinCNF Begin
10.88/4.10 c (3,3) translated 136 (10%) constraints
11.86/4.53 c (4,3) translated 271 (20%) constraints
11.86/4.56 c (4,4) translated 407 (30%) constraints
11.86/4.58 c (4,4) translated 542 (40%) constraints
12.21/4.61 c (4,4) translated 677 (50%) constraints
12.21/4.63 c (4,4) translated 813 (60%) constraints
12.21/4.65 c (4,4) translated 948 (70%) constraints
12.21/4.66 c (4,4) translated 1084 (80%) constraints
13.22/5.02 c (4,4) translated 1219 (90%) constraints
14.91/6.69 c (6,6) translated 1354 (100%) constraints
16.56/7.24 c (6,6) STATISTICS1:HOME/instance-4295074-1532563833.xml,Cardinality:ExtensionSupport:IntVar:Num:WeightedSum,13000,44370,9223372036854775807,17,18,200,9223372036854775807:186;2305843009213693952:1;576460752303423488:2;288230376151711744:1;36028797018963968:1;18014398509481984:2;4503599627370496:1;562949953421312:1;17592186044416:1;549755813888:1;17179869184:1;536870912:1;16777216:1;16:392;4:396;2:199,17:13200;2:124609,18:200;3:22400;2:20600;1:1170,200:39;198:1;197:2;196:1;195:2;194:3;192:1;191:2;190:3;188:3;186:1;185:4;184:1;182:3;180:3;179:2;178:1;176:3;175:2;174:1;173:2;172:1;170:5;168:1;167:2;166:1;165:2;164:3;161:2;160:2;158:2;155:4;152:2;150:2;149:2;146:2;145:2;143:2;140:4;137:2;135:2;134:2;131:2;130:2;128:2;125:4;122:2;120:2;119:2;116:2;115:2;113:2;110:4;107:1;105:2;104:1;101:1;100:2;98:1;95:3;92:1;90:2;89:1;86:1;85:2;83:1;80:3;77:1;75:2;74:1;71:1;70:2;68:1;65:3;62:1;60:2;59:1;56:1;55:2;53:1;50:1;45:1;40:1;35:1;30:1;25:1;5:392;3:396;2:199;1:111800;0:200,17689:39;17424:1;17161:2;16900:3;16641:3;16384:1;16129:2;15876:3;15625:3;15376:1;15129:4;14884:1;14641:3;14400:3;14161:2;13924:1;13689:3;13456:3;13225:2;12996:1;12769:5;12544:1;12321:2;12100:3;11881:3;11449:2;11236:2;11025:2;10609:4;10201:2;10000:2;9801:2;9409:2;9216:2;9025:2;8649:4;8281:2;8100:2;7921:2;7569:2;7396:2;7225:2;6889:4;6561:2;6400:2;6241:2;5929:2;5776:2;5625:2;5329:4;5041:1;4900:2;4761:1;4489:1;4356:2;4225:1;3969:3;3721:1;3600:2;3481:1;3249:1;3136:2;3025:1;2809:3;2601:1;2500:2;2401:1;2209:1;2116:2;2025:1;1849:3
16.56/7.24 c (6,6) ===========================================
16.56/7.24 c (6,6) Order
16.56/7.24 c (6,6) ===========================================
18.34/7.87 c (7,7) translated 4437 (10%) constraints
18.96/8.05 c (7,7) translated 8874 (20%) constraints
19.27/8.13 c (7,7) translated 13311 (30%) constraints
19.54/8.22 c (7,7) translated 17748 (40%) constraints
19.54/8.29 c (7,7) translated 22185 (50%) constraints
19.84/8.37 c (7,7) translated 26622 (60%) constraints
20.14/8.44 c (7,7) translated 31059 (70%) constraints
20.36/8.51 c (7,7) translated 35496 (80%) constraints
20.36/8.58 c (8,7) translated 39933 (90%) constraints
25.30/10.25 c (9,9) translated 44370 (100%) constraints
25.30/10.25 c (9,9) CSP to CSPinCNF End
25.30/10.26 c (9,9) CSP: 3144 int (2944 aux), 16263 bool (15263 aux), 58596 ctr, max domain size 68
25.30/10.26 c (9,9) Heap : 1307 MiB used (max 10795 MiB), NonHeap : 31 MiB used (max 0 MiB)
25.30/10.26 c (9,9) CSPinCNF Propagation Begin
26.85/10.75 c (10,10) 0 values, 600 unsatisfiable literals, and 400 valid clauses are removed
26.85/10.75 c (10,10) CSPinCNF Propagation End
26.85/10.76 c (10,10) CSP: 3144 int (2944 aux), 16263 bool (15263 aux), 58196 ctr, max domain size 68
26.85/10.76 c (10,10) Heap : 1528 MiB used (max 10795 MiB), NonHeap : 32 MiB used (max 0 MiB)
26.85/10.76 c (10,10) Simplify CSPinCNF Begin
27.15/10.89 c (10,10) Simplify CSPinCNF End
27.15/10.90 c (10,10) CSP: 3144 int (2944 aux), 16263 bool (15263 aux), 58196 ctr, max domain size 68
27.15/10.90 c (10,10) Heap : 1583 MiB used (max 10795 MiB), NonHeap : 32 MiB used (max 0 MiB)
27.15/10.90 c (10,10) Calculate Precise Domain Begin
27.36/10.94 c (10,10) 0 values are removed by re-calculation
27.36/10.94 c (10,10) Calculate Precise Domain End
27.36/10.95 c (10,10) CSP: 3144 int (2944 aux), 16263 bool (15263 aux), 58196 ctr, max domain size 68
27.36/10.95 c (10,10) Heap : 1583 MiB used (max 10795 MiB), NonHeap : 32 MiB used (max 0 MiB)
27.36/10.95 c (10,10) CSPinCNF to SatSolver Begin
29.61/12.40 c (11,11) 5820 (10 %) CSP clauses are encoded (73465 SAT variables, 416769 SAT clauses)
29.81/12.46 c (11,11) 11640 (20 %) CSP clauses are encoded (73465 SAT variables, 422589 SAT clauses)
30.11/12.52 c (12,11) 17459 (30 %) CSP clauses are encoded (73465 SAT variables, 428408 SAT clauses)
30.11/12.56 c (12,11) 23279 (40 %) CSP clauses are encoded (73465 SAT variables, 434228 SAT clauses)
30.11/12.59 c (12,11) 29098 (50 %) CSP clauses are encoded (73465 SAT variables, 440047 SAT clauses)
30.33/12.62 c (12,11) 34918 (60 %) CSP clauses are encoded (73465 SAT variables, 445867 SAT clauses)
30.33/12.65 c (12,12) 40738 (70 %) CSP clauses are encoded (73465 SAT variables, 451687 SAT clauses)
30.50/12.78 c (12,12) 46557 (80 %) CSP clauses are encoded (73465 SAT variables, 457506 SAT clauses)
30.91/12.99 c (12,12) 52377 (90 %) CSP clauses are encoded (73465 SAT variables, 528987 SAT clauses)
34.30/16.60 c (16,15) 58196 (100 %) CSP clauses are encoded (73465 SAT variables, 1774773 SAT clauses)
34.30/16.60 c (16,15) CSPinCNF to SatSolver End
34.30/16.60 c (16,15) Heap : 466 MiB used (max 10795 MiB), NonHeap : 32 MiB used (max 0 MiB)
34.79/16.88 c (16,15) STATISTICS2:HOME/instance-4295074-1532563833.xml,Cardinality:ExtensionSupport:IntVar:Num:WeightedSum,19407,58196,4556,68,17,11,4556:5;4489:1;4422:2;4356:3;4290:3;4225:1;4160:2;4096:3;4032:3;3969:1;3906:4;3844:1;3782:3;3721:3;3660:2;3600:1;3540:3;3481:3;3422:2;3364:1;3306:5;3249:1;3192:2;3136:3;3080:3;3025:2;2970:2;2916:4;2862:2;2756:4;2652:2;2601:2;2550:2;2450:2;2401:2;2352:2;2256:4;2162:2;2116:2;2070:2;1980:2;1936:2;1892:2;1806:4;1722:2;1681:2;1640:2;1600:2;1560:2;1521:2;1482:2;1406:4;1332:1;1296:2;1260:1;1190:23;1156:21;1122:17;1089:13;1056:17;1024:202;992:13;961:27;930:13;900:15;870:15;841:15;812:17;784:9;756:13;729:10;702:9;676:14;650:9;625:10;600:11;576:10;552:13;529:8;512:493;506:13;484:10;462:9;441:14;420:9;400:10;380:11;361:8;342:10;324:31;306:92;289:63;272:61;256:1468;240:61;225:63;210:51;196:44;182:49;169:43;156:46;144:45;132:43;128:925;121:50;110:43;100:38;96:179;90:381;85:16;81:384;72:263;68:8;64:791;56:188;54:12;51:24;49:182;36:28;34:56;25:195;16:758;9:24;4:452;2:199,68:20;67:26;66:32;65:26;64:28;63:30;62:24;61:34;60:24;59:30;58:28;57:26;56:32;55:30;54:32;53:20;52:16;51:24;50:16;49:20;48:20;47:16;46:24;45:16;44:20;43:20;42:16;41:24;40:28;39:20;38:20;37:12;36:18;35:54;34:166;33:126;32:122;31:170;30:122;29:126;28:102;27:86;26:98;25:86;24:90;23:90;22:86;21:98;20:86;19:76;18:746;17:19966;16:518;15:478;14:376;13:364;12:716;11:374;10:986;9:2800;8:1850;7:1104;5:788;4:36;3:108;2:138061,17:200;3:22000;2:27400;1:8596,11:187;10:493;9:1400;8:925;7:552;5:929;3:3911;2:199;1:124200,
34.79/16.88 c (16,15) SatSolver.solve Begin
34.79/16.88 c (16,15) 73465 bool, 1774863 clause
34.79/16.88 c (16,15) 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-4295074-1532563833.xml-scop-1699.cnf HOME/instance-4295074-1532563833.xml-scop-1699.cnf.out
35.67/17.50 c (16,0) receiving signal SIGTERM
35.67/17.50 s UNKNOWN
35.67/17.51 c (16,15) SatSolver is killed by some reasons.
35.67/17.51 c (16,15) 0,0,9,10,10,10,16,TO,TO,STOP-AFTER(DIMACS)
35.67/17.51 c END-Prog: Thu Jul 26 02:10:51 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 (535 MiB free)
memory of node 1: 16384 MiB (11534 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4295074-1532563833/watcher-4295074-1532563833 -o /tmp/evaluation-result-4295074-1532563833/solver-4295074-1532563833 -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-4295074-1532563833.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
Current StackSize limit: 8192 KiB
solver pid=1699, runsolver pid=1696
[startup+0.10008 s]*
/proc/loadavg: 4.59 4.38 3.82 6/216 1714
/proc/meminfo: memFree=12298808/32770624 swapFree=67108860/67108860
[pid=1699] ppid=1696 vsize=15011656 memory=72776 CPUtime=0.11 cores=1,3,5,7
/proc/1699/stat : 1699 (java) S 1696 1699 32649 0 -1 1077944320 6893 0 0 0 10 1 0 0 20 0 15 0 73946610 15371935744 18194 33554432000 4194304 4196468 140722590814944 140722590797488 139788022243063 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 20123648 140722590819315 140722590819593 140722590819593 140722590822351 0
/proc/1699/statm: 3752914 18194 2778 1 0 3715374 0
[pid=1699/tid=1701] ppid=1696 vsize=15011656 memory=-8171376296011865461 CPUtime=0.09 cores=1,3,5,7
/proc/1699/task/1701/stat : 1701 (java) R 1696 1699 32649 0 -1 4202560 5400 0 0 0 8 1 0 0 20 0 15 0 73946610 15371935744 18590 33554432000 4194304 4196468 140722590814944 139787994054840 139788022254998 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 20123648 140722590819315 140722590819593 140722590819593 140722590822351 0
[pid=1699/tid=1702] ppid=1696 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/1699/task/1702/stat : 1702 (java) S 1696 1699 32649 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 73946612 15371935744 18590 33554432000 4194304 4196468 140722590814944 139788026485520 139788022253269 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20123648 140722590819315 140722590819593 140722590819593 140722590822351 0
[pid=1699/tid=1703] ppid=1696 vsize=15011656 memory=139977545160320 CPUtime=0 cores=1,3,5,7
/proc/1699/task/1703/stat : 1703 (java) S 1696 1699 32649 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 73946612 15371935744 18590 33554432000 4194304 4196468 140722590814944 139787840641936 139788022253269 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20123648 140722590819315 140722590819593 140722590819593 140722590822351 0
[pid=1699/tid=1704] ppid=1696 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1699/task/1704/stat : 1704 (java) S 1696 1699 32649 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 73946612 15371935744 18590 33554432000 4194304 4196468 140722590814944 139787839589392 139788022253269 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20123648 140722590819315 140722590819593 140722590819593 140722590822351 0
[pid=1699/tid=1705] ppid=1696 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/1699/task/1705/stat : 1705 (java) S 1696 1699 32649 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 73946612 15371935744 18590 33554432000 4194304 4196468 140722590814944 139787838536848 139788022253269 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20123648 140722590819315 140722590819593 140722590819593 140722590822351 0
[pid=1699/tid=1706] ppid=1696 vsize=15011656 memory=139977545160320 CPUtime=0 cores=1,3,5,7
/proc/1699/task/1706/stat : 1706 (java) S 1696 1699 32649 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 73946614 15371935744 18590 33554432000 4194304 4196468 140722590814944 139786881816560 139788022254210 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20123648 140722590819315 140722590819593 140722590819593 140722590822351 0
[pid=1699/tid=1707] ppid=1696 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/1699/task/1707/stat : 1707 (java) S 1696 1699 32649 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 73946614 15371935744 18590 33554432000 4194304 4196468 140722590814944 139786622854048 139788022253269 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20123648 140722590819315 140722590819593 140722590819593 140722590822351 0
[pid=1699/tid=1708] ppid=1696 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1699/task/1708/stat : 1708 (java) S 1696 1699 32649 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 73946614 15371935744 18590 33554432000 4194304 4196468 140722590814944 139786354418672 139788022253269 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20123648 140722590819315 140722590819593 140722590819593 140722590822351 0
[pid=1699/tid=1709] ppid=1696 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1699/task/1709/stat : 1709 (java) S 1696 1699 32649 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 73946617 15371935744 18590 33554432000 4194304 4196468 140722590814944 139785979910352 139788022261659 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20123648 140722590819315 140722590819593 140722590819593 140722590822351 0
[pid=1699/tid=1710] ppid=1696 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1699/task/1710/stat : 1710 (java) S 1696 1699 32649 0 -1 1077944384 315 0 0 0 0 0 0 0 20 0 15 0 73946617 15371935744 18590 33554432000 4194304 4196468 140722590814944 139786880764400 139788022254210 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20123648 140722590819315 140722590819593 140722590819593 140722590822351 0
[pid=1699/tid=1711] ppid=1696 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/1699/task/1711/stat : 1711 (java) S 1696 1699 32649 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 73946617 15371935744 18590 33554432000 4194304 4196468 140722590814944 139786879711856 139788022254210 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20123648 140722590819315 140722590819593 140722590819593 140722590822351 0
[pid=1699/tid=1712] ppid=1696 vsize=15011656 memory=139977545160320 CPUtime=0.01 cores=1,3,5,7
/proc/1699/task/1712/stat : 1712 (java) R 1696 1699 32649 0 -1 4202560 270 0 0 0 1 0 0 0 20 0 15 0 73946617 15371935744 18590 33554432000 4194304 4196468 140722590814944 139786878659312 139788001552977 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 20123648 140722590819315 140722590819593 140722590819593 140722590822351 0
[pid=1699/tid=1713] ppid=1696 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/1699/task/1713/stat : 1713 (java) S 1696 1699 32649 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 73946617 15371935744 18656 33554432000 4194304 4196468 140722590814944 139785482005600 139788022253269 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20123648 140722590819315 140722590819593 140722590819593 140722590822351 0
[pid=1699/tid=1714] ppid=1696 vsize=15011656 memory=139977545160320 CPUtime=0 cores=1,3,5,7
/proc/1699/task/1714/stat : 1714 (java) S 1696 1699 32649 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 73946617 15371935744 18656 33554432000 4194304 4196468 140722590814944 139786877606192 139788022254210 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20123648 140722590819315 140722590819593 140722590819593 140722590822351 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 15011656 KiB
Current children cumulated memory: 72776 KiB
[startup+0.210434 s]*
/proc/loadavg: 4.59 4.38 3.82 6/216 1714
/proc/meminfo: memFree=12282376/32770624 swapFree=67108860/67108860
[pid=1699] ppid=1696 vsize=15011656 memory=88088 CPUtime=0.25 cores=1,3,5,7
/proc/1699/stat : 1699 (java) S 1696 1699 32649 0 -1 1077944320 10963 0 0 0 22 3 0 0 20 0 15 0 73946610 15371935744 22022 33554432000 4194304 4196468 140722590814944 140722590797488 139788022243063 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 20123648 140722590819315 140722590819593 140722590819593 140722590822351 0
/proc/1699/statm: 3752914 22022 2912 1 0 3715374 0
[pid=1699/tid=1701] ppid=1696 vsize=15011656 memory=8389772277269004345 CPUtime=0.2 cores=1,3,5,7
/proc/1699/task/1701/stat : 1701 (java) R 1696 1699 32649 0 -1 4202560 8862 0 0 0 18 2 0 0 20 0 15 0 73946610 15371935744 22088 33554432000 4194304 4196468 140722590814944 139787994069456 139788006286693 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 20123648 140722590819315 140722590819593 140722590819593 140722590822351 0
[pid=1699/tid=1702] ppid=1696 vsize=15011656 memory=4294967639 CPUtime=0 cores=1,3,5,7
/proc/1699/task/1702/stat : 1702 (java) S 1696 1699 32649 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 73946612 15371935744 22088 33554432000 4194304 4196468 140722590814944 139788026485520 139788022253269 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20123648 140722590819315 140722590819593 140722590819593 140722590822351 0
[pid=1699/tid=1703] ppid=1696 vsize=15011656 memory=3617153013214287520 CPUtime=0 cores=1,3,5,7
/proc/1699/task/1703/stat : 1703 (java) S 1696 1699 32649 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 73946612 15371935744 22088 33554432000 4194304 4196468 140722590814944 139787840641936 139788022253269 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20123648 140722590819315 140722590819593 140722590819593 140722590822351 0
[pid=1699/tid=1704] ppid=1696 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1699/task/1704/stat : 1704 (java) S 1696 1699 32649 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 73946612 15371935744 22088 33554432000 4194304 4196468 140722590814944 139787839589392 139788022253269 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20123648 140722590819315 140722590819593 140722590819593 140722590822351 0
[pid=1699/tid=1705] ppid=1696 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/1699/task/1705/stat : 1705 (java) S 1696 1699 32649 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 73946612 15371935744 22088 33554432000 4194304 4196468 140722590814944 139787838536848 139788022253269 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20123648 140722590819315 140722590819593 140722590819593 140722590822351 0
[pid=1699/tid=1706] ppid=1696 vsize=15011656 memory=139977545160320 CPUtime=0 cores=1,3,5,7
/proc/1699/task/1706/stat : 1706 (java) S 1696 1699 32649 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 73946614 15371935744 22088 33554432000 4194304 4196468 140722590814944 139786881816560 139788022254210 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20123648 140722590819315 140722590819593 140722590819593 140722590822351 0
[pid=1699/tid=1707] ppid=1696 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/1699/task/1707/stat : 1707 (java) S 1696 1699 32649 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 73946614 15371935744 22088 33554432000 4194304 4196468 140722590814944 139786622854048 139788022253269 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20123648 140722590819315 140722590819593 140722590819593 140722590822351 0
[pid=1699/tid=1708] ppid=1696 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1699/task/1708/stat : 1708 (java) S 1696 1699 32649 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 73946614 15371935744 22088 33554432000 4194304 4196468 140722590814944 139786354418672 139788022253269 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20123648 140722590819315 140722590819593 140722590819593 140722590822351 0
[pid=1699/tid=1709] ppid=1696 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1699/task/1709/stat : 1709 (java) S 1696 1699 32649 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 73946617 15371935744 22088 33554432000 4194304 4196468 140722590814944 139785979910352 139788022261659 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20123648 140722590819315 140722590819593 140722590819593 140722590822351 0
[pid=1699/tid=1710] ppid=1696 vsize=15011656 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/1699/task/1710/stat : 1710 (java) R 1696 1699 32649 0 -1 4202560 337 0 0 0 1 0 0 0 20 0 15 0 73946617 15371935744 22088 33554432000 4194304 4196468 140722590814944 139786880764400 139788007124752 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 20123648 140722590819315 140722590819593 140722590819593 140722590822351 0
[pid=1699/tid=1711] ppid=1696 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/1699/task/1711/stat : 1711 (java) R 1696 1699 32649 0 -1 1077944384 156 0 0 0 0 0 0 0 20 0 15 0 73946617 15371935744 22088 33554432000 4194304 4196468 140722590814944 139786879711856 139788022254210 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 20123648 140722590819315 140722590819593 140722590819593 140722590822351 0
[pid=1699/tid=1712] ppid=1696 vsize=15011656 memory=139977545160320 CPUtime=0.03 cores=1,3,5,7
/proc/1699/task/1712/stat : 1712 (java) S 1696 1699 32649 0 -1 1077944384 289 0 0 0 3 0 0 0 20 0 15 0 73946617 15371935744 22088 33554432000 4194304 4196468 140722590814944 139786878659312 139788022254210 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20123648 140722590819315 140722590819593 140722590819593 140722590822351 0
[pid=1699/tid=1713] ppid=1696 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/1699/task/1713/stat : 1713 (java) S 1696 1699 32649 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 73946617 15371935744 22088 33554432000 4194304 4196468 140722590814944 139785482005600 139788022253269 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20123648 140722590819315 140722590819593 140722590819593 140722590822351 0
[pid=1699/tid=1714] ppid=1696 vsize=15011656 memory=139977545160320 CPUtime=0 cores=1,3,5,7
/proc/1699/task/1714/stat : 1714 (java) S 1696 1699 32649 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 73946617 15371935744 22088 33554432000 4194304 4196468 140722590814944 139786877606192 139788022254210 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20123648 140722590819315 140722590819593 140722590819593 140722590822351 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 15011656 KiB
Current children cumulated memory: 88088 KiB
[startup+0.310461 s]*
/proc/loadavg: 4.59 4.38 3.82 6/216 1714
/proc/meminfo: memFree=12278964/32770624 swapFree=67108860/67108860
[pid=1699] ppid=1696 vsize=15011656 memory=92072 CPUtime=0.42 cores=1,3,5,7
/proc/1699/stat : 1699 (java) S 1696 1699 32649 0 -1 1077944320 11534 0 0 0 39 3 0 0 20 0 15 0 73946610 15371935744 23018 33554432000 4194304 4196468 140722590814944 140722590797488 139788022243063 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 20123648 140722590819315 140722590819593 140722590819593 140722590822351 0
/proc/1699/statm: 3752914 23018 3013 1 0 3715374 0
[pid=1699/tid=1701] ppid=1696 vsize=15011656 memory=6935054825532540783 CPUtime=0.3 cores=1,3,5,7
/proc/1699/task/1701/stat : 1701 (java) R 1696 1699 32649 0 -1 4202560 9230 0 0 0 27 3 0 0 20 0 15 0 73946610 15371935744 23018 33554432000 4194304 4196468 140722590814944 139787994063824 139788006323550 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 20123648 140722590819315 140722590819593 140722590819593 140722590822351 0
[pid=1699/tid=1702] ppid=1696 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1699/task/1702/stat : 1702 (java) S 1696 1699 32649 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 73946612 15371935744 23018 33554432000 4194304 4196468 140722590814944 139788026485520 139788022253269 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20123648 140722590819315 140722590819593 140722590819593 140722590822351 0
[pid=1699/tid=1703] ppid=1696 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1699/task/1703/stat : 1703 (java) S 1696 1699 32649 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 73946612 15371935744 23018 33554432000 4194304 4196468 140722590814944 139787840641936 139788022253269 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20123648 140722590819315 140722590819593 140722590819593 140722590822351 0
[pid=1699/tid=1704] ppid=1696 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1699/task/1704/stat : 1704 (java) S 1696 1699 32649 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 73946612 15371935744 23018 33554432000 4194304 4196468 140722590814944 139787839589392 139788022253269 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20123648 140722590819315 140722590819593 140722590819593 140722590822351 0
[pid=1699/tid=1705] ppid=1696 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1699/task/1705/stat : 1705 (java) S 1696 1699 32649 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 73946612 15371935744 23018 33554432000 4194304 4196468 140722590814944 139787838536848 139788022253269 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20123648 140722590819315 140722590819593 140722590819593 140722590822351 0
[pid=1699/tid=1706] ppid=1696 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1699/task/1706/stat : 1706 (java) S 1696 1699 32649 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 73946614 15371935744 23018 33554432000 4194304 4196468 140722590814944 139786881816560 139788022254210 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20123648 140722590819315 140722590819593 140722590819593 140722590822351 0
[pid=1699/tid=1707] ppid=1696 vsize=15011656 memory=139977413470671 CPUtime=0 cores=1,3,5,7
/proc/1699/task/1707/stat : 1707 (java) S 1696 1699 32649 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 73946614 15371935744 23018 33554432000 4194304 4196468 140722590814944 139786622854048 139788022253269 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20123648 140722590819315 140722590819593 140722590819593 140722590822351 0
[pid=1699/tid=1708] ppid=1696 vsize=15011656 memory=67 CPUtime=0 cores=1,3,5,7
/proc/1699/task/1708/stat : 1708 (java) S 1696 1699 32649 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 73946614 15371935744 23018 33554432000 4194304 4196468 140722590814944 139786354418672 139788022253269 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20123648 140722590819315 140722590819593 140722590819593 140722590822351 0
[pid=1699/tid=1709] ppid=1696 vsize=15011656 memory=51172 CPUtime=0 cores=1,3,5,7
/proc/1699/task/1709/stat : 1709 (java) S 1696 1699 32649 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 73946617 15371935744 23018 33554432000 4194304 4196468 140722590814944 139785979910352 139788022261659 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20123648 140722590819315 140722590819593 140722590819593 140722590822351 0
[pid=1699/tid=1710] ppid=1696 vsize=15011656 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/1699/task/1710/stat : 1710 (java) S 1696 1699 32649 0 -1 1077944384 401 0 0 0 2 0 0 0 20 0 15 0 73946617 15371935744 23018 33554432000 4194304 4196468 140722590814944 139786880764400 139788022254210 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20123648 140722590819315 140722590819593 140722590819593 140722590822351 0
[pid=1699/tid=1711] ppid=1696 vsize=15011656 memory=139977413459215 CPUtime=0.01 cores=1,3,5,7
/proc/1699/task/1711/stat : 1711 (java) S 1696 1699 32649 0 -1 1077944384 239 0 0 0 1 0 0 0 20 0 15 0 73946617 15371935744 23018 33554432000 4194304 4196468 140722590814944 139786879711856 139788022254210 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20123648 140722590819315 140722590819593 140722590819593 140722590822351 0
[pid=1699/tid=1712] ppid=1696 vsize=15011656 memory=279954958628704 CPUtime=0.07 cores=1,3,5,7
/proc/1699/task/1712/stat : 1712 (java) S 1696 1699 32649 0 -1 1077944384 333 0 0 0 7 0 0 0 20 0 15 0 73946617 15371935744 23018 33554432000 4194304 4196468 140722590814944 139786878659312 139788022254210 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20123648 140722590819315 140722590819593 140722590819593 140722590822351 0
[pid=1699/tid=1713] ppid=1696 vsize=15011656 memory=139977413463823 CPUtime=0 cores=1,3,5,7
/proc/1699/task/1713/stat : 1713 (java) S 1696 1699 32649 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 73946617 15371935744 23018 33554432000 4194304 4196468 140722590814944 139785482005600 139788022253269 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20123648 140722590819315 140722590819593 140722590819593 140722590822351 0
[pid=1699/tid=1714] ppid=1696 vsize=15011656 memory=139977545160330 CPUtime=0 cores=1,3,5,7
/proc/1699/task/1714/stat : 1714 (java) S 1696 1699 32649 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 73946617 15371935744 23018 33554432000 4194304 4196468 140722590814944 139786877606192 139788022254210 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20123648 140722590819315 140722590819593 140722590819593 140722590822351 0
Current children cumulated CPU time: 0.42 s
Current children cumulated vsize: 15011656 KiB
Current children cumulated memory: 92072 KiB
[startup+0.70072 s]
/proc/loadavg: 4.59 4.38 3.82 6/216 1714
/proc/meminfo: memFree=12256640/32770624 swapFree=67108860/67108860
[pid=1699] ppid=1696 vsize=15020052 memory=132424 CPUtime=1.04 cores=1,3,5,7
/proc/1699/stat : 1699 (java) S 1696 1699 32649 0 -1 1077944320 18275 0 0 0 99 5 0 0 20 0 15 0 73946610 15380533248 33106 33554432000 4194304 4196468 140722590814944 140722590797488 139788022243063 0 0 0 25189583 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 20123648 140722590819315 140722590819593 140722590819593 140722590822351 0
/proc/1699/statm: 3755013 33106 3173 1 0 3716398 0
[pid=1699/tid=1701] ppid=1696 vsize=15020052 memory=147304627575305 CPUtime=0.67 cores=1,3,5,7
/proc/1699/task/1701/stat : 1701 (java) R 1696 1699 32649 0 -1 4202560 15353 0 0 0 63 4 0 0 20 0 15 0 73946610 15380533248 33106 33554432000 4194304 4196468 140722590814944 139787994079152 139788014480190 0 4 0 25189583 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 20123648 140722590819315 140722590819593 140722590819593 140722590822351 0
[pid=1699/tid=1702] ppid=1696 vsize=15020052 memory=26997 CPUtime=0 cores=1,3,5,7
/proc/1699/task/1702/stat : 1702 (java) S 1696 1699 32649 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 73946612 15380533248 33106 33554432000 4194304 4196468 140722590814944 139788026485520 139788022253269 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20123648 140722590819315 140722590819593 140722590819593 140722590822351 0
[pid=1699/tid=1703] ppid=1696 vsize=15020052 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1699/task/1703/stat : 1703 (java) S 1696 1699 32649 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 73946612 15380533248 33106 33554432000 4194304 4196468 140722590814944 139787840641936 139788022253269 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20123648 140722590819315 140722590819593 140722590819593 140722590822351 0
[pid=1699/tid=1704] ppid=1696 vsize=15020052 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1699/task/1704/stat : 1704 (java) S 1696 1699 32649 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 73946612 15380533248 33106 33554432000 4194304 4196468 140722590814944 139787839589392 139788022253269 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20123648 140722590819315 140722590819593 140722590819593 140722590822351 0
[pid=1699/tid=1705] ppid=1696 vsize=15020052 memory=279954826723568 CPUtime=0 cores=1,3,5,7
/proc/1699/task/1705/stat : 1705 (java) S 1696 1699 32649 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 73946612 15380533248 33106 33554432000 4194304 4196468 140722590814944 139787838536848 139788022253269 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20123648 140722590819315 140722590819593 140722590819593 140722590822351 0
[pid=1699/tid=1706] ppid=1696 vsize=15020052 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1699/task/1706/stat : 1706 (java) S 1696 1699 32649 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 73946614 15380533248 33106 33554432000 4194304 4196468 140722590814944 139786881816560 139788022254210 0 0 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20123648 140722590819315 140722590819593 140722590819593 140722590822351 0
[pid=1699/tid=1707] ppid=1696 vsize=15020052 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1699/task/1707/stat : 1707 (java) S 1696 1699 32649 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 73946614 15380533248 33106 33554432000 4194304 4196468 140722590814944 139786622854048 139788022253269 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20123648 140722590819315 140722590819593 140722590819593 140722590822351 0
[pid=1699/tid=1708] ppid=1696 vsize=15020052 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1699/task/1708/stat : 1708 (java) S 1696 1699 32649 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 73946614 15380533248 33106 33554432000 4194304 4196468 140722590814944 139786354418672 139788022253269 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20123648 140722590819315 140722590819593 140722590819593 140722590822351 0
[pid=1699/tid=1709] ppid=1696 vsize=15020052 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1699/task/1709/stat : 1709 (java) S 1696 1699 32649 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 73946617 15380533248 33172 33554432000 4194304 4196468 140722590814944 139785979910352 139788022261659 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20123648 140722590819315 140722590819593 140722590819593 140722590822351 0
[pid=1699/tid=1710] ppid=1696 vsize=15020052 memory=7307210970617654738 CPUtime=0.07 cores=1,3,5,7
/proc/1699/task/1710/stat : 1710 (java) R 1696 1699 32649 0 -1 4202560 622 0 0 0 7 0 0 0 20 0 15 0 73946617 15380533248 33172 33554432000 4194304 4196468 140722590814944 139786880754192 139788002943360 0 4 0 25189583 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 20123648 140722590819315 140722590819593 140722590819593 140722590822351 0
[pid=1699/tid=1711] ppid=1696 vsize=15020052 memory=-3535359994705171810 CPUtime=0.09 cores=1,3,5,7
/proc/1699/task/1711/stat : 1711 (java) R 1696 1699 32649 0 -1 4202560 467 0 0 0 9 0 0 0 20 0 15 0 73946617 15380533248 33172 33554432000 4194304 4196468 140722590814944 139786879699536 139787999838144 0 4 0 25189583 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 20123648 140722590819315 140722590819593 140722590819593 140722590822351 0
[pid=1699/tid=1712] ppid=1696 vsize=15020052 memory=0 CPUtime=0.18 cores=1,3,5,7
/proc/1699/task/1712/stat : 1712 (java) S 1696 1699 32649 0 -1 1077944384 532 0 0 0 18 0 0 0 20 0 15 0 73946617 15380533248 33172 33554432000 4194304 4196468 140722590814944 139786878659312 139788022254210 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20123648 140722590819315 140722590819593 140722590819593 140722590822351 0
[pid=1699/tid=1713] ppid=1696 vsize=15020052 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1699/task/1713/stat : 1713 (java) S 1696 1699 32649 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 73946617 15380533248 33238 33554432000 4194304 4196468 140722590814944 139785482005600 139788022253269 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20123648 140722590819315 140722590819593 140722590819593 140722590822351 0
[pid=1699/tid=1714] ppid=1696 vsize=15020052 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1699/task/1714/stat : 1714 (java) S 1696 1699 32649 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 73946617 15380533248 33238 33554432000 4194304 4196468 140722590814944 139786877606192 139788022254210 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20123648 140722590819315 140722590819593 140722590819593 140722590822351 0
Current children cumulated CPU time: 1.04 s
Current children cumulated vsize: 15020052 KiB
Current children cumulated memory: 132424 KiB
[startup+1.50074 s]
/proc/loadavg: 4.59 4.38 3.82 8/216 1714
/proc/meminfo: memFree=12217444/32770624 swapFree=67108860/67108860
[pid=1699] ppid=1696 vsize=15022100 memory=200504 CPUtime=3.45 cores=1,3,5,7
/proc/1699/stat : 1699 (java) S 1696 1699 32649 0 -1 1077944320 22005 0 0 0 337 8 0 0 20 0 15 0 73946610 15382630400 50126 33554432000 4194304 4196468 140722590814944 140722590797488 139788022243063 0 0 0 25189583 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 20123648 140722590819315 140722590819593 140722590819593 140722590822351 0
/proc/1699/statm: 3755525 50126 3212 1 0 3716910 0
[pid=1699/tid=1701] ppid=1696 vsize=15022100 memory=279954827188160 CPUtime=1.47 cores=1,3,5,7
/proc/1699/task/1701/stat : 1701 (java) R 1696 1699 32649 0 -1 4202560 16280 0 0 0 141 6 0 0 20 0 15 0 73946610 15382630400 50126 33554432000 4194304 4196468 140722590814944 139787994074912 139787512344120 0 4 0 25189583 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 20123648 140722590819315 140722590819593 140722590819593 140722590822351 0
[pid=1699/tid=1702] ppid=1696 vsize=15022100 memory=6154282490091891024 CPUtime=0 cores=1,3,5,7
/proc/1699/task/1702/stat : 1702 (java) S 1696 1699 32649 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 73946612 15382630400 50126 33554432000 4194304 4196468 140722590814944 139788026485520 139788022253269 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20123648 140722590819315 140722590819593 140722590819593 140722590822351 0
[pid=1699/tid=1703] ppid=1696 vsize=15022100 memory=6009862732647583824 CPUtime=0 cores=1,3,5,7
/proc/1699/task/1703/stat : 1703 (java) S 1696 1699 32649 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 73946612 15382630400 50126 33554432000 4194304 4196468 140722590814944 139787840641936 139788022253269 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20123648 140722590819315 140722590819593 140722590819593 140722590822351 0
[pid=1699/tid=1704] ppid=1696 vsize=15022100 memory=2212 CPUtime=0 cores=1,3,5,7
/proc/1699/task/1704/stat : 1704 (java) S 1696 1699 32649 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 73946612 15382630400 50126 33554432000 4194304 4196468 140722590814944 139787839589392 139788022253269 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20123648 140722590819315 140722590819593 140722590819593 140722590822351 0
[pid=1699/tid=1705] ppid=1696 vsize=15022100 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1699/task/1705/stat : 1705 (java) S 1696 1699 32649 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 73946612 15382630400 50126 33554432000 4194304 4196468 140722590814944 139787838536848 139788022253269 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20123648 140722590819315 140722590819593 140722590819593 140722590822351 0
[pid=1699/tid=1706] ppid=1696 vsize=15022100 memory=33 CPUtime=0 cores=1,3,5,7
/proc/1699/task/1706/stat : 1706 (java) S 1696 1699 32649 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 73946614 15382630400 50126 33554432000 4194304 4196468 140722590814944 139786881816560 139788022254210 0 0 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20123648 140722590819315 140722590819593 140722590819593 140722590822351 0
################
# More data... #
################
/proc/1699/task/1712/stat : 1712 (java) S 1696 1699 32649 0 -1 1077944384 4256 0 0 0 130 1 0 0 20 0 15 0 73946617 15384727552 609819 33554432000 4194304 4196468 140722590814944 139786878659312 139788022254210 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 2 0 0 6293624 6294260 20123648 140722590819315 140722590819593 140722590819593 140722590822351 0
[pid=1699/tid=1713] ppid=1696 vsize=15024148 memory=-7449383003082255510 CPUtime=0 cores=1,3,5,7
/proc/1699/task/1713/stat : 1713 (java) S 1696 1699 32649 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 73946617 15384727552 609819 33554432000 4194304 4196468 140722590814944 139785482005600 139788022253269 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20123648 140722590819315 140722590819593 140722590819593 140722590822351 0
[pid=1699/tid=1714] ppid=1696 vsize=15024148 memory=6944656425123094089 CPUtime=0 cores=1,3,5,7
/proc/1699/task/1714/stat : 1714 (java) S 1696 1699 32649 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 73946617 15384727552 609819 33554432000 4194304 4196468 140722590814944 139786877606192 139788022254210 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 8 0 0 6293624 6294260 20123648 140722590819315 140722590819593 140722590819593 140722590822351 0
Current children cumulated CPU time: 14.61 s
Current children cumulated vsize: 15024148 KiB
Current children cumulated memory: 2437228 KiB
[startup+12.7012 s]
/proc/loadavg: 4.76 4.43 3.85 6/216 1714
/proc/meminfo: memFree=9242864/32770624 swapFree=67108860/67108860
[pid=1699] ppid=1696 vsize=15028312 memory=3135228 CPUtime=30.5 cores=1,3,5,7
/proc/1699/stat : 1699 (java) S 1696 1699 32649 0 -1 1077944320 44820 0 0 0 2983 67 0 0 20 0 15 0 73946610 15388991488 783807 33554432000 4194304 4196468 140722590814944 140722590797488 139788022243063 0 0 0 25189583 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 20123648 140722590819315 140722590819593 140722590819593 140722590822351 0
/proc/1699/statm: 3757078 783807 3243 1 0 3717934 0
[pid=1699/tid=1701] ppid=1696 vsize=15028312 memory=279954827323648 CPUtime=12.54 cores=1,3,5,7
/proc/1699/task/1701/stat : 1701 (java) S 1696 1699 32649 0 -1 1077944384 20112 0 0 0 1203 51 0 0 20 0 15 0 73946610 15388991488 784319 33554432000 4194304 4196468 140722590814944 139787994082256 139788022253269 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20123648 140722590819315 140722590819593 140722590819593 140722590822351 0
[pid=1699/tid=1702] ppid=1696 vsize=15028312 memory=164 CPUtime=0.1 cores=1,3,5,7
/proc/1699/task/1702/stat : 1702 (java) R 1696 1699 32649 0 -1 4202560 62 0 0 0 8 2 0 0 20 0 15 0 73946612 15388991488 784319 33554432000 4194304 4196468 140722590814944 139788026485720 139788007270946 0 4 0 25189583 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 20123648 140722590819315 140722590819593 140722590819593 140722590822351 0
[pid=1699/tid=1703] ppid=1696 vsize=15028312 memory=279954827135280 CPUtime=0.09 cores=1,3,5,7
/proc/1699/task/1703/stat : 1703 (java) R 1696 1699 32649 0 -1 4202560 68 0 0 0 8 1 0 0 20 0 15 0 73946612 15388991488 784319 33554432000 4194304 4196468 140722590814944 139787840641936 139788007270919 0 4 0 25189583 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 20123648 140722590819315 140722590819593 140722590819593 140722590822351 0
[pid=1699/tid=1704] ppid=1696 vsize=15028312 memory=279954827399568 CPUtime=0.09 cores=1,3,5,7
/proc/1699/task/1704/stat : 1704 (java) R 1696 1699 32649 0 -1 4202560 53 0 0 0 7 2 0 0 20 0 15 0 73946612 15388991488 784319 33554432000 4194304 4196468 140722590814944 139787839589280 139788007270901 0 4 0 25189583 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 20123648 140722590819315 140722590819593 140722590819593 140722590822351 0
[pid=1699/tid=1705] ppid=1696 vsize=15028312 memory=139977413774864 CPUtime=0.1 cores=1,3,5,7
/proc/1699/task/1705/stat : 1705 (java) R 1696 1699 32649 0 -1 4202560 75 0 0 0 8 2 0 0 20 0 15 0 73946612 15388991488 784319 33554432000 4194304 4196468 140722590814944 139787838536848 139788007270937 0 4 0 25189583 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 20123648 140722590819315 140722590819593 140722590819593 140722590822351 0
[pid=1699/tid=1706] ppid=1696 vsize=15028312 memory=279954827138328 CPUtime=0.01 cores=1,3,5,7
/proc/1699/task/1706/stat : 1706 (java) S 1696 1699 32649 0 -1 1077944384 24 0 0 0 1 0 0 0 20 0 15 0 73946614 15388991488 784319 33554432000 4194304 4196468 140722590814944 139786881815072 139788022253269 0 0 0 25189583 18446744071579849748 0 0 -1 1 0 0 6 0 0 6293624 6294260 20123648 140722590819315 140722590819593 140722590819593 140722590822351 0
[pid=1699/tid=1707] ppid=1696 vsize=15028312 memory=55 CPUtime=0 cores=1,3,5,7
/proc/1699/task/1707/stat : 1707 (java) S 1696 1699 32649 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 73946614 15388991488 784319 33554432000 4194304 4196468 140722590814944 139786622854112 139788022253269 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20123648 140722590819315 140722590819593 140722590819593 140722590822351 0
[pid=1699/tid=1708] ppid=1696 vsize=15028312 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1699/task/1708/stat : 1708 (java) S 1696 1699 32649 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 73946614 15388991488 784319 33554432000 4194304 4196468 140722590814944 139786354418672 139788022253269 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20123648 140722590819315 140722590819593 140722590819593 140722590822351 0
[pid=1699/tid=1709] ppid=1696 vsize=15028312 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1699/task/1709/stat : 1709 (java) S 1696 1699 32649 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 73946617 15388991488 784319 33554432000 4194304 4196468 140722590814944 139785979910352 139788022261659 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20123648 140722590819315 140722590819593 140722590819593 140722590822351 0
[pid=1699/tid=1710] ppid=1696 vsize=15028312 memory=0 CPUtime=7.95 cores=1,3,5,7
/proc/1699/task/1710/stat : 1710 (java) S 1696 1699 32649 0 -1 1077944384 8583 0 0 0 793 2 0 0 20 0 15 0 73946617 15388991488 784319 33554432000 4194304 4196468 140722590814944 139786880764400 139788022254210 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 7 0 0 6293624 6294260 20123648 140722590819315 140722590819593 140722590819593 140722590822351 0
[pid=1699/tid=1711] ppid=1696 vsize=15028312 memory=1728 CPUtime=7.89 cores=1,3,5,7
/proc/1699/task/1711/stat : 1711 (java) S 1696 1699 32649 0 -1 1077944384 10151 0 0 0 787 2 0 0 20 0 15 0 73946617 15388991488 784319 33554432000 4194304 4196468 140722590814944 139786879711856 139788022254210 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 10 0 0 6293624 6294260 20123648 140722590819315 140722590819593 140722590819593 140722590822351 0
[pid=1699/tid=1712] ppid=1696 vsize=15028312 memory=1708 CPUtime=1.65 cores=1,3,5,7
/proc/1699/task/1712/stat : 1712 (java) S 1696 1699 32649 0 -1 1077944384 4363 0 0 0 164 1 0 0 20 0 15 0 73946617 15388991488 784319 33554432000 4194304 4196468 140722590814944 139786878659312 139788022254210 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 2 0 0 6293624 6294260 20123648 140722590819315 140722590819593 140722590819593 140722590822351 0
[pid=1699/tid=1713] ppid=1696 vsize=15028312 memory=5792 CPUtime=0 cores=1,3,5,7
/proc/1699/task/1713/stat : 1713 (java) S 1696 1699 32649 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 73946617 15388991488 784319 33554432000 4194304 4196468 140722590814944 139785482005600 139788022253269 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20123648 140722590819315 140722590819593 140722590819593 140722590822351 0
[pid=1699/tid=1714] ppid=1696 vsize=15028312 memory=4612 CPUtime=0 cores=1,3,5,7
/proc/1699/task/1714/stat : 1714 (java) S 1696 1699 32649 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 73946617 15388991488 784319 33554432000 4194304 4196468 140722590814944 139786877606192 139788022254210 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 8 0 0 6293624 6294260 20123648 140722590819315 140722590819593 140722590819593 140722590822351 0
Current children cumulated CPU time: 30.5 s
Current children cumulated vsize: 15028312 KiB
Current children cumulated memory: 3135228 KiB
Maximum VSize exceeded: sending SIGTERM then SIGKILL
[startup+17.5009 s]
/proc/loadavg: 4.78 4.44 3.85 6/221 1720
/proc/meminfo: memFree=9048812/32770624 swapFree=67108860/67108860
[pid=1699] ppid=1696 vsize=15683912 memory=3229920 CPUtime=35.07 cores=1,3,5,7
/proc/1699/stat : 1699 (java) S 1696 1699 32649 0 -1 1077944320 45807 0 0 0 3426 81 0 0 20 0 19 0 73946610 16060325888 807480 33554432000 4194304 4196468 140722590814944 140722590797488 139788022243063 0 0 0 25189583 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 20123648 140722590819315 140722590819593 140722590819593 140722590822351 0
/proc/1699/statm: 3920978 807480 3249 1 0 3881834 0
[pid=1715] ppid=1699 vsize=207144 memory=156528 CPUtime=0.6 cores=1,3,5,7
/proc/1715/stat : 1715 (minisat_release) R 1699 1699 32649 0 -1 4202496 29922 0 0 0 55 5 0 0 20 0 1 0 73948300 212115456 39132 33554432000 4194304 4308513 140721437912944 140721437910088 4261122 0 4 0 8388610 0 0 0 17 5 0 0 0 0 0 6409496 6410680 28135424 140721437921969 140721437922478 140721437922478 140721437925317 0
/proc/1715/statm: 51786 39132 330 28 0 48026 0
[pid=1699/tid=1701] ppid=1696 vsize=15683912 memory=0 CPUtime=16.16 cores=1,3,5,7
/proc/1699/task/1701/stat : 1701 (java) S 1696 1699 32649 0 -1 1077944384 20838 0 0 0 1561 55 0 0 20 0 19 0 73946610 16060325888 807480 33554432000 4194304 4196468 140722590814944 139787994082304 139788022253269 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 47 0 0 6293624 6294260 20123648 140722590819315 140722590819593 140722590819593 140722590822351 0
[pid=1699/tid=1702] ppid=1696 vsize=15683912 memory=2321 CPUtime=0.22 cores=1,3,5,7
/proc/1699/task/1702/stat : 1702 (java) S 1696 1699 32649 0 -1 1077944384 105 0 0 0 18 4 0 0 20 0 19 0 73946612 16060325888 807480 33554432000 4194304 4196468 140722590814944 139788026485520 139788022253269 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20123648 140722590819315 140722590819593 140722590819593 140722590822351 0
[pid=1699/tid=1703] ppid=1696 vsize=15683912 memory=3229920 CPUtime=0.22 cores=1,3,5,7
/proc/1699/task/1703/stat : 1703 (java) S 1696 1699 32649 0 -1 1077944384 114 0 0 0 18 4 0 0 20 0 19 0 73946612 16060325888 807480 33554432000 4194304 4196468 140722590814944 139787840641936 139788022253269 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20123648 140722590819315 140722590819593 140722590819593 140722590822351 0
[pid=1699/tid=1704] ppid=1696 vsize=15683912 memory=0 CPUtime=0.21 cores=1,3,5,7
/proc/1699/task/1704/stat : 1704 (java) S 1696 1699 32649 0 -1 1077944384 98 0 0 0 17 4 0 0 20 0 19 0 73946612 16060325888 807480 33554432000 4194304 4196468 140722590814944 139787839589392 139788022253269 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20123648 140722590819315 140722590819593 140722590819593 140722590822351 0
[pid=1699/tid=1705] ppid=1696 vsize=15683912 memory=-7677921907076152474 CPUtime=0.22 cores=1,3,5,7
/proc/1699/task/1705/stat : 1705 (java) S 1696 1699 32649 0 -1 1077944384 116 0 0 0 18 4 0 0 20 0 19 0 73946612 16060325888 807480 33554432000 4194304 4196468 140722590814944 139787838536848 139788022253269 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20123648 140722590819315 140722590819593 140722590819593 140722590822351 0
[pid=1699/tid=1706] ppid=1696 vsize=15683912 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/1699/task/1706/stat : 1706 (java) S 1696 1699 32649 0 -1 1077944384 24 0 0 0 1 0 0 0 20 0 19 0 73946614 16060325888 807480 33554432000 4194304 4196468 140722590814944 139786881816560 139788022254210 0 0 0 25189583 18446744071579849748 0 0 -1 7 0 0 6 0 0 6293624 6294260 20123648 140722590819315 140722590819593 140722590819593 140722590822351 0
[pid=1699/tid=1707] ppid=1696 vsize=15683912 memory=-5059952977386882957 CPUtime=0 cores=1,3,5,7
/proc/1699/task/1707/stat : 1707 (java) S 1696 1699 32649 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 73946614 16060325888 807480 33554432000 4194304 4196468 140722590814944 139786622854112 139788022253269 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20123648 140722590819315 140722590819593 140722590819593 140722590822351 0
[pid=1699/tid=1708] ppid=1696 vsize=15683912 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1699/task/1708/stat : 1708 (java) S 1696 1699 32649 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 73946614 16060325888 807480 33554432000 4194304 4196468 140722590814944 139786354418688 139788022253269 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20123648 140722590819315 140722590819593 140722590819593 140722590822351 0
[pid=1699/tid=1709] ppid=1696 vsize=15683912 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1699/task/1709/stat : 1709 (java) S 1696 1699 32649 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 73946617 16060325888 807480 33554432000 4194304 4196468 140722590814944 139785979910352 139788022261659 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20123648 140722590819315 140722590819593 140722590819593 140722590822351 0
[pid=1699/tid=1710] ppid=1696 vsize=15683912 memory=3472328279047811119 CPUtime=8.15 cores=1,3,5,7
/proc/1699/task/1710/stat : 1710 (java) S 1696 1699 32649 0 -1 1077944384 8583 0 0 0 813 2 0 0 20 0 19 0 73946617 16060325888 807480 33554432000 4194304 4196468 140722590814944 139786880764400 139788022254210 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 7 0 0 6293624 6294260 20123648 140722590819315 140722590819593 140722590819593 140722590822351 0
[pid=1699/tid=1711] ppid=1696 vsize=15683912 memory=6656426216303648864 CPUtime=8.07 cores=1,3,5,7
/proc/1699/task/1711/stat : 1711 (java) S 1696 1699 32649 0 -1 1077944384 10151 0 0 0 805 2 0 0 20 0 19 0 73946617 16060325888 807480 33554432000 4194304 4196468 140722590814944 139786879711856 139788022254210 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 10 0 0 6293624 6294260 20123648 140722590819315 140722590819593 140722590819593 140722590822351 0
[pid=1699/tid=1712] ppid=1696 vsize=15683912 memory=6944656592455097440 CPUtime=1.69 cores=1,3,5,7
/proc/1699/task/1712/stat : 1712 (java) S 1696 1699 32649 0 -1 1077944384 4376 0 0 0 168 1 0 0 20 0 19 0 73946617 16060325888 807480 33554432000 4194304 4196468 140722590814944 139786878659312 139788022254210 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 2 0 0 6293624 6294260 20123648 140722590819315 140722590819593 140722590819593 140722590822351 0
[pid=1699/tid=1713] ppid=1696 vsize=15683912 memory=4136 CPUtime=0 cores=1,3,5,7
/proc/1699/task/1713/stat : 1713 (java) S 1696 1699 32649 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 73946617 16060325888 807480 33554432000 4194304 4196468 140722590814944 139785482005600 139788022253269 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20123648 140722590819315 140722590819593 140722590819593 140722590822351 0
[pid=1699/tid=1714] ppid=1696 vsize=15683912 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1699/task/1714/stat : 1714 (java) S 1696 1699 32649 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 73946617 16060325888 807480 33554432000 4194304 4196468 140722590814944 139786877606192 139788022254210 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 8 0 0 6293624 6294260 20123648 140722590819315 140722590819593 140722590819593 140722590822351 0
[pid=1699/tid=1716] ppid=1696 vsize=15683912 memory=279954827071152 CPUtime=0 cores=1,3,5,7
/proc/1699/task/1716/stat : 1716 (java) S 1696 1699 32649 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 73948300 16060325888 807480 33554432000 4194304 4196468 140722590814944 139787092948032 139788022267673 0 4 0 25189583 18446744071579417331 0 0 -1 3 0 0 0 0 0 6293624 6294260 20123648 140722590819315 140722590819593 140722590819593 140722590822351 0
[pid=1699/tid=1718] ppid=1696 vsize=15683912 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1699/task/1718/stat : 1718 (java) S 1696 1699 32649 0 -1 4202560 23 0 0 0 0 0 0 0 20 0 19 0 73948300 16060325888 807480 33554432000 4194304 4196468 140722590814944 139784945118768 139788022264989 0 4 0 25189583 18446744071580971376 0 0 -1 7 0 0 0 0 0 6293624 6294260 20123648 140722590819315 140722590819593 140722590819593 140722590822351 0
[pid=1699/tid=1719] ppid=1696 vsize=15683912 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1699/task/1719/stat : 1719 (java) S 1696 1699 32649 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 19 0 73948300 16060325888 807480 33554432000 4194304 4196468 140722590814944 139785079340720 139788022264989 0 4 0 25189583 18446744071580971376 0 0 -1 3 0 0 0 0 0 6293624 6294260 20123648 140722590819315 140722590819593 140722590819593 140722590822351 0
[pid=1699/tid=1720] ppid=1696 vsize=15683912 memory=3214560 CPUtime=0 cores=1,3,5,7
/proc/1699/task/1720/stat : 1720 (java) S 1696 1699 32649 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 19 0 73948302 16060325888 807480 33554432000 4194304 4196468 140722590814944 139784676695584 139788022253269 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20123648 140722590819315 140722590819593 140722590819593 140722590822351 0
Current children cumulated CPU time: 35.67 s
Current children cumulated vsize: 15891056 KiB
Current children cumulated memory: 3386448 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+17.5418 s]
# the end of solver process 1699 was just reported to runsolver
# cumulated CPU time of all completed processes: user=34.8268 s, system=0.903957 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+17.5009 s]
/proc/loadavg: 4.78 4.44 3.85 6/221 1720
/proc/meminfo: memFree=9048812/32770624 swapFree=67108860/67108860
[pid=1699] ppid=1696 vsize=15683912 memory=3229920 CPUtime=35.07 cores=1,3,5,7
/proc/1699/stat : 1699 (java) S 1696 1699 32649 0 -1 1077944320 45807 0 0 0 3426 81 0 0 20 0 19 0 73946610 16060325888 807480 33554432000 4194304 4196468 140722590814944 140722590797488 139788022243063 0 0 0 25189583 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 20123648 140722590819315 140722590819593 140722590819593 140722590822351 0
/proc/1699/statm: 3920978 807480 3249 1 0 3881834 0
[pid=1715] ppid=1699 vsize=207144 memory=156528 CPUtime=0.6 cores=1,3,5,7
/proc/1715/stat : 1715 (minisat_release) R 1699 1699 32649 0 -1 4202496 29922 0 0 0 55 5 0 0 20 0 1 0 73948300 212115456 39132 33554432000 4194304 4308513 140721437912944 140721437910088 4261122 0 4 0 8388610 0 0 0 17 5 0 0 0 0 0 6409496 6410680 28135424 140721437921969 140721437922478 140721437922478 140721437925317 0
/proc/1715/statm: 51786 39132 330 28 0 48026 0
[pid=1699/tid=1701] ppid=1696 vsize=15683912 memory=0 CPUtime=16.16 cores=1,3,5,7
/proc/1699/task/1701/stat : 1701 (java) S 1696 1699 32649 0 -1 1077944384 20838 0 0 0 1561 55 0 0 20 0 19 0 73946610 16060325888 807480 33554432000 4194304 4196468 140722590814944 139787994082304 139788022253269 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 47 0 0 6293624 6294260 20123648 140722590819315 140722590819593 140722590819593 140722590822351 0
[pid=1699/tid=1702] ppid=1696 vsize=15683912 memory=2321 CPUtime=0.22 cores=1,3,5,7
/proc/1699/task/1702/stat : 1702 (java) S 1696 1699 32649 0 -1 1077944384 105 0 0 0 18 4 0 0 20 0 19 0 73946612 16060325888 807480 33554432000 4194304 4196468 140722590814944 139788026485520 139788022253269 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20123648 140722590819315 140722590819593 140722590819593 140722590822351 0
[pid=1699/tid=1703] ppid=1696 vsize=15683912 memory=3229920 CPUtime=0.22 cores=1,3,5,7
/proc/1699/task/1703/stat : 1703 (java) S 1696 1699 32649 0 -1 1077944384 114 0 0 0 18 4 0 0 20 0 19 0 73946612 16060325888 807480 33554432000 4194304 4196468 140722590814944 139787840641936 139788022253269 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20123648 140722590819315 140722590819593 140722590819593 140722590822351 0
[pid=1699/tid=1704] ppid=1696 vsize=15683912 memory=0 CPUtime=0.21 cores=1,3,5,7
/proc/1699/task/1704/stat : 1704 (java) S 1696 1699 32649 0 -1 1077944384 98 0 0 0 17 4 0 0 20 0 19 0 73946612 16060325888 807480 33554432000 4194304 4196468 140722590814944 139787839589392 139788022253269 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20123648 140722590819315 140722590819593 140722590819593 140722590822351 0
[pid=1699/tid=1705] ppid=1696 vsize=15683912 memory=-7677921907076152474 CPUtime=0.22 cores=1,3,5,7
/proc/1699/task/1705/stat : 1705 (java) S 1696 1699 32649 0 -1 1077944384 116 0 0 0 18 4 0 0 20 0 19 0 73946612 16060325888 807480 33554432000 4194304 4196468 140722590814944 139787838536848 139788022253269 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20123648 140722590819315 140722590819593 140722590819593 140722590822351 0
[pid=1699/tid=1706] ppid=1696 vsize=15683912 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/1699/task/1706/stat : 1706 (java) S 1696 1699 32649 0 -1 1077944384 24 0 0 0 1 0 0 0 20 0 19 0 73946614 16060325888 807480 33554432000 4194304 4196468 140722590814944 139786881816560 139788022254210 0 0 0 25189583 18446744071579849748 0 0 -1 7 0 0 6 0 0 6293624 6294260 20123648 140722590819315 140722590819593 140722590819593 140722590822351 0
[pid=1699/tid=1707] ppid=1696 vsize=15683912 memory=-5059952977386882957 CPUtime=0 cores=1,3,5,7
/proc/1699/task/1707/stat : 1707 (java) S 1696 1699 32649 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 73946614 16060325888 807480 33554432000 4194304 4196468 140722590814944 139786622854112 139788022253269 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20123648 140722590819315 140722590819593 140722590819593 140722590822351 0
[pid=1699/tid=1708] ppid=1696 vsize=15683912 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1699/task/1708/stat : 1708 (java) S 1696 1699 32649 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 73946614 16060325888 807480 33554432000 4194304 4196468 140722590814944 139786354418688 139788022253269 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20123648 140722590819315 140722590819593 140722590819593 140722590822351 0
[pid=1699/tid=1709] ppid=1696 vsize=15683912 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1699/task/1709/stat : 1709 (java) S 1696 1699 32649 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 73946617 16060325888 807480 33554432000 4194304 4196468 140722590814944 139785979910352 139788022261659 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20123648 140722590819315 140722590819593 140722590819593 140722590822351 0
[pid=1699/tid=1710] ppid=1696 vsize=15683912 memory=3472328279047811119 CPUtime=8.15 cores=1,3,5,7
/proc/1699/task/1710/stat : 1710 (java) S 1696 1699 32649 0 -1 1077944384 8583 0 0 0 813 2 0 0 20 0 19 0 73946617 16060325888 807480 33554432000 4194304 4196468 140722590814944 139786880764400 139788022254210 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 7 0 0 6293624 6294260 20123648 140722590819315 140722590819593 140722590819593 140722590822351 0
[pid=1699/tid=1711] ppid=1696 vsize=15683912 memory=6656426216303648864 CPUtime=8.07 cores=1,3,5,7
/proc/1699/task/1711/stat : 1711 (java) S 1696 1699 32649 0 -1 1077944384 10151 0 0 0 805 2 0 0 20 0 19 0 73946617 16060325888 807480 33554432000 4194304 4196468 140722590814944 139786879711856 139788022254210 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 10 0 0 6293624 6294260 20123648 140722590819315 140722590819593 140722590819593 140722590822351 0
[pid=1699/tid=1712] ppid=1696 vsize=15683912 memory=6944656592455097440 CPUtime=1.69 cores=1,3,5,7
/proc/1699/task/1712/stat : 1712 (java) S 1696 1699 32649 0 -1 1077944384 4376 0 0 0 168 1 0 0 20 0 19 0 73946617 16060325888 807480 33554432000 4194304 4196468 140722590814944 139786878659312 139788022254210 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 2 0 0 6293624 6294260 20123648 140722590819315 140722590819593 140722590819593 140722590822351 0
[pid=1699/tid=1713] ppid=1696 vsize=15683912 memory=4136 CPUtime=0 cores=1,3,5,7
/proc/1699/task/1713/stat : 1713 (java) S 1696 1699 32649 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 73946617 16060325888 807480 33554432000 4194304 4196468 140722590814944 139785482005600 139788022253269 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20123648 140722590819315 140722590819593 140722590819593 140722590822351 0
[pid=1699/tid=1714] ppid=1696 vsize=15683912 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1699/task/1714/stat : 1714 (java) S 1696 1699 32649 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 73946617 16060325888 807480 33554432000 4194304 4196468 140722590814944 139786877606192 139788022254210 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 8 0 0 6293624 6294260 20123648 140722590819315 140722590819593 140722590819593 140722590822351 0
[pid=1699/tid=1716] ppid=1696 vsize=15683912 memory=279954827071152 CPUtime=0 cores=1,3,5,7
/proc/1699/task/1716/stat : 1716 (java) S 1696 1699 32649 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 73948300 16060325888 807480 33554432000 4194304 4196468 140722590814944 139787092948032 139788022267673 0 4 0 25189583 18446744071579417331 0 0 -1 3 0 0 0 0 0 6293624 6294260 20123648 140722590819315 140722590819593 140722590819593 140722590822351 0
[pid=1699/tid=1718] ppid=1696 vsize=15683912 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1699/task/1718/stat : 1718 (java) S 1696 1699 32649 0 -1 4202560 23 0 0 0 0 0 0 0 20 0 19 0 73948300 16060325888 807480 33554432000 4194304 4196468 140722590814944 139784945118768 139788022264989 0 4 0 25189583 18446744071580971376 0 0 -1 7 0 0 0 0 0 6293624 6294260 20123648 140722590819315 140722590819593 140722590819593 140722590822351 0
[pid=1699/tid=1719] ppid=1696 vsize=15683912 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1699/task/1719/stat : 1719 (java) S 1696 1699 32649 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 19 0 73948300 16060325888 807480 33554432000 4194304 4196468 140722590814944 139785079340720 139788022264989 0 4 0 25189583 18446744071580971376 0 0 -1 3 0 0 0 0 0 6293624 6294260 20123648 140722590819315 140722590819593 140722590819593 140722590822351 0
[pid=1699/tid=1720] ppid=1696 vsize=15683912 memory=3214560 CPUtime=0 cores=1,3,5,7
/proc/1699/task/1720/stat : 1720 (java) S 1696 1699 32649 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 19 0 73948302 16060325888 807480 33554432000 4194304 4196468 140722590814944 139784676695584 139788022253269 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20123648 140722590819315 140722590819593 140722590819593 140722590822351 0
Current children cumulated CPU time: 35.67 s
Current children cumulated vsize: 15891056 KiB
Current children cumulated memory: 3386448 KiB
Child status: 1
Real time (s): 17.5418
CPU time (s): 35.7307
CPU user time (s): 34.8268
CPU system time (s): 0.903957
CPU usage (%): 203.689
Max. virtual memory (cumulated for all children) (KiB): 15891056
Max. memory (cumulated for all children) (KiB): 3386448
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 34.8268
system time used= 0.903957
maximum resident set size= 3233032
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 75793
page faults= 0
swaps= 0
block input operations= 0
block output operations= 89016
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 5906
involuntary context switches= 113
# summary of solver processes directly reported to runsolver:
# pid: 1699
# total CPU time (s): 35.7307
# total CPU user time (s): 34.8268
# total CPU system time (s): 0.903957
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.151656 second user time and 0.195403 second system time
The end