Trace number 4305685

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.17 2491.3

General information on the benchmark

NameSportsScheduling/
SportsScheduling-22_c18.xml
MD5SUM13c66cb7417087d31bdec501d06a9dbf
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 variables715
Number of constraints319
Number of domains2
Minimum domain size22
Maximum domain size231
Distribution of domain sizes[{"size":22,"count":484},{"size":231,"count":231}]
Minimum variable degree3
Maximum variable degree4
Distribution of variable degrees[{"degree":3,"count":242},{"degree":4,"count":473}]
Minimum constraint arity1
Maximum constraint arity231
Distribution of constraint arities[{"arity":1,"count":11},{"arity":2,"count":11},{"arity":3,"count":231},{"arity":11,"count":21},{"arity":22,"count":22},{"arity":42,"count":11},{"arity":44,"count":11},{"arity":231,"count":1}]
Number of extensional constraints231
Number of intensional constraints22
Distribution of constraint types[{"type":"extension","count":231},{"type":"intension","count":22},{"type":"allDifferent","count":23},{"type":"count","count":21},{"type":"cardinality","count":22}]
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-1536-serial-file.bin HOME/instance-4305685-1534128669.xml
0.67/0.52	
0.67/0.53	scop both+minisat_release (2018-07-31)
0.67/0.53	(Encoding Process)
0.67/0.53	
0.67/0.55	c BEGIN-Prog: Mon Aug 13 04:51:10 CEST 2018
0.67/0.55	c PID: 1539
0.67/0.55	c IP: 172.20.3.102
0.67/0.55	c HOST: node102.alineos.net
0.67/0.56	c (0,0) Parsing Begin
1.95/1.16	c (0,0) Parsing End
1.95/1.18	c (0,0) CSP: 715 int (0 aux), 0 bool (0 aux), 319 ctr, max domain size 231
1.95/1.18	c (0,0) Heap : 112 MiB used (max 10795 MiB), NonHeap : 20 MiB used (max 0 MiB)
1.95/1.18	c (0,0) Constraint Name Generate Begin
1.95/1.19	c (0,0) Ctr:HOME/instance-4305685-1534128669.xml,AllDifferent:Cardinality:Count:Eq:ExtensionSupport:IntVar:Lt:Num
1.95/1.19	c (0,0) Constraint Name Generate End
1.95/1.19	c (0,0) Heap : 112 MiB used (max 10795 MiB), NonHeap : 21 MiB used (max 0 MiB)
1.95/1.19	c (0,0) CSP to CSPinCNF Begin
8.85/4.04	c (3,3) translated 32 (10%) constraints
10.73/5.82	c (5,5) translated 64 (20%) constraints
12.44/7.57	c (7,7) translated 96 (30%) constraints
14.97/9.48	c (8,8) translated 128 (40%) constraints
16.60/11.09	c (10,10) translated 160 (50%) constraints
18.35/12.70	c (12,11) translated 192 (60%) constraints
19.98/14.33	c (13,13) translated 224 (70%) constraints
25.55/16.46	c (15,15) translated 256 (80%) constraints
27.86/17.50	c (16,16) translated 288 (90%) constraints
28.69/17.87	c (17,16) translated 319 (100%) constraints
31.67/19.14	c (18,18) STATISTICS1:HOME/instance-4305685-1534128669.xml,AllDifferent:Cardinality:Count:Eq:ExtensionSupport:IntVar:Lt:Num,69806,335347,8796093022208,231,231,44,8796093022208:484;2199023255552:484;1024:42;231:24090;21:5093;1:2475,231:253880;21:249590;2:503646;1:12705,231:2;22:737;21:231;20:231;19:231;18:231;17:231;16:231;15:231;14:231;13:231;12:231;11:231;10:231;9:231;8:231;7:231;6:231;5:231;4:96789;3:78562;2:154561;1:769,44:484;42:484;11:42;2:31658;1:936188;0:231,
31.67/19.14	c (18,18) ==========================================
31.67/19.14	c (18,18) Both Encoding selects:
31.67/19.14	c (18,18) Order
31.67/19.14	c (18,18) ==========================================
33.09/19.71	c (19,18) translated 33535 (10%) constraints
33.51/20.18	c (19,19) translated 67070 (20%) constraints
35.27/20.97	c (20,19) translated 100605 (30%) constraints
35.78/21.44	c (20,20) translated 134139 (40%) constraints
36.28/21.91	c (21,20) translated 167674 (50%) constraints
36.68/22.38	c (21,21) translated 201209 (60%) constraints
37.18/22.85	c (22,21) translated 234743 (70%) constraints
37.68/23.31	c (22,21) translated 268278 (80%) constraints
39.55/24.16	c (23,22) translated 301813 (90%) constraints
44.20/26.42	c (25,25) translated 335347 (100%) constraints
44.20/26.42	c (25,25) CSP to CSPinCNF End
44.20/26.46	c (25,25) CSP: 6039 int (5324 aux), 79970 bool (79970 aux), 366091 ctr, max domain size 229
44.20/26.46	c (25,25) Heap : 2540 MiB used (max 10795 MiB), NonHeap : 30 MiB used (max 0 MiB)
44.20/26.46	c (25,25) CSPinCNF Propagation Begin
49.34/29.35	c (28,27) 9247 values, 31531 unsatisfiable literals, and 22644 valid clauses are removed
49.34/29.35	c (28,27) CSPinCNF Propagation End
49.34/29.38	c (28,27) CSP: 11671 int (10956 aux), 74338 bool (74338 aux), 343447 ctr, max domain size 229
49.34/29.38	c (28,27) Heap : 1714 MiB used (max 10795 MiB), NonHeap : 31 MiB used (max 0 MiB)
49.34/29.38	c (28,27) Simplify CSPinCNF Begin
51.28/30.85	c (30,29) Simplify CSPinCNF End
51.28/30.89	c (30,29) CSP: 11671 int (10956 aux), 136180 bool (136180 aux), 405289 ctr, max domain size 229
51.28/30.89	c (30,29) Heap : 2549 MiB used (max 10795 MiB), NonHeap : 32 MiB used (max 0 MiB)
51.28/30.89	c (30,29) Calculate Precise Domain Begin
51.38/30.96	c (30,29) 983 values are removed by re-calculation
51.38/30.96	c (30,29) Calculate Precise Domain End
51.65/31.01	c (30,29) CSP: 11671 int (10956 aux), 136180 bool (136180 aux), 405289 ctr, max domain size 229
51.65/31.01	c (30,29) Heap : 2549 MiB used (max 10795 MiB), NonHeap : 32 MiB used (max 0 MiB)
51.65/31.01	c (30,29) CSPinCNF to SatSolver Begin
52.51/31.45	c (30,29) 40529 (10 %) CSP clauses are encoded (210298 SAT variables, 108794 SAT clauses)
52.73/31.64	c (31,29) 81058 (20 %) CSP clauses are encoded (210298 SAT variables, 149323 SAT clauses)
54.31/32.20	c (31,30) 121587 (30 %) CSP clauses are encoded (210298 SAT variables, 189852 SAT clauses)
54.50/32.37	c (31,30) 162116 (40 %) CSP clauses are encoded (210298 SAT variables, 230381 SAT clauses)
54.71/32.55	c (32,30) 202645 (50 %) CSP clauses are encoded (210298 SAT variables, 270910 SAT clauses)
54.91/32.73	c (32,30) 243174 (60 %) CSP clauses are encoded (210298 SAT variables, 311439 SAT clauses)
63.45/39.04	c (38,36) 283703 (70 %) CSP clauses are encoded (210298 SAT variables, 3008624 SAT clauses)
77.09/52.10	c (51,48) 324232 (80 %) CSP clauses are encoded (210298 SAT variables, 8708797 SAT clauses)
83.95/58.76	c (58,54) 364761 (90 %) CSP clauses are encoded (210298 SAT variables, 11625626 SAT clauses)
84.93/59.61	c (59,55) 405289 (100 %) CSP clauses are encoded (210298 SAT variables, 11861523 SAT clauses)
85.41/59.90	c (59,55) Launch Command will be: minisat_release
85.41/59.90	c (59,55) CSPinCNF to SatSolver End
85.41/59.90	c (59,55) Heap : 887 MiB used (max 10697 MiB), NonHeap : 33 MiB used (max 0 MiB)
87.04/60.75	c (60,56) STATISTICS2:HOME/instance-4305685-1534128669.xml,AllDifferent:Cardinality:Count:Eq:ExtensionSupport:IntVar:Lt:Num,147851,405289,1024,229,21,11,1024:40;256:418;229:48180;128:3344;64:1254;27:190;24:190;21:2863;20:7040;18:30;16:390;15:10;14:19;12:50;10:4;9:2860;8:445;4:286;1:3960,229:301818;21:226908;20:34540;10:380;9:418;8:456;7:438;6:102;5:32;4:110;3:14080;2:630311;1:8580,21:440;20:440;19:220;18:220;17:220;16:220;15:220;14:220;13:220;12:220;11:262;10:220;9:220;8:220;7:220;6:220;5:220;4:92180;3:71687;2:227469;1:9731,11:40;9:968;8:4840;3:3872;2:61853;1:1034979,
87.04/60.75	c (60,56) 210298 bool, 11861543 clause
87.04/60.75	c (60,56) Export Begin
87.18/60.88	c (60,56) Export to HOME/scop-1536-serial-file.bin
87.18/60.89	c (60,56) Export End
87.18/60.89	c (60,56) Export File Size: 0.15 MB
87.18/60.89	c (60,56) 0,0,25,28,30,30,59,STOP-AFTER(DIMACS)
87.18/60.89	c END-Prog: Mon Aug 13 04:52:10 CEST 2018
87.42/60.92	c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp scop.jar fun.scop.XCSP18Solve HOME/scop-1536-serial-file.bin
88.06/61.42	c (0,0) Read Serial File Begin
88.06/61.42	c (0,0) HOME/scop-1536-serial-file.bin
88.43/61.65	c (0,0) Read Serial File End
88.43/61.66	
88.43/61.66	scop order+minisat_release (2018-07-31)
88.43/61.66	(Solving Process)
88.43/61.66	
88.43/61.68	c BEGIN-Prog: Mon Aug 13 04:52:11 CEST 2018
88.43/61.68	c PID: 1555
88.43/61.68	c IP: 172.20.3.102
88.43/61.68	c HOST: node102.alineos.net
88.43/61.69	c (0,0) SatSolver.solve Begin
88.43/61.69	c (0,0) 0 bool, 0 clause
88.43/61.69	c (0,0) minisat_release HOME/instance-4305685-1534128669.xml-scop-1539.cnf
2520.04/2491.20	c (2429,0) receiving signal SIGTERM
2520.04/2491.20	s UNKNOWN
2520.04/2491.21	c (scop.sh) Receiving Signal. Removing all intermediate files.
2520.04/2491.21	c (scop.sh) Remove HOME/scop-1536-serial-file.bin.
2520.04/2491.21	c (scop.sh) Killing background jobs.
2520.04/2491.21	c (2429,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 (14496 MiB free)
  memory of node 1: 16384 MiB (13613 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4305685-1534128669/watcher-4305685-1534128669 -o /tmp/evaluation-result-4305685-1534128669/solver-4305685-1534128669 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node102-1534128649-1366 --watchdog 2580 scop.sh 11g scop.jar -both minisat_release default HOME HOME/instance-4305685-1534128669.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=1536, runsolver pid=1533

[startup+0.100124 s]*
/proc/loadavg: 1.35 1.33 1.39 3/224 1553
/proc/meminfo: memFree=28725700/32770624 swapFree=67030660/67108860
[pid=1536] ppid=1533 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/1536/stat : 1536 (scop.sh) S 1533 1536 25256 0 -1 4202496 560 321 0 0 0 0 0 0 20 0 1 0 230430081 115843072 349 33554432000 4194304 5098028 140727395760016 140727395757272 140493696668284 0 65536 4100 81923 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 21614592 140727395767361 140727395767559 140727395767559 140727395770317 0
/proc/1536/statm: 28282 349 296 221 0 87 0
[pid=1539] ppid=1536 vsize=15012476 memory=70532 CPUtime=0.1 cores=0,2,4,6
/proc/1539/stat : 1539 (java) S 1536 1536 25256 0 -1 1077944320 6308 0 0 0 9 1 0 0 20 0 15 0 230430082 15372775424 17633 33554432000 4194304 4196468 140731332300704 140731332283248 140085396147959 0 0 2 16800973 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 10883072 140731332305928 140731332306225 140731332306225 140731332308943 0
/proc/1539/statm: 3753119 17633 2740 1 0 3715579 0
[pid=1539/tid=1540] ppid=1536 vsize=15012476 memory=576460756329981478 CPUtime=0.09 cores=0,2,4,6
/proc/1539/task/1540/stat : 1540 (java) R 1536 1536 25256 0 -1 4202560 4437 0 0 0 8 1 0 0 20 0 15 0 230430082 15372775424 17633 33554432000 4194304 4196468 140731332300704 140085367982624 140085377701264 0 4 2 16800973 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 10883072 140731332305928 140731332306225 140731332306225 140731332308943 0
[pid=1539/tid=1541] ppid=1536 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1539/task/1541/stat : 1541 (java) S 1536 1536 25256 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 230430084 15372775424 17633 33554432000 4194304 4196468 140731332300704 140085400390416 140085396158165 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10883072 140731332305928 140731332306225 140731332306225 140731332308943 0
[pid=1539/tid=1542] ppid=1536 vsize=15012476 memory=3474584532756483386 CPUtime=0 cores=0,2,4,6
/proc/1539/task/1542/stat : 1542 (java) S 1536 1536 25256 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 230430084 15372775424 17633 33554432000 4194304 4196468 140731332300704 140085191474064 140085396158165 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10883072 140731332305928 140731332306225 140731332306225 140731332308943 0
[pid=1539/tid=1543] ppid=1536 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1539/task/1543/stat : 1543 (java) S 1536 1536 25256 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 230430084 15372775424 17699 33554432000 4194304 4196468 140731332300704 140084856044560 140085396158165 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10883072 140731332305928 140731332306225 140731332306225 140731332308943 0
[pid=1539/tid=1544] ppid=1536 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1539/task/1544/stat : 1544 (java) S 1536 1536 25256 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 230430084 15372775424 17764 33554432000 4194304 4196468 140731332300704 140084854992016 140085396158165 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10883072 140731332305928 140731332306225 140731332306225 140731332308943 0
[pid=1539/tid=1545] ppid=1536 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1539/task/1545/stat : 1545 (java) S 1536 1536 25256 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 230430085 15372775424 17764 33554432000 4194304 4196468 140731332300704 140084366616560 140085396159106 0 0 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10883072 140731332305928 140731332306225 140731332306225 140731332308943 0
[pid=1539/tid=1546] ppid=1536 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/1539/task/1546/stat : 1546 (java) S 1536 1536 25256 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 230430086 15372775424 17764 33554432000 4194304 4196468 140731332300704 140083848012704 140085396158165 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10883072 140731332305928 140731332306225 140731332306225 140731332308943 0
[pid=1539/tid=1547] ppid=1536 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1539/task/1547/stat : 1547 (java) S 1536 1536 25256 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 230430086 15372775424 17764 33554432000 4194304 4196468 140731332300704 140083713790960 140085396158165 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10883072 140731332305928 140731332306225 140731332306225 140731332308943 0
[pid=1539/tid=1548] ppid=1536 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1539/task/1548/stat : 1548 (java) S 1536 1536 25256 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 230430088 15372775424 17764 33554432000 4194304 4196468 140731332300704 140083339286736 140085396166555 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10883072 140731332305928 140731332306225 140731332306225 140731332308943 0
[pid=1539/tid=1549] ppid=1536 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1539/task/1549/stat : 1549 (java) S 1536 1536 25256 0 -1 1077944384 294 0 0 0 0 0 0 0 20 0 15 0 230430088 15372775424 17764 33554432000 4194304 4196468 140731332300704 140084365564400 140085396159106 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10883072 140731332305928 140731332306225 140731332306225 140731332308943 0
[pid=1539/tid=1550] ppid=1536 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/1539/task/1550/stat : 1550 (java) S 1536 1536 25256 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 230430088 15372775424 17764 33554432000 4194304 4196468 140731332300704 140084364511856 140085396159106 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10883072 140731332305928 140731332306225 140731332306225 140731332308943 0
[pid=1539/tid=1551] ppid=1536 vsize=15012476 memory=139945219712640 CPUtime=0.01 cores=0,2,4,6
/proc/1539/task/1551/stat : 1551 (java) R 1536 1536 25256 0 -1 4202560 285 0 0 0 1 0 0 0 20 0 15 0 230430088 15372775424 17764 33554432000 4194304 4196468 140731332300704 140084363459312 140085389244795 0 4 2 16800973 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 10883072 140731332305928 140731332306225 140731332306225 140731332308943 0
[pid=1539/tid=1552] ppid=1536 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/1539/task/1552/stat : 1552 (java) S 1536 1536 25256 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 230430089 15372775424 17764 33554432000 4194304 4196468 140731332300704 140082841381984 140085396158165 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10883072 140731332305928 140731332306225 140731332306225 140731332308943 0
[pid=1539/tid=1553] ppid=1536 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1539/task/1553/stat : 1553 (java) S 1536 1536 25256 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 230430089 15372775424 17764 33554432000 4194304 4196468 140731332300704 140084362406192 140085396159106 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10883072 140731332305928 140731332306225 140731332306225 140731332308943 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 15125604 KiB
Current children cumulated memory: 71928 KiB

[startup+0.210714 s]*
/proc/loadavg: 1.35 1.33 1.39 3/224 1553
/proc/meminfo: memFree=28712428/32770624 swapFree=67030660/67108860
[pid=1536] ppid=1533 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/1536/stat : 1536 (scop.sh) S 1533 1536 25256 0 -1 4202496 560 321 0 0 0 0 0 0 20 0 1 0 230430081 115843072 349 33554432000 4194304 5098028 140727395760016 140727395757272 140493696668284 0 65536 4100 81923 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 21614592 140727395767361 140727395767559 140727395767559 140727395770317 0
/proc/1536/statm: 28282 349 296 221 0 87 0
[pid=1539] ppid=1536 vsize=15012476 memory=84080 CPUtime=0.24 cores=0,2,4,6
/proc/1539/stat : 1539 (java) S 1536 1536 25256 0 -1 1077944320 9892 0 0 0 22 2 0 0 20 0 15 0 230430082 15372775424 21020 33554432000 4194304 4196468 140731332300704 140731332283248 140085396147959 0 0 2 16800973 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 10883072 140731332305928 140731332306225 140731332306225 140731332308943 0
/proc/1539/statm: 3753119 21020 2901 1 0 3715579 0
[pid=1539/tid=1540] ppid=1536 vsize=15012476 memory=8462108013221118012 CPUtime=0.2 cores=0,2,4,6
/proc/1539/task/1540/stat : 1540 (java) R 1536 1536 25256 0 -1 4202560 7779 0 0 0 18 2 0 0 20 0 15 0 230430082 15372775424 21020 33554432000 4194304 4196468 140731332300704 140085367969760 140085396159894 0 4 2 16800973 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 10883072 140731332305928 140731332306225 140731332306225 140731332308943 0
[pid=1539/tid=1541] ppid=1536 vsize=15012476 memory=4294967695 CPUtime=0 cores=0,2,4,6
/proc/1539/task/1541/stat : 1541 (java) S 1536 1536 25256 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 230430084 15372775424 21020 33554432000 4194304 4196468 140731332300704 140085400390416 140085396158165 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10883072 140731332305928 140731332306225 140731332306225 140731332308943 0
[pid=1539/tid=1542] ppid=1536 vsize=15012476 memory=288370321371424384 CPUtime=0 cores=0,2,4,6
/proc/1539/task/1542/stat : 1542 (java) S 1536 1536 25256 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 230430084 15372775424 21020 33554432000 4194304 4196468 140731332300704 140085191474064 140085396158165 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10883072 140731332305928 140731332306225 140731332306225 140731332308943 0
[pid=1539/tid=1543] ppid=1536 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1539/task/1543/stat : 1543 (java) S 1536 1536 25256 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 230430084 15372775424 21020 33554432000 4194304 4196468 140731332300704 140084856044560 140085396158165 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10883072 140731332305928 140731332306225 140731332306225 140731332308943 0
[pid=1539/tid=1544] ppid=1536 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/1539/task/1544/stat : 1544 (java) S 1536 1536 25256 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 230430084 15372775424 21020 33554432000 4194304 4196468 140731332300704 140084854992016 140085396158165 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10883072 140731332305928 140731332306225 140731332306225 140731332308943 0
[pid=1539/tid=1545] ppid=1536 vsize=15012476 memory=139945219712640 CPUtime=0 cores=0,2,4,6
/proc/1539/task/1545/stat : 1545 (java) S 1536 1536 25256 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 230430085 15372775424 21020 33554432000 4194304 4196468 140731332300704 140084366616560 140085396159106 0 0 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10883072 140731332305928 140731332306225 140731332306225 140731332308943 0
[pid=1539/tid=1546] ppid=1536 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/1539/task/1546/stat : 1546 (java) S 1536 1536 25256 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 230430086 15372775424 21020 33554432000 4194304 4196468 140731332300704 140083848012704 140085396158165 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10883072 140731332305928 140731332306225 140731332306225 140731332308943 0
[pid=1539/tid=1547] ppid=1536 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1539/task/1547/stat : 1547 (java) S 1536 1536 25256 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 230430086 15372775424 21020 33554432000 4194304 4196468 140731332300704 140083713790960 140085396158165 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10883072 140731332305928 140731332306225 140731332306225 140731332308943 0
[pid=1539/tid=1548] ppid=1536 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1539/task/1548/stat : 1548 (java) S 1536 1536 25256 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 230430088 15372775424 21020 33554432000 4194304 4196468 140731332300704 140083339286736 140085396166555 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10883072 140731332305928 140731332306225 140731332306225 140731332308943 0
[pid=1539/tid=1549] ppid=1536 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1539/task/1549/stat : 1549 (java) S 1536 1536 25256 0 -1 1077944384 305 0 0 0 0 0 0 0 20 0 15 0 230430088 15372775424 21020 33554432000 4194304 4196468 140731332300704 140084365564400 140085396159106 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10883072 140731332305928 140731332306225 140731332306225 140731332308943 0
[pid=1539/tid=1550] ppid=1536 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/1539/task/1550/stat : 1550 (java) S 1536 1536 25256 0 -1 1077944384 158 0 0 0 0 0 0 0 20 0 15 0 230430088 15372775424 21020 33554432000 4194304 4196468 140731332300704 140084364511856 140085396159106 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10883072 140731332305928 140731332306225 140731332306225 140731332308943 0
[pid=1539/tid=1551] ppid=1536 vsize=15012476 memory=139945219712640 CPUtime=0.03 cores=0,2,4,6
/proc/1539/task/1551/stat : 1551 (java) R 1536 1536 25256 0 -1 4202560 305 0 0 0 3 0 0 0 20 0 15 0 230430088 15372775424 21020 33554432000 4194304 4196468 140731332300704 140084363459312 140085381828084 0 4 2 16800973 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 10883072 140731332305928 140731332306225 140731332306225 140731332308943 0
[pid=1539/tid=1552] ppid=1536 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/1539/task/1552/stat : 1552 (java) S 1536 1536 25256 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 230430089 15372775424 21020 33554432000 4194304 4196468 140731332300704 140082841381984 140085396158165 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10883072 140731332305928 140731332306225 140731332306225 140731332308943 0
[pid=1539/tid=1553] ppid=1536 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1539/task/1553/stat : 1553 (java) S 1536 1536 25256 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 230430089 15372775424 21020 33554432000 4194304 4196468 140731332300704 140084362406192 140085396159106 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10883072 140731332305928 140731332306225 140731332306225 140731332308943 0
Current children cumulated CPU time: 0.24 s
Current children cumulated vsize: 15125604 KiB
Current children cumulated memory: 85476 KiB

[startup+0.31065 s]*
/proc/loadavg: 1.35 1.33 1.39 3/224 1553
/proc/meminfo: memFree=28708956/32770624 swapFree=67030660/67108860
[pid=1536] ppid=1533 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/1536/stat : 1536 (scop.sh) S 1533 1536 25256 0 -1 4202496 560 321 0 0 0 0 0 0 20 0 1 0 230430081 115843072 349 33554432000 4194304 5098028 140727395760016 140727395757272 140493696668284 0 65536 4100 81923 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 21614592 140727395767361 140727395767559 140727395767559 140727395770317 0
/proc/1536/statm: 28282 349 296 221 0 87 0
[pid=1539] ppid=1536 vsize=15012476 memory=87876 CPUtime=0.43 cores=0,2,4,6
/proc/1539/stat : 1539 (java) S 1536 1536 25256 0 -1 1077944320 10434 0 0 0 40 3 0 0 20 0 15 0 230430082 15372775424 21969 33554432000 4194304 4196468 140731332300704 140731332283248 140085396147959 0 0 2 16800973 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 10883072 140731332305928 140731332306225 140731332306225 140731332308943 0
/proc/1539/statm: 3753119 21969 3014 1 0 3715579 0
[pid=1539/tid=1540] ppid=1536 vsize=15012476 memory=1398720917958146503 CPUtime=0.29 cores=0,2,4,6
/proc/1539/task/1540/stat : 1540 (java) R 1536 1536 25256 0 -1 4202560 8148 0 0 0 27 2 0 0 20 0 15 0 230430082 15372775424 21969 33554432000 4194304 4196468 140731332300704 140085367951560 140085377711488 0 4 2 16800973 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 10883072 140731332305928 140731332306225 140731332306225 140731332308943 0
[pid=1539/tid=1541] ppid=1536 vsize=15012476 memory=1560 CPUtime=0 cores=0,2,4,6
/proc/1539/task/1541/stat : 1541 (java) S 1536 1536 25256 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 230430084 15372775424 21969 33554432000 4194304 4196468 140731332300704 140085400390416 140085396158165 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10883072 140731332305928 140731332306225 140731332306225 140731332308943 0
[pid=1539/tid=1542] ppid=1536 vsize=15012476 memory=932 CPUtime=0 cores=0,2,4,6
/proc/1539/task/1542/stat : 1542 (java) S 1536 1536 25256 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 230430084 15372775424 21969 33554432000 4194304 4196468 140731332300704 140085191474064 140085396158165 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10883072 140731332305928 140731332306225 140731332306225 140731332308943 0
[pid=1539/tid=1543] ppid=1536 vsize=15012476 memory=2241 CPUtime=0 cores=0,2,4,6
/proc/1539/task/1543/stat : 1543 (java) S 1536 1536 25256 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 230430084 15372775424 21969 33554432000 4194304 4196468 140731332300704 140084856044560 140085396158165 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10883072 140731332305928 140731332306225 140731332306225 140731332308943 0
[pid=1539/tid=1544] ppid=1536 vsize=15012476 memory=2244 CPUtime=0 cores=0,2,4,6
/proc/1539/task/1544/stat : 1544 (java) S 1536 1536 25256 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 230430084 15372775424 21969 33554432000 4194304 4196468 140731332300704 140084854992016 140085396158165 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10883072 140731332305928 140731332306225 140731332306225 140731332308943 0
[pid=1539/tid=1545] ppid=1536 vsize=15012476 memory=6656426216303648864 CPUtime=0 cores=0,2,4,6
/proc/1539/task/1545/stat : 1545 (java) S 1536 1536 25256 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 230430085 15372775424 21969 33554432000 4194304 4196468 140731332300704 140084366616560 140085396159106 0 0 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10883072 140731332305928 140731332306225 140731332306225 140731332308943 0
[pid=1539/tid=1546] ppid=1536 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1539/task/1546/stat : 1546 (java) S 1536 1536 25256 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 230430086 15372775424 21969 33554432000 4194304 4196468 140731332300704 140083848012704 140085396158165 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10883072 140731332305928 140731332306225 140731332306225 140731332308943 0
[pid=1539/tid=1547] ppid=1536 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1539/task/1547/stat : 1547 (java) S 1536 1536 25256 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 230430086 15372775424 21969 33554432000 4194304 4196468 140731332300704 140083713790960 140085396158165 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10883072 140731332305928 140731332306225 140731332306225 140731332308943 0
[pid=1539/tid=1548] ppid=1536 vsize=15012476 memory=35809 CPUtime=0 cores=0,2,4,6
/proc/1539/task/1548/stat : 1548 (java) S 1536 1536 25256 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 230430088 15372775424 21969 33554432000 4194304 4196468 140731332300704 140083339286736 140085396166555 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10883072 140731332305928 140731332306225 140731332306225 140731332308943 0
[pid=1539/tid=1549] ppid=1536 vsize=15012476 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/1539/task/1549/stat : 1549 (java) S 1536 1536 25256 0 -1 1077944384 397 0 0 0 2 0 0 0 20 0 15 0 230430088 15372775424 21969 33554432000 4194304 4196468 140731332300704 140084365564400 140085396159106 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10883072 140731332305928 140731332306225 140731332306225 140731332308943 0
[pid=1539/tid=1550] ppid=1536 vsize=15012476 memory=170985786 CPUtime=0.02 cores=0,2,4,6
/proc/1539/task/1550/stat : 1550 (java) S 1536 1536 25256 0 -1 1077944384 210 0 0 0 2 0 0 0 20 0 15 0 230430088 15372775424 21969 33554432000 4194304 4196468 140731332300704 140084364511856 140085396159106 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10883072 140731332305928 140731332306225 140731332306225 140731332308943 0
[pid=1539/tid=1551] ppid=1536 vsize=15012476 memory=6944652177228980320 CPUtime=0.07 cores=0,2,4,6
/proc/1539/task/1551/stat : 1551 (java) S 1536 1536 25256 0 -1 1077944384 327 0 0 0 7 0 0 0 20 0 15 0 230430088 15372775424 21969 33554432000 4194304 4196468 140731332300704 140084363459312 140085396159106 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10883072 140731332305928 140731332306225 140731332306225 140731332308943 0
[pid=1539/tid=1552] ppid=1536 vsize=15012476 memory=6944656592455359580 CPUtime=0 cores=0,2,4,6
/proc/1539/task/1552/stat : 1552 (java) S 1536 1536 25256 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 230430089 15372775424 21969 33554432000 4194304 4196468 140731332300704 140082841381984 140085396158165 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10883072 140731332305928 140731332306225 140731332306225 140731332308943 0
[pid=1539/tid=1553] ppid=1536 vsize=15012476 memory=6944656575208382560 CPUtime=0 cores=0,2,4,6
/proc/1539/task/1553/stat : 1553 (java) S 1536 1536 25256 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 230430089 15372775424 21969 33554432000 4194304 4196468 140731332300704 140084362406192 140085396159106 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10883072 140731332305928 140731332306225 140731332306225 140731332308943 0
Current children cumulated CPU time: 0.43 s
Current children cumulated vsize: 15125604 KiB
Current children cumulated memory: 89272 KiB

[startup+0.7008 s]
/proc/loadavg: 1.35 1.33 1.39 3/224 1553
/proc/meminfo: memFree=28684648/32770624 swapFree=67030660/67108860
[pid=1536] ppid=1533 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/1536/stat : 1536 (scop.sh) S 1533 1536 25256 0 -1 4202496 560 321 0 0 0 0 0 0 20 0 1 0 230430081 115843072 349 33554432000 4194304 5098028 140727395760016 140727395757272 140493696668284 0 65536 4100 81923 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 21614592 140727395767361 140727395767559 140727395767559 140727395770317 0
/proc/1536/statm: 28282 349 296 221 0 87 0
[pid=1539] ppid=1536 vsize=15020872 memory=125064 CPUtime=0.99 cores=0,2,4,6
/proc/1539/stat : 1539 (java) S 1536 1536 25256 0 -1 1077944320 17485 0 0 0 95 4 0 0 20 0 15 0 230430082 15381372928 31266 33554432000 4194304 4196468 140731332300704 140731332283248 140085396147959 0 0 2 25189581 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 10883072 140731332305928 140731332306225 140731332306225 140731332308943 0
/proc/1539/statm: 3755218 31266 3140 1 0 3716603 0
[pid=1539/tid=1540] ppid=1536 vsize=15020872 memory=-7313218805096079717 CPUtime=0.67 cores=0,2,4,6
/proc/1539/task/1540/stat : 1540 (java) R 1536 1536 25256 0 -1 4202560 14777 0 0 0 63 4 0 0 20 0 15 0 230430082 15381372928 31266 33554432000 4194304 4196468 140731332300704 140085367979856 140085396169885 0 4 2 25189581 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 10883072 140731332305928 140731332306225 140731332306225 140731332308943 0
[pid=1539/tid=1541] ppid=1536 vsize=15020872 memory=4638778398333096294 CPUtime=0 cores=0,2,4,6
/proc/1539/task/1541/stat : 1541 (java) S 1536 1536 25256 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 230430084 15381372928 31266 33554432000 4194304 4196468 140731332300704 140085400390416 140085396158165 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10883072 140731332305928 140731332306225 140731332306225 140731332308943 0
[pid=1539/tid=1542] ppid=1536 vsize=15020872 memory=7019257425709197167 CPUtime=0 cores=0,2,4,6
/proc/1539/task/1542/stat : 1542 (java) S 1536 1536 25256 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 230430084 15381372928 31266 33554432000 4194304 4196468 140731332300704 140085191474064 140085396158165 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10883072 140731332305928 140731332306225 140731332306225 140731332308943 0
[pid=1539/tid=1543] ppid=1536 vsize=15020872 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/1539/task/1543/stat : 1543 (java) S 1536 1536 25256 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 230430084 15381372928 31266 33554432000 4194304 4196468 140731332300704 140084856044560 140085396158165 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10883072 140731332305928 140731332306225 140731332306225 140731332308943 0
[pid=1539/tid=1544] ppid=1536 vsize=15020872 memory=1684 CPUtime=0 cores=0,2,4,6
/proc/1539/task/1544/stat : 1544 (java) S 1536 1536 25256 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 230430084 15381372928 31266 33554432000 4194304 4196468 140731332300704 140084854992016 140085396158165 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10883072 140731332305928 140731332306225 140731332306225 140731332308943 0
[pid=1539/tid=1545] ppid=1536 vsize=15020872 memory=768 CPUtime=0 cores=0,2,4,6
/proc/1539/task/1545/stat : 1545 (java) S 1536 1536 25256 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 230430085 15381372928 31266 33554432000 4194304 4196468 140731332300704 140084366616560 140085396159106 0 0 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10883072 140731332305928 140731332306225 140731332306225 140731332308943 0
[pid=1539/tid=1546] ppid=1536 vsize=15020872 memory=5268 CPUtime=0 cores=0,2,4,6
/proc/1539/task/1546/stat : 1546 (java) S 1536 1536 25256 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 230430086 15381372928 31266 33554432000 4194304 4196468 140731332300704 140083848012704 140085396158165 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10883072 140731332305928 140731332306225 140731332306225 140731332308943 0
[pid=1539/tid=1547] ppid=1536 vsize=15020872 memory=11068 CPUtime=0 cores=0,2,4,6
/proc/1539/task/1547/stat : 1547 (java) S 1536 1536 25256 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 230430086 15381372928 31266 33554432000 4194304 4196468 140731332300704 140083713790960 140085396158165 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10883072 140731332305928 140731332306225 140731332306225 140731332308943 0
[pid=1539/tid=1548] ppid=1536 vsize=15020872 memory=1192 CPUtime=0 cores=0,2,4,6
/proc/1539/task/1548/stat : 1548 (java) S 1536 1536 25256 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 230430088 15381372928 31266 33554432000 4194304 4196468 140731332300704 140083339286736 140085396166555 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10883072 140731332305928 140731332306225 140731332306225 140731332308943 0
[pid=1539/tid=1549] ppid=1536 vsize=15020872 memory=1520 CPUtime=0.06 cores=0,2,4,6
/proc/1539/task/1549/stat : 1549 (java) S 1536 1536 25256 0 -1 1077944384 457 0 0 0 6 0 0 0 20 0 15 0 230430088 15381372928 31266 33554432000 4194304 4196468 140731332300704 140084365564400 140085396159106 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10883072 140731332305928 140731332306225 140731332306225 140731332308943 0
[pid=1539/tid=1550] ppid=1536 vsize=15020872 memory=2680 CPUtime=0.08 cores=0,2,4,6
/proc/1539/task/1550/stat : 1550 (java) S 1536 1536 25256 0 -1 1077944384 455 0 0 0 8 0 0 0 20 0 15 0 230430088 15381372928 31266 33554432000 4194304 4196468 140731332300704 140084364511856 140085396159106 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10883072 140731332305928 140731332306225 140731332306225 140731332308943 0
[pid=1539/tid=1551] ppid=1536 vsize=15020872 memory=3160 CPUtime=0.15 cores=0,2,4,6
/proc/1539/task/1551/stat : 1551 (java) R 1536 1536 25256 0 -1 4202560 440 0 0 0 15 0 0 0 20 0 15 0 230430088 15381372928 31266 33554432000 4194304 4196468 140731332300704 140084363459312 140085396169306 0 4 2 25189581 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 10883072 140731332305928 140731332306225 140731332306225 140731332308943 0
[pid=1539/tid=1552] ppid=1536 vsize=15020872 memory=2120 CPUtime=0 cores=0,2,4,6
/proc/1539/task/1552/stat : 1552 (java) S 1536 1536 25256 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 230430089 15381372928 31266 33554432000 4194304 4196468 140731332300704 140082841381984 140085396158165 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10883072 140731332305928 140731332306225 140731332306225 140731332308943 0
[pid=1539/tid=1553] ppid=1536 vsize=15020872 memory=752 CPUtime=0 cores=0,2,4,6
/proc/1539/task/1553/stat : 1553 (java) S 1536 1536 25256 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 230430089 15381372928 31266 33554432000 4194304 4196468 140731332300704 140084362406192 140085396159106 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10883072 140731332305928 140731332306225 140731332306225 140731332308943 0
Current children cumulated CPU time: 0.99 s
Current children cumulated vsize: 15134000 KiB
Current children cumulated memory: 126460 KiB

[startup+1.5053 s]
/proc/loadavg: 1.35 1.33 1.39 4/224 1553
/proc/meminfo: memFree=28656632/32770624 swapFree=67030660/67108860
[pid=1536] ppid=1533 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/1536/stat : 1536 (scop.sh) S 1533 1536 25256 0 -1 4202496 560 321 0 0 0 0 0 0 20 0 1 0 230430081 115843072 349 33554432000 4194304 5098028 140727395760016 140727395757272 140493696668284 0 65536 4100 81923 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 21614592 140727395767361 140727395767559 140727395767559 140727395770317 0
/proc/1536/statm: 28282 349 296 221 0 87 0

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

[pid=1555/tid=1558] ppid=1536 vsize=8068220 memory=121256 CPUtime=0 cores=0,2,4,6
/proc/1555/task/1558/stat : 1558 (java) S 1536 1536 25256 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 230436176 8261857280 30314 33554432000 4194304 4196468 140723403763680 139883935890320 139884117501653 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19296256 140723403769014 140723403769137 140723403769137 140723403771855 0
[pid=1555/tid=1559] ppid=1536 vsize=8068220 memory=1472 CPUtime=0 cores=0,2,4,6
/proc/1555/task/1559/stat : 1559 (java) S 1536 1536 25256 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 230436176 8261857280 30314 33554432000 4194304 4196468 140723403763680 139883934837776 139884117501653 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19296256 140723403769014 140723403769137 140723403769137 140723403771855 0
[pid=1555/tid=1560] ppid=1536 vsize=8068220 memory=1472 CPUtime=0 cores=0,2,4,6
/proc/1555/task/1560/stat : 1560 (java) S 1536 1536 25256 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 230436176 8261857280 30314 33554432000 4194304 4196468 140723403763680 139883933785232 139884117501653 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19296256 140723403769014 140723403769137 140723403769137 140723403771855 0
[pid=1555/tid=1561] ppid=1536 vsize=8068220 memory=121256 CPUtime=0.06 cores=0,2,4,6
/proc/1555/task/1561/stat : 1561 (java) S 1536 1536 25256 0 -1 1077944384 8 0 0 0 3 3 0 0 20 0 19 0 230436177 8261857280 30314 33554432000 4194304 4196468 140723403763680 139883160995824 139884117502594 0 0 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19296256 140723403769014 140723403769137 140723403769137 140723403771855 0
[pid=1555/tid=1562] ppid=1536 vsize=8068220 memory=1472 CPUtime=0 cores=0,2,4,6
/proc/1555/task/1562/stat : 1562 (java) S 1536 1536 25256 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 230436178 8261857280 30314 33554432000 4194304 4196468 140723403763680 139883058291616 139884117501653 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19296256 140723403769014 140723403769137 140723403769137 140723403771855 0
[pid=1555/tid=1563] ppid=1536 vsize=8068220 memory=121256 CPUtime=0 cores=0,2,4,6
/proc/1555/task/1563/stat : 1563 (java) S 1536 1536 25256 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 230436178 8261857280 30314 33554432000 4194304 4196468 140723403763680 139882789856240 139884117501653 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19296256 140723403769014 140723403769137 140723403769137 140723403771855 0
[pid=1555/tid=1564] ppid=1536 vsize=8068220 memory=1468 CPUtime=0 cores=0,2,4,6
/proc/1555/task/1564/stat : 1564 (java) S 1536 1536 25256 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 230436181 8261857280 30314 33554432000 4194304 4196468 140723403763680 139882415347920 139884117510043 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19296256 140723403769014 140723403769137 140723403769137 140723403771855 0
[pid=1555/tid=1565] ppid=1536 vsize=8068220 memory=118900 CPUtime=0.17 cores=0,2,4,6
/proc/1555/task/1565/stat : 1565 (java) S 1536 1536 25256 0 -1 1077944384 779 0 0 0 17 0 0 0 20 0 19 0 230436181 8261857280 30314 33554432000 4194304 4196468 140723403763680 139883159943664 139884117502594 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19296256 140723403769014 140723403769137 140723403769137 140723403771855 0
[pid=1555/tid=1566] ppid=1536 vsize=8068220 memory=0 CPUtime=0.17 cores=0,2,4,6
/proc/1555/task/1566/stat : 1566 (java) S 1536 1536 25256 0 -1 1077944384 667 0 0 0 17 0 0 0 20 0 19 0 230436181 8261857280 30314 33554432000 4194304 4196468 140723403763680 139883158891120 139884117502594 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19296256 140723403769014 140723403769137 140723403769137 140723403771855 0
[pid=1555/tid=1567] ppid=1536 vsize=8068220 memory=3905500701923620914 CPUtime=0.24 cores=0,2,4,6
/proc/1555/task/1567/stat : 1567 (java) S 1536 1536 25256 0 -1 1077944384 597 0 0 0 24 0 0 0 20 0 19 0 230436181 8261857280 30314 33554432000 4194304 4196468 140723403763680 139883157838576 139884117502594 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19296256 140723403769014 140723403769137 140723403769137 140723403771855 0
[pid=1555/tid=1568] ppid=1536 vsize=8068220 memory=121256 CPUtime=0 cores=0,2,4,6
/proc/1555/task/1568/stat : 1568 (java) S 1536 1536 25256 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 230436181 8261857280 30314 33554432000 4194304 4196468 140723403763680 139881917443168 139884117501653 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19296256 140723403769014 140723403769137 140723403769137 140723403771855 0
[pid=1555/tid=1569] ppid=1536 vsize=8068220 memory=1472 CPUtime=1.48 cores=0,2,4,6
/proc/1555/task/1569/stat : 1569 (java) S 1536 1536 25256 0 -1 1077944384 155 0 0 0 70 78 0 0 20 0 19 0 230436181 8261857280 30314 33554432000 4194304 4196468 140723403763680 139883156785456 139884117502594 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19296256 140723403769014 140723403769137 140723403769137 140723403771855 0
[pid=1555/tid=1571] ppid=1536 vsize=8068220 memory=121256 CPUtime=0 cores=0,2,4,6
/proc/1555/task/1571/stat : 1571 (java) S 1536 1536 25256 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 230436253 8261857280 30314 33554432000 4194304 4196468 140723403763680 139883595473984 139884117516057 0 4 2 25189581 18446744071579417331 0 0 -1 0 0 0 0 0 0 6293624 6294260 19296256 140723403769014 140723403769137 140723403769137 140723403771855 0
[pid=1555/tid=1573] ppid=1536 vsize=8068220 memory=492 CPUtime=0 cores=0,2,4,6
/proc/1555/task/1573/stat : 1573 (java) S 1536 1536 25256 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 230436254 8261857280 30314 33554432000 4194304 4196468 140723403763680 139881246342832 139884117513373 0 4 2 25189581 18446744071580971376 0 0 -1 6 0 0 0 0 0 6293624 6294260 19296256 140723403769014 140723403769137 140723403769137 140723403771855 0
[pid=1555/tid=1574] ppid=1536 vsize=8068220 memory=1560 CPUtime=0 cores=0,2,4,6
/proc/1555/task/1574/stat : 1574 (java) S 1536 1536 25256 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 19 0 230436254 8261857280 30314 33554432000 4194304 4196468 140723403763680 139881648996144 139884117513373 0 4 2 25189581 18446744071580971376 0 0 -1 4 0 0 0 0 0 6293624 6294260 19296256 140723403769014 140723403769137 140723403769137 140723403771855 0
[pid=1555/tid=1575] ppid=1536 vsize=8068220 memory=932 CPUtime=0 cores=0,2,4,6
/proc/1555/task/1575/stat : 1575 (java) S 1536 1536 25256 0 -1 1077944384 31 0 0 0 0 0 0 0 20 0 19 0 230436256 8261857280 30314 33554432000 4194304 4196468 140723403763680 139881112129056 139884117501653 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19296256 140723403769014 140723403769137 140723403769137 140723403771855 0
Current children cumulated CPU time: 2411.07 s
Current children cumulated vsize: 9374472 KiB
Current children cumulated memory: 1217896 KiB

[startup+2442.3 s]
/proc/loadavg: 2.00 2.01 1.97 3/227 1671
/proc/meminfo: memFree=27230484/32770624 swapFree=67030660/67108860
[pid=1536] ppid=1533 vsize=113128 memory=1472 CPUtime=87.45 cores=0,2,4,6
/proc/1536/stat : 1536 (scop.sh) S 1533 1536 25256 0 -1 4202496 591 80833 0 0 0 0 8493 252 20 0 1 0 230430081 115843072 368 33554432000 4194304 5098028 140727395760016 140727395756760 140493696668284 0 65536 4100 81923 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 21614592 140727395767361 140727395767559 140727395767559 140727395770317 0
/proc/1536/statm: 28282 368 311 221 0 87 0
[pid=1555] ppid=1536 vsize=8068220 memory=121256 CPUtime=3.02 cores=0,2,4,6
/proc/1555/stat : 1555 (java) S 1536 1536 25256 0 -1 1077944320 18688 0 0 0 218 84 0 0 20 0 19 0 230436174 8261857280 30314 33554432000 4194304 4196468 140723403763680 140723403746224 139884117491447 0 0 2 25189581 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 19296256 140723403769014 140723403769137 140723403769137 140723403771855 0
/proc/1555/statm: 2017055 30314 3165 1 0 1978454 0
[pid=1570] ppid=1555 vsize=1193124 memory=1099264 CPUtime=2380.64 cores=0,2,4,6
/proc/1570/stat : 1570 (minisat_release) R 1555 1536 25256 0 -1 4202496 6286013 0 0 0 237638 426 0 0 20 0 1 0 230436253 1221758976 274816 33554432000 4194304 4308513 140721831345808 140721831343256 4275923 0 4 0 8396802 0 0 0 17 2 0 0 0 0 0 6409496 6410680 15519744 140721831347317 140721831347414 140721831347414 140721831350213 0
/proc/1570/statm: 298281 274816 342 28 0 294521 0
[pid=1555/tid=1556] ppid=1536 vsize=8068220 memory=121256 CPUtime=0.81 cores=0,2,4,6
/proc/1555/task/1556/stat : 1556 (java) S 1536 1536 25256 0 -1 1077944384 15069 0 0 0 75 6 0 0 20 0 19 0 230436175 8261857280 30314 33554432000 4194304 4196468 140723403763680 139884089331600 139884117501653 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19296256 140723403769014 140723403769137 140723403769137 140723403771855 0
[pid=1555/tid=1557] ppid=1536 vsize=8068220 memory=121256 CPUtime=0 cores=0,2,4,6
/proc/1555/task/1557/stat : 1557 (java) S 1536 1536 25256 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 230436176 8261857280 30314 33554432000 4194304 4196468 140723403763680 139884121733904 139884117501653 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19296256 140723403769014 140723403769137 140723403769137 140723403771855 0
[pid=1555/tid=1558] ppid=1536 vsize=8068220 memory=121256 CPUtime=0 cores=0,2,4,6
/proc/1555/task/1558/stat : 1558 (java) S 1536 1536 25256 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 230436176 8261857280 30314 33554432000 4194304 4196468 140723403763680 139883935890320 139884117501653 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19296256 140723403769014 140723403769137 140723403769137 140723403771855 0
[pid=1555/tid=1559] ppid=1536 vsize=8068220 memory=121256 CPUtime=0 cores=0,2,4,6
/proc/1555/task/1559/stat : 1559 (java) S 1536 1536 25256 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 230436176 8261857280 30314 33554432000 4194304 4196468 140723403763680 139883934837776 139884117501653 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19296256 140723403769014 140723403769137 140723403769137 140723403771855 0
[pid=1555/tid=1560] ppid=1536 vsize=8068220 memory=1472 CPUtime=0 cores=0,2,4,6
/proc/1555/task/1560/stat : 1560 (java) S 1536 1536 25256 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 230436176 8261857280 30314 33554432000 4194304 4196468 140723403763680 139883933785232 139884117501653 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19296256 140723403769014 140723403769137 140723403769137 140723403771855 0
[pid=1555/tid=1561] ppid=1536 vsize=8068220 memory=1472 CPUtime=0.06 cores=0,2,4,6
/proc/1555/task/1561/stat : 1561 (java) S 1536 1536 25256 0 -1 1077944384 8 0 0 0 3 3 0 0 20 0 19 0 230436177 8261857280 30314 33554432000 4194304 4196468 140723403763680 139883160995824 139884117502594 0 0 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19296256 140723403769014 140723403769137 140723403769137 140723403771855 0
[pid=1555/tid=1562] ppid=1536 vsize=8068220 memory=3544 CPUtime=0 cores=0,2,4,6
/proc/1555/task/1562/stat : 1562 (java) S 1536 1536 25256 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 230436178 8261857280 30314 33554432000 4194304 4196468 140723403763680 139883058291616 139884117501653 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19296256 140723403769014 140723403769137 140723403769137 140723403771855 0
[pid=1555/tid=1563] ppid=1536 vsize=8068220 memory=1472 CPUtime=0 cores=0,2,4,6
/proc/1555/task/1563/stat : 1563 (java) S 1536 1536 25256 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 230436178 8261857280 30314 33554432000 4194304 4196468 140723403763680 139882789856240 139884117501653 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19296256 140723403769014 140723403769137 140723403769137 140723403771855 0
[pid=1555/tid=1564] ppid=1536 vsize=8068220 memory=121256 CPUtime=0 cores=0,2,4,6
/proc/1555/task/1564/stat : 1564 (java) S 1536 1536 25256 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 230436181 8261857280 30314 33554432000 4194304 4196468 140723403763680 139882415347920 139884117510043 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19296256 140723403769014 140723403769137 140723403769137 140723403771855 0
[pid=1555/tid=1565] ppid=1536 vsize=8068220 memory=1472 CPUtime=0.17 cores=0,2,4,6
/proc/1555/task/1565/stat : 1565 (java) S 1536 1536 25256 0 -1 1077944384 779 0 0 0 17 0 0 0 20 0 19 0 230436181 8261857280 30314 33554432000 4194304 4196468 140723403763680 139883159943664 139884117502594 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19296256 140723403769014 140723403769137 140723403769137 140723403771855 0
[pid=1555/tid=1566] ppid=1536 vsize=8068220 memory=121256 CPUtime=0.17 cores=0,2,4,6
/proc/1555/task/1566/stat : 1566 (java) S 1536 1536 25256 0 -1 1077944384 667 0 0 0 17 0 0 0 20 0 19 0 230436181 8261857280 30314 33554432000 4194304 4196468 140723403763680 139883158891120 139884117502594 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19296256 140723403769014 140723403769137 140723403769137 140723403771855 0
[pid=1555/tid=1567] ppid=1536 vsize=8068220 memory=1472 CPUtime=0.24 cores=0,2,4,6
/proc/1555/task/1567/stat : 1567 (java) S 1536 1536 25256 0 -1 1077944384 597 0 0 0 24 0 0 0 20 0 19 0 230436181 8261857280 30314 33554432000 4194304 4196468 140723403763680 139883157838576 139884117502594 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19296256 140723403769014 140723403769137 140723403769137 140723403771855 0
[pid=1555/tid=1568] ppid=1536 vsize=8068220 memory=121256 CPUtime=0 cores=0,2,4,6
/proc/1555/task/1568/stat : 1568 (java) S 1536 1536 25256 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 230436181 8261857280 30314 33554432000 4194304 4196468 140723403763680 139881917443168 139884117501653 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19296256 140723403769014 140723403769137 140723403769137 140723403771855 0
[pid=1555/tid=1569] ppid=1536 vsize=8068220 memory=1472 CPUtime=1.52 cores=0,2,4,6
/proc/1555/task/1569/stat : 1569 (java) S 1536 1536 25256 0 -1 1077944384 159 0 0 0 72 80 0 0 20 0 19 0 230436181 8261857280 30314 33554432000 4194304 4196468 140723403763680 139883156785456 139884117502594 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19296256 140723403769014 140723403769137 140723403769137 140723403771855 0
[pid=1555/tid=1571] ppid=1536 vsize=8068220 memory=1472 CPUtime=0 cores=0,2,4,6
/proc/1555/task/1571/stat : 1571 (java) S 1536 1536 25256 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 230436253 8261857280 30314 33554432000 4194304 4196468 140723403763680 139883595473984 139884117516057 0 4 2 25189581 18446744071579417331 0 0 -1 0 0 0 0 0 0 6293624 6294260 19296256 140723403769014 140723403769137 140723403769137 140723403771855 0
[pid=1555/tid=1573] ppid=1536 vsize=8068220 memory=121256 CPUtime=0 cores=0,2,4,6
/proc/1555/task/1573/stat : 1573 (java) S 1536 1536 25256 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 230436254 8261857280 30314 33554432000 4194304 4196468 140723403763680 139881246342832 139884117513373 0 4 2 25189581 18446744071580971376 0 0 -1 6 0 0 0 0 0 6293624 6294260 19296256 140723403769014 140723403769137 140723403769137 140723403771855 0
[pid=1555/tid=1574] ppid=1536 vsize=8068220 memory=752 CPUtime=0 cores=0,2,4,6
/proc/1555/task/1574/stat : 1574 (java) S 1536 1536 25256 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 19 0 230436254 8261857280 30314 33554432000 4194304 4196468 140723403763680 139881648996144 139884117513373 0 4 2 25189581 18446744071580971376 0 0 -1 4 0 0 0 0 0 6293624 6294260 19296256 140723403769014 140723403769137 140723403769137 140723403771855 0
[pid=1555/tid=1575] ppid=1536 vsize=8068220 memory=972 CPUtime=0 cores=0,2,4,6
/proc/1555/task/1575/stat : 1575 (java) S 1536 1536 25256 0 -1 1077944384 31 0 0 0 0 0 0 0 20 0 19 0 230436256 8261857280 30314 33554432000 4194304 4196468 140723403763680 139881112129056 139884117501653 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19296256 140723403769014 140723403769137 140723403769137 140723403771855 0
Current children cumulated CPU time: 2471.11 s
Current children cumulated vsize: 9374472 KiB
Current children cumulated memory: 1221992 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2491.2 s]
/proc/loadavg: 1.92 2.00 1.97 2/200 1720
/proc/meminfo: memFree=27438744/32770624 swapFree=67030660/67108860
[pid=1536] ppid=1533 vsize=113128 memory=1472 CPUtime=87.45 cores=0,2,4,6
/proc/1536/stat : 1536 (scop.sh) S 1533 1536 25256 0 -1 4202496 591 80833 0 0 0 0 8493 252 20 0 1 0 230430081 115843072 368 33554432000 4194304 5098028 140727395760016 140727395756760 140493696668284 0 65536 4100 81923 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 21614592 140727395767361 140727395767559 140727395767559 140727395770317 0
/proc/1536/statm: 28282 368 311 221 0 87 0
[pid=1555] ppid=1536 vsize=8068220 memory=121256 CPUtime=3.04 cores=0,2,4,6
/proc/1555/stat : 1555 (java) S 1536 1536 25256 0 -1 1077944320 18692 0 0 0 220 84 0 0 20 0 19 0 230436174 8261857280 30314 33554432000 4194304 4196468 140723403763680 140723403746224 139884117491447 0 0 2 25189581 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 19296256 140723403769014 140723403769137 140723403769137 140723403771855 0
/proc/1555/statm: 2017055 30314 3165 1 0 1978454 0
[pid=1570] ppid=1555 vsize=1193124 memory=1101312 CPUtime=2429.55 cores=0,2,4,6
/proc/1570/stat : 1570 (minisat_release) R 1555 1536 25256 0 -1 4202496 6394027 0 0 0 242523 432 0 0 20 0 1 0 230436253 1221758976 275328 33554432000 4194304 4308513 140721831345808 140721831343256 4251505 0 4 0 8396802 0 0 0 17 2 0 0 0 0 0 6409496 6410680 15519744 140721831347317 140721831347414 140721831347414 140721831350213 0
/proc/1570/statm: 298281 275328 342 28 0 294521 0
[pid=1555/tid=1556] ppid=1536 vsize=8068220 memory=-5059952977386882957 CPUtime=0.81 cores=0,2,4,6
/proc/1555/task/1556/stat : 1556 (java) S 1536 1536 25256 0 -1 1077944384 15069 0 0 0 75 6 0 0 20 0 19 0 230436175 8261857280 30314 33554432000 4194304 4196468 140723403763680 139884089331600 139884117501653 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19296256 140723403769014 140723403769137 140723403769137 140723403771855 0
[pid=1555/tid=1557] ppid=1536 vsize=8068220 memory=1876 CPUtime=0 cores=0,2,4,6
/proc/1555/task/1557/stat : 1557 (java) S 1536 1536 25256 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 230436176 8261857280 30314 33554432000 4194304 4196468 140723403763680 139884121733904 139884117501653 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19296256 140723403769014 140723403769137 140723403769137 140723403771855 0
[pid=1555/tid=1558] ppid=1536 vsize=8068220 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/1555/task/1558/stat : 1558 (java) S 1536 1536 25256 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 230436176 8261857280 30314 33554432000 4194304 4196468 140723403763680 139883935890320 139884117501653 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19296256 140723403769014 140723403769137 140723403769137 140723403771855 0
[pid=1555/tid=1559] ppid=1536 vsize=8068220 memory=1684 CPUtime=0 cores=0,2,4,6
/proc/1555/task/1559/stat : 1559 (java) S 1536 1536 25256 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 230436176 8261857280 30314 33554432000 4194304 4196468 140723403763680 139883934837776 139884117501653 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19296256 140723403769014 140723403769137 140723403769137 140723403771855 0
[pid=1555/tid=1560] ppid=1536 vsize=8068220 memory=-5059952977386882957 CPUtime=0 cores=0,2,4,6
/proc/1555/task/1560/stat : 1560 (java) S 1536 1536 25256 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 230436176 8261857280 30314 33554432000 4194304 4196468 140723403763680 139883933785232 139884117501653 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19296256 140723403769014 140723403769137 140723403769137 140723403771855 0
[pid=1555/tid=1561] ppid=1536 vsize=8068220 memory=3848 CPUtime=0.06 cores=0,2,4,6
/proc/1555/task/1561/stat : 1561 (java) S 1536 1536 25256 0 -1 1077944384 8 0 0 0 3 3 0 0 20 0 19 0 230436177 8261857280 30314 33554432000 4194304 4196468 140723403763680 139883160995824 139884117502594 0 0 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19296256 140723403769014 140723403769137 140723403769137 140723403771855 0
[pid=1555/tid=1562] ppid=1536 vsize=8068220 memory=1101312 CPUtime=0 cores=0,2,4,6
/proc/1555/task/1562/stat : 1562 (java) S 1536 1536 25256 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 230436178 8261857280 30314 33554432000 4194304 4196468 140723403763680 139883058291616 139884117501653 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19296256 140723403769014 140723403769137 140723403769137 140723403771855 0
[pid=1555/tid=1563] ppid=1536 vsize=8068220 memory=4961 CPUtime=0 cores=0,2,4,6
/proc/1555/task/1563/stat : 1563 (java) S 1536 1536 25256 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 230436178 8261857280 30314 33554432000 4194304 4196468 140723403763680 139882789856240 139884117501653 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19296256 140723403769014 140723403769137 140723403769137 140723403771855 0
[pid=1555/tid=1564] ppid=1536 vsize=8068220 memory=4100 CPUtime=0 cores=0,2,4,6
/proc/1555/task/1564/stat : 1564 (java) S 1536 1536 25256 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 230436181 8261857280 30314 33554432000 4194304 4196468 140723403763680 139882415347920 139884117510043 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19296256 140723403769014 140723403769137 140723403769137 140723403771855 0
[pid=1555/tid=1565] ppid=1536 vsize=8068220 memory=1836 CPUtime=0.17 cores=0,2,4,6
/proc/1555/task/1565/stat : 1565 (java) S 1536 1536 25256 0 -1 1077944384 779 0 0 0 17 0 0 0 20 0 19 0 230436181 8261857280 30314 33554432000 4194304 4196468 140723403763680 139883159943664 139884117502594 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19296256 140723403769014 140723403769137 140723403769137 140723403771855 0
[pid=1555/tid=1566] ppid=1536 vsize=8068220 memory=7532 CPUtime=0.17 cores=0,2,4,6
/proc/1555/task/1566/stat : 1566 (java) S 1536 1536 25256 0 -1 1077944384 667 0 0 0 17 0 0 0 20 0 19 0 230436181 8261857280 30314 33554432000 4194304 4196468 140723403763680 139883158891120 139884117502594 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19296256 140723403769014 140723403769137 140723403769137 140723403771855 0
[pid=1555/tid=1567] ppid=1536 vsize=8068220 memory=792 CPUtime=0.24 cores=0,2,4,6
/proc/1555/task/1567/stat : 1567 (java) S 1536 1536 25256 0 -1 1077944384 597 0 0 0 24 0 0 0 20 0 19 0 230436181 8261857280 30314 33554432000 4194304 4196468 140723403763680 139883157838576 139884117502594 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19296256 140723403769014 140723403769137 140723403769137 140723403771855 0
[pid=1555/tid=1568] ppid=1536 vsize=8068220 memory=1796 CPUtime=0 cores=0,2,4,6
/proc/1555/task/1568/stat : 1568 (java) S 1536 1536 25256 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 230436181 8261857280 30314 33554432000 4194304 4196468 140723403763680 139881917443168 139884117501653 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19296256 140723403769014 140723403769137 140723403769137 140723403771855 0
[pid=1555/tid=1569] ppid=1536 vsize=8068220 memory=916 CPUtime=1.55 cores=0,2,4,6
/proc/1555/task/1569/stat : 1569 (java) S 1536 1536 25256 0 -1 1077944384 163 0 0 0 74 81 0 0 20 0 19 0 230436181 8261857280 30314 33554432000 4194304 4196468 140723403763680 139883156785456 139884117502594 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19296256 140723403769014 140723403769137 140723403769137 140723403771855 0
[pid=1555/tid=1571] ppid=1536 vsize=8068220 memory=3848 CPUtime=0 cores=0,2,4,6
/proc/1555/task/1571/stat : 1571 (java) S 1536 1536 25256 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 230436253 8261857280 30314 33554432000 4194304 4196468 140723403763680 139883595473984 139884117516057 0 4 2 25189581 18446744071579417331 0 0 -1 0 0 0 0 0 0 6293624 6294260 19296256 140723403769014 140723403769137 140723403769137 140723403771855 0
[pid=1555/tid=1573] ppid=1536 vsize=8068220 memory=752 CPUtime=0 cores=0,2,4,6
/proc/1555/task/1573/stat : 1573 (java) S 1536 1536 25256 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 230436254 8261857280 30314 33554432000 4194304 4196468 140723403763680 139881246342832 139884117513373 0 4 2 25189581 18446744071580971376 0 0 -1 6 0 0 0 0 0 6293624 6294260 19296256 140723403769014 140723403769137 140723403769137 140723403771855 0
[pid=1555/tid=1574] ppid=1536 vsize=8068220 memory=972 CPUtime=0 cores=0,2,4,6
/proc/1555/task/1574/stat : 1574 (java) S 1536 1536 25256 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 19 0 230436254 8261857280 30314 33554432000 4194304 4196468 140723403763680 139881648996144 139884117513373 0 4 2 25189581 18446744071580971376 0 0 -1 4 0 0 0 0 0 6293624 6294260 19296256 140723403769014 140723403769137 140723403769137 140723403771855 0
[pid=1555/tid=1575] ppid=1536 vsize=8068220 memory=13888 CPUtime=0 cores=0,2,4,6
/proc/1555/task/1575/stat : 1575 (java) S 1536 1536 25256 0 -1 1077944384 31 0 0 0 0 0 0 0 20 0 19 0 230436256 8261857280 30314 33554432000 4194304 4196468 140723403763680 139881112129056 139884117501653 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19296256 140723403769014 140723403769137 140723403769137 140723403771855 0
Current children cumulated CPU time: 2520.04 s
Current children cumulated vsize: 9374472 KiB
Current children cumulated memory: 1224040 KiB

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

[startup+2491.21 s]
# the end of solver process 1536 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=84.9375 s, system=2.52257 s

[startup+2491.3 s]
# the end of solver process 1555 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2512.38 s, system=7.79314 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): 2491.3
CPU time (s): 2520.17
CPU user time (s): 2512.38
CPU system time (s): 7.79314
CPU usage (%): 101.159
Max. virtual memory (cumulated for all children) (KiB): 15142280
Max. memory (cumulated for all children) (KiB): 4345192

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2512.38
system time used= 7.79314
maximum resident set size= 4343888
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 6494692
page faults= 0
swaps= 0
block input operations= 8
block output operations= 530728
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 63289
involuntary context switches= 922


# summary of solver processes directly reported to runsolver:
#   pid: 1536,1555
#   total CPU time (s): 2520.17
#   total CPU user time (s): 2512.38
#   total CPU system time (s): 7.79314

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 26.0501 second user time and 18.6973 second system time

The end

Launcher Data 

Begin job on node102 at 2018-08-13 04:51:09
IDJOB=4305685
IDBENCH=141594
IDSOLVER=2783
FILE ID=node102/4305685-1534128669
RUNJOBID= node102-1534128649-1366
PBS_JOBID= 21036992
Free space on /tmp= 38464 MiB

SOLVER NAME= scop both+MapleCOMSPS (2018-07-31)
BENCH NAME= XCSP18/SportsScheduling/SportsScheduling-22_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-4305685-1534128669/watcher-4305685-1534128669 -o /tmp/evaluation-result-4305685-1534128669/solver-4305685-1534128669 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node102-1534128649-1366 --watchdog 2580  scop.sh 11g scop.jar -both minisat_release default HOME HOME/instance-4305685-1534128669.xml

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

MD5SUM BENCH= 13c66cb7417087d31bdec501d06a9dbf
RANDOM SEED=395382181

node102.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.51
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.51
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.51
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.51
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:        28785252 kB
MemAvailable:   31754992 kB
Buffers:          160752 kB
Cached:          3056844 kB
SwapCached:        51244 kB
Active:          1758812 kB
Inactive:        1665064 kB
Active(anon):     130864 kB
Inactive(anon):   126908 kB
Active(file):    1627948 kB
Inactive(file):  1538156 kB
Unevictable:        7360 kB
Mlocked:            7360 kB
SwapTotal:      67108860 kB
SwapFree:       67030660 kB
Dirty:              7588 kB
Writeback:             0 kB
AnonPages:        158972 kB
Mapped:            62392 kB
Shmem:             48984 kB
Slab:             260972 kB
SReclaimable:     232096 kB
SUnreclaim:        28876 kB
KernelStack:        3728 kB
PageTables:         6252 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    5838376 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:     55296 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      105856 kB
DirectMap2M:    33439744 kB

Free space on /tmp at the end= 38468 MiB
End job on node102 at 2018-08-13 05:32:41