Trace number 4305716

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 both+MapleCOMSPS (2018-07-31)SAT 118.556 81.8523

General information on the benchmark

NameCrossword/
Crossword-m18-ogd2008-vg-05-06_c18.xml
MD5SUM81d4059c2b76389bba6ef17dee6cb29a
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.119659
Satisfiable
(Un)Satisfiability was proved
Number of variables30
Number of constraints11
Number of domains1
Minimum domain size26
Maximum domain size26
Distribution of domain sizes[{"size":26,"count":30}]
Minimum variable degree2
Maximum variable degree2
Distribution of variable degrees[{"degree":2,"count":30}]
Minimum constraint arity5
Maximum constraint arity6
Distribution of constraint arities[{"arity":5,"count":6},{"arity":6,"count":5}]
Number of extensional constraints11
Number of intensional constraints0
Distribution of constraint types[{"type":"extension","count":11}]
Optimization problemNO
Type of objective

Solver Data 

0.00/0.00	c (scop.sh) java -Xms11g -Xmx11g -Xss128m -cp scop.jar fun.scop.XCSP18Encode -both -solver minisat_release -solverOption default -tmp HOME -serialFile HOME/scop-24859-serial-file.bin HOME/instance-4305716-1534076275.xml
0.67/0.52	
0.67/0.52	scop both+minisat_release (2018-07-31)
0.67/0.52	(Encoding Process)
0.67/0.52	
0.67/0.55	c BEGIN-Prog: Sun Aug 12 14:17:55 CEST 2018
0.67/0.55	c PID: 24862
0.67/0.55	c IP: 172.20.3.103
0.67/0.55	c HOST: node103.alineos.net
0.67/0.55	c (0,0) Parsing Begin
1.92/1.10	c (0,0) Parsing End
1.92/1.10	c (0,0) CSP: 30 int (0 aux), 0 bool (0 aux), 11 ctr, max domain size 26
1.92/1.10	c (0,0) Heap : 225 MiB used (max 10795 MiB), NonHeap : 18 MiB used (max 0 MiB)
1.92/1.10	c (0,0) Constraint Name Generate Begin
2.23/1.11	c (0,0) Ctr:HOME/instance-4305716-1534076275.xml,ExtensionSupport:IntVar
2.23/1.11	c (0,0) Constraint Name Generate End
2.23/1.11	c (0,0) Heap : 225 MiB used (max 10795 MiB), NonHeap : 18 MiB used (max 0 MiB)
2.23/1.11	c (0,0) CSP to CSPinCNF Begin
28.11/14.02	c (13,13) translated 2 (10%) constraints
36.00/19.03	c (18,17) translated 3 (20%) constraints
40.54/23.53	c (23,22) translated 4 (30%) constraints
47.05/28.39	c (27,26) translated 5 (40%) constraints
53.53/33.33	c (32,31) translated 6 (50%) constraints
57.61/37.22	c (36,35) translated 7 (60%) constraints
61.50/39.55	c (39,36) translated 8 (70%) constraints
63.40/41.41	c (40,38) translated 9 (80%) constraints
65.20/43.27	c (42,40) translated 10 (90%) constraints
69.30/45.67	c (45,42) translated 11 (100%) constraints
76.61/50.23	c (49,46) STATISTICS1:HOME/instance-4305716-1534076275.xml,ExtensionSupport:IntVar,74417,881049,-1,26,27,1,,26:1452308;2:1652105,27:169;26:147;25:117;24:123;23:152;22:160;21:111;20:174;19:121;18:220;17:212;16:280;15:262;14:320;13:419;12:527;11:757;10:977;9:1277;8:2011;7:2886;6:4289;5:6581;4:473012;3:254754;2:130991,1:3104413;0:11,
76.61/50.23	c (49,46) ==========================================
76.61/50.23	c (49,46) Both Encoding selects:
76.61/50.23	c (49,46) Order
76.61/50.23	c (49,46) ==========================================
78.36/51.46	c (50,47) translated 88105 (10%) constraints
79.62/52.65	c (52,48) translated 176210 (20%) constraints
80.85/53.85	c (53,49) translated 264315 (30%) constraints
83.28/55.37	c (54,51) translated 352420 (40%) constraints
84.48/56.57	c (56,52) translated 440525 (50%) constraints
85.74/57.78	c (57,53) translated 528630 (60%) constraints
86.95/58.99	c (58,54) translated 616735 (70%) constraints
88.16/60.19	c (59,55) translated 704840 (80%) constraints
90.74/61.72	c (61,57) translated 792945 (90%) constraints
91.94/62.91	c (62,58) translated 881049 (100%) constraints
91.94/62.91	c (62,58) CSP to CSPinCNF End
91.94/62.94	c (62,58) CSP: 30 int (0 aux), 74387 bool (74387 aux), 881049 ctr, max domain size 26
91.94/62.94	c (62,58) Heap : 2045 MiB used (max 10572 MiB), NonHeap : 27 MiB used (max 0 MiB)
91.94/62.94	c (62,58) CSPinCNF Propagation Begin
100.55/67.92	c (67,62) 0 values, 11 unsatisfiable literals, and 0 valid clauses are removed
100.55/67.92	c (67,62) CSPinCNF Propagation End
100.55/67.94	c (67,62) CSP: 30 int (0 aux), 74387 bool (74387 aux), 881049 ctr, max domain size 26
100.55/67.94	c (67,62) Heap : 2560 MiB used (max 10585 MiB), NonHeap : 27 MiB used (max 0 MiB)
100.55/67.94	c (67,62) Simplify CSPinCNF Begin
102.14/69.40	c (68,63) Simplify CSPinCNF End
102.14/69.42	c (68,63) CSP: 30 int (0 aux), 74387 bool (74387 aux), 881049 ctr, max domain size 26
102.14/69.42	c (68,63) Heap : 3228 MiB used (max 10585 MiB), NonHeap : 27 MiB used (max 0 MiB)
102.14/69.42	c (68,63) Calculate Precise Domain Begin
102.14/69.42	c (68,63) 0 values are removed by re-calculation
102.14/69.42	c (68,63) Calculate Precise Domain End
102.14/69.44	c (68,63) CSP: 30 int (0 aux), 74387 bool (74387 aux), 881049 ctr, max domain size 26
102.14/69.44	c (68,63) Heap : 3228 MiB used (max 10585 MiB), NonHeap : 28 MiB used (max 0 MiB)
102.14/69.44	c (68,63) CSPinCNF to SatSolver Begin
103.44/70.13	c (69,64) 88105 (10 %) CSP clauses are encoded (75137 SAT variables, 88824 SAT clauses)
105.71/71.07	c (70,64) 176210 (20 %) CSP clauses are encoded (75137 SAT variables, 176929 SAT clauses)
106.20/71.54	c (71,65) 264315 (30 %) CSP clauses are encoded (75137 SAT variables, 265034 SAT clauses)
106.72/72.02	c (71,65) 352420 (40 %) CSP clauses are encoded (75137 SAT variables, 353139 SAT clauses)
107.11/72.49	c (71,66) 440525 (50 %) CSP clauses are encoded (75137 SAT variables, 441244 SAT clauses)
107.61/72.96	c (72,66) 528630 (60 %) CSP clauses are encoded (75137 SAT variables, 529349 SAT clauses)
109.78/73.86	c (73,67) 616735 (70 %) CSP clauses are encoded (75137 SAT variables, 617454 SAT clauses)
110.27/74.33	c (73,67) 704840 (80 %) CSP clauses are encoded (75137 SAT variables, 705559 SAT clauses)
110.80/74.81	c (74,68) 792945 (90 %) CSP clauses are encoded (75137 SAT variables, 793664 SAT clauses)
111.20/75.29	c (74,68) 881049 (100 %) CSP clauses are encoded (75137 SAT variables, 881768 SAT clauses)
111.20/75.29	c (74,68) Launch Command will be: minisat_release
111.20/75.29	c (74,68) CSPinCNF to SatSolver End
111.20/75.29	c (74,68) Heap : 3320 MiB used (max 10574 MiB), NonHeap : 29 MiB used (max 0 MiB)
113.71/77.53	c (77,70) STATISTICS2:HOME/instance-4305716-1534076275.xml,ExtensionSupport:IntVar,74417,881049,-1,26,27,1,,26:1452308;2:1652105,27:158;26:158;25:117;24:123;23:152;22:160;21:111;20:174;19:121;18:220;17:212;16:280;15:262;14:320;13:419;12:527;11:757;10:977;9:1277;8:2011;7:2886;6:4289;5:6581;4:473012;3:254754;2:130991,1:3104413,
113.71/77.53	c (77,70) 75137 bool, 881769 clause
113.71/77.53	c (77,70) Export Begin
113.85/77.61	c (77,71) Export to HOME/scop-24859-serial-file.bin
113.85/77.61	c (77,71) Export End
113.85/77.61	c (77,71) Export File Size: 0.01 MB
113.85/77.61	c (77,71) 0,0,62,67,68,68,74,STOP-AFTER(DIMACS)
113.85/77.61	c END-Prog: Sun Aug 12 14:19:12 CEST 2018
113.85/77.64	c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp scop.jar fun.scop.XCSP18Solve HOME/scop-24859-serial-file.bin
114.43/78.29	c (0,0) Read Serial File Begin
114.43/78.29	c (0,0) HOME/scop-24859-serial-file.bin
114.72/78.45	c (0,0) Read Serial File End
114.72/78.47	
114.72/78.47	scop order+minisat_release (2018-07-31)
114.72/78.47	(Solving Process)
114.72/78.47	
114.72/78.49	c BEGIN-Prog: Sun Aug 12 14:19:13 CEST 2018
114.72/78.49	c PID: 24878
114.72/78.49	c IP: 172.20.3.103
114.72/78.49	c HOST: node103.alineos.net
114.72/78.49	c (0,0) SatSolver.solve Begin
114.72/78.49	c (0,0) 0 bool, 0 clause
114.72/78.49	c (0,0) minisat_release HOME/instance-4305716-1534076275.xml-scop-24862.cnf
118.10/81.68	c (3,0) c This is COMiniSatPS.
118.10/81.68	c (3,0) c WARNING: for repeatability, setting FPU to use double precision
118.10/81.68	c (3,0) c ============================[ Problem Statistics ]=============================
118.10/81.68	c (3,0) c |                                                                             |
118.10/81.68	c (3,0) c |  Number of variables:         75137                                         |
118.10/81.68	c (3,0) c |  Number of clauses:          881769                                         |
118.10/81.68	c (3,0) c |  Parse time:                   0.28 s                                       |
118.10/81.68	c (3,0) c |  Eliminated clauses:           0.31 Mb                                      |
118.10/81.68	c (3,0) c Reduced to 71031 vars, 865567 cls (grow=0)
118.10/81.68	c (3,0) c No iterative elimination performed. (vars=71031, c/v ratio=12.2)
118.10/81.68	c (3,0) c |  Simplification time:          1.80 s                                       |
118.10/81.68	c (3,0) c |                                                                             |
118.10/81.68	c (3,0) c ============================[ Search Statistics ]==============================
118.10/81.68	c (3,0) c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
118.10/81.68	c (3,0) c |           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
118.10/81.68	c (3,0) c ===============================================================================
118.10/81.68	c (3,0) c ===============================================================================
118.10/81.68	c (3,0) c restarts              : 4
118.10/81.68	c (3,0) c conflicts             : 1740           (559 /sec)
118.10/81.68	c (3,0) c decisions             : 10046          (0.00 % random) (3226 /sec)
118.10/81.68	c (3,0) c propagations          : 4848788        (1556986 /sec)
118.10/81.68	c (3,0) c conflict literals     : 309351         (20.09 % deleted)
118.10/81.68	c (3,0) c CPU time              : 3.11422 s
118.10/81.68	c (3,0) 
118.10/81.69	c (3,0) s SATISFIABLE
118.24/81.77	c (3,0) SatSolver.solve End
118.24/81.77	c (3,0) Heap : 143 MiB used (max 3925 MiB), NonHeap : 16 MiB used (max 0 MiB)
118.24/81.77	c (3,0) Show results Begin
118.46/81.82	s SATISFIABLE
118.46/81.83	v <instantiation>
118.46/81.83	v     <list>x[0][0] x[0][1] x[0][2] x[0][3] x[0][4] x[0][5] x[1][0] x[1][1] x[1][2] x[1][3] x[1][4] x[1][5] x[2][0] x[2][1] x[2][2] x[2][3] x[2][4] x[2][5] x[3][0] x[3][1] x[3][2] x[3][3] x[3][4] x[3][5] x[4][0] x[4][1] x[4][2] x[4][3] x[4][4] x[4][5]</list>
118.46/81.83	v     <values>1 0 10 20 5 20 8 19 4 17 4 17 11 7 0 1 17 0 0 8 13 0 17 3 8 18 4 13 0 24</values>
118.46/81.83	v </instantiation>
118.46/81.83	c (3,0) Show results End
118.46/81.83	c (3,0) Heap : 163 MiB used (max 3925 MiB), NonHeap : 17 MiB used (max 0 MiB)
118.46/81.83	c (3,0) 3,3,STOP-AFTER(ALL)
118.46/81.83	c END-Prog: Sun Aug 12 14:19:17 CEST 2018

Verifier Data 

OK

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4305716-1534076275/watcher-4305716-1534076275 -o /tmp/evaluation-result-4305716-1534076275/solver-4305716-1534076275 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node103-1534064938-20637 --watchdog 2580 scop.sh 11g scop.jar -both minisat_release default HOME HOME/instance-4305716-1534076275.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=24859, runsolver pid=24856

[startup+0.100093 s]*
/proc/loadavg: 4.46 4.04 3.16 3/222 24876
/proc/meminfo: memFree=16950556/32770624 swapFree=67058748/67108860
[pid=24859] ppid=24856 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/24859/stat : 24859 (scop.sh) S 24856 24859 20606 0 -1 4202496 560 321 0 0 0 0 0 0 20 0 1 0 225190670 115843072 349 33554432000 4194304 5098028 140728623847056 140728623844312 139730664157820 0 65536 4100 81923 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 12406784 140728623854657 140728623854855 140728623854855 140728623857613 0
/proc/24859/statm: 28282 349 296 221 0 87 0
[pid=24862] ppid=24859 vsize=15012476 memory=73432 CPUtime=0.11 cores=0,2,4,6
/proc/24862/stat : 24862 (java) S 24859 24859 20606 0 -1 1077944320 6979 0 0 0 9 2 0 0 20 0 15 0 225190670 15372775424 18358 33554432000 4194304 4196468 140726539577216 140726539559760 140219496333047 0 0 2 16800973 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 31875072 140726539580423 140726539580721 140726539580721 140726539583439 0
/proc/24862/statm: 3753119 18358 2767 1 0 3715579 0
[pid=24862/tid=24863] ppid=24859 vsize=15012476 memory=-6222985969016291263 CPUtime=0.08 cores=0,2,4,6
/proc/24862/task/24863/stat : 24863 (java) R 24859 24859 20606 0 -1 4202560 5066 0 0 0 7 1 0 0 20 0 15 0 225190671 15372775424 18358 33554432000 4194304 4196468 140726539577216 140219468145032 140219479519842 0 4 2 16800973 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 31875072 140726539580423 140726539580721 140726539580721 140726539583439 0
[pid=24862/tid=24864] ppid=24859 vsize=15012476 memory=4206468019014099040 CPUtime=0 cores=0,2,4,6
/proc/24862/task/24864/stat : 24864 (java) S 24859 24859 20606 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225190672 15372775424 18358 33554432000 4194304 4196468 140726539577216 140219500575120 140219496343253 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31875072 140726539580423 140726539580721 140726539580721 140726539583439 0
[pid=24862/tid=24865] ppid=24859 vsize=15012476 memory=140353254053504 CPUtime=0 cores=0,2,4,6
/proc/24862/task/24865/stat : 24865 (java) S 24859 24859 20606 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 225190672 15372775424 18358 33554432000 4194304 4196468 140726539577216 140219276278032 140219496343253 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31875072 140726539580423 140726539580721 140726539580721 140726539583439 0
[pid=24862/tid=24866] ppid=24859 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/24862/task/24866/stat : 24866 (java) S 24859 24859 20606 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225190672 15372775424 18358 33554432000 4194304 4196468 140726539577216 140219275225744 140219496343253 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31875072 140726539580423 140726539580721 140726539580721 140726539583439 0
[pid=24862/tid=24867] ppid=24859 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/24862/task/24867/stat : 24867 (java) S 24859 24859 20606 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 225190672 15372775424 18358 33554432000 4194304 4196468 140726539577216 140218954934800 140219496343253 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31875072 140726539580423 140726539580721 140726539580721 140726539583439 0
[pid=24862/tid=24868] ppid=24859 vsize=15012476 memory=140353254053504 CPUtime=0 cores=0,2,4,6
/proc/24862/task/24868/stat : 24868 (java) S 24859 24859 20606 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 225190674 15372775424 18358 33554432000 4194304 4196468 140726539577216 140218835348080 140219496344194 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31875072 140726539580423 140726539580721 140726539580721 140726539583439 0
[pid=24862/tid=24869] ppid=24859 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/24862/task/24869/stat : 24869 (java) S 24859 24859 20606 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 225190674 15372775424 18358 33554432000 4194304 4196468 140726539577216 140218132849952 140219496343253 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31875072 140726539580423 140726539580721 140726539580721 140726539583439 0
[pid=24862/tid=24870] ppid=24859 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/24862/task/24870/stat : 24870 (java) S 24859 24859 20606 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225190675 15372775424 18358 33554432000 4194304 4196468 140726539577216 140217864414832 140219496343253 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31875072 140726539580423 140726539580721 140726539580721 140726539583439 0
[pid=24862/tid=24871] ppid=24859 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/24862/task/24871/stat : 24871 (java) S 24859 24859 20606 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 225190677 15372775424 18358 33554432000 4194304 4196468 140726539577216 140217489906256 140219496351643 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31875072 140726539580423 140726539580721 140726539580721 140726539583439 0
[pid=24862/tid=24872] ppid=24859 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/24862/task/24872/stat : 24872 (java) S 24859 24859 20606 0 -1 1077944384 285 0 0 0 0 0 0 0 20 0 15 0 225190677 15372775424 18358 33554432000 4194304 4196468 140726539577216 140218834294896 140219496344194 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31875072 140726539580423 140726539580721 140726539580721 140726539583439 0
[pid=24862/tid=24873] ppid=24859 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/24862/task/24873/stat : 24873 (java) S 24859 24859 20606 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 225190677 15372775424 18358 33554432000 4194304 4196468 140726539577216 140218833242096 140219496344194 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31875072 140726539580423 140726539580721 140726539580721 140726539583439 0
[pid=24862/tid=24874] ppid=24859 vsize=15012476 memory=140353254053504 CPUtime=0.01 cores=0,2,4,6
/proc/24862/task/24874/stat : 24874 (java) S 24859 24859 20606 0 -1 1077944384 293 0 0 0 1 0 0 0 20 0 15 0 225190677 15372775424 18358 33554432000 4194304 4196468 140726539577216 140218832189808 140219496344194 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31875072 140726539580423 140726539580721 140726539580721 140726539583439 0
[pid=24862/tid=24875] ppid=24859 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/24862/task/24875/stat : 24875 (java) S 24859 24859 20606 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 225190677 15372775424 18358 33554432000 4194304 4196468 140726539577216 140216992000480 140219496343253 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31875072 140726539580423 140726539580721 140726539580721 140726539583439 0
[pid=24862/tid=24876] ppid=24859 vsize=15012476 memory=140353254053504 CPUtime=0 cores=0,2,4,6
/proc/24862/task/24876/stat : 24876 (java) S 24859 24859 20606 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225190677 15372775424 18358 33554432000 4194304 4196468 140726539577216 140218831137712 140219496344194 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31875072 140726539580423 140726539580721 140726539580721 140726539583439 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 15125604 KiB
Current children cumulated memory: 74828 KiB

[startup+0.210692 s]*
/proc/loadavg: 4.46 4.04 3.16 3/222 24876
/proc/meminfo: memFree=16936852/32770624 swapFree=67058748/67108860
[pid=24859] ppid=24856 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/24859/stat : 24859 (scop.sh) S 24856 24859 20606 0 -1 4202496 560 321 0 0 0 0 0 0 20 0 1 0 225190670 115843072 349 33554432000 4194304 5098028 140728623847056 140728623844312 139730664157820 0 65536 4100 81923 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 12406784 140728623854657 140728623854855 140728623854855 140728623857613 0
/proc/24859/statm: 28282 349 296 221 0 87 0
[pid=24862] ppid=24859 vsize=15012476 memory=86488 CPUtime=0.26 cores=0,2,4,6
/proc/24862/stat : 24862 (java) S 24859 24859 20606 0 -1 1077944320 10482 0 0 0 22 4 0 0 20 0 15 0 225190670 15372775424 21622 33554432000 4194304 4196468 140726539577216 140726539559760 140219496333047 0 0 2 16800973 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 31875072 140726539580423 140726539580721 140726539580721 140726539583439 0
/proc/24862/statm: 3753119 21622 2888 1 0 3715579 0
[pid=24862/tid=24863] ppid=24859 vsize=15012476 memory=7022364632946311227 CPUtime=0.2 cores=0,2,4,6
/proc/24862/task/24863/stat : 24863 (java) R 24859 24859 20606 0 -1 4202560 8385 0 0 0 17 3 0 0 20 0 15 0 225190671 15372775424 21622 33554432000 4194304 4196468 140726539577216 140219468158432 140219496344982 0 4 2 16800973 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 31875072 140726539580423 140726539580721 140726539580721 140726539583439 0
[pid=24862/tid=24864] ppid=24859 vsize=15012476 memory=545 CPUtime=0 cores=0,2,4,6
/proc/24862/task/24864/stat : 24864 (java) S 24859 24859 20606 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225190672 15372775424 21622 33554432000 4194304 4196468 140726539577216 140219500575120 140219496343253 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31875072 140726539580423 140726539580721 140726539580721 140726539583439 0
[pid=24862/tid=24865] ppid=24859 vsize=15012476 memory=140353255216739 CPUtime=0 cores=0,2,4,6
/proc/24862/task/24865/stat : 24865 (java) S 24859 24859 20606 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 225190672 15372775424 21622 33554432000 4194304 4196468 140726539577216 140219276278032 140219496343253 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31875072 140726539580423 140726539580721 140726539580721 140726539583439 0
[pid=24862/tid=24866] ppid=24859 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/24862/task/24866/stat : 24866 (java) S 24859 24859 20606 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225190672 15372775424 21622 33554432000 4194304 4196468 140726539577216 140219275225744 140219496343253 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31875072 140726539580423 140726539580721 140726539580721 140726539583439 0
[pid=24862/tid=24867] ppid=24859 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/24862/task/24867/stat : 24867 (java) S 24859 24859 20606 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 225190672 15372775424 21622 33554432000 4194304 4196468 140726539577216 140218954934800 140219496343253 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31875072 140726539580423 140726539580721 140726539580721 140726539583439 0
[pid=24862/tid=24868] ppid=24859 vsize=15012476 memory=140353254053504 CPUtime=0 cores=0,2,4,6
/proc/24862/task/24868/stat : 24868 (java) S 24859 24859 20606 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 225190674 15372775424 21622 33554432000 4194304 4196468 140726539577216 140218835348080 140219496344194 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31875072 140726539580423 140726539580721 140726539580721 140726539583439 0
[pid=24862/tid=24869] ppid=24859 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/24862/task/24869/stat : 24869 (java) S 24859 24859 20606 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 225190674 15372775424 21622 33554432000 4194304 4196468 140726539577216 140218132849952 140219496343253 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31875072 140726539580423 140726539580721 140726539580721 140726539583439 0
[pid=24862/tid=24870] ppid=24859 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/24862/task/24870/stat : 24870 (java) S 24859 24859 20606 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225190675 15372775424 21622 33554432000 4194304 4196468 140726539577216 140217864414832 140219496343253 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31875072 140726539580423 140726539580721 140726539580721 140726539583439 0
[pid=24862/tid=24871] ppid=24859 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/24862/task/24871/stat : 24871 (java) S 24859 24859 20606 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 225190677 15372775424 21622 33554432000 4194304 4196468 140726539577216 140217489906256 140219496351643 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31875072 140726539580423 140726539580721 140726539580721 140726539583439 0
[pid=24862/tid=24872] ppid=24859 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/24862/task/24872/stat : 24872 (java) S 24859 24859 20606 0 -1 1077944384 412 0 0 0 0 0 0 0 20 0 15 0 225190677 15372775424 21622 33554432000 4194304 4196468 140726539577216 140218834294896 140219496344194 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31875072 140726539580423 140726539580721 140726539580721 140726539583439 0
[pid=24862/tid=24873] ppid=24859 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/24862/task/24873/stat : 24873 (java) S 24859 24859 20606 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 15 0 225190677 15372775424 21622 33554432000 4194304 4196468 140726539577216 140218833242096 140219496344194 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31875072 140726539580423 140726539580721 140726539580721 140726539583439 0
[pid=24862/tid=24874] ppid=24859 vsize=15012476 memory=140353254053504 CPUtime=0.03 cores=0,2,4,6
/proc/24862/task/24874/stat : 24874 (java) R 24859 24859 20606 0 -1 4202560 309 0 0 0 3 0 0 0 20 0 15 0 225190677 15372775424 21622 33554432000 4194304 4196468 140726539577216 140218832189808 140219480441153 0 4 2 16800973 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 31875072 140726539580423 140726539580721 140726539580721 140726539583439 0
[pid=24862/tid=24875] ppid=24859 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/24862/task/24875/stat : 24875 (java) S 24859 24859 20606 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 225190677 15372775424 21622 33554432000 4194304 4196468 140726539577216 140216992000480 140219496343253 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31875072 140726539580423 140726539580721 140726539580721 140726539583439 0
[pid=24862/tid=24876] ppid=24859 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/24862/task/24876/stat : 24876 (java) S 24859 24859 20606 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225190677 15372775424 21622 33554432000 4194304 4196468 140726539577216 140218831137712 140219496344194 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31875072 140726539580423 140726539580721 140726539580721 140726539583439 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 15125604 KiB
Current children cumulated memory: 87884 KiB

[startup+0.31065 s]*
/proc/loadavg: 4.46 4.04 3.16 3/222 24876
/proc/meminfo: memFree=16932976/32770624 swapFree=67058748/67108860
[pid=24859] ppid=24856 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/24859/stat : 24859 (scop.sh) S 24856 24859 20606 0 -1 4202496 560 321 0 0 0 0 0 0 20 0 1 0 225190670 115843072 349 33554432000 4194304 5098028 140728623847056 140728623844312 139730664157820 0 65536 4100 81923 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 12406784 140728623854657 140728623854855 140728623854855 140728623857613 0
/proc/24859/statm: 28282 349 296 221 0 87 0
[pid=24862] ppid=24859 vsize=15012476 memory=90280 CPUtime=0.42 cores=0,2,4,6
/proc/24862/stat : 24862 (java) S 24859 24859 20606 0 -1 1077944320 11017 0 0 0 38 4 0 0 20 0 15 0 225190670 15372775424 22570 33554432000 4194304 4196468 140726539577216 140726539559760 140219496333047 0 0 2 16800973 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 31875072 140726539580423 140726539580721 140726539580721 140726539583439 0
/proc/24862/statm: 3753119 22570 3022 1 0 3715579 0
[pid=24862/tid=24863] ppid=24859 vsize=15012476 memory=6791534058613427641 CPUtime=0.3 cores=0,2,4,6
/proc/24862/task/24863/stat : 24863 (java) R 24859 24859 20606 0 -1 4202560 8758 0 0 0 27 3 0 0 20 0 15 0 225190671 15372775424 22570 33554432000 4194304 4196468 140726539577216 140219468128048 140219480413534 0 4 2 16800973 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 31875072 140726539580423 140726539580721 140726539580721 140726539583439 0
[pid=24862/tid=24864] ppid=24859 vsize=15012476 memory=4872558044660077418 CPUtime=0 cores=0,2,4,6
/proc/24862/task/24864/stat : 24864 (java) S 24859 24859 20606 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225190672 15372775424 22570 33554432000 4194304 4196468 140726539577216 140219500575120 140219496343253 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31875072 140726539580423 140726539580721 140726539580721 140726539583439 0
[pid=24862/tid=24865] ppid=24859 vsize=15012476 memory=-3258418265892434876 CPUtime=0 cores=0,2,4,6
/proc/24862/task/24865/stat : 24865 (java) S 24859 24859 20606 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 225190672 15372775424 22570 33554432000 4194304 4196468 140726539577216 140219276278032 140219496343253 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31875072 140726539580423 140726539580721 140726539580721 140726539583439 0
[pid=24862/tid=24866] ppid=24859 vsize=15012476 memory=4572146066226452084 CPUtime=0 cores=0,2,4,6
/proc/24862/task/24866/stat : 24866 (java) S 24859 24859 20606 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225190672 15372775424 22570 33554432000 4194304 4196468 140726539577216 140219275225744 140219496343253 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31875072 140726539580423 140726539580721 140726539580721 140726539583439 0
[pid=24862/tid=24867] ppid=24859 vsize=15012476 memory=6944613755495348631 CPUtime=0 cores=0,2,4,6
/proc/24862/task/24867/stat : 24867 (java) S 24859 24859 20606 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 225190672 15372775424 22570 33554432000 4194304 4196468 140726539577216 140218954934800 140219496343253 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31875072 140726539580423 140726539580721 140726539580721 140726539583439 0
[pid=24862/tid=24868] ppid=24859 vsize=15012476 memory=7893295687695687954 CPUtime=0 cores=0,2,4,6
/proc/24862/task/24868/stat : 24868 (java) S 24859 24859 20606 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 225190674 15372775424 22570 33554432000 4194304 4196468 140726539577216 140218835348080 140219496344194 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31875072 140726539580423 140726539580721 140726539580721 140726539583439 0
[pid=24862/tid=24869] ppid=24859 vsize=15012476 memory=-8813974798734826869 CPUtime=0 cores=0,2,4,6
/proc/24862/task/24869/stat : 24869 (java) S 24859 24859 20606 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 225190674 15372775424 22570 33554432000 4194304 4196468 140726539577216 140218132849952 140219496343253 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31875072 140726539580423 140726539580721 140726539580721 140726539583439 0
[pid=24862/tid=24870] ppid=24859 vsize=15012476 memory=7827413994055111515 CPUtime=0 cores=0,2,4,6
/proc/24862/task/24870/stat : 24870 (java) S 24859 24859 20606 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225190675 15372775424 22570 33554432000 4194304 4196468 140726539577216 140217864414832 140219496343253 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31875072 140726539580423 140726539580721 140726539580721 140726539583439 0
[pid=24862/tid=24871] ppid=24859 vsize=15012476 memory=8508281356422055839 CPUtime=0 cores=0,2,4,6
/proc/24862/task/24871/stat : 24871 (java) S 24859 24859 20606 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 225190677 15372775424 22570 33554432000 4194304 4196468 140726539577216 140217489906256 140219496351643 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31875072 140726539580423 140726539580721 140726539580721 140726539583439 0
[pid=24862/tid=24872] ppid=24859 vsize=15012476 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/24862/task/24872/stat : 24872 (java) S 24859 24859 20606 0 -1 1077944384 465 0 0 0 2 0 0 0 20 0 15 0 225190677 15372775424 22570 33554432000 4194304 4196468 140726539577216 140218834294896 140219496344194 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31875072 140726539580423 140726539580721 140726539580721 140726539583439 0
[pid=24862/tid=24873] ppid=24859 vsize=15012476 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/24862/task/24873/stat : 24873 (java) S 24859 24859 20606 0 -1 1077944384 133 0 0 0 2 0 0 0 20 0 15 0 225190677 15372775424 22570 33554432000 4194304 4196468 140726539577216 140218833242096 140219496344194 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31875072 140726539580423 140726539580721 140726539580721 140726539583439 0
[pid=24862/tid=24874] ppid=24859 vsize=15012476 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/24862/task/24874/stat : 24874 (java) S 24859 24859 20606 0 -1 1077944384 328 0 0 0 7 0 0 0 20 0 15 0 225190677 15372775424 22570 33554432000 4194304 4196468 140726539577216 140218832189808 140219496344194 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31875072 140726539580423 140726539580721 140726539580721 140726539583439 0
[pid=24862/tid=24875] ppid=24859 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/24862/task/24875/stat : 24875 (java) S 24859 24859 20606 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 225190677 15372775424 22570 33554432000 4194304 4196468 140726539577216 140216992000480 140219496343253 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31875072 140726539580423 140726539580721 140726539580721 140726539583439 0
[pid=24862/tid=24876] ppid=24859 vsize=15012476 memory=3472898942829666353 CPUtime=0 cores=0,2,4,6
/proc/24862/task/24876/stat : 24876 (java) S 24859 24859 20606 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225190677 15372775424 22570 33554432000 4194304 4196468 140726539577216 140218831137712 140219496344194 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31875072 140726539580423 140726539580721 140726539580721 140726539583439 0
Current children cumulated CPU time: 0.42 s
Current children cumulated vsize: 15125604 KiB
Current children cumulated memory: 91676 KiB

[startup+0.70081 s]
/proc/loadavg: 4.46 4.04 3.16 3/222 24876
/proc/meminfo: memFree=16909660/32770624 swapFree=67058748/67108860
[pid=24859] ppid=24856 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/24859/stat : 24859 (scop.sh) S 24856 24859 20606 0 -1 4202496 560 321 0 0 0 0 0 0 20 0 1 0 225190670 115843072 349 33554432000 4194304 5098028 140728623847056 140728623844312 139730664157820 0 65536 4100 81923 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 12406784 140728623854657 140728623854855 140728623854855 140728623857613 0
/proc/24859/statm: 28282 349 296 221 0 87 0
[pid=24862] ppid=24859 vsize=15018824 memory=128964 CPUtime=0.99 cores=0,2,4,6
/proc/24862/stat : 24862 (java) S 24859 24859 20606 0 -1 1077944320 17853 0 0 0 93 6 0 0 20 0 15 0 225190670 15379275776 32241 33554432000 4194304 4196468 140726539577216 140726539559760 140219496333047 0 0 2 25189581 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 31875072 140726539580423 140726539580721 140726539580721 140726539583439 0
/proc/24862/statm: 3754706 32241 3135 1 0 3716091 0
[pid=24862/tid=24863] ppid=24859 vsize=15018824 memory=33 CPUtime=0.67 cores=0,2,4,6
/proc/24862/task/24863/stat : 24863 (java) R 24859 24859 20606 0 -1 4202560 15245 0 0 0 62 5 0 0 20 0 15 0 225190671 15379275776 32241 33554432000 4194304 4196468 140726539577216 140219468164944 140219480413534 0 4 2 25189581 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 31875072 140726539580423 140726539580721 140726539580721 140726539583439 0
[pid=24862/tid=24864] ppid=24859 vsize=15018824 memory=288230377057956186 CPUtime=0 cores=0,2,4,6
/proc/24862/task/24864/stat : 24864 (java) S 24859 24859 20606 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225190672 15379275776 32241 33554432000 4194304 4196468 140726539577216 140219500575120 140219496343253 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31875072 140726539580423 140726539580721 140726539580721 140726539583439 0
[pid=24862/tid=24865] ppid=24859 vsize=15018824 memory=14408211646139281 CPUtime=0 cores=0,2,4,6
/proc/24862/task/24865/stat : 24865 (java) S 24859 24859 20606 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 225190672 15379275776 32241 33554432000 4194304 4196468 140726539577216 140219276278032 140219496343253 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31875072 140726539580423 140726539580721 140726539580721 140726539583439 0
[pid=24862/tid=24866] ppid=24859 vsize=15018824 memory=0 CPUtime=0 cores=0,2,4,6
/proc/24862/task/24866/stat : 24866 (java) S 24859 24859 20606 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225190672 15379275776 32241 33554432000 4194304 4196468 140726539577216 140219275225744 140219496343253 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31875072 140726539580423 140726539580721 140726539580721 140726539583439 0
[pid=24862/tid=24867] ppid=24859 vsize=15018824 memory=0 CPUtime=0 cores=0,2,4,6
/proc/24862/task/24867/stat : 24867 (java) S 24859 24859 20606 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 225190672 15379275776 32241 33554432000 4194304 4196468 140726539577216 140218954934800 140219496343253 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31875072 140726539580423 140726539580721 140726539580721 140726539583439 0
[pid=24862/tid=24868] ppid=24859 vsize=15018824 memory=0 CPUtime=0 cores=0,2,4,6
/proc/24862/task/24868/stat : 24868 (java) S 24859 24859 20606 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 225190674 15379275776 32241 33554432000 4194304 4196468 140726539577216 140218835348080 140219496344194 0 0 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31875072 140726539580423 140726539580721 140726539580721 140726539583439 0
[pid=24862/tid=24869] ppid=24859 vsize=15018824 memory=0 CPUtime=0 cores=0,2,4,6
/proc/24862/task/24869/stat : 24869 (java) S 24859 24859 20606 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 225190674 15379275776 32241 33554432000 4194304 4196468 140726539577216 140218132849952 140219496343253 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31875072 140726539580423 140726539580721 140726539580721 140726539583439 0
[pid=24862/tid=24870] ppid=24859 vsize=15018824 memory=0 CPUtime=0 cores=0,2,4,6
/proc/24862/task/24870/stat : 24870 (java) S 24859 24859 20606 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225190675 15379275776 32241 33554432000 4194304 4196468 140726539577216 140217864414832 140219496343253 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31875072 140726539580423 140726539580721 140726539580721 140726539583439 0
[pid=24862/tid=24871] ppid=24859 vsize=15018824 memory=0 CPUtime=0 cores=0,2,4,6
/proc/24862/task/24871/stat : 24871 (java) S 24859 24859 20606 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 225190677 15379275776 32241 33554432000 4194304 4196468 140726539577216 140217489906256 140219496351643 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31875072 140726539580423 140726539580721 140726539580721 140726539583439 0
[pid=24862/tid=24872] ppid=24859 vsize=15018824 memory=280706311782640 CPUtime=0.05 cores=0,2,4,6
/proc/24862/task/24872/stat : 24872 (java) S 24859 24859 20606 0 -1 1077944384 501 0 0 0 5 0 0 0 20 0 15 0 225190677 15379275776 32241 33554432000 4194304 4196468 140726539577216 140218834294896 140219496344194 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31875072 140726539580423 140726539580721 140726539580721 140726539583439 0
[pid=24862/tid=24873] ppid=24859 vsize=15018824 memory=7234030490512222553 CPUtime=0.1 cores=0,2,4,6
/proc/24862/task/24873/stat : 24873 (java) S 24859 24859 20606 0 -1 1077944384 358 0 0 0 10 0 0 0 20 0 15 0 225190677 15379275776 32241 33554432000 4194304 4196468 140726539577216 140218833242096 140219496344194 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31875072 140726539580423 140726539580721 140726539580721 140726539583439 0
[pid=24862/tid=24874] ppid=24859 vsize=15018824 memory=7883944108235712103 CPUtime=0.14 cores=0,2,4,6
/proc/24862/task/24874/stat : 24874 (java) S 24859 24859 20606 0 -1 1077944384 414 0 0 0 14 0 0 0 20 0 15 0 225190677 15379275776 32241 33554432000 4194304 4196468 140726539577216 140218832189808 140219496344194 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31875072 140726539580423 140726539580721 140726539580721 140726539583439 0
[pid=24862/tid=24875] ppid=24859 vsize=15018824 memory=7649399375725605938 CPUtime=0 cores=0,2,4,6
/proc/24862/task/24875/stat : 24875 (java) S 24859 24859 20606 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 225190677 15379275776 32241 33554432000 4194304 4196468 140726539577216 140216992000480 140219496343253 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31875072 140726539580423 140726539580721 140726539580721 140726539583439 0
[pid=24862/tid=24876] ppid=24859 vsize=15018824 memory=0 CPUtime=0 cores=0,2,4,6
/proc/24862/task/24876/stat : 24876 (java) S 24859 24859 20606 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225190677 15379275776 32241 33554432000 4194304 4196468 140726539577216 140218831137712 140219496344194 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31875072 140726539580423 140726539580721 140726539580721 140726539583439 0
Current children cumulated CPU time: 0.99 s
Current children cumulated vsize: 15131952 KiB
Current children cumulated memory: 130360 KiB

[startup+1.50125 s]
/proc/loadavg: 4.46 4.04 3.16 5/222 24876
/proc/meminfo: memFree=16811632/32770624 swapFree=67058748/67108860
[pid=24859] ppid=24856 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/24859/stat : 24859 (scop.sh) S 24856 24859 20606 0 -1 4202496 560 321 0 0 0 0 0 0 20 0 1 0 225190670 115843072 349 33554432000 4194304 5098028 140728623847056 140728623844312 139730664157820 0 65536 4100 81923 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 12406784 140728623854657 140728623854855 140728623854855 140728623857613 0
/proc/24859/statm: 28282 349 296 221 0 87 0

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

/proc/24878/task/24894/stat : 24894 (java) S 24859 24859 20606 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 225198522 8261857280 29002 33554432000 4194304 4196468 140735912759600 139703142446528 139703842307865 0 4 2 25189581 18446744071579417331 0 0 -1 0 0 0 0 0 0 6293624 6294260 8077312 140735912768693 140735912768817 140735912768817 140735912771535 0
[pid=24878/tid=24896] ppid=24859 vsize=8068220 memory=14696283776491730 CPUtime=0 cores=0,2,4,6
/proc/24878/task/24896/stat : 24896 (java) S 24859 24859 20606 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 225198522 8261857280 29002 33554432000 4194304 4196468 140735912759600 139701126148112 139703842305181 0 4 2 25189581 18446744071580971376 0 0 -1 0 0 0 0 0 0 6293624 6294260 8077312 140735912768693 140735912768817 140735912768817 140735912771535 0
[pid=24878/tid=24897] ppid=24859 vsize=8068220 memory=60028 CPUtime=0 cores=0,2,4,6
/proc/24878/task/24897/stat : 24897 (java) S 24859 24859 20606 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 225198522 8261857280 29002 33554432000 4194304 4196468 140735912759600 139700857716112 139703842305181 0 4 2 25189581 18446744071580971376 0 0 -1 0 0 0 0 0 0 6293624 6294260 8077312 140735912768693 140735912768817 140735912768817 140735912771535 0
[pid=24878/tid=24898] ppid=24859 vsize=8068220 memory=780 CPUtime=0 cores=0,2,4,6
/proc/24878/task/24898/stat : 24898 (java) S 24859 24859 20606 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 19 0 225198525 8261857280 29002 33554432000 4194304 4196468 140735912759600 139701260376992 139703842293461 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8077312 140735912768693 140735912768817 140735912768817 140735912771535 0
Current children cumulated CPU time: 116.51 s
Current children cumulated vsize: 8290176 KiB
Current children cumulated memory: 202064 KiB

[startup+80.801 s]
/proc/loadavg: 2.97 3.71 3.12 3/227 24898
/proc/meminfo: memFree=16805076/32770624 swapFree=67058748/67108860
[pid=24859] ppid=24856 vsize=113128 memory=1472 CPUtime=113.9 cores=0,2,4,6
/proc/24859/stat : 24859 (scop.sh) S 24856 24859 20606 0 -1 4202496 591 78126 0 0 0 0 11050 340 20 0 1 0 225190670 115843072 368 33554432000 4194304 5098028 140728623847056 140728623843800 139730664157820 0 65536 4100 81923 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 12406784 140728623854657 140728623854855 140728623854855 140728623857613 0
/proc/24859/statm: 28282 368 311 221 0 87 0
[pid=24878] ppid=24859 vsize=8068220 memory=116008 CPUtime=1.13 cores=0,2,4,6
/proc/24878/stat : 24878 (java) S 24859 24859 20606 0 -1 1077944320 18792 0 0 0 107 6 0 0 20 0 19 0 225198435 8261857280 29002 33554432000 4194304 4196468 140735912759600 140735912742144 139703842283255 0 0 2 25189581 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 8077312 140735912768693 140735912768817 140735912768817 140735912771535 0
/proc/24878/statm: 2017055 29002 3151 1 0 1978454 0
[pid=24893] ppid=24878 vsize=104724 memory=76296 CPUtime=2.28 cores=0,2,4,6
/proc/24893/stat : 24893 (minisat_release) R 24878 24859 20606 0 -1 4202496 36798 0 0 0 223 5 0 0 20 0 1 0 225198522 107237376 19074 33554432000 4194304 4308513 140726895548368 140726895545000 4276089 0 4 0 8396802 0 0 0 17 2 0 0 0 0 0 6409496 6410680 18169856 140726895555700 140726895555798 140726895555798 140726895558597 0
/proc/24893/statm: 26181 19074 325 28 0 22421 0
[pid=24878/tid=24879] ppid=24859 vsize=8068220 memory=63860 CPUtime=0.74 cores=0,2,4,6
/proc/24878/task/24879/stat : 24879 (java) S 24859 24859 20606 0 -1 1077944384 15663 0 0 0 70 4 0 0 20 0 19 0 225198435 8261857280 29002 33554432000 4194304 4196468 140735912759600 139703814123408 139703842293461 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 14 0 0 6293624 6294260 8077312 140735912768693 140735912768817 140735912768817 140735912771535 0
[pid=24878/tid=24880] ppid=24859 vsize=8068220 memory=0 CPUtime=0 cores=0,2,4,6
/proc/24878/task/24880/stat : 24880 (java) S 24859 24859 20606 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 225198437 8261857280 29002 33554432000 4194304 4196468 140735912759600 139703846525328 139703842293461 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8077312 140735912768693 140735912768817 140735912768817 140735912771535 0
[pid=24878/tid=24881] ppid=24859 vsize=8068220 memory=6944656592455359580 CPUtime=0 cores=0,2,4,6
/proc/24878/task/24881/stat : 24881 (java) S 24859 24859 20606 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 225198437 8261857280 29002 33554432000 4194304 4196468 140735912759600 139703677774096 139703842293461 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8077312 140735912768693 140735912768817 140735912768817 140735912771535 0
[pid=24878/tid=24882] ppid=24859 vsize=8068220 memory=-7824251494390519395 CPUtime=0 cores=0,2,4,6
/proc/24878/task/24882/stat : 24882 (java) S 24859 24859 20606 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 225198437 8261857280 29002 33554432000 4194304 4196468 140735912759600 139703326452368 139703842293461 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8077312 140735912768693 140735912768817 140735912768817 140735912771535 0
[pid=24878/tid=24883] ppid=24859 vsize=8068220 memory=7524503900901105746 CPUtime=0 cores=0,2,4,6
/proc/24878/task/24883/stat : 24883 (java) S 24859 24859 20606 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 225198437 8261857280 29002 33554432000 4194304 4196468 140735912759600 139703325399568 139703842293461 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8077312 140735912768693 140735912768817 140735912768817 140735912771535 0
[pid=24878/tid=24884] ppid=24859 vsize=8068220 memory=7374750395591648105 CPUtime=0 cores=0,2,4,6
/proc/24878/task/24884/stat : 24884 (java) S 24859 24859 20606 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 19 0 225198438 8261857280 29002 33554432000 4194304 4196468 140735912759600 139703154465392 139703842294402 0 0 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8077312 140735912768693 140735912768817 140735912768817 140735912771535 0
[pid=24878/tid=24885] ppid=24859 vsize=8068220 memory=7523379117621537088 CPUtime=0 cores=0,2,4,6
/proc/24878/task/24885/stat : 24885 (java) S 24859 24859 20606 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 225198438 8261857280 29002 33554432000 4194304 4196468 140735912759600 139702669665568 139703842293461 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8077312 140735912768693 140735912768817 140735912768817 140735912771535 0
[pid=24878/tid=24886] ppid=24859 vsize=8068220 memory=7233735817502419048 CPUtime=0 cores=0,2,4,6
/proc/24878/task/24886/stat : 24886 (java) S 24859 24859 20606 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 19 0 225198439 8261857280 29002 33554432000 4194304 4196468 140735912759600 139702535444080 139703842293461 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8077312 140735912768693 140735912768817 140735912768817 140735912771535 0
[pid=24878/tid=24887] ppid=24859 vsize=8068220 memory=4641080819353151599 CPUtime=0 cores=0,2,4,6
/proc/24878/task/24887/stat : 24887 (java) S 24859 24859 20606 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 225198441 8261857280 29002 33554432000 4194304 4196468 140735912759600 139702160939600 139703842301851 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8077312 140735912768693 140735912768817 140735912768817 140735912771535 0
[pid=24878/tid=24888] ppid=24859 vsize=8068220 memory=1948 CPUtime=0.09 cores=0,2,4,6
/proc/24878/task/24888/stat : 24888 (java) S 24859 24859 20606 0 -1 1077944384 577 0 0 0 9 0 0 0 20 0 19 0 225198441 8261857280 29002 33554432000 4194304 4196468 140735912759600 139703153412208 139703842294402 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8077312 140735912768693 140735912768817 140735912768817 140735912771535 0
[pid=24878/tid=24889] ppid=24859 vsize=8068220 memory=1188 CPUtime=0.07 cores=0,2,4,6
/proc/24878/task/24889/stat : 24889 (java) S 24859 24859 20606 0 -1 1077944384 435 0 0 0 7 0 0 0 20 0 19 0 225198441 8261857280 29002 33554432000 4194304 4196468 140735912759600 139703152359408 139703842294402 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8077312 140735912768693 140735912768817 140735912768817 140735912771535 0
[pid=24878/tid=24890] ppid=24859 vsize=8068220 memory=3544 CPUtime=0.19 cores=0,2,4,6
/proc/24878/task/24890/stat : 24890 (java) S 24859 24859 20606 0 -1 1077944384 705 0 0 0 19 0 0 0 20 0 19 0 225198441 8261857280 29002 33554432000 4194304 4196468 140735912759600 139703151307120 139703842294402 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8077312 140735912768693 140735912768817 140735912768817 140735912771535 0
[pid=24878/tid=24891] ppid=24859 vsize=8068220 memory=60028 CPUtime=0 cores=0,2,4,6
/proc/24878/task/24891/stat : 24891 (java) S 24859 24859 20606 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 225198442 8261857280 29002 33554432000 4194304 4196468 140735912759600 139701663033824 139703842293461 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8077312 140735912768693 140735912768817 140735912768817 140735912771535 0
[pid=24878/tid=24892] ppid=24859 vsize=8068220 memory=780 CPUtime=0 cores=0,2,4,6
/proc/24878/task/24892/stat : 24892 (java) S 24859 24859 20606 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 225198442 8261857280 29002 33554432000 4194304 4196468 140735912759600 139703150255024 139703842294402 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 12 0 0 6293624 6294260 8077312 140735912768693 140735912768817 140735912768817 140735912771535 0
[pid=24878/tid=24894] ppid=24859 vsize=8068220 memory=1948 CPUtime=0 cores=0,2,4,6
/proc/24878/task/24894/stat : 24894 (java) S 24859 24859 20606 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 225198522 8261857280 29002 33554432000 4194304 4196468 140735912759600 139703142446528 139703842307865 0 4 2 25189581 18446744071579417331 0 0 -1 0 0 0 0 0 0 6293624 6294260 8077312 140735912768693 140735912768817 140735912768817 140735912771535 0
[pid=24878/tid=24896] ppid=24859 vsize=8068220 memory=1188 CPUtime=0 cores=0,2,4,6
/proc/24878/task/24896/stat : 24896 (java) S 24859 24859 20606 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 225198522 8261857280 29002 33554432000 4194304 4196468 140735912759600 139701126148112 139703842305181 0 4 2 25189581 18446744071580971376 0 0 -1 0 0 0 0 0 0 6293624 6294260 8077312 140735912768693 140735912768817 140735912768817 140735912771535 0
[pid=24878/tid=24897] ppid=24859 vsize=8068220 memory=1948 CPUtime=0 cores=0,2,4,6
/proc/24878/task/24897/stat : 24897 (java) S 24859 24859 20606 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 225198522 8261857280 29002 33554432000 4194304 4196468 140735912759600 139700857716112 139703842305181 0 4 2 25189581 18446744071580971376 0 0 -1 0 0 0 0 0 0 6293624 6294260 8077312 140735912768693 140735912768817 140735912768817 140735912771535 0
[pid=24878/tid=24898] ppid=24859 vsize=8068220 memory=1188 CPUtime=0 cores=0,2,4,6
/proc/24878/task/24898/stat : 24898 (java) S 24859 24859 20606 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 19 0 225198525 8261857280 29002 33554432000 4194304 4196468 140735912759600 139701260376992 139703842293461 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8077312 140735912768693 140735912768817 140735912768817 140735912771535 0
Current children cumulated CPU time: 117.31 s
Current children cumulated vsize: 8286072 KiB
Current children cumulated memory: 193776 KiB

[startup+81.601 s]
/proc/loadavg: 2.97 3.71 3.12 3/227 24898
/proc/meminfo: memFree=16812512/32770624 swapFree=67058748/67108860
[pid=24859] ppid=24856 vsize=113128 memory=1472 CPUtime=113.9 cores=0,2,4,6
/proc/24859/stat : 24859 (scop.sh) S 24856 24859 20606 0 -1 4202496 591 78126 0 0 0 0 11050 340 20 0 1 0 225190670 115843072 368 33554432000 4194304 5098028 140728623847056 140728623843800 139730664157820 0 65536 4100 81923 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 12406784 140728623854657 140728623854855 140728623854855 140728623857613 0
/proc/24859/statm: 28282 368 311 221 0 87 0
[pid=24878] ppid=24859 vsize=8068220 memory=116008 CPUtime=1.13 cores=0,2,4,6
/proc/24878/stat : 24878 (java) S 24859 24859 20606 0 -1 1077944320 18792 0 0 0 107 6 0 0 20 0 19 0 225198435 8261857280 29002 33554432000 4194304 4196468 140735912759600 140735912742144 139703842283255 0 0 2 25189581 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 8077312 140735912768693 140735912768817 140735912768817 140735912771535 0
/proc/24878/statm: 2017055 29002 3151 1 0 1978454 0
[pid=24893] ppid=24878 vsize=104724 memory=76360 CPUtime=3.07 cores=0,2,4,6
/proc/24893/stat : 24893 (minisat_release) R 24878 24859 20606 0 -1 4202496 37115 0 0 0 302 5 0 0 20 0 1 0 225198522 107237376 19090 33554432000 4194304 4308513 140726895548368 140726895545992 4276008 0 4 0 8396802 0 0 0 17 2 0 0 0 0 0 6409496 6410680 18169856 140726895555700 140726895555798 140726895555798 140726895558597 0
/proc/24893/statm: 26181 19090 340 28 0 22421 0
[pid=24878/tid=24879] ppid=24859 vsize=8068220 memory=13808 CPUtime=0.74 cores=0,2,4,6
/proc/24878/task/24879/stat : 24879 (java) S 24859 24859 20606 0 -1 1077944384 15663 0 0 0 70 4 0 0 20 0 19 0 225198435 8261857280 29002 33554432000 4194304 4196468 140735912759600 139703814123408 139703842293461 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 14 0 0 6293624 6294260 8077312 140735912768693 140735912768817 140735912768817 140735912771535 0
[pid=24878/tid=24880] ppid=24859 vsize=8068220 memory=524 CPUtime=0 cores=0,2,4,6
/proc/24878/task/24880/stat : 24880 (java) S 24859 24859 20606 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 225198437 8261857280 29002 33554432000 4194304 4196468 140735912759600 139703846525328 139703842293461 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8077312 140735912768693 140735912768817 140735912768817 140735912771535 0
[pid=24878/tid=24881] ppid=24859 vsize=8068220 memory=-7824251494390519395 CPUtime=0 cores=0,2,4,6
/proc/24878/task/24881/stat : 24881 (java) S 24859 24859 20606 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 225198437 8261857280 29002 33554432000 4194304 4196468 140735912759600 139703677774096 139703842293461 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8077312 140735912768693 140735912768817 140735912768817 140735912771535 0
[pid=24878/tid=24882] ppid=24859 vsize=8068220 memory=116008 CPUtime=0 cores=0,2,4,6
/proc/24878/task/24882/stat : 24882 (java) S 24859 24859 20606 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 225198437 8261857280 29002 33554432000 4194304 4196468 140735912759600 139703326452368 139703842293461 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8077312 140735912768693 140735912768817 140735912768817 140735912771535 0
[pid=24878/tid=24883] ppid=24859 vsize=8068220 memory=80164 CPUtime=0 cores=0,2,4,6
/proc/24878/task/24883/stat : 24883 (java) S 24859 24859 20606 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 225198437 8261857280 29002 33554432000 4194304 4196468 140735912759600 139703325399568 139703842293461 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8077312 140735912768693 140735912768817 140735912768817 140735912771535 0
[pid=24878/tid=24884] ppid=24859 vsize=8068220 memory=1840 CPUtime=0 cores=0,2,4,6
/proc/24878/task/24884/stat : 24884 (java) S 24859 24859 20606 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 19 0 225198438 8261857280 29002 33554432000 4194304 4196468 140735912759600 139703154465392 139703842294402 0 0 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8077312 140735912768693 140735912768817 140735912768817 140735912771535 0
[pid=24878/tid=24885] ppid=24859 vsize=8068220 memory=7904 CPUtime=0 cores=0,2,4,6
/proc/24878/task/24885/stat : 24885 (java) S 24859 24859 20606 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 225198438 8261857280 29002 33554432000 4194304 4196468 140735912759600 139702669665568 139703842293461 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8077312 140735912768693 140735912768817 140735912768817 140735912771535 0
[pid=24878/tid=24886] ppid=24859 vsize=8068220 memory=288230574492221466 CPUtime=0 cores=0,2,4,6
/proc/24878/task/24886/stat : 24886 (java) S 24859 24859 20606 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 19 0 225198439 8261857280 29002 33554432000 4194304 4196468 140735912759600 139702535444080 139703842293461 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8077312 140735912768693 140735912768817 140735912768817 140735912771535 0
[pid=24878/tid=24887] ppid=24859 vsize=8068220 memory=288230596050944315 CPUtime=0 cores=0,2,4,6
/proc/24878/task/24887/stat : 24887 (java) S 24859 24859 20606 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 225198441 8261857280 29002 33554432000 4194304 4196468 140735912759600 139702160939600 139703842301851 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8077312 140735912768693 140735912768817 140735912768817 140735912771535 0
[pid=24878/tid=24888] ppid=24859 vsize=8068220 memory=14696283776491730 CPUtime=0.09 cores=0,2,4,6
/proc/24878/task/24888/stat : 24888 (java) S 24859 24859 20606 0 -1 1077944384 577 0 0 0 9 0 0 0 20 0 19 0 225198441 8261857280 29002 33554432000 4194304 4196468 140735912759600 139703153412208 139703842294402 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8077312 140735912768693 140735912768817 140735912768817 140735912771535 0
[pid=24878/tid=24889] ppid=24859 vsize=8068220 memory=2916 CPUtime=0.07 cores=0,2,4,6
/proc/24878/task/24889/stat : 24889 (java) S 24859 24859 20606 0 -1 1077944384 435 0 0 0 7 0 0 0 20 0 19 0 225198441 8261857280 29002 33554432000 4194304 4196468 140735912759600 139703152359408 139703842294402 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8077312 140735912768693 140735912768817 140735912768817 140735912771535 0
[pid=24878/tid=24890] ppid=24859 vsize=8068220 memory=1472 CPUtime=0.19 cores=0,2,4,6
/proc/24878/task/24890/stat : 24890 (java) S 24859 24859 20606 0 -1 1077944384 705 0 0 0 19 0 0 0 20 0 19 0 225198441 8261857280 29002 33554432000 4194304 4196468 140735912759600 139703151307120 139703842294402 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8077312 140735912768693 140735912768817 140735912768817 140735912771535 0
[pid=24878/tid=24891] ppid=24859 vsize=8068220 memory=116008 CPUtime=0 cores=0,2,4,6
/proc/24878/task/24891/stat : 24891 (java) S 24859 24859 20606 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 225198442 8261857280 29002 33554432000 4194304 4196468 140735912759600 139701663033824 139703842293461 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8077312 140735912768693 140735912768817 140735912768817 140735912771535 0
[pid=24878/tid=24892] ppid=24859 vsize=8068220 memory=3544 CPUtime=0 cores=0,2,4,6
/proc/24878/task/24892/stat : 24892 (java) S 24859 24859 20606 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 225198442 8261857280 29002 33554432000 4194304 4196468 140735912759600 139703150255024 139703842294402 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 12 0 0 6293624 6294260 8077312 140735912768693 140735912768817 140735912768817 140735912771535 0
[pid=24878/tid=24894] ppid=24859 vsize=8068220 memory=60028 CPUtime=0 cores=0,2,4,6
/proc/24878/task/24894/stat : 24894 (java) S 24859 24859 20606 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 225198522 8261857280 29002 33554432000 4194304 4196468 140735912759600 139703142446528 139703842307865 0 4 2 25189581 18446744071579417331 0 0 -1 0 0 0 0 0 0 6293624 6294260 8077312 140735912768693 140735912768817 140735912768817 140735912771535 0
[pid=24878/tid=24896] ppid=24859 vsize=8068220 memory=780 CPUtime=0 cores=0,2,4,6
/proc/24878/task/24896/stat : 24896 (java) S 24859 24859 20606 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 225198522 8261857280 29002 33554432000 4194304 4196468 140735912759600 139701126148112 139703842305181 0 4 2 25189581 18446744071580971376 0 0 -1 0 0 0 0 0 0 6293624 6294260 8077312 140735912768693 140735912768817 140735912768817 140735912771535 0
[pid=24878/tid=24897] ppid=24859 vsize=8068220 memory=1948 CPUtime=0 cores=0,2,4,6
/proc/24878/task/24897/stat : 24897 (java) S 24859 24859 20606 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 225198522 8261857280 29002 33554432000 4194304 4196468 140735912759600 139700857716112 139703842305181 0 4 2 25189581 18446744071580971376 0 0 -1 0 0 0 0 0 0 6293624 6294260 8077312 140735912768693 140735912768817 140735912768817 140735912771535 0
[pid=24878/tid=24898] ppid=24859 vsize=8068220 memory=1188 CPUtime=0 cores=0,2,4,6
/proc/24878/task/24898/stat : 24898 (java) S 24859 24859 20606 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 19 0 225198525 8261857280 29002 33554432000 4194304 4196468 140735912759600 139701260376992 139703842293461 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8077312 140735912768693 140735912768817 140735912768817 140735912771535 0
Current children cumulated CPU time: 118.1 s
Current children cumulated vsize: 8286072 KiB
Current children cumulated memory: 193840 KiB

[startup+81.8035 s]
/proc/loadavg: 2.97 3.71 3.12 3/227 24898
/proc/meminfo: memFree=16812512/32770624 swapFree=67058748/67108860
[pid=24859] ppid=24856 vsize=113128 memory=1472 CPUtime=113.9 cores=0,2,4,6
/proc/24859/stat : 24859 (scop.sh) S 24856 24859 20606 0 -1 4202496 591 78126 0 0 0 0 11050 340 20 0 1 0 225190670 115843072 368 33554432000 4194304 5098028 140728623847056 140728623843800 139730664157820 0 65536 4100 81923 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 12406784 140728623854657 140728623854855 140728623854855 140728623857613 0
/proc/24859/statm: 28282 368 311 221 0 87 0
[pid=24878] ppid=24859 vsize=7937144 memory=129700 CPUtime=4.56 cores=0,2,4,6
/proc/24878/stat : 24878 (java) S 24859 24859 20606 0 -1 1077944320 19127 37523 0 0 131 6 313 6 20 0 17 0 225198435 8127635456 32425 33554432000 4194304 4196468 140735912759600 140735912742144 139703842283255 0 0 2 25189581 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 8077312 140735912768693 140735912768817 140735912768817 140735912771535 0
/proc/24878/statm: 1984286 32425 3167 1 0 1945685 0
[pid=24878/tid=24879] ppid=24859 vsize=7937144 memory=3172 CPUtime=3.96 cores=0,2,4,6
/proc/24878/task/24879/stat : 24879 (java) R 24859 24859 20606 0 -1 4202560 15801 37523 0 0 73 4 313 6 20 0 17 0 225198435 8127635456 32425 33554432000 4194304 4196468 140735912759600 139703814120912 139703826363742 0 4 2 25189581 0 0 0 -1 4 0 0 14 0 0 6293624 6294260 8077312 140735912768693 140735912768817 140735912768817 140735912771535 0
[pid=24878/tid=24880] ppid=24859 vsize=7937144 memory=2076 CPUtime=3.19 cores=0,2,4,6
/proc/24878/task/24880/stat : 24880 (java) S 24859 24859 20606 0 -1 1077944384 1 37523 0 0 0 0 313 6 20 0 17 0 225198437 8127635456 32425 33554432000 4194304 4196468 140735912759600 139703846525328 139703842293461 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8077312 140735912768693 140735912768817 140735912768817 140735912771535 0
[pid=24878/tid=24881] ppid=24859 vsize=7937144 memory=9004 CPUtime=3.19 cores=0,2,4,6
/proc/24878/task/24881/stat : 24881 (java) S 24859 24859 20606 0 -1 1077944384 2 37523 0 0 0 0 313 6 20 0 17 0 225198437 8127635456 32425 33554432000 4194304 4196468 140735912759600 139703677774096 139703842293461 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8077312 140735912768693 140735912768817 140735912768817 140735912771535 0
[pid=24878/tid=24882] ppid=24859 vsize=7937144 memory=768 CPUtime=3.19 cores=0,2,4,6
/proc/24878/task/24882/stat : 24882 (java) S 24859 24859 20606 0 -1 1077944384 1 37523 0 0 0 0 313 6 20 0 17 0 225198437 8127635456 32425 33554432000 4194304 4196468 140735912759600 139703326452368 139703842293461 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8077312 140735912768693 140735912768817 140735912768817 140735912771535 0
[pid=24878/tid=24883] ppid=24859 vsize=7937144 memory=736 CPUtime=3.19 cores=0,2,4,6
/proc/24878/task/24883/stat : 24883 (java) S 24859 24859 20606 0 -1 1077944384 2 37523 0 0 0 0 313 6 20 0 17 0 225198437 8127635456 32425 33554432000 4194304 4196468 140735912759600 139703325399568 139703842293461 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8077312 140735912768693 140735912768817 140735912768817 140735912771535 0
[pid=24878/tid=24884] ppid=24859 vsize=7937144 memory=1472 CPUtime=3.19 cores=0,2,4,6
/proc/24878/task/24884/stat : 24884 (java) S 24859 24859 20606 0 -1 1077944384 5 37523 0 0 0 0 313 6 20 0 17 0 225198438 8127635456 32425 33554432000 4194304 4196468 140735912759600 139703154465392 139703842294402 0 0 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8077312 140735912768693 140735912768817 140735912768817 140735912771535 0
[pid=24878/tid=24885] ppid=24859 vsize=7937144 memory=116008 CPUtime=3.19 cores=0,2,4,6
/proc/24878/task/24885/stat : 24885 (java) S 24859 24859 20606 0 -1 1077944384 13 37523 0 0 0 0 313 6 20 0 17 0 225198438 8127635456 32425 33554432000 4194304 4196468 140735912759600 139702669665568 139703842293461 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8077312 140735912768693 140735912768817 140735912768817 140735912771535 0
[pid=24878/tid=24886] ppid=24859 vsize=7937144 memory=84584 CPUtime=3.19 cores=0,2,4,6
/proc/24878/task/24886/stat : 24886 (java) S 24859 24859 20606 0 -1 1077944384 21 37523 0 0 0 0 313 6 20 0 17 0 225198439 8127635456 32425 33554432000 4194304 4196468 140735912759600 139702535444080 139703842293461 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8077312 140735912768693 140735912768817 140735912768817 140735912771535 0
[pid=24878/tid=24887] ppid=24859 vsize=7937144 memory=1548 CPUtime=3.19 cores=0,2,4,6
/proc/24878/task/24887/stat : 24887 (java) S 24859 24859 20606 0 -1 1077944384 3 37523 0 0 0 0 313 6 20 0 17 0 225198441 8127635456 32425 33554432000 4194304 4196468 140735912759600 139702160939600 139703842301851 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8077312 140735912768693 140735912768817 140735912768817 140735912771535 0
[pid=24878/tid=24888] ppid=24859 vsize=7937144 memory=1432 CPUtime=3.33 cores=0,2,4,6
/proc/24878/task/24888/stat : 24888 (java) S 24859 24859 20606 0 -1 1077944384 590 37523 0 0 14 0 313 6 20 0 17 0 225198441 8127635456 32425 33554432000 4194304 4196468 140735912759600 139703153412208 139703842294402 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8077312 140735912768693 140735912768817 140735912768817 140735912771535 0
[pid=24878/tid=24889] ppid=24859 vsize=7937144 memory=116008 CPUtime=3.3 cores=0,2,4,6
/proc/24878/task/24889/stat : 24889 (java) S 24859 24859 20606 0 -1 1077944384 460 37523 0 0 11 0 313 6 20 0 17 0 225198441 8127635456 32425 33554432000 4194304 4196468 140735912759600 139703152359408 139703842294402 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8077312 140735912768693 140735912768817 140735912768817 140735912771535 0
[pid=24878/tid=24890] ppid=24859 vsize=7937144 memory=288230574492221466 CPUtime=3.42 cores=0,2,4,6
/proc/24878/task/24890/stat : 24890 (java) S 24859 24859 20606 0 -1 1077944384 811 37523 0 0 23 0 313 6 20 0 17 0 225198441 8127635456 32425 33554432000 4194304 4196468 140735912759600 139703151307120 139703842294402 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8077312 140735912768693 140735912768817 140735912768817 140735912771535 0
[pid=24878/tid=24891] ppid=24859 vsize=7937144 memory=288230596050944315 CPUtime=3.19 cores=0,2,4,6
/proc/24878/task/24891/stat : 24891 (java) S 24859 24859 20606 0 -1 1077944384 3 37523 0 0 0 0 313 6 20 0 17 0 225198442 8127635456 32425 33554432000 4194304 4196468 140735912759600 139701663033824 139703842293461 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8077312 140735912768693 140735912768817 140735912768817 140735912771535 0
[pid=24878/tid=24892] ppid=24859 vsize=7937144 memory=14696283776491730 CPUtime=3.19 cores=0,2,4,6
/proc/24878/task/24892/stat : 24892 (java) S 24859 24859 20606 0 -1 1077944384 2 37523 0 0 0 0 313 6 20 0 17 0 225198442 8127635456 32425 33554432000 4194304 4196468 140735912759600 139703150255024 139703842294402 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 12 0 0 6293624 6294260 8077312 140735912768693 140735912768817 140735912768817 140735912771535 0
[pid=24878/tid=24894] ppid=24859 vsize=7937144 memory=3544 CPUtime=3.19 cores=0,2,4,6
/proc/24878/task/24894/stat : 24894 (java) S 24859 24859 20606 0 -1 1077944384 25 37523 0 0 0 0 313 6 20 0 17 0 225198522 8127635456 32425 33554432000 4194304 4196468 140735912759600 139703142445712 139703842294402 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8077312 140735912768693 140735912768817 140735912768817 140735912771535 0
[pid=24878/tid=24898] ppid=24859 vsize=7937144 memory=1948 CPUtime=3.19 cores=0,2,4,6
/proc/24878/task/24898/stat : 24898 (java) S 24859 24859 20606 0 -1 1077944384 27 37523 0 0 0 0 313 6 20 0 17 0 225198525 8127635456 32425 33554432000 4194304 4196468 140735912759600 139701260378800 139703842294402 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8077312 140735912768693 140735912768817 140735912768817 140735912771535 0
Current children cumulated CPU time: 118.46 s
Current children cumulated vsize: 8050272 KiB
Current children cumulated memory: 131172 KiB

Child status: 0
Real time (s): 81.8523
CPU time (s): 118.556
CPU user time (s): 115.009
CPU system time (s): 3.54667
CPU usage (%): 144.841
Max. virtual memory (cumulated for all children) (KiB): 15142280
Max. memory (cumulated for all children) (KiB): 5636360

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 115.009
system time used= 3.54667
maximum resident set size= 5635272
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 135522
page faults= 0
swaps= 0
block input operations= 0
block output operations= 36864
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 8743
involuntary context switches= 433


# summary of solver processes directly reported to runsolver:
#   pid: 24859
#   total CPU time (s): 118.556
#   total CPU user time (s): 115.009
#   total CPU system time (s): 3.54667

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.567099 second user time and 0.845459 second system time

The end

Launcher Data 

Begin job on node103 at 2018-08-12 14:17:55
IDJOB=4305716
IDBENCH=141439
IDSOLVER=2783
FILE ID=node103/4305716-1534076275
RUNJOBID= node103-1534064938-20637
PBS_JOBID= 21036991
Free space on /tmp= 34676 MiB

SOLVER NAME= scop both+MapleCOMSPS (2018-07-31)
BENCH NAME= XCSP18/Crossword/Crossword-m18-ogd2008-vg-05-06_c18.xml
COMMAND LINE= scop.sh 11g scop.jar -both minisat_release default TMPDIR BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4305716-1534076275/watcher-4305716-1534076275 -o /tmp/evaluation-result-4305716-1534076275/solver-4305716-1534076275 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node103-1534064938-20637 --watchdog 2580  scop.sh 11g scop.jar -both minisat_release default HOME HOME/instance-4305716-1534076275.xml

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

MD5SUM BENCH= 81d4059c2b76389bba6ef17dee6cb29a
RANDOM SEED=1064225786

node103.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.48
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.48
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.48
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.48
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:        17012036 kB
MemAvailable:   31777256 kB
Buffers:          121964 kB
Cached:         14786724 kB
SwapCached:         5820 kB
Active:          7673600 kB
Inactive:        7415156 kB
Active(anon):     171840 kB
Inactive(anon):    60092 kB
Active(file):    7501760 kB
Inactive(file):  7355064 kB
Unevictable:        7784 kB
Mlocked:            7784 kB
SwapTotal:      67108860 kB
SwapFree:       67058748 kB
Dirty:              8860 kB
Writeback:             0 kB
AnonPages:        175456 kB
Mapped:            62352 kB
Shmem:             48616 kB
Slab:             365676 kB
SReclaimable:     336856 kB
SUnreclaim:        28820 kB
KernelStack:        3904 kB
PageTables:         5688 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    5881800 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:     77824 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      124288 kB
DirectMap2M:    33421312 kB

Free space on /tmp at the end= 34668 MiB
End job on node103 at 2018-08-12 14:19:17