Trace number 4305663

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
scop both+MapleCOMSPS (2018-07-31)? (TO) 2520.1 2504.32

General information on the benchmark

NameSocialGolfers/
SocialGolfers-6-6-7-cp_c18.xml
MD5SUM6d0c168c4ed68c601cb94602702970c2
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 variables252
Number of constraints13239
Number of domains1
Minimum domain size6
Maximum domain size6
Distribution of domain sizes[{"size":6,"count":252}]
Minimum variable degree212
Maximum variable degree213
Distribution of variable degrees[{"degree":212,"count":216},{"degree":213,"count":36}]
Minimum constraint arity4
Maximum constraint arity252
Distribution of constraint arities[{"arity":4,"count":13230},{"arity":36,"count":8},{"arity":252,"count":1}]
Number of extensional constraints0
Number of intensional constraints13230
Distribution of constraint types[{"type":"intension","count":13230},{"type":"lex","count":1},{"type":"cardinality","count":7},{"type":"instantiation","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 -both -solver minisat_release -solverOption default -tmp HOME -serialFile HOME/scop-23235-serial-file.bin HOME/instance-4305663-1534075059.xml
0.54/0.51	
0.54/0.51	scop both+minisat_release (2018-07-31)
0.54/0.51	(Encoding Process)
0.54/0.51	
0.66/0.54	c BEGIN-Prog: Sun Aug 12 13:57:40 CEST 2018
0.66/0.54	c PID: 23238
0.66/0.54	c IP: 172.20.3.103
0.66/0.54	c HOST: node103.alineos.net
0.66/0.55	c (0,0) Parsing Begin
7.23/2.71	c (2,2) Parsing End
7.23/2.72	c (2,2) CSP: 252 int (0 aux), 0 bool (0 aux), 13239 ctr, max domain size 6
7.23/2.72	c (2,2) Heap : 676 MiB used (max 10795 MiB), NonHeap : 23 MiB used (max 0 MiB)
7.23/2.72	c (2,2) Constraint Name Generate Begin
7.23/2.78	c (2,2) Ctr:HOME/instance-4305663-1534075059.xml,Cardinality:Instantiation:IntVar:LexMatrix:Ne:Num:Or
7.23/2.78	c (2,2) Constraint Name Generate End
7.23/2.78	c (2,2) Heap : 676 MiB used (max 10795 MiB), NonHeap : 24 MiB used (max 0 MiB)
7.23/2.78	c (2,2) CSP to CSPinCNF Begin
8.04/3.08	c (2,2) translated 1324 (10%) constraints
8.37/3.17	c (2,2) translated 2648 (20%) constraints
8.62/3.23	c (2,2) translated 3972 (30%) constraints
8.62/3.29	c (2,2) translated 5296 (40%) constraints
8.92/3.34	c (2,2) translated 6620 (50%) constraints
8.92/3.38	c (2,2) translated 7944 (60%) constraints
9.18/3.41	c (2,2) translated 9268 (70%) constraints
9.18/3.45	c (2,2) translated 10592 (80%) constraints
9.18/3.48	c (2,2) translated 11916 (90%) constraints
10.89/3.98	c (3,3) translated 13239 (100%) constraints
13.25/4.74	c (4,4) STATISTICS1:HOME/instance-4305663-1534075059.xml,Cardinality:Instantiation:IntVar:LexMatrix:Ne:Num:Or,2143,17172,34359738368,6,4,36,34359738368:84;6:23420;1:3921,6:49503;2:5673;1:8239,4:13609;3:1553;2:1891;1:119,36:84;2:27341;1:8769,
13.25/4.74	c (4,4) ==========================================
13.25/4.74	c (4,4) Both Encoding selects:
13.25/4.74	c (4,4) Order
13.25/4.74	c (4,4) ==========================================
13.58/4.88	c (4,4) translated 1718 (10%) constraints
13.87/4.99	c (4,4) translated 3435 (20%) constraints
14.20/5.09	c (4,4) translated 5152 (30%) constraints
14.50/5.18	c (4,4) translated 6869 (40%) constraints
14.71/5.27	c (4,4) translated 8586 (50%) constraints
14.87/5.34	c (4,4) translated 10304 (60%) constraints
15.01/5.41	c (4,4) translated 12021 (70%) constraints
15.19/5.57	c (5,5) translated 13738 (80%) constraints
15.82/5.76	c (5,5) translated 15455 (90%) constraints
16.11/5.85	c (5,5) translated 17172 (100%) constraints
16.11/5.85	c (5,5) CSP to CSPinCNF End
16.11/5.86	c (5,5) CSP: 630 int (378 aux), 3403 bool (3403 aux), 21030 ctr, max domain size 7
16.11/5.86	c (5,5) Heap : 1577 MiB used (max 10795 MiB), NonHeap : 30 MiB used (max 0 MiB)
16.11/5.86	c (5,5) CSPinCNF Propagation Begin
17.35/6.20	c (5,5) 786 values, 5788 unsatisfiable literals, and 4804 valid clauses are removed
17.35/6.20	c (5,5) CSPinCNF Propagation End
17.35/6.20	c (5,5) CSP: 1092 int (840 aux), 2941 bool (2941 aux), 16226 ctr, max domain size 7
17.35/6.20	c (5,5) Heap : 1689 MiB used (max 10795 MiB), NonHeap : 29 MiB used (max 0 MiB)
17.35/6.20	c (5,5) Simplify CSPinCNF Begin
18.20/6.59	c (6,6) Simplify CSPinCNF End
18.20/6.59	c (6,6) CSP: 1092 int (840 aux), 10941 bool (10941 aux), 24226 ctr, max domain size 7
18.20/6.59	c (6,6) Heap : 1858 MiB used (max 10795 MiB), NonHeap : 29 MiB used (max 0 MiB)
18.20/6.59	c (6,6) Calculate Precise Domain Begin
18.51/6.65	c (6,6) 0 values are removed by re-calculation
18.51/6.65	c (6,6) Calculate Precise Domain End
18.51/6.66	c (6,6) CSP: 1092 int (840 aux), 10941 bool (10941 aux), 24226 ctr, max domain size 7
18.51/6.66	c (6,6) Heap : 1858 MiB used (max 10795 MiB), NonHeap : 29 MiB used (max 0 MiB)
18.51/6.66	c (6,6) CSPinCNF to SatSolver Begin
19.10/6.86	c (6,6) 2423 (10 %) CSP clauses are encoded (13965 SAT variables, 13451 SAT clauses)
19.40/6.96	c (6,6) 4846 (20 %) CSP clauses are encoded (13965 SAT variables, 24929 SAT clauses)
19.73/7.03	c (6,6) 7268 (30 %) CSP clauses are encoded (13965 SAT variables, 35031 SAT clauses)
19.73/7.09	c (6,6) 9691 (40 %) CSP clauses are encoded (13965 SAT variables, 45044 SAT clauses)
20.02/7.13	c (6,6) 12113 (50 %) CSP clauses are encoded (13965 SAT variables, 52396 SAT clauses)
20.02/7.15	c (6,6) 14536 (60 %) CSP clauses are encoded (13965 SAT variables, 54819 SAT clauses)
20.02/7.17	c (6,6) 16959 (70 %) CSP clauses are encoded (13965 SAT variables, 57242 SAT clauses)
20.23/7.27	c (6,6) 19381 (80 %) CSP clauses are encoded (13965 SAT variables, 71388 SAT clauses)
20.53/7.37	c (6,6) 21804 (90 %) CSP clauses are encoded (13965 SAT variables, 90647 SAT clauses)
20.82/7.43	c (6,6) 24226 (100 %) CSP clauses are encoded (13965 SAT variables, 102087 SAT clauses)
20.82/7.43	c (6,6) Launch Command will be: minisat_release
20.82/7.43	c (6,6) CSPinCNF to SatSolver End
20.82/7.43	c (6,6) Heap : 2196 MiB used (max 10795 MiB), NonHeap : 30 MiB used (max 0 MiB)
21.40/7.60	c (7,7) STATISTICS2:HOME/instance-4305663-1534075059.xml,Cardinality:Instantiation:IntVar:LexMatrix:Ne:Num:Or,12033,24226,64,7,4,7,64:432;49:288;6:8300;1:89,7:1296;6:21009;2:57347;1:89,4:9789;3:909;2:12773;1:755,7:432;3:288;2:8389;1:59075,
21.40/7.60	c (7,7) 13965 bool, 102092 clause
21.40/7.60	c (7,7) Export Begin
21.75/7.70	c (7,7) Export to HOME/scop-23235-serial-file.bin
21.75/7.70	c (7,7) Export End
21.75/7.71	c (7,7) Export File Size: 0.04 MB
21.75/7.71	c (7,7) 2,2,5,5,6,6,6,STOP-AFTER(DIMACS)
21.75/7.71	c END-Prog: Sun Aug 12 13:57:47 CEST 2018
21.75/7.74	c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp scop.jar fun.scop.XCSP18Solve HOME/scop-23235-serial-file.bin
22.40/8.22	c (0,0) Read Serial File Begin
22.40/8.22	c (0,0) HOME/scop-23235-serial-file.bin
22.71/8.40	c (0,0) Read Serial File End
22.71/8.42	
22.71/8.42	scop order+minisat_release (2018-07-31)
22.71/8.42	(Solving Process)
22.71/8.42	
22.71/8.44	c BEGIN-Prog: Sun Aug 12 13:57:48 CEST 2018
22.71/8.44	c PID: 23253
22.71/8.44	c IP: 172.20.3.103
22.71/8.44	c HOST: node103.alineos.net
22.71/8.44	c (0,0) SatSolver.solve Begin
22.71/8.44	c (0,0) 0 bool, 0 clause
22.71/8.44	c (0,0) minisat_release HOME/instance-4305663-1534075059.xml-scop-23238.cnf
2520.04/2504.30	c (2496,0) SatSolver is killed by some reasons.
2520.04/2504.30	c (2496,0) receiving signal SIGTERM
2520.04/2504.30	s UNKNOWN
2520.04/2504.31	c (scop.sh) Receiving Signal. Removing all intermediate files.
2520.04/2504.31	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 (7868 MiB free)
  memory of node 1: 16384 MiB (8749 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4305663-1534075059/watcher-4305663-1534075059 -o /tmp/evaluation-result-4305663-1534075059/solver-4305663-1534075059 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node103-1534064938-20638 --watchdog 2580 scop.sh 11g scop.jar -both minisat_release default HOME HOME/instance-4305663-1534075059.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=23235, runsolver pid=23232
Current StackSize limit: 8192 KiB


[startup+0.100157 s]*
/proc/loadavg: 2.36 2.16 2.10 4/222 23252
/proc/meminfo: memFree=16957872/32770624 swapFree=67058740/67108860
[pid=23235] ppid=23232 vsize=113128 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/23235/stat : 23235 (scop.sh) S 23232 23235 20606 0 -1 4202496 560 321 0 0 0 0 0 0 20 0 1 0 225069112 115843072 349 33554432000 4194304 5098028 140732990058816 140732990056072 140615869739644 0 65536 4100 81923 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 24113152 140732990067777 140732990067975 140732990067975 140732990070733 0
/proc/23235/statm: 28282 349 296 221 0 87 0
[pid=23238] ppid=23235 vsize=15012476 memory=70976 CPUtime=0.11 cores=1,3,5,7
/proc/23238/stat : 23238 (java) S 23235 23235 20606 0 -1 1077944320 6985 0 0 0 9 2 0 0 20 0 15 0 225069113 15372775424 17744 33554432000 4194304 4196468 140735582670800 140735582653344 139964846243575 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 16277504 140735582675975 140735582676273 140735582676273 140735582678991 0
/proc/23238/statm: 3753119 17744 2742 1 0 3715579 0
[pid=23238/tid=23239] ppid=23235 vsize=15012476 memory=-6220453793737523135 CPUtime=0.09 cores=1,3,5,7
/proc/23238/task/23239/stat : 23239 (java) R 23235 23235 20606 0 -1 4202560 5093 0 0 0 7 2 0 0 20 0 15 0 225069113 15372775424 17810 33554432000 4194304 4196468 140735582670800 139964818020656 139964826519389 0 4 2 16800973 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 16277504 140735582675975 140735582676273 140735582676273 140735582678991 0
[pid=23238/tid=23240] ppid=23235 vsize=15012476 memory=4206468019014099040 CPUtime=0 cores=1,3,5,7
/proc/23238/task/23240/stat : 23240 (java) S 23235 23235 20606 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 225069114 15372775424 17810 33554432000 4194304 4196468 140735582670800 139964850485648 139964846253781 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16277504 140735582675975 140735582676273 140735582676273 140735582678991 0
[pid=23238/tid=23241] ppid=23235 vsize=15012476 memory=139684319258240 CPUtime=0 cores=1,3,5,7
/proc/23238/task/23241/stat : 23241 (java) S 23235 23235 20606 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225069114 15372775424 17810 33554432000 4194304 4196468 140735582670800 139964664641808 139964846253781 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16277504 140735582675975 140735582676273 140735582676273 140735582678991 0
[pid=23238/tid=23242] ppid=23235 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23238/task/23242/stat : 23242 (java) S 23235 23235 20606 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225069114 15372775424 17810 33554432000 4194304 4196468 140735582670800 139964305451664 139964846253781 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16277504 140735582675975 140735582676273 140735582676273 140735582678991 0
[pid=23238/tid=23243] ppid=23235 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/23238/task/23243/stat : 23243 (java) S 23235 23235 20606 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 225069114 15372775424 17810 33554432000 4194304 4196468 140735582670800 139964304398864 139964846253781 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16277504 140735582675975 140735582676273 140735582676273 140735582678991 0
[pid=23238/tid=23244] ppid=23235 vsize=15012476 memory=139684319258240 CPUtime=0 cores=1,3,5,7
/proc/23238/task/23244/stat : 23244 (java) S 23235 23235 20606 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 225069116 15372775424 17810 33554432000 4194304 4196468 140735582670800 139963816569456 139964846254722 0 0 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16277504 140735582675975 140735582676273 140735582676273 140735582678991 0
[pid=23238/tid=23245] ppid=23235 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/23238/task/23245/stat : 23245 (java) S 23235 23235 20606 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 225069116 15372775424 17810 33554432000 4194304 4196468 140735582670800 139963454711072 139964846253781 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16277504 140735582675975 140735582676273 140735582676273 140735582678991 0
[pid=23238/tid=23246] ppid=23235 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23238/task/23246/stat : 23246 (java) S 23235 23235 20606 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 225069117 15372775424 17876 33554432000 4194304 4196468 140735582670800 139963320489584 139964846253781 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16277504 140735582675975 140735582676273 140735582676273 140735582678991 0
[pid=23238/tid=23247] ppid=23235 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23238/task/23247/stat : 23247 (java) S 23235 23235 20606 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 225069119 15372775424 17876 33554432000 4194304 4196468 140735582670800 139962945985104 139964846262171 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16277504 140735582675975 140735582676273 140735582676273 140735582678991 0
[pid=23238/tid=23248] ppid=23235 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23238/task/23248/stat : 23248 (java) S 23235 23235 20606 0 -1 1077944384 314 0 0 0 0 0 0 0 20 0 15 0 225069119 15372775424 17876 33554432000 4194304 4196468 140735582670800 139963815516272 139964846254722 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16277504 140735582675975 140735582676273 140735582676273 140735582678991 0
[pid=23238/tid=23249] ppid=23235 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/23238/task/23249/stat : 23249 (java) S 23235 23235 20606 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 225069119 15372775424 17876 33554432000 4194304 4196468 140735582670800 139963814463472 139964846254722 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16277504 140735582675975 140735582676273 140735582676273 140735582678991 0
[pid=23238/tid=23250] ppid=23235 vsize=15012476 memory=139684319258240 CPUtime=0 cores=1,3,5,7
/proc/23238/task/23250/stat : 23250 (java) S 23235 23235 20606 0 -1 1077944384 262 0 0 0 0 0 0 0 20 0 15 0 225069119 15372775424 17876 33554432000 4194304 4196468 140735582670800 139963813411184 139964846254722 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16277504 140735582675975 140735582676273 140735582676273 140735582678991 0
[pid=23238/tid=23251] ppid=23235 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/23238/task/23251/stat : 23251 (java) S 23235 23235 20606 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 225069119 15372775424 17876 33554432000 4194304 4196468 140735582670800 139962448079328 139964846253781 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16277504 140735582675975 140735582676273 140735582676273 140735582678991 0
[pid=23238/tid=23252] ppid=23235 vsize=15012476 memory=139684319258240 CPUtime=0 cores=1,3,5,7
/proc/23238/task/23252/stat : 23252 (java) S 23235 23235 20606 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225069119 15372775424 17876 33554432000 4194304 4196468 140735582670800 139963812359088 139964846254722 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16277504 140735582675975 140735582676273 140735582676273 140735582678991 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 15125604 KiB
Current children cumulated memory: 72372 KiB

[startup+0.210499 s]*
/proc/loadavg: 2.36 2.16 2.10 3/222 23252
/proc/meminfo: memFree=16944168/32770624 swapFree=67058740/67108860
[pid=23235] ppid=23232 vsize=113128 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/23235/stat : 23235 (scop.sh) S 23232 23235 20606 0 -1 4202496 560 321 0 0 0 0 0 0 20 0 1 0 225069112 115843072 349 33554432000 4194304 5098028 140732990058816 140732990056072 140615869739644 0 65536 4100 81923 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 24113152 140732990067777 140732990067975 140732990067975 140732990070733 0
/proc/23235/statm: 28282 349 296 221 0 87 0
[pid=23238] ppid=23235 vsize=15012476 memory=83772 CPUtime=0.26 cores=1,3,5,7
/proc/23238/stat : 23238 (java) S 23235 23235 20606 0 -1 1077944320 10301 0 0 0 22 4 0 0 20 0 15 0 225069113 15372775424 20943 33554432000 4194304 4196468 140735582670800 140735582653344 139964846243575 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 16277504 140735582675975 140735582676273 140735582676273 140735582678991 0
/proc/23238/statm: 3753119 20943 2928 1 0 3715579 0
[pid=23238/tid=23239] ppid=23235 vsize=15012476 memory=7022364632946311227 CPUtime=0.19 cores=1,3,5,7
/proc/23238/task/23239/stat : 23239 (java) R 23235 23235 20606 0 -1 4202560 8184 0 0 0 17 2 0 0 20 0 15 0 225069113 15372775424 20943 33554432000 4194304 4196468 140735582670800 139964818062832 139964830324062 0 4 2 16800973 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 16277504 140735582675975 140735582676273 140735582676273 140735582678991 0
[pid=23238/tid=23240] ppid=23235 vsize=15012476 memory=545 CPUtime=0 cores=1,3,5,7
/proc/23238/task/23240/stat : 23240 (java) S 23235 23235 20606 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 225069114 15372775424 20943 33554432000 4194304 4196468 140735582670800 139964850485648 139964846253781 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16277504 140735582675975 140735582676273 140735582676273 140735582678991 0
[pid=23238/tid=23241] ppid=23235 vsize=15012476 memory=139684320421474 CPUtime=0 cores=1,3,5,7
/proc/23238/task/23241/stat : 23241 (java) S 23235 23235 20606 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225069114 15372775424 20943 33554432000 4194304 4196468 140735582670800 139964664641808 139964846253781 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16277504 140735582675975 140735582676273 140735582676273 140735582678991 0
[pid=23238/tid=23242] ppid=23235 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23238/task/23242/stat : 23242 (java) S 23235 23235 20606 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225069114 15372775424 20943 33554432000 4194304 4196468 140735582670800 139964305451664 139964846253781 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16277504 140735582675975 140735582676273 140735582676273 140735582678991 0
[pid=23238/tid=23243] ppid=23235 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/23238/task/23243/stat : 23243 (java) S 23235 23235 20606 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 225069114 15372775424 20943 33554432000 4194304 4196468 140735582670800 139964304398864 139964846253781 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16277504 140735582675975 140735582676273 140735582676273 140735582678991 0
[pid=23238/tid=23244] ppid=23235 vsize=15012476 memory=139684319258240 CPUtime=0 cores=1,3,5,7
/proc/23238/task/23244/stat : 23244 (java) S 23235 23235 20606 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 225069116 15372775424 20943 33554432000 4194304 4196468 140735582670800 139963816569456 139964846254722 0 0 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16277504 140735582675975 140735582676273 140735582676273 140735582678991 0
[pid=23238/tid=23245] ppid=23235 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/23238/task/23245/stat : 23245 (java) S 23235 23235 20606 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 225069116 15372775424 20943 33554432000 4194304 4196468 140735582670800 139963454711072 139964846253781 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16277504 140735582675975 140735582676273 140735582676273 140735582678991 0
[pid=23238/tid=23246] ppid=23235 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23238/task/23246/stat : 23246 (java) S 23235 23235 20606 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 225069117 15372775424 20943 33554432000 4194304 4196468 140735582670800 139963320489584 139964846253781 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16277504 140735582675975 140735582676273 140735582676273 140735582678991 0
[pid=23238/tid=23247] ppid=23235 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23238/task/23247/stat : 23247 (java) S 23235 23235 20606 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 225069119 15372775424 20943 33554432000 4194304 4196468 140735582670800 139962945985104 139964846262171 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16277504 140735582675975 140735582676273 140735582676273 140735582678991 0
[pid=23238/tid=23248] ppid=23235 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23238/task/23248/stat : 23248 (java) R 23235 23235 20606 0 -1 1077944384 463 0 0 0 0 0 0 0 20 0 15 0 225069119 15372775424 20943 33554432000 4194304 4196468 140735582670800 139963815516368 139964846253781 0 4 2 16800973 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 16277504 140735582675975 140735582676273 140735582676273 140735582678991 0
[pid=23238/tid=23249] ppid=23235 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/23238/task/23249/stat : 23249 (java) R 23235 23235 20606 0 -1 4202560 24 0 0 0 0 0 0 0 20 0 15 0 225069119 15372775424 20943 33554432000 4194304 4196468 140735582670800 139963814455120 139964826611120 0 4 2 16800973 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 16277504 140735582675975 140735582676273 140735582676273 140735582678991 0
[pid=23238/tid=23250] ppid=23235 vsize=15012476 memory=139684319258240 CPUtime=0.03 cores=1,3,5,7
/proc/23238/task/23250/stat : 23250 (java) S 23235 23235 20606 0 -1 1077944384 283 0 0 0 3 0 0 0 20 0 15 0 225069119 15372775424 20943 33554432000 4194304 4196468 140735582670800 139963813411184 139964846254722 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16277504 140735582675975 140735582676273 140735582676273 140735582678991 0
[pid=23238/tid=23251] ppid=23235 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/23238/task/23251/stat : 23251 (java) S 23235 23235 20606 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 225069119 15372775424 20943 33554432000 4194304 4196468 140735582670800 139962448079328 139964846253781 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16277504 140735582675975 140735582676273 140735582676273 140735582678991 0
[pid=23238/tid=23252] ppid=23235 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23238/task/23252/stat : 23252 (java) S 23235 23235 20606 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225069119 15372775424 20943 33554432000 4194304 4196468 140735582670800 139963812359088 139964846254722 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16277504 140735582675975 140735582676273 140735582676273 140735582678991 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 15125604 KiB
Current children cumulated memory: 85168 KiB

[startup+0.310659 s]*
/proc/loadavg: 2.36 2.16 2.10 3/222 23252
/proc/meminfo: memFree=16940460/32770624 swapFree=67058740/67108860
[pid=23235] ppid=23232 vsize=113128 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/23235/stat : 23235 (scop.sh) S 23232 23235 20606 0 -1 4202496 560 321 0 0 0 0 0 0 20 0 1 0 225069112 115843072 349 33554432000 4194304 5098028 140732990058816 140732990056072 140615869739644 0 65536 4100 81923 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 24113152 140732990067777 140732990067975 140732990067975 140732990070733 0
/proc/23235/statm: 28282 349 296 221 0 87 0
[pid=23238] ppid=23235 vsize=15012476 memory=87656 CPUtime=0.43 cores=1,3,5,7
/proc/23238/stat : 23238 (java) S 23235 23235 20606 0 -1 1077944320 10929 0 0 0 39 4 0 0 20 0 15 0 225069113 15372775424 21914 33554432000 4194304 4196468 140735582670800 140735582653344 139964846243575 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 16277504 140735582675975 140735582676273 140735582676273 140735582678991 0
/proc/23238/statm: 3753119 21914 3003 1 0 3715579 0
[pid=23238/tid=23239] ppid=23235 vsize=15012476 memory=6791534058613427641 CPUtime=0.29 cores=1,3,5,7
/proc/23238/task/23239/stat : 23239 (java) R 23235 23235 20606 0 -1 4202560 8631 0 0 0 26 3 0 0 20 0 15 0 225069113 15372775424 21914 33554432000 4194304 4196468 140735582670800 139964818038576 139964846264922 0 4 2 16800973 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 16277504 140735582675975 140735582676273 140735582676273 140735582678991 0
[pid=23238/tid=23240] ppid=23235 vsize=15012476 memory=4872558044660077418 CPUtime=0 cores=1,3,5,7
/proc/23238/task/23240/stat : 23240 (java) S 23235 23235 20606 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 225069114 15372775424 21914 33554432000 4194304 4196468 140735582670800 139964850485648 139964846253781 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16277504 140735582675975 140735582676273 140735582676273 140735582678991 0
[pid=23238/tid=23241] ppid=23235 vsize=15012476 memory=-3258418265892434876 CPUtime=0 cores=1,3,5,7
/proc/23238/task/23241/stat : 23241 (java) S 23235 23235 20606 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225069114 15372775424 21914 33554432000 4194304 4196468 140735582670800 139964664641808 139964846253781 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16277504 140735582675975 140735582676273 140735582676273 140735582678991 0
[pid=23238/tid=23242] ppid=23235 vsize=15012476 memory=4572146066226452084 CPUtime=0 cores=1,3,5,7
/proc/23238/task/23242/stat : 23242 (java) S 23235 23235 20606 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225069114 15372775424 21914 33554432000 4194304 4196468 140735582670800 139964305451664 139964846253781 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16277504 140735582675975 140735582676273 140735582676273 140735582678991 0
[pid=23238/tid=23243] ppid=23235 vsize=15012476 memory=6944613755495348631 CPUtime=0 cores=1,3,5,7
/proc/23238/task/23243/stat : 23243 (java) S 23235 23235 20606 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 225069114 15372775424 21914 33554432000 4194304 4196468 140735582670800 139964304398864 139964846253781 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16277504 140735582675975 140735582676273 140735582676273 140735582678991 0
[pid=23238/tid=23244] ppid=23235 vsize=15012476 memory=7893295687695687954 CPUtime=0 cores=1,3,5,7
/proc/23238/task/23244/stat : 23244 (java) S 23235 23235 20606 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 225069116 15372775424 21914 33554432000 4194304 4196468 140735582670800 139963816569456 139964846254722 0 0 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16277504 140735582675975 140735582676273 140735582676273 140735582678991 0
[pid=23238/tid=23245] ppid=23235 vsize=15012476 memory=-8813974798734826869 CPUtime=0 cores=1,3,5,7
/proc/23238/task/23245/stat : 23245 (java) S 23235 23235 20606 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 225069116 15372775424 21914 33554432000 4194304 4196468 140735582670800 139963454711072 139964846253781 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16277504 140735582675975 140735582676273 140735582676273 140735582678991 0
[pid=23238/tid=23246] ppid=23235 vsize=15012476 memory=-6664436420846796947 CPUtime=0 cores=1,3,5,7
/proc/23238/task/23246/stat : 23246 (java) S 23235 23235 20606 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 225069117 15372775424 21914 33554432000 4194304 4196468 140735582670800 139963320489584 139964846253781 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16277504 140735582675975 140735582676273 140735582676273 140735582678991 0
[pid=23238/tid=23247] ppid=23235 vsize=15012476 memory=4426078206164241782 CPUtime=0 cores=1,3,5,7
/proc/23238/task/23247/stat : 23247 (java) S 23235 23235 20606 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 225069119 15372775424 21914 33554432000 4194304 4196468 140735582670800 139962945985104 139964846262171 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16277504 140735582675975 140735582676273 140735582676273 140735582678991 0
[pid=23238/tid=23248] ppid=23235 vsize=15012476 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/23238/task/23248/stat : 23248 (java) S 23235 23235 20606 0 -1 1077944384 549 0 0 0 2 0 0 0 20 0 15 0 225069119 15372775424 21914 33554432000 4194304 4196468 140735582670800 139963815516272 139964846254722 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16277504 140735582675975 140735582676273 140735582676273 140735582678991 0
[pid=23238/tid=23249] ppid=23235 vsize=15012476 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/23238/task/23249/stat : 23249 (java) R 23235 23235 20606 0 -1 4202560 80 0 0 0 2 0 0 0 20 0 15 0 225069119 15372775424 21914 33554432000 4194304 4196468 140735582670800 139963814463472 139964846264922 0 4 2 16800973 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 16277504 140735582675975 140735582676273 140735582676273 140735582678991 0
[pid=23238/tid=23250] ppid=23235 vsize=15012476 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/23238/task/23250/stat : 23250 (java) S 23235 23235 20606 0 -1 1077944384 317 0 0 0 7 0 0 0 20 0 15 0 225069119 15372775424 21914 33554432000 4194304 4196468 140735582670800 139963813411184 139964846254722 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16277504 140735582675975 140735582676273 140735582676273 140735582678991 0
[pid=23238/tid=23251] ppid=23235 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23238/task/23251/stat : 23251 (java) S 23235 23235 20606 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 225069119 15372775424 21914 33554432000 4194304 4196468 140735582670800 139962448079328 139964846253781 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16277504 140735582675975 140735582676273 140735582676273 140735582678991 0
[pid=23238/tid=23252] ppid=23235 vsize=15012476 memory=3473180417806377009 CPUtime=0 cores=1,3,5,7
/proc/23238/task/23252/stat : 23252 (java) S 23235 23235 20606 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225069119 15372775424 21914 33554432000 4194304 4196468 140735582670800 139963812359088 139964846254722 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16277504 140735582675975 140735582676273 140735582676273 140735582678991 0
Current children cumulated CPU time: 0.43 s
Current children cumulated vsize: 15125604 KiB
Current children cumulated memory: 89052 KiB

[startup+0.701531 s]
/proc/loadavg: 2.36 2.16 2.10 3/222 23252
/proc/meminfo: memFree=16915780/32770624 swapFree=67058740/67108860
[pid=23235] ppid=23232 vsize=113128 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/23235/stat : 23235 (scop.sh) S 23232 23235 20606 0 -1 4202496 560 321 0 0 0 0 0 0 20 0 1 0 225069112 115843072 349 33554432000 4194304 5098028 140732990058816 140732990056072 140615869739644 0 65536 4100 81923 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 24113152 140732990067777 140732990067975 140732990067975 140732990070733 0
/proc/23235/statm: 28282 349 296 221 0 87 0
[pid=23238] ppid=23235 vsize=15018748 memory=129640 CPUtime=1.07 cores=1,3,5,7
/proc/23238/stat : 23238 (java) S 23235 23235 20606 0 -1 1077944320 18055 0 0 0 101 6 0 0 20 0 15 0 225069113 15379197952 32410 33554432000 4194304 4196468 140735582670800 140735582653344 139964846243575 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 16277504 140735582675975 140735582676273 140735582676273 140735582678991 0
/proc/23238/statm: 3754687 32410 3145 1 0 3716091 0
[pid=23238/tid=23239] ppid=23235 vsize=15018748 memory=2372 CPUtime=0.67 cores=1,3,5,7
/proc/23238/task/23239/stat : 23239 (java) R 23235 23235 20606 0 -1 4202560 15092 0 0 0 63 4 0 0 20 0 15 0 225069113 15379197952 32410 33554432000 4194304 4196468 140735582670800 139964818081920 139964846265501 0 4 2 25189581 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 16277504 140735582675975 140735582676273 140735582676273 140735582678991 0
[pid=23238/tid=23240] ppid=23235 vsize=15018748 memory=116 CPUtime=0 cores=1,3,5,7
/proc/23238/task/23240/stat : 23240 (java) S 23235 23235 20606 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 225069114 15379197952 32410 33554432000 4194304 4196468 140735582670800 139964850485648 139964846253781 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16277504 140735582675975 140735582676273 140735582676273 140735582678991 0
[pid=23238/tid=23241] ppid=23235 vsize=15018748 memory=12922 CPUtime=0 cores=1,3,5,7
/proc/23238/task/23241/stat : 23241 (java) S 23235 23235 20606 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225069114 15379197952 32410 33554432000 4194304 4196468 140735582670800 139964664641808 139964846253781 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16277504 140735582675975 140735582676273 140735582676273 140735582678991 0
[pid=23238/tid=23242] ppid=23235 vsize=15018748 memory=448505 CPUtime=0 cores=1,3,5,7
/proc/23238/task/23242/stat : 23242 (java) S 23235 23235 20606 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225069114 15379197952 32410 33554432000 4194304 4196468 140735582670800 139964305451664 139964846253781 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16277504 140735582675975 140735582676273 140735582676273 140735582678991 0
[pid=23238/tid=23243] ppid=23235 vsize=15018748 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23238/task/23243/stat : 23243 (java) S 23235 23235 20606 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 225069114 15379197952 32410 33554432000 4194304 4196468 140735582670800 139964304398864 139964846253781 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16277504 140735582675975 140735582676273 140735582676273 140735582678991 0
[pid=23238/tid=23244] ppid=23235 vsize=15018748 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23238/task/23244/stat : 23244 (java) S 23235 23235 20606 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 225069116 15379197952 32410 33554432000 4194304 4196468 140735582670800 139963816569456 139964846254722 0 0 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16277504 140735582675975 140735582676273 140735582676273 140735582678991 0
[pid=23238/tid=23245] ppid=23235 vsize=15018748 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23238/task/23245/stat : 23245 (java) S 23235 23235 20606 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 225069116 15379197952 32410 33554432000 4194304 4196468 140735582670800 139963454711072 139964846253781 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16277504 140735582675975 140735582676273 140735582676273 140735582678991 0
[pid=23238/tid=23246] ppid=23235 vsize=15018748 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23238/task/23246/stat : 23246 (java) S 23235 23235 20606 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 225069117 15379197952 32410 33554432000 4194304 4196468 140735582670800 139963320489584 139964846253781 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16277504 140735582675975 140735582676273 140735582676273 140735582678991 0
[pid=23238/tid=23247] ppid=23235 vsize=15018748 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23238/task/23247/stat : 23247 (java) S 23235 23235 20606 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 225069119 15379197952 32410 33554432000 4194304 4196468 140735582670800 139962945985104 139964846262171 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16277504 140735582675975 140735582676273 140735582676273 140735582678991 0
[pid=23238/tid=23248] ppid=23235 vsize=15018748 memory=0 CPUtime=0.11 cores=1,3,5,7
/proc/23238/task/23248/stat : 23248 (java) R 23235 23235 20606 0 -1 4202560 880 0 0 0 11 0 0 0 20 0 15 0 225069119 15379197952 32410 33554432000 4194304 4196468 140735582670800 139963815505744 139964829729517 0 4 2 25189581 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 16277504 140735582675975 140735582676273 140735582676273 140735582678991 0
[pid=23238/tid=23249] ppid=23235 vsize=15018748 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/23238/task/23249/stat : 23249 (java) R 23235 23235 20606 0 -1 1077944384 228 0 0 0 9 0 0 0 20 0 15 0 225069119 15379197952 32410 33554432000 4194304 4196468 140735582670800 139963814456496 139964846253781 0 4 2 25189581 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 16277504 140735582675975 140735582676273 140735582676273 140735582678991 0
[pid=23238/tid=23250] ppid=23235 vsize=15018748 memory=0 CPUtime=0.17 cores=1,3,5,7
/proc/23238/task/23250/stat : 23250 (java) R 23235 23235 20606 0 -1 4202560 500 0 0 0 17 0 0 0 20 0 15 0 225069119 15379197952 32410 33554432000 4194304 4196468 140735582670800 139963813406944 139964827617078 0 4 2 25189581 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 16277504 140735582675975 140735582676273 140735582676273 140735582678991 0
[pid=23238/tid=23251] ppid=23235 vsize=15018748 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23238/task/23251/stat : 23251 (java) S 23235 23235 20606 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 225069119 15379197952 32410 33554432000 4194304 4196468 140735582670800 139962448079328 139964846253781 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16277504 140735582675975 140735582676273 140735582676273 140735582678991 0
[pid=23238/tid=23252] ppid=23235 vsize=15018748 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23238/task/23252/stat : 23252 (java) S 23235 23235 20606 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225069119 15379197952 32410 33554432000 4194304 4196468 140735582670800 139963812359088 139964846254722 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16277504 140735582675975 140735582676273 140735582676273 140735582678991 0
Current children cumulated CPU time: 1.07 s
Current children cumulated vsize: 15131876 KiB
Current children cumulated memory: 131036 KiB

[startup+1.50135 s]
/proc/loadavg: 2.36 2.16 2.10 5/222 23252
/proc/meminfo: memFree=16835468/32770624 swapFree=67058740/67108860
[pid=23235] ppid=23232 vsize=113128 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/23235/stat : 23235 (scop.sh) S 23232 23235 20606 0 -1 4202496 560 321 0 0 0 0 0 0 20 0 1 0 225069112 115843072 349 33554432000 4194304 5098028 140732990058816 140732990056072 140615869739644 0 65536 4100 81923 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 24113152 140732990067777 140732990067975 140732990067975 140732990070733 0
/proc/23235/statm: 28282 349 296 221 0 87 0

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

[pid=23253/tid=23256] ppid=23235 vsize=8068220 memory=116660 CPUtime=0 cores=1,3,5,7
/proc/23253/task/23256/stat : 23256 (java) S 23235 23235 20606 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 225069888 8261857280 29165 33554432000 4194304 4196468 140722409356032 140538733771408 140538929370837 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9637888 140722409362613 140722409362737 140722409362737 140722409365455 0
[pid=23253/tid=23257] ppid=23235 vsize=8068220 memory=116660 CPUtime=0 cores=1,3,5,7
/proc/23253/task/23257/stat : 23257 (java) S 23235 23235 20606 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 225069888 8261857280 29165 33554432000 4194304 4196468 140722409356032 140538732718352 140538929370837 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9637888 140722409362613 140722409362737 140722409362737 140722409365455 0
[pid=23253/tid=23258] ppid=23235 vsize=8068220 memory=1472 CPUtime=0 cores=1,3,5,7
/proc/23253/task/23258/stat : 23258 (java) S 23235 23235 20606 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 225069888 8261857280 29165 33554432000 4194304 4196468 140722409356032 140538731665808 140538929370837 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9637888 140722409362613 140722409362737 140722409362737 140722409365455 0
[pid=23253/tid=23259] ppid=23235 vsize=8068220 memory=116660 CPUtime=0.04 cores=1,3,5,7
/proc/23253/task/23259/stat : 23259 (java) S 23235 23235 20606 0 -1 1077944384 7 0 0 0 1 3 0 0 20 0 19 0 225069889 8261857280 29165 33554432000 4194304 4196468 140722409356032 140538308188912 140538929371778 0 0 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9637888 140722409362613 140722409362737 140722409362737 140722409365455 0
[pid=23253/tid=23260] ppid=23235 vsize=8068220 memory=1472 CPUtime=0 cores=1,3,5,7
/proc/23253/task/23260/stat : 23260 (java) S 23235 23235 20606 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 225069890 8261857280 29165 33554432000 4194304 4196468 140722409356032 140537772369568 140538929370837 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9637888 140722409362613 140722409362737 140722409362737 140722409365455 0
[pid=23253/tid=23261] ppid=23235 vsize=8068220 memory=1472 CPUtime=0 cores=1,3,5,7
/proc/23253/task/23261/stat : 23261 (java) S 23235 23235 20606 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 225069890 8261857280 29165 33554432000 4194304 4196468 140722409356032 140537503933680 140538929370837 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9637888 140722409362613 140722409362737 140722409362737 140722409365455 0
[pid=23253/tid=23262] ppid=23235 vsize=8068220 memory=100252 CPUtime=0 cores=1,3,5,7
/proc/23253/task/23262/stat : 23262 (java) S 23235 23235 20606 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 225069892 8261857280 29165 33554432000 4194304 4196468 140722409356032 140537129425360 140538929379227 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9637888 140722409362613 140722409362737 140722409362737 140722409365455 0
[pid=23253/tid=23263] ppid=23235 vsize=8068220 memory=1472 CPUtime=0.1 cores=1,3,5,7
/proc/23253/task/23263/stat : 23263 (java) S 23235 23235 20606 0 -1 1077944384 520 0 0 0 9 1 0 0 20 0 19 0 225069892 8261857280 29165 33554432000 4194304 4196468 140722409356032 140538307135728 140538929371778 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9637888 140722409362613 140722409362737 140722409362737 140722409365455 0
[pid=23253/tid=23264] ppid=23235 vsize=8068220 memory=1472 CPUtime=0.08 cores=1,3,5,7
/proc/23253/task/23264/stat : 23264 (java) S 23235 23235 20606 0 -1 1077944384 446 0 0 0 8 0 0 0 20 0 19 0 225069892 8261857280 29165 33554432000 4194304 4196468 140722409356032 140538306083184 140538929371778 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9637888 140722409362613 140722409362737 140722409362737 140722409365455 0
[pid=23253/tid=23265] ppid=23235 vsize=8068220 memory=1472 CPUtime=0.21 cores=1,3,5,7
/proc/23253/task/23265/stat : 23265 (java) S 23235 23235 20606 0 -1 1077944384 621 0 0 0 21 0 0 0 20 0 19 0 225069892 8261857280 29165 33554432000 4194304 4196468 140722409356032 140538305030128 140538929371778 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9637888 140722409362613 140722409362737 140722409362737 140722409365455 0
[pid=23253/tid=23266] ppid=23235 vsize=8068220 memory=1472 CPUtime=0 cores=1,3,5,7
/proc/23253/task/23266/stat : 23266 (java) S 23235 23235 20606 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 225069892 8261857280 29165 33554432000 4194304 4196468 140722409356032 140536631519584 140538929370837 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9637888 140722409362613 140722409362737 140722409362737 140722409365455 0
[pid=23253/tid=23267] ppid=23235 vsize=8068220 memory=3544 CPUtime=1.13 cores=1,3,5,7
/proc/23253/task/23267/stat : 23267 (java) S 23235 23235 20606 0 -1 1077944384 167 0 0 0 48 65 0 0 20 0 19 0 225069893 8261857280 29165 33554432000 4194304 4196468 140722409356032 140538303978544 140538929371778 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9637888 140722409362613 140722409362737 140722409362737 140722409365455 0
[pid=23253/tid=23269] ppid=23235 vsize=8068220 memory=116660 CPUtime=0 cores=1,3,5,7
/proc/23253/task/23269/stat : 23269 (java) S 23235 23235 20606 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 225069959 8261857280 29165 33554432000 4194304 4196468 140722409356032 140538296502080 140538929385241 0 4 2 25189581 18446744071579417331 0 0 -1 7 0 0 0 0 0 6293624 6294260 9637888 140722409362613 140722409362737 140722409362737 140722409365455 0
[pid=23253/tid=23271] ppid=23235 vsize=8068220 memory=3544 CPUtime=0 cores=1,3,5,7
/proc/23253/task/23271/stat : 23271 (java) S 23235 23235 20606 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 225069959 8261857280 29165 33554432000 4194304 4196468 140722409356032 140535960420272 140538929382557 0 4 2 25189581 18446744071580971376 0 0 -1 1 0 0 0 0 0 6293624 6294260 9637888 140722409362613 140722409362737 140722409362737 140722409365455 0
[pid=23253/tid=23272] ppid=23235 vsize=8068220 memory=1472 CPUtime=0 cores=1,3,5,7
/proc/23253/task/23272/stat : 23272 (java) S 23235 23235 20606 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 19 0 225069959 8261857280 29165 33554432000 4194304 4196468 140722409356032 140536363073072 140538929382557 0 4 2 25189581 18446744071580971376 0 0 -1 1 0 0 0 0 0 6293624 6294260 9637888 140722409362613 140722409362737 140722409362737 140722409365455 0
[pid=23253/tid=23273] ppid=23235 vsize=8068220 memory=116660 CPUtime=0 cores=1,3,5,7
/proc/23253/task/23273/stat : 23273 (java) S 23235 23235 20606 0 -1 1077944384 27 0 0 0 0 0 0 0 20 0 19 0 225069961 8261857280 29165 33554432000 4194304 4196468 140722409356032 140535826205984 140538929370837 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9637888 140722409362613 140722409362737 140722409362737 140722409365455 0
Current children cumulated CPU time: 2518.04 s
Current children cumulated vsize: 8297988 KiB
Current children cumulated memory: 218384 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2504.3 s]
/proc/loadavg: 2.39 3.05 3.19 3/222 25091
/proc/meminfo: memFree=5376832/32770624 swapFree=67058752/67108860
[pid=23235] ppid=23232 vsize=113128 memory=1472 CPUtime=21.8 cores=1,3,5,7
/proc/23235/stat : 23235 (scop.sh) S 23232 23235 20606 0 -1 4202496 590 37928 0 0 0 0 2131 49 20 0 1 0 225069112 115843072 368 33554432000 4194304 5098028 140732990058816 140732990055560 140615869739644 0 65536 4100 81923 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 24113152 140732990067777 140732990067975 140732990067975 140732990070733 0
/proc/23235/statm: 28282 368 311 221 0 87 0
[pid=23253] ppid=23235 vsize=8068220 memory=116660 CPUtime=2.36 cores=1,3,5,7
/proc/23253/stat : 23253 (java) S 23235 23235 20606 0 -1 1077944320 18087 0 0 0 163 73 0 0 20 0 19 0 225069886 8261857280 29165 33554432000 4194304 4196468 140722409356032 140722409338576 140538929360631 0 0 2 25189581 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 9637888 140722409362613 140722409362737 140722409362737 140722409365455 0
/proc/23253/statm: 2017055 29165 3146 1 0 1978454 0
[pid=23268] ppid=23253 vsize=116640 memory=100252 CPUtime=2495.88 cores=1,3,5,7
/proc/23268/stat : 23268 (minisat_release) R 23253 23235 20606 0 -1 4202496 223276 0 0 0 249571 17 0 0 20 0 1 0 225069959 119439360 25063 33554432000 4194304 4308513 140727355057296 140727355054296 4276085 0 4 0 8396802 0 0 0 17 3 0 0 0 0 0 6409496 6410680 40652800 140727355065460 140727355065558 140727355065558 140727355068357 0
/proc/23268/statm: 29160 25063 341 28 0 25400 0
[pid=23253/tid=23254] ppid=23235 vsize=8068220 memory=116660 CPUtime=0.75 cores=1,3,5,7
/proc/23253/task/23254/stat : 23254 (java) S 23235 23235 20606 0 -1 1077944384 14921 0 0 0 70 5 0 0 20 0 19 0 225069887 8261857280 29165 33554432000 4194304 4196468 140722409356032 140538901200784 140538929370837 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9637888 140722409362613 140722409362737 140722409362737 140722409365455 0
[pid=23253/tid=23255] ppid=23235 vsize=8068220 memory=116660 CPUtime=0 cores=1,3,5,7
/proc/23253/task/23255/stat : 23255 (java) S 23235 23235 20606 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 225069888 8261857280 29165 33554432000 4194304 4196468 140722409356032 140538933602832 140538929370837 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9637888 140722409362613 140722409362737 140722409362737 140722409365455 0
[pid=23253/tid=23256] ppid=23235 vsize=8068220 memory=116660 CPUtime=0 cores=1,3,5,7
/proc/23253/task/23256/stat : 23256 (java) S 23235 23235 20606 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 225069888 8261857280 29165 33554432000 4194304 4196468 140722409356032 140538733771408 140538929370837 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9637888 140722409362613 140722409362737 140722409362737 140722409365455 0
[pid=23253/tid=23257] ppid=23235 vsize=8068220 memory=116660 CPUtime=0 cores=1,3,5,7
/proc/23253/task/23257/stat : 23257 (java) S 23235 23235 20606 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 225069888 8261857280 29165 33554432000 4194304 4196468 140722409356032 140538732718352 140538929370837 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9637888 140722409362613 140722409362737 140722409362737 140722409365455 0
[pid=23253/tid=23258] ppid=23235 vsize=8068220 memory=1472 CPUtime=0 cores=1,3,5,7
/proc/23253/task/23258/stat : 23258 (java) S 23235 23235 20606 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 225069888 8261857280 29165 33554432000 4194304 4196468 140722409356032 140538731665808 140538929370837 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9637888 140722409362613 140722409362737 140722409362737 140722409365455 0
[pid=23253/tid=23259] ppid=23235 vsize=8068220 memory=116660 CPUtime=0.04 cores=1,3,5,7
/proc/23253/task/23259/stat : 23259 (java) S 23235 23235 20606 0 -1 1077944384 7 0 0 0 1 3 0 0 20 0 19 0 225069889 8261857280 29165 33554432000 4194304 4196468 140722409356032 140538308188912 140538929371778 0 0 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9637888 140722409362613 140722409362737 140722409362737 140722409365455 0
[pid=23253/tid=23260] ppid=23235 vsize=8068220 memory=1472 CPUtime=0 cores=1,3,5,7
/proc/23253/task/23260/stat : 23260 (java) S 23235 23235 20606 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 225069890 8261857280 29165 33554432000 4194304 4196468 140722409356032 140537772369568 140538929370837 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9637888 140722409362613 140722409362737 140722409362737 140722409365455 0
[pid=23253/tid=23261] ppid=23235 vsize=8068220 memory=116660 CPUtime=0 cores=1,3,5,7
/proc/23253/task/23261/stat : 23261 (java) S 23235 23235 20606 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 225069890 8261857280 29165 33554432000 4194304 4196468 140722409356032 140537503933680 140538929370837 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9637888 140722409362613 140722409362737 140722409362737 140722409365455 0
[pid=23253/tid=23262] ppid=23235 vsize=8068220 memory=1472 CPUtime=0 cores=1,3,5,7
/proc/23253/task/23262/stat : 23262 (java) S 23235 23235 20606 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 225069892 8261857280 29165 33554432000 4194304 4196468 140722409356032 140537129425360 140538929379227 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9637888 140722409362613 140722409362737 140722409362737 140722409365455 0
[pid=23253/tid=23263] ppid=23235 vsize=8068220 memory=1472 CPUtime=0.1 cores=1,3,5,7
/proc/23253/task/23263/stat : 23263 (java) S 23235 23235 20606 0 -1 1077944384 520 0 0 0 9 1 0 0 20 0 19 0 225069892 8261857280 29165 33554432000 4194304 4196468 140722409356032 140538307135728 140538929371778 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9637888 140722409362613 140722409362737 140722409362737 140722409365455 0
[pid=23253/tid=23264] ppid=23235 vsize=8068220 memory=1472 CPUtime=0.08 cores=1,3,5,7
/proc/23253/task/23264/stat : 23264 (java) S 23235 23235 20606 0 -1 1077944384 446 0 0 0 8 0 0 0 20 0 19 0 225069892 8261857280 29165 33554432000 4194304 4196468 140722409356032 140538306083184 140538929371778 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9637888 140722409362613 140722409362737 140722409362737 140722409365455 0
[pid=23253/tid=23265] ppid=23235 vsize=8068220 memory=1472 CPUtime=0.21 cores=1,3,5,7
/proc/23253/task/23265/stat : 23265 (java) S 23235 23235 20606 0 -1 1077944384 621 0 0 0 21 0 0 0 20 0 19 0 225069892 8261857280 29165 33554432000 4194304 4196468 140722409356032 140538305030128 140538929371778 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9637888 140722409362613 140722409362737 140722409362737 140722409365455 0
[pid=23253/tid=23266] ppid=23235 vsize=8068220 memory=1472 CPUtime=0 cores=1,3,5,7
/proc/23253/task/23266/stat : 23266 (java) S 23235 23235 20606 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 225069892 8261857280 29165 33554432000 4194304 4196468 140722409356032 140536631519584 140538929370837 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9637888 140722409362613 140722409362737 140722409362737 140722409365455 0
[pid=23253/tid=23267] ppid=23235 vsize=8068220 memory=1472 CPUtime=1.13 cores=1,3,5,7
/proc/23253/task/23267/stat : 23267 (java) S 23235 23235 20606 0 -1 1077944384 167 0 0 0 48 65 0 0 20 0 19 0 225069893 8261857280 29165 33554432000 4194304 4196468 140722409356032 140538303978544 140538929371778 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9637888 140722409362613 140722409362737 140722409362737 140722409365455 0
[pid=23253/tid=23269] ppid=23235 vsize=8068220 memory=1472 CPUtime=0 cores=1,3,5,7
/proc/23253/task/23269/stat : 23269 (java) S 23235 23235 20606 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 225069959 8261857280 29165 33554432000 4194304 4196468 140722409356032 140538296502080 140538929385241 0 4 2 25189581 18446744071579417331 0 0 -1 7 0 0 0 0 0 6293624 6294260 9637888 140722409362613 140722409362737 140722409362737 140722409365455 0
[pid=23253/tid=23271] ppid=23235 vsize=8068220 memory=3544 CPUtime=0 cores=1,3,5,7
/proc/23253/task/23271/stat : 23271 (java) S 23235 23235 20606 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 225069959 8261857280 29165 33554432000 4194304 4196468 140722409356032 140535960420272 140538929382557 0 4 2 25189581 18446744071580971376 0 0 -1 1 0 0 0 0 0 6293624 6294260 9637888 140722409362613 140722409362737 140722409362737 140722409365455 0
[pid=23253/tid=23272] ppid=23235 vsize=8068220 memory=116660 CPUtime=0 cores=1,3,5,7
/proc/23253/task/23272/stat : 23272 (java) S 23235 23235 20606 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 19 0 225069959 8261857280 29165 33554432000 4194304 4196468 140722409356032 140536363073072 140538929382557 0 4 2 25189581 18446744071580971376 0 0 -1 1 0 0 0 0 0 6293624 6294260 9637888 140722409362613 140722409362737 140722409362737 140722409365455 0
[pid=23253/tid=23273] ppid=23235 vsize=8068220 memory=3544 CPUtime=0 cores=1,3,5,7
/proc/23253/task/23273/stat : 23273 (java) S 23235 23235 20606 0 -1 1077944384 27 0 0 0 0 0 0 0 20 0 19 0 225069961 8261857280 29165 33554432000 4194304 4196468 140722409356032 140535826205984 140538929370837 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9637888 140722409362613 140722409362737 140722409362737 140722409365455 0
Current children cumulated CPU time: 2520.04 s
Current children cumulated vsize: 8297988 KiB
Current children cumulated memory: 218384 KiB

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

[startup+2504.31 s]
# the end of solver process 23235 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=21.3167 s, system=0.497845 s

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

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

[startup+2504.3 s]
/proc/loadavg: 2.39 3.05 3.19 3/222 25091
/proc/meminfo: memFree=5376832/32770624 swapFree=67058752/67108860
[pid=23235] ppid=23232 vsize=113128 memory=1472 CPUtime=21.8 cores=1,3,5,7
/proc/23235/stat : 23235 (scop.sh) S 23232 23235 20606 0 -1 4202496 590 37928 0 0 0 0 2131 49 20 0 1 0 225069112 115843072 368 33554432000 4194304 5098028 140732990058816 140732990055560 140615869739644 0 65536 4100 81923 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 24113152 140732990067777 140732990067975 140732990067975 140732990070733 0
/proc/23235/statm: 28282 368 311 221 0 87 0
[pid=23253] ppid=23235 vsize=8068220 memory=116660 CPUtime=2.36 cores=1,3,5,7
/proc/23253/stat : 23253 (java) S 23235 23235 20606 0 -1 1077944320 18087 0 0 0 163 73 0 0 20 0 19 0 225069886 8261857280 29165 33554432000 4194304 4196468 140722409356032 140722409338576 140538929360631 0 0 2 25189581 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 9637888 140722409362613 140722409362737 140722409362737 140722409365455 0
/proc/23253/statm: 2017055 29165 3146 1 0 1978454 0
[pid=23268] ppid=23253 vsize=116640 memory=100252 CPUtime=2495.88 cores=1,3,5,7
/proc/23268/stat : 23268 (minisat_release) R 23253 23235 20606 0 -1 4202496 223276 0 0 0 249571 17 0 0 20 0 1 0 225069959 119439360 25063 33554432000 4194304 4308513 140727355057296 140727355054296 4276085 0 4 0 8396802 0 0 0 17 3 0 0 0 0 0 6409496 6410680 40652800 140727355065460 140727355065558 140727355065558 140727355068357 0
/proc/23268/statm: 29160 25063 341 28 0 25400 0
[pid=23253/tid=23254] ppid=23235 vsize=8068220 memory=116660 CPUtime=0.75 cores=1,3,5,7
/proc/23253/task/23254/stat : 23254 (java) S 23235 23235 20606 0 -1 1077944384 14921 0 0 0 70 5 0 0 20 0 19 0 225069887 8261857280 29165 33554432000 4194304 4196468 140722409356032 140538901200784 140538929370837 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9637888 140722409362613 140722409362737 140722409362737 140722409365455 0
[pid=23253/tid=23255] ppid=23235 vsize=8068220 memory=116660 CPUtime=0 cores=1,3,5,7
/proc/23253/task/23255/stat : 23255 (java) S 23235 23235 20606 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 225069888 8261857280 29165 33554432000 4194304 4196468 140722409356032 140538933602832 140538929370837 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9637888 140722409362613 140722409362737 140722409362737 140722409365455 0
[pid=23253/tid=23256] ppid=23235 vsize=8068220 memory=116660 CPUtime=0 cores=1,3,5,7
/proc/23253/task/23256/stat : 23256 (java) S 23235 23235 20606 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 225069888 8261857280 29165 33554432000 4194304 4196468 140722409356032 140538733771408 140538929370837 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9637888 140722409362613 140722409362737 140722409362737 140722409365455 0
[pid=23253/tid=23257] ppid=23235 vsize=8068220 memory=116660 CPUtime=0 cores=1,3,5,7
/proc/23253/task/23257/stat : 23257 (java) S 23235 23235 20606 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 225069888 8261857280 29165 33554432000 4194304 4196468 140722409356032 140538732718352 140538929370837 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9637888 140722409362613 140722409362737 140722409362737 140722409365455 0
[pid=23253/tid=23258] ppid=23235 vsize=8068220 memory=1472 CPUtime=0 cores=1,3,5,7
/proc/23253/task/23258/stat : 23258 (java) S 23235 23235 20606 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 225069888 8261857280 29165 33554432000 4194304 4196468 140722409356032 140538731665808 140538929370837 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9637888 140722409362613 140722409362737 140722409362737 140722409365455 0
[pid=23253/tid=23259] ppid=23235 vsize=8068220 memory=116660 CPUtime=0.04 cores=1,3,5,7
/proc/23253/task/23259/stat : 23259 (java) S 23235 23235 20606 0 -1 1077944384 7 0 0 0 1 3 0 0 20 0 19 0 225069889 8261857280 29165 33554432000 4194304 4196468 140722409356032 140538308188912 140538929371778 0 0 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9637888 140722409362613 140722409362737 140722409362737 140722409365455 0
[pid=23253/tid=23260] ppid=23235 vsize=8068220 memory=1472 CPUtime=0 cores=1,3,5,7
/proc/23253/task/23260/stat : 23260 (java) S 23235 23235 20606 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 225069890 8261857280 29165 33554432000 4194304 4196468 140722409356032 140537772369568 140538929370837 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9637888 140722409362613 140722409362737 140722409362737 140722409365455 0
[pid=23253/tid=23261] ppid=23235 vsize=8068220 memory=116660 CPUtime=0 cores=1,3,5,7
/proc/23253/task/23261/stat : 23261 (java) S 23235 23235 20606 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 225069890 8261857280 29165 33554432000 4194304 4196468 140722409356032 140537503933680 140538929370837 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9637888 140722409362613 140722409362737 140722409362737 140722409365455 0
[pid=23253/tid=23262] ppid=23235 vsize=8068220 memory=1472 CPUtime=0 cores=1,3,5,7
/proc/23253/task/23262/stat : 23262 (java) S 23235 23235 20606 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 225069892 8261857280 29165 33554432000 4194304 4196468 140722409356032 140537129425360 140538929379227 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9637888 140722409362613 140722409362737 140722409362737 140722409365455 0
[pid=23253/tid=23263] ppid=23235 vsize=8068220 memory=1472 CPUtime=0.1 cores=1,3,5,7
/proc/23253/task/23263/stat : 23263 (java) S 23235 23235 20606 0 -1 1077944384 520 0 0 0 9 1 0 0 20 0 19 0 225069892 8261857280 29165 33554432000 4194304 4196468 140722409356032 140538307135728 140538929371778 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9637888 140722409362613 140722409362737 140722409362737 140722409365455 0
[pid=23253/tid=23264] ppid=23235 vsize=8068220 memory=1472 CPUtime=0.08 cores=1,3,5,7
/proc/23253/task/23264/stat : 23264 (java) S 23235 23235 20606 0 -1 1077944384 446 0 0 0 8 0 0 0 20 0 19 0 225069892 8261857280 29165 33554432000 4194304 4196468 140722409356032 140538306083184 140538929371778 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9637888 140722409362613 140722409362737 140722409362737 140722409365455 0
[pid=23253/tid=23265] ppid=23235 vsize=8068220 memory=1472 CPUtime=0.21 cores=1,3,5,7
/proc/23253/task/23265/stat : 23265 (java) S 23235 23235 20606 0 -1 1077944384 621 0 0 0 21 0 0 0 20 0 19 0 225069892 8261857280 29165 33554432000 4194304 4196468 140722409356032 140538305030128 140538929371778 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9637888 140722409362613 140722409362737 140722409362737 140722409365455 0
[pid=23253/tid=23266] ppid=23235 vsize=8068220 memory=1472 CPUtime=0 cores=1,3,5,7
/proc/23253/task/23266/stat : 23266 (java) S 23235 23235 20606 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 225069892 8261857280 29165 33554432000 4194304 4196468 140722409356032 140536631519584 140538929370837 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9637888 140722409362613 140722409362737 140722409362737 140722409365455 0
[pid=23253/tid=23267] ppid=23235 vsize=8068220 memory=1472 CPUtime=1.13 cores=1,3,5,7
/proc/23253/task/23267/stat : 23267 (java) S 23235 23235 20606 0 -1 1077944384 167 0 0 0 48 65 0 0 20 0 19 0 225069893 8261857280 29165 33554432000 4194304 4196468 140722409356032 140538303978544 140538929371778 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9637888 140722409362613 140722409362737 140722409362737 140722409365455 0
[pid=23253/tid=23269] ppid=23235 vsize=8068220 memory=1472 CPUtime=0 cores=1,3,5,7
/proc/23253/task/23269/stat : 23269 (java) S 23235 23235 20606 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 225069959 8261857280 29165 33554432000 4194304 4196468 140722409356032 140538296502080 140538929385241 0 4 2 25189581 18446744071579417331 0 0 -1 7 0 0 0 0 0 6293624 6294260 9637888 140722409362613 140722409362737 140722409362737 140722409365455 0
[pid=23253/tid=23271] ppid=23235 vsize=8068220 memory=3544 CPUtime=0 cores=1,3,5,7
/proc/23253/task/23271/stat : 23271 (java) S 23235 23235 20606 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 225069959 8261857280 29165 33554432000 4194304 4196468 140722409356032 140535960420272 140538929382557 0 4 2 25189581 18446744071580971376 0 0 -1 1 0 0 0 0 0 6293624 6294260 9637888 140722409362613 140722409362737 140722409362737 140722409365455 0
[pid=23253/tid=23272] ppid=23235 vsize=8068220 memory=116660 CPUtime=0 cores=1,3,5,7
/proc/23253/task/23272/stat : 23272 (java) S 23235 23235 20606 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 19 0 225069959 8261857280 29165 33554432000 4194304 4196468 140722409356032 140536363073072 140538929382557 0 4 2 25189581 18446744071580971376 0 0 -1 1 0 0 0 0 0 6293624 6294260 9637888 140722409362613 140722409362737 140722409362737 140722409365455 0
[pid=23253/tid=23273] ppid=23235 vsize=8068220 memory=3544 CPUtime=0 cores=1,3,5,7
/proc/23253/task/23273/stat : 23273 (java) S 23235 23235 20606 0 -1 1077944384 27 0 0 0 0 0 0 0 20 0 19 0 225069961 8261857280 29165 33554432000 4194304 4196468 140722409356032 140535826205984 140538929370837 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9637888 140722409362613 140722409362737 140722409362737 140722409365455 0
Current children cumulated CPU time: 2520.04 s
Current children cumulated vsize: 8297988 KiB
Current children cumulated memory: 218384 KiB

Child status: 1
Real time (s): 2504.32
CPU time (s): 2520.1
CPU user time (s): 2518.68
CPU system time (s): 1.42311
CPU usage (%): 100.63
Max. virtual memory (cumulated for all children) (KiB): 15142280
Max. memory (cumulated for all children) (KiB): 2355912

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2518.68
system time used= 1.42311
maximum resident set size= 2356852
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 280166
page faults= 0
swaps= 0
block input operations= 0
block output operations= 5368
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 60585
involuntary context switches= 707


# summary of solver processes directly reported to runsolver:
#   pid: 23235,23253
#   total CPU time (s): 2520.1
#   total CPU user time (s): 2518.68
#   total CPU system time (s): 1.42311

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 18.2458 second user time and 25.9654 second system time

The end

Launcher Data 

Begin job on node103 at 2018-08-12 13:57:39
IDJOB=4305663
IDBENCH=141388
IDSOLVER=2783
FILE ID=node103/4305663-1534075059
RUNJOBID= node103-1534064938-20638
PBS_JOBID= 21036991
Free space on /tmp= 34680 MiB

SOLVER NAME= scop both+MapleCOMSPS (2018-07-31)
BENCH NAME= XCSP18/SocialGolfers/SocialGolfers-6-6-7-cp_c18.xml
COMMAND LINE= scop.sh 11g scop.jar -both minisat_release default TMPDIR BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4305663-1534075059/watcher-4305663-1534075059 -o /tmp/evaluation-result-4305663-1534075059/solver-4305663-1534075059 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node103-1534064938-20638 --watchdog 2580  scop.sh 11g scop.jar -both minisat_release default HOME HOME/instance-4305663-1534075059.xml

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

MD5SUM BENCH= 6d0c168c4ed68c601cb94602702970c2
RANDOM SEED=2134308322

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

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32770624 kB
MemFree:        17016232 kB
MemAvailable:   31777356 kB
Buffers:          120744 kB
Cached:         14782976 kB
SwapCached:         5828 kB
Active:          7672784 kB
Inactive:        7413684 kB
Active(anon):     173788 kB
Inactive(anon):    60092 kB
Active(file):    7498996 kB
Inactive(file):  7353592 kB
Unevictable:        7784 kB
Mlocked:            7784 kB
SwapTotal:      67108860 kB
SwapFree:       67058740 kB
Dirty:              8788 kB
Writeback:             0 kB
AnonPages:        189472 kB
Mapped:            62024 kB
Shmem:             48608 kB
Slab:             366448 kB
SReclaimable:     336996 kB
SUnreclaim:        29452 kB
KernelStack:        3792 kB
PageTables:         5928 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    5884096 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:     94208 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      124288 kB
DirectMap2M:    33421312 kB

Free space on /tmp at the end= 34664 MiB
End job on node103 at 2018-08-12 14:39:24