Trace number 4305388

Some explanations

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

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

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

Solver answer on this benchmark

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

General information on the benchmark

NameEternity/
Eternity-13-13_c18.xml
MD5SUMe6142002f41530755715c5642d221a51
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 variables533
Number of constraints222
Number of domains2
Minimum domain size19
Maximum domain size169
Distribution of domain sizes[{"size":19,"count":364},{"size":169,"count":169}]
Minimum variable degree1
Maximum variable degree14
Distribution of variable degrees[{"degree":1,"count":12},{"degree":2,"count":520},{"degree":14,"count":1}]
Minimum constraint arity1
Maximum constraint arity169
Distribution of constraint arities[{"arity":1,"count":52},{"arity":5,"count":169},{"arity":169,"count":1}]
Number of extensional constraints169
Number of intensional constraints52
Distribution of constraint types[{"type":"extension","count":169},{"type":"intension","count":52},{"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 -order -solver minisat_release -solverOption default -tmp HOME -serialFile HOME/scop-4954-serial-file.bin HOME/instance-4305388-1534133317.xml
0.54/0.51	
0.54/0.51	scop order+minisat_release (2018-07-31)
0.54/0.52	(Encoding Process)
0.54/0.52	
0.66/0.54	c BEGIN-Prog: Mon Aug 13 06:08:37 CEST 2018
0.66/0.54	c PID: 4957
0.66/0.54	c IP: 172.20.3.137
0.66/0.54	c HOST: node137.alineos.net
0.66/0.55	c (0,0) Parsing Begin
3.21/1.43	c (0,0) Parsing End
3.21/1.44	c (0,0) CSP: 533 int (0 aux), 0 bool (0 aux), 222 ctr, max domain size 169
3.21/1.44	c (0,0) Heap : 281 MiB used (max 10795 MiB), NonHeap : 21 MiB used (max 0 MiB)
3.21/1.44	c (0,0) Constraint Name Generate Begin
3.21/1.45	c (0,0) Ctr:HOME/instance-4305388-1534133317.xml,AllDifferent:Eq:ExtensionSupport:IntVar:Num
3.21/1.45	c (0,0) Constraint Name Generate End
3.21/1.45	c (0,0) Heap : 281 MiB used (max 10795 MiB), NonHeap : 21 MiB used (max 0 MiB)
3.21/1.45	c (0,0) CSP to CSPinCNF Begin
24.89/14.11	c (13,13) translated 23 (10%) constraints
37.24/25.23	c (24,24) translated 45 (20%) constraints
49.09/36.22	c (35,34) translated 67 (30%) constraints
62.43/47.59	c (47,45) translated 89 (40%) constraints
76.16/59.04	c (58,56) translated 111 (50%) constraints
88.59/70.52	c (69,67) translated 134 (60%) constraints
101.05/81.67	c (81,78) translated 156 (70%) constraints
108.89/89.10	c (88,85) translated 178 (80%) constraints
108.89/89.10	c (88,85) translated 200 (90%) constraints
108.89/89.11	c (88,85) translated 222 (100%) constraints
114.03/92.88	c (92,88) STATISTICS1:HOME/instance-4305388-1534133317.xml,AllDifferent:Eq:ExtensionSupport:IntVar:Num,169533,1085203,169,169,170,2,169:14196,169:85514;19:1278264;2:1853761;1:106574,170:169;169:2;5:20111;4:450892;3:163085;2:450892;1:52,2:14196;1:3295773;0:169,
114.03/92.88	c (92,88) ==========================================
114.03/92.88	c (92,88) Order
114.03/92.88	c (92,88) ==========================================
117.83/94.86	c (94,90) translated 108521 (10%) constraints
119.45/96.46	c (95,92) translated 217041 (20%) constraints
121.06/98.05	c (97,94) translated 325561 (30%) constraints
123.33/99.81	c (99,95) translated 434082 (40%) constraints
124.93/101.41	c (100,97) translated 542602 (50%) constraints
126.44/103.00	c (102,98) translated 651122 (60%) constraints
128.04/104.59	c (104,100) translated 759643 (70%) constraints
129.65/106.18	c (105,102) translated 868163 (80%) constraints
132.72/108.13	c (107,103) translated 976683 (90%) constraints
134.31/109.73	c (109,105) translated 1085203 (100%) constraints
134.31/109.73	c (109,105) CSP to CSPinCNF End
134.31/109.79	c (109,105) CSP: 533 int (0 aux), 169000 bool (169000 aux), 1085255 ctr, max domain size 169
134.31/109.79	c (109,105) Heap : 2430 MiB used (max 10822 MiB), NonHeap : 30 MiB used (max 0 MiB)
134.31/109.79	c (109,105) CSPinCNF Propagation Begin
165.52/135.22	c (134,129) 37797 values, 198899 unsatisfiable literals, and 218668 valid clauses are removed
165.52/135.22	c (134,129) CSPinCNF Propagation End
165.52/135.28	c (134,129) CSP: 32346 int (31813 aux), 137187 bool (137187 aux), 866587 ctr, max domain size 169
165.52/135.28	c (134,129) Heap : 3548 MiB used (max 10848 MiB), NonHeap : 31 MiB used (max 0 MiB)
165.52/135.28	c (134,129) Simplify CSPinCNF Begin
168.15/136.96	c (136,130) Simplify CSPinCNF End
168.26/137.02	c (136,130) CSP: 32346 int (31813 aux), 165579 bool (165579 aux), 894979 ctr, max domain size 169
168.26/137.02	c (136,130) Heap : 4486 MiB used (max 10848 MiB), NonHeap : 31 MiB used (max 0 MiB)
168.26/137.02	c (136,130) Calculate Precise Domain Begin
168.26/137.02	c (136,130) 0 values are removed by re-calculation
168.26/137.02	c (136,130) Calculate Precise Domain End
168.26/137.08	c (136,131) CSP: 32346 int (31813 aux), 165579 bool (165579 aux), 894979 ctr, max domain size 169
168.26/137.08	c (136,131) Heap : 4486 MiB used (max 10848 MiB), NonHeap : 31 MiB used (max 0 MiB)
168.26/137.08	c (136,131) CSPinCNF to SatSolver Begin
181.16/147.09	c (146,139) 89498 (10 %) CSP clauses are encoded (193603 SAT variables, 3149776 SAT clauses)
181.69/147.56	c (147,139) 178996 (20 %) CSP clauses are encoded (193603 SAT variables, 3239274 SAT clauses)
182.19/148.03	c (147,140) 268494 (30 %) CSP clauses are encoded (193603 SAT variables, 3328772 SAT clauses)
182.71/148.50	c (147,140) 357992 (40 %) CSP clauses are encoded (193603 SAT variables, 3418270 SAT clauses)
183.11/148.97	c (148,140) 447490 (50 %) CSP clauses are encoded (193603 SAT variables, 3507768 SAT clauses)
183.61/149.43	c (148,141) 536988 (60 %) CSP clauses are encoded (193603 SAT variables, 3597266 SAT clauses)
184.11/149.90	c (149,141) 626486 (70 %) CSP clauses are encoded (193603 SAT variables, 3686764 SAT clauses)
184.51/150.37	c (149,142) 715984 (80 %) CSP clauses are encoded (193603 SAT variables, 3776262 SAT clauses)
185.04/151.02	c (150,142) 805482 (90 %) CSP clauses are encoded (193603 SAT variables, 3865760 SAT clauses)
185.42/151.49	c (150,143) 894979 (100 %) CSP clauses are encoded (193603 SAT variables, 3955257 SAT clauses)
185.42/151.49	c (150,143) Launch Command will be: minisat_release
185.42/151.49	c (150,143) CSPinCNF to SatSolver End
185.42/151.49	c (150,143) Heap : 4634 MiB used (max 10835 MiB), NonHeap : 31 MiB used (max 0 MiB)
188.50/153.86	c (153,145) STATISTICS2:HOME/instance-4305388-1534133317.xml,AllDifferent:Eq:ExtensionSupport:IntVar:Num,197925,894979,169,169,169,2,169:14520;48:12540;4:1332,169:81554;48:18964;19:1091342;4:1372;2:1521853,169:122;121:1;48:44;5:14795;4:350101;3:129631;2:400285,2:28392;1:2658301,
188.50/153.86	c (153,145) 193603 bool, 3955258 clause
188.50/153.86	c (153,145) Export Begin
188.62/153.98	c (153,145) Export to HOME/scop-4954-serial-file.bin
188.62/153.98	c (153,145) Export End
188.62/153.98	c (153,145) Export File Size: 0.11 MB
188.62/153.98	c (153,145) 0,0,109,134,136,136,150,STOP-AFTER(DIMACS)
188.62/153.98	c END-Prog: Mon Aug 13 06:11:11 CEST 2018
0.00/154.02	c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp scop.jar fun.scop.XCSP18Solve HOME/scop-4954-serial-file.bin
188.86/154.52	c (0,0) Read Serial File Begin
188.86/154.52	c (0,0) HOME/scop-4954-serial-file.bin
188.86/154.73	c (0,0) Read Serial File End
188.86/154.75	
188.86/154.75	scop order+minisat_release (2018-07-31)
188.86/154.75	(Solving Process)
188.86/154.75	
188.86/154.77	c BEGIN-Prog: Mon Aug 13 06:11:11 CEST 2018
188.86/154.77	c PID: 4982
188.86/154.77	c IP: 172.20.3.137
188.86/154.77	c HOST: node137.alineos.net
188.86/154.77	c (0,0) SatSolver.solve Begin
188.86/154.77	c (0,0) 0 bool, 0 clause
188.86/154.77	c (0,0) minisat_release HOME/instance-4305388-1534133317.xml-scop-4957.cnf
2520.09/2483.30	c (2328,0) receiving signal SIGTERM
2520.09/2483.30	s UNKNOWN
2520.09/2483.31	c (scop.sh) Receiving Signal. Removing all intermediate files.
2520.09/2483.31	c (scop.sh) Remove HOME/scop-4954-serial-file.bin.
2520.09/2483.31	c (scop.sh) Killing background jobs.
2520.09/2483.31	c (2328,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 (11798 MiB free)
  memory of node 1: 16384 MiB (11094 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4305388-1534133317/watcher-4305388-1534133317 -o /tmp/evaluation-result-4305388-1534133317/solver-4305388-1534133317 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node137-1534130784-3992 --watchdog 2580 scop.sh 11g scop.jar -order minisat_release default HOME HOME/instance-4305388-1534133317.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
Current StackSize limit: 8192 KiB

solver pid=4954, runsolver pid=4951

[startup+0.10014 s]*
/proc/loadavg: 2.21 2.07 1.97 3/222 4971
/proc/meminfo: memFree=23384084/32770624 swapFree=67108372/67108860
[pid=4954] ppid=4951 vsize=113128 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/4954/stat : 4954 (scop.sh) S 4951 4954 3960 0 -1 4202496 559 321 0 0 0 0 0 0 20 0 1 0 230894831 115843072 349 33554432000 4194304 5098028 140727437336768 140727437334024 139969240203900 0 65536 4100 81923 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 26120192 140727437341760 140727437341959 140727437341959 140727437344717 0
/proc/4954/statm: 28282 349 296 221 0 87 0
[pid=4957] ppid=4954 vsize=15012476 memory=70180 CPUtime=0.11 cores=1,3,5,7
/proc/4957/stat : 4957 (java) S 4954 4954 3960 0 -1 1077944320 6687 0 0 0 10 1 0 0 20 0 15 0 230894832 15372775424 17545 33554432000 4194304 4196468 140720422374592 140720422357136 140232748031735 0 0 2 16800973 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 20959232 140720422376455 140720422376753 140720422376753 140720422379471 0
/proc/4957/statm: 3753119 17545 2771 1 0 3715579 0
[pid=4957/tid=4958] ppid=4954 vsize=15012476 memory=-2843873993432024222 CPUtime=0.09 cores=1,3,5,7
/proc/4957/task/4958/stat : 4958 (java) R 4954 4954 3960 0 -1 4202560 5003 0 0 0 8 1 0 0 20 0 15 0 230894832 15372775424 17809 33554432000 4194304 4196468 140720422374592 140232719808816 140232728297529 0 4 2 16800973 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 20959232 140720422376455 140720422376753 140720422376753 140720422379471 0
[pid=4957/tid=4959] ppid=4954 vsize=15012476 memory=8303054830060986464 CPUtime=0 cores=1,3,5,7
/proc/4957/task/4959/stat : 4959 (java) S 4954 4954 3960 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 230894834 15372775424 17809 33554432000 4194304 4196468 140720422374592 140232752273936 140232748041941 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20959232 140720422376455 140720422376753 140720422376753 140720422379471 0
[pid=4957/tid=4960] ppid=4954 vsize=15012476 memory=140254600775296 CPUtime=0 cores=1,3,5,7
/proc/4957/task/4960/stat : 4960 (java) S 4954 4954 3960 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 230894834 15372775424 17809 33554432000 4194304 4196468 140720422374592 140232566430352 140232748041941 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20959232 140720422376455 140720422376753 140720422376753 140720422379471 0
[pid=4957/tid=4961] ppid=4954 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4957/task/4961/stat : 4961 (java) S 4954 4954 3960 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 230894834 15372775424 17809 33554432000 4194304 4196468 140720422374592 140232565377296 140232748041941 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20959232 140720422376455 140720422376753 140720422376753 140720422379471 0
[pid=4957/tid=4962] ppid=4954 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/4957/task/4962/stat : 4962 (java) S 4954 4954 3960 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 230894834 15372775424 17809 33554432000 4194304 4196468 140720422374592 140232564324752 140232748041941 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20959232 140720422376455 140720422376753 140720422376753 140720422379471 0
[pid=4957/tid=4963] ppid=4954 vsize=15012476 memory=140254600775296 CPUtime=0 cores=1,3,5,7
/proc/4957/task/4963/stat : 4963 (java) S 4954 4954 3960 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 230894835 15372775424 17809 33554432000 4194304 4196468 140720422374592 140231583967984 140232748042882 0 0 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20959232 140720422376455 140720422376753 140720422376753 140720422379471 0
[pid=4957/tid=4964] ppid=4954 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/4957/task/4964/stat : 4964 (java) S 4954 4954 3960 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 230894836 15372775424 17809 33554432000 4194304 4196468 140720422374592 140231353296544 140232748041941 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20959232 140720422376455 140720422376753 140720422376753 140720422379471 0
[pid=4957/tid=4965] ppid=4954 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4957/task/4965/stat : 4965 (java) S 4954 4954 3960 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 230894836 15372775424 17809 33554432000 4194304 4196468 140720422374592 140231219074288 140232748041941 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20959232 140720422376455 140720422376753 140720422376753 140720422379471 0
[pid=4957/tid=4966] ppid=4954 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4957/task/4966/stat : 4966 (java) S 4954 4954 3960 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 230894838 15372775424 17809 33554432000 4194304 4196468 140720422374592 140230844570064 140232748050331 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20959232 140720422376455 140720422376753 140720422376753 140720422379471 0
[pid=4957/tid=4967] ppid=4954 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4957/task/4967/stat : 4967 (java) S 4954 4954 3960 0 -1 1077944384 306 0 0 0 0 0 0 0 20 0 15 0 230894838 15372775424 17809 33554432000 4194304 4196468 140720422374592 140231582914800 140232748042882 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20959232 140720422376455 140720422376753 140720422376753 140720422379471 0
[pid=4957/tid=4968] ppid=4954 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/4957/task/4968/stat : 4968 (java) S 4954 4954 3960 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 230894838 15372775424 17809 33554432000 4194304 4196468 140720422374592 140231581862256 140232748042882 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20959232 140720422376455 140720422376753 140720422376753 140720422379471 0
[pid=4957/tid=4969] ppid=4954 vsize=15012476 memory=140254600775296 CPUtime=0.01 cores=1,3,5,7
/proc/4957/task/4969/stat : 4969 (java) S 4954 4954 3960 0 -1 1077944384 272 0 0 0 1 0 0 0 20 0 15 0 230894838 15372775424 17875 33554432000 4194304 4196468 140720422374592 140231580809200 140232748042882 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20959232 140720422376455 140720422376753 140720422376753 140720422379471 0
[pid=4957/tid=4970] ppid=4954 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/4957/task/4970/stat : 4970 (java) S 4954 4954 3960 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 230894838 15372775424 17875 33554432000 4194304 4196468 140720422374592 140230346664288 140232748041941 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20959232 140720422376455 140720422376753 140720422376753 140720422379471 0
[pid=4957/tid=4971] ppid=4954 vsize=15012476 memory=140254600775296 CPUtime=0 cores=1,3,5,7
/proc/4957/task/4971/stat : 4971 (java) S 4954 4954 3960 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 230894839 15372775424 17875 33554432000 4194304 4196468 140720422374592 140231579757616 140232748042882 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20959232 140720422376455 140720422376753 140720422376753 140720422379471 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 15125604 KiB
Current children cumulated memory: 71576 KiB

[startup+0.210642 s]*
/proc/loadavg: 2.21 2.07 1.97 3/222 4971
/proc/meminfo: memFree=23369884/32770624 swapFree=67108372/67108860
[pid=4954] ppid=4951 vsize=113128 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/4954/stat : 4954 (scop.sh) S 4951 4954 3960 0 -1 4202496 559 321 0 0 0 0 0 0 20 0 1 0 230894831 115843072 349 33554432000 4194304 5098028 140727437336768 140727437334024 139969240203900 0 65536 4100 81923 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 26120192 140727437341760 140727437341959 140727437341959 140727437344717 0
/proc/4954/statm: 28282 349 296 221 0 87 0
[pid=4957] ppid=4954 vsize=15012476 memory=83488 CPUtime=0.25 cores=1,3,5,7
/proc/4957/stat : 4957 (java) S 4954 4954 3960 0 -1 1077944320 10297 0 0 0 23 2 0 0 20 0 15 0 230894832 15372775424 20872 33554432000 4194304 4196468 140720422374592 140720422357136 140232748031735 0 0 2 16800973 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 20959232 140720422376455 140720422376753 140720422376753 140720422379471 0
/proc/4957/statm: 3753119 20872 2871 1 0 3715579 0
[pid=4957/tid=4958] ppid=4954 vsize=15012476 memory=7022364632946311227 CPUtime=0.2 cores=1,3,5,7
/proc/4957/task/4958/stat : 4958 (java) R 4954 4954 3960 0 -1 4202560 8179 0 0 0 18 2 0 0 20 0 15 0 230894832 15372775424 20872 33554432000 4194304 4196468 140720422374592 140232719858128 140232242572570 0 4 2 16800973 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 20959232 140720422376455 140720422376753 140720422376753 140720422379471 0
[pid=4957/tid=4959] ppid=4954 vsize=15012476 memory=404 CPUtime=0 cores=1,3,5,7
/proc/4957/task/4959/stat : 4959 (java) S 4954 4954 3960 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 230894834 15372775424 20872 33554432000 4194304 4196468 140720422374592 140232752273936 140232748041941 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20959232 140720422376455 140720422376753 140720422376753 140720422379471 0
[pid=4957/tid=4960] ppid=4954 vsize=15012476 memory=140254600790862 CPUtime=0 cores=1,3,5,7
/proc/4957/task/4960/stat : 4960 (java) S 4954 4954 3960 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 230894834 15372775424 20872 33554432000 4194304 4196468 140720422374592 140232566430352 140232748041941 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20959232 140720422376455 140720422376753 140720422376753 140720422379471 0
[pid=4957/tid=4961] ppid=4954 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4957/task/4961/stat : 4961 (java) S 4954 4954 3960 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 230894834 15372775424 20872 33554432000 4194304 4196468 140720422374592 140232565377296 140232748041941 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20959232 140720422376455 140720422376753 140720422376753 140720422379471 0
[pid=4957/tid=4962] ppid=4954 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/4957/task/4962/stat : 4962 (java) S 4954 4954 3960 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 230894834 15372775424 20872 33554432000 4194304 4196468 140720422374592 140232564324752 140232748041941 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20959232 140720422376455 140720422376753 140720422376753 140720422379471 0
[pid=4957/tid=4963] ppid=4954 vsize=15012476 memory=140254600775296 CPUtime=0 cores=1,3,5,7
/proc/4957/task/4963/stat : 4963 (java) S 4954 4954 3960 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 230894835 15372775424 20872 33554432000 4194304 4196468 140720422374592 140231583967984 140232748042882 0 0 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20959232 140720422376455 140720422376753 140720422376753 140720422379471 0
[pid=4957/tid=4964] ppid=4954 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/4957/task/4964/stat : 4964 (java) S 4954 4954 3960 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 230894836 15372775424 20872 33554432000 4194304 4196468 140720422374592 140231353296544 140232748041941 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20959232 140720422376455 140720422376753 140720422376753 140720422379471 0
[pid=4957/tid=4965] ppid=4954 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4957/task/4965/stat : 4965 (java) S 4954 4954 3960 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 230894836 15372775424 20872 33554432000 4194304 4196468 140720422374592 140231219074288 140232748041941 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20959232 140720422376455 140720422376753 140720422376753 140720422379471 0
[pid=4957/tid=4966] ppid=4954 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4957/task/4966/stat : 4966 (java) S 4954 4954 3960 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 230894838 15372775424 20872 33554432000 4194304 4196468 140720422374592 140230844570064 140232748050331 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20959232 140720422376455 140720422376753 140720422376753 140720422379471 0
[pid=4957/tid=4967] ppid=4954 vsize=15012476 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/4957/task/4967/stat : 4967 (java) R 4954 4954 3960 0 -1 4202560 440 0 0 0 1 0 0 0 20 0 15 0 230894838 15372775424 20872 33554432000 4194304 4196468 140720422374592 140231582914800 140232731927747 0 4 2 16800973 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 20959232 140720422376455 140720422376753 140720422376753 140720422379471 0
[pid=4957/tid=4968] ppid=4954 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/4957/task/4968/stat : 4968 (java) R 4954 4954 3960 0 -1 4202560 46 0 0 0 0 0 0 0 20 0 15 0 230894838 15372775424 20872 33554432000 4194304 4196468 140720422374592 140231581848800 140232725899552 0 4 2 16800973 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 20959232 140720422376455 140720422376753 140720422376753 140720422379471 0
[pid=4957/tid=4969] ppid=4954 vsize=15012476 memory=140254600775296 CPUtime=0.03 cores=1,3,5,7
/proc/4957/task/4969/stat : 4969 (java) R 4954 4954 3960 0 -1 1077944384 294 0 0 0 3 0 0 0 20 0 15 0 230894838 15372775424 20872 33554432000 4194304 4196468 140720422374592 140231580809200 140232748042882 0 4 2 16800973 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 20959232 140720422376455 140720422376753 140720422376753 140720422379471 0
[pid=4957/tid=4970] ppid=4954 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/4957/task/4970/stat : 4970 (java) S 4954 4954 3960 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 230894838 15372775424 20872 33554432000 4194304 4196468 140720422374592 140230346664288 140232748041941 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20959232 140720422376455 140720422376753 140720422376753 140720422379471 0
[pid=4957/tid=4971] ppid=4954 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4957/task/4971/stat : 4971 (java) S 4954 4954 3960 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 230894839 15372775424 20872 33554432000 4194304 4196468 140720422374592 140231579757616 140232748042882 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20959232 140720422376455 140720422376753 140720422376753 140720422379471 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 15125604 KiB
Current children cumulated memory: 84884 KiB

[startup+0.310694 s]*
/proc/loadavg: 2.21 2.07 1.97 3/222 4971
/proc/meminfo: memFree=23366224/32770624 swapFree=67108372/67108860
[pid=4954] ppid=4951 vsize=113128 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/4954/stat : 4954 (scop.sh) S 4951 4954 3960 0 -1 4202496 559 321 0 0 0 0 0 0 20 0 1 0 230894831 115843072 349 33554432000 4194304 5098028 140727437336768 140727437334024 139969240203900 0 65536 4100 81923 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 26120192 140727437341760 140727437341959 140727437341959 140727437344717 0
/proc/4954/statm: 28282 349 296 221 0 87 0
[pid=4957] ppid=4954 vsize=15012476 memory=87888 CPUtime=0.42 cores=1,3,5,7
/proc/4957/stat : 4957 (java) S 4954 4954 3960 0 -1 1077944320 10906 0 0 0 40 2 0 0 20 0 15 0 230894832 15372775424 21972 33554432000 4194304 4196468 140720422374592 140720422357136 140232748031735 0 0 2 16800973 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 20959232 140720422376455 140720422376753 140720422376753 140720422379471 0
/proc/4957/statm: 3753119 21972 3022 1 0 3715579 0
[pid=4957/tid=4958] ppid=4954 vsize=15012476 memory=8112282956445269571 CPUtime=0.3 cores=1,3,5,7
/proc/4957/task/4958/stat : 4958 (java) R 4954 4954 3960 0 -1 4202560 8618 0 0 0 28 2 0 0 20 0 15 0 230894832 15372775424 21972 33554432000 4194304 4196468 140720422374592 140232719862064 140232732112222 0 4 2 16800973 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 20959232 140720422376455 140720422376753 140720422376753 140720422379471 0
[pid=4957/tid=4959] ppid=4954 vsize=15012476 memory=4126316290023845779 CPUtime=0 cores=1,3,5,7
/proc/4957/task/4959/stat : 4959 (java) S 4954 4954 3960 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 230894834 15372775424 21972 33554432000 4194304 4196468 140720422374592 140232752273936 140232748041941 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20959232 140720422376455 140720422376753 140720422376753 140720422379471 0
[pid=4957/tid=4960] ppid=4954 vsize=15012476 memory=-2026666227646604569 CPUtime=0 cores=1,3,5,7
/proc/4957/task/4960/stat : 4960 (java) S 4954 4954 3960 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 230894834 15372775424 21972 33554432000 4194304 4196468 140720422374592 140232566430352 140232748041941 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20959232 140720422376455 140720422376753 140720422376753 140720422379471 0
[pid=4957/tid=4961] ppid=4954 vsize=15012476 memory=7089317150647820184 CPUtime=0 cores=1,3,5,7
/proc/4957/task/4961/stat : 4961 (java) S 4954 4954 3960 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 230894834 15372775424 21972 33554432000 4194304 4196468 140720422374592 140232565377296 140232748041941 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20959232 140720422376455 140720422376753 140720422376753 140720422379471 0
[pid=4957/tid=4962] ppid=4954 vsize=15012476 memory=6944657691966988345 CPUtime=0 cores=1,3,5,7
/proc/4957/task/4962/stat : 4962 (java) S 4954 4954 3960 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 230894834 15372775424 21972 33554432000 4194304 4196468 140720422374592 140232564324752 140232748041941 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20959232 140720422376455 140720422376753 140720422376753 140720422379471 0
[pid=4957/tid=4963] ppid=4954 vsize=15012476 memory=4196912344889787449 CPUtime=0 cores=1,3,5,7
/proc/4957/task/4963/stat : 4963 (java) S 4954 4954 3960 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 230894835 15372775424 21972 33554432000 4194304 4196468 140720422374592 140231583967984 140232748042882 0 0 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20959232 140720422376455 140720422376753 140720422376753 140720422379471 0
[pid=4957/tid=4964] ppid=4954 vsize=15012476 memory=3047711566422646390 CPUtime=0 cores=1,3,5,7
/proc/4957/task/4964/stat : 4964 (java) S 4954 4954 3960 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 230894836 15372775424 21972 33554432000 4194304 4196468 140720422374592 140231353296544 140232748041941 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20959232 140720422376455 140720422376753 140720422376753 140720422379471 0
[pid=4957/tid=4965] ppid=4954 vsize=15012476 memory=-6372718397967082684 CPUtime=0 cores=1,3,5,7
/proc/4957/task/4965/stat : 4965 (java) S 4954 4954 3960 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 230894836 15372775424 21972 33554432000 4194304 4196468 140720422374592 140231219074288 140232748041941 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20959232 140720422376455 140720422376753 140720422376753 140720422379471 0
[pid=4957/tid=4966] ppid=4954 vsize=15012476 memory=8325818968683490714 CPUtime=0 cores=1,3,5,7
/proc/4957/task/4966/stat : 4966 (java) S 4954 4954 3960 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 230894838 15372775424 21972 33554432000 4194304 4196468 140720422374592 140230844570064 140232748050331 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20959232 140720422376455 140720422376753 140720422376753 140720422379471 0
[pid=4957/tid=4967] ppid=4954 vsize=15012476 memory=0 CPUtime=0.03 cores=1,3,5,7
/proc/4957/task/4967/stat : 4967 (java) R 4954 4954 3960 0 -1 1077944384 542 0 0 0 3 0 0 0 20 0 15 0 230894838 15372775424 21972 33554432000 4194304 4196468 140720422374592 140231582914800 140232748042882 0 4 2 16800973 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 20959232 140720422376455 140720422376753 140720422376753 140720422379471 0
[pid=4957/tid=4968] ppid=4954 vsize=15012476 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/4957/task/4968/stat : 4968 (java) R 4954 4954 3960 0 -1 4202560 72 0 0 0 1 0 0 0 20 0 15 0 230894838 15372775424 21972 33554432000 4194304 4196468 140720422374592 140231581862256 140232727277606 0 4 2 16800973 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 20959232 140720422376455 140720422376753 140720422376753 140720422379471 0
[pid=4957/tid=4969] ppid=4954 vsize=15012476 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/4957/task/4969/stat : 4969 (java) R 4954 4954 3960 0 -1 4202560 332 0 0 0 7 0 0 0 20 0 15 0 230894838 15372775424 21972 33554432000 4194304 4196468 140720422374592 140231580809200 140232726831985 0 4 2 16800973 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 20959232 140720422376455 140720422376753 140720422376753 140720422379471 0
[pid=4957/tid=4970] ppid=4954 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4957/task/4970/stat : 4970 (java) S 4954 4954 3960 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 230894838 15372775424 21972 33554432000 4194304 4196468 140720422374592 140230346664288 140232748041941 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20959232 140720422376455 140720422376753 140720422376753 140720422379471 0
[pid=4957/tid=4971] ppid=4954 vsize=15012476 memory=3472332733063247663 CPUtime=0 cores=1,3,5,7
/proc/4957/task/4971/stat : 4971 (java) S 4954 4954 3960 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 230894839 15372775424 21972 33554432000 4194304 4196468 140720422374592 140231579757616 140232748042882 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20959232 140720422376455 140720422376753 140720422376753 140720422379471 0
Current children cumulated CPU time: 0.42 s
Current children cumulated vsize: 15125604 KiB
Current children cumulated memory: 89284 KiB

[startup+0.700814 s]
/proc/loadavg: 2.21 2.07 1.97 3/222 4971
/proc/meminfo: memFree=23341312/32770624 swapFree=67108372/67108860
[pid=4954] ppid=4951 vsize=113128 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/4954/stat : 4954 (scop.sh) S 4951 4954 3960 0 -1 4202496 559 321 0 0 0 0 0 0 20 0 1 0 230894831 115843072 349 33554432000 4194304 5098028 140727437336768 140727437334024 139969240203900 0 65536 4100 81923 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 26120192 140727437341760 140727437341959 140727437341959 140727437344717 0
/proc/4954/statm: 28282 349 296 221 0 87 0
[pid=4957] ppid=4954 vsize=15018748 memory=129488 CPUtime=1.02 cores=1,3,5,7
/proc/4957/stat : 4957 (java) S 4954 4954 3960 0 -1 1077944320 18045 0 0 0 97 5 0 0 20 0 15 0 230894832 15379197952 32372 33554432000 4194304 4196468 140720422374592 140720422357136 140232748031735 0 0 2 25189581 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 20959232 140720422376455 140720422376753 140720422376753 140720422379471 0
/proc/4957/statm: 3754687 32372 3133 1 0 3716091 0
[pid=4957/tid=4958] ppid=4954 vsize=15018748 memory=2372 CPUtime=0.67 cores=1,3,5,7
/proc/4957/task/4958/stat : 4958 (java) R 4954 4954 3960 0 -1 4202560 15174 0 0 0 63 4 0 0 20 0 15 0 230894832 15379197952 32372 33554432000 4194304 4196468 140720422374592 140232719860960 140232732112222 0 4 2 25189581 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 20959232 140720422376455 140720422376753 140720422376753 140720422379471 0
[pid=4957/tid=4959] ppid=4954 vsize=15018748 memory=116 CPUtime=0 cores=1,3,5,7
/proc/4957/task/4959/stat : 4959 (java) S 4954 4954 3960 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 230894834 15379197952 32372 33554432000 4194304 4196468 140720422374592 140232752273936 140232748041941 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20959232 140720422376455 140720422376753 140720422376753 140720422379471 0
[pid=4957/tid=4960] ppid=4954 vsize=15018748 memory=11742 CPUtime=0 cores=1,3,5,7
/proc/4957/task/4960/stat : 4960 (java) S 4954 4954 3960 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 230894834 15379197952 32372 33554432000 4194304 4196468 140720422374592 140232566430352 140232748041941 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20959232 140720422376455 140720422376753 140720422376753 140720422379471 0
[pid=4957/tid=4961] ppid=4954 vsize=15018748 memory=26079 CPUtime=0 cores=1,3,5,7
/proc/4957/task/4961/stat : 4961 (java) S 4954 4954 3960 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 230894834 15379197952 32372 33554432000 4194304 4196468 140720422374592 140232565377296 140232748041941 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20959232 140720422376455 140720422376753 140720422376753 140720422379471 0
[pid=4957/tid=4962] ppid=4954 vsize=15018748 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4957/task/4962/stat : 4962 (java) S 4954 4954 3960 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 230894834 15379197952 32372 33554432000 4194304 4196468 140720422374592 140232564324752 140232748041941 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20959232 140720422376455 140720422376753 140720422376753 140720422379471 0
[pid=4957/tid=4963] ppid=4954 vsize=15018748 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4957/task/4963/stat : 4963 (java) S 4954 4954 3960 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 230894835 15379197952 32372 33554432000 4194304 4196468 140720422374592 140231583967984 140232748042882 0 0 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20959232 140720422376455 140720422376753 140720422376753 140720422379471 0
[pid=4957/tid=4964] ppid=4954 vsize=15018748 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4957/task/4964/stat : 4964 (java) S 4954 4954 3960 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 230894836 15379197952 32372 33554432000 4194304 4196468 140720422374592 140231353296544 140232748041941 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20959232 140720422376455 140720422376753 140720422376753 140720422379471 0
[pid=4957/tid=4965] ppid=4954 vsize=15018748 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4957/task/4965/stat : 4965 (java) S 4954 4954 3960 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 230894836 15379197952 32372 33554432000 4194304 4196468 140720422374592 140231219074288 140232748041941 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20959232 140720422376455 140720422376753 140720422376753 140720422379471 0
[pid=4957/tid=4966] ppid=4954 vsize=15018748 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4957/task/4966/stat : 4966 (java) S 4954 4954 3960 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 230894838 15379197952 32372 33554432000 4194304 4196468 140720422374592 140230844570064 140232748050331 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20959232 140720422376455 140720422376753 140720422376753 140720422379471 0
[pid=4957/tid=4967] ppid=4954 vsize=15018748 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/4957/task/4967/stat : 4967 (java) S 4954 4954 3960 0 -1 1077944384 762 0 0 0 9 0 0 0 20 0 15 0 230894838 15379197952 32372 33554432000 4194304 4196468 140720422374592 140231582914800 140232748042882 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20959232 140720422376455 140720422376753 140720422376753 140720422379471 0
[pid=4957/tid=4968] ppid=4954 vsize=15018748 memory=0 CPUtime=0.06 cores=1,3,5,7
/proc/4957/task/4968/stat : 4968 (java) S 4954 4954 3960 0 -1 1077944384 253 0 0 0 6 0 0 0 20 0 15 0 230894838 15379197952 32372 33554432000 4194304 4196468 140720422374592 140231581862256 140232748042882 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20959232 140720422376455 140720422376753 140720422376753 140720422379471 0
[pid=4957/tid=4969] ppid=4954 vsize=15018748 memory=0 CPUtime=0.17 cores=1,3,5,7
/proc/4957/task/4969/stat : 4969 (java) S 4954 4954 3960 0 -1 1077944384 501 0 0 0 17 0 0 0 20 0 15 0 230894838 15379197952 32372 33554432000 4194304 4196468 140720422374592 140231580809200 140232748042882 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20959232 140720422376455 140720422376753 140720422376753 140720422379471 0
[pid=4957/tid=4970] ppid=4954 vsize=15018748 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4957/task/4970/stat : 4970 (java) S 4954 4954 3960 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 230894838 15379197952 32372 33554432000 4194304 4196468 140720422374592 140230346664288 140232748041941 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20959232 140720422376455 140720422376753 140720422376753 140720422379471 0
[pid=4957/tid=4971] ppid=4954 vsize=15018748 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4957/task/4971/stat : 4971 (java) S 4954 4954 3960 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 230894839 15379197952 32372 33554432000 4194304 4196468 140720422374592 140231579757616 140232748042882 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20959232 140720422376455 140720422376753 140720422376753 140720422379471 0
Current children cumulated CPU time: 1.02 s
Current children cumulated vsize: 15131876 KiB
Current children cumulated memory: 130884 KiB

[startup+1.50217 s]
/proc/loadavg: 2.21 2.07 1.97 5/222 4971
/proc/meminfo: memFree=23225084/32770624 swapFree=67108372/67108860
[pid=4954] ppid=4951 vsize=113128 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/4954/stat : 4954 (scop.sh) S 4951 4954 3960 0 -1 4202496 559 321 0 0 0 0 0 0 20 0 1 0 230894831 115843072 349 33554432000 4194304 5098028 140727437336768 140727437334024 139969240203900 0 65536 4100 81923 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 26120192 140727437341760 140727437341959 140727437341959 140727437344717 0
/proc/4954/statm: 28282 349 296 221 0 87 0

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

[pid=4982/tid=4985] ppid=4954 vsize=8068220 memory=118412 CPUtime=0 cores=1,3,5,7
/proc/4982/task/4985/stat : 4985 (java) S 4954 4954 3960 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 230910236 8261857280 29603 33554432000 4194304 4196468 140729387648864 140627633883408 140627829483221 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8667136 140729387652278 140729387652401 140729387652401 140729387655119 0
[pid=4982/tid=4986] ppid=4954 vsize=8068220 memory=118412 CPUtime=0 cores=1,3,5,7
/proc/4982/task/4986/stat : 4986 (java) S 4954 4954 3960 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 230910236 8261857280 29603 33554432000 4194304 4196468 140729387648864 140627632831120 140627829483221 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8667136 140729387652278 140729387652401 140729387652401 140729387655119 0
[pid=4982/tid=4987] ppid=4954 vsize=8068220 memory=1472 CPUtime=0 cores=1,3,5,7
/proc/4982/task/4987/stat : 4987 (java) S 4954 4954 3960 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 230910236 8261857280 29603 33554432000 4194304 4196468 140729387648864 140627312372240 140627829483221 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8667136 140729387652278 140729387652401 140729387652401 140729387655119 0
[pid=4982/tid=4988] ppid=4954 vsize=8068220 memory=498552 CPUtime=0.05 cores=1,3,5,7
/proc/4982/task/4988/stat : 4988 (java) S 4954 4954 3960 0 -1 1077944384 7 0 0 0 2 3 0 0 20 0 19 0 230910238 8261857280 29603 33554432000 4194304 4196468 140729387648864 140627074300528 140627829484162 0 0 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8667136 140729387652278 140729387652401 140729387652401 140729387655119 0
[pid=4982/tid=4989] ppid=4954 vsize=8068220 memory=3812 CPUtime=0 cores=1,3,5,7
/proc/4982/task/4989/stat : 4989 (java) S 4954 4954 3960 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 230910238 8261857280 29603 33554432000 4194304 4196468 140729387648864 140626691613984 140627829483221 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8667136 140729387652278 140729387652401 140729387652401 140729387655119 0
[pid=4982/tid=4990] ppid=4954 vsize=8068220 memory=496224 CPUtime=0 cores=1,3,5,7
/proc/4982/task/4990/stat : 4990 (java) S 4954 4954 3960 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 230910238 8261857280 29603 33554432000 4194304 4196468 140729387648864 140626423178864 140627829483221 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8667136 140729387652278 140729387652401 140729387652401 140729387655119 0
[pid=4982/tid=4991] ppid=4954 vsize=8068220 memory=-5059952977386882957 CPUtime=0 cores=1,3,5,7
/proc/4982/task/4991/stat : 4991 (java) S 4954 4954 3960 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 230910241 8261857280 29603 33554432000 4194304 4196468 140729387648864 140626048670288 140627829491611 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8667136 140729387652278 140729387652401 140729387652401 140729387655119 0
[pid=4982/tid=4992] ppid=4954 vsize=8068220 memory=118412 CPUtime=0.11 cores=1,3,5,7
/proc/4982/task/4992/stat : 4992 (java) S 4954 4954 3960 0 -1 1077944384 520 0 0 0 11 0 0 0 20 0 19 0 230910241 8261857280 29603 33554432000 4194304 4196468 140729387648864 140627073247344 140627829484162 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8667136 140729387652278 140729387652401 140729387652401 140729387655119 0
[pid=4982/tid=4993] ppid=4954 vsize=8068220 memory=495512 CPUtime=0.15 cores=1,3,5,7
/proc/4982/task/4993/stat : 4993 (java) S 4954 4954 3960 0 -1 1077944384 751 0 0 0 15 0 0 0 20 0 19 0 230910241 8261857280 29603 33554432000 4194304 4196468 140729387648864 140627072194544 140627829484162 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8667136 140729387652278 140729387652401 140729387652401 140729387655119 0
[pid=4982/tid=4994] ppid=4954 vsize=8068220 memory=1472 CPUtime=0.24 cores=1,3,5,7
/proc/4982/task/4994/stat : 4994 (java) S 4954 4954 3960 0 -1 1077944384 608 0 0 0 24 0 0 0 20 0 19 0 230910241 8261857280 29603 33554432000 4194304 4196468 140729387648864 140627071142256 140627829484162 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8667136 140729387652278 140729387652401 140729387652401 140729387655119 0
[pid=4982/tid=4995] ppid=4954 vsize=8068220 memory=118412 CPUtime=0 cores=1,3,5,7
/proc/4982/task/4995/stat : 4995 (java) S 4954 4954 3960 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 230910241 8261857280 29603 33554432000 4194304 4196468 140729387648864 140625550764512 140627829483221 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8667136 140729387652278 140729387652401 140729387652401 140729387655119 0
[pid=4982/tid=4996] ppid=4954 vsize=8068220 memory=118412 CPUtime=1.33 cores=1,3,5,7
/proc/4982/task/4996/stat : 4996 (java) S 4954 4954 3960 0 -1 1077944384 153 0 0 0 61 72 0 0 20 0 19 0 230910242 8261857280 29603 33554432000 4194304 4196468 140729387648864 140627070090160 140627829484162 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 8 0 0 6293624 6294260 8667136 140729387652278 140729387652401 140729387652401 140729387655119 0
[pid=4982/tid=4998] ppid=4954 vsize=8068220 memory=497008 CPUtime=0 cores=1,3,5,7
/proc/4982/task/4998/stat : 4998 (java) S 4954 4954 3960 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 230910311 8261857280 29603 33554432000 4194304 4196468 140729387648864 140627161699776 140627829497625 0 4 2 25189581 18446744071579417331 0 0 -1 1 0 0 0 0 0 6293624 6294260 8667136 140729387652278 140729387652401 140729387652401 140729387655119 0
[pid=4982/tid=5000] ppid=4954 vsize=8068220 memory=1472 CPUtime=0 cores=1,3,5,7
/proc/4982/task/5000/stat : 5000 (java) S 4954 4954 3960 0 -1 4202560 26 0 0 0 0 0 0 0 20 0 19 0 230910312 8261857280 29603 33554432000 4194304 4196468 140729387648864 140625013878832 140627829494941 0 4 2 25189581 18446744071580971376 0 0 -1 1 0 0 0 0 0 6293624 6294260 8667136 140729387652278 140729387652401 140729387652401 140729387655119 0
[pid=4982/tid=5001] ppid=4954 vsize=8068220 memory=3812 CPUtime=0 cores=1,3,5,7
/proc/4982/task/5001/stat : 5001 (java) S 4954 4954 3960 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 19 0 230910312 8261857280 29603 33554432000 4194304 4196468 140729387648864 140625148100016 140627829494941 0 4 2 25189581 18446744071580971376 0 0 -1 5 0 0 0 0 0 6293624 6294260 8667136 140729387652278 140729387652401 140729387652401 140729387655119 0
[pid=4982/tid=5002] ppid=4954 vsize=8068220 memory=1472 CPUtime=0 cores=1,3,5,7
/proc/4982/task/5002/stat : 5002 (java) S 4954 4954 3960 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 230910314 8261857280 29603 33554432000 4194304 4196468 140729387648864 140624745454496 140627829483221 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8667136 140729387652278 140729387652401 140729387652401 140729387655119 0
Current children cumulated CPU time: 2479.06 s
Current children cumulated vsize: 8840744 KiB
Current children cumulated memory: 623316 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2483.3 s]
/proc/loadavg: 1.00 1.05 1.37 2/200 5117
/proc/meminfo: memFree=23142168/32770624 swapFree=67108372/67108860
[pid=4954] ppid=4951 vsize=113128 memory=1472 CPUtime=188.86 cores=1,3,5,7
/proc/4954/stat : 4954 (scop.sh) S 4951 4954 3960 0 -1 4202496 589 92937 0 0 0 0 18487 399 20 0 1 0 230894831 115843072 368 33554432000 4194304 5098028 140727437336768 140727437333512 139969240203900 0 65536 4100 81923 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 26120192 140727437341760 140727437341959 140727437341959 140727437344717 0
/proc/4954/statm: 28282 368 311 221 0 87 0
[pid=4982] ppid=4954 vsize=8068220 memory=118412 CPUtime=2.76 cores=1,3,5,7
/proc/4982/stat : 4982 (java) S 4954 4954 3960 0 -1 1077944320 18513 0 0 0 195 81 0 0 20 0 19 0 230910234 8261857280 29603 33554432000 4194304 4196468 140729387648864 140729387631408 140627829473015 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 8667136 140729387652278 140729387652401 140729387652401 140729387655119 0
/proc/4982/statm: 2017055 29603 3156 1 0 1978454 0
[pid=4997] ppid=4982 vsize=527840 memory=482068 CPUtime=2328.47 cores=1,3,5,7
/proc/4997/stat : 4997 (minisat_release) R 4982 4954 3960 0 -1 4202496 2558308 0 0 0 232475 372 0 0 20 0 1 0 230910311 540508160 120517 33554432000 4194304 4308513 140721863786608 140721863783352 4269580 0 4 0 8396802 0 0 0 17 5 0 0 0 0 0 6409496 6410680 10088448 140721863791733 140721863791830 140721863791830 140721863794629 0
/proc/4997/statm: 131960 120517 340 28 0 128200 0
[pid=4982/tid=4983] ppid=4954 vsize=8068220 memory=118412 CPUtime=0.78 cores=1,3,5,7
/proc/4982/task/4983/stat : 4983 (java) S 4954 4954 3960 0 -1 1077944384 15065 0 0 0 73 5 0 0 20 0 19 0 230910235 8261857280 29603 33554432000 4194304 4196468 140729387648864 140627801313168 140627829483221 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8667136 140729387652278 140729387652401 140729387652401 140729387655119 0
[pid=4982/tid=4984] ppid=4954 vsize=8068220 memory=118412 CPUtime=0 cores=1,3,5,7
/proc/4982/task/4984/stat : 4984 (java) S 4954 4954 3960 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 230910236 8261857280 29603 33554432000 4194304 4196468 140729387648864 140627833715088 140627829483221 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8667136 140729387652278 140729387652401 140729387652401 140729387655119 0
[pid=4982/tid=4985] ppid=4954 vsize=8068220 memory=1472 CPUtime=0 cores=1,3,5,7
/proc/4982/task/4985/stat : 4985 (java) S 4954 4954 3960 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 230910236 8261857280 29603 33554432000 4194304 4196468 140729387648864 140627633883408 140627829483221 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8667136 140729387652278 140729387652401 140729387652401 140729387655119 0
[pid=4982/tid=4986] ppid=4954 vsize=8068220 memory=1800 CPUtime=0 cores=1,3,5,7
/proc/4982/task/4986/stat : 4986 (java) S 4954 4954 3960 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 230910236 8261857280 29603 33554432000 4194304 4196468 140729387648864 140627632831120 140627829483221 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8667136 140729387652278 140729387652401 140729387652401 140729387655119 0
[pid=4982/tid=4987] ppid=4954 vsize=8068220 memory=516232 CPUtime=0 cores=1,3,5,7
/proc/4982/task/4987/stat : 4987 (java) S 4954 4954 3960 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 230910236 8261857280 29603 33554432000 4194304 4196468 140729387648864 140627312372240 140627829483221 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8667136 140729387652278 140729387652401 140729387652401 140729387655119 0
[pid=4982/tid=4988] ppid=4954 vsize=8068220 memory=0 CPUtime=0.06 cores=1,3,5,7
/proc/4982/task/4988/stat : 4988 (java) S 4954 4954 3960 0 -1 1077944384 7 0 0 0 2 4 0 0 20 0 19 0 230910238 8261857280 29603 33554432000 4194304 4196468 140729387648864 140627074300528 140627829484162 0 0 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8667136 140729387652278 140729387652401 140729387652401 140729387655119 0
[pid=4982/tid=4989] ppid=4954 vsize=8068220 memory=1620 CPUtime=0 cores=1,3,5,7
/proc/4982/task/4989/stat : 4989 (java) S 4954 4954 3960 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 230910238 8261857280 29603 33554432000 4194304 4196468 140729387648864 140626691613984 140627829483221 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8667136 140729387652278 140729387652401 140729387652401 140729387655119 0
[pid=4982/tid=4990] ppid=4954 vsize=8068220 memory=1220 CPUtime=0 cores=1,3,5,7
/proc/4982/task/4990/stat : 4990 (java) S 4954 4954 3960 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 230910238 8261857280 29603 33554432000 4194304 4196468 140729387648864 140626423178864 140627829483221 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8667136 140729387652278 140729387652401 140729387652401 140729387655119 0
[pid=4982/tid=4991] ppid=4954 vsize=8068220 memory=118412 CPUtime=0 cores=1,3,5,7
/proc/4982/task/4991/stat : 4991 (java) S 4954 4954 3960 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 230910241 8261857280 29603 33554432000 4194304 4196468 140729387648864 140626048670288 140627829491611 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8667136 140729387652278 140729387652401 140729387652401 140729387655119 0
[pid=4982/tid=4992] ppid=4954 vsize=8068220 memory=1472 CPUtime=0.11 cores=1,3,5,7
/proc/4982/task/4992/stat : 4992 (java) S 4954 4954 3960 0 -1 1077944384 520 0 0 0 11 0 0 0 20 0 19 0 230910241 8261857280 29603 33554432000 4194304 4196468 140729387648864 140627073247344 140627829484162 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8667136 140729387652278 140729387652401 140729387652401 140729387655119 0
[pid=4982/tid=4993] ppid=4954 vsize=8068220 memory=1472 CPUtime=0.15 cores=1,3,5,7
/proc/4982/task/4993/stat : 4993 (java) S 4954 4954 3960 0 -1 1077944384 751 0 0 0 15 0 0 0 20 0 19 0 230910241 8261857280 29603 33554432000 4194304 4196468 140729387648864 140627072194544 140627829484162 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8667136 140729387652278 140729387652401 140729387652401 140729387655119 0
[pid=4982/tid=4994] ppid=4954 vsize=8068220 memory=118412 CPUtime=0.24 cores=1,3,5,7
/proc/4982/task/4994/stat : 4994 (java) S 4954 4954 3960 0 -1 1077944384 608 0 0 0 24 0 0 0 20 0 19 0 230910241 8261857280 29603 33554432000 4194304 4196468 140729387648864 140627071142256 140627829484162 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8667136 140729387652278 140729387652401 140729387652401 140729387655119 0
[pid=4982/tid=4995] ppid=4954 vsize=8068220 memory=505728 CPUtime=0 cores=1,3,5,7
/proc/4982/task/4995/stat : 4995 (java) S 4954 4954 3960 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 230910241 8261857280 29603 33554432000 4194304 4196468 140729387648864 140625550764512 140627829483221 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8667136 140729387652278 140729387652401 140729387652401 140729387655119 0
[pid=4982/tid=4996] ppid=4954 vsize=8068220 memory=1472 CPUtime=1.36 cores=1,3,5,7
/proc/4982/task/4996/stat : 4996 (java) S 4954 4954 3960 0 -1 1077944384 157 0 0 0 62 74 0 0 20 0 19 0 230910242 8261857280 29603 33554432000 4194304 4196468 140729387648864 140627070090160 140627829484162 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 8 0 0 6293624 6294260 8667136 140729387652278 140729387652401 140729387652401 140729387655119 0
[pid=4982/tid=4998] ppid=4954 vsize=8068220 memory=1472 CPUtime=0 cores=1,3,5,7
/proc/4982/task/4998/stat : 4998 (java) S 4954 4954 3960 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 230910311 8261857280 29603 33554432000 4194304 4196468 140729387648864 140627161699776 140627829497625 0 4 2 25189581 18446744071579417331 0 0 -1 1 0 0 0 0 0 6293624 6294260 8667136 140729387652278 140729387652401 140729387652401 140729387655119 0
[pid=4982/tid=5000] ppid=4954 vsize=8068220 memory=3812 CPUtime=0 cores=1,3,5,7
/proc/4982/task/5000/stat : 5000 (java) S 4954 4954 3960 0 -1 4202560 26 0 0 0 0 0 0 0 20 0 19 0 230910312 8261857280 29603 33554432000 4194304 4196468 140729387648864 140625013878832 140627829494941 0 4 2 25189581 18446744071580971376 0 0 -1 1 0 0 0 0 0 6293624 6294260 8667136 140729387652278 140729387652401 140729387652401 140729387655119 0
[pid=4982/tid=5001] ppid=4954 vsize=8068220 memory=62812 CPUtime=0 cores=1,3,5,7
/proc/4982/task/5001/stat : 5001 (java) S 4954 4954 3960 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 19 0 230910312 8261857280 29603 33554432000 4194304 4196468 140729387648864 140625148100016 140627829494941 0 4 2 25189581 18446744071580971376 0 0 -1 5 0 0 0 0 0 6293624 6294260 8667136 140729387652278 140729387652401 140729387652401 140729387655119 0
[pid=4982/tid=5002] ppid=4954 vsize=8068220 memory=1100 CPUtime=0 cores=1,3,5,7
/proc/4982/task/5002/stat : 5002 (java) S 4954 4954 3960 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 230910314 8261857280 29603 33554432000 4194304 4196468 140729387648864 140624745454496 140627829483221 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8667136 140729387652278 140729387652401 140729387652401 140729387655119 0
Current children cumulated CPU time: 2520.09 s
Current children cumulated vsize: 8709188 KiB
Current children cumulated memory: 601952 KiB

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

[startup+2483.31 s]
# the end of solver process 4954 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=184.882 s, system=3.99324 s

[startup+2483.35 s]
# the end of solver process 4982 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2511.6 s, system=8.57244 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+2483.3 s]
/proc/loadavg: 1.00 1.05 1.37 2/200 5117
/proc/meminfo: memFree=23142168/32770624 swapFree=67108372/67108860
[pid=4954] ppid=4951 vsize=113128 memory=1472 CPUtime=188.86 cores=1,3,5,7
/proc/4954/stat : 4954 (scop.sh) S 4951 4954 3960 0 -1 4202496 589 92937 0 0 0 0 18487 399 20 0 1 0 230894831 115843072 368 33554432000 4194304 5098028 140727437336768 140727437333512 139969240203900 0 65536 4100 81923 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 26120192 140727437341760 140727437341959 140727437341959 140727437344717 0
/proc/4954/statm: 28282 368 311 221 0 87 0
[pid=4982] ppid=4954 vsize=8068220 memory=118412 CPUtime=2.76 cores=1,3,5,7
/proc/4982/stat : 4982 (java) S 4954 4954 3960 0 -1 1077944320 18513 0 0 0 195 81 0 0 20 0 19 0 230910234 8261857280 29603 33554432000 4194304 4196468 140729387648864 140729387631408 140627829473015 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 8667136 140729387652278 140729387652401 140729387652401 140729387655119 0
/proc/4982/statm: 2017055 29603 3156 1 0 1978454 0
[pid=4997] ppid=4982 vsize=527840 memory=482068 CPUtime=2328.47 cores=1,3,5,7
/proc/4997/stat : 4997 (minisat_release) R 4982 4954 3960 0 -1 4202496 2558308 0 0 0 232475 372 0 0 20 0 1 0 230910311 540508160 120517 33554432000 4194304 4308513 140721863786608 140721863783352 4269580 0 4 0 8396802 0 0 0 17 5 0 0 0 0 0 6409496 6410680 10088448 140721863791733 140721863791830 140721863791830 140721863794629 0
/proc/4997/statm: 131960 120517 340 28 0 128200 0
[pid=4982/tid=4983] ppid=4954 vsize=8068220 memory=118412 CPUtime=0.78 cores=1,3,5,7
/proc/4982/task/4983/stat : 4983 (java) S 4954 4954 3960 0 -1 1077944384 15065 0 0 0 73 5 0 0 20 0 19 0 230910235 8261857280 29603 33554432000 4194304 4196468 140729387648864 140627801313168 140627829483221 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8667136 140729387652278 140729387652401 140729387652401 140729387655119 0
[pid=4982/tid=4984] ppid=4954 vsize=8068220 memory=118412 CPUtime=0 cores=1,3,5,7
/proc/4982/task/4984/stat : 4984 (java) S 4954 4954 3960 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 230910236 8261857280 29603 33554432000 4194304 4196468 140729387648864 140627833715088 140627829483221 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8667136 140729387652278 140729387652401 140729387652401 140729387655119 0
[pid=4982/tid=4985] ppid=4954 vsize=8068220 memory=1472 CPUtime=0 cores=1,3,5,7
/proc/4982/task/4985/stat : 4985 (java) S 4954 4954 3960 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 230910236 8261857280 29603 33554432000 4194304 4196468 140729387648864 140627633883408 140627829483221 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8667136 140729387652278 140729387652401 140729387652401 140729387655119 0
[pid=4982/tid=4986] ppid=4954 vsize=8068220 memory=1800 CPUtime=0 cores=1,3,5,7
/proc/4982/task/4986/stat : 4986 (java) S 4954 4954 3960 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 230910236 8261857280 29603 33554432000 4194304 4196468 140729387648864 140627632831120 140627829483221 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8667136 140729387652278 140729387652401 140729387652401 140729387655119 0
[pid=4982/tid=4987] ppid=4954 vsize=8068220 memory=516232 CPUtime=0 cores=1,3,5,7
/proc/4982/task/4987/stat : 4987 (java) S 4954 4954 3960 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 230910236 8261857280 29603 33554432000 4194304 4196468 140729387648864 140627312372240 140627829483221 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8667136 140729387652278 140729387652401 140729387652401 140729387655119 0
[pid=4982/tid=4988] ppid=4954 vsize=8068220 memory=0 CPUtime=0.06 cores=1,3,5,7
/proc/4982/task/4988/stat : 4988 (java) S 4954 4954 3960 0 -1 1077944384 7 0 0 0 2 4 0 0 20 0 19 0 230910238 8261857280 29603 33554432000 4194304 4196468 140729387648864 140627074300528 140627829484162 0 0 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8667136 140729387652278 140729387652401 140729387652401 140729387655119 0
[pid=4982/tid=4989] ppid=4954 vsize=8068220 memory=1620 CPUtime=0 cores=1,3,5,7
/proc/4982/task/4989/stat : 4989 (java) S 4954 4954 3960 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 230910238 8261857280 29603 33554432000 4194304 4196468 140729387648864 140626691613984 140627829483221 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8667136 140729387652278 140729387652401 140729387652401 140729387655119 0
[pid=4982/tid=4990] ppid=4954 vsize=8068220 memory=1220 CPUtime=0 cores=1,3,5,7
/proc/4982/task/4990/stat : 4990 (java) S 4954 4954 3960 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 230910238 8261857280 29603 33554432000 4194304 4196468 140729387648864 140626423178864 140627829483221 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8667136 140729387652278 140729387652401 140729387652401 140729387655119 0
[pid=4982/tid=4991] ppid=4954 vsize=8068220 memory=118412 CPUtime=0 cores=1,3,5,7
/proc/4982/task/4991/stat : 4991 (java) S 4954 4954 3960 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 230910241 8261857280 29603 33554432000 4194304 4196468 140729387648864 140626048670288 140627829491611 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8667136 140729387652278 140729387652401 140729387652401 140729387655119 0
[pid=4982/tid=4992] ppid=4954 vsize=8068220 memory=1472 CPUtime=0.11 cores=1,3,5,7
/proc/4982/task/4992/stat : 4992 (java) S 4954 4954 3960 0 -1 1077944384 520 0 0 0 11 0 0 0 20 0 19 0 230910241 8261857280 29603 33554432000 4194304 4196468 140729387648864 140627073247344 140627829484162 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8667136 140729387652278 140729387652401 140729387652401 140729387655119 0
[pid=4982/tid=4993] ppid=4954 vsize=8068220 memory=1472 CPUtime=0.15 cores=1,3,5,7
/proc/4982/task/4993/stat : 4993 (java) S 4954 4954 3960 0 -1 1077944384 751 0 0 0 15 0 0 0 20 0 19 0 230910241 8261857280 29603 33554432000 4194304 4196468 140729387648864 140627072194544 140627829484162 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8667136 140729387652278 140729387652401 140729387652401 140729387655119 0
[pid=4982/tid=4994] ppid=4954 vsize=8068220 memory=118412 CPUtime=0.24 cores=1,3,5,7
/proc/4982/task/4994/stat : 4994 (java) S 4954 4954 3960 0 -1 1077944384 608 0 0 0 24 0 0 0 20 0 19 0 230910241 8261857280 29603 33554432000 4194304 4196468 140729387648864 140627071142256 140627829484162 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8667136 140729387652278 140729387652401 140729387652401 140729387655119 0
[pid=4982/tid=4995] ppid=4954 vsize=8068220 memory=505728 CPUtime=0 cores=1,3,5,7
/proc/4982/task/4995/stat : 4995 (java) S 4954 4954 3960 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 230910241 8261857280 29603 33554432000 4194304 4196468 140729387648864 140625550764512 140627829483221 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8667136 140729387652278 140729387652401 140729387652401 140729387655119 0
[pid=4982/tid=4996] ppid=4954 vsize=8068220 memory=1472 CPUtime=1.36 cores=1,3,5,7
/proc/4982/task/4996/stat : 4996 (java) S 4954 4954 3960 0 -1 1077944384 157 0 0 0 62 74 0 0 20 0 19 0 230910242 8261857280 29603 33554432000 4194304 4196468 140729387648864 140627070090160 140627829484162 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 8 0 0 6293624 6294260 8667136 140729387652278 140729387652401 140729387652401 140729387655119 0
[pid=4982/tid=4998] ppid=4954 vsize=8068220 memory=1472 CPUtime=0 cores=1,3,5,7
/proc/4982/task/4998/stat : 4998 (java) S 4954 4954 3960 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 230910311 8261857280 29603 33554432000 4194304 4196468 140729387648864 140627161699776 140627829497625 0 4 2 25189581 18446744071579417331 0 0 -1 1 0 0 0 0 0 6293624 6294260 8667136 140729387652278 140729387652401 140729387652401 140729387655119 0
[pid=4982/tid=5000] ppid=4954 vsize=8068220 memory=3812 CPUtime=0 cores=1,3,5,7
/proc/4982/task/5000/stat : 5000 (java) S 4954 4954 3960 0 -1 4202560 26 0 0 0 0 0 0 0 20 0 19 0 230910312 8261857280 29603 33554432000 4194304 4196468 140729387648864 140625013878832 140627829494941 0 4 2 25189581 18446744071580971376 0 0 -1 1 0 0 0 0 0 6293624 6294260 8667136 140729387652278 140729387652401 140729387652401 140729387655119 0
[pid=4982/tid=5001] ppid=4954 vsize=8068220 memory=62812 CPUtime=0 cores=1,3,5,7
/proc/4982/task/5001/stat : 5001 (java) S 4954 4954 3960 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 19 0 230910312 8261857280 29603 33554432000 4194304 4196468 140729387648864 140625148100016 140627829494941 0 4 2 25189581 18446744071580971376 0 0 -1 5 0 0 0 0 0 6293624 6294260 8667136 140729387652278 140729387652401 140729387652401 140729387655119 0
[pid=4982/tid=5002] ppid=4954 vsize=8068220 memory=1100 CPUtime=0 cores=1,3,5,7
/proc/4982/task/5002/stat : 5002 (java) S 4954 4954 3960 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 230910314 8261857280 29603 33554432000 4194304 4196468 140729387648864 140624745454496 140627829483221 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8667136 140729387652278 140729387652401 140729387652401 140729387655119 0
Current children cumulated CPU time: 2520.09 s
Current children cumulated vsize: 8709188 KiB
Current children cumulated memory: 601952 KiB

Child status: 1
Real time (s): 2483.35
CPU time (s): 2520.17
CPU user time (s): 2511.6
CPU system time (s): 8.57244
CPU usage (%): 101.482
Max. virtual memory (cumulated for all children) (KiB): 15142280
Max. memory (cumulated for all children) (KiB): 6041412

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2511.6
system time used= 8.57244
maximum resident set size= 6040016
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2670890
page faults= 0
swaps= 0
block input operations= 0
block output operations= 171848
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 61588
involuntary context switches= 2684


# summary of solver processes directly reported to runsolver:
#   pid: 4954,4982
#   total CPU time (s): 2520.17
#   total CPU user time (s): 2511.6
#   total CPU system time (s): 8.57244

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 19.0499 second user time and 25.9931 second system time

The end

Launcher Data 

Begin job on node137 at 2018-08-13 06:08:37
IDJOB=4305388
IDBENCH=141656
IDSOLVER=2782
FILE ID=node137/4305388-1534133317
RUNJOBID= node137-1534130784-3992
PBS_JOBID= 21037014
Free space on /tmp= 26504 MiB

SOLVER NAME= scop order+MapleCOMSPS (2018-07-31)
BENCH NAME= XCSP18/Eternity/Eternity-13-13_c18.xml
COMMAND LINE= scop.sh 11g scop.jar -order minisat_release default TMPDIR BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4305388-1534133317/watcher-4305388-1534133317 -o /tmp/evaluation-result-4305388-1534133317/solver-4305388-1534133317 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node137-1534130784-3992 --watchdog 2580  scop.sh 11g scop.jar -order minisat_release default HOME HOME/instance-4305388-1534133317.xml

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

MD5SUM BENCH= e6142002f41530755715c5642d221a51
RANDOM SEED=519045972

node137.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.54
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.56
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.54
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.56
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.54
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.56
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.54
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.56
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32770624 kB
MemFree:        23442088 kB
MemAvailable:   31566268 kB
Buffers:          101220 kB
Cached:          8217344 kB
SwapCached:            8 kB
Active:          4394576 kB
Inactive:        4316428 kB
Active(anon):     339436 kB
Inactive(anon):   105192 kB
Active(file):    4055140 kB
Inactive(file):  4211236 kB
Unevictable:        7432 kB
Mlocked:            7432 kB
SwapTotal:      67108860 kB
SwapFree:       67108372 kB
Dirty:              9596 kB
Writeback:             0 kB
AnonPages:        401164 kB
Mapped:            65416 kB
Shmem:             49624 kB
Slab:             314852 kB
SReclaimable:     286264 kB
SUnreclaim:        28588 kB
KernelStack:        3808 kB
PageTables:         6260 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    6080716 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    165888 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      114048 kB
DirectMap2M:    33431552 kB

Free space on /tmp at the end= 26532 MiB
End job on node137 at 2018-08-13 06:50:00