Trace number 4305306

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-07-31)? (TO) 2520.14 2480.95

General information on the benchmark

NameBibd/
Bibd-sc-34-085-30-12-10_c18.xml
MD5SUM16a7a800d3f63e1acf189b42778a783a
Bench CategoryCSP (decision problem)
Best result obtained on this benchmark
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Satisfiable
(Un)Satisfiability was proved
Number of variables101150
Number of constraints48366
Number of domains1
Minimum domain size2
Maximum domain size2
Distribution of domain sizes[{"size":2,"count":50575}]
Minimum variable degree0
Maximum variable degree36
Distribution of variable degrees[{"degree":0,"count":50575},{"degree":2,"count":47685},{"degree":36,"count":2890}]
Minimum constraint arity3
Maximum constraint arity2890
Distribution of constraint arities[{"arity":3,"count":47685},{"arity":34,"count":85},{"arity":85,"count":595},{"arity":2890,"count":1}]
Number of extensional constraints0
Number of intensional constraints47685
Distribution of constraint types[{"type":"intension","count":47685},{"type":"lex","count":1},{"type":"sum","count":680}]
Optimization problemNO
Type of objective

Solver Data 

0.00/0.00	c (scop.sh) java -Xms11g -Xmx11g -Xss128m -cp scop.jar fun.scop.XCSP18Encode -order -solver minisat_release -solverOption default -tmp HOME -serialFile HOME/scop-18001-serial-file.bin HOME/instance-4305306-1534070153.xml
0.54/0.52	
0.67/0.52	scop order+minisat_release (2018-07-31)
0.67/0.52	(Encoding Process)
0.67/0.52	
0.67/0.54	c BEGIN-Prog: Sun Aug 12 12:35:54 CEST 2018
0.67/0.54	c PID: 18004
0.67/0.54	c IP: 172.20.3.107
0.67/0.54	c HOST: node107.alineos.net
0.67/0.55	c (0,0) Parsing Begin
13.70/5.74	c (5,5) Parsing End
13.70/5.79	c (5,5) CSP: 0 int (0 aux), 50575 bool (0 aux), 48366 ctr, max domain size 2
13.70/5.80	c (5,5) Heap : 1971 MiB used (max 10795 MiB), NonHeap : 26 MiB used (max 0 MiB)
13.70/5.80	c (5,5) Constraint Name Generate Begin
14.17/5.94	c (5,5) Ctr:HOME/instance-4305306-1534070153.xml,Eq:IntVar:LexMatrix:Mul:Num:WeightedSum
14.17/5.94	c (5,5) Constraint Name Generate End
14.17/5.94	c (5,5) Heap : 2027 MiB used (max 10795 MiB), NonHeap : 26 MiB used (max 0 MiB)
14.17/5.94	c (5,5) CSP to CSPinCNF Begin
20.36/8.04	c (7,7) translated 4837 (10%) constraints
21.61/8.97	c (8,8) translated 9674 (20%) constraints
23.39/10.04	c (9,9) translated 14510 (30%) constraints
24.18/10.87	c (10,9) translated 19347 (40%) constraints
25.08/11.70	c (11,10) translated 24183 (50%) constraints
25.89/12.55	c (12,11) translated 29020 (60%) constraints
26.70/13.39	c (12,12) translated 33857 (70%) constraints
27.76/14.24	c (13,13) translated 38693 (80%) constraints
28.61/15.07	c (14,14) translated 43530 (90%) constraints
34.07/18.75	c (18,17) translated 48366 (100%) constraints
70.73/46.45	c (45,43) STATISTICS1:HOME/instance-4305306-1534070153.xml,Eq:IntVar:LexMatrix:Mul:Num:WeightedSum,151372,250193,9223372036854775807,2,4,85,9223372036854775807:1190;8589934592:170;2:106575,2:616691,4:5427;3:95487;2:100797;1:48482,85:1190;34:170;2:106575;1:493131,3136:1190
70.73/46.45	c (45,43) ==========================================
70.73/46.45	c (45,43) Order
70.73/46.45	c (45,43) ==========================================
75.04/47.85	c (47,44) translated 25020 (10%) constraints
75.95/48.59	c (48,45) translated 50039 (20%) constraints
76.75/49.31	c (48,46) translated 75058 (30%) constraints
77.46/50.03	c (49,46) translated 100078 (40%) constraints
78.15/50.75	c (50,47) translated 125097 (50%) constraints
78.85/51.47	c (50,48) translated 150116 (60%) constraints
79.56/52.19	c (51,48) translated 175136 (70%) constraints
80.35/52.91	c (52,49) translated 200155 (80%) constraints
81.05/53.63	c (53,50) translated 225174 (90%) constraints
88.41/57.85	c (57,54) translated 250193 (100%) constraints
88.41/57.86	c (57,54) CSP to CSPinCNF End
88.51/57.92	c (57,54) CSP: 13430 int (13430 aux), 199057 bool (148482 aux), 420788 ctr, max domain size 30
88.51/57.92	c (57,54) Heap : 2203 MiB used (max 10656 MiB), NonHeap : 33 MiB used (max 0 MiB)
88.51/57.92	c (57,54) CSPinCNF Propagation Begin
91.97/59.83	c (59,55) 0 values, 47685 unsatisfiable literals, and 47685 valid clauses are removed
91.97/59.83	c (59,55) CSPinCNF Propagation End
91.97/59.89	c (59,56) CSP: 13430 int (13430 aux), 199057 bool (148482 aux), 373103 ctr, max domain size 30
91.97/59.89	c (59,56) Heap : 1359 MiB used (max 10736 MiB), NonHeap : 33 MiB used (max 0 MiB)
91.97/59.89	c (59,56) Simplify CSPinCNF Begin
93.35/60.83	c (60,56) Simplify CSPinCNF End
93.35/60.89	c (60,57) CSP: 13430 int (13430 aux), 210262 bool (159687 aux), 384308 ctr, max domain size 30
93.35/60.89	c (60,57) Heap : 1679 MiB used (max 10736 MiB), NonHeap : 31 MiB used (max 0 MiB)
93.35/60.89	c (60,57) Calculate Precise Domain Begin
93.74/61.02	c (60,57) 0 values are removed by re-calculation
93.74/61.02	c (60,57) Calculate Precise Domain End
93.74/61.08	c (60,57) CSP: 13430 int (13430 aux), 210262 bool (159687 aux), 384308 ctr, max domain size 30
93.74/61.08	c (60,57) Heap : 1785 MiB used (max 10736 MiB), NonHeap : 31 MiB used (max 0 MiB)
93.74/61.08	c (60,57) CSPinCNF to SatSolver Begin
97.34/62.72	c (62,58) 38431 (10 %) CSP clauses are encoded (323737 SAT variables, 440463 SAT clauses)
97.59/62.93	c (62,59) 76862 (20 %) CSP clauses are encoded (323737 SAT variables, 478894 SAT clauses)
97.76/63.26	c (62,59) 115293 (30 %) CSP clauses are encoded (323737 SAT variables, 517325 SAT clauses)
97.96/63.46	c (62,59) 153724 (40 %) CSP clauses are encoded (323737 SAT variables, 555756 SAT clauses)
99.14/63.90	c (63,59) 192154 (50 %) CSP clauses are encoded (323737 SAT variables, 594186 SAT clauses)
99.25/64.10	c (63,59) 230585 (60 %) CSP clauses are encoded (323737 SAT variables, 632617 SAT clauses)
99.55/64.31	c (63,60) 269016 (70 %) CSP clauses are encoded (323737 SAT variables, 671048 SAT clauses)
99.75/64.51	c (63,60) 307447 (80 %) CSP clauses are encoded (323737 SAT variables, 709479 SAT clauses)
103.25/67.49	c (66,63) 345878 (90 %) CSP clauses are encoded (323737 SAT variables, 1607028 SAT clauses)
108.90/72.97	c (72,68) 384308 (100 %) CSP clauses are encoded (323737 SAT variables, 3278170 SAT clauses)
108.90/72.97	c (72,68) Launch Command will be: minisat_release
108.90/72.97	c (72,68) CSPinCNF to SatSolver End
108.90/72.97	c (72,68) Heap : 946 MiB used (max 10781 MiB), NonHeap : 34 MiB used (max 0 MiB)
110.47/74.11	c (73,69) STATISTICS2:HOME/instance-4305306-1534070153.xml,Eq:IntVar:LexMatrix:Mul:Num:WeightedSum,223692,384308,841,30,4,9,841:68;256:1190;240:68;225:136;144:170;128:13090;121:4488;72:1530;64:6290;49:170;25:340;16:680;2:112119,30:136;29:272;16:136;15:680;13:340;12:680;11:20196;9:3060;8:26180;7:680;5:1360;2:894394,4:5427;3:47802;2:207372;1:123707,9:1190;8:13090;7:340;5:1020;3:12580;2:112119;1:563226,
110.47/74.11	c (73,69) 323737 bool, 3278171 clause
110.47/74.11	c (73,69) Export Begin
112.51/75.84	c (75,71) Export to HOME/scop-18001-serial-file.bin
112.51/75.84	c (75,71) Export End
112.51/75.84	c (75,71) Export File Size: 8.40 MB
112.51/75.84	c (75,71) 5,5,57,59,60,60,72,STOP-AFTER(DIMACS)
112.51/75.84	c END-Prog: Sun Aug 12 12:37:09 CEST 2018
112.51/75.88	c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp scop.jar fun.scop.XCSP18Solve HOME/scop-18001-serial-file.bin
113.22/76.39	c (0,0) Read Serial File Begin
113.22/76.39	c (0,0) HOME/scop-18001-serial-file.bin
115.50/78.18	c (1,1) Read Serial File End
115.50/78.19	
115.86/78.33	scop order+minisat_release (2018-07-31)
115.86/78.33	(Solving Process)
115.86/78.33	
115.86/78.33	c BEGIN-Prog: Sun Aug 12 12:37:11 CEST 2018
115.86/78.33	c PID: 18020
115.86/78.33	c IP: 172.20.3.107
115.86/78.33	c HOST: node107.alineos.net
115.86/78.33	c (1,1) SatSolver.solve Begin
115.86/78.33	c (1,1) 0 bool, 0 clause
115.86/78.33	c (1,1) minisat_release HOME/instance-4305306-1534070153.xml-scop-18004.cnf
2520.06/2480.90	c (2404,0) receiving signal SIGTERM
2520.06/2480.90	s UNKNOWN
2520.06/2480.91	c (scop.sh) Receiving Signal. Removing all intermediate files.
2520.06/2480.91	c (scop.sh) Remove HOME/scop-18001-serial-file.bin.
2520.06/2480.91	c (scop.sh) Killing background jobs.
2520.06/2480.91	c (2404,0) receiving signal SIGTERM

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 (12861 MiB free)
  memory of node 1: 16384 MiB (10357 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4305306-1534070153/watcher-4305306-1534070153 -o /tmp/evaluation-result-4305306-1534070153/solver-4305306-1534070153 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node107-1534064712-16636 --watchdog 2580 scop.sh 11g scop.jar -order minisat_release default HOME HOME/instance-4305306-1534070153.xml 

running on 4 cores: 0,2,4,6

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=18001, runsolver pid=17998

[startup+0.100161 s]*
/proc/loadavg: 2.40 2.20 2.11 3/222 18018
/proc/meminfo: memFree=23715852/32770624 swapFree=67108860/67108860
[pid=18001] ppid=17998 vsize=113128 memory=1392 CPUtime=0 cores=0,2,4,6
/proc/18001/stat : 18001 (scop.sh) S 17998 18001 16605 0 -1 4202496 560 321 0 0 0 0 0 0 20 0 1 0 224578504 115843072 348 33554432000 4194304 5098028 140735064065072 140735064062328 140199838433916 0 65536 4100 81923 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 32673792 140735064069184 140735064069383 140735064069383 140735064072141 0
/proc/18001/statm: 28282 348 296 221 0 87 0
[pid=18004] ppid=18001 vsize=15012476 memory=73048 CPUtime=0.11 cores=0,2,4,6
/proc/18004/stat : 18004 (java) S 18001 18001 16605 0 -1 1077944320 6353 0 0 0 9 2 0 0 20 0 15 0 224578504 15372775424 18262 33554432000 4194304 4196468 140720506566320 140720506548864 139672580849399 0 0 2 16800973 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 23261184 140720506569734 140720506570033 140720506570033 140720506572751 0
/proc/18004/statm: 3753119 18262 2767 1 0 3715579 0
[pid=18004/tid=18005] ppid=18001 vsize=15012476 memory=-6222985969016291263 CPUtime=0.08 cores=0,2,4,6
/proc/18004/task/18005/stat : 18005 (java) R 18001 18001 16605 0 -1 4202560 4450 0 0 0 7 1 0 0 20 0 15 0 224578505 15372775424 18262 33554432000 4194304 4196468 140720506566320 139672552626480 139672564036208 0 4 2 16800973 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 23261184 140720506569734 140720506570033 140720506570033 140720506572751 0
[pid=18004/tid=18006] ppid=18001 vsize=15012476 memory=4206468019014099040 CPUtime=0 cores=0,2,4,6
/proc/18004/task/18006/stat : 18006 (java) S 18001 18001 16605 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224578506 15372775424 18262 33554432000 4194304 4196468 140720506566320 139672585091728 139672580859605 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23261184 140720506569734 140720506570033 140720506570033 140720506572751 0
[pid=18004/tid=18007] ppid=18001 vsize=15012476 memory=139696775652992 CPUtime=0 cores=0,2,4,6
/proc/18004/task/18007/stat : 18007 (java) S 18001 18001 16605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224578506 15372775424 18262 33554432000 4194304 4196468 140720506566320 139672405387792 139672580859605 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23261184 140720506569734 140720506570033 140720506570033 140720506572751 0
[pid=18004/tid=18008] ppid=18001 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/18004/task/18008/stat : 18008 (java) S 18001 18001 16605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224578506 15372775424 18262 33554432000 4194304 4196468 140720506566320 139672040208784 139672580859605 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23261184 140720506569734 140720506570033 140720506570033 140720506572751 0
[pid=18004/tid=18009] ppid=18001 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/18004/task/18009/stat : 18009 (java) S 18001 18001 16605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224578506 15372775424 18262 33554432000 4194304 4196468 140720506566320 139672039155984 139672580859605 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23261184 140720506569734 140720506570033 140720506570033 140720506572751 0
[pid=18004/tid=18010] ppid=18001 vsize=15012476 memory=139696775652992 CPUtime=0 cores=0,2,4,6
/proc/18004/task/18010/stat : 18010 (java) S 18001 18001 16605 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224578508 15372775424 18262 33554432000 4194304 4196468 140720506566320 139671920122736 139672580860546 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23261184 140720506569734 140720506570033 140720506570033 140720506572751 0
[pid=18004/tid=18011] ppid=18001 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/18004/task/18011/stat : 18011 (java) S 18001 18001 16605 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 224578508 15372775424 18262 33554432000 4194304 4196468 140720506566320 139671195608608 139672580859605 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23261184 140720506569734 140720506570033 140720506570033 140720506572751 0
[pid=18004/tid=18012] ppid=18001 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/18004/task/18012/stat : 18012 (java) S 18001 18001 16605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224578508 15372775424 18262 33554432000 4194304 4196468 140720506566320 139670927172976 139672580859605 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23261184 140720506569734 140720506570033 140720506570033 140720506572751 0
[pid=18004/tid=18013] ppid=18001 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/18004/task/18013/stat : 18013 (java) S 18001 18001 16605 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224578511 15372775424 18262 33554432000 4194304 4196468 140720506566320 139670552664400 139672580867995 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23261184 140720506569734 140720506570033 140720506570033 140720506572751 0
[pid=18004/tid=18014] ppid=18001 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/18004/task/18014/stat : 18014 (java) S 18001 18001 16605 0 -1 1077944384 298 0 0 0 0 0 0 0 20 0 15 0 224578511 15372775424 18262 33554432000 4194304 4196468 140720506566320 139671919069552 139672580860546 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23261184 140720506569734 140720506570033 140720506570033 140720506572751 0
[pid=18004/tid=18015] ppid=18001 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/18004/task/18015/stat : 18015 (java) S 18001 18001 16605 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224578511 15372775424 18262 33554432000 4194304 4196468 140720506566320 139671918016752 139672580860546 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23261184 140720506569734 140720506570033 140720506570033 140720506572751 0
[pid=18004/tid=18016] ppid=18001 vsize=15012476 memory=139696775652992 CPUtime=0.01 cores=0,2,4,6
/proc/18004/task/18016/stat : 18016 (java) S 18001 18001 16605 0 -1 1077944384 272 0 0 0 1 0 0 0 20 0 15 0 224578511 15372775424 18262 33554432000 4194304 4196468 140720506566320 139671916963952 139672580860546 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23261184 140720506569734 140720506570033 140720506570033 140720506572751 0
[pid=18004/tid=18017] ppid=18001 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/18004/task/18017/stat : 18017 (java) S 18001 18001 16605 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224578511 15372775424 18262 33554432000 4194304 4196468 140720506566320 139670054758624 139672580859605 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23261184 140720506569734 140720506570033 140720506570033 140720506572751 0
[pid=18004/tid=18018] ppid=18001 vsize=15012476 memory=139696775652992 CPUtime=0 cores=0,2,4,6
/proc/18004/task/18018/stat : 18018 (java) S 18001 18001 16605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224578511 15372775424 18262 33554432000 4194304 4196468 140720506566320 139671915912368 139672580860546 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23261184 140720506569734 140720506570033 140720506570033 140720506572751 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 15125604 KiB
Current children cumulated memory: 74440 KiB

[startup+0.21074 s]*
/proc/loadavg: 2.40 2.20 2.11 4/222 18018
/proc/meminfo: memFree=23702396/32770624 swapFree=67108860/67108860
[pid=18001] ppid=17998 vsize=113128 memory=1392 CPUtime=0 cores=0,2,4,6
/proc/18001/stat : 18001 (scop.sh) S 17998 18001 16605 0 -1 4202496 560 321 0 0 0 0 0 0 20 0 1 0 224578504 115843072 348 33554432000 4194304 5098028 140735064065072 140735064062328 140199838433916 0 65536 4100 81923 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 32673792 140735064069184 140735064069383 140735064069383 140735064072141 0
/proc/18001/statm: 28282 348 296 221 0 87 0
[pid=18004] ppid=18001 vsize=15012476 memory=86140 CPUtime=0.26 cores=0,2,4,6
/proc/18004/stat : 18004 (java) S 18001 18001 16605 0 -1 1077944320 9872 0 0 0 23 3 0 0 20 0 15 0 224578504 15372775424 21535 33554432000 4194304 4196468 140720506566320 140720506548864 139672580849399 0 0 2 16800973 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 23261184 140720506569734 140720506570033 140720506570033 140720506572751 0
/proc/18004/statm: 3753119 21535 2878 1 0 3715579 0
[pid=18004/tid=18005] ppid=18001 vsize=15012476 memory=7022364632946311227 CPUtime=0.19 cores=0,2,4,6
/proc/18004/task/18005/stat : 18005 (java) R 18001 18001 16605 0 -1 4202560 7788 0 0 0 17 2 0 0 20 0 15 0 224578505 15372775424 21535 33554432000 4194304 4196468 140720506566320 139672552669312 139672580861334 0 4 2 16800973 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 23261184 140720506569734 140720506570033 140720506570033 140720506572751 0
[pid=18004/tid=18006] ppid=18001 vsize=15012476 memory=539 CPUtime=0 cores=0,2,4,6
/proc/18004/task/18006/stat : 18006 (java) S 18001 18001 16605 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224578506 15372775424 21535 33554432000 4194304 4196468 140720506566320 139672585091728 139672580859605 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23261184 140720506569734 140720506570033 140720506570033 140720506572751 0
[pid=18004/tid=18007] ppid=18001 vsize=15012476 memory=4050061268067051168 CPUtime=0 cores=0,2,4,6
/proc/18004/task/18007/stat : 18007 (java) S 18001 18001 16605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224578506 15372775424 21535 33554432000 4194304 4196468 140720506566320 139672405387792 139672580859605 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23261184 140720506569734 140720506570033 140720506570033 140720506572751 0
[pid=18004/tid=18008] ppid=18001 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/18004/task/18008/stat : 18008 (java) S 18001 18001 16605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224578506 15372775424 21535 33554432000 4194304 4196468 140720506566320 139672040208784 139672580859605 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23261184 140720506569734 140720506570033 140720506570033 140720506572751 0
[pid=18004/tid=18009] ppid=18001 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/18004/task/18009/stat : 18009 (java) S 18001 18001 16605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224578506 15372775424 21535 33554432000 4194304 4196468 140720506566320 139672039155984 139672580859605 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23261184 140720506569734 140720506570033 140720506570033 140720506572751 0
[pid=18004/tid=18010] ppid=18001 vsize=15012476 memory=139696775652992 CPUtime=0 cores=0,2,4,6
/proc/18004/task/18010/stat : 18010 (java) S 18001 18001 16605 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224578508 15372775424 21535 33554432000 4194304 4196468 140720506566320 139671920122736 139672580860546 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23261184 140720506569734 140720506570033 140720506570033 140720506572751 0
[pid=18004/tid=18011] ppid=18001 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/18004/task/18011/stat : 18011 (java) S 18001 18001 16605 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 224578508 15372775424 21535 33554432000 4194304 4196468 140720506566320 139671195608608 139672580859605 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23261184 140720506569734 140720506570033 140720506570033 140720506572751 0
[pid=18004/tid=18012] ppid=18001 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/18004/task/18012/stat : 18012 (java) S 18001 18001 16605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224578508 15372775424 21535 33554432000 4194304 4196468 140720506566320 139670927172976 139672580859605 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23261184 140720506569734 140720506570033 140720506570033 140720506572751 0
[pid=18004/tid=18013] ppid=18001 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/18004/task/18013/stat : 18013 (java) S 18001 18001 16605 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224578511 15372775424 21535 33554432000 4194304 4196468 140720506566320 139670552664400 139672580867995 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23261184 140720506569734 140720506570033 140720506570033 140720506572751 0
[pid=18004/tid=18014] ppid=18001 vsize=15012476 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/18004/task/18014/stat : 18014 (java) S 18001 18001 16605 0 -1 1077944384 423 0 0 0 1 0 0 0 20 0 15 0 224578511 15372775424 21535 33554432000 4194304 4196468 140720506566320 139671919069552 139672580860546 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23261184 140720506569734 140720506570033 140720506570033 140720506572751 0
[pid=18004/tid=18015] ppid=18001 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/18004/task/18015/stat : 18015 (java) S 18001 18001 16605 0 -1 1077944384 42 0 0 0 0 0 0 0 20 0 15 0 224578511 15372775424 21535 33554432000 4194304 4196468 140720506566320 139671918016752 139672580860546 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23261184 140720506569734 140720506570033 140720506570033 140720506572751 0
[pid=18004/tid=18016] ppid=18001 vsize=15012476 memory=139696775652992 CPUtime=0.03 cores=0,2,4,6
/proc/18004/task/18016/stat : 18016 (java) R 18001 18001 16605 0 -1 4202560 288 0 0 0 3 0 0 0 20 0 15 0 224578511 15372775424 21535 33554432000 4194304 4196468 140720506566320 139671916963952 139672580870746 0 4 2 16800973 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 23261184 140720506569734 140720506570033 140720506570033 140720506572751 0
[pid=18004/tid=18017] ppid=18001 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/18004/task/18017/stat : 18017 (java) S 18001 18001 16605 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224578511 15372775424 21535 33554432000 4194304 4196468 140720506566320 139670054758624 139672580859605 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23261184 140720506569734 140720506570033 140720506570033 140720506572751 0
[pid=18004/tid=18018] ppid=18001 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/18004/task/18018/stat : 18018 (java) S 18001 18001 16605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224578511 15372775424 21535 33554432000 4194304 4196468 140720506566320 139671915912368 139672580860546 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23261184 140720506569734 140720506570033 140720506570033 140720506572751 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 15125604 KiB
Current children cumulated memory: 87532 KiB

[startup+0.310694 s]*
/proc/loadavg: 2.40 2.20 2.11 3/222 18018
/proc/meminfo: memFree=23697184/32770624 swapFree=67108860/67108860
[pid=18001] ppid=17998 vsize=113128 memory=1392 CPUtime=0 cores=0,2,4,6
/proc/18001/stat : 18001 (scop.sh) S 17998 18001 16605 0 -1 4202496 560 321 0 0 0 0 0 0 20 0 1 0 224578504 115843072 348 33554432000 4194304 5098028 140735064065072 140735064062328 140199838433916 0 65536 4100 81923 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 32673792 140735064069184 140735064069383 140735064069383 140735064072141 0
/proc/18001/statm: 28282 348 296 221 0 87 0
[pid=18004] ppid=18001 vsize=15012476 memory=89664 CPUtime=0.43 cores=0,2,4,6
/proc/18004/stat : 18004 (java) S 18001 18001 16605 0 -1 1077944320 10402 0 0 0 40 3 0 0 20 0 15 0 224578504 15372775424 22416 33554432000 4194304 4196468 140720506566320 140720506548864 139672580849399 0 0 2 16800973 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 23261184 140720506569734 140720506570033 140720506570033 140720506572751 0
/proc/18004/statm: 3753119 22416 2972 1 0 3715579 0
[pid=18004/tid=18005] ppid=18001 vsize=15012476 memory=6791534058613427641 CPUtime=0.3 cores=0,2,4,6
/proc/18004/task/18005/stat : 18005 (java) R 18001 18001 16605 0 -1 4202560 8162 0 0 0 27 3 0 0 20 0 15 0 224578505 15372775424 22416 33554432000 4194304 4196468 140720506566320 139672552644400 139672564986123 0 4 2 16800973 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 23261184 140720506569734 140720506570033 140720506570033 140720506572751 0
[pid=18004/tid=18006] ppid=18001 vsize=15012476 memory=4872558044660077418 CPUtime=0 cores=0,2,4,6
/proc/18004/task/18006/stat : 18006 (java) S 18001 18001 16605 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224578506 15372775424 22416 33554432000 4194304 4196468 140720506566320 139672585091728 139672580859605 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23261184 140720506569734 140720506570033 140720506570033 140720506572751 0
[pid=18004/tid=18007] ppid=18001 vsize=15012476 memory=-3040564339105353098 CPUtime=0 cores=0,2,4,6
/proc/18004/task/18007/stat : 18007 (java) S 18001 18001 16605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224578506 15372775424 22416 33554432000 4194304 4196468 140720506566320 139672405387792 139672580859605 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23261184 140720506569734 140720506570033 140720506570033 140720506572751 0
[pid=18004/tid=18008] ppid=18001 vsize=15012476 memory=7161331908245094050 CPUtime=0 cores=0,2,4,6
/proc/18004/task/18008/stat : 18008 (java) S 18001 18001 16605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224578506 15372775424 22416 33554432000 4194304 4196468 140720506566320 139672040208784 139672580859605 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23261184 140720506569734 140720506570033 140720506570033 140720506572751 0
[pid=18004/tid=18009] ppid=18001 vsize=15012476 memory=6944656591801720471 CPUtime=0 cores=0,2,4,6
/proc/18004/task/18009/stat : 18009 (java) S 18001 18001 16605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224578506 15372775424 22416 33554432000 4194304 4196468 140720506566320 139672039155984 139672580859605 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23261184 140720506569734 140720506570033 140720506570033 140720506572751 0
[pid=18004/tid=18010] ppid=18001 vsize=15012476 memory=-8458152057954561420 CPUtime=0 cores=0,2,4,6
/proc/18004/task/18010/stat : 18010 (java) S 18001 18001 16605 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224578508 15372775424 22416 33554432000 4194304 4196468 140720506566320 139671920122736 139672580860546 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23261184 140720506569734 140720506570033 140720506570033 140720506572751 0
[pid=18004/tid=18011] ppid=18001 vsize=15012476 memory=-8813974798734826869 CPUtime=0 cores=0,2,4,6
/proc/18004/task/18011/stat : 18011 (java) S 18001 18001 16605 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 224578508 15372775424 22416 33554432000 4194304 4196468 140720506566320 139671195608608 139672580859605 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23261184 140720506569734 140720506570033 140720506570033 140720506572751 0
[pid=18004/tid=18012] ppid=18001 vsize=15012476 memory=7031125463459224206 CPUtime=0 cores=0,2,4,6
/proc/18004/task/18012/stat : 18012 (java) S 18001 18001 16605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224578508 15372775424 22416 33554432000 4194304 4196468 140720506566320 139670927172976 139672580859605 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23261184 140720506569734 140720506570033 140720506570033 140720506572751 0
[pid=18004/tid=18013] ppid=18001 vsize=15012476 memory=4426078206164241782 CPUtime=0 cores=0,2,4,6
/proc/18004/task/18013/stat : 18013 (java) S 18001 18001 16605 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224578511 15372775424 22416 33554432000 4194304 4196468 140720506566320 139670552664400 139672580867995 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23261184 140720506569734 140720506570033 140720506570033 140720506572751 0
[pid=18004/tid=18014] ppid=18001 vsize=15012476 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/18004/task/18014/stat : 18014 (java) R 18001 18001 16605 0 -1 4202560 448 0 0 0 2 0 0 0 20 0 15 0 224578511 15372775424 22416 33554432000 4194304 4196468 140720506566320 139671919069552 139672573086526 0 4 2 16800973 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 23261184 140720506569734 140720506570033 140720506570033 140720506572751 0
[pid=18004/tid=18015] ppid=18001 vsize=15012476 memory=0 CPUtime=0.03 cores=0,2,4,6
/proc/18004/task/18015/stat : 18015 (java) R 18001 18001 16605 0 -1 1077944384 152 0 0 0 3 0 0 0 20 0 15 0 224578511 15372775424 22416 33554432000 4194304 4196468 140720506566320 139671918016752 139672580860546 0 4 2 16800973 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 23261184 140720506569734 140720506570033 140720506570033 140720506572751 0
[pid=18004/tid=18016] ppid=18001 vsize=15012476 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/18004/task/18016/stat : 18016 (java) R 18001 18001 16605 0 -1 4202560 309 0 0 0 7 0 0 0 20 0 15 0 224578511 15372775424 22416 33554432000 4194304 4196468 140720506566320 139671916963952 139672559809664 0 4 2 16800973 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 23261184 140720506569734 140720506570033 140720506570033 140720506572751 0
[pid=18004/tid=18017] ppid=18001 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/18004/task/18017/stat : 18017 (java) S 18001 18001 16605 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224578511 15372775424 22416 33554432000 4194304 4196468 140720506566320 139670054758624 139672580859605 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23261184 140720506569734 140720506570033 140720506570033 140720506572751 0
[pid=18004/tid=18018] ppid=18001 vsize=15012476 memory=3544956536867594289 CPUtime=0 cores=0,2,4,6
/proc/18004/task/18018/stat : 18018 (java) S 18001 18001 16605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224578511 15372775424 22416 33554432000 4194304 4196468 140720506566320 139671915912368 139672580860546 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23261184 140720506569734 140720506570033 140720506570033 140720506572751 0
Current children cumulated CPU time: 0.43 s
Current children cumulated vsize: 15125604 KiB
Current children cumulated memory: 91056 KiB

[startup+0.709228 s]
/proc/loadavg: 2.40 2.20 2.11 3/222 18018
/proc/meminfo: memFree=23672628/32770624 swapFree=67108860/67108860
[pid=18001] ppid=17998 vsize=113128 memory=1392 CPUtime=0 cores=0,2,4,6
/proc/18001/stat : 18001 (scop.sh) S 17998 18001 16605 0 -1 4202496 560 321 0 0 0 0 0 0 20 0 1 0 224578504 115843072 348 33554432000 4194304 5098028 140735064065072 140735064062328 140199838433916 0 65536 4100 81923 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 32673792 140735064069184 140735064069383 140735064069383 140735064072141 0
/proc/18001/statm: 28282 348 296 221 0 87 0
[pid=18004] ppid=18001 vsize=15018748 memory=131796 CPUtime=1.07 cores=0,2,4,6
/proc/18004/stat : 18004 (java) S 18001 18001 16605 0 -1 1077944320 17589 0 0 0 102 5 0 0 20 0 15 0 224578504 15379197952 32949 33554432000 4194304 4196468 140720506566320 140720506548864 139672580849399 0 0 2 25189581 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 23261184 140720506569734 140720506570033 140720506570033 140720506572751 0
/proc/18004/statm: 3754687 32949 3131 1 0 3716091 0
[pid=18004/tid=18005] ppid=18001 vsize=15018748 memory=-7082918048272507482 CPUtime=0.67 cores=0,2,4,6
/proc/18004/task/18005/stat : 18005 (java) R 18001 18001 16605 0 -1 4202560 14614 0 0 0 63 4 0 0 20 0 15 0 224578505 15379197952 32949 33554432000 4194304 4196468 140720506566320 139672552685024 139672082936628 0 4 2 25189581 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 23261184 140720506569734 140720506570033 140720506570033 140720506572751 0
[pid=18004/tid=18006] ppid=18001 vsize=15018748 memory=0 CPUtime=0 cores=0,2,4,6
/proc/18004/task/18006/stat : 18006 (java) S 18001 18001 16605 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224578506 15379197952 32949 33554432000 4194304 4196468 140720506566320 139672585091728 139672580859605 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23261184 140720506569734 140720506570033 140720506570033 140720506572751 0
[pid=18004/tid=18007] ppid=18001 vsize=15018748 memory=61100 CPUtime=0 cores=0,2,4,6
/proc/18004/task/18007/stat : 18007 (java) S 18001 18001 16605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224578506 15379197952 32949 33554432000 4194304 4196468 140720506566320 139672405387792 139672580859605 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23261184 140720506569734 140720506570033 140720506570033 140720506572751 0
[pid=18004/tid=18008] ppid=18001 vsize=15018748 memory=1064 CPUtime=0 cores=0,2,4,6
/proc/18004/task/18008/stat : 18008 (java) S 18001 18001 16605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224578506 15379197952 32949 33554432000 4194304 4196468 140720506566320 139672040208784 139672580859605 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23261184 140720506569734 140720506570033 140720506570033 140720506572751 0
[pid=18004/tid=18009] ppid=18001 vsize=15018748 memory=2072 CPUtime=0 cores=0,2,4,6
/proc/18004/task/18009/stat : 18009 (java) S 18001 18001 16605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224578506 15379197952 32949 33554432000 4194304 4196468 140720506566320 139672039155984 139672580859605 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23261184 140720506569734 140720506570033 140720506570033 140720506572751 0
[pid=18004/tid=18010] ppid=18001 vsize=15018748 memory=1740 CPUtime=0 cores=0,2,4,6
/proc/18004/task/18010/stat : 18010 (java) S 18001 18001 16605 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 224578508 15379197952 32949 33554432000 4194304 4196468 140720506566320 139671920122736 139672580860546 0 0 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23261184 140720506569734 140720506570033 140720506570033 140720506572751 0
[pid=18004/tid=18011] ppid=18001 vsize=15018748 memory=11192 CPUtime=0 cores=0,2,4,6
/proc/18004/task/18011/stat : 18011 (java) S 18001 18001 16605 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 224578508 15379197952 32949 33554432000 4194304 4196468 140720506566320 139671195608608 139672580859605 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23261184 140720506569734 140720506570033 140720506570033 140720506572751 0
[pid=18004/tid=18012] ppid=18001 vsize=15018748 memory=752 CPUtime=0 cores=0,2,4,6
/proc/18004/task/18012/stat : 18012 (java) S 18001 18001 16605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224578508 15379197952 32949 33554432000 4194304 4196468 140720506566320 139670927172976 139672580859605 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23261184 140720506569734 140720506570033 140720506570033 140720506572751 0
[pid=18004/tid=18013] ppid=18001 vsize=15018748 memory=1828 CPUtime=0 cores=0,2,4,6
/proc/18004/task/18013/stat : 18013 (java) S 18001 18001 16605 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224578511 15379197952 32949 33554432000 4194304 4196468 140720506566320 139670552664400 139672580867995 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23261184 140720506569734 140720506570033 140720506570033 140720506572751 0
[pid=18004/tid=18014] ppid=18001 vsize=15018748 memory=1120 CPUtime=0.11 cores=0,2,4,6
/proc/18004/task/18014/stat : 18014 (java) R 18001 18001 16605 0 -1 4202560 713 0 0 0 11 0 0 0 20 0 15 0 224578511 15379197952 32949 33554432000 4194304 4196468 140720506566320 139671919055648 139672565969517 0 4 2 25189581 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 23261184 140720506569734 140720506570033 140720506570033 140720506572751 0
[pid=18004/tid=18015] ppid=18001 vsize=15018748 memory=6120 CPUtime=0.08 cores=0,2,4,6
/proc/18004/task/18015/stat : 18015 (java) R 18001 18001 16605 0 -1 4202560 438 0 0 0 8 0 0 0 20 0 15 0 224578511 15379197952 32949 33554432000 4194304 4196468 140720506566320 139671918008704 139672564260413 0 4 2 25189581 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 23261184 140720506569734 140720506570033 140720506570033 140720506572751 0
[pid=18004/tid=18016] ppid=18001 vsize=15018748 memory=1724 CPUtime=0.18 cores=0,2,4,6
/proc/18004/task/18016/stat : 18016 (java) R 18001 18001 16605 0 -1 4202560 490 0 0 0 18 0 0 0 20 0 15 0 224578511 15379197952 32949 33554432000 4194304 4196468 140720506566320 139671916964080 139672559805005 0 4 2 25189581 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 23261184 140720506569734 140720506570033 140720506570033 140720506572751 0
[pid=18004/tid=18017] ppid=18001 vsize=15018748 memory=4004 CPUtime=0 cores=0,2,4,6
/proc/18004/task/18017/stat : 18017 (java) S 18001 18001 16605 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224578511 15379197952 32949 33554432000 4194304 4196468 140720506566320 139670054758624 139672580859605 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23261184 140720506569734 140720506570033 140720506570033 140720506572751 0
[pid=18004/tid=18018] ppid=18001 vsize=15018748 memory=3516 CPUtime=0 cores=0,2,4,6
/proc/18004/task/18018/stat : 18018 (java) S 18001 18001 16605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224578511 15379197952 32949 33554432000 4194304 4196468 140720506566320 139671915912368 139672580860546 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23261184 140720506569734 140720506570033 140720506570033 140720506572751 0
Current children cumulated CPU time: 1.07 s
Current children cumulated vsize: 15131876 KiB
Current children cumulated memory: 133188 KiB

[startup+1.50219 s]
/proc/loadavg: 2.40 2.20 2.11 5/222 18018
/proc/meminfo: memFree=23629344/32770624 swapFree=67108860/67108860
[pid=18001] ppid=17998 vsize=113128 memory=1392 CPUtime=0 cores=0,2,4,6
/proc/18001/stat : 18001 (scop.sh) S 17998 18001 16605 0 -1 4202496 560 321 0 0 0 0 0 0 20 0 1 0 224578504 115843072 348 33554432000 4194304 5098028 140735064065072 140735064062328 140199838433916 0 65536 4100 81923 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 32673792 140735064069184 140735064069383 140735064069383 140735064072141 0
/proc/18001/statm: 28282 348 296 221 0 87 0

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

[pid=18020/tid=18023] ppid=18001 vsize=8068220 memory=1472 CPUtime=0 cores=0,2,4,6
/proc/18020/task/18023/stat : 18023 (java) S 18001 18001 16605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 224586095 8261857280 64047 33554432000 4194304 4196468 140726411502432 140293967280656 140294133954261 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7118848 140726411510965 140726411511089 140726411511089 140726411513807 0
[pid=18020/tid=18024] ppid=18001 vsize=8068220 memory=1408 CPUtime=0 cores=0,2,4,6
/proc/18020/task/18024/stat : 18024 (java) S 18001 18001 16605 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 224586095 8261857280 64047 33554432000 4194304 4196468 140726411502432 140293618174352 140294133954261 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7118848 140726411510965 140726411511089 140726411511089 140726411513807 0
[pid=18020/tid=18025] ppid=18001 vsize=8068220 memory=1472 CPUtime=0 cores=0,2,4,6
/proc/18020/task/18025/stat : 18025 (java) S 18001 18001 16605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 224586095 8261857280 64047 33554432000 4194304 4196468 140726411502432 140293617121552 140294133954261 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7118848 140726411510965 140726411511089 140726411511089 140726411513807 0
[pid=18020/tid=18026] ppid=18001 vsize=8068220 memory=1472 CPUtime=0.05 cores=0,2,4,6
/proc/18020/task/18026/stat : 18026 (java) S 18001 18001 16605 0 -1 1077944384 7 0 0 0 3 2 0 0 20 0 19 0 224586096 8261857280 64047 33554432000 4194304 4196468 140726411502432 140293580405616 140294133955202 0 0 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7118848 140726411510965 140726411511089 140726411511089 140726411513807 0
[pid=18020/tid=18027] ppid=18001 vsize=8068220 memory=354076 CPUtime=0 cores=0,2,4,6
/proc/18020/task/18027/stat : 18027 (java) S 18001 18001 16605 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 224586097 8261857280 64047 33554432000 4194304 4196468 140726411502432 140292959233568 140294133954261 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7118848 140726411510965 140726411511089 140726411511089 140726411513807 0
[pid=18020/tid=18028] ppid=18001 vsize=8068220 memory=1472 CPUtime=0 cores=0,2,4,6
/proc/18020/task/18028/stat : 18028 (java) S 18001 18001 16605 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 19 0 224586097 8261857280 64047 33554432000 4194304 4196468 140726411502432 140292825011568 140294133954261 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7118848 140726411510965 140726411511089 140726411511089 140726411513807 0
[pid=18020/tid=18029] ppid=18001 vsize=8068220 memory=61168 CPUtime=0 cores=0,2,4,6
/proc/18020/task/18029/stat : 18029 (java) S 18001 18001 16605 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 224586100 8261857280 64047 33554432000 4194304 4196468 140726411502432 140292450507088 140294133962651 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7118848 140726411510965 140726411511089 140726411511089 140726411513807 0
[pid=18020/tid=18030] ppid=18001 vsize=8068220 memory=1064 CPUtime=0.28 cores=0,2,4,6
/proc/18020/task/18030/stat : 18030 (java) S 18001 18001 16605 0 -1 1077944384 1171 0 0 0 28 0 0 0 20 0 19 0 224586100 8261857280 64047 33554432000 4194304 4196468 140726411502432 140293579352432 140294133955202 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7118848 140726411510965 140726411511089 140726411511089 140726411513807 0
[pid=18020/tid=18031] ppid=18001 vsize=8068220 memory=1472 CPUtime=0.3 cores=0,2,4,6
/proc/18020/task/18031/stat : 18031 (java) S 18001 18001 16605 0 -1 1077944384 522 0 0 0 30 0 0 0 20 0 19 0 224586100 8261857280 64047 33554432000 4194304 4196468 140726411502432 140293578299632 140294133955202 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7118848 140726411510965 140726411511089 140726411511089 140726411513807 0
[pid=18020/tid=18032] ppid=18001 vsize=8068220 memory=256188 CPUtime=0.23 cores=0,2,4,6
/proc/18020/task/18032/stat : 18032 (java) S 18001 18001 16605 0 -1 1077944384 774 0 0 0 23 0 0 0 20 0 19 0 224586100 8261857280 64047 33554432000 4194304 4196468 140726411502432 140293577246832 140294133955202 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7118848 140726411510965 140726411511089 140726411511089 140726411513807 0
[pid=18020/tid=18033] ppid=18001 vsize=8068220 memory=1472 CPUtime=0 cores=0,2,4,6
/proc/18020/task/18033/stat : 18033 (java) S 18001 18001 16605 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 224586100 8261857280 64047 33554432000 4194304 4196468 140726411502432 140291952601312 140294133954261 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7118848 140726411510965 140726411511089 140726411511089 140726411513807 0
[pid=18020/tid=18034] ppid=18001 vsize=8068220 memory=256188 CPUtime=1.44 cores=0,2,4,6
/proc/18020/task/18034/stat : 18034 (java) S 18001 18001 16605 0 -1 1077944384 158 0 0 0 70 74 0 0 20 0 19 0 224586100 8261857280 64047 33554432000 4194304 4196468 140726411502432 140293576195248 140294133955202 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7118848 140726411510965 140726411511089 140726411511089 140726411513807 0
[pid=18020/tid=18036] ppid=18001 vsize=8068220 memory=11192 CPUtime=0 cores=0,2,4,6
/proc/18020/task/18036/stat : 18036 (java) S 18001 18001 16605 0 -1 4202560 22 0 0 0 0 0 0 0 20 0 19 0 224586329 8261857280 64047 33554432000 4194304 4196468 140726411502432 140293568386752 140294133968665 0 4 2 25189581 18446744071579417331 0 0 -1 0 0 0 0 0 0 6293624 6294260 7118848 140726411510965 140726411511089 140726411511089 140726411513807 0
[pid=18020/tid=18038] ppid=18001 vsize=8068220 memory=752 CPUtime=0 cores=0,2,4,6
/proc/18020/task/18038/stat : 18038 (java) S 18001 18001 16605 0 -1 4202560 24 0 0 0 0 0 0 0 20 0 19 0 224586329 8261857280 64047 33554432000 4194304 4196468 140726411502432 140291415715632 140294133965981 0 4 2 25189581 18446744071580971376 0 0 -1 2 0 0 0 0 0 6293624 6294260 7118848 140726411510965 140726411511089 140726411511089 140726411513807 0
[pid=18020/tid=18039] ppid=18001 vsize=8068220 memory=1828 CPUtime=0 cores=0,2,4,6
/proc/18020/task/18039/stat : 18039 (java) S 18001 18001 16605 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 19 0 224586329 8261857280 64047 33554432000 4194304 4196468 140726411502432 140291549937328 140294133965981 0 4 2 25189581 18446744071580971376 0 0 -1 2 0 0 0 0 0 6293624 6294260 7118848 140726411510965 140726411511089 140726411511089 140726411513807 0
[pid=18020/tid=18040] ppid=18001 vsize=8068220 memory=924 CPUtime=0 cores=0,2,4,6
/proc/18020/task/18040/stat : 18040 (java) S 18001 18001 16605 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 224586331 8261857280 64047 33554432000 4194304 4196468 140726411502432 140291147291808 140294133954261 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7118848 140726411510965 140726411511089 140726411511089 140726411513807 0
Current children cumulated CPU time: 2481.44 s
Current children cumulated vsize: 8624316 KiB
Current children cumulated memory: 615012 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2480.9 s]
/proc/loadavg: 2.01 2.08 2.08 3/227 18728
/proc/meminfo: memFree=23905120/32770624 swapFree=67108860/67108860
[pid=18001] ppid=17998 vsize=113128 memory=1472 CPUtime=112.68 cores=0,2,4,6
/proc/18001/stat : 18001 (scop.sh) S 17998 18001 16605 0 -1 4202496 590 89988 0 0 0 0 10885 383 20 0 1 0 224578504 115843072 368 33554432000 4194304 5098028 140735064065072 140735064061816 140199838433916 0 65536 4100 81923 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 32673792 140735064069184 140735064069383 140735064069383 140735064072141 0
/proc/18001/statm: 28282 368 311 221 0 87 0
[pid=18020] ppid=18001 vsize=8068220 memory=256188 CPUtime=4.76 cores=0,2,4,6
/proc/18020/stat : 18020 (java) S 18001 18001 16605 0 -1 1077944320 19736 0 0 0 303 173 0 0 20 0 19 0 224586093 8261857280 64047 33554432000 4194304 4196468 140726411502432 140726411484976 140294133944055 0 0 2 25189581 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 7118848 140726411510965 140726411511089 140726411511089 140726411513807 0
/proc/18020/statm: 2017055 64047 3173 1 0 1978454 0
[pid=18035] ppid=18020 vsize=393944 memory=351008 CPUtime=2402.62 cores=0,2,4,6
/proc/18035/stat : 18035 (minisat_release) R 18020 18001 16605 0 -1 4202496 2866676 0 0 0 239756 506 0 0 20 0 1 0 224586328 403398656 87752 33554432000 4194304 4308513 140736549490320 140736549487768 4276008 0 4 0 8396802 0 0 0 17 4 0 0 8 0 0 6409496 6410680 14995456 140736549491828 140736549491926 140736549491926 140736549494725 0
/proc/18035/statm: 98486 87752 342 28 0 94726 0
[pid=18020/tid=18021] ppid=18001 vsize=8068220 memory=1472 CPUtime=2.37 cores=0,2,4,6
/proc/18020/task/18021/stat : 18021 (java) S 18001 18001 16605 0 -1 1077944384 15679 0 0 0 142 95 0 0 20 0 19 0 224586093 8261857280 64047 33554432000 4194304 4196468 140726411502432 140294105784208 140294133954261 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7118848 140726411510965 140726411511089 140726411511089 140726411513807 0
[pid=18020/tid=18022] ppid=18001 vsize=8068220 memory=256188 CPUtime=0 cores=0,2,4,6
/proc/18020/task/18022/stat : 18022 (java) S 18001 18001 16605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 224586095 8261857280 64047 33554432000 4194304 4196468 140726411502432 140294138186384 140294133954261 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7118848 140726411510965 140726411511089 140726411511089 140726411513807 0
[pid=18020/tid=18023] ppid=18001 vsize=8068220 memory=256188 CPUtime=0 cores=0,2,4,6
/proc/18020/task/18023/stat : 18023 (java) S 18001 18001 16605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 224586095 8261857280 64047 33554432000 4194304 4196468 140726411502432 140293967280656 140294133954261 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7118848 140726411510965 140726411511089 140726411511089 140726411513807 0
[pid=18020/tid=18024] ppid=18001 vsize=8068220 memory=256188 CPUtime=0 cores=0,2,4,6
/proc/18020/task/18024/stat : 18024 (java) S 18001 18001 16605 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 224586095 8261857280 64047 33554432000 4194304 4196468 140726411502432 140293618174352 140294133954261 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7118848 140726411510965 140726411511089 140726411511089 140726411513807 0
[pid=18020/tid=18025] ppid=18001 vsize=8068220 memory=256188 CPUtime=0 cores=0,2,4,6
/proc/18020/task/18025/stat : 18025 (java) S 18001 18001 16605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 224586095 8261857280 64047 33554432000 4194304 4196468 140726411502432 140293617121552 140294133954261 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7118848 140726411510965 140726411511089 140726411511089 140726411513807 0
[pid=18020/tid=18026] ppid=18001 vsize=8068220 memory=1472 CPUtime=0.05 cores=0,2,4,6
/proc/18020/task/18026/stat : 18026 (java) S 18001 18001 16605 0 -1 1077944384 7 0 0 0 3 2 0 0 20 0 19 0 224586096 8261857280 64047 33554432000 4194304 4196468 140726411502432 140293580405616 140294133955202 0 0 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7118848 140726411510965 140726411511089 140726411511089 140726411513807 0
[pid=18020/tid=18027] ppid=18001 vsize=8068220 memory=256188 CPUtime=0 cores=0,2,4,6
/proc/18020/task/18027/stat : 18027 (java) S 18001 18001 16605 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 224586097 8261857280 64047 33554432000 4194304 4196468 140726411502432 140292959233568 140294133954261 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7118848 140726411510965 140726411511089 140726411511089 140726411513807 0
[pid=18020/tid=18028] ppid=18001 vsize=8068220 memory=1472 CPUtime=0 cores=0,2,4,6
/proc/18020/task/18028/stat : 18028 (java) S 18001 18001 16605 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 19 0 224586097 8261857280 64047 33554432000 4194304 4196468 140726411502432 140292825011568 140294133954261 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7118848 140726411510965 140726411511089 140726411511089 140726411513807 0
[pid=18020/tid=18029] ppid=18001 vsize=8068220 memory=256188 CPUtime=0 cores=0,2,4,6
/proc/18020/task/18029/stat : 18029 (java) S 18001 18001 16605 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 224586100 8261857280 64047 33554432000 4194304 4196468 140726411502432 140292450507088 140294133962651 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7118848 140726411510965 140726411511089 140726411511089 140726411513807 0
[pid=18020/tid=18030] ppid=18001 vsize=8068220 memory=1472 CPUtime=0.28 cores=0,2,4,6
/proc/18020/task/18030/stat : 18030 (java) S 18001 18001 16605 0 -1 1077944384 1171 0 0 0 28 0 0 0 20 0 19 0 224586100 8261857280 64047 33554432000 4194304 4196468 140726411502432 140293579352432 140294133955202 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7118848 140726411510965 140726411511089 140726411511089 140726411513807 0
[pid=18020/tid=18031] ppid=18001 vsize=8068220 memory=256188 CPUtime=0.3 cores=0,2,4,6
/proc/18020/task/18031/stat : 18031 (java) S 18001 18001 16605 0 -1 1077944384 522 0 0 0 30 0 0 0 20 0 19 0 224586100 8261857280 64047 33554432000 4194304 4196468 140726411502432 140293578299632 140294133955202 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7118848 140726411510965 140726411511089 140726411511089 140726411513807 0
[pid=18020/tid=18032] ppid=18001 vsize=8068220 memory=1472 CPUtime=0.23 cores=0,2,4,6
/proc/18020/task/18032/stat : 18032 (java) S 18001 18001 16605 0 -1 1077944384 774 0 0 0 23 0 0 0 20 0 19 0 224586100 8261857280 64047 33554432000 4194304 4196468 140726411502432 140293577246832 140294133955202 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7118848 140726411510965 140726411511089 140726411511089 140726411513807 0
[pid=18020/tid=18033] ppid=18001 vsize=8068220 memory=256188 CPUtime=0 cores=0,2,4,6
/proc/18020/task/18033/stat : 18033 (java) S 18001 18001 16605 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 224586100 8261857280 64047 33554432000 4194304 4196468 140726411502432 140291952601312 140294133954261 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7118848 140726411510965 140726411511089 140726411511089 140726411513807 0
[pid=18020/tid=18034] ppid=18001 vsize=8068220 memory=1472 CPUtime=1.47 cores=0,2,4,6
/proc/18020/task/18034/stat : 18034 (java) S 18001 18001 16605 0 -1 1077944384 160 0 0 0 71 76 0 0 20 0 19 0 224586100 8261857280 64047 33554432000 4194304 4196468 140726411502432 140293576195248 140294133955202 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7118848 140726411510965 140726411511089 140726411511089 140726411513807 0
[pid=18020/tid=18036] ppid=18001 vsize=8068220 memory=1472 CPUtime=0 cores=0,2,4,6
/proc/18020/task/18036/stat : 18036 (java) S 18001 18001 16605 0 -1 4202560 22 0 0 0 0 0 0 0 20 0 19 0 224586329 8261857280 64047 33554432000 4194304 4196468 140726411502432 140293568386752 140294133968665 0 4 2 25189581 18446744071579417331 0 0 -1 0 0 0 0 0 0 6293624 6294260 7118848 140726411510965 140726411511089 140726411511089 140726411513807 0
[pid=18020/tid=18038] ppid=18001 vsize=8068220 memory=1472 CPUtime=0 cores=0,2,4,6
/proc/18020/task/18038/stat : 18038 (java) S 18001 18001 16605 0 -1 4202560 24 0 0 0 0 0 0 0 20 0 19 0 224586329 8261857280 64047 33554432000 4194304 4196468 140726411502432 140291415715632 140294133965981 0 4 2 25189581 18446744071580971376 0 0 -1 2 0 0 0 0 0 6293624 6294260 7118848 140726411510965 140726411511089 140726411511089 140726411513807 0
[pid=18020/tid=18039] ppid=18001 vsize=8068220 memory=256188 CPUtime=0 cores=0,2,4,6
/proc/18020/task/18039/stat : 18039 (java) S 18001 18001 16605 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 19 0 224586329 8261857280 64047 33554432000 4194304 4196468 140726411502432 140291549937328 140294133965981 0 4 2 25189581 18446744071580971376 0 0 -1 2 0 0 0 0 0 6293624 6294260 7118848 140726411510965 140726411511089 140726411511089 140726411513807 0
[pid=18020/tid=18040] ppid=18001 vsize=8068220 memory=370436 CPUtime=0 cores=0,2,4,6
/proc/18020/task/18040/stat : 18040 (java) S 18001 18001 16605 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 224586331 8261857280 64047 33554432000 4194304 4196468 140726411502432 140291147291808 140294133954261 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7118848 140726411510965 140726411511089 140726411511089 140726411513807 0
Current children cumulated CPU time: 2520.06 s
Current children cumulated vsize: 8575292 KiB
Current children cumulated memory: 608668 KiB

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

[startup+2480.91 s]
# the end of solver process 18001 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=108.858 s, system=3.8333 s

[startup+2480.95 s]
# the end of solver process 18020 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2509.46 s, system=10.6815 s
# this solver process was not waited by its parent and was adopted by runsolver

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

[startup+2480.9 s]
/proc/loadavg: 2.01 2.08 2.08 3/227 18728
/proc/meminfo: memFree=23905120/32770624 swapFree=67108860/67108860
[pid=18001] ppid=17998 vsize=113128 memory=1472 CPUtime=112.68 cores=0,2,4,6
/proc/18001/stat : 18001 (scop.sh) S 17998 18001 16605 0 -1 4202496 590 89988 0 0 0 0 10885 383 20 0 1 0 224578504 115843072 368 33554432000 4194304 5098028 140735064065072 140735064061816 140199838433916 0 65536 4100 81923 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 32673792 140735064069184 140735064069383 140735064069383 140735064072141 0
/proc/18001/statm: 28282 368 311 221 0 87 0
[pid=18020] ppid=18001 vsize=8068220 memory=256188 CPUtime=4.76 cores=0,2,4,6
/proc/18020/stat : 18020 (java) S 18001 18001 16605 0 -1 1077944320 19736 0 0 0 303 173 0 0 20 0 19 0 224586093 8261857280 64047 33554432000 4194304 4196468 140726411502432 140726411484976 140294133944055 0 0 2 25189581 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 7118848 140726411510965 140726411511089 140726411511089 140726411513807 0
/proc/18020/statm: 2017055 64047 3173 1 0 1978454 0
[pid=18035] ppid=18020 vsize=393944 memory=351008 CPUtime=2402.62 cores=0,2,4,6
/proc/18035/stat : 18035 (minisat_release) R 18020 18001 16605 0 -1 4202496 2866676 0 0 0 239756 506 0 0 20 0 1 0 224586328 403398656 87752 33554432000 4194304 4308513 140736549490320 140736549487768 4276008 0 4 0 8396802 0 0 0 17 4 0 0 8 0 0 6409496 6410680 14995456 140736549491828 140736549491926 140736549491926 140736549494725 0
/proc/18035/statm: 98486 87752 342 28 0 94726 0
[pid=18020/tid=18021] ppid=18001 vsize=8068220 memory=1472 CPUtime=2.37 cores=0,2,4,6
/proc/18020/task/18021/stat : 18021 (java) S 18001 18001 16605 0 -1 1077944384 15679 0 0 0 142 95 0 0 20 0 19 0 224586093 8261857280 64047 33554432000 4194304 4196468 140726411502432 140294105784208 140294133954261 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7118848 140726411510965 140726411511089 140726411511089 140726411513807 0
[pid=18020/tid=18022] ppid=18001 vsize=8068220 memory=256188 CPUtime=0 cores=0,2,4,6
/proc/18020/task/18022/stat : 18022 (java) S 18001 18001 16605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 224586095 8261857280 64047 33554432000 4194304 4196468 140726411502432 140294138186384 140294133954261 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7118848 140726411510965 140726411511089 140726411511089 140726411513807 0
[pid=18020/tid=18023] ppid=18001 vsize=8068220 memory=256188 CPUtime=0 cores=0,2,4,6
/proc/18020/task/18023/stat : 18023 (java) S 18001 18001 16605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 224586095 8261857280 64047 33554432000 4194304 4196468 140726411502432 140293967280656 140294133954261 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7118848 140726411510965 140726411511089 140726411511089 140726411513807 0
[pid=18020/tid=18024] ppid=18001 vsize=8068220 memory=256188 CPUtime=0 cores=0,2,4,6
/proc/18020/task/18024/stat : 18024 (java) S 18001 18001 16605 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 224586095 8261857280 64047 33554432000 4194304 4196468 140726411502432 140293618174352 140294133954261 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7118848 140726411510965 140726411511089 140726411511089 140726411513807 0
[pid=18020/tid=18025] ppid=18001 vsize=8068220 memory=256188 CPUtime=0 cores=0,2,4,6
/proc/18020/task/18025/stat : 18025 (java) S 18001 18001 16605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 224586095 8261857280 64047 33554432000 4194304 4196468 140726411502432 140293617121552 140294133954261 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7118848 140726411510965 140726411511089 140726411511089 140726411513807 0
[pid=18020/tid=18026] ppid=18001 vsize=8068220 memory=1472 CPUtime=0.05 cores=0,2,4,6
/proc/18020/task/18026/stat : 18026 (java) S 18001 18001 16605 0 -1 1077944384 7 0 0 0 3 2 0 0 20 0 19 0 224586096 8261857280 64047 33554432000 4194304 4196468 140726411502432 140293580405616 140294133955202 0 0 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7118848 140726411510965 140726411511089 140726411511089 140726411513807 0
[pid=18020/tid=18027] ppid=18001 vsize=8068220 memory=256188 CPUtime=0 cores=0,2,4,6
/proc/18020/task/18027/stat : 18027 (java) S 18001 18001 16605 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 224586097 8261857280 64047 33554432000 4194304 4196468 140726411502432 140292959233568 140294133954261 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7118848 140726411510965 140726411511089 140726411511089 140726411513807 0
[pid=18020/tid=18028] ppid=18001 vsize=8068220 memory=1472 CPUtime=0 cores=0,2,4,6
/proc/18020/task/18028/stat : 18028 (java) S 18001 18001 16605 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 19 0 224586097 8261857280 64047 33554432000 4194304 4196468 140726411502432 140292825011568 140294133954261 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7118848 140726411510965 140726411511089 140726411511089 140726411513807 0
[pid=18020/tid=18029] ppid=18001 vsize=8068220 memory=256188 CPUtime=0 cores=0,2,4,6
/proc/18020/task/18029/stat : 18029 (java) S 18001 18001 16605 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 224586100 8261857280 64047 33554432000 4194304 4196468 140726411502432 140292450507088 140294133962651 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7118848 140726411510965 140726411511089 140726411511089 140726411513807 0
[pid=18020/tid=18030] ppid=18001 vsize=8068220 memory=1472 CPUtime=0.28 cores=0,2,4,6
/proc/18020/task/18030/stat : 18030 (java) S 18001 18001 16605 0 -1 1077944384 1171 0 0 0 28 0 0 0 20 0 19 0 224586100 8261857280 64047 33554432000 4194304 4196468 140726411502432 140293579352432 140294133955202 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7118848 140726411510965 140726411511089 140726411511089 140726411513807 0
[pid=18020/tid=18031] ppid=18001 vsize=8068220 memory=256188 CPUtime=0.3 cores=0,2,4,6
/proc/18020/task/18031/stat : 18031 (java) S 18001 18001 16605 0 -1 1077944384 522 0 0 0 30 0 0 0 20 0 19 0 224586100 8261857280 64047 33554432000 4194304 4196468 140726411502432 140293578299632 140294133955202 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7118848 140726411510965 140726411511089 140726411511089 140726411513807 0
[pid=18020/tid=18032] ppid=18001 vsize=8068220 memory=1472 CPUtime=0.23 cores=0,2,4,6
/proc/18020/task/18032/stat : 18032 (java) S 18001 18001 16605 0 -1 1077944384 774 0 0 0 23 0 0 0 20 0 19 0 224586100 8261857280 64047 33554432000 4194304 4196468 140726411502432 140293577246832 140294133955202 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7118848 140726411510965 140726411511089 140726411511089 140726411513807 0
[pid=18020/tid=18033] ppid=18001 vsize=8068220 memory=256188 CPUtime=0 cores=0,2,4,6
/proc/18020/task/18033/stat : 18033 (java) S 18001 18001 16605 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 224586100 8261857280 64047 33554432000 4194304 4196468 140726411502432 140291952601312 140294133954261 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7118848 140726411510965 140726411511089 140726411511089 140726411513807 0
[pid=18020/tid=18034] ppid=18001 vsize=8068220 memory=1472 CPUtime=1.47 cores=0,2,4,6
/proc/18020/task/18034/stat : 18034 (java) S 18001 18001 16605 0 -1 1077944384 160 0 0 0 71 76 0 0 20 0 19 0 224586100 8261857280 64047 33554432000 4194304 4196468 140726411502432 140293576195248 140294133955202 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7118848 140726411510965 140726411511089 140726411511089 140726411513807 0
[pid=18020/tid=18036] ppid=18001 vsize=8068220 memory=1472 CPUtime=0 cores=0,2,4,6
/proc/18020/task/18036/stat : 18036 (java) S 18001 18001 16605 0 -1 4202560 22 0 0 0 0 0 0 0 20 0 19 0 224586329 8261857280 64047 33554432000 4194304 4196468 140726411502432 140293568386752 140294133968665 0 4 2 25189581 18446744071579417331 0 0 -1 0 0 0 0 0 0 6293624 6294260 7118848 140726411510965 140726411511089 140726411511089 140726411513807 0
[pid=18020/tid=18038] ppid=18001 vsize=8068220 memory=1472 CPUtime=0 cores=0,2,4,6
/proc/18020/task/18038/stat : 18038 (java) S 18001 18001 16605 0 -1 4202560 24 0 0 0 0 0 0 0 20 0 19 0 224586329 8261857280 64047 33554432000 4194304 4196468 140726411502432 140291415715632 140294133965981 0 4 2 25189581 18446744071580971376 0 0 -1 2 0 0 0 0 0 6293624 6294260 7118848 140726411510965 140726411511089 140726411511089 140726411513807 0
[pid=18020/tid=18039] ppid=18001 vsize=8068220 memory=256188 CPUtime=0 cores=0,2,4,6
/proc/18020/task/18039/stat : 18039 (java) S 18001 18001 16605 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 19 0 224586329 8261857280 64047 33554432000 4194304 4196468 140726411502432 140291549937328 140294133965981 0 4 2 25189581 18446744071580971376 0 0 -1 2 0 0 0 0 0 6293624 6294260 7118848 140726411510965 140726411511089 140726411511089 140726411513807 0
[pid=18020/tid=18040] ppid=18001 vsize=8068220 memory=370436 CPUtime=0 cores=0,2,4,6
/proc/18020/task/18040/stat : 18040 (java) S 18001 18001 16605 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 224586331 8261857280 64047 33554432000 4194304 4196468 140726411502432 140291147291808 140294133954261 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7118848 140726411510965 140726411511089 140726411511089 140726411513807 0
Current children cumulated CPU time: 2520.06 s
Current children cumulated vsize: 8575292 KiB
Current children cumulated memory: 608668 KiB

Child status: 1
Real time (s): 2480.95
CPU time (s): 2520.14
CPU user time (s): 2509.46
CPU system time (s): 10.6815
CPU usage (%): 101.579
Max. virtual memory (cumulated for all children) (KiB): 15142280
Max. memory (cumulated for all children) (KiB): 4777696

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2509.46
system time used= 10.6815
maximum resident set size= 4776632
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2977539
page faults= 0
swaps= 0
block input operations= 0
block output operations= 194984
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 62627
involuntary context switches= 3025


# summary of solver processes directly reported to runsolver:
#   pid: 18001,18020
#   total CPU time (s): 2520.14
#   total CPU user time (s): 2509.46
#   total CPU system time (s): 10.6815

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 18.0056 second user time and 25.9832 second system time

The end

Launcher Data 

Begin job on node107 at 2018-08-12 12:35:53
IDJOB=4305306
IDBENCH=141329
IDSOLVER=2782
FILE ID=node107/4305306-1534070153
RUNJOBID= node107-1534064712-16636
PBS_JOBID= 21036990
Free space on /tmp= 39120 MiB

SOLVER NAME= scop order+MapleCOMSPS (2018-07-31)
BENCH NAME= XCSP18/Bibd/Bibd-sc-34-085-30-12-10_c18.xml
COMMAND LINE= scop.sh 11g scop.jar -order minisat_release default TMPDIR BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4305306-1534070153/watcher-4305306-1534070153 -o /tmp/evaluation-result-4305306-1534070153/solver-4305306-1534070153 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node107-1534064712-16636 --watchdog 2580  scop.sh 11g scop.jar -order minisat_release default HOME HOME/instance-4305306-1534070153.xml

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

MD5SUM BENCH= 16a7a800d3f63e1acf189b42778a783a
RANDOM SEED=708594052

node107.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.40
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.40
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.40
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.40
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:        23776712 kB
MemAvailable:   31097656 kB
Buffers:          200508 kB
Cached:          7312760 kB
SwapCached:            0 kB
Active:          4685292 kB
Inactive:        3688652 kB
Active(anon):     810256 kB
Inactive(anon):   103396 kB
Active(file):    3875036 kB
Inactive(file):  3585256 kB
Unevictable:        6976 kB
Mlocked:            6976 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:             10540 kB
Writeback:             0 kB
AnonPages:       1011092 kB
Mapped:            64260 kB
Shmem:             49804 kB
Slab:             317568 kB
SReclaimable:     289112 kB
SUnreclaim:        28456 kB
KernelStack:        3888 kB
PageTables:         6844 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    6539616 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    368640 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:       91520 kB
DirectMap2M:    33454080 kB

Free space on /tmp at the end= 39288 MiB
End job on node107 at 2018-08-12 13:17:14