Trace number 4305448

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
scop order+MapleCOMSPS (2018-07-31)? (TO) 2520.18 2492.47

General information on the benchmark

NameSportsScheduling/
SportsScheduling-20_c18.xml
MD5SUM5ab9c36a805c5c518370c16479d9ce42
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 variables590
Number of constraints270
Number of domains2
Minimum domain size20
Maximum domain size190
Distribution of domain sizes[{"size":20,"count":400},{"size":190,"count":190}]
Minimum variable degree3
Maximum variable degree4
Distribution of variable degrees[{"degree":3,"count":200},{"degree":4,"count":390}]
Minimum constraint arity1
Maximum constraint arity190
Distribution of constraint arities[{"arity":1,"count":10},{"arity":2,"count":10},{"arity":3,"count":190},{"arity":10,"count":19},{"arity":20,"count":20},{"arity":38,"count":10},{"arity":40,"count":10},{"arity":190,"count":1}]
Number of extensional constraints190
Number of intensional constraints20
Distribution of constraint types[{"type":"extension","count":190},{"type":"intension","count":20},{"type":"allDifferent","count":21},{"type":"count","count":19},{"type":"cardinality","count":20}]
Optimization problemNO
Type of objective

Solver Data 

0.00/0.00	c (scop.sh) java -Xms11g -Xmx11g -Xss128m -cp scop.jar fun.scop.XCSP18Encode -order -solver minisat_release -solverOption default -tmp HOME -serialFile HOME/scop-23854-serial-file.bin HOME/instance-4305448-1534091180.xml
0.67/0.52	
0.67/0.52	scop order+minisat_release (2018-07-31)
0.67/0.52	(Encoding Process)
0.67/0.52	
0.67/0.54	c BEGIN-Prog: Sun Aug 12 18:26:21 CEST 2018
0.67/0.54	c PID: 23857
0.67/0.54	c IP: 172.20.3.139
0.67/0.54	c HOST: node139.alineos.net
0.67/0.55	c (0,0) Parsing Begin
1.96/1.12	c (0,0) Parsing End
1.96/1.13	c (0,0) CSP: 590 int (0 aux), 0 bool (0 aux), 270 ctr, max domain size 190
1.96/1.13	c (0,0) Heap : 112 MiB used (max 10795 MiB), NonHeap : 20 MiB used (max 0 MiB)
1.96/1.13	c (0,0) Constraint Name Generate Begin
1.96/1.14	c (0,0) Ctr:HOME/instance-4305448-1534091180.xml,AllDifferent:Cardinality:Count:Eq:ExtensionSupport:IntVar:Lt:Num
1.96/1.14	c (0,0) Constraint Name Generate End
1.96/1.14	c (0,0) Heap : 112 MiB used (max 10795 MiB), NonHeap : 20 MiB used (max 0 MiB)
1.96/1.14	c (0,0) CSP to CSPinCNF Begin
7.85/3.33	c (2,2) translated 27 (10%) constraints
9.28/4.55	c (4,4) translated 54 (20%) constraints
10.52/5.77	c (5,5) translated 81 (30%) constraints
11.76/6.97	c (6,6) translated 108 (40%) constraints
13.01/8.18	c (7,7) translated 135 (50%) constraints
15.03/9.52	c (8,8) translated 162 (60%) constraints
16.15/10.62	c (10,9) translated 189 (70%) constraints
20.53/12.12	c (11,11) translated 216 (80%) constraints
21.46/12.60	c (12,11) translated 243 (90%) constraints
22.05/12.89	c (12,12) translated 270 (100%) constraints
25.06/14.01	c (13,13) STATISTICS1:HOME/instance-4305448-1534091180.xml,AllDifferent:Cardinality:Count:Eq:ExtensionSupport:IntVar:Lt:Num,48490,229956,549755813888,190,190,40,549755813888:400;137438953472:400;512:38;190:16110;19:3810;1:1845,190:170820;19:171480;2:346240;1:9500,190:2;20:610;19:190;18:190;17:190;16:190;15:190;14:190;13:190;12:190;11:190;10:190;9:190;8:190;7:190;6:190;5:190;4:64790;3:54930;2:106135;1:639,40:400;38:400;10:38;2:21765;1:639320;0:190,
25.06/14.01	c (13,13) ==========================================
25.06/14.01	c (13,13) Order
25.06/14.01	c (13,13) ==========================================
26.25/14.47	c (13,13) translated 22996 (10%) constraints
27.96/15.06	c (14,14) translated 45992 (20%) constraints
28.29/15.37	c (14,14) translated 68987 (30%) constraints
28.61/15.68	c (15,14) translated 91983 (40%) constraints
28.91/15.99	c (15,15) translated 114978 (50%) constraints
29.21/16.29	c (15,15) translated 137974 (60%) constraints
29.61/16.60	c (16,15) translated 160970 (70%) constraints
29.92/16.91	c (16,15) translated 183965 (80%) constraints
31.07/17.50	c (16,16) translated 206961 (90%) constraints
35.14/19.30	c (18,18) translated 229956 (100%) constraints
35.14/19.30	c (18,18) CSP to CSPinCNF End
35.44/19.32	c (18,18) CSP: 4990 int (4400 aux), 56090 bool (56090 aux), 253765 ctr, max domain size 188
35.44/19.32	c (18,18) Heap : 1943 MiB used (max 10795 MiB), NonHeap : 31 MiB used (max 0 MiB)
35.44/19.33	c (18,18) CSPinCNF Propagation Begin
41.31/21.75	c (21,20) 6283 values, 24409 unsatisfiable literals, and 17681 valid clauses are removed
41.31/21.75	c (21,20) CSPinCNF Propagation End
41.31/21.76	c (21,20) CSP: 9420 int (8830 aux), 51660 bool (51660 aux), 236084 ctr, max domain size 188
41.31/21.76	c (21,20) Heap : 568 MiB used (max 10795 MiB), NonHeap : 31 MiB used (max 0 MiB)
41.31/21.76	c (21,20) Simplify CSPinCNF Begin
42.83/22.80	c (22,21) Simplify CSPinCNF End
42.83/22.83	c (22,21) CSP: 9420 int (8830 aux), 93980 bool (93980 aux), 278404 ctr, max domain size 188
42.83/22.83	c (22,21) Heap : 1120 MiB used (max 10795 MiB), NonHeap : 31 MiB used (max 0 MiB)
42.83/22.83	c (22,21) Calculate Precise Domain Begin
42.83/22.89	c (22,21) 1387 values are removed by re-calculation
42.83/22.89	c (22,21) Calculate Precise Domain End
43.04/22.92	c (22,21) CSP: 9420 int (8830 aux), 93980 bool (93980 aux), 278404 ctr, max domain size 188
43.04/22.92	c (22,21) Heap : 1132 MiB used (max 10795 MiB), NonHeap : 32 MiB used (max 0 MiB)
43.04/22.92	c (22,21) CSPinCNF to SatSolver Begin
43.87/23.27	c (22,21) 27841 (10 %) CSP clauses are encoded (146200 SAT variables, 75240 SAT clauses)
44.10/23.41	c (22,22) 55681 (20 %) CSP clauses are encoded (146200 SAT variables, 103080 SAT clauses)
44.20/23.54	c (23,22) 83522 (30 %) CSP clauses are encoded (146200 SAT variables, 130921 SAT clauses)
44.30/23.67	c (23,22) 111362 (40 %) CSP clauses are encoded (146200 SAT variables, 158761 SAT clauses)
44.50/23.81	c (23,22) 139202 (50 %) CSP clauses are encoded (146200 SAT variables, 186601 SAT clauses)
44.60/23.94	c (23,22) 167043 (60 %) CSP clauses are encoded (146200 SAT variables, 214442 SAT clauses)
50.96/28.67	c (28,26) 194883 (70 %) CSP clauses are encoded (146200 SAT variables, 2107607 SAT clauses)
59.72/36.32	c (35,33) 222724 (80 %) CSP clauses are encoded (146200 SAT variables, 5297057 SAT clauses)
63.71/39.76	c (39,36) 250564 (90 %) CSP clauses are encoded (146200 SAT variables, 6460482 SAT clauses)
64.49/40.32	c (39,36) 278404 (100 %) CSP clauses are encoded (146200 SAT variables, 6609030 SAT clauses)
64.49/40.32	c (39,36) Launch Command will be: minisat_release
64.49/40.32	c (39,36) CSPinCNF to SatSolver End
64.49/40.32	c (39,36) Heap : 2281 MiB used (max 10826 MiB), NonHeap : 32 MiB used (max 0 MiB)
66.43/41.24	c (40,37) STATISTICS2:HOME/instance-4305448-1534091180.xml,AllDifferent:Cardinality:Count:Eq:ExtensionSupport:IntVar:Lt:Num,103400,278404,512,188,19,10,512:36;188:32220;128:680;64:3400;27:153;21:306;19:2010;18:5247;16:88;14:34;12:54;10:2;9:2340;8:646;4:260;1:2880,188:202660;19:154340;18:25380;9:612;8:50;7:680;6:108;5:10;4:120;3:11520;2:432320;1:6680,19:360;18:360;17:180;16:180;15:180;14:180;13:180;12:180;11:180;10:218;9:180;8:180;7:180;6:180;5:180;4:61380;3:49470;2:156420;1:8036,10:36;8:2400;7:2400;3:3190;2:42330;1:703890,
66.43/41.24	c (40,37) 146200 bool, 6609048 clause
66.43/41.24	c (40,37) Export Begin
66.56/41.37	c (40,37) Export to HOME/scop-23854-serial-file.bin
66.56/41.37	c (40,37) Export End
66.56/41.37	c (40,37) Export File Size: 0.13 MB
66.56/41.37	c (40,37) 0,0,18,21,22,22,39,STOP-AFTER(DIMACS)
66.56/41.37	c END-Prog: Sun Aug 12 18:27:01 CEST 2018
0.00/41.41	c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp scop.jar fun.scop.XCSP18Solve HOME/scop-23854-serial-file.bin
66.79/41.90	c (0,0) Read Serial File Begin
66.79/41.90	c (0,0) HOME/scop-23854-serial-file.bin
67.85/42.12	c (0,0) Read Serial File End
67.85/42.19	
67.85/42.19	scop order+minisat_release (2018-07-31)
67.85/42.19	(Solving Process)
67.85/42.19	
67.85/42.19	c BEGIN-Prog: Sun Aug 12 18:27:02 CEST 2018
67.85/42.19	c PID: 23872
67.85/42.19	c IP: 172.20.3.139
67.85/42.19	c HOST: node139.alineos.net
67.85/42.19	c (0,0) SatSolver.solve Begin
67.85/42.19	c (0,0) 0 bool, 0 clause
67.85/42.19	c (0,0) minisat_release HOME/instance-4305448-1534091180.xml-scop-23857.cnf
2520.08/2492.40	c (2450,0) receiving signal SIGTERM
2520.08/2492.40	s UNKNOWN
2520.08/2492.41	c (scop.sh) Receiving Signal. Removing all intermediate files.
2520.08/2492.41	c (scop.sh) Remove HOME/scop-23854-serial-file.bin.
2520.08/2492.41	c (scop.sh) Killing background jobs.
2520.08/2492.41	c (2450,0) receiving signal SIGTERM

Verifier Data


Watcher Data 

runsolver version 3.4.0 (svn: 3012) Copyright (C) 2010-2013 Olivier ROUSSEL

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

NUMA information:
  number of nodes: 2
  memory of node 0: 16374 MiB (5745 MiB free)
  memory of node 1: 16384 MiB (6538 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4305448-1534091180/watcher-4305448-1534091180 -o /tmp/evaluation-result-4305448-1534091180/solver-4305448-1534091180 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node139-1534060441-16801 --watchdog 2580 scop.sh 11g scop.jar -order minisat_release default HOME HOME/instance-4305448-1534091180.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=23854, runsolver pid=23851

[startup+0.100061 s]*
/proc/loadavg: 2.18 2.08 2.06 4/222 23871
/proc/meminfo: memFree=12517856/32770624 swapFree=67108860/67108860
[pid=23854] ppid=23851 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/23854/stat : 23854 (scop.sh) S 23851 23854 16770 0 -1 4202496 559 321 0 0 0 0 0 0 20 0 1 0 226681167 115843072 349 33554432000 4194304 5098028 140735352853968 140735352851224 140206711702140 0 65536 4100 81923 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 28553216 140735352857664 140735352857863 140735352857863 140735352860621 0
/proc/23854/statm: 28282 349 296 221 0 87 0
[pid=23857] ppid=23854 vsize=15012476 memory=73172 CPUtime=0.11 cores=0,2,4,6
/proc/23857/stat : 23857 (java) S 23854 23854 16770 0 -1 1077944320 6952 0 0 0 10 1 0 0 20 0 15 0 226681168 15372775424 18293 33554432000 4194304 4196468 140720817371200 140720817353744 140341097955063 0 0 2 16800973 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 35930112 140720817378310 140720817378609 140720817378609 140720817381327 0
/proc/23857/statm: 3753119 18293 2745 1 0 3715579 0
[pid=23857/tid=23858] ppid=23854 vsize=15012476 memory=-6076338605661667271 CPUtime=0.09 cores=0,2,4,6
/proc/23857/task/23858/stat : 23858 (java) R 23854 23854 16770 0 -1 4202560 5044 0 0 0 8 1 0 0 20 0 15 0 226681168 15372775424 18293 33554432000 4194304 4196468 140720817371200 140341069781392 140341081141844 0 4 2 16800973 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 35930112 140720817378310 140720817378609 140720817378609 140720817381327 0
[pid=23857/tid=23859] ppid=23854 vsize=15012476 memory=8303054830060986464 CPUtime=0 cores=0,2,4,6
/proc/23857/task/23859/stat : 23859 (java) S 23854 23854 16770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 226681170 15372775424 18293 33554432000 4194304 4196468 140720817371200 140341102197776 140341097965269 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35930112 140720817378310 140720817378609 140720817378609 140720817381327 0
[pid=23857/tid=23860] ppid=23854 vsize=15012476 memory=140164887377536 CPUtime=0 cores=0,2,4,6
/proc/23857/task/23860/stat : 23860 (java) S 23854 23854 16770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 226681170 15372775424 18293 33554432000 4194304 4196468 140720817371200 140340877900944 140341097965269 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35930112 140720817378310 140720817378609 140720817378609 140720817381327 0
[pid=23857/tid=23861] ppid=23854 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23857/task/23861/stat : 23861 (java) S 23854 23854 16770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 226681170 15372775424 18293 33554432000 4194304 4196468 140720817371200 140340876847888 140341097965269 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35930112 140720817378310 140720817378609 140720817378609 140720817381327 0
[pid=23857/tid=23862] ppid=23854 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/23857/task/23862/stat : 23862 (java) S 23854 23854 16770 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 226681170 15372775424 18358 33554432000 4194304 4196468 140720817371200 140340556196752 140341097965269 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35930112 140720817378310 140720817378609 140720817378609 140720817381327 0
[pid=23857/tid=23863] ppid=23854 vsize=15012476 memory=140164887377536 CPUtime=0 cores=0,2,4,6
/proc/23857/task/23863/stat : 23863 (java) S 23854 23854 16770 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 226681171 15372775424 18358 33554432000 4194304 4196468 140720817371200 140340437526768 140341097966210 0 0 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35930112 140720817378310 140720817378609 140720817378609 140720817381327 0
[pid=23857/tid=23864] ppid=23854 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/23857/task/23864/stat : 23864 (java) S 23854 23854 16770 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 226681172 15372775424 18358 33554432000 4194304 4196468 140720817371200 140339767665824 140341097965269 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35930112 140720817378310 140720817378609 140720817378609 140720817381327 0
[pid=23857/tid=23865] ppid=23854 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23857/task/23865/stat : 23865 (java) S 23854 23854 16770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 226681172 15372775424 18358 33554432000 4194304 4196468 140720817371200 140339532784368 140341097965269 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35930112 140720817378310 140720817378609 140720817378609 140720817381327 0
[pid=23857/tid=23866] ppid=23854 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23857/task/23866/stat : 23866 (java) S 23854 23854 16770 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 226681174 15372775424 18358 33554432000 4194304 4196468 140720817371200 140339158276048 140341097973659 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35930112 140720817378310 140720817378609 140720817378609 140720817381327 0
[pid=23857/tid=23867] ppid=23854 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23857/task/23867/stat : 23867 (java) S 23854 23854 16770 0 -1 1077944384 311 0 0 0 0 0 0 0 20 0 15 0 226681174 15372775424 18358 33554432000 4194304 4196468 140720817371200 140340436474608 140341097966210 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35930112 140720817378310 140720817378609 140720817378609 140720817381327 0
[pid=23857/tid=23868] ppid=23854 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/23857/task/23868/stat : 23868 (java) S 23854 23854 16770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 226681174 15372775424 18358 33554432000 4194304 4196468 140720817371200 140340435422064 140341097966210 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35930112 140720817378310 140720817378609 140720817378609 140720817381327 0
[pid=23857/tid=23869] ppid=23854 vsize=15012476 memory=140164887377536 CPUtime=0.01 cores=0,2,4,6
/proc/23857/task/23869/stat : 23869 (java) R 23854 23854 16770 0 -1 4202560 266 0 0 0 1 0 0 0 20 0 15 0 226681174 15372775424 18358 33554432000 4194304 4196468 140720817371200 140340434369008 140341078281888 0 4 2 16800973 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 35930112 140720817378310 140720817378609 140720817378609 140720817381327 0
[pid=23857/tid=23870] ppid=23854 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/23857/task/23870/stat : 23870 (java) S 23854 23854 16770 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 226681174 15372775424 18358 33554432000 4194304 4196468 140720817371200 140338660371296 140341097965269 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35930112 140720817378310 140720817378609 140720817378609 140720817381327 0
[pid=23857/tid=23871] ppid=23854 vsize=15012476 memory=140164887377536 CPUtime=0 cores=0,2,4,6
/proc/23857/task/23871/stat : 23871 (java) S 23854 23854 16770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 226681175 15372775424 18358 33554432000 4194304 4196468 140720817371200 140340433316400 140341097966210 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35930112 140720817378310 140720817378609 140720817378609 140720817381327 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 15125604 KiB
Current children cumulated memory: 74568 KiB

[startup+0.21086 s]*
/proc/loadavg: 2.18 2.08 2.06 3/222 23871
/proc/meminfo: memFree=12504564/32770624 swapFree=67108860/67108860
[pid=23854] ppid=23851 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/23854/stat : 23854 (scop.sh) S 23851 23854 16770 0 -1 4202496 559 321 0 0 0 0 0 0 20 0 1 0 226681167 115843072 349 33554432000 4194304 5098028 140735352853968 140735352851224 140206711702140 0 65536 4100 81923 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 28553216 140735352857664 140735352857863 140735352857863 140735352860621 0
/proc/23854/statm: 28282 349 296 221 0 87 0
[pid=23857] ppid=23854 vsize=15012476 memory=86496 CPUtime=0.25 cores=0,2,4,6
/proc/23857/stat : 23857 (java) S 23854 23854 16770 0 -1 1077944320 10480 0 0 0 23 2 0 0 20 0 15 0 226681168 15372775424 21624 33554432000 4194304 4196468 140720817371200 140720817353744 140341097955063 0 0 2 16800973 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 35930112 140720817378310 140720817378609 140720817378609 140720817381327 0
/proc/23857/statm: 3753119 21624 2905 1 0 3715579 0
[pid=23857/tid=23858] ppid=23854 vsize=15012476 memory=7022364632946311227 CPUtime=0.2 cores=0,2,4,6
/proc/23857/task/23858/stat : 23858 (java) R 23854 23854 16770 0 -1 4202560 8389 0 0 0 18 2 0 0 20 0 15 0 226681168 15372775424 21624 33554432000 4194304 4196468 140720817371200 140341069770416 140341097976989 0 4 2 16800973 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 35930112 140720817378310 140720817378609 140720817378609 140720817381327 0
[pid=23857/tid=23859] ppid=23854 vsize=15012476 memory=365 CPUtime=0 cores=0,2,4,6
/proc/23857/task/23859/stat : 23859 (java) S 23854 23854 16770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 226681170 15372775424 21624 33554432000 4194304 4196468 140720817371200 140341102197776 140341097965269 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35930112 140720817378310 140720817378609 140720817378609 140720817381327 0
[pid=23857/tid=23860] ppid=23854 vsize=15012476 memory=140164888586178 CPUtime=0 cores=0,2,4,6
/proc/23857/task/23860/stat : 23860 (java) S 23854 23854 16770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 226681170 15372775424 21624 33554432000 4194304 4196468 140720817371200 140340877900944 140341097965269 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35930112 140720817378310 140720817378609 140720817378609 140720817381327 0
[pid=23857/tid=23861] ppid=23854 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23857/task/23861/stat : 23861 (java) S 23854 23854 16770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 226681170 15372775424 21624 33554432000 4194304 4196468 140720817371200 140340876847888 140341097965269 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35930112 140720817378310 140720817378609 140720817378609 140720817381327 0
[pid=23857/tid=23862] ppid=23854 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/23857/task/23862/stat : 23862 (java) S 23854 23854 16770 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 226681170 15372775424 21624 33554432000 4194304 4196468 140720817371200 140340556196752 140341097965269 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35930112 140720817378310 140720817378609 140720817378609 140720817381327 0
[pid=23857/tid=23863] ppid=23854 vsize=15012476 memory=140164887377536 CPUtime=0 cores=0,2,4,6
/proc/23857/task/23863/stat : 23863 (java) S 23854 23854 16770 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 226681171 15372775424 21624 33554432000 4194304 4196468 140720817371200 140340437526768 140341097966210 0 0 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35930112 140720817378310 140720817378609 140720817378609 140720817381327 0
[pid=23857/tid=23864] ppid=23854 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/23857/task/23864/stat : 23864 (java) S 23854 23854 16770 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 226681172 15372775424 21624 33554432000 4194304 4196468 140720817371200 140339767665824 140341097965269 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35930112 140720817378310 140720817378609 140720817378609 140720817381327 0
[pid=23857/tid=23865] ppid=23854 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23857/task/23865/stat : 23865 (java) S 23854 23854 16770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 226681172 15372775424 21624 33554432000 4194304 4196468 140720817371200 140339532784368 140341097965269 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35930112 140720817378310 140720817378609 140720817378609 140720817381327 0
[pid=23857/tid=23866] ppid=23854 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23857/task/23866/stat : 23866 (java) S 23854 23854 16770 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 226681174 15372775424 21624 33554432000 4194304 4196468 140720817371200 140339158276048 140341097973659 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35930112 140720817378310 140720817378609 140720817378609 140720817381327 0
[pid=23857/tid=23867] ppid=23854 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23857/task/23867/stat : 23867 (java) S 23854 23854 16770 0 -1 1077944384 322 0 0 0 0 0 0 0 20 0 15 0 226681174 15372775424 21624 33554432000 4194304 4196468 140720817371200 140340436474608 140341097966210 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35930112 140720817378310 140720817378609 140720817378609 140720817381327 0
[pid=23857/tid=23868] ppid=23854 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/23857/task/23868/stat : 23868 (java) S 23854 23854 16770 0 -1 1077944384 154 0 0 0 0 0 0 0 20 0 15 0 226681174 15372775424 21624 33554432000 4194304 4196468 140720817371200 140340435422064 140341097966210 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35930112 140720817378310 140720817378609 140720817378609 140720817381327 0
[pid=23857/tid=23869] ppid=23854 vsize=15012476 memory=140164887377536 CPUtime=0.03 cores=0,2,4,6
/proc/23857/task/23869/stat : 23869 (java) S 23854 23854 16770 0 -1 1077944384 283 0 0 0 3 0 0 0 20 0 15 0 226681174 15372775424 21624 33554432000 4194304 4196468 140720817371200 140340434369008 140341097966210 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35930112 140720817378310 140720817378609 140720817378609 140720817381327 0
[pid=23857/tid=23870] ppid=23854 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/23857/task/23870/stat : 23870 (java) S 23854 23854 16770 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 226681174 15372775424 21624 33554432000 4194304 4196468 140720817371200 140338660371296 140341097965269 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35930112 140720817378310 140720817378609 140720817378609 140720817381327 0
[pid=23857/tid=23871] ppid=23854 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23857/task/23871/stat : 23871 (java) S 23854 23854 16770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 226681175 15372775424 21624 33554432000 4194304 4196468 140720817371200 140340433316400 140341097966210 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35930112 140720817378310 140720817378609 140720817378609 140720817381327 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 15125604 KiB
Current children cumulated memory: 87892 KiB

[startup+0.310914 s]*
/proc/loadavg: 2.18 2.08 2.06 3/222 23871
/proc/meminfo: memFree=12500988/32770624 swapFree=67108860/67108860
[pid=23854] ppid=23851 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/23854/stat : 23854 (scop.sh) S 23851 23854 16770 0 -1 4202496 559 321 0 0 0 0 0 0 20 0 1 0 226681167 115843072 349 33554432000 4194304 5098028 140735352853968 140735352851224 140206711702140 0 65536 4100 81923 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 28553216 140735352857664 140735352857863 140735352857863 140735352860621 0
/proc/23854/statm: 28282 349 296 221 0 87 0
[pid=23857] ppid=23854 vsize=15012476 memory=90288 CPUtime=0.43 cores=0,2,4,6
/proc/23857/stat : 23857 (java) S 23854 23854 16770 0 -1 1077944320 11018 0 0 0 40 3 0 0 20 0 15 0 226681168 15372775424 22572 33554432000 4194304 4196468 140720817371200 140720817353744 140341097955063 0 0 2 16800973 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 35930112 140720817378310 140720817378609 140720817378609 140720817381327 0
/proc/23857/statm: 3753119 22572 3008 1 0 3715579 0
[pid=23857/tid=23858] ppid=23854 vsize=15012476 memory=6791534058613427641 CPUtime=0.29 cores=0,2,4,6
/proc/23857/task/23858/stat : 23858 (java) R 23854 23854 16770 0 -1 4202560 8762 0 0 0 27 2 0 0 20 0 15 0 226681168 15372775424 22572 33554432000 4194304 4196468 140720817371200 140341069750064 140341082035550 0 4 2 16800973 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 35930112 140720817378310 140720817378609 140720817378609 140720817381327 0
[pid=23857/tid=23859] ppid=23854 vsize=15012476 memory=4126316290023845779 CPUtime=0 cores=0,2,4,6
/proc/23857/task/23859/stat : 23859 (java) S 23854 23854 16770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 226681170 15372775424 22572 33554432000 4194304 4196468 140720817371200 140341102197776 140341097965269 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35930112 140720817378310 140720817378609 140720817378609 140720817381327 0
[pid=23857/tid=23860] ppid=23854 vsize=15012476 memory=-3258418265892434876 CPUtime=0 cores=0,2,4,6
/proc/23857/task/23860/stat : 23860 (java) S 23854 23854 16770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 226681170 15372775424 22572 33554432000 4194304 4196468 140720817371200 140340877900944 140341097965269 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35930112 140720817378310 140720817378609 140720817378609 140720817381327 0
[pid=23857/tid=23861] ppid=23854 vsize=15012476 memory=4572146066226452084 CPUtime=0 cores=0,2,4,6
/proc/23857/task/23861/stat : 23861 (java) S 23854 23854 16770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 226681170 15372775424 22572 33554432000 4194304 4196468 140720817371200 140340876847888 140341097965269 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35930112 140720817378310 140720817378609 140720817378609 140720817381327 0
[pid=23857/tid=23862] ppid=23854 vsize=15012476 memory=6944613755495348631 CPUtime=0 cores=0,2,4,6
/proc/23857/task/23862/stat : 23862 (java) S 23854 23854 16770 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 226681170 15372775424 22572 33554432000 4194304 4196468 140720817371200 140340556196752 140341097965269 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35930112 140720817378310 140720817378609 140720817378609 140720817381327 0
[pid=23857/tid=23863] ppid=23854 vsize=15012476 memory=7893295687695687954 CPUtime=0 cores=0,2,4,6
/proc/23857/task/23863/stat : 23863 (java) S 23854 23854 16770 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 226681171 15372775424 22572 33554432000 4194304 4196468 140720817371200 140340437526768 140341097966210 0 0 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35930112 140720817378310 140720817378609 140720817378609 140720817381327 0
[pid=23857/tid=23864] ppid=23854 vsize=15012476 memory=-8813974798734826869 CPUtime=0 cores=0,2,4,6
/proc/23857/task/23864/stat : 23864 (java) S 23854 23854 16770 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 226681172 15372775424 22572 33554432000 4194304 4196468 140720817371200 140339767665824 140341097965269 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35930112 140720817378310 140720817378609 140720817378609 140720817381327 0
[pid=23857/tid=23865] ppid=23854 vsize=15012476 memory=-6664436420846796947 CPUtime=0 cores=0,2,4,6
/proc/23857/task/23865/stat : 23865 (java) S 23854 23854 16770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 226681172 15372775424 22572 33554432000 4194304 4196468 140720817371200 140339532784368 140341097965269 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35930112 140720817378310 140720817378609 140720817378609 140720817381327 0
[pid=23857/tid=23866] ppid=23854 vsize=15012476 memory=4426078206164241782 CPUtime=0 cores=0,2,4,6
/proc/23857/task/23866/stat : 23866 (java) S 23854 23854 16770 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 226681174 15372775424 22572 33554432000 4194304 4196468 140720817371200 140339158276048 140341097973659 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35930112 140720817378310 140720817378609 140720817378609 140720817381327 0
[pid=23857/tid=23867] ppid=23854 vsize=15012476 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/23857/task/23867/stat : 23867 (java) S 23854 23854 16770 0 -1 1077944384 411 0 0 0 2 0 0 0 20 0 15 0 226681174 15372775424 22572 33554432000 4194304 4196468 140720817371200 140340436474608 140341097966210 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35930112 140720817378310 140720817378609 140720817378609 140720817381327 0
[pid=23857/tid=23868] ppid=23854 vsize=15012476 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/23857/task/23868/stat : 23868 (java) R 23854 23854 16770 0 -1 1077944384 209 0 0 0 1 0 0 0 20 0 15 0 226681174 15372775424 22572 33554432000 4194304 4196468 140720817371200 140340435422064 140341097966210 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35930112 140720817378310 140720817378609 140720817378609 140720817381327 0
[pid=23857/tid=23869] ppid=23854 vsize=15012476 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/23857/task/23869/stat : 23869 (java) S 23854 23854 16770 0 -1 1077944384 304 0 0 0 7 0 0 0 20 0 15 0 226681174 15372775424 22572 33554432000 4194304 4196468 140720817371200 140340434369008 140341097966210 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35930112 140720817378310 140720817378609 140720817378609 140720817381327 0
[pid=23857/tid=23870] ppid=23854 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23857/task/23870/stat : 23870 (java) S 23854 23854 16770 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 226681174 15372775424 22572 33554432000 4194304 4196468 140720817371200 140338660371296 140341097965269 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35930112 140720817378310 140720817378609 140720817378609 140720817381327 0
[pid=23857/tid=23871] ppid=23854 vsize=15012476 memory=3472898942829666353 CPUtime=0 cores=0,2,4,6
/proc/23857/task/23871/stat : 23871 (java) S 23854 23854 16770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 226681175 15372775424 22572 33554432000 4194304 4196468 140720817371200 140340433316400 140341097966210 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35930112 140720817378310 140720817378609 140720817378609 140720817381327 0
Current children cumulated CPU time: 0.43 s
Current children cumulated vsize: 15125604 KiB
Current children cumulated memory: 91684 KiB

[startup+0.705975 s]
/proc/loadavg: 2.18 2.08 2.06 3/222 23871
/proc/meminfo: memFree=12476556/32770624 swapFree=67108860/67108860
[pid=23854] ppid=23851 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/23854/stat : 23854 (scop.sh) S 23851 23854 16770 0 -1 4202496 559 321 0 0 0 0 0 0 20 0 1 0 226681167 115843072 349 33554432000 4194304 5098028 140735352853968 140735352851224 140206711702140 0 65536 4100 81923 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 28553216 140735352857664 140735352857863 140735352857863 140735352860621 0
/proc/23854/statm: 28282 349 296 221 0 87 0
[pid=23857] ppid=23854 vsize=15020872 memory=129676 CPUtime=1.03 cores=0,2,4,6
/proc/23857/stat : 23857 (java) S 23854 23854 16770 0 -1 1077944320 18114 0 0 0 98 5 0 0 20 0 15 0 226681168 15381372928 32419 33554432000 4194304 4196468 140720817371200 140720817353744 140341097955063 0 0 2 25189581 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 35930112 140720817378310 140720817378609 140720817378609 140720817381327 0
/proc/23857/statm: 3755218 32419 3153 1 0 3716603 0
[pid=23857/tid=23858] ppid=23854 vsize=15020872 memory=-7816663703405220396 CPUtime=0.67 cores=0,2,4,6
/proc/23857/task/23858/stat : 23858 (java) R 23854 23854 16770 0 -1 4202560 15397 0 0 0 63 4 0 0 20 0 15 0 226681168 15381372928 32419 33554432000 4194304 4196468 140720817371200 140341069791584 140341097966998 0 4 2 25189581 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 35930112 140720817378310 140720817378609 140720817378609 140720817381327 0
[pid=23857/tid=23859] ppid=23854 vsize=15020872 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23857/task/23859/stat : 23859 (java) S 23854 23854 16770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 226681170 15381372928 32419 33554432000 4194304 4196468 140720817371200 140341102197776 140341097965269 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35930112 140720817378310 140720817378609 140720817378609 140720817381327 0
[pid=23857/tid=23860] ppid=23854 vsize=15020872 memory=61512 CPUtime=0 cores=0,2,4,6
/proc/23857/task/23860/stat : 23860 (java) S 23854 23854 16770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 226681170 15381372928 32419 33554432000 4194304 4196468 140720817371200 140340877900944 140341097965269 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35930112 140720817378310 140720817378609 140720817378609 140720817381327 0
[pid=23857/tid=23861] ppid=23854 vsize=15020872 memory=1240 CPUtime=0 cores=0,2,4,6
/proc/23857/task/23861/stat : 23861 (java) S 23854 23854 16770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 226681170 15381372928 32419 33554432000 4194304 4196468 140720817371200 140340876847888 140341097965269 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35930112 140720817378310 140720817378609 140720817378609 140720817381327 0
[pid=23857/tid=23862] ppid=23854 vsize=15020872 memory=2416 CPUtime=0 cores=0,2,4,6
/proc/23857/task/23862/stat : 23862 (java) S 23854 23854 16770 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 226681170 15381372928 32419 33554432000 4194304 4196468 140720817371200 140340556196752 140341097965269 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35930112 140720817378310 140720817378609 140720817378609 140720817381327 0
[pid=23857/tid=23863] ppid=23854 vsize=15020872 memory=1788 CPUtime=0 cores=0,2,4,6
/proc/23857/task/23863/stat : 23863 (java) S 23854 23854 16770 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 226681171 15381372928 32419 33554432000 4194304 4196468 140720817371200 140340437526768 140341097966210 0 0 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35930112 140720817378310 140720817378609 140720817378609 140720817381327 0
[pid=23857/tid=23864] ppid=23854 vsize=15020872 memory=1704 CPUtime=0 cores=0,2,4,6
/proc/23857/task/23864/stat : 23864 (java) S 23854 23854 16770 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 226681172 15381372928 32419 33554432000 4194304 4196468 140720817371200 140339767665824 140341097965269 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35930112 140720817378310 140720817378609 140720817378609 140720817381327 0
[pid=23857/tid=23865] ppid=23854 vsize=15020872 memory=796 CPUtime=0 cores=0,2,4,6
/proc/23857/task/23865/stat : 23865 (java) S 23854 23854 16770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 226681172 15381372928 32419 33554432000 4194304 4196468 140720817371200 140339532784368 140341097965269 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35930112 140720817378310 140720817378609 140720817378609 140720817381327 0
[pid=23857/tid=23866] ppid=23854 vsize=15020872 memory=5408 CPUtime=0 cores=0,2,4,6
/proc/23857/task/23866/stat : 23866 (java) S 23854 23854 16770 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 226681174 15381372928 32419 33554432000 4194304 4196468 140720817371200 140339158276048 140341097973659 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35930112 140720817378310 140720817378609 140720817378609 140720817381327 0
[pid=23857/tid=23867] ppid=23854 vsize=15020872 memory=876 CPUtime=0.1 cores=0,2,4,6
/proc/23857/task/23867/stat : 23867 (java) R 23854 23854 16770 0 -1 1077944384 638 0 0 0 10 0 0 0 20 0 15 0 226681174 15381372928 32419 33554432000 4194304 4196468 140720817371200 140340436473008 140341097965269 0 4 2 25189581 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 35930112 140720817378310 140720817378609 140720817378609 140720817381327 0
[pid=23857/tid=23868] ppid=23854 vsize=15020872 memory=10096 CPUtime=0.06 cores=0,2,4,6
/proc/23857/task/23868/stat : 23868 (java) R 23854 23854 16770 0 -1 4202560 293 0 0 0 6 0 0 0 20 0 15 0 226681174 15381372928 32419 33554432000 4194304 4196468 140720817371200 140340435409616 140341079476463 0 4 2 25189581 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 35930112 140720817378310 140720817378609 140720817378609 140720817381327 0
[pid=23857/tid=23869] ppid=23854 vsize=15020872 memory=1228 CPUtime=0.17 cores=0,2,4,6
/proc/23857/task/23869/stat : 23869 (java) R 23854 23854 16770 0 -1 4202560 451 0 0 0 17 0 0 0 20 0 15 0 226681174 15381372928 32419 33554432000 4194304 4196468 140720817371200 140340434366800 140341097966998 0 4 2 25189581 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 35930112 140720817378310 140720817378609 140720817378609 140720817381327 0
[pid=23857/tid=23870] ppid=23854 vsize=15020872 memory=1952 CPUtime=0 cores=0,2,4,6
/proc/23857/task/23870/stat : 23870 (java) S 23854 23854 16770 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 226681174 15381372928 32419 33554432000 4194304 4196468 140720817371200 140338660371296 140341097965269 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35930112 140720817378310 140720817378609 140720817378609 140720817381327 0
[pid=23857/tid=23871] ppid=23854 vsize=15020872 memory=1160 CPUtime=0 cores=0,2,4,6
/proc/23857/task/23871/stat : 23871 (java) S 23854 23854 16770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 226681175 15381372928 32419 33554432000 4194304 4196468 140720817371200 140340433316400 140341097966210 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35930112 140720817378310 140720817378609 140720817378609 140720817381327 0
Current children cumulated CPU time: 1.03 s
Current children cumulated vsize: 15134000 KiB
Current children cumulated memory: 131072 KiB

[startup+1.50179 s]
/proc/loadavg: 2.18 2.08 2.06 4/222 23871
/proc/meminfo: memFree=12448268/32770624 swapFree=67108860/67108860
[pid=23854] ppid=23851 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/23854/stat : 23854 (scop.sh) S 23851 23854 16770 0 -1 4202496 559 321 0 0 0 0 0 0 20 0 1 0 226681167 115843072 349 33554432000 4194304 5098028 140735352853968 140735352851224 140206711702140 0 65536 4100 81923 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 28553216 140735352857664 140735352857863 140735352857863 140735352860621 0
/proc/23854/statm: 28282 349 296 221 0 87 0

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

[pid=23872/tid=23875] ppid=23854 vsize=8068220 memory=608136 CPUtime=0 cores=0,2,4,6
/proc/23872/task/23875/stat : 23875 (java) S 23854 23854 16770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 226685310 8261857280 29203 33554432000 4194304 4196468 140735647548368 140228397157392 140228912150229 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8310784 140735647552693 140735647552817 140735647552817 140735647555535 0
[pid=23872/tid=23876] ppid=23854 vsize=8068220 memory=606088 CPUtime=0 cores=0,2,4,6
/proc/23872/task/23876/stat : 23876 (java) S 23854 23854 16770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 226685310 8261857280 29203 33554432000 4194304 4196468 140735647548368 140228396104592 140228912150229 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8310784 140735647552693 140735647552817 140735647552817 140735647555535 0
[pid=23872/tid=23877] ppid=23854 vsize=8068220 memory=61596 CPUtime=0 cores=0,2,4,6
/proc/23872/task/23877/stat : 23877 (java) S 23854 23854 16770 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 226685310 8261857280 29203 33554432000 4194304 4196468 140735647548368 140228395051792 140228912150229 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8310784 140735647552693 140735647552817 140735647552817 140735647555535 0
[pid=23872/tid=23878] ppid=23854 vsize=8068220 memory=626360 CPUtime=0.05 cores=0,2,4,6
/proc/23872/task/23878/stat : 23878 (java) S 23854 23854 16770 0 -1 1077944384 5 0 0 0 2 3 0 0 20 0 19 0 226685312 8261857280 29203 33554432000 4194304 4196468 140735647548368 140228358629744 140228912151170 0 0 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8310784 140735647552693 140735647552817 140735647552817 140735647555535 0
[pid=23872/tid=23879] ppid=23854 vsize=8068220 memory=1472 CPUtime=0 cores=0,2,4,6
/proc/23872/task/23879/stat : 23879 (java) S 23854 23854 16770 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 226685312 8261857280 29203 33554432000 4194304 4196468 140735647548368 140227796526112 140228912150229 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8310784 140735647552693 140735647552817 140735647552817 140735647555535 0
[pid=23872/tid=23880] ppid=23854 vsize=8068220 memory=1240 CPUtime=0 cores=0,2,4,6
/proc/23872/task/23880/stat : 23880 (java) S 23854 23854 16770 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 19 0 226685312 8261857280 29203 33554432000 4194304 4196468 140735647548368 140227662304112 140228912150229 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8310784 140735647552693 140735647552817 140735647552817 140735647555535 0
[pid=23872/tid=23881] ppid=23854 vsize=8068220 memory=1472 CPUtime=0 cores=0,2,4,6
/proc/23872/task/23881/stat : 23881 (java) S 23854 23854 16770 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 226685315 8261857280 29203 33554432000 4194304 4196468 140735647548368 140227287799632 140228912158619 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8310784 140735647552693 140735647552817 140735647552817 140735647555535 0
[pid=23872/tid=23882] ppid=23854 vsize=8068220 memory=-7824251494390912611 CPUtime=0.16 cores=0,2,4,6
/proc/23872/task/23882/stat : 23882 (java) S 23854 23854 16770 0 -1 1077944384 892 0 0 0 16 0 0 0 20 0 19 0 226685315 8261857280 29203 33554432000 4194304 4196468 140735647548368 140228357577584 140228912151170 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8310784 140735647552693 140735647552817 140735647552817 140735647555535 0
[pid=23872/tid=23883] ppid=23854 vsize=8068220 memory=116812 CPUtime=0.13 cores=0,2,4,6
/proc/23872/task/23883/stat : 23883 (java) S 23854 23854 16770 0 -1 1077944384 489 0 0 0 13 0 0 0 20 0 19 0 226685315 8261857280 29203 33554432000 4194304 4196468 140735647548368 140228356524784 140228912151170 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8310784 140735647552693 140735647552817 140735647552817 140735647555535 0
[pid=23872/tid=23884] ppid=23854 vsize=8068220 memory=4128 CPUtime=0.24 cores=0,2,4,6
/proc/23872/task/23884/stat : 23884 (java) S 23854 23854 16770 0 -1 1077944384 625 0 0 0 23 1 0 0 20 0 19 0 226685315 8261857280 29203 33554432000 4194304 4196468 140735647548368 140228355471984 140228912151170 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8310784 140735647552693 140735647552817 140735647552817 140735647555535 0
[pid=23872/tid=23885] ppid=23854 vsize=8068220 memory=61596 CPUtime=0 cores=0,2,4,6
/proc/23872/task/23885/stat : 23885 (java) S 23854 23854 16770 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 226685315 8261857280 29203 33554432000 4194304 4196468 140735647548368 140226789894880 140228912150229 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8310784 140735647552693 140735647552817 140735647552817 140735647555535 0
[pid=23872/tid=23886] ppid=23854 vsize=8068220 memory=56 CPUtime=1.77 cores=0,2,4,6
/proc/23872/task/23886/stat : 23886 (java) S 23854 23854 16770 0 -1 1077944384 155 0 0 0 87 90 0 0 20 0 19 0 226685315 8261857280 29203 33554432000 4194304 4196468 140735647548368 140228354419376 140228912151170 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8310784 140735647552693 140735647552817 140735647552817 140735647555535 0
[pid=23872/tid=23888] ppid=23854 vsize=8068220 memory=4639341348286649140 CPUtime=0 cores=0,2,4,6
/proc/23872/task/23888/stat : 23888 (java) S 23854 23854 16770 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 226685386 8261857280 29203 33554432000 4194304 4196468 140735647548368 140228346610880 140228912164633 0 4 2 25189581 18446744071579417331 0 0 -1 4 0 0 0 0 0 6293624 6294260 8310784 140735647552693 140735647552817 140735647552817 140735647555535 0
[pid=23872/tid=23890] ppid=23854 vsize=8068220 memory=1472 CPUtime=0 cores=0,2,4,6
/proc/23872/task/23890/stat : 23890 (java) S 23854 23854 16770 0 -1 4202560 24 0 0 0 0 0 0 0 20 0 19 0 226685386 8261857280 29203 33554432000 4194304 4196468 140735647548368 140226253008176 140228912161949 0 4 2 25189581 18446744071580971376 0 0 -1 0 0 0 0 0 0 6293624 6294260 8310784 140735647552693 140735647552817 140735647552817 140735647555535 0
[pid=23872/tid=23891] ppid=23854 vsize=8068220 memory=116812 CPUtime=0 cores=0,2,4,6
/proc/23872/task/23891/stat : 23891 (java) S 23854 23854 16770 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 19 0 226685386 8261857280 29203 33554432000 4194304 4196468 140735647548368 140226387230896 140228912161949 0 4 2 25189581 18446744071580971376 0 0 -1 0 0 0 0 0 0 6293624 6294260 8310784 140735647552693 140735647552817 140735647552817 140735647555535 0
[pid=23872/tid=23892] ppid=23854 vsize=8068220 memory=608136 CPUtime=0 cores=0,2,4,6
/proc/23872/task/23892/stat : 23892 (java) S 23854 23854 16770 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 19 0 226685388 8261857280 29203 33554432000 4194304 4196468 140735647548368 140225984585376 140228912150229 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8310784 140735647552693 140735647552817 140735647552817 140735647555535 0
Current children cumulated CPU time: 2409.92 s
Current children cumulated vsize: 8870440 KiB
Current children cumulated memory: 726420 KiB

[startup+2442.3 s]
/proc/loadavg: 1.01 1.42 1.79 2/200 24058
/proc/meminfo: memFree=12235044/32770624 swapFree=67108860/67108860
[pid=23854] ppid=23851 vsize=113128 memory=1472 CPUtime=66.79 cores=0,2,4,6
/proc/23854/stat : 23854 (scop.sh) S 23851 23854 16770 0 -1 4202496 590 74475 0 0 0 0 6457 222 20 0 1 0 226681167 115843072 368 33554432000 4194304 5098028 140735352853968 140735352850712 140206711702140 0 65536 4100 81923 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 28553216 140735352857664 140735352857863 140735352857863 140735352860621 0
/proc/23854/statm: 28282 368 311 221 0 87 0
[pid=23872] ppid=23854 vsize=8068220 memory=116812 CPUtime=3.26 cores=0,2,4,6
/proc/23872/stat : 23872 (java) S 23854 23854 16770 0 -1 1077944320 18616 0 0 0 234 92 0 0 20 0 19 0 226685309 8261857280 29203 33554432000 4194304 4196468 140735647548368 140735647530912 140228912140023 0 0 2 25189581 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 8310784 140735647552693 140735647552817 140735647552817 140735647555535 0
/proc/23872/statm: 2017055 29203 3159 1 0 1978454 0
[pid=23887] ppid=23872 vsize=689092 memory=612232 CPUtime=2399.91 cores=0,2,4,6
/proc/23887/stat : 23887 (minisat_release) R 23872 23854 16770 0 -1 4202496 4162705 0 0 0 239703 288 0 0 20 0 1 0 226685386 705630208 153058 33554432000 4194304 4308513 140730550253728 140730550251176 4269613 0 4 0 8396802 0 0 0 17 2 0 0 0 0 0 6409496 6410680 36827136 140730550260852 140730550260950 140730550260950 140730550263749 0
/proc/23887/statm: 172273 153058 342 28 0 168513 0
[pid=23872/tid=23873] ppid=23854 vsize=8068220 memory=116812 CPUtime=0.79 cores=0,2,4,6
/proc/23872/task/23873/stat : 23873 (java) S 23854 23854 16770 0 -1 1077944384 15025 0 0 0 74 5 0 0 20 0 19 0 226685309 8261857280 29203 33554432000 4194304 4196468 140735647548368 140228883980176 140228912150229 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8310784 140735647552693 140735647552817 140735647552817 140735647555535 0
[pid=23872/tid=23874] ppid=23854 vsize=8068220 memory=1472 CPUtime=0 cores=0,2,4,6
/proc/23872/task/23874/stat : 23874 (java) S 23854 23854 16770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 226685310 8261857280 29203 33554432000 4194304 4196468 140735647548368 140228916382864 140228912150229 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8310784 140735647552693 140735647552817 140735647552817 140735647555535 0
[pid=23872/tid=23875] ppid=23854 vsize=8068220 memory=606088 CPUtime=0 cores=0,2,4,6
/proc/23872/task/23875/stat : 23875 (java) S 23854 23854 16770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 226685310 8261857280 29203 33554432000 4194304 4196468 140735647548368 140228397157392 140228912150229 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8310784 140735647552693 140735647552817 140735647552817 140735647555535 0
[pid=23872/tid=23876] ppid=23854 vsize=8068220 memory=61596 CPUtime=0 cores=0,2,4,6
/proc/23872/task/23876/stat : 23876 (java) S 23854 23854 16770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 226685310 8261857280 29203 33554432000 4194304 4196468 140735647548368 140228396104592 140228912150229 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8310784 140735647552693 140735647552817 140735647552817 140735647555535 0
[pid=23872/tid=23877] ppid=23854 vsize=8068220 memory=1472 CPUtime=0 cores=0,2,4,6
/proc/23872/task/23877/stat : 23877 (java) S 23854 23854 16770 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 226685310 8261857280 29203 33554432000 4194304 4196468 140735647548368 140228395051792 140228912150229 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8310784 140735647552693 140735647552817 140735647552817 140735647555535 0
[pid=23872/tid=23878] ppid=23854 vsize=8068220 memory=116812 CPUtime=0.05 cores=0,2,4,6
/proc/23872/task/23878/stat : 23878 (java) S 23854 23854 16770 0 -1 1077944384 5 0 0 0 2 3 0 0 20 0 19 0 226685312 8261857280 29203 33554432000 4194304 4196468 140735647548368 140228358629744 140228912151170 0 0 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8310784 140735647552693 140735647552817 140735647552817 140735647555535 0
[pid=23872/tid=23879] ppid=23854 vsize=8068220 memory=61596 CPUtime=0 cores=0,2,4,6
/proc/23872/task/23879/stat : 23879 (java) S 23854 23854 16770 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 226685312 8261857280 29203 33554432000 4194304 4196468 140735647548368 140227796526112 140228912150229 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8310784 140735647552693 140735647552817 140735647552817 140735647555535 0
[pid=23872/tid=23880] ppid=23854 vsize=8068220 memory=1240 CPUtime=0 cores=0,2,4,6
/proc/23872/task/23880/stat : 23880 (java) S 23854 23854 16770 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 19 0 226685312 8261857280 29203 33554432000 4194304 4196468 140735647548368 140227662304112 140228912150229 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8310784 140735647552693 140735647552817 140735647552817 140735647555535 0
[pid=23872/tid=23881] ppid=23854 vsize=8068220 memory=612232 CPUtime=0 cores=0,2,4,6
/proc/23872/task/23881/stat : 23881 (java) S 23854 23854 16770 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 226685315 8261857280 29203 33554432000 4194304 4196468 140735647548368 140227287799632 140228912158619 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8310784 140735647552693 140735647552817 140735647552817 140735647555535 0
[pid=23872/tid=23882] ppid=23854 vsize=8068220 memory=1472 CPUtime=0.16 cores=0,2,4,6
/proc/23872/task/23882/stat : 23882 (java) S 23854 23854 16770 0 -1 1077944384 892 0 0 0 16 0 0 0 20 0 19 0 226685315 8261857280 29203 33554432000 4194304 4196468 140735647548368 140228357577584 140228912151170 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8310784 140735647552693 140735647552817 140735647552817 140735647555535 0
[pid=23872/tid=23883] ppid=23854 vsize=8068220 memory=4128 CPUtime=0.13 cores=0,2,4,6
/proc/23872/task/23883/stat : 23883 (java) S 23854 23854 16770 0 -1 1077944384 489 0 0 0 13 0 0 0 20 0 19 0 226685315 8261857280 29203 33554432000 4194304 4196468 140735647548368 140228356524784 140228912151170 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8310784 140735647552693 140735647552817 140735647552817 140735647555535 0
[pid=23872/tid=23884] ppid=23854 vsize=8068220 memory=61596 CPUtime=0.25 cores=0,2,4,6
/proc/23872/task/23884/stat : 23884 (java) S 23854 23854 16770 0 -1 1077944384 625 0 0 0 24 1 0 0 20 0 19 0 226685315 8261857280 29203 33554432000 4194304 4196468 140735647548368 140228355471984 140228912151170 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8310784 140735647552693 140735647552817 140735647552817 140735647555535 0
[pid=23872/tid=23885] ppid=23854 vsize=8068220 memory=1472 CPUtime=0 cores=0,2,4,6
/proc/23872/task/23885/stat : 23885 (java) S 23854 23854 16770 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 226685315 8261857280 29203 33554432000 4194304 4196468 140735647548368 140226789894880 140228912150229 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8310784 140735647552693 140735647552817 140735647552817 140735647555535 0
[pid=23872/tid=23886] ppid=23854 vsize=8068220 memory=1472 CPUtime=1.81 cores=0,2,4,6
/proc/23872/task/23886/stat : 23886 (java) S 23854 23854 16770 0 -1 1077944384 159 0 0 0 90 91 0 0 20 0 19 0 226685315 8261857280 29203 33554432000 4194304 4196468 140735647548368 140228354419376 140228912151170 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8310784 140735647552693 140735647552817 140735647552817 140735647555535 0
[pid=23872/tid=23888] ppid=23854 vsize=8068220 memory=1472 CPUtime=0 cores=0,2,4,6
/proc/23872/task/23888/stat : 23888 (java) S 23854 23854 16770 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 226685386 8261857280 29203 33554432000 4194304 4196468 140735647548368 140228346610880 140228912164633 0 4 2 25189581 18446744071579417331 0 0 -1 4 0 0 0 0 0 6293624 6294260 8310784 140735647552693 140735647552817 140735647552817 140735647555535 0
[pid=23872/tid=23890] ppid=23854 vsize=8068220 memory=1472 CPUtime=0 cores=0,2,4,6
/proc/23872/task/23890/stat : 23890 (java) S 23854 23854 16770 0 -1 4202560 24 0 0 0 0 0 0 0 20 0 19 0 226685386 8261857280 29203 33554432000 4194304 4196468 140735647548368 140226253008176 140228912161949 0 4 2 25189581 18446744071580971376 0 0 -1 0 0 0 0 0 0 6293624 6294260 8310784 140735647552693 140735647552817 140735647552817 140735647555535 0
[pid=23872/tid=23891] ppid=23854 vsize=8068220 memory=1472 CPUtime=0 cores=0,2,4,6
/proc/23872/task/23891/stat : 23891 (java) S 23854 23854 16770 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 19 0 226685386 8261857280 29203 33554432000 4194304 4196468 140735647548368 140226387230896 140228912161949 0 4 2 25189581 18446744071580971376 0 0 -1 0 0 0 0 0 0 6293624 6294260 8310784 140735647552693 140735647552817 140735647552817 140735647555535 0
[pid=23872/tid=23892] ppid=23854 vsize=8068220 memory=116812 CPUtime=0 cores=0,2,4,6
/proc/23872/task/23892/stat : 23892 (java) S 23854 23854 16770 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 19 0 226685388 8261857280 29203 33554432000 4194304 4196468 140735647548368 140225984585376 140228912150229 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8310784 140735647552693 140735647552817 140735647552817 140735647555535 0
Current children cumulated CPU time: 2469.96 s
Current children cumulated vsize: 8870440 KiB
Current children cumulated memory: 730516 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2492.4 s]
/proc/loadavg: 1.00 1.36 1.75 2/200 24059
/proc/meminfo: memFree=12228852/32770624 swapFree=67108860/67108860
[pid=23854] ppid=23851 vsize=113128 memory=1472 CPUtime=66.79 cores=0,2,4,6
/proc/23854/stat : 23854 (scop.sh) S 23851 23854 16770 0 -1 4202496 590 74475 0 0 0 0 6457 222 20 0 1 0 226681167 115843072 368 33554432000 4194304 5098028 140735352853968 140735352850712 140206711702140 0 65536 4100 81923 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 28553216 140735352857664 140735352857863 140735352857863 140735352860621 0
/proc/23854/statm: 28282 368 311 221 0 87 0
[pid=23872] ppid=23854 vsize=8068220 memory=116812 CPUtime=3.29 cores=0,2,4,6
/proc/23872/stat : 23872 (java) S 23854 23854 16770 0 -1 1077944320 18620 0 0 0 235 94 0 0 20 0 19 0 226685309 8261857280 29203 33554432000 4194304 4196468 140735647548368 140735647530912 140228912140023 0 0 2 25189581 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 8310784 140735647552693 140735647552817 140735647552817 140735647555535 0
/proc/23872/statm: 2017055 29203 3159 1 0 1978454 0
[pid=23887] ppid=23872 vsize=689092 memory=618384 CPUtime=2450 cores=0,2,4,6
/proc/23887/stat : 23887 (minisat_release) R 23872 23854 16770 0 -1 4202496 4245677 0 0 0 244708 292 0 0 20 0 1 0 226685386 705630208 154596 33554432000 4194304 4308513 140730550253728 140730550251176 4250426 0 4 0 8396802 0 0 0 17 2 0 0 0 0 0 6409496 6410680 36827136 140730550260852 140730550260950 140730550260950 140730550263749 0
/proc/23887/statm: 172273 154596 342 28 0 168513 0
[pid=23872/tid=23873] ppid=23854 vsize=8068220 memory=116812 CPUtime=0.79 cores=0,2,4,6
/proc/23872/task/23873/stat : 23873 (java) S 23854 23854 16770 0 -1 1077944384 15025 0 0 0 74 5 0 0 20 0 19 0 226685309 8261857280 29203 33554432000 4194304 4196468 140735647548368 140228883980176 140228912150229 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8310784 140735647552693 140735647552817 140735647552817 140735647555535 0
[pid=23872/tid=23874] ppid=23854 vsize=8068220 memory=618384 CPUtime=0 cores=0,2,4,6
/proc/23872/task/23874/stat : 23874 (java) S 23854 23854 16770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 226685310 8261857280 29203 33554432000 4194304 4196468 140735647548368 140228916382864 140228912150229 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8310784 140735647552693 140735647552817 140735647552817 140735647555535 0
[pid=23872/tid=23875] ppid=23854 vsize=8068220 memory=2100 CPUtime=0 cores=0,2,4,6
/proc/23872/task/23875/stat : 23875 (java) S 23854 23854 16770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 226685310 8261857280 29203 33554432000 4194304 4196468 140735647548368 140228397157392 140228912150229 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8310784 140735647552693 140735647552817 140735647552817 140735647555535 0
[pid=23872/tid=23876] ppid=23854 vsize=8068220 memory=7528 CPUtime=0 cores=0,2,4,6
/proc/23872/task/23876/stat : 23876 (java) S 23854 23854 16770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 226685310 8261857280 29203 33554432000 4194304 4196468 140735647548368 140228396104592 140228912150229 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8310784 140735647552693 140735647552817 140735647552817 140735647555535 0
[pid=23872/tid=23877] ppid=23854 vsize=8068220 memory=840 CPUtime=0 cores=0,2,4,6
/proc/23872/task/23877/stat : 23877 (java) S 23854 23854 16770 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 226685310 8261857280 29203 33554432000 4194304 4196468 140735647548368 140228395051792 140228912150229 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8310784 140735647552693 140735647552817 140735647552817 140735647555535 0
[pid=23872/tid=23878] ppid=23854 vsize=8068220 memory=1796 CPUtime=0.06 cores=0,2,4,6
/proc/23872/task/23878/stat : 23878 (java) S 23854 23854 16770 0 -1 1077944384 5 0 0 0 2 4 0 0 20 0 19 0 226685312 8261857280 29203 33554432000 4194304 4196468 140735647548368 140228358629744 140228912151170 0 0 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8310784 140735647552693 140735647552817 140735647552817 140735647555535 0
[pid=23872/tid=23879] ppid=23854 vsize=8068220 memory=916 CPUtime=0 cores=0,2,4,6
/proc/23872/task/23879/stat : 23879 (java) S 23854 23854 16770 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 226685312 8261857280 29203 33554432000 4194304 4196468 140735647548368 140227796526112 140228912150229 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8310784 140735647552693 140735647552817 140735647552817 140735647555535 0
[pid=23872/tid=23880] ppid=23854 vsize=8068220 memory=3848 CPUtime=0 cores=0,2,4,6
/proc/23872/task/23880/stat : 23880 (java) S 23854 23854 16770 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 19 0 226685312 8261857280 29203 33554432000 4194304 4196468 140735647548368 140227662304112 140228912150229 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8310784 140735647552693 140735647552817 140735647552817 140735647555535 0
[pid=23872/tid=23881] ppid=23854 vsize=8068220 memory=3428 CPUtime=0 cores=0,2,4,6
/proc/23872/task/23881/stat : 23881 (java) S 23854 23854 16770 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 226685315 8261857280 29203 33554432000 4194304 4196468 140735647548368 140227287799632 140228912158619 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8310784 140735647552693 140735647552817 140735647552817 140735647555535 0
[pid=23872/tid=23882] ppid=23854 vsize=8068220 memory=4104 CPUtime=0.16 cores=0,2,4,6
/proc/23872/task/23882/stat : 23882 (java) S 23854 23854 16770 0 -1 1077944384 892 0 0 0 16 0 0 0 20 0 19 0 226685315 8261857280 29203 33554432000 4194304 4196468 140735647548368 140228357577584 140228912151170 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8310784 140735647552693 140735647552817 140735647552817 140735647555535 0
[pid=23872/tid=23883] ppid=23854 vsize=8068220 memory=1408 CPUtime=0.13 cores=0,2,4,6
/proc/23872/task/23883/stat : 23883 (java) S 23854 23854 16770 0 -1 1077944384 489 0 0 0 13 0 0 0 20 0 19 0 226685315 8261857280 29203 33554432000 4194304 4196468 140735647548368 140228356524784 140228912151170 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8310784 140735647552693 140735647552817 140735647552817 140735647555535 0
[pid=23872/tid=23884] ppid=23854 vsize=8068220 memory=3520 CPUtime=0.25 cores=0,2,4,6
/proc/23872/task/23884/stat : 23884 (java) S 23854 23854 16770 0 -1 1077944384 625 0 0 0 24 1 0 0 20 0 19 0 226685315 8261857280 29203 33554432000 4194304 4196468 140735647548368 140228355471984 140228912151170 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8310784 140735647552693 140735647552817 140735647552817 140735647555535 0
[pid=23872/tid=23885] ppid=23854 vsize=8068220 memory=1472 CPUtime=0 cores=0,2,4,6
/proc/23872/task/23885/stat : 23885 (java) S 23854 23854 16770 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 226685315 8261857280 29203 33554432000 4194304 4196468 140735647548368 140226789894880 140228912150229 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8310784 140735647552693 140735647552817 140735647552817 140735647555535 0
[pid=23872/tid=23886] ppid=23854 vsize=8068220 memory=116812 CPUtime=1.84 cores=0,2,4,6
/proc/23872/task/23886/stat : 23886 (java) S 23854 23854 16770 0 -1 1077944384 163 0 0 0 91 93 0 0 20 0 19 0 226685315 8261857280 29203 33554432000 4194304 4196468 140735647548368 140228354419376 140228912151170 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8310784 140735647552693 140735647552817 140735647552817 140735647555535 0
[pid=23872/tid=23888] ppid=23854 vsize=8068220 memory=618380 CPUtime=0 cores=0,2,4,6
/proc/23872/task/23888/stat : 23888 (java) S 23854 23854 16770 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 226685386 8261857280 29203 33554432000 4194304 4196468 140735647548368 140228346610880 140228912164633 0 4 2 25189581 18446744071579417331 0 0 -1 4 0 0 0 0 0 6293624 6294260 8310784 140735647552693 140735647552817 140735647552817 140735647555535 0
[pid=23872/tid=23890] ppid=23854 vsize=8068220 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23872/task/23890/stat : 23890 (java) S 23854 23854 16770 0 -1 4202560 24 0 0 0 0 0 0 0 20 0 19 0 226685386 8261857280 29203 33554432000 4194304 4196468 140735647548368 140226253008176 140228912161949 0 4 2 25189581 18446744071580971376 0 0 -1 0 0 0 0 0 0 6293624 6294260 8310784 140735647552693 140735647552817 140735647552817 140735647555535 0
[pid=23872/tid=23891] ppid=23854 vsize=8068220 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23872/task/23891/stat : 23891 (java) S 23854 23854 16770 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 19 0 226685386 8261857280 29203 33554432000 4194304 4196468 140735647548368 140226387230896 140228912161949 0 4 2 25189581 18446744071580971376 0 0 -1 0 0 0 0 0 0 6293624 6294260 8310784 140735647552693 140735647552817 140735647552817 140735647555535 0
[pid=23872/tid=23892] ppid=23854 vsize=8068220 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23872/task/23892/stat : 23892 (java) S 23854 23854 16770 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 19 0 226685388 8261857280 29203 33554432000 4194304 4196468 140735647548368 140225984585376 140228912150229 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8310784 140735647552693 140735647552817 140735647552817 140735647555535 0
Current children cumulated CPU time: 2520.08 s
Current children cumulated vsize: 8870440 KiB
Current children cumulated memory: 736668 KiB

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

[startup+2492.41 s]
# the end of solver process 23854 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=64.573 s, system=2.22455 s

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

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

Child status: 1
Real time (s): 2492.47
CPU time (s): 2520.18
CPU user time (s): 2514.02
CPU system time (s): 6.16572
CPU usage (%): 101.112
Max. virtual memory (cumulated for all children) (KiB): 15142280
Max. memory (cumulated for all children) (KiB): 4116164

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2514.02
system time used= 6.16572
maximum resident set size= 4115336
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 4339908
page faults= 0
swaps= 0
block input operations= 8
block output operations= 292712
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 62547
involuntary context switches= 3309


# summary of solver processes directly reported to runsolver:
#   pid: 23854,23872
#   total CPU time (s): 2520.18
#   total CPU user time (s): 2514.02
#   total CPU system time (s): 6.16572

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 18.0948 second user time and 27.7521 second system time

The end

Launcher Data 

Begin job on node139 at 2018-08-12 18:26:20
IDJOB=4305448
IDBENCH=141602
IDSOLVER=2782
FILE ID=node139/4305448-1534091180
RUNJOBID= node139-1534060441-16801
PBS_JOBID= 21036974
Free space on /tmp= 28336 MiB

SOLVER NAME= scop order+MapleCOMSPS (2018-07-31)
BENCH NAME= XCSP18/SportsScheduling/SportsScheduling-20_c18.xml
COMMAND LINE= scop.sh 11g scop.jar -order minisat_release default TMPDIR BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4305448-1534091180/watcher-4305448-1534091180 -o /tmp/evaluation-result-4305448-1534091180/solver-4305448-1534091180 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node139-1534060441-16801 --watchdog 2580  scop.sh 11g scop.jar -order minisat_release default HOME HOME/instance-4305448-1534091180.xml

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

MD5SUM BENCH= 5ab9c36a805c5c518370c16479d9ce42
RANDOM SEED=277026853

node139.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.80
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.80
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.80
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.80
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:        12579224 kB
MemAvailable:   31468472 kB
Buffers:          232624 kB
Cached:         18623432 kB
SwapCached:            0 kB
Active:          8209664 kB
Inactive:       11138212 kB
Active(anon):     443144 kB
Inactive(anon):   100368 kB
Active(file):    7766520 kB
Inactive(file): 11037844 kB
Unevictable:        7296 kB
Mlocked:            7296 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:              7812 kB
Writeback:             0 kB
AnonPages:        518828 kB
Mapped:            73652 kB
Shmem:             49804 kB
Slab:             541672 kB
SReclaimable:     513344 kB
SUnreclaim:        28328 kB
KernelStack:        3920 kB
PageTables:         6508 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    6165976 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    151552 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      107904 kB
DirectMap2M:    33437696 kB

Free space on /tmp at the end= 28404 MiB
End job on node139 at 2018-08-12 19:07:53