Trace number 4295083

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
scop order+MapleCOMSPS (2018-06-13)? (MO) 38.6231 20.1527

General information on the benchmark

NameCarSequencing/
CarSequencing-70-02_c18.xml
MD5SUMdf4cedb493dfe6d7df97c8cdc585ec30
Bench CategoryCSP (decision problem)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark0.329413
Satisfiable
(Un)Satisfiability was proved
Number of variables1200
Number of constraints1397
Number of domains2
Minimum domain size2
Maximum domain size23
Distribution of domain sizes[{"size":2,"count":1000},{"size":23,"count":200}]
Minimum variable degree2
Maximum variable degree57
Distribution of variable degrees[{"degree":2,"count":200},{"degree":3,"count":5},{"degree":4,"count":5},{"degree":5,"count":6},{"degree":6,"count":10},{"degree":7,"count":10},{"degree":8,"count":18},{"degree":9,"count":18},{"degree":10,"count":18},{"degree":11,"count":18},{"degree":12,"count":18},{"degree":13,"count":18},{"degree":14,"count":18},{"degree":15,"count":18},{"degree":16,"count":18},{"degree":17,"count":18},{"degree":18,"count":18},{"degree":19,"count":18},{"degree":20,"count":18},{"degree":21,"count":18},{"degree":22,"count":18},{"degree":23,"count":18},{"degree":24,"count":18},{"degree":25,"count":18},{"degree":26,"count":18},"...",{"degree":33,"count":19}, {"degree":34,"count":19}, {"degree":35,"count":19}, {"degree":36,"count":19}, {"degree":37,"count":59}, {"degree":38,"count":14}, {"degree":39,"count":14}, {"degree":40,"count":14}, {"degree":41,"count":14}, {"degree":42,"count":29}, {"degree":43,"count":9}, {"degree":44,"count":9}, {"degree":45,"count":83}, {"degree":46,"count":5}, {"degree":47,"count":5}, {"degree":48,"count":5}, {"degree":49,"count":5}, {"degree":50,"count":6}, {"degree":51,"count":108}, {"degree":52,"count":3}, {"degree":53,"count":3}, {"degree":54,"count":3}, {"degree":55,"count":4}, {"degree":56,"count":4}, {"degree":57,"count":42}]
Minimum constraint arity2
Maximum constraint arity200
Distribution of constraint arities[{"arity":2,"count":199},{"arity":3,"count":396},{"arity":5,"count":392},{"arity":6,"count":200},{"arity":25,"count":1},{"arity":30,"count":1},{"arity":35,"count":1},{"arity":40,"count":1},{"arity":44,"count":1},{"arity":45,"count":1},{"arity":47,"count":1},{"arity":50,"count":3},{"arity":53,"count":1},{"arity":55,"count":2},{"arity":56,"count":1},{"arity":59,"count":1},{"arity":60,"count":2},{"arity":62,"count":1},{"arity":65,"count":3},{"arity":68,"count":1},{"arity":70,"count":2},{"arity":71,"count":1},{"arity":74,"count":1},{"arity":75,"count":2},{"arity":77,"count":1},"...",{"arity":167,"count":2}, {"arity":168,"count":1}, {"arity":170,"count":5}, {"arity":172,"count":1}, {"arity":173,"count":2}, {"arity":174,"count":1}, {"arity":175,"count":2}, {"arity":176,"count":3}, {"arity":178,"count":1}, {"arity":179,"count":2}, {"arity":180,"count":3}, {"arity":182,"count":3}, {"arity":184,"count":1}, {"arity":185,"count":4}, {"arity":186,"count":1}, {"arity":188,"count":3}, {"arity":190,"count":3}, {"arity":191,"count":2}, {"arity":192,"count":1}, {"arity":194,"count":3}, {"arity":195,"count":2}, {"arity":196,"count":1}, {"arity":197,"count":2}, {"arity":198,"count":1}, {"arity":200,"count":6}]
Number of extensional constraints200
Number of intensional constraints0
Distribution of constraint types[{"type":"extension","count":200},{"type":"sum","count":1196},{"type":"cardinality","count":1}]
Optimization problemNO
Type of objective

Solver Data 

0.66/0.52	
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:52 CEST 2018
0.66/0.54	c PID: 1783
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.38	c (0,0) Parsing End
2.87/1.40	c (0,0) CSP: 200 int (0 aux), 1000 bool (0 aux), 1397 ctr, max domain size 23
3.17/1.40	c (0,0) Heap : 225 MiB used (max 10795 MiB), NonHeap : 22 MiB used (max 0 MiB)
3.17/1.40	c (0,0) Constraint Name Generate Begin
3.17/1.42	c (0,0) Ctr:HOME/instance-4295083-1532563852.xml,Cardinality:ExtensionSupport:IntVar:Num:WeightedSum
3.17/1.43	c (0,0) Constraint Name Generate End
3.17/1.43	c (0,0) Heap : 225 MiB used (max 10795 MiB), NonHeap : 22 MiB used (max 0 MiB)
3.17/1.43	c (0,0) CSP to CSPinCNF Begin
12.16/4.60	c (4,4) translated 140 (10%) constraints
12.60/5.09	c (4,4) translated 280 (20%) constraints
12.78/5.12	c (4,4) translated 420 (30%) constraints
12.78/5.14	c (4,4) translated 559 (40%) constraints
12.78/5.17	c (4,4) translated 699 (50%) constraints
12.78/5.19	c (4,4) translated 839 (60%) constraints
13.13/5.21	c (4,4) translated 978 (70%) constraints
13.13/5.22	c (4,4) translated 1118 (80%) constraints
14.68/6.35	c (5,5) translated 1258 (90%) constraints
16.29/7.69	c (7,7) translated 1397 (100%) constraints
17.61/8.22	c (7,7) STATISTICS1:HOME/instance-4295083-1532563852.xml,Cardinality:ExtensionSupport:IntVar:Num:WeightedSum,15800,54419,9223372036854775807,23,24,200,9223372036854775807:237;2305843009213693952:1;576460752303423488:2;288230376151711744:1;36028797018963968:1;18014398509481984:2;4503599627370496:1;562949953421312:3;70368744177664:1;17592186044416:1;8796093022208:1;549755813888:1;17179869184:1;536870912:1;16777216:1;16:392;4:396;2:199,23:18000;2:151621,24:200;3:28000;2:25000;1:1219,200:51;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;162:1;161:2;160:3;158:3;156:1;155:4;154:1;152:3;150:3;149:2;148:1;146:3;145:2;144:1;143:2;142:1;140:5;138:1;137:2;136:1;135:2;134:3;132:1;131:2;130:3;128:3;126:1;125:4;124:1;122:3;120:3;119:2;118:1;116:3;115:2;114:1;113:2;112:1;110:5;108:1;107:2;106:1;105:2;104:2;101:2;100:2;98:2;95:4;92:2;90:2;89:2;86:2;85:2;83:2;80:4;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:3;47:1;45:1;44:1;40:1;35:1;30:1;25:1;5:392;3:396;2:199;1:138600;0:200,17689:51;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;11664:1;11449:2;11236:3;11025:3;10816:1;10609:4;10404:1;10201:3;10000:3;9801:2;9604:1;9409:3;9216:3;9025:2;8836:1;8649:5;8464:1;8281:2;8100:3;7921:3;7744:1;7569:2;7396:3;7225:3;7056:1;6889:4;6724:1;6561:3;6400:3;6241:2;6084:1;5929:3;5776:3;5625:2;5476:1;5329:5;5184:1;5041:2;4900:3;4761:2;4489:2;4356:2;4225:2;3969:4;3721:2;3600:2;3481:2;3249:2;3136:2;3025:2;2809:4;2601:1;2500:2;2401:1;2209:1;2116:2;2025:1;1849:3
17.61/8.22	c (7,7) ===========================================
17.61/8.22	c (7,7) Order
17.61/8.22	c (7,7) ===========================================
19.67/8.95	c (8,8) translated 5442 (10%) constraints
20.30/9.18	c (8,8) translated 10884 (20%) constraints
20.57/9.27	c (8,8) translated 16326 (30%) constraints
20.75/9.34	c (8,8) translated 21768 (40%) constraints
20.85/9.42	c (8,8) translated 27210 (50%) constraints
20.95/9.50	c (8,8) translated 32652 (60%) constraints
20.95/9.58	c (9,8) translated 38094 (70%) constraints
21.05/9.66	c (9,9) translated 43536 (80%) constraints
21.15/9.73	c (9,9) translated 48978 (90%) constraints
26.27/11.64	c (11,10) translated 54419 (100%) constraints
26.27/11.66	c (11,11) CSP to CSPinCNF End
26.27/11.67	c (11,11) CSP: 3796 int (3596 aux), 20227 bool (19227 aux), 72962 ctr, max domain size 68
26.27/11.67	c (11,11) Heap : 2145 MiB used (max 10795 MiB), NonHeap : 31 MiB used (max 0 MiB)
26.27/11.67	c (11,11) CSPinCNF Propagation Begin
27.69/12.13	c (11,11) 0 values, 600 unsatisfiable literals, and 400 valid clauses are removed
27.69/12.13	c (11,11) CSPinCNF Propagation End
27.69/12.13	c (11,11) CSP: 3796 int (3596 aux), 20227 bool (19227 aux), 72562 ctr, max domain size 68
27.69/12.13	c (11,11) Heap : 2421 MiB used (max 10795 MiB), NonHeap : 32 MiB used (max 0 MiB)
27.69/12.13	c (11,11) Simplify CSPinCNF Begin
27.92/12.28	c (11,11) Simplify CSPinCNF End
27.92/12.29	c (11,11) CSP: 3796 int (3596 aux), 20227 bool (19227 aux), 72562 ctr, max domain size 68
27.92/12.29	c (11,11) Heap : 2477 MiB used (max 10795 MiB), NonHeap : 32 MiB used (max 0 MiB)
27.92/12.29	c (11,11) Calculate Precise Domain Begin
28.05/12.34	c (11,11) 0 values are removed by re-calculation
28.05/12.34	c (11,11) Calculate Precise Domain End
28.05/12.34	c (11,11) CSP: 3796 int (3596 aux), 20227 bool (19227 aux), 72562 ctr, max domain size 68
28.05/12.34	c (11,11) Heap : 2532 MiB used (max 10795 MiB), NonHeap : 32 MiB used (max 0 MiB)
28.05/12.34	c (11,11) CSPinCNF to SatSolver Begin
31.47/14.35	c (13,13) 7257 (10 %) CSP clauses are encoded (87989 SAT variables, 530706 SAT clauses)
31.77/14.42	c (13,13) 14513 (20 %) CSP clauses are encoded (87989 SAT variables, 537962 SAT clauses)
31.77/14.49	c (13,13) 21769 (30 %) CSP clauses are encoded (87989 SAT variables, 545218 SAT clauses)
32.04/14.53	c (14,13) 29025 (40 %) CSP clauses are encoded (87989 SAT variables, 552474 SAT clauses)
32.04/14.56	c (14,13) 36281 (50 %) CSP clauses are encoded (87989 SAT variables, 559730 SAT clauses)
32.17/14.60	c (14,13) 43538 (60 %) CSP clauses are encoded (87989 SAT variables, 566987 SAT clauses)
32.17/14.63	c (14,13) 50794 (70 %) CSP clauses are encoded (87989 SAT variables, 574243 SAT clauses)
32.17/14.67	c (14,13) 58050 (80 %) CSP clauses are encoded (87989 SAT variables, 581499 SAT clauses)
32.38/14.84	c (14,14) 65306 (90 %) CSP clauses are encoded (87989 SAT variables, 647036 SAT clauses)
36.83/19.12	c (18,17) 72562 (100 %) CSP clauses are encoded (87989 SAT variables, 2215461 SAT clauses)
36.83/19.12	c (18,17) CSPinCNF to SatSolver End
36.83/19.12	c (18,17) Heap : 2602 MiB used (max 10795 MiB), NonHeap : 32 MiB used (max 0 MiB)
37.53/19.44	c (18,18) STATISTICS2:HOME/instance-4295083-1532563852.xml,Cardinality:ExtensionSupport:IntVar:Num:WeightedSum,24023,72562,4556,68,23,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:1;2970:2;2916:3;2862:3;2809:1;2756:4;2704:1;2652:3;2601:3;2550:2;2500:1;2450:3;2401:5;2352:2;2304:1;2256:5;2209:1;2162:2;2116:3;2070:3;2025:1;1980:2;1936:3;1892:3;1849:1;1806:4;1764:1;1722:3;1681:3;1640:2;1600:1;1560:3;1521:3;1482:2;1444:1;1406:5;1369:1;1332:2;1296:5;1260:2;1190:20;1156:19;1122:18;1089:13;1056:18;1024:274;992:14;961:19;930:14;900:15;870:16;841:15;812:18;784:13;756:18;729:23;702:13;676:19;650:13;625:15;600:15;576:15;552:17;529:13;512:671;506:17;484:15;462:13;441:19;420:13;400:23;380:15;361:15;342:15;324:34;306:97;289:66;272:65;256:1728;240:65;234:4;225:66;221:8;210:66;196:63;182:67;180:4;170:8;169:69;156:64;144:71;136:16;132:61;128:1061;126:4;121:68;119:8;110:61;100:69;96:251;90:491;85:8;81:448;72:290;68:32;64:1047;56:259;54:24;51:48;49:262;36:12;34:24;25:259;16:926;9:48;4:420;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:26;54:28;53:30;52:24;51:34;50:24;49:42;48:28;47:26;46:32;45:26;44:28;43:30;42:24;41:34;40:24;39:30;38:28;37:26;36:40;35:52;34:156;33:132;32:128;31:140;30:128;29:132;28:132;27:160;26:134;25:122;24:126;23:26526;22:122;21:134;20:158;19:122;18:974;17:894;16:548;15:528;14:518;13:544;12:1004;11:518;10:1378;9:3314;8:2194;7:1570;5:1040;4:144;3:216;2:169729,23:200;3:27600;2:34200;1:10562,11:259;10:671;9:1657;8:1061;7:767;5:1145;3:4803;2:199;1:155800,
37.53/19.44	c (18,18) SatSolver.solve Begin
37.53/19.44	c (18,18) 87989 bool, 2216516 clause
37.53/19.44	c (18,18) 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-4295083-1532563852.xml-scop-1783.cnf HOME/instance-4295083-1532563852.xml-scop-1783.cnf.out
38.56/20.11	c (19,0) receiving signal SIGTERM
38.56/20.11	s UNKNOWN
38.56/20.12	c (19,18) SatSolver is killed by some reasons.
38.56/20.12	c (19,18) 0,0,11,11,11,11,18,TO,TO,STOP-AFTER(DIMACS)
38.56/20.12	c END-Prog: Thu Jul 26 02:11:12 CEST 2018

Verifier Data


Watcher Data 

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-4295083-1532563852/watcher-4295083-1532563852 -o /tmp/evaluation-result-4295083-1532563852/solver-4295083-1532563852 -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-4295083-1532563852.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=1783, runsolver pid=1780

[startup+0.100079 s]*
/proc/loadavg: 4.78 4.44 3.85 6/216 1798
/proc/meminfo: memFree=12296932/32770624 swapFree=67108860/67108860
[pid=1783] ppid=1780 vsize=15011656 memory=73652 CPUtime=0.11 cores=1,3,5,7
/proc/1783/stat : 1783 (java) S 1780 1783 32649 0 -1 1077944320 6573 0 0 0 10 1 0 0 20 0 15 0 73948433 15371935744 18413 33554432000 4194304 4196468 140729586241472 140729586224016 139935338282743 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 26112000 140729586246643 140729586246921 140729586246921 140729586249679 0
/proc/1783/statm: 3752914 18413 2782 1 0 3715374 0
[pid=1783/tid=1785] ppid=1780 vsize=15011656 memory=-8171376296011865461 CPUtime=0.09 cores=1,3,5,7
/proc/1783/task/1785/stat : 1785 (java) R 1780 1783 32649 0 -1 4202560 5119 0 0 0 8 1 0 0 20 0 15 0 73948433 15371935744 18875 33554432000 4194304 4196468 140729586241472 139935310078624 139935318558557 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 26112000 140729586246643 140729586246921 140729586246921 140729586249679 0
[pid=1783/tid=1786] ppid=1780 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/1783/task/1786/stat : 1786 (java) S 1780 1783 32649 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 73948435 15371935744 18875 33554432000 4194304 4196468 140729586241472 139935342524688 139935338292949 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26112000 140729586246643 140729586246921 140729586246921 140729586249679 0
[pid=1783/tid=1787] ppid=1780 vsize=15011656 memory=140286770574976 CPUtime=0 cores=1,3,5,7
/proc/1783/task/1787/stat : 1787 (java) S 1780 1783 32649 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 73948435 15371935744 18875 33554432000 4194304 4196468 140729586241472 139935141300624 139935338292949 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26112000 140729586246643 140729586246921 140729586246921 140729586249679 0
[pid=1783/tid=1788] ppid=1780 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1783/task/1788/stat : 1788 (java) S 1780 1783 32649 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 73948435 15371935744 18875 33554432000 4194304 4196468 140729586241472 139935140248080 139935338292949 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26112000 140729586246643 140729586246921 140729586246921 140729586249679 0
[pid=1783/tid=1789] ppid=1780 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/1783/task/1789/stat : 1789 (java) S 1780 1783 32649 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 73948435 15371935744 18875 33554432000 4194304 4196468 140729586241472 139935139195536 139935338292949 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26112000 140729586246643 140729586246921 140729586246921 140729586249679 0
[pid=1783/tid=1790] ppid=1780 vsize=15011656 memory=140286770574976 CPUtime=0 cores=1,3,5,7
/proc/1783/task/1790/stat : 1790 (java) S 1780 1783 32649 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 73948436 15371935744 18875 33554432000 4194304 4196468 140729586241472 139934308444656 139935338293890 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26112000 140729586246643 140729586246921 140729586246921 140729586249679 0
[pid=1783/tid=1791] ppid=1780 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/1783/task/1791/stat : 1791 (java) S 1780 1783 32649 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 73948437 15371935744 18875 33554432000 4194304 4196468 140729586241472 139933926811040 139935338292949 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26112000 140729586246643 140729586246921 140729586246921 140729586249679 0
[pid=1783/tid=1792] ppid=1780 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1783/task/1792/stat : 1792 (java) S 1780 1783 32649 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 73948437 15371935744 18875 33554432000 4194304 4196468 140729586241472 139933658375664 139935338292949 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26112000 140729586246643 140729586246921 140729586246921 140729586249679 0
[pid=1783/tid=1793] ppid=1780 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1783/task/1793/stat : 1793 (java) S 1780 1783 32649 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 73948439 15371935744 18875 33554432000 4194304 4196468 140729586241472 139933283867344 139935338301339 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26112000 140729586246643 140729586246921 140729586246921 140729586249679 0
[pid=1783/tid=1794] ppid=1780 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1783/task/1794/stat : 1794 (java) S 1780 1783 32649 0 -1 1077944384 298 0 0 0 0 0 0 0 20 0 15 0 73948439 15371935744 18875 33554432000 4194304 4196468 140729586241472 139934307391472 139935338293890 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26112000 140729586246643 140729586246921 140729586246921 140729586249679 0
[pid=1783/tid=1795] ppid=1780 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/1783/task/1795/stat : 1795 (java) S 1780 1783 32649 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 73948439 15371935744 18941 33554432000 4194304 4196468 140729586241472 139934306338928 139935338293890 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26112000 140729586246643 140729586246921 140729586246921 140729586249679 0
[pid=1783/tid=1796] ppid=1780 vsize=15011656 memory=140286770574976 CPUtime=0.01 cores=1,3,5,7
/proc/1783/task/1796/stat : 1796 (java) S 1780 1783 32649 0 -1 1077944384 265 0 0 0 1 0 0 0 20 0 15 0 73948439 15371935744 18941 33554432000 4194304 4196468 140729586241472 139934305286384 139935338293890 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26112000 140729586246643 140729586246921 140729586246921 140729586249679 0
[pid=1783/tid=1797] ppid=1780 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/1783/task/1797/stat : 1797 (java) S 1780 1783 32649 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 73948439 15371935744 18941 33554432000 4194304 4196468 140729586241472 139932785961568 139935338292949 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26112000 140729586246643 140729586246921 140729586246921 140729586249679 0
[pid=1783/tid=1798] ppid=1780 vsize=15011656 memory=140286770574976 CPUtime=0 cores=1,3,5,7
/proc/1783/task/1798/stat : 1798 (java) S 1780 1783 32649 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 73948440 15371935744 18941 33554432000 4194304 4196468 140729586241472 139934304234288 139935338293890 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26112000 140729586246643 140729586246921 140729586246921 140729586249679 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 15011656 KiB
Current children cumulated memory: 73652 KiB

[startup+0.210471 s]*
/proc/loadavg: 4.78 4.44 3.85 7/216 1798
/proc/meminfo: memFree=12283104/32770624 swapFree=67108860/67108860
[pid=1783] ppid=1780 vsize=15011656 memory=87032 CPUtime=0.25 cores=1,3,5,7
/proc/1783/stat : 1783 (java) S 1780 1783 32649 0 -1 1077944320 10099 0 0 0 23 2 0 0 20 0 15 0 73948433 15371935744 21758 33554432000 4194304 4196468 140729586241472 140729586224016 139935338282743 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 26112000 140729586246643 140729586246921 140729586246921 140729586249679 0
/proc/1783/statm: 3752914 21758 2944 1 0 3715374 0
[pid=1783/tid=1785] ppid=1780 vsize=15011656 memory=8389772277269004345 CPUtime=0.2 cores=1,3,5,7
/proc/1783/task/1785/stat : 1785 (java) R 1780 1783 32649 0 -1 4202560 8016 0 0 0 18 2 0 0 20 0 15 0 73948433 15371935744 21758 33554432000 4194304 4196468 140729586241472 139935310107952 139934816087168 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 26112000 140729586246643 140729586246921 140729586246921 140729586249679 0
[pid=1783/tid=1786] ppid=1780 vsize=15011656 memory=4294967639 CPUtime=0 cores=1,3,5,7
/proc/1783/task/1786/stat : 1786 (java) S 1780 1783 32649 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 73948435 15371935744 21758 33554432000 4194304 4196468 140729586241472 139935342524688 139935338292949 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26112000 140729586246643 140729586246921 140729586246921 140729586249679 0
[pid=1783/tid=1787] ppid=1780 vsize=15011656 memory=3617153322439702176 CPUtime=0 cores=1,3,5,7
/proc/1783/task/1787/stat : 1787 (java) S 1780 1783 32649 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 73948435 15371935744 21758 33554432000 4194304 4196468 140729586241472 139935141300624 139935338292949 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26112000 140729586246643 140729586246921 140729586246921 140729586249679 0
[pid=1783/tid=1788] ppid=1780 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1783/task/1788/stat : 1788 (java) S 1780 1783 32649 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 73948435 15371935744 21758 33554432000 4194304 4196468 140729586241472 139935140248080 139935338292949 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26112000 140729586246643 140729586246921 140729586246921 140729586249679 0
[pid=1783/tid=1789] ppid=1780 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/1783/task/1789/stat : 1789 (java) S 1780 1783 32649 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 73948435 15371935744 21758 33554432000 4194304 4196468 140729586241472 139935139195536 139935338292949 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26112000 140729586246643 140729586246921 140729586246921 140729586249679 0
[pid=1783/tid=1790] ppid=1780 vsize=15011656 memory=140286770574976 CPUtime=0 cores=1,3,5,7
/proc/1783/task/1790/stat : 1790 (java) S 1780 1783 32649 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 73948436 15371935744 21758 33554432000 4194304 4196468 140729586241472 139934308444656 139935338293890 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26112000 140729586246643 140729586246921 140729586246921 140729586249679 0
[pid=1783/tid=1791] ppid=1780 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/1783/task/1791/stat : 1791 (java) S 1780 1783 32649 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 73948437 15371935744 21758 33554432000 4194304 4196468 140729586241472 139933926811040 139935338292949 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26112000 140729586246643 140729586246921 140729586246921 140729586249679 0
[pid=1783/tid=1792] ppid=1780 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1783/task/1792/stat : 1792 (java) S 1780 1783 32649 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 73948437 15371935744 21758 33554432000 4194304 4196468 140729586241472 139933658375664 139935338292949 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26112000 140729586246643 140729586246921 140729586246921 140729586249679 0
[pid=1783/tid=1793] ppid=1780 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1783/task/1793/stat : 1793 (java) S 1780 1783 32649 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 73948439 15371935744 21758 33554432000 4194304 4196468 140729586241472 139933283867344 139935338301339 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26112000 140729586246643 140729586246921 140729586246921 140729586249679 0
[pid=1783/tid=1794] ppid=1780 vsize=15011656 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/1783/task/1794/stat : 1794 (java) R 1780 1783 32649 0 -1 4202560 344 0 0 0 1 0 0 0 20 0 15 0 73948439 15371935744 21758 33554432000 4194304 4196468 140729586241472 139934307391472 139935317516659 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 26112000 140729586246643 140729586246921 140729586246921 140729586249679 0
[pid=1783/tid=1795] ppid=1780 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/1783/task/1795/stat : 1795 (java) R 1780 1783 32649 0 -1 1077944384 134 0 0 0 0 0 0 0 20 0 15 0 73948439 15371935744 21758 33554432000 4194304 4196468 140729586241472 139934306338928 139935338293890 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 26112000 140729586246643 140729586246921 140729586246921 140729586249679 0
[pid=1783/tid=1796] ppid=1780 vsize=15011656 memory=140286770574976 CPUtime=0.03 cores=1,3,5,7
/proc/1783/task/1796/stat : 1796 (java) S 1780 1783 32649 0 -1 1077944384 281 0 0 0 3 0 0 0 20 0 15 0 73948439 15371935744 21758 33554432000 4194304 4196468 140729586241472 139934305286384 139935338293890 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26112000 140729586246643 140729586246921 140729586246921 140729586249679 0
[pid=1783/tid=1797] ppid=1780 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/1783/task/1797/stat : 1797 (java) S 1780 1783 32649 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 73948439 15371935744 21758 33554432000 4194304 4196468 140729586241472 139932785961568 139935338292949 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26112000 140729586246643 140729586246921 140729586246921 140729586249679 0
[pid=1783/tid=1798] ppid=1780 vsize=15011656 memory=140286770574976 CPUtime=0 cores=1,3,5,7
/proc/1783/task/1798/stat : 1798 (java) R 1780 1783 32649 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 73948440 15371935744 21758 33554432000 4194304 4196468 140729586241472 139934304234288 139935338293890 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 26112000 140729586246643 140729586246921 140729586246921 140729586249679 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 15011656 KiB
Current children cumulated memory: 87032 KiB

[startup+0.310597 s]*
/proc/loadavg: 4.78 4.44 3.85 7/216 1798
/proc/meminfo: memFree=12280188/32770624 swapFree=67108860/67108860
[pid=1783] ppid=1780 vsize=15011656 memory=90240 CPUtime=0.43 cores=1,3,5,7
/proc/1783/stat : 1783 (java) S 1780 1783 32649 0 -1 1077944320 10642 0 0 0 40 3 0 0 20 0 15 0 73948433 15371935744 22560 33554432000 4194304 4196468 140729586241472 140729586224016 139935338282743 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 26112000 140729586246643 140729586246921 140729586246921 140729586249679 0
/proc/1783/statm: 3752914 22560 2990 1 0 3715374 0
[pid=1783/tid=1785] ppid=1780 vsize=15011656 memory=6935054825532540783 CPUtime=0.29 cores=1,3,5,7
/proc/1783/task/1785/stat : 1785 (java) R 1780 1783 32649 0 -1 4202560 8389 0 0 0 27 2 0 0 20 0 15 0 73948433 15371935744 22560 33554432000 4194304 4196468 140729586241472 139935310086896 139935318558557 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 26112000 140729586246643 140729586246921 140729586246921 140729586249679 0
[pid=1783/tid=1786] ppid=1780 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1783/task/1786/stat : 1786 (java) S 1780 1783 32649 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 73948435 15371935744 22560 33554432000 4194304 4196468 140729586241472 139935342524688 139935338292949 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26112000 140729586246643 140729586246921 140729586246921 140729586249679 0
[pid=1783/tid=1787] ppid=1780 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1783/task/1787/stat : 1787 (java) S 1780 1783 32649 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 73948435 15371935744 22560 33554432000 4194304 4196468 140729586241472 139935141300624 139935338292949 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26112000 140729586246643 140729586246921 140729586246921 140729586249679 0
[pid=1783/tid=1788] ppid=1780 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1783/task/1788/stat : 1788 (java) S 1780 1783 32649 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 73948435 15371935744 22560 33554432000 4194304 4196468 140729586241472 139935140248080 139935338292949 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26112000 140729586246643 140729586246921 140729586246921 140729586249679 0
[pid=1783/tid=1789] ppid=1780 vsize=15011656 memory=140286651115983 CPUtime=0 cores=1,3,5,7
/proc/1783/task/1789/stat : 1789 (java) S 1780 1783 32649 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 73948435 15371935744 22560 33554432000 4194304 4196468 140729586241472 139935139195536 139935338292949 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26112000 140729586246643 140729586246921 140729586246921 140729586249679 0
[pid=1783/tid=1790] ppid=1780 vsize=15011656 memory=67 CPUtime=0 cores=1,3,5,7
/proc/1783/task/1790/stat : 1790 (java) S 1780 1783 32649 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 73948436 15371935744 22560 33554432000 4194304 4196468 140729586241472 139934308444656 139935338293890 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26112000 140729586246643 140729586246921 140729586246921 140729586249679 0
[pid=1783/tid=1791] ppid=1780 vsize=15011656 memory=51172 CPUtime=0 cores=1,3,5,7
/proc/1783/task/1791/stat : 1791 (java) S 1780 1783 32649 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 73948437 15371935744 22560 33554432000 4194304 4196468 140729586241472 139933926811040 139935338292949 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26112000 140729586246643 140729586246921 140729586246921 140729586249679 0
[pid=1783/tid=1792] ppid=1780 vsize=15011656 memory=53476 CPUtime=0 cores=1,3,5,7
/proc/1783/task/1792/stat : 1792 (java) S 1780 1783 32649 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 73948437 15371935744 22560 33554432000 4194304 4196468 140729586241472 139933658375664 139935338292949 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26112000 140729586246643 140729586246921 140729586246921 140729586249679 0
[pid=1783/tid=1793] ppid=1780 vsize=15011656 memory=55780 CPUtime=0 cores=1,3,5,7
/proc/1783/task/1793/stat : 1793 (java) S 1780 1783 32649 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 73948439 15371935744 22560 33554432000 4194304 4196468 140729586241472 139933283867344 139935338301339 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26112000 140729586246643 140729586246921 140729586246921 140729586249679 0
[pid=1783/tid=1794] ppid=1780 vsize=15011656 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/1783/task/1794/stat : 1794 (java) S 1780 1783 32649 0 -1 1077944384 443 0 0 0 2 0 0 0 20 0 15 0 73948439 15371935744 22560 33554432000 4194304 4196468 140729586241472 139934307391472 139935338293890 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26112000 140729586246643 140729586246921 140729586246921 140729586249679 0
[pid=1783/tid=1795] ppid=1780 vsize=15011656 memory=140286651109135 CPUtime=0.01 cores=1,3,5,7
/proc/1783/task/1795/stat : 1795 (java) S 1780 1783 32649 0 -1 1077944384 182 0 0 0 1 0 0 0 20 0 15 0 73948439 15371935744 22560 33554432000 4194304 4196468 140729586241472 139934306338928 139935338293890 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26112000 140729586246643 140729586246921 140729586246921 140729586249679 0
[pid=1783/tid=1796] ppid=1780 vsize=15011656 memory=280573421693280 CPUtime=0.07 cores=1,3,5,7
/proc/1783/task/1796/stat : 1796 (java) S 1780 1783 32649 0 -1 1077944384 300 0 0 0 7 0 0 0 20 0 15 0 73948439 15371935744 22560 33554432000 4194304 4196468 140729586241472 139934305286384 139935338293890 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26112000 140729586246643 140729586246921 140729586246921 140729586249679 0
[pid=1783/tid=1797] ppid=1780 vsize=15011656 memory=140286651113743 CPUtime=0 cores=1,3,5,7
/proc/1783/task/1797/stat : 1797 (java) S 1780 1783 32649 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 73948439 15371935744 22560 33554432000 4194304 4196468 140729586241472 139932785961568 139935338292949 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26112000 140729586246643 140729586246921 140729586246921 140729586249679 0
[pid=1783/tid=1798] ppid=1780 vsize=15011656 memory=140286770574986 CPUtime=0 cores=1,3,5,7
/proc/1783/task/1798/stat : 1798 (java) S 1780 1783 32649 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 73948440 15371935744 22560 33554432000 4194304 4196468 140729586241472 139934304234288 139935338293890 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26112000 140729586246643 140729586246921 140729586246921 140729586249679 0
Current children cumulated CPU time: 0.43 s
Current children cumulated vsize: 15011656 KiB
Current children cumulated memory: 90240 KiB

[startup+0.702589 s]
/proc/loadavg: 4.78 4.44 3.85 7/216 1798
/proc/meminfo: memFree=12255572/32770624 swapFree=67108860/67108860
[pid=1783] ppid=1780 vsize=15020052 memory=132276 CPUtime=1.04 cores=1,3,5,7
/proc/1783/stat : 1783 (java) S 1780 1783 32649 0 -1 1077944320 17758 0 0 0 99 5 0 0 20 0 15 0 73948433 15380533248 33063 33554432000 4194304 4196468 140729586241472 140729586224016 139935338282743 0 0 0 25189583 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 26112000 140729586246643 140729586246921 140729586246921 140729586249679 0
/proc/1783/statm: 3755013 33069 3170 1 0 3716398 0
[pid=1783/tid=1785] ppid=1780 vsize=15020052 memory=147974642473565 CPUtime=0.68 cores=1,3,5,7
/proc/1783/task/1785/stat : 1785 (java) R 1780 1783 32649 0 -1 4202560 14896 0 0 0 64 4 0 0 20 0 15 0 73948433 15380533248 33069 33554432000 4194304 4196468 140729586241472 139935310118832 139935322363230 0 4 0 25189583 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 26112000 140729586246643 140729586246921 140729586246921 140729586249679 0
[pid=1783/tid=1786] ppid=1780 vsize=15020052 memory=26997 CPUtime=0 cores=1,3,5,7
/proc/1783/task/1786/stat : 1786 (java) S 1780 1783 32649 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 73948435 15380533248 33069 33554432000 4194304 4196468 140729586241472 139935342524688 139935338292949 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26112000 140729586246643 140729586246921 140729586246921 140729586249679 0
[pid=1783/tid=1787] ppid=1780 vsize=15020052 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1783/task/1787/stat : 1787 (java) S 1780 1783 32649 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 73948435 15380533248 33069 33554432000 4194304 4196468 140729586241472 139935141300624 139935338292949 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26112000 140729586246643 140729586246921 140729586246921 140729586249679 0
[pid=1783/tid=1788] ppid=1780 vsize=15020052 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1783/task/1788/stat : 1788 (java) S 1780 1783 32649 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 73948435 15380533248 33069 33554432000 4194304 4196468 140729586241472 139935140248080 139935338292949 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26112000 140729586246643 140729586246921 140729586246921 140729586249679 0
[pid=1783/tid=1789] ppid=1780 vsize=15020052 memory=280573302014192 CPUtime=0 cores=1,3,5,7
/proc/1783/task/1789/stat : 1789 (java) S 1780 1783 32649 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 73948435 15380533248 33069 33554432000 4194304 4196468 140729586241472 139935139195536 139935338292949 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26112000 140729586246643 140729586246921 140729586246921 140729586249679 0
[pid=1783/tid=1790] ppid=1780 vsize=15020052 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1783/task/1790/stat : 1790 (java) S 1780 1783 32649 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 73948436 15380533248 33069 33554432000 4194304 4196468 140729586241472 139934308444656 139935338293890 0 0 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26112000 140729586246643 140729586246921 140729586246921 140729586249679 0
[pid=1783/tid=1791] ppid=1780 vsize=15020052 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1783/task/1791/stat : 1791 (java) S 1780 1783 32649 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 73948437 15380533248 33069 33554432000 4194304 4196468 140729586241472 139933926811040 139935338292949 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26112000 140729586246643 140729586246921 140729586246921 140729586249679 0
[pid=1783/tid=1792] ppid=1780 vsize=15020052 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1783/task/1792/stat : 1792 (java) S 1780 1783 32649 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 73948437 15380533248 33069 33554432000 4194304 4196468 140729586241472 139933658375664 139935338292949 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26112000 140729586246643 140729586246921 140729586246921 140729586249679 0
[pid=1783/tid=1793] ppid=1780 vsize=15020052 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1783/task/1793/stat : 1793 (java) S 1780 1783 32649 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 73948439 15380533248 33069 33554432000 4194304 4196468 140729586241472 139933283867344 139935338301339 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26112000 140729586246643 140729586246921 140729586246921 140729586249679 0
[pid=1783/tid=1794] ppid=1780 vsize=15020052 memory=7307210970617654738 CPUtime=0.07 cores=1,3,5,7
/proc/1783/task/1794/stat : 1794 (java) R 1780 1783 32649 0 -1 4202560 521 0 0 0 7 0 0 0 20 0 15 0 73948439 15380533248 33069 33554432000 4194304 4196468 140729586241472 139934307372488 139935317528591 0 4 0 25189583 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 26112000 140729586246643 140729586246921 140729586246921 140729586249679 0
[pid=1783/tid=1795] ppid=1780 vsize=15020052 memory=-3535359994705171810 CPUtime=0.1 cores=1,3,5,7
/proc/1783/task/1795/stat : 1795 (java) R 1780 1783 32649 0 -1 4202560 528 0 0 0 10 0 0 0 20 0 15 0 73948439 15380533248 33069 33554432000 4194304 4196468 140729586241472 139934306330880 139935321782949 0 4 0 25189583 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 26112000 140729586246643 140729586246921 140729586246921 140729586249679 0
[pid=1783/tid=1796] ppid=1780 vsize=15020052 memory=0 CPUtime=0.18 cores=1,3,5,7
/proc/1783/task/1796/stat : 1796 (java) S 1780 1783 32649 0 -1 1077944384 473 0 0 0 18 0 0 0 20 0 15 0 73948439 15380533248 33069 33554432000 4194304 4196468 140729586241472 139934305286384 139935338293890 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26112000 140729586246643 140729586246921 140729586246921 140729586249679 0
[pid=1783/tid=1797] ppid=1780 vsize=15020052 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1783/task/1797/stat : 1797 (java) S 1780 1783 32649 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 73948439 15380533248 33069 33554432000 4194304 4196468 140729586241472 139932785961568 139935338292949 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26112000 140729586246643 140729586246921 140729586246921 140729586249679 0
[pid=1783/tid=1798] ppid=1780 vsize=15020052 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1783/task/1798/stat : 1798 (java) S 1780 1783 32649 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 73948440 15380533248 33069 33554432000 4194304 4196468 140729586241472 139934304234288 139935338293890 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26112000 140729586246643 140729586246921 140729586246921 140729586249679 0
Current children cumulated CPU time: 1.04 s
Current children cumulated vsize: 15020052 KiB
Current children cumulated memory: 132276 KiB

[startup+1.50066 s]
/proc/loadavg: 4.78 4.44 3.85 8/216 1798
/proc/meminfo: memFree=12216240/32770624 swapFree=67108860/67108860
[pid=1783] ppid=1780 vsize=15022100 memory=199288 CPUtime=3.43 cores=1,3,5,7
/proc/1783/stat : 1783 (java) S 1780 1783 32649 0 -1 1077944320 21596 0 0 0 335 8 0 0 20 0 15 0 73948433 15382630400 49822 33554432000 4194304 4196468 140729586241472 140729586224016 139935338282743 0 0 0 25189583 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 26112000 140729586246643 140729586246921 140729586246921 140729586249679 0
/proc/1783/statm: 3755525 49822 3213 1 0 3716910 0
[pid=1783/tid=1785] ppid=1780 vsize=15022100 memory=280573302478784 CPUtime=1.47 cores=1,3,5,7
/proc/1783/task/1785/stat : 1785 (java) R 1780 1783 32649 0 -1 4202560 15808 0 0 0 141 6 0 0 20 0 15 0 73948433 15382630400 49822 33554432000 4194304 4196468 140729586241472 139935310115552 139934816348002 0 4 0 25189583 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 26112000 140729586246643 140729586246921 140729586246921 140729586249679 0
[pid=1783/tid=1786] ppid=1780 vsize=15022100 memory=6154282490091891024 CPUtime=0 cores=1,3,5,7
/proc/1783/task/1786/stat : 1786 (java) S 1780 1783 32649 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 73948435 15382630400 49822 33554432000 4194304 4196468 140729586241472 139935342524688 139935338292949 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26112000 140729586246643 140729586246921 140729586246921 140729586249679 0
[pid=1783/tid=1787] ppid=1780 vsize=15022100 memory=6080794568579901504 CPUtime=0 cores=1,3,5,7
/proc/1783/task/1787/stat : 1787 (java) S 1780 1783 32649 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 73948435 15382630400 49822 33554432000 4194304 4196468 140729586241472 139935141300624 139935338292949 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26112000 140729586246643 140729586246921 140729586246921 140729586249679 0
[pid=1783/tid=1788] ppid=1780 vsize=15022100 memory=928 CPUtime=0 cores=1,3,5,7
/proc/1783/task/1788/stat : 1788 (java) S 1780 1783 32649 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 73948435 15382630400 49822 33554432000 4194304 4196468 140729586241472 139935140248080 139935338292949 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26112000 140729586246643 140729586246921 140729586246921 140729586249679 0
[pid=1783/tid=1789] ppid=1780 vsize=15022100 memory=2241 CPUtime=0 cores=1,3,5,7
/proc/1783/task/1789/stat : 1789 (java) S 1780 1783 32649 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 73948435 15382630400 49822 33554432000 4194304 4196468 140729586241472 139935139195536 139935338292949 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26112000 140729586246643 140729586246921 140729586246921 140729586249679 0
[pid=1783/tid=1790] ppid=1780 vsize=15022100 memory=2244 CPUtime=0 cores=1,3,5,7
/proc/1783/task/1790/stat : 1790 (java) S 1780 1783 32649 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 73948436 15382630400 49822 33554432000 4194304 4196468 140729586241472 139934308444656 139935338293890 0 0 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26112000 140729586246643 140729586246921 140729586246921 140729586249679 0

################
# More data... #
################

/proc/1783/task/1796/stat : 1796 (java) S 1780 1783 32649 0 -1 1077944384 6111 0 0 0 130 1 0 0 20 0 15 0 73948439 15384727552 573078 33554432000 4194304 4196468 140729586241472 139934305286384 139935338293890 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26112000 140729586246643 140729586246921 140729586246921 140729586249679 0
[pid=1783/tid=1797] ppid=1780 vsize=15024148 memory=-7449383003082255507 CPUtime=0 cores=1,3,5,7
/proc/1783/task/1797/stat : 1797 (java) S 1780 1783 32649 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 73948439 15384727552 573590 33554432000 4194304 4196468 140729586241472 139932785961568 139935338292949 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26112000 140729586246643 140729586246921 140729586246921 140729586249679 0
[pid=1783/tid=1798] ppid=1780 vsize=15024148 memory=4137287014106042691 CPUtime=0 cores=1,3,5,7
/proc/1783/task/1798/stat : 1798 (java) S 1780 1783 32649 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 73948440 15384727552 573590 33554432000 4194304 4196468 140729586241472 139934304234288 139935338293890 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26112000 140729586246643 140729586246921 140729586246921 140729586249679 0
Current children cumulated CPU time: 14.68 s
Current children cumulated vsize: 15024148 KiB
Current children cumulated memory: 2292312 KiB

[startup+12.7016 s]
/proc/loadavg: 4.66 4.42 3.85 8/216 1798
/proc/meminfo: memFree=9244576/32770624 swapFree=67108860/67108860
[pid=1783] ppid=1780 vsize=15028312 memory=3121968 CPUtime=29.18 cores=1,3,5,7
/proc/1783/stat : 1783 (java) S 1780 1783 32649 0 -1 1077944320 46774 0 0 0 2852 66 0 0 20 0 15 0 73948433 15388991488 780492 33554432000 4194304 4196468 140729586241472 140729586224016 139935338282743 0 0 0 25189583 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 26112000 140729586246643 140729586246921 140729586246921 140729586249679 0
/proc/1783/statm: 3757078 780492 3246 1 0 3717934 0
[pid=1783/tid=1785] ppid=1780 vsize=15028312 memory=280573302614272 CPUtime=12.55 cores=1,3,5,7
/proc/1783/task/1785/stat : 1785 (java) R 1780 1783 32649 0 -1 4202560 19441 0 0 0 1206 49 0 0 20 0 15 0 73948433 15388991488 780492 33554432000 4194304 4196468 140729586241472 139935310118912 139934822076424 0 4 0 25189583 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 26112000 140729586246643 140729586246921 140729586246921 140729586249679 0
[pid=1783/tid=1786] ppid=1780 vsize=15028312 memory=164 CPUtime=0.09 cores=1,3,5,7
/proc/1783/task/1786/stat : 1786 (java) S 1780 1783 32649 0 -1 1077944384 147 0 0 0 7 2 0 0 20 0 15 0 73948435 15388991488 780492 33554432000 4194304 4196468 140729586241472 139935342524688 139935338292949 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26112000 140729586246643 140729586246921 140729586246921 140729586249679 0
[pid=1783/tid=1787] ppid=1780 vsize=15028312 memory=280573302425904 CPUtime=0.08 cores=1,3,5,7
/proc/1783/task/1787/stat : 1787 (java) S 1780 1783 32649 0 -1 1077944384 116 0 0 0 7 1 0 0 20 0 15 0 73948435 15388991488 780492 33554432000 4194304 4196468 140729586241472 139935141300624 139935338292949 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26112000 140729586246643 140729586246921 140729586246921 140729586249679 0
[pid=1783/tid=1788] ppid=1780 vsize=15028312 memory=280573302690192 CPUtime=0.09 cores=1,3,5,7
/proc/1783/task/1788/stat : 1788 (java) S 1780 1783 32649 0 -1 1077944384 160 0 0 0 7 2 0 0 20 0 15 0 73948435 15388991488 780492 33554432000 4194304 4196468 140729586241472 139935140248080 139935338292949 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26112000 140729586246643 140729586246921 140729586246921 140729586249679 0
[pid=1783/tid=1789] ppid=1780 vsize=15028312 memory=140286651420176 CPUtime=0.09 cores=1,3,5,7
/proc/1783/task/1789/stat : 1789 (java) S 1780 1783 32649 0 -1 1077944384 82 0 0 0 7 2 0 0 20 0 15 0 73948435 15388991488 780492 33554432000 4194304 4196468 140729586241472 139935139195536 139935338292949 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26112000 140729586246643 140729586246921 140729586246921 140729586249679 0
[pid=1783/tid=1790] ppid=1780 vsize=15028312 memory=280573302428952 CPUtime=0.01 cores=1,3,5,7
/proc/1783/task/1790/stat : 1790 (java) S 1780 1783 32649 0 -1 1077944384 23 0 0 0 1 0 0 0 20 0 15 0 73948436 15388991488 780492 33554432000 4194304 4196468 140729586241472 139934308444656 139935338293890 0 0 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26112000 140729586246643 140729586246921 140729586246921 140729586249679 0
[pid=1783/tid=1791] ppid=1780 vsize=15028312 memory=55 CPUtime=0 cores=1,3,5,7
/proc/1783/task/1791/stat : 1791 (java) S 1780 1783 32649 0 -1 1077944384 14 0 0 0 0 0 0 0 20 0 15 0 73948437 15388991488 780492 33554432000 4194304 4196468 140729586241472 139933926811104 139935338292949 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26112000 140729586246643 140729586246921 140729586246921 140729586249679 0
[pid=1783/tid=1792] ppid=1780 vsize=15028312 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1783/task/1792/stat : 1792 (java) S 1780 1783 32649 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 73948437 15388991488 780492 33554432000 4194304 4196468 140729586241472 139933658375680 139935338292949 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26112000 140729586246643 140729586246921 140729586246921 140729586249679 0
[pid=1783/tid=1793] ppid=1780 vsize=15028312 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1783/task/1793/stat : 1793 (java) S 1780 1783 32649 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 73948439 15388991488 780492 33554432000 4194304 4196468 140729586241472 139933283867344 139935338301339 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26112000 140729586246643 140729586246921 140729586246921 140729586249679 0
[pid=1783/tid=1794] ppid=1780 vsize=15028312 memory=0 CPUtime=7.44 cores=1,3,5,7
/proc/1783/task/1794/stat : 1794 (java) R 1780 1783 32649 0 -1 4202560 8745 0 0 0 742 2 0 0 20 0 15 0 73948439 15388991488 780492 33554432000 4194304 4196468 140729586241472 139934307377696 139935338296592 0 4 0 25189583 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 26112000 140729586246643 140729586246921 140729586246921 140729586249679 0
[pid=1783/tid=1795] ppid=1780 vsize=15028312 memory=1728 CPUtime=7.13 cores=1,3,5,7
/proc/1783/task/1795/stat : 1795 (java) R 1780 1783 32649 0 -1 4202560 10559 0 0 0 711 2 0 0 20 0 15 0 73948439 15388991488 780492 33554432000 4194304 4196468 140729586241472 139934306330256 139935319818937 0 4 0 25189583 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 26112000 140729586246643 140729586246921 140729586246921 140729586249679 0
[pid=1783/tid=1796] ppid=1780 vsize=15028312 memory=1708 CPUtime=1.63 cores=1,3,5,7
/proc/1783/task/1796/stat : 1796 (java) S 1780 1783 32649 0 -1 1077944384 6167 0 0 0 161 2 0 0 20 0 15 0 73948439 15388991488 780492 33554432000 4194304 4196468 140729586241472 139934305286384 139935338293890 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26112000 140729586246643 140729586246921 140729586246921 140729586249679 0
[pid=1783/tid=1797] ppid=1780 vsize=15028312 memory=5792 CPUtime=0 cores=1,3,5,7
/proc/1783/task/1797/stat : 1797 (java) S 1780 1783 32649 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 73948439 15388991488 780492 33554432000 4194304 4196468 140729586241472 139932785961568 139935338292949 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26112000 140729586246643 140729586246921 140729586246921 140729586249679 0
[pid=1783/tid=1798] ppid=1780 vsize=15028312 memory=4612 CPUtime=0 cores=1,3,5,7
/proc/1783/task/1798/stat : 1798 (java) S 1780 1783 32649 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 73948440 15388991488 780492 33554432000 4194304 4196468 140729586241472 139934304234288 139935338293890 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26112000 140729586246643 140729586246921 140729586246921 140729586249679 0
Current children cumulated CPU time: 29.18 s
Current children cumulated vsize: 15028312 KiB
Current children cumulated memory: 3121968 KiB



Maximum VSize exceeded: sending SIGTERM then SIGKILL

[startup+20.1102 s]
/proc/loadavg: 4.79 4.46 3.87 6/221 1804
/proc/meminfo: memFree=8893444/32770624 swapFree=67108860/67108860
[pid=1783] ppid=1780 vsize=15683912 memory=3266788 CPUtime=37.92 cores=1,3,5,7
/proc/1783/stat : 1783 (java) S 1780 1783 32649 0 -1 1077944320 55159 0 0 0 3703 89 0 0 20 0 19 0 73948433 16060325888 816697 33554432000 4194304 4196468 140729586241472 140729586224016 139935338282743 0 0 0 25189583 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 26112000 140729586246643 140729586246921 140729586246921 140729586249679 0
/proc/1783/statm: 3920978 816697 3250 1 0 3881834 0
[pid=1799] ppid=1783 vsize=219816 memory=174460 CPUtime=0.64 cores=1,3,5,7
/proc/1799/stat : 1799 (minisat_release) R 1783 1783 32649 0 -1 4202496 34959 0 0 0 57 7 0 0 20 0 1 0 73950379 225091584 43615 33554432000 4194304 4308513 140721433229584 140721432177992 139698342235008 0 4 0 8388610 0 0 0 17 5 0 0 0 0 0 6409496 6410680 23535616 140721433236145 140721433236654 140721433236654 140721433239493 0
/proc/1799/statm: 54954 43615 318 28 0 51194 0
[pid=1783/tid=1785] ppid=1780 vsize=15683912 memory=0 CPUtime=18.89 cores=1,3,5,7
/proc/1783/task/1785/stat : 1785 (java) S 1780 1783 32649 0 -1 1077944384 20982 0 0 0 1831 58 0 0 20 0 19 0 73948433 16060325888 816697 33554432000 4194304 4196468 140729586241472 139935310121984 139935338292949 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 27 0 0 6293624 6294260 26112000 140729586246643 140729586246921 140729586246921 140729586249679 0
[pid=1783/tid=1786] ppid=1780 vsize=15683912 memory=28 CPUtime=0.36 cores=1,3,5,7
/proc/1783/task/1786/stat : 1786 (java) S 1780 1783 32649 0 -1 1077944384 296 0 0 0 31 5 0 0 20 0 19 0 73948435 16060325888 816697 33554432000 4194304 4196468 140729586241472 139935342524688 139935338292949 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26112000 140729586246643 140729586246921 140729586246921 140729586249679 0
[pid=1783/tid=1787] ppid=1780 vsize=15683912 memory=28 CPUtime=0.33 cores=1,3,5,7
/proc/1783/task/1787/stat : 1787 (java) S 1780 1783 32649 0 -1 1077944384 464 0 0 0 28 5 0 0 20 0 19 0 73948435 16060325888 816697 33554432000 4194304 4196468 140729586241472 139935141300624 139935338292949 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26112000 140729586246643 140729586246921 140729586246921 140729586249679 0
[pid=1783/tid=1788] ppid=1780 vsize=15683912 memory=3263512 CPUtime=0.32 cores=1,3,5,7
/proc/1783/task/1788/stat : 1788 (java) S 1780 1783 32649 0 -1 1077944384 267 0 0 0 27 5 0 0 20 0 19 0 73948435 16060325888 816697 33554432000 4194304 4196468 140729586241472 139935140248080 139935338292949 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26112000 140729586246643 140729586246921 140729586246921 140729586249679 0
[pid=1783/tid=1789] ppid=1780 vsize=15683912 memory=6944656601042741910 CPUtime=0.36 cores=1,3,5,7
/proc/1783/task/1789/stat : 1789 (java) S 1780 1783 32649 0 -1 1077944384 203 0 0 0 31 5 0 0 20 0 19 0 73948435 16060325888 816697 33554432000 4194304 4196468 140729586241472 139935139195536 139935338292949 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26112000 140729586246643 140729586246921 140729586246921 140729586249679 0
[pid=1783/tid=1790] ppid=1780 vsize=15683912 memory=-7595718147998060693 CPUtime=0.02 cores=1,3,5,7
/proc/1783/task/1790/stat : 1790 (java) S 1780 1783 32649 0 -1 1077944384 45 0 0 0 2 0 0 0 20 0 19 0 73948436 16060325888 816697 33554432000 4194304 4196468 140729586241472 139934308444656 139935338293890 0 0 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26112000 140729586246643 140729586246921 140729586246921 140729586249679 0
[pid=1783/tid=1791] ppid=1780 vsize=15683912 memory=3472328279047811119 CPUtime=0 cores=1,3,5,7
/proc/1783/task/1791/stat : 1791 (java) S 1780 1783 32649 0 -1 1077944384 15 0 0 0 0 0 0 0 20 0 19 0 73948437 16060325888 816697 33554432000 4194304 4196468 140729586241472 139933926811104 139935338292949 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26112000 140729586246643 140729586246921 140729586246921 140729586249679 0
[pid=1783/tid=1792] ppid=1780 vsize=15683912 memory=6656426216303648864 CPUtime=0 cores=1,3,5,7
/proc/1783/task/1792/stat : 1792 (java) S 1780 1783 32649 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 73948437 16060325888 816697 33554432000 4194304 4196468 140729586241472 139933658375680 139935338292949 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26112000 140729586246643 140729586246921 140729586246921 140729586249679 0
[pid=1783/tid=1793] ppid=1780 vsize=15683912 memory=4136 CPUtime=0 cores=1,3,5,7
/proc/1783/task/1793/stat : 1793 (java) S 1780 1783 32649 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 73948439 16060325888 816697 33554432000 4194304 4196468 140729586241472 139933283867344 139935338301339 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26112000 140729586246643 140729586246921 140729586246921 140729586249679 0
[pid=1783/tid=1794] ppid=1780 vsize=15683912 memory=280573302569216 CPUtime=8.06 cores=1,3,5,7
/proc/1783/task/1794/stat : 1794 (java) S 1780 1783 32649 0 -1 1077944384 12310 0 0 0 803 3 0 0 20 0 19 0 73948439 16060325888 816697 33554432000 4194304 4196468 140729586241472 139934307391472 139935338293890 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26112000 140729586246643 140729586246921 140729586246921 140729586249679 0
[pid=1783/tid=1795] ppid=1780 vsize=15683912 memory=-6374957858630779283 CPUtime=7.8 cores=1,3,5,7
/proc/1783/task/1795/stat : 1795 (java) S 1780 1783 32649 0 -1 1077944384 12516 0 0 0 777 3 0 0 20 0 19 0 73948439 16060325888 816697 33554432000 4194304 4196468 140729586241472 139934306338928 139935338293890 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26112000 140729586246643 140729586246921 140729586246921 140729586249679 0
[pid=1783/tid=1796] ppid=1780 vsize=15683912 memory=6944656592455360608 CPUtime=1.7 cores=1,3,5,7
/proc/1783/task/1796/stat : 1796 (java) S 1780 1783 32649 0 -1 1077944384 6669 0 0 0 168 2 0 0 20 0 19 0 73948439 16060325888 816697 33554432000 4194304 4196468 140729586241472 139934305286384 139935338293890 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26112000 140729586246643 140729586246921 140729586246921 140729586249679 0
[pid=1783/tid=1797] ppid=1780 vsize=15683912 memory=-7737605734073681312 CPUtime=0 cores=1,3,5,7
/proc/1783/task/1797/stat : 1797 (java) S 1780 1783 32649 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 73948439 16060325888 816697 33554432000 4194304 4196468 140729586241472 139932785961568 139935338292949 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26112000 140729586246643 140729586246921 140729586246921 140729586249679 0
[pid=1783/tid=1798] ppid=1780 vsize=15683912 memory=301741373374332954 CPUtime=0 cores=1,3,5,7
/proc/1783/task/1798/stat : 1798 (java) S 1780 1783 32649 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 19 0 73948440 16060325888 816697 33554432000 4194304 4196468 140729586241472 139934304234288 139935338293890 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26112000 140729586246643 140729586246921 140729586246921 140729586249679 0
[pid=1783/tid=1800] ppid=1780 vsize=15683912 memory=288230583166042426 CPUtime=0 cores=1,3,5,7
/proc/1783/task/1800/stat : 1800 (java) S 1780 1783 32649 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 73950379 16060325888 816697 33554432000 4194304 4196468 140729586241472 139934397273664 139935338307353 0 4 0 25189583 18446744071579417331 0 0 -1 3 0 0 0 0 0 6293624 6294260 26112000 140729586246643 140729586246921 140729586246921 140729586249679 0
[pid=1783/tid=1802] ppid=1780 vsize=15683912 memory=15535211064591758 CPUtime=0 cores=1,3,5,7
/proc/1783/task/1802/stat : 1802 (java) S 1780 1783 32649 0 -1 4202560 23 0 0 0 0 0 0 0 20 0 19 0 73950379 16060325888 816697 33554432000 4194304 4196468 140729586241472 139932249075760 139935338304669 0 4 0 25189583 18446744071580971376 0 0 -1 7 0 0 0 0 0 6293624 6294260 26112000 140729586246643 140729586246921 140729586246921 140729586249679 0
[pid=1783/tid=1803] ppid=1780 vsize=15683912 memory=5792 CPUtime=0 cores=1,3,5,7
/proc/1783/task/1803/stat : 1803 (java) S 1780 1783 32649 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 19 0 73950379 16060325888 816697 33554432000 4194304 4196468 140729586241472 139932383296688 139935338304669 0 4 0 25189583 18446744071580971376 0 0 -1 7 0 0 0 0 0 6293624 6294260 26112000 140729586246643 140729586246921 140729586246921 140729586249679 0
[pid=1783/tid=1804] ppid=1780 vsize=15683912 memory=7308028628335813952 CPUtime=0 cores=1,3,5,7
/proc/1783/task/1804/stat : 1804 (java) S 1780 1783 32649 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 73950390 16060325888 816697 33554432000 4194304 4196468 140729586241472 139931980651552 139935338292949 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26112000 140729586246643 140729586246921 140729586246921 140729586249679 0
Current children cumulated CPU time: 38.56 s
Current children cumulated vsize: 15903728 KiB
Current children cumulated memory: 3441248 KiB

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

[startup+20.1527 s]
# the end of solver process 1783 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=37.6155 s, system=1.00762 s

Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples

[startup+20.1102 s]
/proc/loadavg: 4.79 4.46 3.87 6/221 1804
/proc/meminfo: memFree=8893444/32770624 swapFree=67108860/67108860
[pid=1783] ppid=1780 vsize=15683912 memory=3266788 CPUtime=37.92 cores=1,3,5,7
/proc/1783/stat : 1783 (java) S 1780 1783 32649 0 -1 1077944320 55159 0 0 0 3703 89 0 0 20 0 19 0 73948433 16060325888 816697 33554432000 4194304 4196468 140729586241472 140729586224016 139935338282743 0 0 0 25189583 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 26112000 140729586246643 140729586246921 140729586246921 140729586249679 0
/proc/1783/statm: 3920978 816697 3250 1 0 3881834 0
[pid=1799] ppid=1783 vsize=219816 memory=174460 CPUtime=0.64 cores=1,3,5,7
/proc/1799/stat : 1799 (minisat_release) R 1783 1783 32649 0 -1 4202496 34959 0 0 0 57 7 0 0 20 0 1 0 73950379 225091584 43615 33554432000 4194304 4308513 140721433229584 140721432177992 139698342235008 0 4 0 8388610 0 0 0 17 5 0 0 0 0 0 6409496 6410680 23535616 140721433236145 140721433236654 140721433236654 140721433239493 0
/proc/1799/statm: 54954 43615 318 28 0 51194 0
[pid=1783/tid=1785] ppid=1780 vsize=15683912 memory=0 CPUtime=18.89 cores=1,3,5,7
/proc/1783/task/1785/stat : 1785 (java) S 1780 1783 32649 0 -1 1077944384 20982 0 0 0 1831 58 0 0 20 0 19 0 73948433 16060325888 816697 33554432000 4194304 4196468 140729586241472 139935310121984 139935338292949 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 27 0 0 6293624 6294260 26112000 140729586246643 140729586246921 140729586246921 140729586249679 0
[pid=1783/tid=1786] ppid=1780 vsize=15683912 memory=28 CPUtime=0.36 cores=1,3,5,7
/proc/1783/task/1786/stat : 1786 (java) S 1780 1783 32649 0 -1 1077944384 296 0 0 0 31 5 0 0 20 0 19 0 73948435 16060325888 816697 33554432000 4194304 4196468 140729586241472 139935342524688 139935338292949 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26112000 140729586246643 140729586246921 140729586246921 140729586249679 0
[pid=1783/tid=1787] ppid=1780 vsize=15683912 memory=28 CPUtime=0.33 cores=1,3,5,7
/proc/1783/task/1787/stat : 1787 (java) S 1780 1783 32649 0 -1 1077944384 464 0 0 0 28 5 0 0 20 0 19 0 73948435 16060325888 816697 33554432000 4194304 4196468 140729586241472 139935141300624 139935338292949 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26112000 140729586246643 140729586246921 140729586246921 140729586249679 0
[pid=1783/tid=1788] ppid=1780 vsize=15683912 memory=3263512 CPUtime=0.32 cores=1,3,5,7
/proc/1783/task/1788/stat : 1788 (java) S 1780 1783 32649 0 -1 1077944384 267 0 0 0 27 5 0 0 20 0 19 0 73948435 16060325888 816697 33554432000 4194304 4196468 140729586241472 139935140248080 139935338292949 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26112000 140729586246643 140729586246921 140729586246921 140729586249679 0
[pid=1783/tid=1789] ppid=1780 vsize=15683912 memory=6944656601042741910 CPUtime=0.36 cores=1,3,5,7
/proc/1783/task/1789/stat : 1789 (java) S 1780 1783 32649 0 -1 1077944384 203 0 0 0 31 5 0 0 20 0 19 0 73948435 16060325888 816697 33554432000 4194304 4196468 140729586241472 139935139195536 139935338292949 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26112000 140729586246643 140729586246921 140729586246921 140729586249679 0
[pid=1783/tid=1790] ppid=1780 vsize=15683912 memory=-7595718147998060693 CPUtime=0.02 cores=1,3,5,7
/proc/1783/task/1790/stat : 1790 (java) S 1780 1783 32649 0 -1 1077944384 45 0 0 0 2 0 0 0 20 0 19 0 73948436 16060325888 816697 33554432000 4194304 4196468 140729586241472 139934308444656 139935338293890 0 0 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26112000 140729586246643 140729586246921 140729586246921 140729586249679 0
[pid=1783/tid=1791] ppid=1780 vsize=15683912 memory=3472328279047811119 CPUtime=0 cores=1,3,5,7
/proc/1783/task/1791/stat : 1791 (java) S 1780 1783 32649 0 -1 1077944384 15 0 0 0 0 0 0 0 20 0 19 0 73948437 16060325888 816697 33554432000 4194304 4196468 140729586241472 139933926811104 139935338292949 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26112000 140729586246643 140729586246921 140729586246921 140729586249679 0
[pid=1783/tid=1792] ppid=1780 vsize=15683912 memory=6656426216303648864 CPUtime=0 cores=1,3,5,7
/proc/1783/task/1792/stat : 1792 (java) S 1780 1783 32649 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 73948437 16060325888 816697 33554432000 4194304 4196468 140729586241472 139933658375680 139935338292949 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26112000 140729586246643 140729586246921 140729586246921 140729586249679 0
[pid=1783/tid=1793] ppid=1780 vsize=15683912 memory=4136 CPUtime=0 cores=1,3,5,7
/proc/1783/task/1793/stat : 1793 (java) S 1780 1783 32649 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 73948439 16060325888 816697 33554432000 4194304 4196468 140729586241472 139933283867344 139935338301339 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26112000 140729586246643 140729586246921 140729586246921 140729586249679 0
[pid=1783/tid=1794] ppid=1780 vsize=15683912 memory=280573302569216 CPUtime=8.06 cores=1,3,5,7
/proc/1783/task/1794/stat : 1794 (java) S 1780 1783 32649 0 -1 1077944384 12310 0 0 0 803 3 0 0 20 0 19 0 73948439 16060325888 816697 33554432000 4194304 4196468 140729586241472 139934307391472 139935338293890 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26112000 140729586246643 140729586246921 140729586246921 140729586249679 0
[pid=1783/tid=1795] ppid=1780 vsize=15683912 memory=-6374957858630779283 CPUtime=7.8 cores=1,3,5,7
/proc/1783/task/1795/stat : 1795 (java) S 1780 1783 32649 0 -1 1077944384 12516 0 0 0 777 3 0 0 20 0 19 0 73948439 16060325888 816697 33554432000 4194304 4196468 140729586241472 139934306338928 139935338293890 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26112000 140729586246643 140729586246921 140729586246921 140729586249679 0
[pid=1783/tid=1796] ppid=1780 vsize=15683912 memory=6944656592455360608 CPUtime=1.7 cores=1,3,5,7
/proc/1783/task/1796/stat : 1796 (java) S 1780 1783 32649 0 -1 1077944384 6669 0 0 0 168 2 0 0 20 0 19 0 73948439 16060325888 816697 33554432000 4194304 4196468 140729586241472 139934305286384 139935338293890 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26112000 140729586246643 140729586246921 140729586246921 140729586249679 0
[pid=1783/tid=1797] ppid=1780 vsize=15683912 memory=-7737605734073681312 CPUtime=0 cores=1,3,5,7
/proc/1783/task/1797/stat : 1797 (java) S 1780 1783 32649 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 73948439 16060325888 816697 33554432000 4194304 4196468 140729586241472 139932785961568 139935338292949 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26112000 140729586246643 140729586246921 140729586246921 140729586249679 0
[pid=1783/tid=1798] ppid=1780 vsize=15683912 memory=301741373374332954 CPUtime=0 cores=1,3,5,7
/proc/1783/task/1798/stat : 1798 (java) S 1780 1783 32649 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 19 0 73948440 16060325888 816697 33554432000 4194304 4196468 140729586241472 139934304234288 139935338293890 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26112000 140729586246643 140729586246921 140729586246921 140729586249679 0
[pid=1783/tid=1800] ppid=1780 vsize=15683912 memory=288230583166042426 CPUtime=0 cores=1,3,5,7
/proc/1783/task/1800/stat : 1800 (java) S 1780 1783 32649 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 73950379 16060325888 816697 33554432000 4194304 4196468 140729586241472 139934397273664 139935338307353 0 4 0 25189583 18446744071579417331 0 0 -1 3 0 0 0 0 0 6293624 6294260 26112000 140729586246643 140729586246921 140729586246921 140729586249679 0
[pid=1783/tid=1802] ppid=1780 vsize=15683912 memory=15535211064591758 CPUtime=0 cores=1,3,5,7
/proc/1783/task/1802/stat : 1802 (java) S 1780 1783 32649 0 -1 4202560 23 0 0 0 0 0 0 0 20 0 19 0 73950379 16060325888 816697 33554432000 4194304 4196468 140729586241472 139932249075760 139935338304669 0 4 0 25189583 18446744071580971376 0 0 -1 7 0 0 0 0 0 6293624 6294260 26112000 140729586246643 140729586246921 140729586246921 140729586249679 0
[pid=1783/tid=1803] ppid=1780 vsize=15683912 memory=5792 CPUtime=0 cores=1,3,5,7
/proc/1783/task/1803/stat : 1803 (java) S 1780 1783 32649 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 19 0 73950379 16060325888 816697 33554432000 4194304 4196468 140729586241472 139932383296688 139935338304669 0 4 0 25189583 18446744071580971376 0 0 -1 7 0 0 0 0 0 6293624 6294260 26112000 140729586246643 140729586246921 140729586246921 140729586249679 0
[pid=1783/tid=1804] ppid=1780 vsize=15683912 memory=7308028628335813952 CPUtime=0 cores=1,3,5,7
/proc/1783/task/1804/stat : 1804 (java) S 1780 1783 32649 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 73950390 16060325888 816697 33554432000 4194304 4196468 140729586241472 139931980651552 139935338292949 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26112000 140729586246643 140729586246921 140729586246921 140729586249679 0
Current children cumulated CPU time: 38.56 s
Current children cumulated vsize: 15903728 KiB
Current children cumulated memory: 3441248 KiB

Child status: 1
Real time (s): 20.1527
CPU time (s): 38.6231
CPU user time (s): 37.6155
CPU system time (s): 1.00762
CPU usage (%): 191.652
Max. virtual memory (cumulated for all children) (KiB): 15903728
Max. memory (cumulated for all children) (KiB): 3441248

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 37.6155
system time used= 1.00762
maximum resident set size= 3269288
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 90239
page faults= 0
swaps= 0
block input operations= 0
block output operations= 112056
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 6358
involuntary context switches= 101


# summary of solver processes directly reported to runsolver:
#   pid: 1783
#   total CPU time (s): 38.6231
#   total CPU user time (s): 37.6155
#   total CPU system time (s): 1.00762

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.148235 second user time and 0.241513 second system time

The end

Launcher Data 

Begin job on node150 at 2018-07-26 02:10:52
IDJOB=4295083
IDBENCH=141462
IDSOLVER=2756
FILE ID=node150/4295083-1532563852
RUNJOBID= node150-1532562189-32681
PBS_JOBID= 21021956
Free space on /tmp= 53096 MiB

SOLVER NAME= scop order+MapleCOMSPS (2018-06-13)
BENCH NAME= XCSP18/CarSequencing/CarSequencing-70-02_c18.xml
COMMAND LINE= java -Xms11g -Xmx11g -Xss128m -jar DIR/scop.jar -order -solver DIR/minisat_release -solverOption mapleTune01 -tmp TMPDIR BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4295083-1532563852/watcher-4295083-1532563852 -o /tmp/evaluation-result-4295083-1532563852/solver-4295083-1532563852 -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-4295083-1532563852.xml

TIME LIMIT= 2520 seconds
MEMORY LIMIT= 15500 MiB
NBCORE= 4

MD5SUM BENCH= df4cedb493dfe6d7df97c8cdc585ec30
RANDOM SEED=153740057

node150.alineos.net Linux 3.10.0-514.16.1.el7.x86_64 #1 SMP Wed Apr 12 15:04:24 UTC 2017

/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.76
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.76
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.76
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.76
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32770624 kB
MemFree:        12359012 kB
MemAvailable:   19839652 kB
Buffers:          187012 kB
Cached:          7512296 kB
SwapCached:            0 kB
Active:         14204592 kB
Inactive:        5619320 kB
Active(anon):   12074912 kB
Inactive(anon):    76924 kB
Active(file):    2129680 kB
Inactive(file):  5542396 kB
Unevictable:        7744 kB
Mlocked:            7744 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:              7864 kB
Writeback:             0 kB
AnonPages:      12131908 kB
Mapped:            52040 kB
Shmem:             25224 kB
Slab:             265768 kB
SReclaimable:     237024 kB
SUnreclaim:        28744 kB
KernelStack:        3568 kB
PageTables:        29328 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:   13020984 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:  11300864 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      126336 kB
DirectMap2M:    33419264 kB

Free space on /tmp at the end= 53088 MiB
End job on node150 at 2018-07-26 02:11:12