Trace number 4305459

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.13 2496.42

General information on the benchmark

NameSubisomorphism/
Subisomorphism-g19-g43_c18.xml
MD5SUM73b986b466eb2b69580bc545a83953ff
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 variables64
Number of constraints233
Number of domains1
Minimum domain size128
Maximum domain size128
Distribution of domain sizes[{"size":128,"count":64}]
Minimum variable degree4
Maximum variable degree10
Distribution of variable degrees[{"degree":4,"count":4},{"degree":5,"count":8},{"degree":6,"count":20},{"degree":8,"count":16},{"degree":10,"count":16}]
Minimum constraint arity1
Maximum constraint arity64
Distribution of constraint arities[{"arity":1,"count":64},{"arity":2,"count":168},{"arity":64,"count":1}]
Number of extensional constraints232
Number of intensional constraints0
Distribution of constraint types[{"type":"extension","count":232},{"type":"allDifferent","count":1}]
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-21883-serial-file.bin HOME/instance-4305459-1534078167.xml
0.54/0.51	
0.66/0.52	scop order+minisat_release (2018-07-31)
0.66/0.52	(Encoding Process)
0.66/0.52	
0.66/0.54	c BEGIN-Prog: Sun Aug 12 14:49:28 CEST 2018
0.66/0.54	c PID: 21886
0.66/0.54	c IP: 172.20.3.107
0.66/0.54	c HOST: node107.alineos.net
0.66/0.55	c (0,0) Parsing Begin
1.59/0.97	c (0,0) Parsing End
1.59/0.98	c (0,0) CSP: 64 int (0 aux), 0 bool (0 aux), 233 ctr, max domain size 128
1.59/0.98	c (0,0) Heap : 112 MiB used (max 10795 MiB), NonHeap : 19 MiB used (max 0 MiB)
1.59/0.98	c (0,0) Constraint Name Generate Begin
1.59/0.98	c (0,0) Ctr:HOME/instance-4305459-1534078167.xml,AllDifferent:ExtensionConflict:ExtensionSupport:IntVar
1.59/0.98	c (0,0) Constraint Name Generate End
1.59/0.98	c (0,0) Heap : 112 MiB used (max 10795 MiB), NonHeap : 19 MiB used (max 0 MiB)
1.59/0.98	c (0,0) CSP to CSPinCNF Begin
11.31/5.08	c (4,4) translated 24 (10%) constraints
14.35/8.00	c (7,7) translated 47 (20%) constraints
17.94/10.87	c (10,10) translated 70 (30%) constraints
20.78/13.65	c (13,12) translated 94 (40%) constraints
24.48/16.57	c (16,15) translated 117 (50%) constraints
27.21/19.23	c (18,18) translated 140 (60%) constraints
31.29/22.33	c (21,21) translated 164 (70%) constraints
32.00/23.03	c (22,21) translated 187 (80%) constraints
32.00/23.06	c (22,21) translated 210 (90%) constraints
32.00/23.09	c (22,21) translated 233 (100%) constraints
35.74/24.61	c (24,23) STATISTICS1:HOME/instance-4305459-1534078167.xml,AllDifferent:ExtensionConflict:ExtensionSupport:IntVar,21400,523738,127,127,128,2,127:2016,127:1004248;2:542136,128:168;64:2;3:477792;2:45772;1:4,2:2016;1:1542352;0:172,
35.74/24.61	c (24,23) ==========================================
35.74/24.61	c (24,23) Order
35.74/24.61	c (24,23) ==========================================
37.52/25.44	c (24,23) translated 52374 (10%) constraints
38.13/26.07	c (25,24) translated 104748 (20%) constraints
38.88/26.71	c (26,25) translated 157122 (30%) constraints
39.51/27.34	c (26,25) translated 209496 (40%) constraints
40.11/27.97	c (27,26) translated 261869 (50%) constraints
40.82/28.60	c (28,27) translated 314243 (60%) constraints
41.42/29.23	c (28,27) translated 366617 (70%) constraints
42.02/29.86	c (29,28) translated 418991 (80%) constraints
42.62/30.49	c (29,28) translated 471365 (90%) constraints
43.34/31.13	c (30,29) translated 523738 (100%) constraints
43.34/31.13	c (30,29) CSP to CSPinCNF End
43.34/31.14	c (30,29) CSP: 64 int (0 aux), 21336 bool (21336 aux), 523738 ctr, max domain size 127
43.34/31.14	c (30,29) Heap : 3170 MiB used (max 10795 MiB), NonHeap : 29 MiB used (max 0 MiB)
43.34/31.14	c (30,29) CSPinCNF Propagation Begin
113.71/94.61	c (94,90) 0 values, 168 unsatisfiable literals, and 4 valid clauses are removed
113.71/94.61	c (94,90) CSPinCNF Propagation End
113.71/94.62	c (94,91) CSP: 64 int (0 aux), 21336 bool (21336 aux), 523734 ctr, max domain size 127
113.71/94.62	c (94,91) Heap : 2100 MiB used (max 10953 MiB), NonHeap : 27 MiB used (max 0 MiB)
113.71/94.62	c (94,91) Simplify CSPinCNF Begin
114.74/95.33	c (94,91) Simplify CSPinCNF End
114.74/95.34	c (94,91) CSP: 64 int (0 aux), 25368 bool (25368 aux), 527766 ctr, max domain size 127
114.74/95.34	c (94,91) Heap : 2478 MiB used (max 10953 MiB), NonHeap : 28 MiB used (max 0 MiB)
114.74/95.34	c (94,91) Calculate Precise Domain Begin
114.74/95.34	c (94,91) 0 values are removed by re-calculation
114.74/95.34	c (94,91) Calculate Precise Domain End
114.74/95.34	c (94,91) CSP: 64 int (0 aux), 25368 bool (25368 aux), 527766 ctr, max domain size 127
114.74/95.34	c (94,91) Heap : 2478 MiB used (max 10953 MiB), NonHeap : 28 MiB used (max 0 MiB)
114.74/95.34	c (94,91) CSPinCNF to SatSolver Begin
117.60/97.04	c (96,93) 52777 (10 %) CSP clauses are encoded (33432 SAT variables, 568808 SAT clauses)
117.92/97.30	c (96,93) 105554 (20 %) CSP clauses are encoded (33432 SAT variables, 621585 SAT clauses)
118.13/97.56	c (97,93) 158330 (30 %) CSP clauses are encoded (33432 SAT variables, 674361 SAT clauses)
118.45/97.82	c (97,94) 211107 (40 %) CSP clauses are encoded (33432 SAT variables, 727138 SAT clauses)
118.66/98.07	c (97,94) 263883 (50 %) CSP clauses are encoded (33432 SAT variables, 779914 SAT clauses)
118.95/98.33	c (97,94) 316660 (60 %) CSP clauses are encoded (33432 SAT variables, 832691 SAT clauses)
119.15/98.58	c (98,94) 369437 (70 %) CSP clauses are encoded (33432 SAT variables, 885468 SAT clauses)
119.45/98.84	c (98,95) 422213 (80 %) CSP clauses are encoded (33432 SAT variables, 938244 SAT clauses)
119.66/99.10	c (98,95) 474990 (90 %) CSP clauses are encoded (33432 SAT variables, 991021 SAT clauses)
119.95/99.35	c (98,95) 527766 (100 %) CSP clauses are encoded (33432 SAT variables, 1043797 SAT clauses)
119.95/99.35	c (98,95) Launch Command will be: minisat_release
119.95/99.35	c (98,95) CSPinCNF to SatSolver End
119.95/99.35	c (98,95) Heap : 2894 MiB used (max 11010 MiB), NonHeap : 30 MiB used (max 0 MiB)
121.78/100.59	c (100,96) STATISTICS2:HOME/instance-4305459-1534078167.xml,AllDifferent:ExtensionConflict:ExtensionSupport:IntVar,25432,527766,127,127,127,2,127:4032,127:1008280;2:550200,127:168;64:2;3:477792;2:49804,2:4032;1:1550416,
121.78/100.59	c (100,96) 33432 bool, 1043798 clause
121.78/100.59	c (100,96) Export Begin
122.08/100.71	c (100,96) Export to HOME/scop-21883-serial-file.bin
122.08/100.71	c (100,96) Export End
122.08/100.72	c (100,96) Export File Size: 0.16 MB
122.08/100.72	c (100,96) 0,0,30,94,94,94,98,STOP-AFTER(DIMACS)
122.08/100.72	c END-Prog: Sun Aug 12 14:51:08 CEST 2018
122.08/100.75	c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp scop.jar fun.scop.XCSP18Solve HOME/scop-21883-serial-file.bin
122.75/101.25	c (0,0) Read Serial File Begin
122.75/101.25	c (0,0) HOME/scop-21883-serial-file.bin
123.04/101.46	c (0,0) Read Serial File End
123.04/101.47	
123.04/101.47	scop order+minisat_release (2018-07-31)
123.04/101.47	(Solving Process)
123.04/101.47	
123.04/101.50	c BEGIN-Prog: Sun Aug 12 14:51:09 CEST 2018
123.04/101.50	c PID: 21910
123.04/101.50	c IP: 172.20.3.107
123.04/101.50	c HOST: node107.alineos.net
123.31/101.50	c (0,0) SatSolver.solve Begin
123.31/101.50	c (0,0) 0 bool, 0 clause
123.31/101.50	c (0,0) minisat_release HOME/instance-4305459-1534078167.xml-scop-21886.cnf
2520.08/2496.40	c (2395,0) receiving signal SIGTERM
2520.08/2496.40	s UNKNOWN
2520.08/2496.41	c (2395,0) SatSolver is killed by some reasons.
2520.08/2496.41	c (2395,0) TO,TO,TO,TO,TO,TO,TO,TO,TO,STOP-AFTER(Nothing)
2520.08/2496.41	c (scop.sh) Receiving Signal. Removing all intermediate files.
2520.08/2496.41	c (scop.sh) Killing background jobs.

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

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

running on 4 cores: 1,3,5,7

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=21883, runsolver pid=21880
Current StackSize limit: 8192 KiB


[startup+0.100145 s]*
/proc/loadavg: 2.34 3.39 3.55 3/222 21900
/proc/meminfo: memFree=24112548/32770624 swapFree=67108860/67108860
[pid=21883] ppid=21880 vsize=113128 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/21883/stat : 21883 (scop.sh) S 21880 21883 16605 0 -1 4202496 559 321 0 0 0 0 0 0 20 0 1 0 225379938 115843072 349 33554432000 4194304 5098028 140722686549664 140722686546920 140638454989436 0 65536 4100 81923 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 39030784 140722686555200 140722686555399 140722686555399 140722686558157 0
/proc/21883/statm: 28282 349 296 221 0 87 0
[pid=21886] ppid=21883 vsize=15012476 memory=72292 CPUtime=0.11 cores=1,3,5,7
/proc/21886/stat : 21886 (java) S 21883 21883 16605 0 -1 1077944320 6166 0 0 0 9 2 0 0 20 0 15 0 225379938 15372775424 18073 33554432000 4194304 4196468 140732731819936 140732731802480 140509268242167 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 33095680 140732731823110 140732731823409 140732731823409 140732731826127 0
/proc/21886/statm: 3753119 18073 2766 1 0 3715579 0
[pid=21886/tid=21887] ppid=21883 vsize=15012476 memory=-6222985969016291267 CPUtime=0.09 cores=1,3,5,7
/proc/21886/task/21887/stat : 21887 (java) R 21883 21883 16605 0 -1 4202560 4301 0 0 0 7 2 0 0 20 0 15 0 225379938 15372775424 18073 33554432000 4194304 4196468 140732731819936 140509240068496 140509260959319 0 4 2 16800973 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 33095680 140732731823110 140732731823409 140732731823409 140732731826127 0
[pid=21886/tid=21888] ppid=21883 vsize=15012476 memory=4206468019014099040 CPUtime=0 cores=1,3,5,7
/proc/21886/task/21888/stat : 21888 (java) S 21883 21883 16605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225379940 15372775424 18139 33554432000 4194304 4196468 140732731819936 140509272484240 140509268252373 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33095680 140732731823110 140732731823409 140732731823409 140732731826127 0
[pid=21886/tid=21889] ppid=21883 vsize=15012476 memory=139674810422912 CPUtime=0 cores=1,3,5,7
/proc/21886/task/21889/stat : 21889 (java) S 21883 21883 16605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225379940 15372775424 18139 33554432000 4194304 4196468 140732731819936 140509063567632 140509268252373 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33095680 140732731823110 140732731823409 140732731823409 140732731826127 0
[pid=21886/tid=21890] ppid=21883 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21886/task/21890/stat : 21890 (java) S 21883 21883 16605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225379940 15372775424 18139 33554432000 4194304 4196468 140732731819936 140509062515344 140509268252373 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33095680 140732731823110 140732731823409 140732731823409 140732731826127 0
[pid=21886/tid=21891] ppid=21883 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/21886/task/21891/stat : 21891 (java) S 21883 21883 16605 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 225379940 15372775424 18139 33554432000 4194304 4196468 140732731819936 140509061462544 140509268252373 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33095680 140732731823110 140732731823409 140732731823409 140732731826127 0
[pid=21886/tid=21892] ppid=21883 vsize=15012476 memory=139674810422912 CPUtime=0 cores=1,3,5,7
/proc/21886/task/21892/stat : 21892 (java) S 21883 21883 16605 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 225379941 15372775424 18139 33554432000 4194304 4196468 140732731819936 140508607380080 140509268253314 0 0 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33095680 140732731823110 140732731823409 140732731823409 140732731826127 0
[pid=21886/tid=21893] ppid=21883 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/21886/task/21893/stat : 21893 (java) S 21883 21883 16605 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 225379942 15372775424 18139 33554432000 4194304 4196468 140732731819936 140507875370272 140509268252373 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33095680 140732731823110 140732731823409 140732731823409 140732731826127 0
[pid=21886/tid=21894] ppid=21883 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21886/task/21894/stat : 21894 (java) S 21883 21883 16605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225379942 15372775424 18139 33554432000 4194304 4196468 140732731819936 140507640489584 140509268252373 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33095680 140732731823110 140732731823409 140732731823409 140732731826127 0
[pid=21886/tid=21895] ppid=21883 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21886/task/21895/stat : 21895 (java) S 21883 21883 16605 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 225379944 15372775424 18139 33554432000 4194304 4196468 140732731819936 140507265981008 140509268260763 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33095680 140732731823110 140732731823409 140732731823409 140732731826127 0
[pid=21886/tid=21896] ppid=21883 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21886/task/21896/stat : 21896 (java) S 21883 21883 16605 0 -1 1077944384 295 0 0 0 0 0 0 0 20 0 15 0 225379944 15372775424 18139 33554432000 4194304 4196468 140732731819936 140508606326896 140509268253314 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33095680 140732731823110 140732731823409 140732731823409 140732731826127 0
[pid=21886/tid=21897] ppid=21883 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/21886/task/21897/stat : 21897 (java) S 21883 21883 16605 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 225379944 15372775424 18139 33554432000 4194304 4196468 140732731819936 140508605274096 140509268253314 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33095680 140732731823110 140732731823409 140732731823409 140732731826127 0
[pid=21886/tid=21898] ppid=21883 vsize=15012476 memory=139674810422912 CPUtime=0.01 cores=1,3,5,7
/proc/21886/task/21898/stat : 21898 (java) S 21883 21883 16605 0 -1 1077944384 268 0 0 0 1 0 0 0 20 0 15 0 225379944 15372775424 18139 33554432000 4194304 4196468 140732731819936 140508604221808 140509268253314 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33095680 140732731823110 140732731823409 140732731823409 140732731826127 0
[pid=21886/tid=21899] ppid=21883 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/21886/task/21899/stat : 21899 (java) S 21883 21883 16605 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 225379945 15372775424 18205 33554432000 4194304 4196468 140732731819936 140506768075232 140509268252373 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33095680 140732731823110 140732731823409 140732731823409 140732731826127 0
[pid=21886/tid=21900] ppid=21883 vsize=15012476 memory=139674810422912 CPUtime=0 cores=1,3,5,7
/proc/21886/task/21900/stat : 21900 (java) S 21883 21883 16605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225379945 15372775424 18205 33554432000 4194304 4196468 140732731819936 140508603169712 140509268253314 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33095680 140732731823110 140732731823409 140732731823409 140732731826127 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 15125604 KiB
Current children cumulated memory: 73688 KiB

[startup+0.210709 s]*
/proc/loadavg: 2.34 3.39 3.55 3/222 21900
/proc/meminfo: memFree=24098456/32770624 swapFree=67108860/67108860
[pid=21883] ppid=21880 vsize=113128 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/21883/stat : 21883 (scop.sh) S 21880 21883 16605 0 -1 4202496 559 321 0 0 0 0 0 0 20 0 1 0 225379938 115843072 349 33554432000 4194304 5098028 140722686549664 140722686546920 140638454989436 0 65536 4100 81923 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 39030784 140722686555200 140722686555399 140722686555399 140722686558157 0
/proc/21883/statm: 28282 349 296 221 0 87 0
[pid=21886] ppid=21883 vsize=15012476 memory=85644 CPUtime=0.25 cores=1,3,5,7
/proc/21886/stat : 21886 (java) S 21883 21883 16605 0 -1 1077944320 9764 0 0 0 22 3 0 0 20 0 15 0 225379938 15372775424 21411 33554432000 4194304 4196468 140732731819936 140732731802480 140509268242167 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 33095680 140732731823110 140732731823409 140732731823409 140732731826127 0
/proc/21886/statm: 3753119 21411 2898 1 0 3715579 0
[pid=21886/tid=21887] ppid=21883 vsize=15012476 memory=7022364632946311227 CPUtime=0.2 cores=1,3,5,7
/proc/21886/task/21887/stat : 21887 (java) R 21883 21883 16605 0 -1 4202560 7681 0 0 0 17 3 0 0 20 0 15 0 225379938 15372775424 21411 33554432000 4194304 4196468 140732731819936 140509240068560 140509268254102 0 4 2 16800973 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 33095680 140732731823110 140732731823409 140732731823409 140732731826127 0
[pid=21886/tid=21888] ppid=21883 vsize=15012476 memory=539 CPUtime=0 cores=1,3,5,7
/proc/21886/task/21888/stat : 21888 (java) S 21883 21883 16605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225379940 15372775424 21411 33554432000 4194304 4196468 140732731819936 140509272484240 140509268252373 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33095680 140732731823110 140732731823409 140732731823409 140732731826127 0
[pid=21886/tid=21889] ppid=21883 vsize=15012476 memory=3544529993201194656 CPUtime=0 cores=1,3,5,7
/proc/21886/task/21889/stat : 21889 (java) S 21883 21883 16605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225379940 15372775424 21411 33554432000 4194304 4196468 140732731819936 140509063567632 140509268252373 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33095680 140732731823110 140732731823409 140732731823409 140732731826127 0
[pid=21886/tid=21890] ppid=21883 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21886/task/21890/stat : 21890 (java) S 21883 21883 16605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225379940 15372775424 21411 33554432000 4194304 4196468 140732731819936 140509062515344 140509268252373 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33095680 140732731823110 140732731823409 140732731823409 140732731826127 0
[pid=21886/tid=21891] ppid=21883 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/21886/task/21891/stat : 21891 (java) S 21883 21883 16605 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 225379940 15372775424 21411 33554432000 4194304 4196468 140732731819936 140509061462544 140509268252373 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33095680 140732731823110 140732731823409 140732731823409 140732731826127 0
[pid=21886/tid=21892] ppid=21883 vsize=15012476 memory=139674810422912 CPUtime=0 cores=1,3,5,7
/proc/21886/task/21892/stat : 21892 (java) S 21883 21883 16605 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 225379941 15372775424 21411 33554432000 4194304 4196468 140732731819936 140508607380080 140509268253314 0 0 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33095680 140732731823110 140732731823409 140732731823409 140732731826127 0
[pid=21886/tid=21893] ppid=21883 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/21886/task/21893/stat : 21893 (java) S 21883 21883 16605 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 225379942 15372775424 21411 33554432000 4194304 4196468 140732731819936 140507875370272 140509268252373 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33095680 140732731823110 140732731823409 140732731823409 140732731826127 0
[pid=21886/tid=21894] ppid=21883 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21886/task/21894/stat : 21894 (java) S 21883 21883 16605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225379942 15372775424 21411 33554432000 4194304 4196468 140732731819936 140507640489584 140509268252373 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33095680 140732731823110 140732731823409 140732731823409 140732731826127 0
[pid=21886/tid=21895] ppid=21883 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21886/task/21895/stat : 21895 (java) S 21883 21883 16605 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 225379944 15372775424 21411 33554432000 4194304 4196468 140732731819936 140507265981008 140509268260763 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33095680 140732731823110 140732731823409 140732731823409 140732731826127 0
[pid=21886/tid=21896] ppid=21883 vsize=15012476 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/21886/task/21896/stat : 21896 (java) R 21883 21883 16605 0 -1 1077944384 307 0 0 0 1 0 0 0 20 0 15 0 225379944 15372775424 21411 33554432000 4194304 4196468 140732731819936 140508606326896 140509268253314 0 4 2 16800973 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 33095680 140732731823110 140732731823409 140732731823409 140732731826127 0
[pid=21886/tid=21897] ppid=21883 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/21886/task/21897/stat : 21897 (java) R 21883 21883 16605 0 -1 4202560 157 0 0 0 0 0 0 0 20 0 15 0 225379944 15372775424 21411 33554432000 4194304 4196468 140732731819936 140508605274096 140509261227209 0 4 2 16800973 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 33095680 140732731823110 140732731823409 140732731823409 140732731826127 0
[pid=21886/tid=21898] ppid=21883 vsize=15012476 memory=139674810422912 CPUtime=0.03 cores=1,3,5,7
/proc/21886/task/21898/stat : 21898 (java) R 21883 21883 16605 0 -1 4202560 290 0 0 0 3 0 0 0 20 0 15 0 225379944 15372775424 21411 33554432000 4194304 4196468 140732731819936 140508604221808 140509248213352 0 4 2 16800973 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 33095680 140732731823110 140732731823409 140732731823409 140732731826127 0
[pid=21886/tid=21899] ppid=21883 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/21886/task/21899/stat : 21899 (java) S 21883 21883 16605 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 225379945 15372775424 21411 33554432000 4194304 4196468 140732731819936 140506768075232 140509268252373 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33095680 140732731823110 140732731823409 140732731823409 140732731826127 0
[pid=21886/tid=21900] ppid=21883 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21886/task/21900/stat : 21900 (java) S 21883 21883 16605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225379945 15372775424 21411 33554432000 4194304 4196468 140732731819936 140508603169712 140509268253314 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33095680 140732731823110 140732731823409 140732731823409 140732731826127 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 15125604 KiB
Current children cumulated memory: 87040 KiB

[startup+0.310747 s]*
/proc/loadavg: 2.34 3.39 3.55 3/222 21900
/proc/meminfo: memFree=24094440/32770624 swapFree=67108860/67108860
[pid=21883] ppid=21880 vsize=113128 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/21883/stat : 21883 (scop.sh) S 21880 21883 16605 0 -1 4202496 559 321 0 0 0 0 0 0 20 0 1 0 225379938 115843072 349 33554432000 4194304 5098028 140722686549664 140722686546920 140638454989436 0 65536 4100 81923 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 39030784 140722686555200 140722686555399 140722686555399 140722686558157 0
/proc/21883/statm: 28282 349 296 221 0 87 0
[pid=21886] ppid=21883 vsize=15012476 memory=89760 CPUtime=0.42 cores=1,3,5,7
/proc/21886/stat : 21886 (java) S 21883 21883 16605 0 -1 1077944320 10380 0 0 0 39 3 0 0 20 0 15 0 225379938 15372775424 22440 33554432000 4194304 4196468 140732731819936 140732731802480 140509268242167 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 33095680 140732731823110 140732731823409 140732731823409 140732731826127 0
/proc/21886/statm: 3753119 22440 3016 1 0 3715579 0
[pid=21886/tid=21887] ppid=21883 vsize=15012476 memory=6791534058613427641 CPUtime=0.29 cores=1,3,5,7
/proc/21886/task/21887/stat : 21887 (java) R 21883 21883 16605 0 -1 4202560 8121 0 0 0 26 3 0 0 20 0 15 0 225379938 15372775424 22440 33554432000 4194304 4196468 140732731819936 140509240037168 140508732114816 0 4 2 16800973 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 33095680 140732731823110 140732731823409 140732731823409 140732731826127 0
[pid=21886/tid=21888] ppid=21883 vsize=15012476 memory=4872558044660077418 CPUtime=0 cores=1,3,5,7
/proc/21886/task/21888/stat : 21888 (java) S 21883 21883 16605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225379940 15372775424 22440 33554432000 4194304 4196468 140732731819936 140509272484240 140509268252373 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33095680 140732731823110 140732731823409 140732731823409 140732731826127 0
[pid=21886/tid=21889] ppid=21883 vsize=15012476 memory=-3258418265892434876 CPUtime=0 cores=1,3,5,7
/proc/21886/task/21889/stat : 21889 (java) S 21883 21883 16605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225379940 15372775424 22440 33554432000 4194304 4196468 140732731819936 140509063567632 140509268252373 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33095680 140732731823110 140732731823409 140732731823409 140732731826127 0
[pid=21886/tid=21890] ppid=21883 vsize=15012476 memory=4572146066226452084 CPUtime=0 cores=1,3,5,7
/proc/21886/task/21890/stat : 21890 (java) S 21883 21883 16605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225379940 15372775424 22440 33554432000 4194304 4196468 140732731819936 140509062515344 140509268252373 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33095680 140732731823110 140732731823409 140732731823409 140732731826127 0
[pid=21886/tid=21891] ppid=21883 vsize=15012476 memory=6944613755495348631 CPUtime=0 cores=1,3,5,7
/proc/21886/task/21891/stat : 21891 (java) S 21883 21883 16605 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 225379940 15372775424 22440 33554432000 4194304 4196468 140732731819936 140509061462544 140509268252373 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33095680 140732731823110 140732731823409 140732731823409 140732731826127 0
[pid=21886/tid=21892] ppid=21883 vsize=15012476 memory=7893295687695687954 CPUtime=0 cores=1,3,5,7
/proc/21886/task/21892/stat : 21892 (java) S 21883 21883 16605 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 225379941 15372775424 22440 33554432000 4194304 4196468 140732731819936 140508607380080 140509268253314 0 0 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33095680 140732731823110 140732731823409 140732731823409 140732731826127 0
[pid=21886/tid=21893] ppid=21883 vsize=15012476 memory=-8813974798734826869 CPUtime=0 cores=1,3,5,7
/proc/21886/task/21893/stat : 21893 (java) S 21883 21883 16605 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 225379942 15372775424 22440 33554432000 4194304 4196468 140732731819936 140507875370272 140509268252373 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33095680 140732731823110 140732731823409 140732731823409 140732731826127 0
[pid=21886/tid=21894] ppid=21883 vsize=15012476 memory=7827413994055111515 CPUtime=0 cores=1,3,5,7
/proc/21886/task/21894/stat : 21894 (java) S 21883 21883 16605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225379942 15372775424 22440 33554432000 4194304 4196468 140732731819936 140507640489584 140509268252373 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33095680 140732731823110 140732731823409 140732731823409 140732731826127 0
[pid=21886/tid=21895] ppid=21883 vsize=15012476 memory=8508281356422055839 CPUtime=0 cores=1,3,5,7
/proc/21886/task/21895/stat : 21895 (java) S 21883 21883 16605 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 225379944 15372775424 22440 33554432000 4194304 4196468 140732731819936 140507265981008 140509268260763 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33095680 140732731823110 140732731823409 140732731823409 140732731826127 0
[pid=21886/tid=21896] ppid=21883 vsize=15012476 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/21886/task/21896/stat : 21896 (java) R 21883 21883 16605 0 -1 1077944384 402 0 0 0 2 0 0 0 20 0 15 0 225379944 15372775424 22440 33554432000 4194304 4196468 140732731819936 140508606326896 140509268253314 0 4 2 16800973 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 33095680 140732731823110 140732731823409 140732731823409 140732731826127 0
[pid=21886/tid=21897] ppid=21883 vsize=15012476 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/21886/task/21897/stat : 21897 (java) R 21883 21883 16605 0 -1 4202560 203 0 0 0 2 0 0 0 20 0 15 0 225379944 15372775424 22440 33554432000 4194304 4196468 140732731819936 140508605274096 140509261063035 0 4 2 16800973 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 33095680 140732731823110 140732731823409 140732731823409 140732731826127 0
[pid=21886/tid=21898] ppid=21883 vsize=15012476 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/21886/task/21898/stat : 21898 (java) R 21883 21883 16605 0 -1 4202560 323 0 0 0 7 0 0 0 20 0 15 0 225379944 15372775424 22440 33554432000 4194304 4196468 140732731819936 140508604221808 140509268256016 0 4 2 16800973 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 33095680 140732731823110 140732731823409 140732731823409 140732731826127 0
[pid=21886/tid=21899] ppid=21883 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21886/task/21899/stat : 21899 (java) S 21883 21883 16605 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 225379945 15372775424 22440 33554432000 4194304 4196468 140732731819936 140506768075232 140509268252373 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33095680 140732731823110 140732731823409 140732731823409 140732731826127 0
[pid=21886/tid=21900] ppid=21883 vsize=15012476 memory=3905244507057233969 CPUtime=0 cores=1,3,5,7
/proc/21886/task/21900/stat : 21900 (java) S 21883 21883 16605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225379945 15372775424 22440 33554432000 4194304 4196468 140732731819936 140508603169712 140509268253314 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33095680 140732731823110 140732731823409 140732731823409 140732731826127 0
Current children cumulated CPU time: 0.42 s
Current children cumulated vsize: 15125604 KiB
Current children cumulated memory: 91156 KiB

[startup+0.703238 s]
/proc/loadavg: 2.34 3.39 3.55 3/222 21900
/proc/meminfo: memFree=24069884/32770624 swapFree=67108860/67108860
[pid=21883] ppid=21880 vsize=113128 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/21883/stat : 21883 (scop.sh) S 21880 21883 16605 0 -1 4202496 559 321 0 0 0 0 0 0 20 0 1 0 225379938 115843072 349 33554432000 4194304 5098028 140722686549664 140722686546920 140638454989436 0 65536 4100 81923 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 39030784 140722686555200 140722686555399 140722686555399 140722686558157 0
/proc/21883/statm: 28282 349 296 221 0 87 0
[pid=21886] ppid=21883 vsize=15020872 memory=129848 CPUtime=1.02 cores=1,3,5,7
/proc/21886/stat : 21886 (java) S 21883 21883 16605 0 -1 1077944320 17602 0 0 0 95 7 0 0 20 0 15 0 225379938 15381372928 32462 33554432000 4194304 4196468 140732731819936 140732731802480 140509268242167 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 33095680 140732731823110 140732731823409 140732731823409 140732731826127 0
/proc/21886/statm: 3755218 32462 3147 1 0 3716603 0
[pid=21886/tid=21887] ppid=21883 vsize=15020872 memory=-7816663703405220396 CPUtime=0.67 cores=1,3,5,7
/proc/21886/task/21887/stat : 21887 (java) R 21883 21883 16605 0 -1 4202560 14875 0 0 0 61 6 0 0 20 0 15 0 225379938 15381372928 32462 33554432000 4194304 4196468 140732731819936 140509240075904 140509252322654 0 4 2 25189581 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 33095680 140732731823110 140732731823409 140732731823409 140732731826127 0
[pid=21886/tid=21888] ppid=21883 vsize=15020872 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21886/task/21888/stat : 21888 (java) S 21883 21883 16605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225379940 15381372928 32462 33554432000 4194304 4196468 140732731819936 140509272484240 140509268252373 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33095680 140732731823110 140732731823409 140732731823409 140732731826127 0
[pid=21886/tid=21889] ppid=21883 vsize=15020872 memory=61332 CPUtime=0 cores=1,3,5,7
/proc/21886/task/21889/stat : 21889 (java) S 21883 21883 16605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225379940 15381372928 32462 33554432000 4194304 4196468 140732731819936 140509063567632 140509268252373 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33095680 140732731823110 140732731823409 140732731823409 140732731826127 0
[pid=21886/tid=21890] ppid=21883 vsize=15020872 memory=1064 CPUtime=0 cores=1,3,5,7
/proc/21886/task/21890/stat : 21890 (java) S 21883 21883 16605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225379940 15381372928 32462 33554432000 4194304 4196468 140732731819936 140509062515344 140509268252373 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33095680 140732731823110 140732731823409 140732731823409 140732731826127 0
[pid=21886/tid=21891] ppid=21883 vsize=15020872 memory=2072 CPUtime=0 cores=1,3,5,7
/proc/21886/task/21891/stat : 21891 (java) S 21883 21883 16605 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 225379940 15381372928 32462 33554432000 4194304 4196468 140732731819936 140509061462544 140509268252373 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33095680 140732731823110 140732731823409 140732731823409 140732731826127 0
[pid=21886/tid=21892] ppid=21883 vsize=15020872 memory=1740 CPUtime=0 cores=1,3,5,7
/proc/21886/task/21892/stat : 21892 (java) S 21883 21883 16605 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 225379941 15381372928 32462 33554432000 4194304 4196468 140732731819936 140508607380080 140509268253314 0 0 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33095680 140732731823110 140732731823409 140732731823409 140732731826127 0
[pid=21886/tid=21893] ppid=21883 vsize=15020872 memory=11192 CPUtime=0 cores=1,3,5,7
/proc/21886/task/21893/stat : 21893 (java) S 21883 21883 16605 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 225379942 15381372928 32462 33554432000 4194304 4196468 140732731819936 140507875370272 140509268252373 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33095680 140732731823110 140732731823409 140732731823409 140732731826127 0
[pid=21886/tid=21894] ppid=21883 vsize=15020872 memory=752 CPUtime=0 cores=1,3,5,7
/proc/21886/task/21894/stat : 21894 (java) S 21883 21883 16605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225379942 15381372928 32462 33554432000 4194304 4196468 140732731819936 140507640489584 140509268252373 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33095680 140732731823110 140732731823409 140732731823409 140732731826127 0
[pid=21886/tid=21895] ppid=21883 vsize=15020872 memory=1828 CPUtime=0 cores=1,3,5,7
/proc/21886/task/21895/stat : 21895 (java) S 21883 21883 16605 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 225379944 15381372928 32462 33554432000 4194304 4196468 140732731819936 140507265981008 140509268260763 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33095680 140732731823110 140732731823409 140732731823409 140732731826127 0
[pid=21886/tid=21896] ppid=21883 vsize=15020872 memory=1120 CPUtime=0.07 cores=1,3,5,7
/proc/21886/task/21896/stat : 21896 (java) R 21883 21883 16605 0 -1 4202560 475 0 0 0 7 0 0 0 20 0 15 0 225379944 15381372928 32462 33554432000 4194304 4196468 140732731819936 140508606307912 140509252765781 0 4 2 25189581 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 33095680 140732731823110 140732731823409 140732731823409 140732731826127 0
[pid=21886/tid=21897] ppid=21883 vsize=15020872 memory=6120 CPUtime=0.09 cores=1,3,5,7
/proc/21886/task/21897/stat : 21897 (java) R 21883 21883 16605 0 -1 4202560 447 0 0 0 9 0 0 0 20 0 15 0 225379944 15381372928 32462 33554432000 4194304 4196468 140732731819936 140508605251760 140509253349842 0 4 2 25189581 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 33095680 140732731823110 140732731823409 140732731823409 140732731826127 0
[pid=21886/tid=21898] ppid=21883 vsize=15020872 memory=1724 CPUtime=0.16 cores=1,3,5,7
/proc/21886/task/21898/stat : 21898 (java) S 21883 21883 16605 0 -1 1077944384 472 0 0 0 16 0 0 0 20 0 15 0 225379944 15381372928 32462 33554432000 4194304 4196468 140732731819936 140508604221808 140509268253314 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33095680 140732731823110 140732731823409 140732731823409 140732731826127 0
[pid=21886/tid=21899] ppid=21883 vsize=15020872 memory=4004 CPUtime=0 cores=1,3,5,7
/proc/21886/task/21899/stat : 21899 (java) S 21883 21883 16605 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 225379945 15381372928 32462 33554432000 4194304 4196468 140732731819936 140506768075232 140509268252373 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33095680 140732731823110 140732731823409 140732731823409 140732731826127 0
[pid=21886/tid=21900] ppid=21883 vsize=15020872 memory=3516 CPUtime=0 cores=1,3,5,7
/proc/21886/task/21900/stat : 21900 (java) S 21883 21883 16605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225379945 15381372928 32462 33554432000 4194304 4196468 140732731819936 140508603169712 140509268253314 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33095680 140732731823110 140732731823409 140732731823409 140732731826127 0
Current children cumulated CPU time: 1.02 s
Current children cumulated vsize: 15134000 KiB
Current children cumulated memory: 131244 KiB

[startup+1.50128 s]
/proc/loadavg: 2.34 3.39 3.55 4/222 21900
/proc/meminfo: memFree=24034280/32770624 swapFree=67108860/67108860
[pid=21883] ppid=21880 vsize=113128 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/21883/stat : 21883 (scop.sh) S 21880 21883 16605 0 -1 4202496 559 321 0 0 0 0 0 0 20 0 1 0 225379938 115843072 349 33554432000 4194304 5098028 140722686549664 140722686546920 140638454989436 0 65536 4100 81923 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 39030784 140722686555200 140722686555399 140722686555399 140722686558157 0
/proc/21883/statm: 28282 349 296 221 0 87 0

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

[pid=21910/tid=21913] ppid=21883 vsize=8068220 memory=1472 CPUtime=0 cores=1,3,5,7
/proc/21910/task/21913/stat : 21913 (java) S 21883 21883 16605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 225390015 8261857280 29480 33554432000 4194304 4196468 140728170482816 140262880160016 140263395100373 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22822912 140728170489013 140728170489137 140728170489137 140728170491855 0
[pid=21910/tid=21914] ppid=21883 vsize=8068220 memory=117920 CPUtime=0 cores=1,3,5,7
/proc/21910/task/21914/stat : 21914 (java) S 21883 21883 16605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 225390015 8261857280 29480 33554432000 4194304 4196468 140728170482816 140262879107728 140263395100373 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22822912 140728170489013 140728170489137 140728170489137 140728170491855 0
[pid=21910/tid=21915] ppid=21883 vsize=8068220 memory=121540 CPUtime=0 cores=1,3,5,7
/proc/21910/task/21915/stat : 21915 (java) S 21883 21883 16605 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 225390015 8261857280 29480 33554432000 4194304 4196468 140728170482816 140262878054928 140263395100373 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22822912 140728170489013 140728170489137 140728170489137 140728170491855 0
[pid=21910/tid=21916] ppid=21883 vsize=8068220 memory=1408 CPUtime=0.05 cores=1,3,5,7
/proc/21910/task/21916/stat : 21916 (java) S 21883 21883 16605 0 -1 1077944384 5 0 0 0 2 3 0 0 20 0 19 0 225390017 8261857280 29480 33554432000 4194304 4196468 140728170482816 140262841498224 140263395101314 0 0 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22822912 140728170489013 140728170489137 140728170489137 140728170491855 0
[pid=21910/tid=21917] ppid=21883 vsize=8068220 memory=3316 CPUtime=0 cores=1,3,5,7
/proc/21910/task/21917/stat : 21917 (java) S 21883 21883 16605 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 225390017 8261857280 29480 33554432000 4194304 4196468 140728170482816 140262290482464 140263395100373 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22822912 140728170489013 140728170489137 140728170489137 140728170491855 0
[pid=21910/tid=21918] ppid=21883 vsize=8068220 memory=117920 CPUtime=0 cores=1,3,5,7
/proc/21910/task/21918/stat : 21918 (java) S 21883 21883 16605 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 19 0 225390017 8261857280 29480 33554432000 4194304 4196468 140728170482816 140262156260976 140263395100373 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22822912 140728170489013 140728170489137 140728170489137 140728170491855 0
[pid=21910/tid=21919] ppid=21883 vsize=8068220 memory=153576 CPUtime=0 cores=1,3,5,7
/proc/21910/task/21919/stat : 21919 (java) S 21883 21883 16605 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 225390020 8261857280 29480 33554432000 4194304 4196468 140728170482816 140261781756496 140263395108763 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22822912 140728170489013 140728170489137 140728170489137 140728170491855 0
[pid=21910/tid=21920] ppid=21883 vsize=8068220 memory=0 CPUtime=0.16 cores=1,3,5,7
/proc/21910/task/21920/stat : 21920 (java) S 21883 21883 16605 0 -1 1077944384 755 0 0 0 16 0 0 0 20 0 19 0 225390020 8261857280 29480 33554432000 4194304 4196468 140728170482816 140262840445040 140263395101314 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22822912 140728170489013 140728170489137 140728170489137 140728170491855 0
[pid=21910/tid=21921] ppid=21883 vsize=8068220 memory=0 CPUtime=0.16 cores=1,3,5,7
/proc/21910/task/21921/stat : 21921 (java) S 21883 21883 16605 0 -1 1077944384 639 0 0 0 16 0 0 0 20 0 19 0 225390020 8261857280 29480 33554432000 4194304 4196468 140728170482816 140262839392240 140263395101314 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22822912 140728170489013 140728170489137 140728170489137 140728170491855 0
[pid=21910/tid=21922] ppid=21883 vsize=8068220 memory=1472 CPUtime=0.22 cores=1,3,5,7
/proc/21910/task/21922/stat : 21922 (java) S 21883 21883 16605 0 -1 1077944384 833 0 0 0 22 0 0 0 20 0 19 0 225390020 8261857280 29480 33554432000 4194304 4196468 140728170482816 140262838339952 140263395101314 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22822912 140728170489013 140728170489137 140728170489137 140728170491855 0
[pid=21910/tid=21923] ppid=21883 vsize=8068220 memory=117920 CPUtime=0 cores=1,3,5,7
/proc/21910/task/21923/stat : 21923 (java) S 21883 21883 16605 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 225390020 8261857280 29480 33554432000 4194304 4196468 140728170482816 140261283850720 140263395100373 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22822912 140728170489013 140728170489137 140728170489137 140728170491855 0
[pid=21910/tid=21924] ppid=21883 vsize=8068220 memory=159720 CPUtime=1.41 cores=1,3,5,7
/proc/21910/task/21924/stat : 21924 (java) S 21883 21883 16605 0 -1 1077944384 153 0 0 0 63 78 0 0 20 0 19 0 225390020 8261857280 29480 33554432000 4194304 4196468 140728170482816 140262837287856 140263395101314 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22822912 140728170489013 140728170489137 140728170489137 140728170491855 0
[pid=21910/tid=21926] ppid=21883 vsize=8068220 memory=117920 CPUtime=0 cores=1,3,5,7
/proc/21910/task/21926/stat : 21926 (java) S 21883 21883 16605 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 225390090 8261857280 29480 33554432000 4194304 4196468 140728170482816 140262829479360 140263395114777 0 4 2 25189581 18446744071579417331 0 0 -1 7 0 0 0 0 0 6293624 6294260 22822912 140728170489013 140728170489137 140728170489137 140728170491855 0
[pid=21910/tid=21928] ppid=21883 vsize=8068220 memory=1472 CPUtime=0 cores=1,3,5,7
/proc/21910/task/21928/stat : 21928 (java) S 21883 21883 16605 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 225390091 8261857280 29480 33554432000 4194304 4196468 140728170482816 140260746969136 140263395112093 0 4 2 25189581 18446744071580971376 0 0 -1 7 0 0 0 0 0 6293624 6294260 22822912 140728170489013 140728170489137 140728170489137 140728170491855 0
[pid=21910/tid=21929] ppid=21883 vsize=8068220 memory=3712 CPUtime=0 cores=1,3,5,7
/proc/21910/task/21929/stat : 21929 (java) S 21883 21883 16605 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 225390091 8261857280 29480 33554432000 4194304 4196468 140728170482816 140260478533040 140263395112093 0 4 2 25189581 18446744071580971376 0 0 -1 5 0 0 0 0 0 6293624 6294260 22822912 140728170489013 140728170489137 140728170489137 140728170491855 0
[pid=21910/tid=21930] ppid=21883 vsize=8068220 memory=61396 CPUtime=0 cores=1,3,5,7
/proc/21910/task/21930/stat : 21930 (java) S 21883 21883 16605 0 -1 1077944384 28 0 0 0 0 0 0 0 20 0 19 0 225390093 8261857280 29480 33554432000 4194304 4196468 140728170482816 140261015411616 140263395100373 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22822912 140728170489013 140728170489137 140728170489137 140728170491855 0
Current children cumulated CPU time: 2405.89 s
Current children cumulated vsize: 8369064 KiB
Current children cumulated memory: 279112 KiB

[startup+2442.3 s]
/proc/loadavg: 2.04 2.03 2.13 3/228 22129
/proc/meminfo: memFree=24425788/32770624 swapFree=67108860/67108860
[pid=21883] ppid=21880 vsize=113128 memory=1472 CPUtime=122.17 cores=1,3,5,7
/proc/21883/stat : 21883 (scop.sh) S 21880 21883 16605 0 -1 4202496 590 70781 0 0 0 0 11977 240 20 0 1 0 225379938 115843072 368 33554432000 4194304 5098028 140722686549664 140722686546408 140638454989436 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 39030784 140722686555200 140722686555399 140722686555399 140722686558157 0
/proc/21883/statm: 28282 368 311 221 0 87 0
[pid=21910] ppid=21883 vsize=8068220 memory=117920 CPUtime=2.89 cores=1,3,5,7
/proc/21910/stat : 21910 (java) S 21883 21883 16605 0 -1 1077944320 19402 0 0 0 201 88 0 0 20 0 19 0 225390013 8261857280 29480 33554432000 4194304 4196468 140728170482816 140728170465360 140263395090167 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 22822912 140728170489013 140728170489137 140728170489137 140728170491855 0
/proc/21910/statm: 2017055 29480 3140 1 0 1978454 0
[pid=21925] ppid=21910 vsize=187716 memory=159784 CPUtime=2340.89 cores=1,3,5,7
/proc/21925/stat : 21925 (minisat_release) R 21910 21883 16605 0 -1 4202496 434918 0 0 0 234010 79 0 0 20 0 1 0 225390090 192221184 39946 33554432000 4194304 4308513 140721232380160 140721232377064 4276465 0 4 0 8396802 0 0 0 17 3 0 0 0 0 0 6409496 6410680 10952704 140721232389236 140721232389334 140721232389334 140721232392133 0
/proc/21925/statm: 46929 39946 340 28 0 43169 0
[pid=21910/tid=21911] ppid=21883 vsize=8068220 memory=117920 CPUtime=0.79 cores=1,3,5,7
/proc/21910/task/21911/stat : 21911 (java) S 21883 21883 16605 0 -1 1077944384 15601 0 0 0 73 6 0 0 20 0 19 0 225390014 8261857280 29480 33554432000 4194304 4196468 140728170482816 140263366930320 140263395100373 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22822912 140728170489013 140728170489137 140728170489137 140728170491855 0
[pid=21910/tid=21912] ppid=21883 vsize=8068220 memory=1472 CPUtime=0 cores=1,3,5,7
/proc/21910/task/21912/stat : 21912 (java) S 21883 21883 16605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 225390015 8261857280 29480 33554432000 4194304 4196468 140728170482816 140263399332240 140263395100373 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22822912 140728170489013 140728170489137 140728170489137 140728170491855 0
[pid=21910/tid=21913] ppid=21883 vsize=8068220 memory=157736 CPUtime=0 cores=1,3,5,7
/proc/21910/task/21913/stat : 21913 (java) S 21883 21883 16605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 225390015 8261857280 29480 33554432000 4194304 4196468 140728170482816 140262880160016 140263395100373 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22822912 140728170489013 140728170489137 140728170489137 140728170491855 0
[pid=21910/tid=21914] ppid=21883 vsize=8068220 memory=1472 CPUtime=0 cores=1,3,5,7
/proc/21910/task/21914/stat : 21914 (java) S 21883 21883 16605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 225390015 8261857280 29480 33554432000 4194304 4196468 140728170482816 140262879107728 140263395100373 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22822912 140728170489013 140728170489137 140728170489137 140728170491855 0
[pid=21910/tid=21915] ppid=21883 vsize=8068220 memory=1472 CPUtime=0 cores=1,3,5,7
/proc/21910/task/21915/stat : 21915 (java) S 21883 21883 16605 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 225390015 8261857280 29480 33554432000 4194304 4196468 140728170482816 140262878054928 140263395100373 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22822912 140728170489013 140728170489137 140728170489137 140728170491855 0
[pid=21910/tid=21916] ppid=21883 vsize=8068220 memory=1472 CPUtime=0.05 cores=1,3,5,7
/proc/21910/task/21916/stat : 21916 (java) S 21883 21883 16605 0 -1 1077944384 5 0 0 0 2 3 0 0 20 0 19 0 225390017 8261857280 29480 33554432000 4194304 4196468 140728170482816 140262841498224 140263395101314 0 0 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22822912 140728170489013 140728170489137 140728170489137 140728170491855 0
[pid=21910/tid=21917] ppid=21883 vsize=8068220 memory=117920 CPUtime=0 cores=1,3,5,7
/proc/21910/task/21917/stat : 21917 (java) S 21883 21883 16605 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 225390017 8261857280 29480 33554432000 4194304 4196468 140728170482816 140262290482464 140263395100373 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22822912 140728170489013 140728170489137 140728170489137 140728170491855 0
[pid=21910/tid=21918] ppid=21883 vsize=8068220 memory=1472 CPUtime=0 cores=1,3,5,7
/proc/21910/task/21918/stat : 21918 (java) S 21883 21883 16605 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 19 0 225390017 8261857280 29480 33554432000 4194304 4196468 140728170482816 140262156260976 140263395100373 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22822912 140728170489013 140728170489137 140728170489137 140728170491855 0
[pid=21910/tid=21919] ppid=21883 vsize=8068220 memory=117920 CPUtime=0 cores=1,3,5,7
/proc/21910/task/21919/stat : 21919 (java) S 21883 21883 16605 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 225390020 8261857280 29480 33554432000 4194304 4196468 140728170482816 140261781756496 140263395108763 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22822912 140728170489013 140728170489137 140728170489137 140728170491855 0
[pid=21910/tid=21920] ppid=21883 vsize=8068220 memory=1472 CPUtime=0.16 cores=1,3,5,7
/proc/21910/task/21920/stat : 21920 (java) S 21883 21883 16605 0 -1 1077944384 755 0 0 0 16 0 0 0 20 0 19 0 225390020 8261857280 29480 33554432000 4194304 4196468 140728170482816 140262840445040 140263395101314 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22822912 140728170489013 140728170489137 140728170489137 140728170491855 0
[pid=21910/tid=21921] ppid=21883 vsize=8068220 memory=117920 CPUtime=0.16 cores=1,3,5,7
/proc/21910/task/21921/stat : 21921 (java) S 21883 21883 16605 0 -1 1077944384 639 0 0 0 16 0 0 0 20 0 19 0 225390020 8261857280 29480 33554432000 4194304 4196468 140728170482816 140262839392240 140263395101314 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22822912 140728170489013 140728170489137 140728170489137 140728170491855 0
[pid=21910/tid=21922] ppid=21883 vsize=8068220 memory=155620 CPUtime=0.22 cores=1,3,5,7
/proc/21910/task/21922/stat : 21922 (java) S 21883 21883 16605 0 -1 1077944384 833 0 0 0 22 0 0 0 20 0 19 0 225390020 8261857280 29480 33554432000 4194304 4196468 140728170482816 140262838339952 140263395101314 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22822912 140728170489013 140728170489137 140728170489137 140728170491855 0
[pid=21910/tid=21923] ppid=21883 vsize=8068220 memory=504 CPUtime=0 cores=1,3,5,7
/proc/21910/task/21923/stat : 21923 (java) S 21883 21883 16605 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 225390020 8261857280 29480 33554432000 4194304 4196468 140728170482816 140261283850720 140263395100373 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22822912 140728170489013 140728170489137 140728170489137 140728170491855 0
[pid=21910/tid=21924] ppid=21883 vsize=8068220 memory=924 CPUtime=1.44 cores=1,3,5,7
/proc/21910/task/21924/stat : 21924 (java) S 21883 21883 16605 0 -1 1077944384 157 0 0 0 64 80 0 0 20 0 19 0 225390020 8261857280 29480 33554432000 4194304 4196468 140728170482816 140262837287856 140263395101314 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22822912 140728170489013 140728170489137 140728170489137 140728170491855 0
[pid=21910/tid=21926] ppid=21883 vsize=8068220 memory=1472 CPUtime=0 cores=1,3,5,7
/proc/21910/task/21926/stat : 21926 (java) S 21883 21883 16605 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 225390090 8261857280 29480 33554432000 4194304 4196468 140728170482816 140262829479360 140263395114777 0 4 2 25189581 18446744071579417331 0 0 -1 7 0 0 0 0 0 6293624 6294260 22822912 140728170489013 140728170489137 140728170489137 140728170491855 0
[pid=21910/tid=21928] ppid=21883 vsize=8068220 memory=1472 CPUtime=0 cores=1,3,5,7
/proc/21910/task/21928/stat : 21928 (java) S 21883 21883 16605 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 225390091 8261857280 29480 33554432000 4194304 4196468 140728170482816 140260746969136 140263395112093 0 4 2 25189581 18446744071580971376 0 0 -1 7 0 0 0 0 0 6293624 6294260 22822912 140728170489013 140728170489137 140728170489137 140728170491855 0
[pid=21910/tid=21929] ppid=21883 vsize=8068220 memory=1472 CPUtime=0 cores=1,3,5,7
/proc/21910/task/21929/stat : 21929 (java) S 21883 21883 16605 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 225390091 8261857280 29480 33554432000 4194304 4196468 140728170482816 140260478533040 140263395112093 0 4 2 25189581 18446744071580971376 0 0 -1 5 0 0 0 0 0 6293624 6294260 22822912 140728170489013 140728170489137 140728170489137 140728170491855 0
[pid=21910/tid=21930] ppid=21883 vsize=8068220 memory=117920 CPUtime=0 cores=1,3,5,7
/proc/21910/task/21930/stat : 21930 (java) S 21883 21883 16605 0 -1 1077944384 28 0 0 0 0 0 0 0 20 0 19 0 225390093 8261857280 29480 33554432000 4194304 4196468 140728170482816 140261015411616 140263395100373 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22822912 140728170489013 140728170489137 140728170489137 140728170491855 0
Current children cumulated CPU time: 2465.95 s
Current children cumulated vsize: 8369064 KiB
Current children cumulated memory: 279176 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2496.4 s]
/proc/loadavg: 2.02 2.02 2.13 3/228 22129
/proc/meminfo: memFree=24430408/32770624 swapFree=67108860/67108860
[pid=21883] ppid=21880 vsize=113128 memory=1472 CPUtime=122.17 cores=1,3,5,7
/proc/21883/stat : 21883 (scop.sh) S 21880 21883 16605 0 -1 4202496 590 70781 0 0 0 0 11977 240 20 0 1 0 225379938 115843072 368 33554432000 4194304 5098028 140722686549664 140722686546408 140638454989436 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 39030784 140722686555200 140722686555399 140722686555399 140722686558157 0
/proc/21883/statm: 28282 368 311 221 0 87 0
[pid=21910] ppid=21883 vsize=8068220 memory=117920 CPUtime=2.92 cores=1,3,5,7
/proc/21910/stat : 21910 (java) S 21883 21883 16605 0 -1 1077944320 19406 0 0 0 203 89 0 0 20 0 19 0 225390013 8261857280 29480 33554432000 4194304 4196468 140728170482816 140728170465360 140263395090167 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 22822912 140728170489013 140728170489137 140728170489137 140728170491855 0
/proc/21910/statm: 2017055 29480 3140 1 0 1978454 0
[pid=21925] ppid=21910 vsize=187716 memory=159720 CPUtime=2394.99 cores=1,3,5,7
/proc/21925/stat : 21925 (minisat_release) R 21910 21883 16605 0 -1 4202496 437307 0 0 0 239419 80 0 0 20 0 1 0 225390090 192221184 39930 33554432000 4194304 4308513 140721232380160 140721232377064 4251505 0 4 0 8396802 0 0 0 17 3 0 0 0 0 0 6409496 6410680 10952704 140721232389236 140721232389334 140721232389334 140721232392133 0
/proc/21925/statm: 46929 39930 340 28 0 43169 0
[pid=21910/tid=21911] ppid=21883 vsize=8068220 memory=1620 CPUtime=0.79 cores=1,3,5,7
/proc/21910/task/21911/stat : 21911 (java) S 21883 21883 16605 0 -1 1077944384 15601 0 0 0 73 6 0 0 20 0 19 0 225390014 8261857280 29480 33554432000 4194304 4196468 140728170482816 140263366930320 140263395100373 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22822912 140728170489013 140728170489137 140728170489137 140728170491855 0
[pid=21910/tid=21912] ppid=21883 vsize=8068220 memory=504 CPUtime=0 cores=1,3,5,7
/proc/21910/task/21912/stat : 21912 (java) S 21883 21883 16605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 225390015 8261857280 29480 33554432000 4194304 4196468 140728170482816 140263399332240 140263395100373 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22822912 140728170489013 140728170489137 140728170489137 140728170491855 0
[pid=21910/tid=21913] ppid=21883 vsize=8068220 memory=924 CPUtime=0 cores=1,3,5,7
/proc/21910/task/21913/stat : 21913 (java) S 21883 21883 16605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 225390015 8261857280 29480 33554432000 4194304 4196468 140728170482816 140262880160016 140263395100373 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22822912 140728170489013 140728170489137 140728170489137 140728170491855 0
[pid=21910/tid=21914] ppid=21883 vsize=8068220 memory=1472 CPUtime=0 cores=1,3,5,7
/proc/21910/task/21914/stat : 21914 (java) S 21883 21883 16605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 225390015 8261857280 29480 33554432000 4194304 4196468 140728170482816 140262879107728 140263395100373 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22822912 140728170489013 140728170489137 140728170489137 140728170491855 0
[pid=21910/tid=21915] ppid=21883 vsize=8068220 memory=117920 CPUtime=0 cores=1,3,5,7
/proc/21910/task/21915/stat : 21915 (java) S 21883 21883 16605 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 225390015 8261857280 29480 33554432000 4194304 4196468 140728170482816 140262878054928 140263395100373 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22822912 140728170489013 140728170489137 140728170489137 140728170491855 0
[pid=21910/tid=21916] ppid=21883 vsize=8068220 memory=159720 CPUtime=0.05 cores=1,3,5,7
/proc/21910/task/21916/stat : 21916 (java) S 21883 21883 16605 0 -1 1077944384 5 0 0 0 2 3 0 0 20 0 19 0 225390017 8261857280 29480 33554432000 4194304 4196468 140728170482816 140262841498224 140263395101314 0 0 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22822912 140728170489013 140728170489137 140728170489137 140728170491855 0
[pid=21910/tid=21917] ppid=21883 vsize=8068220 memory=117920 CPUtime=0 cores=1,3,5,7
/proc/21910/task/21917/stat : 21917 (java) S 21883 21883 16605 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 225390017 8261857280 29480 33554432000 4194304 4196468 140728170482816 140262290482464 140263395100373 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22822912 140728170489013 140728170489137 140728170489137 140728170491855 0
[pid=21910/tid=21918] ppid=21883 vsize=8068220 memory=159720 CPUtime=0 cores=1,3,5,7
/proc/21910/task/21918/stat : 21918 (java) S 21883 21883 16605 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 19 0 225390017 8261857280 29480 33554432000 4194304 4196468 140728170482816 140262156260976 140263395100373 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22822912 140728170489013 140728170489137 140728170489137 140728170491855 0
[pid=21910/tid=21919] ppid=21883 vsize=8068220 memory=-7824251494390848619 CPUtime=0 cores=1,3,5,7
/proc/21910/task/21919/stat : 21919 (java) S 21883 21883 16605 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 225390020 8261857280 29480 33554432000 4194304 4196468 140728170482816 140261781756496 140263395108763 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22822912 140728170489013 140728170489137 140728170489137 140728170491855 0
[pid=21910/tid=21920] ppid=21883 vsize=8068220 memory=4872558044660077418 CPUtime=0.16 cores=1,3,5,7
/proc/21910/task/21920/stat : 21920 (java) S 21883 21883 16605 0 -1 1077944384 755 0 0 0 16 0 0 0 20 0 19 0 225390020 8261857280 29480 33554432000 4194304 4196468 140728170482816 140262840445040 140263395101314 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22822912 140728170489013 140728170489137 140728170489137 140728170491855 0
[pid=21910/tid=21921] ppid=21883 vsize=8068220 memory=1408 CPUtime=0.16 cores=1,3,5,7
/proc/21910/task/21921/stat : 21921 (java) S 21883 21883 16605 0 -1 1077944384 639 0 0 0 16 0 0 0 20 0 19 0 225390020 8261857280 29480 33554432000 4194304 4196468 140728170482816 140262839392240 140263395101314 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22822912 140728170489013 140728170489137 140728170489137 140728170491855 0
[pid=21910/tid=21922] ppid=21883 vsize=8068220 memory=117920 CPUtime=0.22 cores=1,3,5,7
/proc/21910/task/21922/stat : 21922 (java) S 21883 21883 16605 0 -1 1077944384 833 0 0 0 22 0 0 0 20 0 19 0 225390020 8261857280 29480 33554432000 4194304 4196468 140728170482816 140262838339952 140263395101314 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22822912 140728170489013 140728170489137 140728170489137 140728170491855 0
[pid=21910/tid=21923] ppid=21883 vsize=8068220 memory=1472 CPUtime=0 cores=1,3,5,7
/proc/21910/task/21923/stat : 21923 (java) S 21883 21883 16605 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 225390020 8261857280 29480 33554432000 4194304 4196468 140728170482816 140261283850720 140263395100373 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22822912 140728170489013 140728170489137 140728170489137 140728170491855 0
[pid=21910/tid=21924] ppid=21883 vsize=8068220 memory=3312 CPUtime=1.48 cores=1,3,5,7
/proc/21910/task/21924/stat : 21924 (java) S 21883 21883 16605 0 -1 1077944384 161 0 0 0 66 82 0 0 20 0 19 0 225390020 8261857280 29480 33554432000 4194304 4196468 140728170482816 140262837287856 140263395101314 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22822912 140728170489013 140728170489137 140728170489137 140728170491855 0
[pid=21910/tid=21926] ppid=21883 vsize=8068220 memory=15712 CPUtime=0 cores=1,3,5,7
/proc/21910/task/21926/stat : 21926 (java) S 21883 21883 16605 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 225390090 8261857280 29480 33554432000 4194304 4196468 140728170482816 140262829479360 140263395114777 0 4 2 25189581 18446744071579417331 0 0 -1 7 0 0 0 0 0 6293624 6294260 22822912 140728170489013 140728170489137 140728170489137 140728170491855 0
[pid=21910/tid=21928] ppid=21883 vsize=8068220 memory=1472 CPUtime=0 cores=1,3,5,7
/proc/21910/task/21928/stat : 21928 (java) S 21883 21883 16605 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 225390091 8261857280 29480 33554432000 4194304 4196468 140728170482816 140260746969136 140263395112093 0 4 2 25189581 18446744071580971376 0 0 -1 7 0 0 0 0 0 6293624 6294260 22822912 140728170489013 140728170489137 140728170489137 140728170491855 0
[pid=21910/tid=21929] ppid=21883 vsize=8068220 memory=117920 CPUtime=0 cores=1,3,5,7
/proc/21910/task/21929/stat : 21929 (java) S 21883 21883 16605 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 225390091 8261857280 29480 33554432000 4194304 4196468 140728170482816 140260478533040 140263395112093 0 4 2 25189581 18446744071580971376 0 0 -1 5 0 0 0 0 0 6293624 6294260 22822912 140728170489013 140728170489137 140728170489137 140728170491855 0
[pid=21910/tid=21930] ppid=21883 vsize=8068220 memory=159720 CPUtime=0 cores=1,3,5,7
/proc/21910/task/21930/stat : 21930 (java) S 21883 21883 16605 0 -1 1077944384 28 0 0 0 0 0 0 0 20 0 19 0 225390093 8261857280 29480 33554432000 4194304 4196468 140728170482816 140261015411616 140263395100373 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22822912 140728170489013 140728170489137 140728170489137 140728170491855 0
Current children cumulated CPU time: 2520.08 s
Current children cumulated vsize: 8369064 KiB
Current children cumulated memory: 279112 KiB

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

[startup+2496.41 s]
# the end of solver process 21883 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=119.773 s, system=2.40448 s

[startup+2496.42 s]
# the end of solver process 21910 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2516.01 s, system=4.12166 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

Child status: 1
Real time (s): 2496.42
CPU time (s): 2520.13
CPU user time (s): 2516.01
CPU system time (s): 4.12166
CPU usage (%): 100.95
Max. virtual memory (cumulated for all children) (KiB): 15142280
Max. memory (cumulated for all children) (KiB): 4522736

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2516.01
system time used= 4.12166
maximum resident set size= 4521632
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 528361
page faults= 0
swaps= 0
block input operations= 0
block output operations= 41384
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 60733
involuntary context switches= 868


# summary of solver processes directly reported to runsolver:
#   pid: 21883,21910
#   total CPU time (s): 2520.13
#   total CPU user time (s): 2516.01
#   total CPU system time (s): 4.12166

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 20.1127 second user time and 25.2379 second system time

The end

Launcher Data 

Begin job on node107 at 2018-08-12 14:49:27
IDJOB=4305459
IDBENCH=141498
IDSOLVER=2782
FILE ID=node107/4305459-1534078167
RUNJOBID= node107-1534064712-16637
PBS_JOBID= 21036990
Free space on /tmp= 39344 MiB

SOLVER NAME= scop order+MapleCOMSPS (2018-07-31)
BENCH NAME= XCSP18/Subisomorphism/Subisomorphism-g19-g43_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-4305459-1534078167/watcher-4305459-1534078167 -o /tmp/evaluation-result-4305459-1534078167/solver-4305459-1534078167 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node107-1534064712-16637 --watchdog 2580  scop.sh 11g scop.jar -order minisat_release default HOME HOME/instance-4305459-1534078167.xml

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

MD5SUM BENCH= 73b986b466eb2b69580bc545a83953ff
RANDOM SEED=51544868

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:        24172652 kB
MemAvailable:   31253752 kB
Buffers:          204436 kB
Cached:          7073692 kB
SwapCached:            0 kB
Active:          4371428 kB
Inactive:        3611036 kB
Active(anon):     651120 kB
Inactive(anon):   105672 kB
Active(file):    3720308 kB
Inactive(file):  3505364 kB
Unevictable:        6976 kB
Mlocked:            6976 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:              7920 kB
Writeback:             0 kB
AnonPages:        762320 kB
Mapped:            63836 kB
Shmem:             49804 kB
Slab:             313224 kB
SReclaimable:     283888 kB
SUnreclaim:        29336 kB
KernelStack:        4000 kB
PageTables:         6736 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    6457560 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    182272 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= 39456 MiB
End job on node107 at 2018-08-12 15:31:04