Trace number 4387692

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
Fun-sCOP order+GlueMiniSat (2019-06-15)? (NS) 1506.1 403.035

General information on the benchmark

NameNumberPartitioning/NumberPartitioning-m1-s1/
NumberPartitioning-152.xml
MD5SUM70d9add84a9acab5bfce09ac7a4943a4
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 benchmark6.68468
Satisfiable
(Un)Satisfiability was proved
Number of variables304
Number of constraints160
Number of domains2
Minimum domain size152
Maximum domain size23104
Distribution of domain sizes[{"size":152,"count":152},{"size":23104,"count":152}]
Minimum variable degree2
Maximum variable degree5
Distribution of variable degrees[{"degree":2,"count":152},{"degree":4,"count":151},{"degree":5,"count":1}]
Minimum constraint arity1
Maximum constraint arity152
Distribution of constraint arities[{"arity":1,"count":1},{"arity":2,"count":152},{"arity":76,"count":6},{"arity":152,"count":1}]
Number of extensional constraints0
Number of intensional constraints153
Distribution of constraint types[{"type":"intension","count":153},{"type":"allDifferent","count":1},{"type":"ordered","count":2},{"type":"sum","count":4}]
Optimization problemNO
Type of objective

Solver Data 

0.00/0.00	c (scop.sh) java -Xms11g -Xmx11g -Xss128m -cp HOME/scop.jar fun.scop.XCSP19Encode -order -solver HOME/glueminisat-simp-2.2.10-193oa-n-release -solverOption -model:-verb=3:-elim-cl=5000000:-native-oa -tmp HOME -serialFile HOME/scop-6750-serial-file.bin HOME/instance-4387692-1568288646.xml
0.67/0.53	
0.67/0.53	Fun-sCOP order+glueminisat-simp-2.2.10-193oa-n-release (2019-06-15)
0.67/0.53	
0.67/0.55	c BEGIN-Prog: Thu Sep 12 13:43:27 CEST 2019
0.67/0.55	c PID: 6753
0.67/0.55	c IP: 172.20.3.127
0.67/0.55	c HOST: node127.alineos.net
0.67/0.56	c (0,0) Parsing Begin
1.71/1.01	c (0,0) Parsing End
1.71/1.02	c (0,0) CSP: 304 int (0 aux), 0 bool (0 aux), 160 ctr, max domain size 23104
1.71/1.02	c (0,0) Heap : 112 MiB used (max 10795 MiB), NonHeap : 19 MiB used (max 0 MiB)
1.71/1.02	c (0,0) Constraint Name Generate Begin
1.71/1.03	c (0,0) Ctr:HOME/instance-4387692-1568288646.xml,AllDifferent:Eq:Mul:Num:OrderedCtr:Var:WeightedSum
1.71/1.03	c (0,0) Constraint Name Generate End
1.71/1.03	c (0,0) Heap : 112 MiB used (max 10795 MiB), NonHeap : 20 MiB used (max 0 MiB)
1.71/1.03	c (0,0) CSP to CSPinCNF Begin
6.17/2.51	c (1,1) translated 16 (10%) constraints
7.07/2.84	c (2,2) translated 32 (20%) constraints
7.70/3.12	c (2,2) translated 48 (30%) constraints
8.20/3.38	c (2,2) translated 64 (40%) constraints
8.82/3.62	c (3,3) translated 80 (50%) constraints
9.42/3.88	c (3,3) translated 96 (60%) constraints
9.76/4.11	c (3,3) translated 112 (70%) constraints
10.14/4.33	c (3,3) translated 128 (80%) constraints
10.39/4.56	c (4,4) translated 144 (90%) constraints
11.19/4.98	c (4,4) translated 160 (100%) constraints
11.19/4.98	c (4,4) ===========================================
11.19/4.98	c (4,4) Order
11.19/4.98	c (4,4) ===========================================
11.49/5.07	c (4,4) translated 8110 (10%) constraints
14.08/6.22	c (5,5) translated 16220 (20%) constraints
14.60/6.42	c (5,5) translated 24330 (30%) constraints
14.74/6.59	c (6,6) translated 32439 (40%) constraints
14.93/6.76	c (6,6) translated 40549 (50%) constraints
15.18/6.93	c (6,6) translated 48659 (60%) constraints
15.29/7.10	c (6,6) translated 56768 (70%) constraints
15.48/7.27	c (6,6) translated 64878 (80%) constraints
15.71/7.45	c (6,6) translated 72988 (90%) constraints
16.04/7.67	c (7,7) translated 81097 (100%) constraints
16.04/7.67	c (7,7) CSP to CSPinCNF End
16.04/7.68	c (7,7) CSP: 595 int (292 aux), 23105 bool (23104 aux), 127894 ctr, max domain size 591015
16.04/7.68	c (7,7) Heap : 1971 MiB used (max 10795 MiB), NonHeap : 28 MiB used (max 0 MiB)
16.04/7.68	c (7,7) CSPinCNF Propagation Begin
27.86/16.12	c (15,15) 2427643 values, 31873 unsatisfiable literals, and 31880 valid clauses are removed
27.86/16.12	c (15,15) CSPinCNF Propagation End
27.86/16.13	c (15,15) CSP: 594 int (292 aux), 23106 bool (23104 aux), 96014 ctr, max domain size 441865
27.86/16.13	c (15,15) Heap : 672 MiB used (max 10795 MiB), NonHeap : 28 MiB used (max 0 MiB)
27.86/16.13	c (15,15) Simplify CSPinCNF Begin
29.20/16.65	c (16,15) Simplify CSPinCNF End
29.20/16.66	c (16,15) CSP: 594 int (292 aux), 45756 bool (45754 aux), 118664 ctr, max domain size 441865
29.20/16.66	c (16,15) Heap : 894 MiB used (max 10795 MiB), NonHeap : 28 MiB used (max 0 MiB)
29.20/16.66	c (16,15) Calculate Precise Domain Begin
1505.79/402.88	c (402,32) java.lang.OutOfMemoryError: GC overhead limit exceeded
1505.93/402.97	c (402,32) java.lang.Long.valueOf(Long.java:840)
1505.93/402.97	c (402,32) scala.runtime.BoxesRunTime.boxToLong(BoxesRunTime.java:69)
1505.93/402.97	c (402,32) scala.runtime.java8.JFunction1$mcJJ$sp.apply(JFunction1$mcJJ$sp.java:12)
1505.93/402.97	c (402,32) scala.collection.TraversableLike.$anonfun$map$1(TraversableLike.scala:233)
1505.93/402.97	c (402,32) scala.collection.TraversableLike$$Lambda$106/558187323.apply(Unknown Source)
1505.93/402.97	c (402,32) scala.collection.Iterator.foreach(Iterator.scala:937)
1505.93/402.97	c (402,32) scala.collection.Iterator.foreach$(Iterator.scala:937)
1505.93/402.97	c (402,32) scala.collection.AbstractIterator.foreach(Iterator.scala:1425)
1505.93/402.97	c (402,32) scala.collection.IterableLike.foreach(IterableLike.scala:70)
1505.93/402.97	c (402,32) scala.collection.IterableLike.foreach$(IterableLike.scala:69)
1505.93/402.97	c (402,32) scala.collection.AbstractIterable.foreach(Iterable.scala:54)
1505.93/402.97	c (402,32) scala.collection.TraversableLike.map(TraversableLike.scala:233)
1505.93/402.97	c (402,32) scala.collection.TraversableLike.map$(TraversableLike.scala:226)
1505.93/402.97	c (402,32) scala.collection.AbstractTraversable.map(Traversable.scala:104)
1505.93/402.97	c (402,32) fun.scop.IntDomain.$anonfun$preciseAdd$1(Domain.scala:101)
1505.93/402.97	c (402,32) fun.scop.IntDomain.$anonfun$preciseAdd$1$adapted(Domain.scala:101)
1505.93/402.97	c (402,32) fun.scop.IntDomain$$Lambda$299/1026055550.apply(Unknown Source)
1505.93/402.97	c (402,32) scala.collection.TraversableLike.$anonfun$flatMap$1(TraversableLike.scala:240)
1505.93/402.97	c (402,32) scala.collection.TraversableLike$$Lambda$121/927327686.apply(Unknown Source)
1505.93/402.97	c (402,32) scala.collection.Iterator.foreach(Iterator.scala:937)
1505.93/402.97	c (402,32) scala.collection.Iterator.foreach$(Iterator.scala:937)
1505.93/402.97	c (402,32) scala.collection.AbstractIterator.foreach(Iterator.scala:1425)
1505.93/402.97	c (402,32) scala.collection.IterableLike.foreach(IterableLike.scala:70)
1505.93/402.97	c (402,32) scala.collection.IterableLike.foreach$(IterableLike.scala:69)
1505.93/402.97	c (402,32) scala.collection.AbstractIterable.foreach(Iterable.scala:54)
1505.93/402.97	c (402,32) scala.collection.TraversableLike.flatMap(TraversableLike.scala:240)
1505.93/402.97	c (402,32) scala.collection.TraversableLike.flatMap$(TraversableLike.scala:237)
1505.93/402.97	c (402,32) scala.collection.AbstractTraversable.flatMap(Traversable.scala:104)
1505.93/402.97	c (402,32) fun.scop.IntDomain.preciseAdd(Domain.scala:101)
1505.93/402.97	c (402,32) fun.scop.LinearSum.$anonfun$getPreciseDomain$2(Expr.scala:1727)
1505.93/402.97	c (402,32) fun.scop.LinearSum.$anonfun$getPreciseDomain$2$adapted(Expr.scala:1726)
1505.93/402.97	c (402,32) fun.scop.LinearSum$$Lambda$294/1541049864.apply(Unknown Source)
1505.93/402.97	c (402,32) 0,0,7,15,16,TO,TO,TO,TO,STOP-AFTER(Simplify)
1505.93/402.97	s UNSUPPORTED
1505.93/402.97	c END-Prog: Thu Sep 12 13:50:09 CEST 2019
0.00/403.03	c (scop.sh) HOME/scop-6750-serial-file.bin does not exist. End.

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4387692-1568288646/watcher-4387692-1568288646 -o /tmp/evaluation-result-4387692-1568288646/solver-4387692-1568288646 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node127-1568286090-6276 --watchdog 2580 HOME/scop.sh 11g HOME/scop.jar -order HOME/glueminisat-simp-2.2.10-193oa-n-release -model:-verb=3:-elim-cl=5000000:-native-oa HOME HOME/instance-4387692-1568288646.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=6750, runsolver pid=6747

[startup+0.100145 s]*
/proc/loadavg: 2.86 2.33 2.12 4/225 6787
/proc/meminfo: memFree=18680520/32770624 swapFree=66998516/67108860
[pid=6750] ppid=6747 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/6750/stat : 6750 (scop.sh) S 6747 6750 4978 0 -1 4202496 556 321 0 0 0 0 0 0 20 0 1 0 405133468 115843072 349 33554432000 4194304 5098028 140729487094896 140729487092152 139710538838652 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 9330688 140729487102760 140729487103088 140729487103088 140729487105997 0
/proc/6750/statm: 28282 349 296 221 0 87 0
[pid=6753] ppid=6750 vsize=15012696 memory=71444 CPUtime=0.12 cores=0,2,4,6
/proc/6753/stat : 6753 (java) S 6750 6750 4978 0 -1 1077944320 6155 0 0 0 10 2 0 0 20 0 15 0 405133468 15373000704 17861 33554432000 4194304 4196468 140731906024016 140731906006560 140535985069815 0 0 2 16800973 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 20049920 140731906028271 140731906028698 140731906028698 140731906031567 0
/proc/6753/statm: 3753174 17861 2908 1 0 3715579 0
[pid=6753/tid=6754] ppid=6750 vsize=15012696 memory=576460756329955459 CPUtime=0.09 cores=0,2,4,6
/proc/6753/task/6754/stat : 6754 (java) R 6750 6750 4978 0 -1 4202560 4064 0 0 0 8 1 0 0 20 0 15 0 405133468 15373000704 17992 33554432000 4194304 4196468 140731906024016 140535956860984 140535965346640 0 4 2 16800973 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 20049920 140731906028271 140731906028698 140731906028698 140731906031567 0
[pid=6753/tid=6755] ppid=6750 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6753/task/6755/stat : 6755 (java) S 6750 6750 4978 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405133470 15373000704 18058 33554432000 4194304 4196468 140731906024016 140535989312528 140535985080021 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20049920 140731906028271 140731906028698 140731906028698 140731906031567 0
[pid=6753/tid=6756] ppid=6750 vsize=15012696 memory=139889901634384 CPUtime=0 cores=0,2,4,6
/proc/6753/task/6756/stat : 6756 (java) S 6750 6750 4978 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405133470 15373000704 18058 33554432000 4194304 4196468 140731906024016 140535765015696 140535985080021 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20049920 140731906028271 140731906028698 140731906028698 140731906031567 0
[pid=6753/tid=6757] ppid=6750 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6753/task/6757/stat : 6757 (java) S 6750 6750 4978 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405133470 15373000704 18058 33554432000 4194304 4196468 140731906024016 140535763962640 140535985080021 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20049920 140731906028271 140731906028698 140731906028698 140731906031567 0
[pid=6753/tid=6758] ppid=6750 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6753/task/6758/stat : 6758 (java) S 6750 6750 4978 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405133470 15373000704 18058 33554432000 4194304 4196468 140731906024016 140535762910096 140535985080021 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20049920 140731906028271 140731906028698 140731906028698 140731906031567 0
[pid=6753/tid=6763] ppid=6750 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6753/task/6763/stat : 6763 (java) S 6750 6750 4978 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405133471 15373000704 18058 33554432000 4194304 4196468 140731906024016 140535324690672 140535985080962 0 0 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20049920 140731906028271 140731906028698 140731906028698 140731906031567 0
[pid=6753/tid=6765] ppid=6750 vsize=15012696 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/6753/task/6765/stat : 6765 (java) S 6750 6750 4978 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 405133472 15373000704 18058 33554432000 4194304 4196468 140731906024016 140534484034720 140535985080021 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20049920 140731906028271 140731906028698 140731906028698 140731906031567 0
[pid=6753/tid=6767] ppid=6750 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6753/task/6767/stat : 6767 (java) S 6750 6750 4978 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 405133472 15373000704 18058 33554432000 4194304 4196468 140731906024016 140534349812464 140535985080021 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20049920 140731906028271 140731906028698 140731906028698 140731906031567 0
[pid=6753/tid=6779] ppid=6750 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6753/task/6779/stat : 6779 (java) S 6750 6750 4978 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405133474 15373000704 18058 33554432000 4194304 4196468 140731906024016 140533975308240 140535985088411 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20049920 140731906028271 140731906028698 140731906028698 140731906031567 0
[pid=6753/tid=6780] ppid=6750 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6753/task/6780/stat : 6780 (java) S 6750 6750 4978 0 -1 1077944384 432 0 0 0 0 0 0 0 20 0 15 0 405133474 15373000704 18058 33554432000 4194304 4196468 140731906024016 140535323638512 140535985080962 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20049920 140731906028271 140731906028698 140731906028698 140731906031567 0
[pid=6753/tid=6781] ppid=6750 vsize=15012696 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/6753/task/6781/stat : 6781 (java) S 6750 6750 4978 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405133474 15373000704 18058 33554432000 4194304 4196468 140731906024016 140535322585968 140535985080962 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20049920 140731906028271 140731906028698 140731906028698 140731906031567 0
[pid=6753/tid=6782] ppid=6750 vsize=15012696 memory=139889901627008 CPUtime=0.01 cores=0,2,4,6
/proc/6753/task/6782/stat : 6782 (java) R 6750 6750 4978 0 -1 4202560 427 0 0 0 1 0 0 0 20 0 15 0 405133474 15373000704 18058 33554432000 4194304 4196468 140731906024016 140535321529672 140535977306942 0 4 2 16800973 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 20049920 140731906028271 140731906028698 140731906028698 140731906031567 0
[pid=6753/tid=6783] ppid=6750 vsize=15012696 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/6753/task/6783/stat : 6783 (java) S 6750 6750 4978 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405133475 15373000704 18058 33554432000 4194304 4196468 140731906024016 140533477403488 140535985080021 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20049920 140731906028271 140731906028698 140731906028698 140731906031567 0
[pid=6753/tid=6784] ppid=6750 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6753/task/6784/stat : 6784 (java) S 6750 6750 4978 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405133475 15373000704 18058 33554432000 4194304 4196468 140731906024016 140535320480304 140535985080962 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20049920 140731906028271 140731906028698 140731906028698 140731906031567 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 15125824 KiB
Current children cumulated memory: 72840 KiB

[startup+0.21096 s]*
/proc/loadavg: 2.86 2.33 2.12 4/231 6793
/proc/meminfo: memFree=18632000/32770624 swapFree=66998516/67108860
[pid=6750] ppid=6747 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/6750/stat : 6750 (scop.sh) S 6747 6750 4978 0 -1 4202496 556 321 0 0 0 0 0 0 20 0 1 0 405133468 115843072 349 33554432000 4194304 5098028 140729487094896 140729487092152 139710538838652 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 9330688 140729487102760 140729487103088 140729487103088 140729487105997 0
/proc/6750/statm: 28282 349 296 221 0 87 0
[pid=6753] ppid=6750 vsize=15012696 memory=87316 CPUtime=0.25 cores=0,2,4,6
/proc/6753/stat : 6753 (java) S 6750 6750 4978 0 -1 1077944320 11368 0 0 0 22 3 0 0 20 0 15 0 405133468 15373000704 21829 33554432000 4194304 4196468 140731906024016 140731906006560 140535985069815 0 0 2 16800973 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 20049920 140731906028271 140731906028698 140731906028698 140731906031567 0
/proc/6753/statm: 3753174 21829 2975 1 0 3715579 0
[pid=6753/tid=6754] ppid=6750 vsize=15012696 memory=7883960649037381690 CPUtime=0.2 cores=0,2,4,6
/proc/6753/task/6754/stat : 6754 (java) R 6750 6750 4978 0 -1 4202560 9098 0 0 0 17 3 0 0 20 0 15 0 405133468 15373000704 21829 33554432000 4194304 4196468 140731906024016 140535956891616 140535985091741 0 4 2 16800973 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 20049920 140731906028271 140731906028698 140731906028698 140731906031567 0
[pid=6753/tid=6755] ppid=6750 vsize=15012696 memory=1946935 CPUtime=0 cores=0,2,4,6
/proc/6753/task/6755/stat : 6755 (java) S 6750 6750 4978 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405133470 15373000704 21829 33554432000 4194304 4196468 140731906024016 140535989312528 140535985080021 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20049920 140731906028271 140731906028698 140731906028698 140731906031567 0
[pid=6753/tid=6756] ppid=6750 vsize=15012696 memory=139889903574016 CPUtime=0 cores=0,2,4,6
/proc/6753/task/6756/stat : 6756 (java) S 6750 6750 4978 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405133470 15373000704 21829 33554432000 4194304 4196468 140731906024016 140535765015696 140535985080021 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20049920 140731906028271 140731906028698 140731906028698 140731906031567 0
[pid=6753/tid=6757] ppid=6750 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6753/task/6757/stat : 6757 (java) S 6750 6750 4978 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405133470 15373000704 21829 33554432000 4194304 4196468 140731906024016 140535763962640 140535985080021 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20049920 140731906028271 140731906028698 140731906028698 140731906031567 0
[pid=6753/tid=6758] ppid=6750 vsize=15012696 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/6753/task/6758/stat : 6758 (java) S 6750 6750 4978 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405133470 15373000704 21829 33554432000 4194304 4196468 140731906024016 140535762910096 140535985080021 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20049920 140731906028271 140731906028698 140731906028698 140731906031567 0
[pid=6753/tid=6763] ppid=6750 vsize=15012696 memory=139889901627008 CPUtime=0 cores=0,2,4,6
/proc/6753/task/6763/stat : 6763 (java) S 6750 6750 4978 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405133471 15373000704 21829 33554432000 4194304 4196468 140731906024016 140535324690672 140535985080962 0 0 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20049920 140731906028271 140731906028698 140731906028698 140731906031567 0
[pid=6753/tid=6765] ppid=6750 vsize=15012696 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/6753/task/6765/stat : 6765 (java) S 6750 6750 4978 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 405133472 15373000704 21829 33554432000 4194304 4196468 140731906024016 140534484034720 140535985080021 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20049920 140731906028271 140731906028698 140731906028698 140731906031567 0
[pid=6753/tid=6767] ppid=6750 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6753/task/6767/stat : 6767 (java) S 6750 6750 4978 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 405133472 15373000704 21829 33554432000 4194304 4196468 140731906024016 140534349812464 140535985080021 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20049920 140731906028271 140731906028698 140731906028698 140731906031567 0
[pid=6753/tid=6779] ppid=6750 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6753/task/6779/stat : 6779 (java) S 6750 6750 4978 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405133474 15373000704 21829 33554432000 4194304 4196468 140731906024016 140533975308240 140535985088411 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20049920 140731906028271 140731906028698 140731906028698 140731906031567 0
[pid=6753/tid=6780] ppid=6750 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6753/task/6780/stat : 6780 (java) S 6750 6750 4978 0 -1 1077944384 465 0 0 0 0 0 0 0 20 0 15 0 405133474 15373000704 21829 33554432000 4194304 4196468 140731906024016 140535323638512 140535985080962 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20049920 140731906028271 140731906028698 140731906028698 140731906031567 0
[pid=6753/tid=6781] ppid=6750 vsize=15012696 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/6753/task/6781/stat : 6781 (java) S 6750 6750 4978 0 -1 1077944384 17 0 0 0 0 0 0 0 20 0 15 0 405133474 15373000704 21829 33554432000 4194304 4196468 140731906024016 140535322585968 140535985080962 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20049920 140731906028271 140731906028698 140731906028698 140731906031567 0
[pid=6753/tid=6782] ppid=6750 vsize=15012696 memory=139889901627008 CPUtime=0.03 cores=0,2,4,6
/proc/6753/task/6782/stat : 6782 (java) R 6750 6750 4978 0 -1 4202560 438 0 0 0 3 0 0 0 20 0 15 0 405133474 15373000704 21829 33554432000 4194304 4196468 140731906024016 140535321532912 140535963435488 0 4 2 16800973 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 20049920 140731906028271 140731906028698 140731906028698 140731906031567 0
[pid=6753/tid=6783] ppid=6750 vsize=15012696 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/6753/task/6783/stat : 6783 (java) S 6750 6750 4978 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405133475 15373000704 21829 33554432000 4194304 4196468 140731906024016 140533477403488 140535985080021 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20049920 140731906028271 140731906028698 140731906028698 140731906031567 0
[pid=6753/tid=6784] ppid=6750 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6753/task/6784/stat : 6784 (java) S 6750 6750 4978 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405133475 15373000704 21829 33554432000 4194304 4196468 140731906024016 140535320480304 140535985080962 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20049920 140731906028271 140731906028698 140731906028698 140731906031567 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 15125824 KiB
Current children cumulated memory: 88712 KiB

[startup+0.310604 s]*
/proc/loadavg: 2.86 2.33 2.12 5/231 6793
/proc/meminfo: memFree=18628016/32770624 swapFree=66998516/67108860
[pid=6750] ppid=6747 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/6750/stat : 6750 (scop.sh) S 6747 6750 4978 0 -1 4202496 556 321 0 0 0 0 0 0 20 0 1 0 405133468 115843072 349 33554432000 4194304 5098028 140729487094896 140729487092152 139710538838652 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 9330688 140729487102760 140729487103088 140729487103088 140729487105997 0
/proc/6750/statm: 28282 349 296 221 0 87 0
[pid=6753] ppid=6750 vsize=15012696 memory=90660 CPUtime=0.43 cores=0,2,4,6
/proc/6753/stat : 6753 (java) S 6750 6750 4978 0 -1 1077944320 11730 0 0 0 39 4 0 0 20 0 15 0 405133468 15373000704 22665 33554432000 4194304 4196468 140731906024016 140731906006560 140535985069815 0 0 2 16800973 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 20049920 140731906028271 140731906028698 140731906028698 140731906031567 0
/proc/6753/statm: 3753174 22665 3058 1 0 3715579 0
[pid=6753/tid=6754] ppid=6750 vsize=15012696 memory=8317482817917895235 CPUtime=0.3 cores=0,2,4,6
/proc/6753/task/6754/stat : 6754 (java) R 6750 6750 4978 0 -1 4202560 9279 0 0 0 27 3 0 0 20 0 15 0 405133468 15373000704 22665 33554432000 4194304 4196468 140731906024016 140535956899888 140535970235470 0 4 2 16800973 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 20049920 140731906028271 140731906028698 140731906028698 140731906031567 0
[pid=6753/tid=6755] ppid=6750 vsize=15012696 memory=6944656592455097440 CPUtime=0 cores=0,2,4,6
/proc/6753/task/6755/stat : 6755 (java) S 6750 6750 4978 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405133470 15373000704 22665 33554432000 4194304 4196468 140731906024016 140535989312528 140535985080021 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20049920 140731906028271 140731906028698 140731906028698 140731906031567 0
[pid=6753/tid=6756] ppid=6750 vsize=15012696 memory=35809 CPUtime=0 cores=0,2,4,6
/proc/6753/task/6756/stat : 6756 (java) S 6750 6750 4978 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405133470 15373000704 22665 33554432000 4194304 4196468 140731906024016 140535765015696 140535985080021 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20049920 140731906028271 140731906028698 140731906028698 140731906031567 0
[pid=6753/tid=6757] ppid=6750 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6753/task/6757/stat : 6757 (java) S 6750 6750 4978 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405133470 15373000704 22665 33554432000 4194304 4196468 140731906024016 140535763962640 140535985080021 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20049920 140731906028271 140731906028698 140731906028698 140731906031567 0
[pid=6753/tid=6758] ppid=6750 vsize=15012696 memory=9122464004270842071 CPUtime=0 cores=0,2,4,6
/proc/6753/task/6758/stat : 6758 (java) S 6750 6750 4978 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405133470 15373000704 22665 33554432000 4194304 4196468 140731906024016 140535762910096 140535985080021 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20049920 140731906028271 140731906028698 140731906028698 140731906031567 0
[pid=6753/tid=6763] ppid=6750 vsize=15012696 memory=6944652177228980320 CPUtime=0 cores=0,2,4,6
/proc/6753/task/6763/stat : 6763 (java) S 6750 6750 4978 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405133471 15373000704 22665 33554432000 4194304 4196468 140731906024016 140535324690672 140535985080962 0 0 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20049920 140731906028271 140731906028698 140731906028698 140731906031567 0
[pid=6753/tid=6765] ppid=6750 vsize=15012696 memory=6655300316396806240 CPUtime=0 cores=0,2,4,6
/proc/6753/task/6765/stat : 6765 (java) S 6750 6750 4978 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 405133472 15373000704 22665 33554432000 4194304 4196468 140731906024016 140534484034720 140535985080021 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20049920 140731906028271 140731906028698 140731906028698 140731906031567 0
[pid=6753/tid=6767] ppid=6750 vsize=15012696 memory=6944656592387989600 CPUtime=0 cores=0,2,4,6
/proc/6753/task/6767/stat : 6767 (java) S 6750 6750 4978 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 405133472 15373000704 22665 33554432000 4194304 4196468 140731906024016 140534349812464 140535985080021 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20049920 140731906028271 140731906028698 140731906028698 140731906031567 0
[pid=6753/tid=6779] ppid=6750 vsize=15012696 memory=8562125494162282060 CPUtime=0 cores=0,2,4,6
/proc/6753/task/6779/stat : 6779 (java) S 6750 6750 4978 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405133474 15373000704 22665 33554432000 4194304 4196468 140731906024016 140533975308240 140535985088411 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20049920 140731906028271 140731906028698 140731906028698 140731906031567 0
[pid=6753/tid=6780] ppid=6750 vsize=15012696 memory=6933954179156714387 CPUtime=0.02 cores=0,2,4,6
/proc/6753/task/6780/stat : 6780 (java) S 6750 6750 4978 0 -1 1077944384 560 0 0 0 2 0 0 0 20 0 15 0 405133474 15373000704 22665 33554432000 4194304 4196468 140731906024016 140535323638512 140535985080962 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20049920 140731906028271 140731906028698 140731906028698 140731906031567 0
[pid=6753/tid=6781] ppid=6750 vsize=15012696 memory=7684433391216329786 CPUtime=0.02 cores=0,2,4,6
/proc/6753/task/6781/stat : 6781 (java) S 6750 6750 4978 0 -1 1077944384 80 0 0 0 2 0 0 0 20 0 15 0 405133474 15373000704 22665 33554432000 4194304 4196468 140731906024016 140535322585968 140535985080962 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20049920 140731906028271 140731906028698 140731906028698 140731906031567 0
[pid=6753/tid=6782] ppid=6750 vsize=15012696 memory=-9062862659931694204 CPUtime=0.07 cores=0,2,4,6
/proc/6753/task/6782/stat : 6782 (java) S 6750 6750 4978 0 -1 1077944384 459 0 0 0 7 0 0 0 20 0 15 0 405133474 15373000704 22665 33554432000 4194304 4196468 140731906024016 140535321532912 140535985080962 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20049920 140731906028271 140731906028698 140731906028698 140731906031567 0
[pid=6753/tid=6783] ppid=6750 vsize=15012696 memory=3047711566422646390 CPUtime=0 cores=0,2,4,6
/proc/6753/task/6783/stat : 6783 (java) S 6750 6750 4978 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405133475 15373000704 22665 33554432000 4194304 4196468 140731906024016 140533477403488 140535985080021 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20049920 140731906028271 140731906028698 140731906028698 140731906031567 0
[pid=6753/tid=6784] ppid=6750 vsize=15012696 memory=-8412656567168561567 CPUtime=0 cores=0,2,4,6
/proc/6753/task/6784/stat : 6784 (java) S 6750 6750 4978 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405133475 15373000704 22665 33554432000 4194304 4196468 140731906024016 140535320480304 140535985080962 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20049920 140731906028271 140731906028698 140731906028698 140731906031567 0
Current children cumulated CPU time: 0.43 s
Current children cumulated vsize: 15125824 KiB
Current children cumulated memory: 92056 KiB

[startup+0.701127 s]
/proc/loadavg: 2.79 2.32 2.12 3/231 6793
/proc/meminfo: memFree=18585852/32770624 swapFree=66998516/67108860
[pid=6750] ppid=6747 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/6750/stat : 6750 (scop.sh) S 6747 6750 4978 0 -1 4202496 556 321 0 0 0 0 0 0 20 0 1 0 405133468 115843072 349 33554432000 4194304 5098028 140729487094896 140729487092152 139710538838652 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 9330688 140729487102760 140729487103088 140729487103088 140729487105997 0
/proc/6750/statm: 28282 349 296 221 0 87 0
[pid=6753] ppid=6750 vsize=15021092 memory=128480 CPUtime=1 cores=0,2,4,6
/proc/6753/stat : 6753 (java) S 6750 6750 4978 0 -1 1077944320 19489 0 0 0 94 6 0 0 20 0 15 0 405133468 15381598208 32120 33554432000 4194304 4196468 140731906024016 140731906006560 140535985069815 0 0 2 25189581 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 20049920 140731906028271 140731906028698 140731906028698 140731906031567 0
/proc/6753/statm: 3755273 32120 3202 1 0 3716603 0
[pid=6753/tid=6754] ppid=6750 vsize=15021092 memory=4283950746081398134 CPUtime=0.68 cores=0,2,4,6
/proc/6753/task/6754/stat : 6754 (java) R 6750 6750 4978 0 -1 4202560 16523 0 0 0 63 5 0 0 20 0 15 0 405133468 15381598208 32120 33554432000 4194304 4196468 140731906024016 140535956887200 140535969150302 0 4 2 25189581 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 20049920 140731906028271 140731906028698 140731906028698 140731906031567 0
[pid=6753/tid=6755] ppid=6750 vsize=15021092 memory=7236547281622689387 CPUtime=0 cores=0,2,4,6
/proc/6753/task/6755/stat : 6755 (java) S 6750 6750 4978 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405133470 15381598208 32120 33554432000 4194304 4196468 140731906024016 140535989312528 140535985080021 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20049920 140731906028271 140731906028698 140731906028698 140731906031567 0
[pid=6753/tid=6756] ppid=6750 vsize=15021092 memory=6940443203498692944 CPUtime=0 cores=0,2,4,6
/proc/6753/task/6756/stat : 6756 (java) S 6750 6750 4978 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405133470 15381598208 32120 33554432000 4194304 4196468 140731906024016 140535765015696 140535985080021 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20049920 140731906028271 140731906028698 140731906028698 140731906031567 0
[pid=6753/tid=6757] ppid=6750 vsize=15021092 memory=1428 CPUtime=0 cores=0,2,4,6
/proc/6753/task/6757/stat : 6757 (java) S 6750 6750 4978 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405133470 15381598208 32120 33554432000 4194304 4196468 140731906024016 140535763962640 140535985080021 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20049920 140731906028271 140731906028698 140731906028698 140731906031567 0
[pid=6753/tid=6758] ppid=6750 vsize=15021092 memory=4156 CPUtime=0 cores=0,2,4,6
/proc/6753/task/6758/stat : 6758 (java) S 6750 6750 4978 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405133470 15381598208 32120 33554432000 4194304 4196468 140731906024016 140535762910096 140535985080021 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20049920 140731906028271 140731906028698 140731906028698 140731906031567 0
[pid=6753/tid=6763] ppid=6750 vsize=15021092 memory=1056 CPUtime=0 cores=0,2,4,6
/proc/6753/task/6763/stat : 6763 (java) S 6750 6750 4978 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 405133471 15381598208 32120 33554432000 4194304 4196468 140731906024016 140535324690672 140535985080962 0 0 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20049920 140731906028271 140731906028698 140731906028698 140731906031567 0
[pid=6753/tid=6765] ppid=6750 vsize=15021092 memory=1204 CPUtime=0 cores=0,2,4,6
/proc/6753/task/6765/stat : 6765 (java) S 6750 6750 4978 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 405133472 15381598208 32120 33554432000 4194304 4196468 140731906024016 140534484034720 140535985080021 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20049920 140731906028271 140731906028698 140731906028698 140731906031567 0
[pid=6753/tid=6767] ppid=6750 vsize=15021092 memory=1536 CPUtime=0 cores=0,2,4,6
/proc/6753/task/6767/stat : 6767 (java) S 6750 6750 4978 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 405133472 15381598208 32120 33554432000 4194304 4196468 140731906024016 140534349812464 140535985080021 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20049920 140731906028271 140731906028698 140731906028698 140731906031567 0
[pid=6753/tid=6779] ppid=6750 vsize=15021092 memory=5900 CPUtime=0 cores=0,2,4,6
/proc/6753/task/6779/stat : 6779 (java) S 6750 6750 4978 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405133474 15381598208 32120 33554432000 4194304 4196468 140731906024016 140533975308240 140535985088411 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20049920 140731906028271 140731906028698 140731906028698 140731906031567 0
[pid=6753/tid=6780] ppid=6750 vsize=15021092 memory=14012 CPUtime=0.09 cores=0,2,4,6
/proc/6753/task/6780/stat : 6780 (java) R 6750 6750 4978 0 -1 4202560 763 0 0 0 9 0 0 0 20 0 15 0 405133474 15381598208 32120 33554432000 4194304 4196468 140731906024016 140535323629968 140535964913374 0 4 2 25189581 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 20049920 140731906028271 140731906028698 140731906028698 140731906031567 0
[pid=6753/tid=6781] ppid=6750 vsize=15021092 memory=2116 CPUtime=0.06 cores=0,2,4,6
/proc/6753/task/6781/stat : 6781 (java) R 6750 6750 4978 0 -1 1077944384 282 0 0 0 6 0 0 0 20 0 15 0 405133474 15381598208 32120 33554432000 4194304 4196468 140731906024016 140535322585968 140535985080962 0 4 2 25189581 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 20049920 140731906028271 140731906028698 140731906028698 140731906031567 0
[pid=6753/tid=6782] ppid=6750 vsize=15021092 memory=20420 CPUtime=0.15 cores=0,2,4,6
/proc/6753/task/6782/stat : 6782 (java) R 6750 6750 4978 0 -1 4202560 566 0 0 0 15 0 0 0 20 0 15 0 405133474 15381598208 32120 33554432000 4194304 4196468 140731906024016 140535321529848 140535977306942 0 4 2 25189581 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 20049920 140731906028271 140731906028698 140731906028698 140731906031567 0
[pid=6753/tid=6783] ppid=6750 vsize=15021092 memory=14068 CPUtime=0 cores=0,2,4,6
/proc/6753/task/6783/stat : 6783 (java) S 6750 6750 4978 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405133475 15381598208 32120 33554432000 4194304 4196468 140731906024016 140533477403488 140535985080021 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20049920 140731906028271 140731906028698 140731906028698 140731906031567 0
[pid=6753/tid=6784] ppid=6750 vsize=15021092 memory=524 CPUtime=0 cores=0,2,4,6
/proc/6753/task/6784/stat : 6784 (java) S 6750 6750 4978 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405133475 15381598208 32120 33554432000 4194304 4196468 140731906024016 140535320480304 140535985080962 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20049920 140731906028271 140731906028698 140731906028698 140731906031567 0
Current children cumulated CPU time: 1 s
Current children cumulated vsize: 15134220 KiB
Current children cumulated memory: 129876 KiB

[startup+1.5008 s]
/proc/loadavg: 2.79 2.32 2.12 8/231 6793
/proc/meminfo: memFree=18530248/32770624 swapFree=66998516/67108860
[pid=6750] ppid=6747 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/6750/stat : 6750 (scop.sh) S 6747 6750 4978 0 -1 4202496 556 321 0 0 0 0 0 0 20 0 1 0 405133468 115843072 349 33554432000 4194304 5098028 140729487094896 140729487092152 139710538838652 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 9330688 140729487102760 140729487103088 140729487103088 140729487105997 0
/proc/6750/statm: 28282 349 296 221 0 87 0

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

/proc/6753/task/6765/stat : 6765 (java) S 6750 6750 4978 0 -1 1077944384 18 0 0 0 0 0 0 0 20 0 15 0 405133472 15385792512 3006124 33554432000 4194304 4196468 140731906024016 140534484034784 140535985080021 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20049920 140731906028271 140731906028698 140731906028698 140731906031567 0
[pid=6753/tid=6767] ppid=6750 vsize=15025188 memory=12024492 CPUtime=0 cores=0,2,4,6
/proc/6753/task/6767/stat : 6767 (java) S 6750 6750 4978 0 -1 1077944384 27 0 0 0 0 0 0 0 20 0 15 0 405133472 15385792512 3006124 33554432000 4194304 4196468 140731906024016 140534349812480 140535985080021 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20049920 140731906028271 140731906028698 140731906028698 140731906031567 0
[pid=6753/tid=6779] ppid=6750 vsize=15025188 memory=12024492 CPUtime=0 cores=0,2,4,6
/proc/6753/task/6779/stat : 6779 (java) S 6750 6750 4978 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405133474 15385792512 3006124 33554432000 4194304 4196468 140731906024016 140533975308240 140535985088411 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20049920 140731906028271 140731906028698 140731906028698 140731906031567 0
[pid=6753/tid=6780] ppid=6750 vsize=15025188 memory=1396 CPUtime=5.14 cores=0,2,4,6
/proc/6753/task/6780/stat : 6780 (java) S 6750 6750 4978 0 -1 1077944384 4719 0 0 0 514 0 0 0 20 0 15 0 405133474 15385792512 3006124 33554432000 4194304 4196468 140731906024016 140535323638512 140535985080962 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20049920 140731906028271 140731906028698 140731906028698 140731906031567 0
[pid=6753/tid=6781] ppid=6750 vsize=15025188 memory=1396 CPUtime=5.22 cores=0,2,4,6
/proc/6753/task/6781/stat : 6781 (java) S 6750 6750 4978 0 -1 1077944384 5219 0 0 0 520 2 0 0 20 0 15 0 405133474 15385792512 3006124 33554432000 4194304 4196468 140731906024016 140535322585728 140535985080021 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20049920 140731906028271 140731906028698 140731906028698 140731906031567 0
[pid=6753/tid=6782] ppid=6750 vsize=15025188 memory=12024492 CPUtime=1.37 cores=0,2,4,6
/proc/6753/task/6782/stat : 6782 (java) S 6750 6750 4978 0 -1 1077944384 3754 0 0 0 135 2 0 0 20 0 15 0 405133474 15385792512 3006124 33554432000 4194304 4196468 140731906024016 140535321532912 140535985080962 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20049920 140731906028271 140731906028698 140731906028698 140731906031567 0
[pid=6753/tid=6783] ppid=6750 vsize=15025188 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/6753/task/6783/stat : 6783 (java) S 6750 6750 4978 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405133475 15385792512 3006124 33554432000 4194304 4196468 140731906024016 140533477403488 140535985080021 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20049920 140731906028271 140731906028698 140731906028698 140731906031567 0
[pid=6753/tid=6784] ppid=6750 vsize=15025188 memory=12024492 CPUtime=0.31 cores=0,2,4,6
/proc/6753/task/6784/stat : 6784 (java) S 6750 6750 4978 0 -1 1077944384 792 0 0 0 21 10 0 0 20 0 15 0 405133475 15385792512 3006124 33554432000 4194304 4196468 140731906024016 140535320480304 140535985080962 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20049920 140731906028271 140731906028698 140731906028698 140731906031567 0
Current children cumulated CPU time: 1266.99 s
Current children cumulated vsize: 15138316 KiB
Current children cumulated memory: 12025892 KiB

[startup+402.301 s]
/proc/loadavg: 4.74 4.07 3.00 6/230 6831
/proc/meminfo: memFree=504984/32770624 swapFree=66998516/67108860
[pid=6750] ppid=6747 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/6750/stat : 6750 (scop.sh) S 6747 6750 4978 0 -1 4202496 556 321 0 0 0 0 0 0 20 0 1 0 405133468 115843072 349 33554432000 4194304 5098028 140729487094896 140729487092152 139710538838652 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 9330688 140729487102760 140729487103088 140729487103088 140729487105997 0
/proc/6750/statm: 28282 349 296 221 0 87 0
[pid=6753] ppid=6750 vsize=15025188 memory=12024592 CPUtime=1503.85 cores=0,2,4,6
/proc/6753/stat : 6753 (java) S 6750 6750 4978 0 -1 1077944320 192549 0 0 0 149379 1006 0 0 20 0 15 0 405133468 15385792512 3006148 33554432000 4194304 4196468 140731906024016 140731906006560 140535985069815 0 0 2 25189581 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 20049920 140731906028271 140731906028698 140731906028698 140731906031567 0
/proc/6753/statm: 3756297 3006148 3305 1 0 3717627 0
[pid=6753/tid=6754] ppid=6750 vsize=15025188 memory=1396 CPUtime=33.25 cores=0,2,4,6
/proc/6753/task/6754/stat : 6754 (java) S 6750 6750 4978 0 -1 1077944384 23505 0 0 0 3274 51 0 0 20 0 15 0 405133468 15385792512 3006148 33554432000 4194304 4196468 140731906024016 140535956907360 140535985080021 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20049920 140731906028271 140731906028698 140731906028698 140731906031567 0
[pid=6753/tid=6755] ppid=6750 vsize=15025188 memory=12024592 CPUtime=363.85 cores=0,2,4,6
/proc/6753/task/6755/stat : 6755 (java) R 6750 6750 4978 0 -1 4202560 18691 0 0 0 36157 228 0 0 20 0 15 0 405133470 15385792512 3006148 33554432000 4194304 4196468 140731906024016 140535989312336 140535977698023 0 4 2 25189581 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 20049920 140731906028271 140731906028698 140731906028698 140731906031567 0
[pid=6753/tid=6756] ppid=6750 vsize=15025188 memory=12024592 CPUtime=363.41 cores=0,2,4,6
/proc/6753/task/6756/stat : 6756 (java) R 6750 6750 4978 0 -1 4202560 15297 0 0 0 36108 233 0 0 20 0 15 0 405133470 15385792512 3006148 33554432000 4194304 4196468 140731906024016 140535765015504 140535977698023 0 4 2 25189581 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 20049920 140731906028271 140731906028698 140731906028698 140731906031567 0
[pid=6753/tid=6757] ppid=6750 vsize=15025188 memory=12024508 CPUtime=363.73 cores=0,2,4,6
/proc/6753/task/6757/stat : 6757 (java) R 6750 6750 4978 0 -1 4202560 15882 0 0 0 36138 235 0 0 20 0 15 0 405133470 15385792512 3006148 33554432000 4194304 4196468 140731906024016 140535763962760 140535977698023 0 4 2 25189581 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 20049920 140731906028271 140731906028698 140731906028698 140731906031567 0
[pid=6753/tid=6758] ppid=6750 vsize=15025188 memory=12024512 CPUtime=364.01 cores=0,2,4,6
/proc/6753/task/6758/stat : 6758 (java) R 6750 6750 4978 0 -1 4202560 21075 0 0 0 36155 246 0 0 20 0 15 0 405133470 15385792512 3006148 33554432000 4194304 4196468 140731906024016 140535762910296 140535978174513 0 4 2 25189581 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 20049920 140731906028271 140731906028698 140731906028698 140731906031567 0
[pid=6753/tid=6763] ppid=6750 vsize=15025188 memory=1396 CPUtime=3.4 cores=0,2,4,6
/proc/6753/task/6763/stat : 6763 (java) S 6750 6750 4978 0 -1 1077944384 82177 0 0 0 336 4 0 0 20 0 15 0 405133471 15385792512 3006148 33554432000 4194304 4196468 140731906024016 140535324689216 140535985080021 0 0 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20049920 140731906028271 140731906028698 140731906028698 140731906031567 0
[pid=6753/tid=6765] ppid=6750 vsize=15025188 memory=12024512 CPUtime=0 cores=0,2,4,6
/proc/6753/task/6765/stat : 6765 (java) S 6750 6750 4978 0 -1 1077944384 18 0 0 0 0 0 0 0 20 0 15 0 405133472 15385792512 3006148 33554432000 4194304 4196468 140731906024016 140534484034784 140535985080021 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20049920 140731906028271 140731906028698 140731906028698 140731906031567 0
[pid=6753/tid=6767] ppid=6750 vsize=15025188 memory=12024592 CPUtime=0 cores=0,2,4,6
/proc/6753/task/6767/stat : 6767 (java) S 6750 6750 4978 0 -1 1077944384 27 0 0 0 0 0 0 0 20 0 15 0 405133472 15385792512 3006148 33554432000 4194304 4196468 140731906024016 140534349812480 140535985080021 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20049920 140731906028271 140731906028698 140731906028698 140731906031567 0
[pid=6753/tid=6779] ppid=6750 vsize=15025188 memory=12024592 CPUtime=0 cores=0,2,4,6
/proc/6753/task/6779/stat : 6779 (java) S 6750 6750 4978 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405133474 15385792512 3006148 33554432000 4194304 4196468 140731906024016 140533975308240 140535985088411 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20049920 140731906028271 140731906028698 140731906028698 140731906031567 0
[pid=6753/tid=6780] ppid=6750 vsize=15025188 memory=12024592 CPUtime=5.14 cores=0,2,4,6
/proc/6753/task/6780/stat : 6780 (java) S 6750 6750 4978 0 -1 1077944384 4728 0 0 0 514 0 0 0 20 0 15 0 405133474 15385792512 3006148 33554432000 4194304 4196468 140731906024016 140535323638272 140535985080021 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20049920 140731906028271 140731906028698 140731906028698 140731906031567 0
[pid=6753/tid=6781] ppid=6750 vsize=15025188 memory=1396 CPUtime=5.22 cores=0,2,4,6
/proc/6753/task/6781/stat : 6781 (java) S 6750 6750 4978 0 -1 1077944384 5226 0 0 0 520 2 0 0 20 0 15 0 405133474 15385792512 3006148 33554432000 4194304 4196468 140731906024016 140535322586016 140535985080021 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20049920 140731906028271 140731906028698 140731906028698 140731906031567 0
[pid=6753/tid=6782] ppid=6750 vsize=15025188 memory=0 CPUtime=1.37 cores=0,2,4,6
/proc/6753/task/6782/stat : 6782 (java) S 6750 6750 4978 0 -1 1077944384 3758 0 0 0 135 2 0 0 20 0 15 0 405133474 15385792512 3006148 33554432000 4194304 4196468 140731906024016 140535321532960 140535985080021 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20049920 140731906028271 140731906028698 140731906028698 140731906031567 0
[pid=6753/tid=6783] ppid=6750 vsize=15025188 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6753/task/6783/stat : 6783 (java) S 6750 6750 4978 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405133475 15385792512 3006148 33554432000 4194304 4196468 140731906024016 140533477403488 140535985080021 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20049920 140731906028271 140731906028698 140731906028698 140731906031567 0
[pid=6753/tid=6784] ppid=6750 vsize=15025188 memory=1396 CPUtime=0.38 cores=0,2,4,6
/proc/6753/task/6784/stat : 6784 (java) S 6750 6750 4978 0 -1 1077944384 856 0 0 0 26 12 0 0 20 0 15 0 405133475 15385792512 3006148 33554432000 4194304 4196468 140731906024016 140535320480304 140535985080962 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20049920 140731906028271 140731906028698 140731906028698 140731906031567 0
Current children cumulated CPU time: 1503.85 s
Current children cumulated vsize: 15138316 KiB
Current children cumulated memory: 12025988 KiB

[startup+403.035 s]
# the end of solver process 6750 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=1495.97 s, system=10.1203 s

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

[startup+402.401 s]
/proc/loadavg: 4.74 4.07 3.00 6/230 6831
/proc/meminfo: memFree=504984/32770624 swapFree=66998516/67108860
[pid=6750] ppid=6747 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/6750/stat : 6750 (scop.sh) S 6747 6750 4978 0 -1 4202496 556 321 0 0 0 0 0 0 20 0 1 0 405133468 115843072 349 33554432000 4194304 5098028 140729487094896 140729487092152 139710538838652 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 9330688 140729487102760 140729487103088 140729487103088 140729487105997 0
/proc/6750/statm: 28282 349 296 221 0 87 0
[pid=6753] ppid=6750 vsize=15025188 memory=12024592 CPUtime=1504.24 cores=0,2,4,6
/proc/6753/stat : 6753 (java) S 6750 6750 4978 0 -1 1077944320 192549 0 0 0 149418 1006 0 0 20 0 15 0 405133468 15385792512 3006148 33554432000 4194304 4196468 140731906024016 140731906006560 140535985069815 0 0 2 25189581 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 20049920 140731906028271 140731906028698 140731906028698 140731906031567 0
/proc/6753/statm: 3756297 3006148 3305 1 0 3717627 0
[pid=6753/tid=6754] ppid=6750 vsize=15025188 memory=8320808402720141620 CPUtime=33.25 cores=0,2,4,6
/proc/6753/task/6754/stat : 6754 (java) S 6750 6750 4978 0 -1 1077944384 23505 0 0 0 3274 51 0 0 20 0 15 0 405133468 15385792512 3006148 33554432000 4194304 4196468 140731906024016 140535956907360 140535985080021 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20049920 140731906028271 140731906028698 140731906028698 140731906031567 0
[pid=6753/tid=6755] ppid=6750 vsize=15025188 memory=8112282956445269571 CPUtime=363.94 cores=0,2,4,6
/proc/6753/task/6755/stat : 6755 (java) R 6750 6750 4978 0 -1 4202560 18691 0 0 0 36166 228 0 0 20 0 15 0 405133470 15385792512 3006148 33554432000 4194304 4196468 140731906024016 140535989312336 140535977698023 0 4 2 25189581 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 20049920 140731906028271 140731906028698 140731906028698 140731906031567 0
[pid=6753/tid=6756] ppid=6750 vsize=15025188 memory=4156 CPUtime=363.51 cores=0,2,4,6
/proc/6753/task/6756/stat : 6756 (java) R 6750 6750 4978 0 -1 4202560 15297 0 0 0 36118 233 0 0 20 0 15 0 405133470 15385792512 3006148 33554432000 4194304 4196468 140731906024016 140535765015504 140535985091162 0 4 2 25189581 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 20049920 140731906028271 140731906028698 140731906028698 140731906031567 0
[pid=6753/tid=6757] ppid=6750 vsize=15025188 memory=1056 CPUtime=363.83 cores=0,2,4,6
/proc/6753/task/6757/stat : 6757 (java) R 6750 6750 4978 0 -1 4202560 15882 0 0 0 36148 235 0 0 20 0 15 0 405133470 15385792512 3006148 33554432000 4194304 4196468 140731906024016 140535763962760 140535977698023 0 4 2 25189581 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 20049920 140731906028271 140731906028698 140731906028698 140731906031567 0
[pid=6753/tid=6758] ppid=6750 vsize=15025188 memory=1204 CPUtime=364.11 cores=0,2,4,6
/proc/6753/task/6758/stat : 6758 (java) R 6750 6750 4978 0 -1 4202560 21075 0 0 0 36165 246 0 0 20 0 15 0 405133470 15385792512 3006148 33554432000 4194304 4196468 140731906024016 140535762910296 140535970059520 0 4 2 25189581 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 20049920 140731906028271 140731906028698 140731906028698 140731906031567 0
[pid=6753/tid=6763] ppid=6750 vsize=15025188 memory=12024592 CPUtime=3.4 cores=0,2,4,6
/proc/6753/task/6763/stat : 6763 (java) S 6750 6750 4978 0 -1 1077944384 82177 0 0 0 336 4 0 0 20 0 15 0 405133471 15385792512 3006148 33554432000 4194304 4196468 140731906024016 140535324689216 140535985080021 0 0 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20049920 140731906028271 140731906028698 140731906028698 140731906031567 0
[pid=6753/tid=6765] ppid=6750 vsize=15025188 memory=37316 CPUtime=0 cores=0,2,4,6
/proc/6753/task/6765/stat : 6765 (java) S 6750 6750 4978 0 -1 1077944384 18 0 0 0 0 0 0 0 20 0 15 0 405133472 15385792512 3006148 33554432000 4194304 4196468 140731906024016 140534484034784 140535985080021 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20049920 140731906028271 140731906028698 140731906028698 140731906031567 0
[pid=6753/tid=6767] ppid=6750 vsize=15025188 memory=988 CPUtime=0 cores=0,2,4,6
/proc/6753/task/6767/stat : 6767 (java) S 6750 6750 4978 0 -1 1077944384 27 0 0 0 0 0 0 0 20 0 15 0 405133472 15385792512 3006148 33554432000 4194304 4196468 140731906024016 140534349812480 140535985080021 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20049920 140731906028271 140731906028698 140731906028698 140731906031567 0
[pid=6753/tid=6779] ppid=6750 vsize=15025188 memory=2024 CPUtime=0 cores=0,2,4,6
/proc/6753/task/6779/stat : 6779 (java) S 6750 6750 4978 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405133474 15385792512 3006148 33554432000 4194304 4196468 140731906024016 140533975308240 140535985088411 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20049920 140731906028271 140731906028698 140731906028698 140731906031567 0
[pid=6753/tid=6780] ppid=6750 vsize=15025188 memory=1764 CPUtime=5.14 cores=0,2,4,6
/proc/6753/task/6780/stat : 6780 (java) S 6750 6750 4978 0 -1 1077944384 4728 0 0 0 514 0 0 0 20 0 15 0 405133474 15385792512 3006148 33554432000 4194304 4196468 140731906024016 140535323638272 140535985080021 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20049920 140731906028271 140731906028698 140731906028698 140731906031567 0
[pid=6753/tid=6781] ppid=6750 vsize=15025188 memory=111632 CPUtime=5.22 cores=0,2,4,6
/proc/6753/task/6781/stat : 6781 (java) S 6750 6750 4978 0 -1 1077944384 5226 0 0 0 520 2 0 0 20 0 15 0 405133474 15385792512 3006148 33554432000 4194304 4196468 140731906024016 140535322586016 140535985080021 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20049920 140731906028271 140731906028698 140731906028698 140731906031567 0
[pid=6753/tid=6782] ppid=6750 vsize=15025188 memory=800 CPUtime=1.37 cores=0,2,4,6
/proc/6753/task/6782/stat : 6782 (java) S 6750 6750 4978 0 -1 1077944384 3758 0 0 0 135 2 0 0 20 0 15 0 405133474 15385792512 3006148 33554432000 4194304 4196468 140731906024016 140535321532960 140535985080021 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20049920 140731906028271 140731906028698 140731906028698 140731906031567 0
[pid=6753/tid=6783] ppid=6750 vsize=15025188 memory=1808 CPUtime=0 cores=0,2,4,6
/proc/6753/task/6783/stat : 6783 (java) S 6750 6750 4978 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405133475 15385792512 3006148 33554432000 4194304 4196468 140731906024016 140533477403488 140535985080021 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20049920 140731906028271 140731906028698 140731906028698 140731906031567 0
[pid=6753/tid=6784] ppid=6750 vsize=15025188 memory=920 CPUtime=0.38 cores=0,2,4,6
/proc/6753/task/6784/stat : 6784 (java) S 6750 6750 4978 0 -1 1077944384 856 0 0 0 26 12 0 0 20 0 15 0 405133475 15385792512 3006148 33554432000 4194304 4196468 140731906024016 140535320480304 140535985080962 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20049920 140731906028271 140731906028698 140731906028698 140731906031567 0
Current children cumulated CPU time: 1504.24 s
Current children cumulated vsize: 15138316 KiB
Current children cumulated memory: 12025988 KiB

[startup+402.801 s]
/proc/loadavg: 4.74 4.07 3.00 6/230 6831
/proc/meminfo: memFree=504984/32770624 swapFree=66998516/67108860
[pid=6750] ppid=6747 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/6750/stat : 6750 (scop.sh) S 6747 6750 4978 0 -1 4202496 556 321 0 0 0 0 0 0 20 0 1 0 405133468 115843072 349 33554432000 4194304 5098028 140729487094896 140729487092152 139710538838652 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 9330688 140729487102760 140729487103088 140729487103088 140729487105997 0
/proc/6750/statm: 28282 349 296 221 0 87 0
[pid=6753] ppid=6750 vsize=15025188 memory=12024592 CPUtime=1505.79 cores=0,2,4,6
/proc/6753/stat : 6753 (java) S 6750 6750 4978 0 -1 1077944320 192549 0 0 0 149573 1006 0 0 20 0 15 0 405133468 15385792512 3006148 33554432000 4194304 4196468 140731906024016 140731906006560 140535985069815 0 0 2 25189581 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 20049920 140731906028271 140731906028698 140731906028698 140731906031567 0
/proc/6753/statm: 3756297 3006148 3305 1 0 3717627 0
[pid=6753/tid=6754] ppid=6750 vsize=15025188 memory=8112282956445269571 CPUtime=33.25 cores=0,2,4,6
/proc/6753/task/6754/stat : 6754 (java) S 6750 6750 4978 0 -1 1077944384 23505 0 0 0 3274 51 0 0 20 0 15 0 405133468 15385792512 3006148 33554432000 4194304 4196468 140731906024016 140535956907360 140535985080021 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20049920 140731906028271 140731906028698 140731906028698 140731906031567 0
[pid=6753/tid=6755] ppid=6750 vsize=15025188 memory=288230596050944315 CPUtime=364.33 cores=0,2,4,6
/proc/6753/task/6755/stat : 6755 (java) R 6750 6750 4978 0 -1 4202560 18691 0 0 0 36205 228 0 0 20 0 15 0 405133470 15385792512 3006148 33554432000 4194304 4196468 140731906024016 140535989312336 140535977698023 0 4 2 25189581 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 20049920 140731906028271 140731906028698 140731906028698 140731906031567 0
[pid=6753/tid=6756] ppid=6750 vsize=15025188 memory=14413730679097916 CPUtime=363.89 cores=0,2,4,6
/proc/6753/task/6756/stat : 6756 (java) R 6750 6750 4978 0 -1 4202560 15297 0 0 0 36156 233 0 0 20 0 15 0 405133470 15385792512 3006148 33554432000 4194304 4196468 140731906024016 140535765015504 140535977698023 0 4 2 25189581 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 20049920 140731906028271 140731906028698 140731906028698 140731906031567 0
[pid=6753/tid=6757] ppid=6750 vsize=15025188 memory=1396 CPUtime=364.21 cores=0,2,4,6
/proc/6753/task/6757/stat : 6757 (java) R 6750 6750 4978 0 -1 4202560 15882 0 0 0 36186 235 0 0 20 0 15 0 405133470 15385792512 3006148 33554432000 4194304 4196468 140731906024016 140535763962760 140535977698023 0 4 2 25189581 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 20049920 140731906028271 140731906028698 140731906028698 140731906031567 0
[pid=6753/tid=6758] ppid=6750 vsize=15025188 memory=6247756 CPUtime=364.51 cores=0,2,4,6
/proc/6753/task/6758/stat : 6758 (java) R 6750 6750 4978 0 -1 4202560 21075 0 0 0 36205 246 0 0 20 0 15 0 405133470 15385792512 3006148 33554432000 4194304 4196468 140731906024016 140535762910296 140535969769646 0 4 2 25189581 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 20049920 140731906028271 140731906028698 140731906028698 140731906031567 0
[pid=6753/tid=6763] ppid=6750 vsize=15025188 memory=1656 CPUtime=3.4 cores=0,2,4,6
/proc/6753/task/6763/stat : 6763 (java) S 6750 6750 4978 0 -1 1077944384 82177 0 0 0 336 4 0 0 20 0 15 0 405133471 15385792512 3006148 33554432000 4194304 4196468 140731906024016 140535324689216 140535985080021 0 0 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20049920 140731906028271 140731906028698 140731906028698 140731906031567 0
[pid=6753/tid=6765] ppid=6750 vsize=15025188 memory=8317482817917895235 CPUtime=0 cores=0,2,4,6
/proc/6753/task/6765/stat : 6765 (java) S 6750 6750 4978 0 -1 1077944384 18 0 0 0 0 0 0 0 20 0 15 0 405133472 15385792512 3006148 33554432000 4194304 4196468 140731906024016 140534484034784 140535985080021 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20049920 140731906028271 140731906028698 140731906028698 140731906031567 0
[pid=6753/tid=6767] ppid=6750 vsize=15025188 memory=6225228 CPUtime=0 cores=0,2,4,6
/proc/6753/task/6767/stat : 6767 (java) S 6750 6750 4978 0 -1 1077944384 27 0 0 0 0 0 0 0 20 0 15 0 405133472 15385792512 3006148 33554432000 4194304 4196468 140731906024016 140534349812480 140535985080021 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20049920 140731906028271 140731906028698 140731906028698 140731906031567 0
[pid=6753/tid=6779] ppid=6750 vsize=15025188 memory=1656 CPUtime=0 cores=0,2,4,6
/proc/6753/task/6779/stat : 6779 (java) S 6750 6750 4978 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405133474 15385792512 3006148 33554432000 4194304 4196468 140731906024016 140533975308240 140535985088411 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20049920 140731906028271 140731906028698 140731906028698 140731906031567 0
[pid=6753/tid=6780] ppid=6750 vsize=15025188 memory=8317482817917895235 CPUtime=5.14 cores=0,2,4,6
/proc/6753/task/6780/stat : 6780 (java) S 6750 6750 4978 0 -1 1077944384 4728 0 0 0 514 0 0 0 20 0 15 0 405133474 15385792512 3006148 33554432000 4194304 4196468 140731906024016 140535323638272 140535985080021 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20049920 140731906028271 140731906028698 140731906028698 140731906031567 0
[pid=6753/tid=6781] ppid=6750 vsize=15025188 memory=288230596019336487 CPUtime=5.22 cores=0,2,4,6
/proc/6753/task/6781/stat : 6781 (java) S 6750 6750 4978 0 -1 1077944384 5226 0 0 0 520 2 0 0 20 0 15 0 405133474 15385792512 3006148 33554432000 4194304 4196468 140731906024016 140535322586016 140535985080021 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20049920 140731906028271 140731906028698 140731906028698 140731906031567 0
[pid=6753/tid=6782] ppid=6750 vsize=15025188 memory=15534111554909571 CPUtime=1.37 cores=0,2,4,6
/proc/6753/task/6782/stat : 6782 (java) S 6750 6750 4978 0 -1 1077944384 3758 0 0 0 135 2 0 0 20 0 15 0 405133474 15385792512 3006148 33554432000 4194304 4196468 140731906024016 140535321532960 140535985080021 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20049920 140731906028271 140731906028698 140731906028698 140731906031567 0
[pid=6753/tid=6783] ppid=6750 vsize=15025188 memory=15534111554909571 CPUtime=0 cores=0,2,4,6
/proc/6753/task/6783/stat : 6783 (java) S 6750 6750 4978 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405133475 15385792512 3006148 33554432000 4194304 4196468 140731906024016 140533477403488 140535985080021 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20049920 140731906028271 140731906028698 140731906028698 140731906031567 0
[pid=6753/tid=6784] ppid=6750 vsize=15025188 memory=8387223549236478041 CPUtime=0.38 cores=0,2,4,6
/proc/6753/task/6784/stat : 6784 (java) S 6750 6750 4978 0 -1 1077944384 856 0 0 0 26 12 0 0 20 0 15 0 405133475 15385792512 3006148 33554432000 4194304 4196468 140731906024016 140535320480304 140535985080962 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20049920 140731906028271 140731906028698 140731906028698 140731906031567 0
Current children cumulated CPU time: 1505.79 s
Current children cumulated vsize: 15138316 KiB
Current children cumulated memory: 12025988 KiB

[startup+403.001 s]*
/proc/loadavg: 4.74 4.07 3.00 3/217 6831
/proc/meminfo: memFree=4427596/32770624 swapFree=66998516/67108860
[pid=6750] ppid=6747 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/6750/stat : 6750 (scop.sh) S 6747 6750 4978 0 -1 4202496 556 321 0 0 0 0 0 0 20 0 1 0 405133468 115843072 349 33554432000 4194304 5098028 140729487094896 140729487092152 139710538838652 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 9330688 140729487102760 140729487103088 140729487103088 140729487105997 0
/proc/6750/statm: 28282 349 296 221 0 87 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 113128 KiB
Current children cumulated memory: 1396 KiB

Child status: 0
Real time (s): 403.035
CPU time (s): 1506.1
CPU user time (s): 1495.97
CPU system time (s): 10.1203
CPU usage (%): 373.688
Max. virtual memory (cumulated for all children) (KiB): 15138316
Max. memory (cumulated for all children) (KiB): 12026072

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1495.98
system time used= 10.1203
maximum resident set size= 12025108
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 194854
page faults= 0
swaps= 0
block input operations= 0
block output operations= 512
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 15612
involuntary context switches= 13791


# summary of solver processes directly reported to runsolver:
#   pid: 6750
#   total CPU time (s): 1506.1
#   total CPU user time (s): 1495.97
#   total CPU system time (s): 10.1203

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 2.49313 second user time and 4.29533 second system time

The end

Launcher Data 

Begin job on node127 at 2019-09-12 13:43:26
IDJOB=4387692
IDBENCH=122923
IDSOLVER=2825
FILE ID=node127/4387692-1568288646
RUNJOBID= node127-1568286090-6276
PBS_JOBID= 21701077
Free space on /tmp= 54504 MiB

SOLVER NAME= Fun-sCOP order+GlueMiniSat (2019-06-15)
BENCH NAME= XCSP17/NumberPartitioning/NumberPartitioning-m1-s1/NumberPartitioning-152.xml
COMMAND LINE= DIR/scop.sh 11g DIR/scop.jar -order DIR/glueminisat-simp-2.2.10-193oa-n-release -model:-verb=3:-elim-cl=5000000:-native-oa TMPDIR BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4387692-1568288646/watcher-4387692-1568288646 -o /tmp/evaluation-result-4387692-1568288646/solver-4387692-1568288646 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node127-1568286090-6276 --watchdog 2580  HOME/scop.sh 11g HOME/scop.jar -order HOME/glueminisat-simp-2.2.10-193oa-n-release -model:-verb=3:-elim-cl=5000000:-native-oa HOME HOME/instance-4387692-1568288646.xml

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

MD5SUM BENCH= 70d9add84a9acab5bfce09ac7a4943a4
RANDOM SEED=672981021

node127.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.55
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.55
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.55
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.55
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:        18793256 kB
MemAvailable:   31854504 kB
Buffers:          173640 kB
Cached:         13034164 kB
SwapCached:         6784 kB
Active:          2192604 kB
Inactive:       11026232 kB
Active(anon):      15584 kB
Inactive(anon):    36264 kB
Active(file):    2177020 kB
Inactive(file): 10989968 kB
Unevictable:      110596 kB
Mlocked:          110596 kB
SwapTotal:      67108860 kB
SwapFree:       66998516 kB
Dirty:             36748 kB
Writeback:             0 kB
AnonPages:        169160 kB
Mapped:            42580 kB
Shmem:             32692 kB
Slab:             351196 kB
SReclaimable:     322720 kB
SUnreclaim:        28476 kB
KernelStack:        3888 kB
PageTables:         5748 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     504148 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    122880 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      138624 kB
DirectMap2M:    33406976 kB

Free space on /tmp at the end= 54464 MiB
End job on node127 at 2019-09-12 13:50:09