Trace number 4305621

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.06 2498.13

General information on the benchmark

NameEternity/
Eternity-10-10_c18.xml
MD5SUMa3eb34d1d913b6993c7392d3f708e375
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 variables320
Number of constraints141
Number of domains2
Minimum domain size15
Maximum domain size100
Distribution of domain sizes[{"size":15,"count":220},{"size":100,"count":100}]
Minimum variable degree1
Maximum variable degree11
Distribution of variable degrees[{"degree":1,"count":9},{"degree":2,"count":310},{"degree":11,"count":1}]
Minimum constraint arity1
Maximum constraint arity100
Distribution of constraint arities[{"arity":1,"count":40},{"arity":5,"count":100},{"arity":100,"count":1}]
Number of extensional constraints100
Number of intensional constraints40
Distribution of constraint types[{"type":"extension","count":100},{"type":"intension","count":40},{"type":"allDifferent","count":1}]
Optimization problemNO
Type of objective

Solver Data 

0.00/0.00	c (scop.sh) java -Xms11g -Xmx11g -Xss128m -cp scop.jar fun.scop.XCSP18Encode -both -solver minisat_release -solverOption default -tmp HOME -serialFile HOME/scop-9207-serial-file.bin HOME/instance-4305621-1534135769.xml
0.66/0.52	
0.66/0.52	scop both+minisat_release (2018-07-31)
0.66/0.52	(Encoding Process)
0.66/0.52	
0.66/0.55	c BEGIN-Prog: Mon Aug 13 06:49:30 CEST 2018
0.66/0.55	c PID: 9210
0.66/0.55	c IP: 172.20.3.150
0.66/0.55	c HOST: node150.alineos.net
0.66/0.55	c (0,0) Parsing Begin
2.68/1.21	c (0,0) Parsing End
2.68/1.22	c (0,0) CSP: 320 int (0 aux), 0 bool (0 aux), 141 ctr, max domain size 100
2.68/1.22	c (0,0) Heap : 168 MiB used (max 10795 MiB), NonHeap : 20 MiB used (max 0 MiB)
2.68/1.22	c (0,0) Constraint Name Generate Begin
2.68/1.23	c (0,0) Ctr:HOME/instance-4305621-1534135769.xml,AllDifferent:Eq:ExtensionSupport:IntVar:Num
2.68/1.23	c (0,0) Constraint Name Generate End
2.68/1.23	c (0,0) Heap : 168 MiB used (max 10795 MiB), NonHeap : 20 MiB used (max 0 MiB)
2.68/1.23	c (0,0) CSP to CSPinCNF Begin
14.08/5.88	c (5,5) translated 15 (10%) constraints
18.12/9.24	c (8,8) translated 29 (20%) constraints
21.20/12.25	c (11,11) translated 43 (30%) constraints
25.05/15.47	c (14,14) translated 57 (40%) constraints
28.10/18.47	c (17,17) translated 71 (50%) constraints
32.19/21.72	c (21,20) translated 85 (60%) constraints
35.20/24.72	c (24,23) translated 99 (70%) constraints
35.81/25.36	c (24,24) translated 113 (80%) constraints
35.81/25.36	c (24,24) translated 127 (90%) constraints
35.81/25.37	c (24,24) translated 141 (100%) constraints
38.70/26.88	c (26,25) STATISTICS1:HOME/instance-4305621-1534135769.xml,AllDifferent:Eq:ExtensionSupport:IntVar:Num,59320,372692,100,100,101,2,100:4950,100:29900;15:421200;2:640100;1:46840,101:100;100:2;5:5500;4:150600;3:65000;2:151450;1:40,2:4950;1:1128180;0:100,
38.70/26.88	c (26,25) ==========================================
38.70/26.88	c (26,25) Both Encoding selects:
38.70/26.88	c (26,25) Order
38.70/26.88	c (26,25) ==========================================
41.03/27.73	c (27,26) translated 37270 (10%) constraints
42.29/28.39	c (27,26) translated 74539 (20%) constraints
43.11/28.99	c (28,27) translated 111808 (30%) constraints
43.71/29.57	c (29,28) translated 149077 (40%) constraints
44.34/30.15	c (29,28) translated 186346 (50%) constraints
44.93/30.73	c (30,29) translated 223616 (60%) constraints
45.53/31.31	c (30,29) translated 260885 (70%) constraints
46.03/31.90	c (31,30) translated 298154 (80%) constraints
46.63/32.48	c (31,31) translated 335423 (90%) constraints
47.24/33.06	c (32,31) translated 372692 (100%) constraints
47.24/33.07	c (32,31) CSP to CSPinCNF End
47.24/33.10	c (32,31) CSP: 320 int (0 aux), 59000 bool (59000 aux), 372732 ctr, max domain size 100
47.24/33.10	c (32,31) Heap : 2828 MiB used (max 10795 MiB), NonHeap : 30 MiB used (max 0 MiB)
47.24/33.10	c (32,31) CSPinCNF Propagation Begin
59.32/41.71	c (41,39) 15942 values, 84910 unsatisfiable literals, and 91490 valid clauses are removed
59.32/41.71	c (41,39) CSPinCNF Propagation End
59.32/41.74	c (41,39) CSP: 13830 int (13510 aux), 45490 bool (45490 aux), 281242 ctr, max domain size 100
59.32/41.74	c (41,39) Heap : 784 MiB used (max 10716 MiB), NonHeap : 30 MiB used (max 0 MiB)
59.32/41.74	c (41,39) Simplify CSPinCNF Begin
60.54/42.41	c (41,40) Simplify CSPinCNF End
60.54/42.43	c (41,40) CSP: 13830 int (13510 aux), 55390 bool (55390 aux), 291142 ctr, max domain size 100
60.54/42.43	c (41,40) Heap : 1069 MiB used (max 10716 MiB), NonHeap : 30 MiB used (max 0 MiB)
60.54/42.43	c (41,40) Calculate Precise Domain Begin
60.54/42.43	c (41,40) 0 values are removed by re-calculation
60.54/42.43	c (41,40) Calculate Precise Domain End
60.54/42.46	c (41,40) CSP: 13830 int (13510 aux), 55390 bool (55390 aux), 291142 ctr, max domain size 100
60.54/42.46	c (41,40) Heap : 1069 MiB used (max 10716 MiB), NonHeap : 30 MiB used (max 0 MiB)
60.54/42.46	c (41,40) CSPinCNF to SatSolver Begin
63.38/44.30	c (43,42) 29115 (10 %) CSP clauses are encoded (65378 SAT variables, 618410 SAT clauses)
63.50/44.46	c (43,42) 58229 (20 %) CSP clauses are encoded (65378 SAT variables, 647524 SAT clauses)
63.71/44.61	c (44,42) 87343 (30 %) CSP clauses are encoded (65378 SAT variables, 676638 SAT clauses)
63.81/44.76	c (44,42) 116457 (40 %) CSP clauses are encoded (65378 SAT variables, 705752 SAT clauses)
64.01/44.91	c (44,42) 145571 (50 %) CSP clauses are encoded (65378 SAT variables, 734866 SAT clauses)
65.00/45.29	c (44,42) 174686 (60 %) CSP clauses are encoded (65378 SAT variables, 763981 SAT clauses)
65.19/45.44	c (44,43) 203800 (70 %) CSP clauses are encoded (65378 SAT variables, 793095 SAT clauses)
65.29/45.59	c (45,43) 232914 (80 %) CSP clauses are encoded (65378 SAT variables, 822209 SAT clauses)
65.49/45.73	c (45,43) 262028 (90 %) CSP clauses are encoded (65378 SAT variables, 851323 SAT clauses)
65.59/45.88	c (45,43) 291142 (100 %) CSP clauses are encoded (65378 SAT variables, 880437 SAT clauses)
65.59/45.88	c (45,43) Launch Command will be: minisat_release
65.59/45.88	c (45,43) CSPinCNF to SatSolver End
65.59/45.88	c (45,43) Heap : 1011 MiB used (max 10780 MiB), NonHeap : 30 MiB used (max 0 MiB)
66.67/46.65	c (46,44) STATISTICS2:HOME/instance-4305621-1534135769.xml,AllDifferent:Eq:ExtensionSupport:IntVar:Num,69220,291142,100,100,100,2,100:4032;36:5088;4:780,100:25472;36:8608;15:346679;4:820;2:495889,100:65;64:1;36:32;5:3712;4:108854;3:48920;2:129558,2:9900;1:857668,
66.67/46.65	c (46,44) 65378 bool, 880438 clause
66.67/46.65	c (46,44) Export Begin
66.97/46.95	c (46,44) Export to HOME/scop-9207-serial-file.bin
66.97/46.95	c (46,44) Export End
66.97/46.95	c (46,44) Export File Size: 0.07 MB
66.97/46.95	c (46,44) 0,0,32,41,41,41,45,STOP-AFTER(DIMACS)
66.97/46.95	c END-Prog: Mon Aug 13 06:50:16 CEST 2018
66.97/46.98	c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp scop.jar fun.scop.XCSP18Solve HOME/scop-9207-serial-file.bin
67.56/47.47	c (0,0) Read Serial File Begin
67.56/47.47	c (0,0) HOME/scop-9207-serial-file.bin
67.84/47.67	c (0,0) Read Serial File End
67.84/47.69	
67.84/47.69	scop order+minisat_release (2018-07-31)
67.84/47.69	(Solving Process)
67.84/47.69	
68.09/47.71	c BEGIN-Prog: Mon Aug 13 06:50:17 CEST 2018
68.09/47.71	c PID: 9232
68.09/47.71	c IP: 172.20.3.150
68.09/47.71	c HOST: node150.alineos.net
68.09/47.71	c (0,0) SatSolver.solve Begin
68.09/47.71	c (0,0) 0 bool, 0 clause
68.09/47.71	c (0,0) minisat_release HOME/instance-4305621-1534135769.xml-scop-9210.cnf
2520.00/2498.11	c (2450,0) receiving signal SIGTERM
2520.00/2498.11	s UNKNOWN
2520.00/2498.12	c (scop.sh) Receiving Signal. Removing all intermediate files.
2520.00/2498.12	c (scop.sh) Remove HOME/scop-9207-serial-file.bin.
2520.00/2498.12	c (2450,0) SatSolver is killed by some reasons.
2520.00/2498.12	c (scop.sh) Killing background jobs.

Verifier Data


Watcher Data 

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

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

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4305621-1534135769/watcher-4305621-1534135769 -o /tmp/evaluation-result-4305621-1534135769/solver-4305621-1534135769 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node150-1534130664-8263 --watchdog 2580 scop.sh 11g scop.jar -both minisat_release default HOME HOME/instance-4305621-1534135769.xml 

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

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


[startup+0.100137 s]*
/proc/loadavg: 1.99 2.00 2.04 3/222 9224
/proc/meminfo: memFree=15634652/32770624 swapFree=67108792/67108860
[pid=9207] ppid=9204 vsize=113128 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/9207/stat : 9207 (scop.sh) S 9204 9207 8231 0 -1 4202496 560 321 0 0 0 0 0 0 20 0 1 0 231140161 115843072 349 33554432000 4194304 5098028 140730317455008 140730317452264 140346708193916 0 65536 4100 81923 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 33767424 140730317460545 140730317460743 140730317460743 140730317463501 0
/proc/9207/statm: 28282 349 296 221 0 87 0
[pid=9210] ppid=9207 vsize=15012476 memory=70760 CPUtime=0.1 cores=1,3,5,7
/proc/9210/stat : 9210 (java) S 9207 9207 8231 0 -1 1077944320 6851 0 0 0 9 1 0 0 20 0 15 0 231140162 15372775424 17690 33554432000 4194304 4196468 140725417277744 140725417260288 140407879835383 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 34189312 140725417280520 140725417280817 140725417280817 140725417283535 0
/proc/9210/statm: 3753119 17690 2759 1 0 3715579 0
[pid=9210/tid=9211] ppid=9207 vsize=15012476 memory=-6526411401870300574 CPUtime=0.09 cores=1,3,5,7
/proc/9210/task/9211/stat : 9211 (java) R 9207 9207 8231 0 -1 4202560 4909 0 0 0 8 1 0 0 20 0 15 0 231140162 15372775424 17690 33554432000 4194304 4196468 140725417277744 140407851621504 140407861398939 0 4 2 16800973 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 34189312 140725417280520 140725417280817 140725417280817 140725417283535 0
[pid=9210/tid=9212] ppid=9207 vsize=15012476 memory=3472468395639748272 CPUtime=0 cores=1,3,5,7
/proc/9210/task/9212/stat : 9212 (java) S 9207 9207 8231 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 231140164 15372775424 17690 33554432000 4194304 4196468 140725417277744 140407884077968 140407879845589 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34189312 140725417280520 140725417280817 140725417280817 140725417283535 0
[pid=9210/tid=9213] ppid=9207 vsize=15012476 memory=140099412067968 CPUtime=0 cores=1,3,5,7
/proc/9210/task/9213/stat : 9213 (java) S 9207 9207 8231 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 231140164 15372775424 17690 33554432000 4194304 4196468 140725417277744 140407717456656 140407879845589 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34189312 140725417280520 140725417280817 140725417280817 140725417283535 0
[pid=9210/tid=9214] ppid=9207 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9210/task/9214/stat : 9214 (java) S 9207 9207 8231 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 231140164 15372775424 17690 33554432000 4194304 4196468 140725417277744 140407338949776 140407879845589 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34189312 140725417280520 140725417280817 140725417280817 140725417283535 0
[pid=9210/tid=9215] ppid=9207 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9210/task/9215/stat : 9215 (java) S 9207 9207 8231 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 231140164 15372775424 17690 33554432000 4194304 4196468 140725417277744 140407337896976 140407879845589 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34189312 140725417280520 140725417280817 140725417280817 140725417283535 0
[pid=9210/tid=9216] ppid=9207 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9210/task/9216/stat : 9216 (java) S 9207 9207 8231 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 231140165 15372775424 17690 33554432000 4194304 4196468 140725417277744 140406917400688 140407879846530 0 0 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34189312 140725417280520 140725417280817 140725417280817 140725417283535 0
[pid=9210/tid=9217] ppid=9207 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/9210/task/9217/stat : 9217 (java) S 9207 9207 8231 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 231140166 15372775424 17690 33554432000 4194304 4196468 140725417277744 140406574539552 140407879845589 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34189312 140725417280520 140725417280817 140725417280817 140725417283535 0
[pid=9210/tid=9218] ppid=9207 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9210/task/9218/stat : 9218 (java) S 9207 9207 8231 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 231140166 15372775424 17690 33554432000 4194304 4196468 140725417277744 140406306104432 140407879845589 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34189312 140725417280520 140725417280817 140725417280817 140725417283535 0
[pid=9210/tid=9219] ppid=9207 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9210/task/9219/stat : 9219 (java) S 9207 9207 8231 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 231140168 15372775424 17690 33554432000 4194304 4196468 140725417277744 140405931595856 140407879853979 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34189312 140725417280520 140725417280817 140725417280817 140725417283535 0
[pid=9210/tid=9220] ppid=9207 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9210/task/9220/stat : 9220 (java) S 9207 9207 8231 0 -1 1077944384 303 0 0 0 0 0 0 0 20 0 15 0 231140168 15372775424 17690 33554432000 4194304 4196468 140725417277744 140406916348528 140407879846530 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34189312 140725417280520 140725417280817 140725417280817 140725417283535 0
[pid=9210/tid=9221] ppid=9207 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/9210/task/9221/stat : 9221 (java) S 9207 9207 8231 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 231140168 15372775424 17690 33554432000 4194304 4196468 140725417277744 140406915295728 140407879846530 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34189312 140725417280520 140725417280817 140725417280817 140725417283535 0
[pid=9210/tid=9222] ppid=9207 vsize=15012476 memory=140099412067968 CPUtime=0.01 cores=1,3,5,7
/proc/9210/task/9222/stat : 9222 (java) S 9207 9207 8231 0 -1 1077944384 316 0 0 0 1 0 0 0 20 0 15 0 231140168 15372775424 17690 33554432000 4194304 4196468 140725417277744 140406914243440 140407879846530 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34189312 140725417280520 140725417280817 140725417280817 140725417283535 0
[pid=9210/tid=9223] ppid=9207 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/9210/task/9223/stat : 9223 (java) S 9207 9207 8231 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 231140169 15372775424 17690 33554432000 4194304 4196468 140725417277744 140405433691104 140407879845589 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34189312 140725417280520 140725417280817 140725417280817 140725417283535 0
[pid=9210/tid=9224] ppid=9207 vsize=15012476 memory=140099412067968 CPUtime=0 cores=1,3,5,7
/proc/9210/task/9224/stat : 9224 (java) S 9207 9207 8231 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 231140169 15372775424 17690 33554432000 4194304 4196468 140725417277744 140406913190320 140407879846530 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34189312 140725417280520 140725417280817 140725417280817 140725417283535 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 15125604 KiB
Current children cumulated memory: 72156 KiB

[startup+0.210541 s]*
/proc/loadavg: 1.99 2.00 2.04 4/222 9224
/proc/meminfo: memFree=15620948/32770624 swapFree=67108792/67108860
[pid=9207] ppid=9204 vsize=113128 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/9207/stat : 9207 (scop.sh) S 9204 9207 8231 0 -1 4202496 560 321 0 0 0 0 0 0 20 0 1 0 231140161 115843072 349 33554432000 4194304 5098028 140730317455008 140730317452264 140346708193916 0 65536 4100 81923 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 33767424 140730317460545 140730317460743 140730317460743 140730317463501 0
/proc/9207/statm: 28282 349 296 221 0 87 0
[pid=9210] ppid=9207 vsize=15012476 memory=84064 CPUtime=0.25 cores=1,3,5,7
/proc/9210/stat : 9210 (java) S 9207 9207 8231 0 -1 1077944320 10399 0 0 0 23 2 0 0 20 0 15 0 231140162 15372775424 21016 33554432000 4194304 4196468 140725417277744 140725417260288 140407879835383 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 34189312 140725417280520 140725417280817 140725417280817 140725417283535 0
/proc/9210/statm: 3753119 21016 2904 1 0 3715579 0
[pid=9210/tid=9211] ppid=9207 vsize=15012476 memory=-8976644418600983157 CPUtime=0.2 cores=1,3,5,7
/proc/9210/task/9211/stat : 9211 (java) R 9207 9207 8231 0 -1 4202560 8236 0 0 0 18 2 0 0 20 0 15 0 231140162 15372775424 21016 33554432000 4194304 4196468 140725417277744 140407851663040 140407879847318 0 4 2 16800973 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 34189312 140725417280520 140725417280817 140725417280817 140725417283535 0
[pid=9210/tid=9212] ppid=9207 vsize=15012476 memory=3472468395639748272 CPUtime=0 cores=1,3,5,7
/proc/9210/task/9212/stat : 9212 (java) S 9207 9207 8231 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 231140164 15372775424 21016 33554432000 4194304 4196468 140725417277744 140407884077968 140407879845589 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34189312 140725417280520 140725417280817 140725417280817 140725417283535 0
[pid=9210/tid=9213] ppid=9207 vsize=15012476 memory=140099412067968 CPUtime=0 cores=1,3,5,7
/proc/9210/task/9213/stat : 9213 (java) S 9207 9207 8231 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 231140164 15372775424 21016 33554432000 4194304 4196468 140725417277744 140407717456656 140407879845589 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34189312 140725417280520 140725417280817 140725417280817 140725417283535 0
[pid=9210/tid=9214] ppid=9207 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9210/task/9214/stat : 9214 (java) S 9207 9207 8231 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 231140164 15372775424 21016 33554432000 4194304 4196468 140725417277744 140407338949776 140407879845589 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34189312 140725417280520 140725417280817 140725417280817 140725417283535 0
[pid=9210/tid=9215] ppid=9207 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/9210/task/9215/stat : 9215 (java) S 9207 9207 8231 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 231140164 15372775424 21016 33554432000 4194304 4196468 140725417277744 140407337896976 140407879845589 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34189312 140725417280520 140725417280817 140725417280817 140725417283535 0
[pid=9210/tid=9216] ppid=9207 vsize=15012476 memory=140099412067968 CPUtime=0 cores=1,3,5,7
/proc/9210/task/9216/stat : 9216 (java) S 9207 9207 8231 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 231140165 15372775424 21016 33554432000 4194304 4196468 140725417277744 140406917400688 140407879846530 0 0 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34189312 140725417280520 140725417280817 140725417280817 140725417283535 0
[pid=9210/tid=9217] ppid=9207 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/9210/task/9217/stat : 9217 (java) S 9207 9207 8231 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 231140166 15372775424 21016 33554432000 4194304 4196468 140725417277744 140406574539552 140407879845589 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34189312 140725417280520 140725417280817 140725417280817 140725417283535 0
[pid=9210/tid=9218] ppid=9207 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9210/task/9218/stat : 9218 (java) S 9207 9207 8231 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 231140166 15372775424 21016 33554432000 4194304 4196468 140725417277744 140406306104432 140407879845589 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34189312 140725417280520 140725417280817 140725417280817 140725417283535 0
[pid=9210/tid=9219] ppid=9207 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9210/task/9219/stat : 9219 (java) S 9207 9207 8231 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 231140168 15372775424 21016 33554432000 4194304 4196468 140725417277744 140405931595856 140407879853979 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34189312 140725417280520 140725417280817 140725417280817 140725417283535 0
[pid=9210/tid=9220] ppid=9207 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9210/task/9220/stat : 9220 (java) S 9207 9207 8231 0 -1 1077944384 315 0 0 0 0 0 0 0 20 0 15 0 231140168 15372775424 21016 33554432000 4194304 4196468 140725417277744 140406916348528 140407879846530 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34189312 140725417280520 140725417280817 140725417280817 140725417283535 0
[pid=9210/tid=9221] ppid=9207 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/9210/task/9221/stat : 9221 (java) S 9207 9207 8231 0 -1 1077944384 159 0 0 0 0 0 0 0 20 0 15 0 231140168 15372775424 21016 33554432000 4194304 4196468 140725417277744 140406915295728 140407879846530 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34189312 140725417280520 140725417280817 140725417280817 140725417283535 0
[pid=9210/tid=9222] ppid=9207 vsize=15012476 memory=140099412067968 CPUtime=0.03 cores=1,3,5,7
/proc/9210/task/9222/stat : 9222 (java) R 9207 9207 8231 0 -1 4202560 368 0 0 0 3 0 0 0 20 0 15 0 231140168 15372775424 21016 33554432000 4194304 4196468 140725417277744 140406914243440 140407879847318 0 4 2 16800973 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 34189312 140725417280520 140725417280817 140725417280817 140725417283535 0
[pid=9210/tid=9223] ppid=9207 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/9210/task/9223/stat : 9223 (java) S 9207 9207 8231 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 231140169 15372775424 21016 33554432000 4194304 4196468 140725417277744 140405433691104 140407879845589 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34189312 140725417280520 140725417280817 140725417280817 140725417283535 0
[pid=9210/tid=9224] ppid=9207 vsize=15012476 memory=140099412067968 CPUtime=0 cores=1,3,5,7
/proc/9210/task/9224/stat : 9224 (java) S 9207 9207 8231 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 231140169 15372775424 21016 33554432000 4194304 4196468 140725417277744 140406913190320 140407879846530 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34189312 140725417280520 140725417280817 140725417280817 140725417283535 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 15125604 KiB
Current children cumulated memory: 85460 KiB

[startup+0.310532 s]*
/proc/loadavg: 1.99 2.00 2.04 3/222 9224
/proc/meminfo: memFree=15616412/32770624 swapFree=67108792/67108860
[pid=9207] ppid=9204 vsize=113128 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/9207/stat : 9207 (scop.sh) S 9204 9207 8231 0 -1 4202496 560 321 0 0 0 0 0 0 20 0 1 0 231140161 115843072 349 33554432000 4194304 5098028 140730317455008 140730317452264 140346708193916 0 65536 4100 81923 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 33767424 140730317460545 140730317460743 140730317460743 140730317463501 0
/proc/9207/statm: 28282 349 296 221 0 87 0
[pid=9210] ppid=9207 vsize=15012476 memory=88680 CPUtime=0.43 cores=1,3,5,7
/proc/9210/stat : 9210 (java) S 9207 9207 8231 0 -1 1077944320 11121 0 0 0 40 3 0 0 20 0 15 0 231140162 15372775424 22170 33554432000 4194304 4196468 140725417277744 140725417260288 140407879835383 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 34189312 140725417280520 140725417280817 140725417280817 140725417283535 0
/proc/9210/statm: 3753119 22170 3006 1 0 3715579 0
[pid=9210/tid=9211] ppid=9207 vsize=15012476 memory=-8976644418600983157 CPUtime=0.29 cores=1,3,5,7
/proc/9210/task/9211/stat : 9211 (java) R 9207 9207 8231 0 -1 4202560 8671 0 0 0 27 2 0 0 20 0 15 0 231140162 15372775424 22170 33554432000 4194304 4196468 140725417277744 140407851630384 140407863915870 0 4 2 16800973 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 34189312 140725417280520 140725417280817 140725417280817 140725417283535 0
[pid=9210/tid=9212] ppid=9207 vsize=15012476 memory=3472468395639748272 CPUtime=0 cores=1,3,5,7
/proc/9210/task/9212/stat : 9212 (java) S 9207 9207 8231 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 231140164 15372775424 22170 33554432000 4194304 4196468 140725417277744 140407884077968 140407879845589 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34189312 140725417280520 140725417280817 140725417280817 140725417283535 0
[pid=9210/tid=9213] ppid=9207 vsize=15012476 memory=280198695242624 CPUtime=0 cores=1,3,5,7
/proc/9210/task/9213/stat : 9213 (java) S 9207 9207 8231 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 231140164 15372775424 22170 33554432000 4194304 4196468 140725417277744 140407717456656 140407879845589 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34189312 140725417280520 140725417280817 140725417280817 140725417283535 0
[pid=9210/tid=9214] ppid=9207 vsize=15012476 memory=280198566379296 CPUtime=0 cores=1,3,5,7
/proc/9210/task/9214/stat : 9214 (java) S 9207 9207 8231 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 231140164 15372775424 22170 33554432000 4194304 4196468 140725417277744 140407338949776 140407879845589 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34189312 140725417280520 140725417280817 140725417280817 140725417283535 0
[pid=9210/tid=9215] ppid=9207 vsize=15012476 memory=140099283174671 CPUtime=0 cores=1,3,5,7
/proc/9210/task/9215/stat : 9215 (java) S 9207 9207 8231 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 231140164 15372775424 22170 33554432000 4194304 4196468 140725417277744 140407337896976 140407879845589 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34189312 140725417280520 140725417280817 140725417280817 140725417283535 0
[pid=9210/tid=9216] ppid=9207 vsize=15012476 memory=280198695249536 CPUtime=0 cores=1,3,5,7
/proc/9210/task/9216/stat : 9216 (java) S 9207 9207 8231 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 231140165 15372775424 22170 33554432000 4194304 4196468 140725417277744 140406917400688 140407879846530 0 0 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34189312 140725417280520 140725417280817 140725417280817 140725417283535 0
[pid=9210/tid=9217] ppid=9207 vsize=15012476 memory=140099283179279 CPUtime=0 cores=1,3,5,7
/proc/9210/task/9217/stat : 9217 (java) S 9207 9207 8231 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 231140166 15372775424 22170 33554432000 4194304 4196468 140725417277744 140406574539552 140407879845589 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34189312 140725417280520 140725417280817 140725417280817 140725417283535 0
[pid=9210/tid=9218] ppid=9207 vsize=15012476 memory=140099283190686 CPUtime=0 cores=1,3,5,7
/proc/9210/task/9218/stat : 9218 (java) S 9207 9207 8231 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 231140166 15372775424 22170 33554432000 4194304 4196468 140725417277744 140406306104432 140407879845589 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34189312 140725417280520 140725417280817 140725417280817 140725417283535 0
[pid=9210/tid=9219] ppid=9207 vsize=15012476 memory=280198566390816 CPUtime=0 cores=1,3,5,7
/proc/9210/task/9219/stat : 9219 (java) S 9207 9207 8231 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 231140168 15372775424 22170 33554432000 4194304 4196468 140725417277744 140405931595856 140407879853979 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34189312 140725417280520 140725417280817 140725417280817 140725417283535 0
[pid=9210/tid=9220] ppid=9207 vsize=15012476 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/9210/task/9220/stat : 9220 (java) S 9207 9207 8231 0 -1 1077944384 416 0 0 0 2 0 0 0 20 0 15 0 231140168 15372775424 22170 33554432000 4194304 4196468 140725417277744 140406916348528 140407879846530 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34189312 140725417280520 140725417280817 140725417280817 140725417283535 0
[pid=9210/tid=9221] ppid=9207 vsize=15012476 memory=-1 CPUtime=0.01 cores=1,3,5,7
/proc/9210/task/9221/stat : 9221 (java) S 9207 9207 8231 0 -1 1077944384 222 0 0 0 1 0 0 0 20 0 15 0 231140168 15372775424 22170 33554432000 4194304 4196468 140725417277744 140406915295728 140407879846530 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34189312 140725417280520 140725417280817 140725417280817 140725417283535 0
[pid=9210/tid=9222] ppid=9207 vsize=15012476 memory=140099412067968 CPUtime=0.07 cores=1,3,5,7
/proc/9210/task/9222/stat : 9222 (java) S 9207 9207 8231 0 -1 1077944384 484 0 0 0 7 0 0 0 20 0 15 0 231140168 15372775424 22170 33554432000 4194304 4196468 140725417277744 140406914243440 140407879846530 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34189312 140725417280520 140725417280817 140725417280817 140725417283535 0
[pid=9210/tid=9223] ppid=9207 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/9210/task/9223/stat : 9223 (java) S 9207 9207 8231 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 231140169 15372775424 22170 33554432000 4194304 4196468 140725417277744 140405433691104 140407879845589 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34189312 140725417280520 140725417280817 140725417280817 140725417283535 0
[pid=9210/tid=9224] ppid=9207 vsize=15012476 memory=140099412069364 CPUtime=0 cores=1,3,5,7
/proc/9210/task/9224/stat : 9224 (java) S 9207 9207 8231 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 231140169 15372775424 22170 33554432000 4194304 4196468 140725417277744 140406913190320 140407879846530 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34189312 140725417280520 140725417280817 140725417280817 140725417283535 0
Current children cumulated CPU time: 0.43 s
Current children cumulated vsize: 15125604 KiB
Current children cumulated memory: 90076 KiB

[startup+0.700837 s]
/proc/loadavg: 1.99 2.00 2.04 3/222 9224
/proc/meminfo: memFree=15592104/32770624 swapFree=67108792/67108860
[pid=9207] ppid=9204 vsize=113128 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/9207/stat : 9207 (scop.sh) S 9204 9207 8231 0 -1 4202496 560 321 0 0 0 0 0 0 20 0 1 0 231140161 115843072 349 33554432000 4194304 5098028 140730317455008 140730317452264 140346708193916 0 65536 4100 81923 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 33767424 140730317460545 140730317460743 140730317460743 140730317463501 0
/proc/9207/statm: 28282 349 296 221 0 87 0
[pid=9210] ppid=9207 vsize=15018748 memory=128524 CPUtime=1.02 cores=1,3,5,7
/proc/9210/stat : 9210 (java) S 9207 9207 8231 0 -1 1077944320 18241 0 0 0 96 6 0 0 20 0 15 0 231140162 15379197952 32131 33554432000 4194304 4196468 140725417277744 140725417260288 140407879835383 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 34189312 140725417280520 140725417280817 140725417280817 140725417283535 0
/proc/9210/statm: 3754687 32131 3139 1 0 3716091 0
[pid=9210/tid=9211] ppid=9207 vsize=15018748 memory=53 CPUtime=0.66 cores=1,3,5,7
/proc/9210/task/9211/stat : 9211 (java) R 9207 9207 8231 0 -1 4202560 15238 0 0 0 62 4 0 0 20 0 15 0 231140162 15379197952 32131 33554432000 4194304 4196468 140725417277744 140407851672864 140407879857309 0 4 2 25189581 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 34189312 140725417280520 140725417280817 140725417280817 140725417283535 0
[pid=9210/tid=9212] ppid=9207 vsize=15018748 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9210/task/9212/stat : 9212 (java) S 9207 9207 8231 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 231140164 15379197952 32131 33554432000 4194304 4196468 140725417277744 140407884077968 140407879845589 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34189312 140725417280520 140725417280817 140725417280817 140725417283535 0
[pid=9210/tid=9213] ppid=9207 vsize=15018748 memory=8320808402719618869 CPUtime=0 cores=1,3,5,7
/proc/9210/task/9213/stat : 9213 (java) S 9207 9207 8231 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 231140164 15379197952 32131 33554432000 4194304 4196468 140725417277744 140407717456656 140407879845589 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34189312 140725417280520 140725417280817 140725417280817 140725417283535 0
[pid=9210/tid=9214] ppid=9207 vsize=15018748 memory=7223880817056039022 CPUtime=0 cores=1,3,5,7
/proc/9210/task/9214/stat : 9214 (java) S 9207 9207 8231 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 231140164 15379197952 32131 33554432000 4194304 4196468 140725417277744 140407338949776 140407879845589 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34189312 140725417280520 140725417280817 140725417280817 140725417283535 0
[pid=9210/tid=9215] ppid=9207 vsize=15018748 memory=7588675599774802240 CPUtime=0 cores=1,3,5,7
/proc/9210/task/9215/stat : 9215 (java) S 9207 9207 8231 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 231140164 15379197952 32131 33554432000 4194304 4196468 140725417277744 140407337896976 140407879845589 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34189312 140725417280520 140725417280817 140725417280817 140725417283535 0
[pid=9210/tid=9216] ppid=9207 vsize=15018748 memory=734122130331934768 CPUtime=0 cores=1,3,5,7
/proc/9210/task/9216/stat : 9216 (java) S 9207 9207 8231 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 231140165 15379197952 32131 33554432000 4194304 4196468 140725417277744 140406917400688 140407879846530 0 0 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34189312 140725417280520 140725417280817 140725417280817 140725417283535 0
[pid=9210/tid=9217] ppid=9207 vsize=15018748 memory=1800 CPUtime=0 cores=1,3,5,7
/proc/9210/task/9217/stat : 9217 (java) S 9207 9207 8231 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 231140166 15379197952 32131 33554432000 4194304 4196468 140725417277744 140406574539552 140407879845589 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34189312 140725417280520 140725417280817 140725417280817 140725417283535 0
[pid=9210/tid=9218] ppid=9207 vsize=15018748 memory=1264 CPUtime=0 cores=1,3,5,7
/proc/9210/task/9218/stat : 9218 (java) S 9207 9207 8231 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 231140166 15379197952 32131 33554432000 4194304 4196468 140725417277744 140406306104432 140407879845589 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34189312 140725417280520 140725417280817 140725417280817 140725417283535 0
[pid=9210/tid=9219] ppid=9207 vsize=15018748 memory=7136 CPUtime=0 cores=1,3,5,7
/proc/9210/task/9219/stat : 9219 (java) S 9207 9207 8231 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 231140168 15379197952 32131 33554432000 4194304 4196468 140725417277744 140405931595856 140407879853979 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34189312 140725417280520 140725417280817 140725417280817 140725417283535 0
[pid=9210/tid=9220] ppid=9207 vsize=15018748 memory=748 CPUtime=0.07 cores=1,3,5,7
/proc/9210/task/9220/stat : 9220 (java) S 9207 9207 8231 0 -1 1077944384 491 0 0 0 7 0 0 0 20 0 15 0 231140168 15379197952 32131 33554432000 4194304 4196468 140725417277744 140406916348528 140407879846530 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34189312 140725417280520 140725417280817 140725417280817 140725417283535 0
[pid=9210/tid=9221] ppid=9207 vsize=15018748 memory=872 CPUtime=0.09 cores=1,3,5,7
/proc/9210/task/9221/stat : 9221 (java) S 9207 9207 8231 0 -1 1077944384 479 0 0 0 9 0 0 0 20 0 15 0 231140168 15379197952 32131 33554432000 4194304 4196468 140725417277744 140406915295728 140407879846530 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34189312 140725417280520 140725417280817 140725417280817 140725417283535 0
[pid=9210/tid=9222] ppid=9207 vsize=15018748 memory=1220 CPUtime=0.16 cores=1,3,5,7
/proc/9210/task/9222/stat : 9222 (java) S 9207 9207 8231 0 -1 1077944384 699 0 0 0 16 0 0 0 20 0 15 0 231140168 15379197952 32131 33554432000 4194304 4196468 140725417277744 140406914243440 140407879846530 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34189312 140725417280520 140725417280817 140725417280817 140725417283535 0
[pid=9210/tid=9223] ppid=9207 vsize=15018748 memory=1108 CPUtime=0 cores=1,3,5,7
/proc/9210/task/9223/stat : 9223 (java) S 9207 9207 8231 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 231140169 15379197952 32131 33554432000 4194304 4196468 140725417277744 140405433691104 140407879845589 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34189312 140725417280520 140725417280817 140725417280817 140725417283535 0
[pid=9210/tid=9224] ppid=9207 vsize=15018748 memory=15336 CPUtime=0 cores=1,3,5,7
/proc/9210/task/9224/stat : 9224 (java) S 9207 9207 8231 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 231140169 15379197952 32131 33554432000 4194304 4196468 140725417277744 140406913190320 140407879846530 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34189312 140725417280520 140725417280817 140725417280817 140725417283535 0
Current children cumulated CPU time: 1.02 s
Current children cumulated vsize: 15131876 KiB
Current children cumulated memory: 129920 KiB

[startup+1.50078 s]
/proc/loadavg: 1.99 2.00 2.04 4/222 9224
/proc/meminfo: memFree=15519196/32770624 swapFree=67108792/67108860
[pid=9207] ppid=9204 vsize=113128 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/9207/stat : 9207 (scop.sh) S 9204 9207 8231 0 -1 4202496 560 321 0 0 0 0 0 0 20 0 1 0 231140161 115843072 349 33554432000 4194304 5098028 140730317455008 140730317452264 140346708193916 0 65536 4100 81923 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 33767424 140730317460545 140730317460743 140730317460743 140730317463501 0
/proc/9207/statm: 28282 349 296 221 0 87 0

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

[pid=9232/tid=9235] ppid=9207 vsize=8068220 memory=119576 CPUtime=0 cores=1,3,5,7
/proc/9232/task/9235/stat : 9235 (java) S 9207 9207 8231 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 231144862 8261857280 29894 33554432000 4194304 4196468 140735153865680 140393825172496 140393989691093 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15007744 140735153874102 140735153874225 140735153874225 140735153876943 0
[pid=9232/tid=9236] ppid=9207 vsize=8068220 memory=1472 CPUtime=0 cores=1,3,5,7
/proc/9232/task/9236/stat : 9236 (java) S 9207 9207 8231 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 231144862 8261857280 29894 33554432000 4194304 4196468 140735153865680 140393474010000 140393989691093 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15007744 140735153874102 140735153874225 140735153874225 140735153876943 0
[pid=9232/tid=9237] ppid=9207 vsize=8068220 memory=119576 CPUtime=0 cores=1,3,5,7
/proc/9232/task/9237/stat : 9237 (java) S 9207 9207 8231 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 231144862 8261857280 29894 33554432000 4194304 4196468 140735153865680 140393472957200 140393989691093 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15007744 140735153874102 140735153874225 140735153874225 140735153876943 0
[pid=9232/tid=9238] ppid=9207 vsize=8068220 memory=217884 CPUtime=0.05 cores=1,3,5,7
/proc/9232/task/9238/stat : 9238 (java) S 9207 9207 8231 0 -1 1077944384 5 0 0 0 2 3 0 0 20 0 19 0 231144863 8261857280 29894 33554432000 4194304 4196468 140735153865680 140393301834096 140393989692034 0 0 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15007744 140735153874102 140735153874225 140735153874225 140735153876943 0
[pid=9232/tid=9239] ppid=9207 vsize=8068220 memory=3888 CPUtime=0 cores=1,3,5,7
/proc/9232/task/9239/stat : 9239 (java) S 9207 9207 8231 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 231144864 8261857280 29894 33554432000 4194304 4196468 140735153865680 140392817222688 140393989691093 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15007744 140735153874102 140735153874225 140735153874225 140735153876943 0
[pid=9232/tid=9240] ppid=9207 vsize=8068220 memory=8564 CPUtime=0 cores=1,3,5,7
/proc/9232/task/9240/stat : 9240 (java) S 9207 9207 8231 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 231144864 8261857280 29894 33554432000 4194304 4196468 140735153865680 140392548787056 140393989691093 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15007744 140735153874102 140735153874225 140735153874225 140735153876943 0
[pid=9232/tid=9241] ppid=9207 vsize=8068220 memory=1472 CPUtime=0 cores=1,3,5,7
/proc/9232/task/9241/stat : 9241 (java) S 9207 9207 8231 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 231144866 8261857280 29894 33554432000 4194304 4196468 140735153865680 140392174278480 140393989699483 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15007744 140735153874102 140735153874225 140735153874225 140735153876943 0
[pid=9232/tid=9242] ppid=9207 vsize=8068220 memory=119576 CPUtime=0.11 cores=1,3,5,7
/proc/9232/task/9242/stat : 9242 (java) S 9207 9207 8231 0 -1 1077944384 571 0 0 0 10 1 0 0 20 0 19 0 231144866 8261857280 29894 33554432000 4194304 4196468 140735153865680 140393300781936 140393989692034 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15007744 140735153874102 140735153874225 140735153874225 140735153876943 0
[pid=9232/tid=9243] ppid=9207 vsize=8068220 memory=1472 CPUtime=0.15 cores=1,3,5,7
/proc/9232/task/9243/stat : 9243 (java) S 9207 9207 8231 0 -1 1077944384 756 0 0 0 14 1 0 0 20 0 19 0 231144866 8261857280 29894 33554432000 4194304 4196468 140735153865680 140393299729136 140393989692034 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15007744 140735153874102 140735153874225 140735153874225 140735153876943 0
[pid=9232/tid=9244] ppid=9207 vsize=8068220 memory=1472 CPUtime=0.22 cores=1,3,5,7
/proc/9232/task/9244/stat : 9244 (java) S 9207 9207 8231 0 -1 1077944384 803 0 0 0 22 0 0 0 20 0 19 0 231144866 8261857280 29894 33554432000 4194304 4196468 140735153865680 140393298676336 140393989692034 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15007744 140735153874102 140735153874225 140735153874225 140735153876943 0
[pid=9232/tid=9245] ppid=9207 vsize=8068220 memory=1472 CPUtime=0 cores=1,3,5,7
/proc/9232/task/9245/stat : 9245 (java) S 9207 9207 8231 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 231144867 8261857280 29894 33554432000 4194304 4196468 140735153865680 140391676373728 140393989691093 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15007744 140735153874102 140735153874225 140735153874225 140735153876943 0
[pid=9232/tid=9246] ppid=9207 vsize=8068220 memory=1472 CPUtime=1.28 cores=1,3,5,7
/proc/9232/task/9246/stat : 9246 (java) S 9207 9207 8231 0 -1 1077944384 161 0 0 0 62 66 0 0 20 0 19 0 231144867 8261857280 29894 33554432000 4194304 4196468 140735153865680 140393297623728 140393989692034 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15007744 140735153874102 140735153874225 140735153874225 140735153876943 0
[pid=9232/tid=9248] ppid=9207 vsize=8068220 memory=1472 CPUtime=0 cores=1,3,5,7
/proc/9232/task/9248/stat : 9248 (java) S 9207 9207 8231 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 231144936 8261857280 29894 33554432000 4194304 4196468 140735153865680 140393289815232 140393989705497 0 4 2 25189581 18446744071579417331 0 0 -1 5 0 0 0 0 0 6293624 6294260 15007744 140735153874102 140735153874225 140735153874225 140735153876943 0
[pid=9232/tid=9250] ppid=9207 vsize=8068220 memory=1472 CPUtime=0 cores=1,3,5,7
/proc/9232/task/9250/stat : 9250 (java) S 9207 9207 8231 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 231144936 8261857280 29894 33554432000 4194304 4196468 140735153865680 140391139487024 140393989702813 0 4 2 25189581 18446744071580971376 0 0 -1 1 0 0 0 0 0 6293624 6294260 15007744 140735153874102 140735153874225 140735153874225 140735153876943 0
[pid=9232/tid=9251] ppid=9207 vsize=8068220 memory=1472 CPUtime=0 cores=1,3,5,7
/proc/9232/task/9251/stat : 9251 (java) S 9207 9207 8231 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 19 0 231144936 8261857280 29894 33554432000 4194304 4196468 140735153865680 140391273709744 140393989702813 0 4 2 25189581 18446744071580971376 0 0 -1 5 0 0 0 0 0 6293624 6294260 15007744 140735153874102 140735153874225 140735153874225 140735153876943 0
[pid=9232/tid=9252] ppid=9207 vsize=8068220 memory=3892 CPUtime=0 cores=1,3,5,7
/proc/9232/task/9252/stat : 9252 (java) S 9207 9207 8231 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 19 0 231144938 8261857280 29894 33554432000 4194304 4196468 140735153865680 140390871064224 140393989691093 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15007744 140735153874102 140735153874225 140735153874225 140735153876943 0
Current children cumulated CPU time: 2464.15 s
Current children cumulated vsize: 8435276 KiB
Current children cumulated memory: 349172 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2498.11 s]
/proc/loadavg: 1.18 1.78 1.97 2/201 9398
/proc/meminfo: memFree=15603412/32770624 swapFree=67108792/67108860
[pid=9207] ppid=9204 vsize=113128 memory=1472 CPUtime=67.02 cores=1,3,5,7
/proc/9207/stat : 9207 (scop.sh) S 9204 9207 8231 0 -1 4202496 591 56313 0 0 0 0 6535 167 20 0 1 0 231140161 115843072 368 33554432000 4194304 5098028 140730317455008 140730317451752 140346708193916 0 65536 4100 81923 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 33767424 140730317460545 140730317460743 140730317460743 140730317463501 0
/proc/9207/statm: 28282 368 311 221 0 87 0
[pid=9232] ppid=9207 vsize=8068220 memory=119576 CPUtime=2.69 cores=1,3,5,7
/proc/9232/stat : 9232 (java) S 9207 9207 8231 0 -1 1077944320 19315 0 0 0 193 76 0 0 20 0 19 0 231144860 8261857280 29894 33554432000 4194304 4196468 140735153865680 140735153848224 140393989680887 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 15007744 140735153874102 140735153874225 140735153874225 140735153876943 0
/proc/9232/statm: 2017055 29894 3139 1 0 1978454 0
[pid=9247] ppid=9232 vsize=254340 memory=216256 CPUtime=2450.29 cores=1,3,5,7
/proc/9247/stat : 9247 (minisat_release) R 9232 9207 8231 0 -1 4202496 972310 0 0 0 244784 245 0 0 20 0 1 0 231144935 260444160 54064 33554432000 4194304 4308513 140734910696800 140734910693560 4275579 0 4 0 8396802 0 0 0 17 3 0 0 0 0 0 6409496 6410680 19177472 140734910702709 140734910702806 140734910702806 140734910705605 0
/proc/9247/statm: 63585 54064 340 28 0 59825 0
[pid=9232/tid=9233] ppid=9207 vsize=8068220 memory=119576 CPUtime=0.77 cores=1,3,5,7
/proc/9232/task/9233/stat : 9233 (java) S 9207 9207 8231 0 -1 1077944384 15635 0 0 0 73 4 0 0 20 0 19 0 231144861 8261857280 29894 33554432000 4194304 4196468 140735153865680 140393961521040 140393989691093 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15007744 140735153874102 140735153874225 140735153874225 140735153876943 0
[pid=9232/tid=9234] ppid=9207 vsize=8068220 memory=119576 CPUtime=0 cores=1,3,5,7
/proc/9232/task/9234/stat : 9234 (java) S 9207 9207 8231 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 231144862 8261857280 29894 33554432000 4194304 4196468 140735153865680 140393993923728 140393989691093 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15007744 140735153874102 140735153874225 140735153874225 140735153876943 0
[pid=9232/tid=9235] ppid=9207 vsize=8068220 memory=119576 CPUtime=0 cores=1,3,5,7
/proc/9232/task/9235/stat : 9235 (java) S 9207 9207 8231 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 231144862 8261857280 29894 33554432000 4194304 4196468 140735153865680 140393825172496 140393989691093 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15007744 140735153874102 140735153874225 140735153874225 140735153876943 0
[pid=9232/tid=9236] ppid=9207 vsize=8068220 memory=1472 CPUtime=0 cores=1,3,5,7
/proc/9232/task/9236/stat : 9236 (java) S 9207 9207 8231 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 231144862 8261857280 29894 33554432000 4194304 4196468 140735153865680 140393474010000 140393989691093 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15007744 140735153874102 140735153874225 140735153874225 140735153876943 0
[pid=9232/tid=9237] ppid=9207 vsize=8068220 memory=1472 CPUtime=0 cores=1,3,5,7
/proc/9232/task/9237/stat : 9237 (java) S 9207 9207 8231 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 231144862 8261857280 29894 33554432000 4194304 4196468 140735153865680 140393472957200 140393989691093 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15007744 140735153874102 140735153874225 140735153874225 140735153876943 0
[pid=9232/tid=9238] ppid=9207 vsize=8068220 memory=119576 CPUtime=0.05 cores=1,3,5,7
/proc/9232/task/9238/stat : 9238 (java) S 9207 9207 8231 0 -1 1077944384 5 0 0 0 2 3 0 0 20 0 19 0 231144863 8261857280 29894 33554432000 4194304 4196468 140735153865680 140393301834096 140393989692034 0 0 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15007744 140735153874102 140735153874225 140735153874225 140735153876943 0
[pid=9232/tid=9239] ppid=9207 vsize=8068220 memory=119576 CPUtime=0 cores=1,3,5,7
/proc/9232/task/9239/stat : 9239 (java) S 9207 9207 8231 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 231144864 8261857280 29894 33554432000 4194304 4196468 140735153865680 140392817222688 140393989691093 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15007744 140735153874102 140735153874225 140735153874225 140735153876943 0
[pid=9232/tid=9240] ppid=9207 vsize=8068220 memory=3892 CPUtime=0 cores=1,3,5,7
/proc/9232/task/9240/stat : 9240 (java) S 9207 9207 8231 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 231144864 8261857280 29894 33554432000 4194304 4196468 140735153865680 140392548787056 140393989691093 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15007744 140735153874102 140735153874225 140735153874225 140735153876943 0
[pid=9232/tid=9241] ppid=9207 vsize=8068220 memory=119576 CPUtime=0 cores=1,3,5,7
/proc/9232/task/9241/stat : 9241 (java) S 9207 9207 8231 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 231144866 8261857280 29894 33554432000 4194304 4196468 140735153865680 140392174278480 140393989699483 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15007744 140735153874102 140735153874225 140735153874225 140735153876943 0
[pid=9232/tid=9242] ppid=9207 vsize=8068220 memory=1472 CPUtime=0.11 cores=1,3,5,7
/proc/9232/task/9242/stat : 9242 (java) S 9207 9207 8231 0 -1 1077944384 571 0 0 0 10 1 0 0 20 0 19 0 231144866 8261857280 29894 33554432000 4194304 4196468 140735153865680 140393300781936 140393989692034 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15007744 140735153874102 140735153874225 140735153874225 140735153876943 0
[pid=9232/tid=9243] ppid=9207 vsize=8068220 memory=1472 CPUtime=0.15 cores=1,3,5,7
/proc/9232/task/9243/stat : 9243 (java) S 9207 9207 8231 0 -1 1077944384 756 0 0 0 14 1 0 0 20 0 19 0 231144866 8261857280 29894 33554432000 4194304 4196468 140735153865680 140393299729136 140393989692034 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15007744 140735153874102 140735153874225 140735153874225 140735153876943 0
[pid=9232/tid=9244] ppid=9207 vsize=8068220 memory=119576 CPUtime=0.22 cores=1,3,5,7
/proc/9232/task/9244/stat : 9244 (java) S 9207 9207 8231 0 -1 1077944384 803 0 0 0 22 0 0 0 20 0 19 0 231144866 8261857280 29894 33554432000 4194304 4196468 140735153865680 140393298676336 140393989692034 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15007744 140735153874102 140735153874225 140735153874225 140735153876943 0
[pid=9232/tid=9245] ppid=9207 vsize=8068220 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9232/task/9245/stat : 9245 (java) S 9207 9207 8231 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 231144867 8261857280 29894 33554432000 4194304 4196468 140735153865680 140391676373728 140393989691093 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15007744 140735153874102 140735153874225 140735153874225 140735153876943 0
[pid=9232/tid=9246] ppid=9207 vsize=8068220 memory=8243114992657236055 CPUtime=1.32 cores=1,3,5,7
/proc/9232/task/9246/stat : 9246 (java) S 9207 9207 8231 0 -1 1077944384 165 0 0 0 63 69 0 0 20 0 19 0 231144867 8261857280 29894 33554432000 4194304 4196468 140735153865680 140393297623728 140393989692034 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15007744 140735153874102 140735153874225 140735153874225 140735153876943 0
[pid=9232/tid=9248] ppid=9207 vsize=8068220 memory=119576 CPUtime=0 cores=1,3,5,7
/proc/9232/task/9248/stat : 9248 (java) S 9207 9207 8231 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 231144936 8261857280 29894 33554432000 4194304 4196468 140735153865680 140393289815232 140393989705497 0 4 2 25189581 18446744071579417331 0 0 -1 5 0 0 0 0 0 6293624 6294260 15007744 140735153874102 140735153874225 140735153874225 140735153876943 0
[pid=9232/tid=9250] ppid=9207 vsize=8068220 memory=208064 CPUtime=0 cores=1,3,5,7
/proc/9232/task/9250/stat : 9250 (java) S 9207 9207 8231 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 231144936 8261857280 29894 33554432000 4194304 4196468 140735153865680 140391139487024 140393989702813 0 4 2 25189581 18446744071580971376 0 0 -1 1 0 0 0 0 0 6293624 6294260 15007744 140735153874102 140735153874225 140735153874225 140735153876943 0
[pid=9232/tid=9251] ppid=9207 vsize=8068220 memory=201920 CPUtime=0 cores=1,3,5,7
/proc/9232/task/9251/stat : 9251 (java) S 9207 9207 8231 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 19 0 231144936 8261857280 29894 33554432000 4194304 4196468 140735153865680 140391273709744 140393989702813 0 4 2 25189581 18446744071580971376 0 0 -1 5 0 0 0 0 0 6293624 6294260 15007744 140735153874102 140735153874225 140735153874225 140735153876943 0
[pid=9232/tid=9252] ppid=9207 vsize=8068220 memory=8564 CPUtime=0 cores=1,3,5,7
/proc/9232/task/9252/stat : 9252 (java) S 9207 9207 8231 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 19 0 231144938 8261857280 29894 33554432000 4194304 4196468 140735153865680 140390871064224 140393989691093 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15007744 140735153874102 140735153874225 140735153874225 140735153876943 0
Current children cumulated CPU time: 2520 s
Current children cumulated vsize: 8435688 KiB
Current children cumulated memory: 337304 KiB

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

[startup+2498.12 s]
# the end of solver process 9207 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=65.3576 s, system=1.67956 s

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

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

[startup+2498.11 s]
/proc/loadavg: 1.18 1.78 1.97 2/201 9398
/proc/meminfo: memFree=15603412/32770624 swapFree=67108792/67108860
[pid=9207] ppid=9204 vsize=113128 memory=1472 CPUtime=67.02 cores=1,3,5,7
/proc/9207/stat : 9207 (scop.sh) S 9204 9207 8231 0 -1 4202496 591 56313 0 0 0 0 6535 167 20 0 1 0 231140161 115843072 368 33554432000 4194304 5098028 140730317455008 140730317451752 140346708193916 0 65536 4100 81923 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 33767424 140730317460545 140730317460743 140730317460743 140730317463501 0
/proc/9207/statm: 28282 368 311 221 0 87 0
[pid=9232] ppid=9207 vsize=8068220 memory=119576 CPUtime=2.69 cores=1,3,5,7
/proc/9232/stat : 9232 (java) S 9207 9207 8231 0 -1 1077944320 19315 0 0 0 193 76 0 0 20 0 19 0 231144860 8261857280 29894 33554432000 4194304 4196468 140735153865680 140735153848224 140393989680887 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 15007744 140735153874102 140735153874225 140735153874225 140735153876943 0
/proc/9232/statm: 2017055 29894 3139 1 0 1978454 0
[pid=9247] ppid=9232 vsize=254340 memory=216256 CPUtime=2450.29 cores=1,3,5,7
/proc/9247/stat : 9247 (minisat_release) R 9232 9207 8231 0 -1 4202496 972310 0 0 0 244784 245 0 0 20 0 1 0 231144935 260444160 54064 33554432000 4194304 4308513 140734910696800 140734910693560 4275579 0 4 0 8396802 0 0 0 17 3 0 0 0 0 0 6409496 6410680 19177472 140734910702709 140734910702806 140734910702806 140734910705605 0
/proc/9247/statm: 63585 54064 340 28 0 59825 0
[pid=9232/tid=9233] ppid=9207 vsize=8068220 memory=119576 CPUtime=0.77 cores=1,3,5,7
/proc/9232/task/9233/stat : 9233 (java) S 9207 9207 8231 0 -1 1077944384 15635 0 0 0 73 4 0 0 20 0 19 0 231144861 8261857280 29894 33554432000 4194304 4196468 140735153865680 140393961521040 140393989691093 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15007744 140735153874102 140735153874225 140735153874225 140735153876943 0
[pid=9232/tid=9234] ppid=9207 vsize=8068220 memory=119576 CPUtime=0 cores=1,3,5,7
/proc/9232/task/9234/stat : 9234 (java) S 9207 9207 8231 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 231144862 8261857280 29894 33554432000 4194304 4196468 140735153865680 140393993923728 140393989691093 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15007744 140735153874102 140735153874225 140735153874225 140735153876943 0
[pid=9232/tid=9235] ppid=9207 vsize=8068220 memory=119576 CPUtime=0 cores=1,3,5,7
/proc/9232/task/9235/stat : 9235 (java) S 9207 9207 8231 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 231144862 8261857280 29894 33554432000 4194304 4196468 140735153865680 140393825172496 140393989691093 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15007744 140735153874102 140735153874225 140735153874225 140735153876943 0
[pid=9232/tid=9236] ppid=9207 vsize=8068220 memory=1472 CPUtime=0 cores=1,3,5,7
/proc/9232/task/9236/stat : 9236 (java) S 9207 9207 8231 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 231144862 8261857280 29894 33554432000 4194304 4196468 140735153865680 140393474010000 140393989691093 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15007744 140735153874102 140735153874225 140735153874225 140735153876943 0
[pid=9232/tid=9237] ppid=9207 vsize=8068220 memory=1472 CPUtime=0 cores=1,3,5,7
/proc/9232/task/9237/stat : 9237 (java) S 9207 9207 8231 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 231144862 8261857280 29894 33554432000 4194304 4196468 140735153865680 140393472957200 140393989691093 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15007744 140735153874102 140735153874225 140735153874225 140735153876943 0
[pid=9232/tid=9238] ppid=9207 vsize=8068220 memory=119576 CPUtime=0.05 cores=1,3,5,7
/proc/9232/task/9238/stat : 9238 (java) S 9207 9207 8231 0 -1 1077944384 5 0 0 0 2 3 0 0 20 0 19 0 231144863 8261857280 29894 33554432000 4194304 4196468 140735153865680 140393301834096 140393989692034 0 0 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15007744 140735153874102 140735153874225 140735153874225 140735153876943 0
[pid=9232/tid=9239] ppid=9207 vsize=8068220 memory=119576 CPUtime=0 cores=1,3,5,7
/proc/9232/task/9239/stat : 9239 (java) S 9207 9207 8231 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 231144864 8261857280 29894 33554432000 4194304 4196468 140735153865680 140392817222688 140393989691093 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15007744 140735153874102 140735153874225 140735153874225 140735153876943 0
[pid=9232/tid=9240] ppid=9207 vsize=8068220 memory=3892 CPUtime=0 cores=1,3,5,7
/proc/9232/task/9240/stat : 9240 (java) S 9207 9207 8231 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 231144864 8261857280 29894 33554432000 4194304 4196468 140735153865680 140392548787056 140393989691093 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15007744 140735153874102 140735153874225 140735153874225 140735153876943 0
[pid=9232/tid=9241] ppid=9207 vsize=8068220 memory=119576 CPUtime=0 cores=1,3,5,7
/proc/9232/task/9241/stat : 9241 (java) S 9207 9207 8231 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 231144866 8261857280 29894 33554432000 4194304 4196468 140735153865680 140392174278480 140393989699483 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15007744 140735153874102 140735153874225 140735153874225 140735153876943 0
[pid=9232/tid=9242] ppid=9207 vsize=8068220 memory=1472 CPUtime=0.11 cores=1,3,5,7
/proc/9232/task/9242/stat : 9242 (java) S 9207 9207 8231 0 -1 1077944384 571 0 0 0 10 1 0 0 20 0 19 0 231144866 8261857280 29894 33554432000 4194304 4196468 140735153865680 140393300781936 140393989692034 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15007744 140735153874102 140735153874225 140735153874225 140735153876943 0
[pid=9232/tid=9243] ppid=9207 vsize=8068220 memory=1472 CPUtime=0.15 cores=1,3,5,7
/proc/9232/task/9243/stat : 9243 (java) S 9207 9207 8231 0 -1 1077944384 756 0 0 0 14 1 0 0 20 0 19 0 231144866 8261857280 29894 33554432000 4194304 4196468 140735153865680 140393299729136 140393989692034 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15007744 140735153874102 140735153874225 140735153874225 140735153876943 0
[pid=9232/tid=9244] ppid=9207 vsize=8068220 memory=119576 CPUtime=0.22 cores=1,3,5,7
/proc/9232/task/9244/stat : 9244 (java) S 9207 9207 8231 0 -1 1077944384 803 0 0 0 22 0 0 0 20 0 19 0 231144866 8261857280 29894 33554432000 4194304 4196468 140735153865680 140393298676336 140393989692034 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15007744 140735153874102 140735153874225 140735153874225 140735153876943 0
[pid=9232/tid=9245] ppid=9207 vsize=8068220 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9232/task/9245/stat : 9245 (java) S 9207 9207 8231 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 231144867 8261857280 29894 33554432000 4194304 4196468 140735153865680 140391676373728 140393989691093 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15007744 140735153874102 140735153874225 140735153874225 140735153876943 0
[pid=9232/tid=9246] ppid=9207 vsize=8068220 memory=8243114992657236055 CPUtime=1.32 cores=1,3,5,7
/proc/9232/task/9246/stat : 9246 (java) S 9207 9207 8231 0 -1 1077944384 165 0 0 0 63 69 0 0 20 0 19 0 231144867 8261857280 29894 33554432000 4194304 4196468 140735153865680 140393297623728 140393989692034 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15007744 140735153874102 140735153874225 140735153874225 140735153876943 0
[pid=9232/tid=9248] ppid=9207 vsize=8068220 memory=119576 CPUtime=0 cores=1,3,5,7
/proc/9232/task/9248/stat : 9248 (java) S 9207 9207 8231 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 231144936 8261857280 29894 33554432000 4194304 4196468 140735153865680 140393289815232 140393989705497 0 4 2 25189581 18446744071579417331 0 0 -1 5 0 0 0 0 0 6293624 6294260 15007744 140735153874102 140735153874225 140735153874225 140735153876943 0
[pid=9232/tid=9250] ppid=9207 vsize=8068220 memory=208064 CPUtime=0 cores=1,3,5,7
/proc/9232/task/9250/stat : 9250 (java) S 9207 9207 8231 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 231144936 8261857280 29894 33554432000 4194304 4196468 140735153865680 140391139487024 140393989702813 0 4 2 25189581 18446744071580971376 0 0 -1 1 0 0 0 0 0 6293624 6294260 15007744 140735153874102 140735153874225 140735153874225 140735153876943 0
[pid=9232/tid=9251] ppid=9207 vsize=8068220 memory=201920 CPUtime=0 cores=1,3,5,7
/proc/9232/task/9251/stat : 9251 (java) S 9207 9207 8231 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 19 0 231144936 8261857280 29894 33554432000 4194304 4196468 140735153865680 140391273709744 140393989702813 0 4 2 25189581 18446744071580971376 0 0 -1 5 0 0 0 0 0 6293624 6294260 15007744 140735153874102 140735153874225 140735153874225 140735153876943 0
[pid=9232/tid=9252] ppid=9207 vsize=8068220 memory=8564 CPUtime=0 cores=1,3,5,7
/proc/9232/task/9252/stat : 9252 (java) S 9207 9207 8231 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 19 0 231144938 8261857280 29894 33554432000 4194304 4196468 140735153865680 140390871064224 140393989691093 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15007744 140735153874102 140735153874225 140735153874225 140735153876943 0
Current children cumulated CPU time: 2520 s
Current children cumulated vsize: 8435688 KiB
Current children cumulated memory: 337304 KiB

Child status: 1
Real time (s): 2498.13
CPU time (s): 2520.06
CPU user time (s): 2515.15
CPU system time (s): 4.91566
CPU usage (%): 100.878
Max. virtual memory (cumulated for all children) (KiB): 15142280
Max. memory (cumulated for all children) (KiB): 3916356

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2515.15
system time used= 4.91566
maximum resident set size= 3914960
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1049090
page faults= 0
swaps= 0
block input operations= 0
block output operations= 35624
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 60965
involuntary context switches= 781


# summary of solver processes directly reported to runsolver:
#   pid: 9207,9232
#   total CPU time (s): 2520.06
#   total CPU user time (s): 2515.15
#   total CPU system time (s): 4.91566

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 15.8134 second user time and 28.936 second system time

The end

Launcher Data 

Begin job on node150 at 2018-08-13 06:49:29
IDJOB=4305621
IDBENCH=141658
IDSOLVER=2783
FILE ID=node150/4305621-1534135769
RUNJOBID= node150-1534130664-8263
PBS_JOBID= 21037012
Free space on /tmp= 35020 MiB

SOLVER NAME= scop both+MapleCOMSPS (2018-07-31)
BENCH NAME= XCSP18/Eternity/Eternity-10-10_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-4305621-1534135769/watcher-4305621-1534135769 -o /tmp/evaluation-result-4305621-1534135769/solver-4305621-1534135769 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node150-1534130664-8263 --watchdog 2580  scop.sh 11g scop.jar -both minisat_release default HOME HOME/instance-4305621-1534135769.xml

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

MD5SUM BENCH= a3eb34d1d913b6993c7392d3f708e375
RANDOM SEED=51528972

node150.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.76
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.76
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.76
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.76
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:        15693164 kB
MemAvailable:   31671200 kB
Buffers:          230940 kB
Cached:         15810448 kB
SwapCached:           32 kB
Active:          8202228 kB
Inactive:        8128584 kB
Active(anon):     240096 kB
Inactive(anon):   101220 kB
Active(file):    7962132 kB
Inactive(file):  8027364 kB
Unevictable:        7736 kB
Mlocked:            7736 kB
SwapTotal:      67108860 kB
SwapFree:       67108792 kB
Dirty:              8200 kB
Writeback:             0 kB
AnonPages:        388628 kB
Mapped:            65588 kB
Shmem:             49732 kB
Slab:             445224 kB
SReclaimable:     417000 kB
SUnreclaim:        28224 kB
KernelStack:        4000 kB
PageTables:         5704 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    5968528 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    231424 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      126336 kB
DirectMap2M:    33419264 kB

Free space on /tmp at the end= 35028 MiB
End job on node150 at 2018-08-13 07:31:07