Trace number 4305513

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.28 2502.39

General information on the benchmark

NamePseudoBoolean-dec/
Pb-robin16_c18.xml
MD5SUM5947b7d603c6960c1f689b2eabbe33a0
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 variables14400
Number of constraints1088
Number of domains1
Minimum domain size2
Maximum domain size2
Distribution of domain sizes[{"size":2,"count":14400}]
Minimum variable degree10
Maximum variable degree10
Distribution of variable degrees[{"degree":10,"count":14400}]
Minimum constraint arity120
Maximum constraint arity225
Distribution of constraint arities[{"arity":120,"count":960},{"arity":225,"count":128}]
Number of extensional constraints0
Number of intensional constraints0
Distribution of constraint types[{"type":"sum","count":1088}]
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-20070-serial-file.bin HOME/instance-4305513-1534069427.xml
0.66/0.53	
0.66/0.53	scop order+minisat_release (2018-07-31)
0.66/0.53	(Encoding Process)
0.66/0.53	
0.66/0.56	c BEGIN-Prog: Sun Aug 12 12:23:47 CEST 2018
0.66/0.56	c PID: 20073
0.66/0.56	c IP: 172.20.3.139
0.66/0.56	c HOST: node139.alineos.net
0.66/0.56	c (0,0) Parsing Begin
6.51/2.57	c (2,2) Parsing End
6.51/2.59	c (2,2) CSP: 0 int (0 aux), 14400 bool (0 aux), 1088 ctr, max domain size 2
6.51/2.59	c (2,2) Heap : 563 MiB used (max 10795 MiB), NonHeap : 22 MiB used (max 0 MiB)
6.51/2.59	c (2,2) Constraint Name Generate Begin
6.82/2.68	c (2,2) Ctr:HOME/instance-4305513-1534069427.xml,IntVar:Num:WeightedSum
6.82/2.68	c (2,2) Constraint Name Generate End
6.82/2.68	c (2,2) Heap : 563 MiB used (max 10795 MiB), NonHeap : 22 MiB used (max 0 MiB)
6.82/2.68	c (2,2) CSP to CSPinCNF Begin
10.14/4.03	c (3,3) translated 109 (10%) constraints
11.19/5.02	c (4,4) translated 218 (20%) constraints
12.31/6.08	c (5,5) translated 327 (30%) constraints
13.46/6.95	c (6,6) translated 436 (40%) constraints
14.79/7.82	c (7,7) translated 544 (50%) constraints
15.63/8.65	c (8,8) translated 653 (60%) constraints
16.86/9.58	c (9,8) translated 762 (70%) constraints
17.66/10.39	c (9,9) translated 871 (80%) constraints
18.96/11.58	c (11,10) translated 980 (90%) constraints
22.19/14.48	c (13,13) translated 1088 (100%) constraints
24.26/15.49	c (14,14) STATISTICS1:HOME/instance-4305513-1534069427.xml,IntVar:Num:WeightedSum,14400,1088,9223372036854775807,2,1,225,9223372036854775807:1088,2:144000,1:1088,225:128;120:960,22500:128;6400:960
24.26/15.49	c (14,14) ==========================================
24.26/15.49	c (14,14) Order
24.26/15.49	c (14,14) ==========================================
26.53/16.39	c (15,15) translated 109 (10%) constraints
28.64/17.24	c (16,16) translated 218 (20%) constraints
30.43/17.92	c (17,16) translated 327 (30%) constraints
31.37/18.55	c (18,17) translated 436 (40%) constraints
32.29/19.20	c (18,18) translated 544 (50%) constraints
32.93/19.84	c (19,18) translated 653 (60%) constraints
33.58/20.46	c (19,19) translated 762 (70%) constraints
34.19/21.08	c (20,20) translated 871 (80%) constraints
35.03/21.88	c (21,20) translated 980 (90%) constraints
37.53/23.74	c (23,22) translated 1088 (100%) constraints
37.53/23.76	c (23,22) CSP to CSPinCNF End
37.53/23.79	c (23,22) CSP: 25920 int (25920 aux), 14400 bool (0 aux), 27008 ctr, max domain size 41
37.53/23.79	c (23,22) Heap : 1091 MiB used (max 10795 MiB), NonHeap : 28 MiB used (max 0 MiB)
37.53/23.79	c (23,22) CSPinCNF Propagation Begin
38.33/24.17	c (23,22) 0 values, 0 unsatisfiable literals, and 0 valid clauses are removed
38.33/24.17	c (23,22) CSPinCNF Propagation End
38.33/24.19	c (23,22) CSP: 25920 int (25920 aux), 14400 bool (0 aux), 27008 ctr, max domain size 41
38.33/24.19	c (23,22) Heap : 1270 MiB used (max 10795 MiB), NonHeap : 28 MiB used (max 0 MiB)
38.33/24.19	c (23,22) Simplify CSPinCNF Begin
38.48/24.29	c (23,23) Simplify CSPinCNF End
38.67/24.30	c (23,23) CSP: 25920 int (25920 aux), 14400 bool (0 aux), 27008 ctr, max domain size 41
38.67/24.30	c (23,23) Heap : 1326 MiB used (max 10795 MiB), NonHeap : 28 MiB used (max 0 MiB)
38.67/24.30	c (23,23) Calculate Precise Domain Begin
39.13/24.52	c (23,23) 0 values are removed by re-calculation
39.13/24.52	c (23,23) Calculate Precise Domain End
39.13/24.53	c (23,23) CSP: 25920 int (25920 aux), 14400 bool (0 aux), 27008 ctr, max domain size 41
39.13/24.53	c (23,23) Heap : 1437 MiB used (max 10795 MiB), NonHeap : 26 MiB used (max 0 MiB)
39.13/24.53	c (23,23) CSPinCNF to SatSolver Begin
47.61/30.93	c (30,29) 2701 (10 %) CSP clauses are encoded (309024 SAT variables, 1780736 SAT clauses)
53.97/36.61	c (36,34) 5402 (20 %) CSP clauses are encoded (309024 SAT variables, 3292773 SAT clauses)
59.46/42.81	c (42,40) 8103 (30 %) CSP clauses are encoded (309024 SAT variables, 4805828 SAT clauses)
64.81/48.58	c (48,45) 10804 (40 %) CSP clauses are encoded (309024 SAT variables, 6338832 SAT clauses)
70.08/54.24	c (53,50) 13504 (50 %) CSP clauses are encoded (309024 SAT variables, 8097096 SAT clauses)
75.28/59.87	c (59,55) 16205 (60 %) CSP clauses are encoded (309024 SAT variables, 9854458 SAT clauses)
80.54/65.30	c (64,61) 18906 (70 %) CSP clauses are encoded (309024 SAT variables, 11611820 SAT clauses)
85.42/70.78	c (70,66) 21607 (80 %) CSP clauses are encoded (309024 SAT variables, 13246844 SAT clauses)
89.11/74.86	c (74,69) 24308 (90 %) CSP clauses are encoded (309024 SAT variables, 14317479 SAT clauses)
92.81/79.03	c (78,73) 27008 (100 %) CSP clauses are encoded (309024 SAT variables, 15387193 SAT clauses)
92.81/79.03	c (78,73) Launch Command will be: minisat_release
92.81/79.03	c (78,73) CSPinCNF to SatSolver End
92.81/79.03	c (78,73) Heap : 2669 MiB used (max 11073 MiB), NonHeap : 28 MiB used (max 0 MiB)
94.72/79.73	c (79,74) STATISTICS2:HOME/instance-4305513-1534069427.xml,IntVar:Num:WeightedSum,40320,27008,1681,41,1,11,1681:480;1024:12672;512:1920;441:1440;121:2880;110:1152;100:384;60:384;57:384;22:2880;9:512;4:1920,41:2880;21:5760;20:2304;19:768;11:25344;10:3840;3:2304;2:152640,1:27008,11:12672;10:1920;3:12416,
94.72/79.73	c (79,74) 309024 bool, 15387200 clause
94.72/79.73	c (79,74) Export Begin
96.58/80.46	c (79,74) Export to HOME/scop-20070-serial-file.bin
96.58/80.46	c (79,74) Export End
96.58/80.46	c (79,74) Export File Size: 2.23 MB
96.58/80.46	c (79,74) 2,2,23,23,23,23,78,STOP-AFTER(DIMACS)
96.58/80.46	c END-Prog: Sun Aug 12 12:25:07 CEST 2018
0.00/80.50	c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp scop.jar fun.scop.XCSP18Solve HOME/scop-20070-serial-file.bin
96.72/81.00	c (0,0) Read Serial File Begin
96.72/81.00	c (0,0) HOME/scop-20070-serial-file.bin
98.40/81.63	c (0,0) Read Serial File End
98.40/81.64	
98.40/81.64	scop order+minisat_release (2018-07-31)
98.40/81.64	(Solving Process)
98.40/81.64	
98.40/81.66	c BEGIN-Prog: Sun Aug 12 12:25:08 CEST 2018
98.40/81.66	c PID: 20090
98.40/81.66	c IP: 172.20.3.139
98.40/81.66	c HOST: node139.alineos.net
98.40/81.67	c (0,0) SatSolver.solve Begin
98.40/81.67	c (0,0) 0 bool, 0 clause
98.40/81.67	c (0,0) minisat_release HOME/instance-4305513-1534069427.xml-scop-20073.cnf
2520.04/2502.20	c (2421,0) receiving signal SIGTERM
2520.04/2502.20	s UNKNOWN
2520.04/2502.21	c (scop.sh) Receiving Signal. Removing all intermediate files.
2520.04/2502.21	c (scop.sh) Remove HOME/scop-20070-serial-file.bin.
2520.04/2502.21	c (scop.sh) Killing background jobs.
2520.04/2502.21	c (2421,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 (4666 MiB free)
  memory of node 1: 16384 MiB (5481 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4305513-1534069427/watcher-4305513-1534069427 -o /tmp/evaluation-result-4305513-1534069427/solver-4305513-1534069427 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node139-1534060441-16801 --watchdog 2580 scop.sh 11g scop.jar -order minisat_release default HOME HOME/instance-4305513-1534069427.xml 

running on 4 cores: 0,2,4,6

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


[startup+0.101028 s]*
/proc/loadavg: 2.00 2.01 2.07 3/223 20087
/proc/meminfo: memFree=10328368/32770624 swapFree=67108860/67108860
[pid=20070] ppid=20067 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/20070/stat : 20070 (scop.sh) S 20067 20070 16770 0 -1 4202496 562 321 0 0 0 0 0 0 20 0 1 0 224505837 115843072 349 33554432000 4194304 5098028 140737398923904 140737398921160 140625671856764 0 65536 4100 81923 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 15515648 140737398928448 140737398928647 140737398928647 140737398931405 0
/proc/20070/statm: 28282 349 296 221 0 87 0
[pid=20073] ppid=20070 vsize=15012476 memory=73032 CPUtime=0.11 cores=0,2,4,6
/proc/20073/stat : 20073 (java) S 20070 20070 16770 0 -1 1077944320 5905 0 0 0 9 2 0 0 20 0 15 0 224505837 15372775424 18258 33554432000 4194304 4196468 140729233522480 140729233505024 139952649678583 0 0 2 16800973 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 20770816 140729233527814 140729233528113 140729233528113 140729233530831 0
/proc/20073/statm: 3753119 18258 2722 1 0 3715579 0
[pid=20073/tid=20074] ppid=20070 vsize=15012476 memory=-6076620080638377919 CPUtime=0.08 cores=0,2,4,6
/proc/20073/task/20074/stat : 20074 (java) R 20070 20070 16770 0 -1 4202560 4015 0 0 0 7 1 0 0 20 0 15 0 224505837 15372775424 18258 33554432000 4194304 4196468 140729233522480 139952621476736 139952633759070 0 4 2 16800973 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 20770816 140729233527814 140729233528113 140729233528113 140729233530831 0
[pid=20073/tid=20075] ppid=20070 vsize=15012476 memory=8303054830060986464 CPUtime=0 cores=0,2,4,6
/proc/20073/task/20075/stat : 20075 (java) S 20070 20070 16770 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224505839 15372775424 18258 33554432000 4194304 4196468 140729233522480 139952653921296 139952649688789 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20770816 140729233527814 140729233528113 140729233528113 140729233530831 0
[pid=20073/tid=20076] ppid=20070 vsize=15012476 memory=140717435512448 CPUtime=0 cores=0,2,4,6
/proc/20073/task/20076/stat : 20076 (java) S 20070 20070 16770 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224505839 15372775424 18258 33554432000 4194304 4196468 140729233522480 139952452697232 139952649688789 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20770816 140729233527814 140729233528113 140729233528113 140729233530831 0
[pid=20073/tid=20077] ppid=20070 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/20073/task/20077/stat : 20077 (java) S 20070 20070 16770 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224505839 15372775424 18258 33554432000 4194304 4196468 140729233522480 139952451644176 139952649688789 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20770816 140729233527814 140729233528113 140729233528113 140729233530831 0
[pid=20073/tid=20078] ppid=20070 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/20073/task/20078/stat : 20078 (java) S 20070 20070 16770 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224505839 15372775424 18258 33554432000 4194304 4196468 140729233522480 139952450591632 139952649688789 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20770816 140729233527814 140729233528113 140729233528113 140729233530831 0
[pid=20073/tid=20079] ppid=20070 vsize=15012476 memory=140717435512448 CPUtime=0 cores=0,2,4,6
/proc/20073/task/20079/stat : 20079 (java) S 20070 20070 16770 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224505840 15372775424 18258 33554432000 4194304 4196468 140729233522480 139951620155632 139952649689730 0 0 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20770816 140729233527814 140729233528113 140729233528113 140729233530831 0
[pid=20073/tid=20080] ppid=20070 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/20073/task/20080/stat : 20080 (java) S 20070 20070 16770 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 224505841 15372775424 18258 33554432000 4194304 4196468 140729233522480 139951240897696 139952649688789 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20770816 140729233527814 140729233528113 140729233528113 140729233530831 0
[pid=20073/tid=20081] ppid=20070 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/20073/task/20081/stat : 20081 (java) S 20070 20070 16770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224505841 15372775424 18258 33554432000 4194304 4196468 140729233522480 139950972461808 139952649688789 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20770816 140729233527814 140729233528113 140729233528113 140729233530831 0
[pid=20073/tid=20082] ppid=20070 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/20073/task/20082/stat : 20082 (java) S 20070 20070 16770 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224505843 15372775424 18258 33554432000 4194304 4196468 140729233522480 139950597953488 139952649697179 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20770816 140729233527814 140729233528113 140729233528113 140729233530831 0
[pid=20073/tid=20083] ppid=20070 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/20073/task/20083/stat : 20083 (java) R 20070 20070 16770 0 -1 1077944384 27 0 0 0 0 0 0 0 20 0 15 0 224505843 15372775424 18258 33554432000 4194304 4196468 140729233522480 139951619103472 139952649689730 0 4 2 16800973 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 20770816 140729233527814 140729233528113 140729233528113 140729233530831 0
[pid=20073/tid=20084] ppid=20070 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/20073/task/20084/stat : 20084 (java) S 20070 20070 16770 0 -1 1077944384 280 0 0 0 0 0 0 0 20 0 15 0 224505843 15372775424 18258 33554432000 4194304 4196468 140729233522480 139951618050928 139952649689730 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20770816 140729233527814 140729233528113 140729233528113 140729233530831 0
[pid=20073/tid=20085] ppid=20070 vsize=15012476 memory=140717435512448 CPUtime=0 cores=0,2,4,6
/proc/20073/task/20085/stat : 20085 (java) S 20070 20070 16770 0 -1 1077944384 249 0 0 0 0 0 0 0 20 0 15 0 224505843 15372775424 18258 33554432000 4194304 4196468 140729233522480 139951616997872 139952649689730 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20770816 140729233527814 140729233528113 140729233528113 140729233530831 0
[pid=20073/tid=20086] ppid=20070 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/20073/task/20086/stat : 20086 (java) S 20070 20070 16770 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224505844 15372775424 18258 33554432000 4194304 4196468 140729233522480 139950100048736 139952649688789 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20770816 140729233527814 140729233528113 140729233528113 140729233530831 0
[pid=20073/tid=20087] ppid=20070 vsize=15012476 memory=140717435512448 CPUtime=0 cores=0,2,4,6
/proc/20073/task/20087/stat : 20087 (java) S 20070 20070 16770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224505844 15372775424 18258 33554432000 4194304 4196468 140729233522480 139951615945264 139952649689730 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20770816 140729233527814 140729233528113 140729233528113 140729233530831 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 15125604 KiB
Current children cumulated memory: 74428 KiB

[startup+0.210528 s]*
/proc/loadavg: 2.00 2.01 2.07 5/223 20087
/proc/meminfo: memFree=10313208/32770624 swapFree=67108860/67108860
[pid=20070] ppid=20067 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/20070/stat : 20070 (scop.sh) S 20067 20070 16770 0 -1 4202496 562 321 0 0 0 0 0 0 20 0 1 0 224505837 115843072 349 33554432000 4194304 5098028 140737398923904 140737398921160 140625671856764 0 65536 4100 81923 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 15515648 140737398928448 140737398928647 140737398928647 140737398931405 0
/proc/20070/statm: 28282 349 296 221 0 87 0
[pid=20073] ppid=20070 vsize=15012476 memory=86612 CPUtime=0.24 cores=0,2,4,6
/proc/20073/stat : 20073 (java) S 20070 20070 16770 0 -1 1077944320 9483 0 0 0 22 2 0 0 20 0 15 0 224505837 15372775424 21653 33554432000 4194304 4196468 140729233522480 140729233505024 139952649678583 0 0 2 16800973 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 20770816 140729233527814 140729233528113 140729233528113 140729233530831 0
/proc/20073/statm: 3753119 21653 2874 1 0 3715579 0
[pid=20073/tid=20074] ppid=20070 vsize=15012476 memory=7022364632946311227 CPUtime=0.19 cores=0,2,4,6
/proc/20073/task/20074/stat : 20074 (java) R 20070 20070 16770 0 -1 4202560 7385 0 0 0 17 2 0 0 20 0 15 0 224505837 15372775424 21653 33554432000 4194304 4196468 140729233522480 139952621477328 139952130128736 0 4 2 16800973 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 20770816 140729233527814 140729233528113 140729233528113 140729233530831 0
[pid=20073/tid=20075] ppid=20070 vsize=15012476 memory=365 CPUtime=0 cores=0,2,4,6
/proc/20073/task/20075/stat : 20075 (java) S 20070 20070 16770 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224505839 15372775424 21653 33554432000 4194304 4196468 140729233522480 139952653921296 139952649688789 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20770816 140729233527814 140729233528113 140729233528113 140729233530831 0
[pid=20073/tid=20076] ppid=20070 vsize=15012476 memory=140717436704537 CPUtime=0 cores=0,2,4,6
/proc/20073/task/20076/stat : 20076 (java) S 20070 20070 16770 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224505839 15372775424 21653 33554432000 4194304 4196468 140729233522480 139952452697232 139952649688789 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20770816 140729233527814 140729233528113 140729233528113 140729233530831 0
[pid=20073/tid=20077] ppid=20070 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/20073/task/20077/stat : 20077 (java) S 20070 20070 16770 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224505839 15372775424 21653 33554432000 4194304 4196468 140729233522480 139952451644176 139952649688789 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20770816 140729233527814 140729233528113 140729233528113 140729233530831 0
[pid=20073/tid=20078] ppid=20070 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/20073/task/20078/stat : 20078 (java) S 20070 20070 16770 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224505839 15372775424 21653 33554432000 4194304 4196468 140729233522480 139952450591632 139952649688789 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20770816 140729233527814 140729233528113 140729233528113 140729233530831 0
[pid=20073/tid=20079] ppid=20070 vsize=15012476 memory=140717435512448 CPUtime=0 cores=0,2,4,6
/proc/20073/task/20079/stat : 20079 (java) S 20070 20070 16770 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224505840 15372775424 21653 33554432000 4194304 4196468 140729233522480 139951620155632 139952649689730 0 0 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20770816 140729233527814 140729233528113 140729233528113 140729233530831 0
[pid=20073/tid=20080] ppid=20070 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/20073/task/20080/stat : 20080 (java) S 20070 20070 16770 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 224505841 15372775424 21653 33554432000 4194304 4196468 140729233522480 139951240897696 139952649688789 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20770816 140729233527814 140729233528113 140729233528113 140729233530831 0
[pid=20073/tid=20081] ppid=20070 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/20073/task/20081/stat : 20081 (java) S 20070 20070 16770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224505841 15372775424 21653 33554432000 4194304 4196468 140729233522480 139950972461808 139952649688789 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20770816 140729233527814 140729233528113 140729233528113 140729233530831 0
[pid=20073/tid=20082] ppid=20070 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/20073/task/20082/stat : 20082 (java) S 20070 20070 16770 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224505843 15372775424 21653 33554432000 4194304 4196468 140729233522480 139950597953488 139952649697179 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20770816 140729233527814 140729233528113 140729233528113 140729233530831 0
[pid=20073/tid=20083] ppid=20070 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/20073/task/20083/stat : 20083 (java) S 20070 20070 16770 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 15 0 224505843 15372775424 21653 33554432000 4194304 4196468 140729233522480 139951619103472 139952649689730 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20770816 140729233527814 140729233528113 140729233528113 140729233530831 0
[pid=20073/tid=20084] ppid=20070 vsize=15012476 memory=-1 CPUtime=0.01 cores=0,2,4,6
/proc/20073/task/20084/stat : 20084 (java) S 20070 20070 16770 0 -1 1077944384 430 0 0 0 1 0 0 0 20 0 15 0 224505843 15372775424 21653 33554432000 4194304 4196468 140729233522480 139951618050928 139952649689730 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20770816 140729233527814 140729233528113 140729233528113 140729233530831 0
[pid=20073/tid=20085] ppid=20070 vsize=15012476 memory=140717435512448 CPUtime=0.02 cores=0,2,4,6
/proc/20073/task/20085/stat : 20085 (java) S 20070 20070 16770 0 -1 1077944384 291 0 0 0 2 0 0 0 20 0 15 0 224505843 15372775424 21653 33554432000 4194304 4196468 140729233522480 139951616997872 139952649689730 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20770816 140729233527814 140729233528113 140729233528113 140729233530831 0
[pid=20073/tid=20086] ppid=20070 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/20073/task/20086/stat : 20086 (java) S 20070 20070 16770 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224505844 15372775424 21653 33554432000 4194304 4196468 140729233522480 139950100048736 139952649688789 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20770816 140729233527814 140729233528113 140729233528113 140729233530831 0
[pid=20073/tid=20087] ppid=20070 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/20073/task/20087/stat : 20087 (java) S 20070 20070 16770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224505844 15372775424 21653 33554432000 4194304 4196468 140729233522480 139951615945264 139952649689730 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20770816 140729233527814 140729233528113 140729233528113 140729233530831 0
Current children cumulated CPU time: 0.24 s
Current children cumulated vsize: 15125604 KiB
Current children cumulated memory: 88008 KiB

[startup+0.310594 s]*
/proc/loadavg: 2.00 2.01 2.07 3/223 20087
/proc/meminfo: memFree=10309560/32770624 swapFree=67108860/67108860
[pid=20070] ppid=20067 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/20070/stat : 20070 (scop.sh) S 20067 20070 16770 0 -1 4202496 562 321 0 0 0 0 0 0 20 0 1 0 224505837 115843072 349 33554432000 4194304 5098028 140737398923904 140737398921160 140625671856764 0 65536 4100 81923 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 15515648 140737398928448 140737398928647 140737398928647 140737398931405 0
/proc/20070/statm: 28282 349 296 221 0 87 0
[pid=20073] ppid=20070 vsize=15012476 memory=90132 CPUtime=0.42 cores=0,2,4,6
/proc/20073/stat : 20073 (java) S 20070 20070 16770 0 -1 1077944320 10023 0 0 0 40 2 0 0 20 0 15 0 224505837 15372775424 22533 33554432000 4194304 4196468 140729233522480 140729233505024 139952649678583 0 0 2 16800973 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 20770816 140729233527814 140729233528113 140729233528113 140729233530831 0
/proc/20073/statm: 3753119 22533 2975 1 0 3715579 0
[pid=20073/tid=20074] ppid=20070 vsize=15012476 memory=6791534058613427641 CPUtime=0.29 cores=0,2,4,6
/proc/20073/task/20074/stat : 20074 (java) R 20070 20070 16770 0 -1 4202560 7758 0 0 0 27 2 0 0 20 0 15 0 224505837 15372775424 22533 33554432000 4194304 4196468 140729233522480 139952621473584 139952632865378 0 4 2 16800973 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 20770816 140729233527814 140729233528113 140729233528113 140729233530831 0
[pid=20073/tid=20075] ppid=20070 vsize=15012476 memory=4126316290023845779 CPUtime=0 cores=0,2,4,6
/proc/20073/task/20075/stat : 20075 (java) S 20070 20070 16770 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224505839 15372775424 22533 33554432000 4194304 4196468 140729233522480 139952653921296 139952649688789 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20770816 140729233527814 140729233528113 140729233528113 140729233530831 0
[pid=20073/tid=20076] ppid=20070 vsize=15012476 memory=-3258418265892434876 CPUtime=0 cores=0,2,4,6
/proc/20073/task/20076/stat : 20076 (java) S 20070 20070 16770 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224505839 15372775424 22533 33554432000 4194304 4196468 140729233522480 139952452697232 139952649688789 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20770816 140729233527814 140729233528113 140729233528113 140729233530831 0
[pid=20073/tid=20077] ppid=20070 vsize=15012476 memory=4572146066226452084 CPUtime=0 cores=0,2,4,6
/proc/20073/task/20077/stat : 20077 (java) S 20070 20070 16770 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224505839 15372775424 22533 33554432000 4194304 4196468 140729233522480 139952451644176 139952649688789 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20770816 140729233527814 140729233528113 140729233528113 140729233530831 0
[pid=20073/tid=20078] ppid=20070 vsize=15012476 memory=6944613755495348631 CPUtime=0 cores=0,2,4,6
/proc/20073/task/20078/stat : 20078 (java) S 20070 20070 16770 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224505839 15372775424 22533 33554432000 4194304 4196468 140729233522480 139952450591632 139952649688789 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20770816 140729233527814 140729233528113 140729233528113 140729233530831 0
[pid=20073/tid=20079] ppid=20070 vsize=15012476 memory=7893295687695687954 CPUtime=0 cores=0,2,4,6
/proc/20073/task/20079/stat : 20079 (java) S 20070 20070 16770 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224505840 15372775424 22533 33554432000 4194304 4196468 140729233522480 139951620155632 139952649689730 0 0 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20770816 140729233527814 140729233528113 140729233528113 140729233530831 0
[pid=20073/tid=20080] ppid=20070 vsize=15012476 memory=-8813974798734826869 CPUtime=0 cores=0,2,4,6
/proc/20073/task/20080/stat : 20080 (java) S 20070 20070 16770 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 224505841 15372775424 22533 33554432000 4194304 4196468 140729233522480 139951240897696 139952649688789 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20770816 140729233527814 140729233528113 140729233528113 140729233530831 0
[pid=20073/tid=20081] ppid=20070 vsize=15012476 memory=-6664436420846796947 CPUtime=0 cores=0,2,4,6
/proc/20073/task/20081/stat : 20081 (java) S 20070 20070 16770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224505841 15372775424 22533 33554432000 4194304 4196468 140729233522480 139950972461808 139952649688789 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20770816 140729233527814 140729233528113 140729233528113 140729233530831 0
[pid=20073/tid=20082] ppid=20070 vsize=15012476 memory=4426078206164241782 CPUtime=0 cores=0,2,4,6
/proc/20073/task/20082/stat : 20082 (java) S 20070 20070 16770 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224505843 15372775424 22533 33554432000 4194304 4196468 140729233522480 139950597953488 139952649697179 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20770816 140729233527814 140729233528113 140729233528113 140729233530831 0
[pid=20073/tid=20083] ppid=20070 vsize=15012476 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/20073/task/20083/stat : 20083 (java) S 20070 20070 16770 0 -1 1077944384 95 0 0 0 1 0 0 0 20 0 15 0 224505843 15372775424 22533 33554432000 4194304 4196468 140729233522480 139951619103472 139952649689730 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20770816 140729233527814 140729233528113 140729233528113 140729233530831 0
[pid=20073/tid=20084] ppid=20070 vsize=15012476 memory=0 CPUtime=0.03 cores=0,2,4,6
/proc/20073/task/20084/stat : 20084 (java) S 20070 20070 16770 0 -1 1077944384 522 0 0 0 3 0 0 0 20 0 15 0 224505843 15372775424 22533 33554432000 4194304 4196468 140729233522480 139951618050928 139952649689730 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20770816 140729233527814 140729233528113 140729233528113 140729233530831 0
[pid=20073/tid=20085] ppid=20070 vsize=15012476 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/20073/task/20085/stat : 20085 (java) S 20070 20070 16770 0 -1 1077944384 314 0 0 0 7 0 0 0 20 0 15 0 224505843 15372775424 22533 33554432000 4194304 4196468 140729233522480 139951616997872 139952649689730 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20770816 140729233527814 140729233528113 140729233528113 140729233530831 0
[pid=20073/tid=20086] ppid=20070 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/20073/task/20086/stat : 20086 (java) S 20070 20070 16770 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224505844 15372775424 22533 33554432000 4194304 4196468 140729233522480 139950100048736 139952649688789 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20770816 140729233527814 140729233528113 140729233528113 140729233530831 0
[pid=20073/tid=20087] ppid=20070 vsize=15012476 memory=3689071724943450161 CPUtime=0 cores=0,2,4,6
/proc/20073/task/20087/stat : 20087 (java) S 20070 20070 16770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224505844 15372775424 22533 33554432000 4194304 4196468 140729233522480 139951615945264 139952649689730 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20770816 140729233527814 140729233528113 140729233528113 140729233530831 0
Current children cumulated CPU time: 0.42 s
Current children cumulated vsize: 15125604 KiB
Current children cumulated memory: 91528 KiB

[startup+0.708666 s]
/proc/loadavg: 2.00 2.01 2.07 3/223 20087
/proc/meminfo: memFree=10281208/32770624 swapFree=67108860/67108860
[pid=20070] ppid=20067 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/20070/stat : 20070 (scop.sh) S 20067 20070 16770 0 -1 4202496 562 321 0 0 0 0 0 0 20 0 1 0 224505837 115843072 349 33554432000 4194304 5098028 140737398923904 140737398921160 140625671856764 0 65536 4100 81923 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 15515648 140737398928448 140737398928647 140737398928647 140737398931405 0
/proc/20070/statm: 28282 349 296 221 0 87 0
[pid=20073] ppid=20070 vsize=15018748 memory=131100 CPUtime=1.05 cores=0,2,4,6
/proc/20073/stat : 20073 (java) S 20070 20070 16770 0 -1 1077944320 16841 0 0 0 101 4 0 0 20 0 15 0 224505837 15379197952 32775 33554432000 4194304 4196468 140729233522480 140729233505024 139952649678583 0 0 2 25189581 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 20770816 140729233527814 140729233528113 140729233528113 140729233530831 0
/proc/20073/statm: 3754687 32775 3137 1 0 3716091 0
[pid=20073/tid=20074] ppid=20070 vsize=15018748 memory=-7816663703405220396 CPUtime=0.67 cores=0,2,4,6
/proc/20073/task/20074/stat : 20074 (java) R 20070 20070 16770 0 -1 4202560 14078 0 0 0 64 3 0 0 20 0 15 0 224505837 15379197952 32775 33554432000 4194304 4196468 140729233522480 139952621514416 139952649700509 0 4 2 25189581 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 20770816 140729233527814 140729233528113 140729233528113 140729233530831 0
[pid=20073/tid=20075] ppid=20070 vsize=15018748 memory=0 CPUtime=0 cores=0,2,4,6
/proc/20073/task/20075/stat : 20075 (java) S 20070 20070 16770 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224505839 15379197952 32775 33554432000 4194304 4196468 140729233522480 139952653921296 139952649688789 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20770816 140729233527814 140729233528113 140729233528113 140729233530831 0
[pid=20073/tid=20076] ppid=20070 vsize=15018748 memory=60936 CPUtime=0 cores=0,2,4,6
/proc/20073/task/20076/stat : 20076 (java) S 20070 20070 16770 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224505839 15379197952 32775 33554432000 4194304 4196468 140729233522480 139952452697232 139952649688789 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20770816 140729233527814 140729233528113 140729233528113 140729233530831 0
[pid=20073/tid=20077] ppid=20070 vsize=15018748 memory=1240 CPUtime=0 cores=0,2,4,6
/proc/20073/task/20077/stat : 20077 (java) S 20070 20070 16770 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224505839 15379197952 32775 33554432000 4194304 4196468 140729233522480 139952451644176 139952649688789 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20770816 140729233527814 140729233528113 140729233528113 140729233530831 0
[pid=20073/tid=20078] ppid=20070 vsize=15018748 memory=2416 CPUtime=0 cores=0,2,4,6
/proc/20073/task/20078/stat : 20078 (java) S 20070 20070 16770 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224505839 15379197952 32775 33554432000 4194304 4196468 140729233522480 139952450591632 139952649688789 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20770816 140729233527814 140729233528113 140729233528113 140729233530831 0
[pid=20073/tid=20079] ppid=20070 vsize=15018748 memory=1788 CPUtime=0 cores=0,2,4,6
/proc/20073/task/20079/stat : 20079 (java) S 20070 20070 16770 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 224505840 15379197952 32775 33554432000 4194304 4196468 140729233522480 139951620155632 139952649689730 0 0 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20770816 140729233527814 140729233528113 140729233528113 140729233530831 0
[pid=20073/tid=20080] ppid=20070 vsize=15018748 memory=1704 CPUtime=0 cores=0,2,4,6
/proc/20073/task/20080/stat : 20080 (java) S 20070 20070 16770 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 224505841 15379197952 32775 33554432000 4194304 4196468 140729233522480 139951240897696 139952649688789 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20770816 140729233527814 140729233528113 140729233528113 140729233530831 0
[pid=20073/tid=20081] ppid=20070 vsize=15018748 memory=796 CPUtime=0 cores=0,2,4,6
/proc/20073/task/20081/stat : 20081 (java) S 20070 20070 16770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224505841 15379197952 32775 33554432000 4194304 4196468 140729233522480 139950972461808 139952649688789 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20770816 140729233527814 140729233528113 140729233528113 140729233530831 0
[pid=20073/tid=20082] ppid=20070 vsize=15018748 memory=5408 CPUtime=0 cores=0,2,4,6
/proc/20073/task/20082/stat : 20082 (java) S 20070 20070 16770 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224505843 15379197952 32775 33554432000 4194304 4196468 140729233522480 139950597953488 139952649697179 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20770816 140729233527814 140729233528113 140729233528113 140729233530831 0
[pid=20073/tid=20083] ppid=20070 vsize=15018748 memory=876 CPUtime=0.1 cores=0,2,4,6
/proc/20073/task/20083/stat : 20083 (java) R 20070 20070 16770 0 -1 4202560 357 0 0 0 10 0 0 0 20 0 15 0 224505843 15379197952 32775 33554432000 4194304 4196468 140729233522480 139951619092272 139952633207328 0 4 2 25189581 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 20770816 140729233527814 140729233528113 140729233528113 140729233530831 0
[pid=20073/tid=20084] ppid=20070 vsize=15018748 memory=10096 CPUtime=0.09 cores=0,2,4,6
/proc/20073/task/20084/stat : 20084 (java) R 20070 20070 16770 0 -1 4202560 601 0 0 0 9 0 0 0 20 0 15 0 224505843 15379197952 32775 33554432000 4194304 4196468 140729233522480 139951618040848 139952628850769 0 4 2 25189581 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 20770816 140729233527814 140729233528113 140729233528113 140729233530831 0
[pid=20073/tid=20085] ppid=20070 vsize=15018748 memory=1228 CPUtime=0.17 cores=0,2,4,6
/proc/20073/task/20085/stat : 20085 (java) R 20070 20070 16770 0 -1 1077944384 468 0 0 0 17 0 0 0 20 0 15 0 224505843 15379197952 32775 33554432000 4194304 4196468 140729233522480 139951616997872 139952649689730 0 4 2 25189581 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 20770816 140729233527814 140729233528113 140729233528113 140729233530831 0
[pid=20073/tid=20086] ppid=20070 vsize=15018748 memory=1952 CPUtime=0 cores=0,2,4,6
/proc/20073/task/20086/stat : 20086 (java) S 20070 20070 16770 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224505844 15379197952 32775 33554432000 4194304 4196468 140729233522480 139950100048736 139952649688789 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20770816 140729233527814 140729233528113 140729233528113 140729233530831 0
[pid=20073/tid=20087] ppid=20070 vsize=15018748 memory=1160 CPUtime=0 cores=0,2,4,6
/proc/20073/task/20087/stat : 20087 (java) S 20070 20070 16770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224505844 15379197952 32775 33554432000 4194304 4196468 140729233522480 139951615945264 139952649689730 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20770816 140729233527814 140729233528113 140729233528113 140729233530831 0
Current children cumulated CPU time: 1.05 s
Current children cumulated vsize: 15131876 KiB
Current children cumulated memory: 132496 KiB

[startup+1.50657 s]
/proc/loadavg: 2.00 2.01 2.07 5/223 20087
/proc/meminfo: memFree=10191356/32770624 swapFree=67108860/67108860
[pid=20070] ppid=20067 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/20070/stat : 20070 (scop.sh) S 20067 20070 16770 0 -1 4202496 562 321 0 0 0 0 0 0 20 0 1 0 224505837 115843072 349 33554432000 4194304 5098028 140737398923904 140737398921160 140625671856764 0 65536 4100 81923 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 15515648 140737398928448 140737398928647 140737398928647 140737398931405 0
/proc/20070/statm: 28282 349 296 221 0 87 0

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

Current children cumulated memory: 1172936 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2502.2 s]
/proc/loadavg: 2.03 2.11 2.09 3/227 20500
/proc/meminfo: memFree=8532800/32770624 swapFree=67108860/67108860
[pid=20070] ppid=20067 vsize=113128 memory=1472 CPUtime=96.72 cores=0,2,4,6
/proc/20070/stat : 20070 (scop.sh) S 20067 20070 16770 0 -1 4202496 592 76658 0 0 0 0 9377 295 20 0 1 0 224505837 115843072 368 33554432000 4194304 5098028 140737398923904 140737398920648 140625671856764 0 65536 4100 81923 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 15515648 140737398928448 140737398928647 140737398928647 140737398931405 0
/proc/20070/statm: 28282 368 311 221 0 87 0
[pid=20090] ppid=20070 vsize=8068220 memory=156232 CPUtime=3.28 cores=0,2,4,6
/proc/20090/stat : 20090 (java) S 20070 20070 16770 0 -1 1077944320 18159 0 0 0 242 86 0 0 20 0 19 0 224513887 8261857280 39058 33554432000 4194304 4196468 140725066713776 140725066696320 139990444531447 0 0 2 25189581 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 14925824 140725066716341 140725066716465 140725066716465 140725066719183 0
/proc/20090/statm: 2017055 39058 3171 1 0 1978454 0
[pid=20105] ppid=20090 vsize=1072124 memory=1013184 CPUtime=2420.04 cores=0,2,4,6
/proc/20105/stat : 20105 (minisat_release) R 20090 20070 16770 0 -1 4202496 3691168 0 0 0 241232 772 0 0 20 0 1 0 224514006 1097854976 253296 33554432000 4194304 4308513 140726764555408 140726764552824 4276036 0 4 0 8396802 0 0 0 17 0 0 0 0 0 0 6409496 6410680 38952960 140726764557428 140726764557526 140726764557526 140726764560325 0
/proc/20105/statm: 268031 253296 341 28 0 264271 0
[pid=20090/tid=20091] ppid=20070 vsize=8068220 memory=281434579821632 CPUtime=1.2 cores=0,2,4,6
/proc/20090/task/20091/stat : 20091 (java) S 20070 20070 16770 0 -1 1077944384 14515 0 0 0 92 28 0 0 20 0 19 0 224513888 8261857280 39058 33554432000 4194304 4196468 140725066713776 139990416371600 139990444541653 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14925824 140725066716341 140725066716465 140725066716465 140725066719183 0
[pid=20090/tid=20092] ppid=20070 vsize=8068220 memory=7165334112528525412 CPUtime=0 cores=0,2,4,6
/proc/20090/task/20092/stat : 20092 (java) S 20070 20070 16770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 224513889 8261857280 39058 33554432000 4194304 4196468 140725066713776 139990448774032 139990444541653 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14925824 140725066716341 140725066716465 140725066716465 140725066719183 0
[pid=20090/tid=20093] ppid=20070 vsize=8068220 memory=6299241081080998250 CPUtime=0 cores=0,2,4,6
/proc/20090/task/20093/stat : 20093 (java) S 20070 20070 16770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 224513889 8261857280 39058 33554432000 4194304 4196468 140725066713776 139990248942352 139990444541653 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14925824 140725066716341 140725066716465 140725066716465 140725066719183 0
[pid=20090/tid=20094] ppid=20070 vsize=8068220 memory=7450450572952037488 CPUtime=0 cores=0,2,4,6
/proc/20090/task/20094/stat : 20094 (java) S 20070 20070 16770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 224513889 8261857280 39058 33554432000 4194304 4196468 140725066713776 139990247890064 139990444541653 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14925824 140725066716341 140725066716465 140725066716465 140725066719183 0
[pid=20090/tid=20095] ppid=20070 vsize=8068220 memory=7440056992597305454 CPUtime=0 cores=0,2,4,6
/proc/20090/task/20095/stat : 20095 (java) S 20070 20070 16770 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 224513889 8261857280 39058 33554432000 4194304 4196468 140725066713776 139990246837264 139990444541653 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14925824 140725066716341 140725066716465 140725066716465 140725066719183 0
[pid=20090/tid=20096] ppid=20070 vsize=8068220 memory=7667497561383256160 CPUtime=0.04 cores=0,2,4,6
/proc/20090/task/20096/stat : 20096 (java) S 20070 20070 16770 0 -1 1077944384 7 0 0 0 2 2 0 0 20 0 19 0 224513891 8261857280 39058 33554432000 4194304 4196468 140725066713776 139989823232112 139990444542594 0 0 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14925824 140725066716341 140725066716465 140725066716465 140725066719183 0
[pid=20090/tid=20097] ppid=20070 vsize=8068220 memory=7518874362664675688 CPUtime=0 cores=0,2,4,6
/proc/20090/task/20097/stat : 20097 (java) S 20070 20070 16770 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 224513891 8261857280 39058 33554432000 4194304 4196468 140725066713776 139989291623200 139990444541653 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14925824 140725066716341 140725066716465 140725066716465 140725066719183 0
[pid=20090/tid=20098] ppid=20070 vsize=8068220 memory=7958538293430218343 CPUtime=0 cores=0,2,4,6
/proc/20090/task/20098/stat : 20098 (java) S 20070 20070 16770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 224513891 8261857280 39058 33554432000 4194304 4196468 140725066713776 139989023188080 139990444541653 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14925824 140725066716341 140725066716465 140725066716465 140725066719183 0
[pid=20090/tid=20099] ppid=20070 vsize=8068220 memory=7163088904787617890 CPUtime=0 cores=0,2,4,6
/proc/20090/task/20099/stat : 20099 (java) S 20070 20070 16770 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 224513894 8261857280 39058 33554432000 4194304 4196468 140725066713776 139988648679504 139990444550043 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14925824 140725066716341 140725066716465 140725066716465 140725066719183 0
[pid=20090/tid=20100] ppid=20070 vsize=8068220 memory=6080543837283051111 CPUtime=0.28 cores=0,2,4,6
/proc/20090/task/20100/stat : 20100 (java) S 20070 20070 16770 0 -1 1077944384 947 0 0 0 28 0 0 0 20 0 19 0 224513894 8261857280 39058 33554432000 4194304 4196468 140725066713776 139989822179952 139990444542594 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14925824 140725066716341 140725066716465 140725066716465 140725066719183 0
[pid=20090/tid=20101] ppid=20070 vsize=8068220 memory=7380948342652954476 CPUtime=0.24 cores=0,2,4,6
/proc/20090/task/20101/stat : 20101 (java) S 20070 20070 16770 0 -1 1077944384 585 0 0 0 24 0 0 0 20 0 19 0 224513894 8261857280 39058 33554432000 4194304 4196468 140725066713776 139989821127152 139990444542594 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14925824 140725066716341 140725066716465 140725066716465 140725066719183 0
[pid=20090/tid=20102] ppid=20070 vsize=8068220 memory=840 CPUtime=0.23 cores=0,2,4,6
/proc/20090/task/20102/stat : 20102 (java) S 20070 20070 16770 0 -1 1077944384 556 0 0 0 23 0 0 0 20 0 19 0 224513894 8261857280 39058 33554432000 4194304 4196468 140725066713776 139989820074864 139990444542594 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14925824 140725066716341 140725066716465 140725066716465 140725066719183 0
[pid=20090/tid=20103] ppid=20070 vsize=8068220 memory=1796 CPUtime=0 cores=0,2,4,6
/proc/20090/task/20103/stat : 20103 (java) S 20070 20070 16770 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 224513894 8261857280 39058 33554432000 4194304 4196468 140725066713776 139988150774752 139990444541653 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14925824 140725066716341 140725066716465 140725066716465 140725066719183 0
[pid=20090/tid=20104] ppid=20070 vsize=8068220 memory=916 CPUtime=1.24 cores=0,2,4,6
/proc/20090/task/20104/stat : 20104 (java) S 20070 20070 16770 0 -1 1077944384 163 0 0 0 64 60 0 0 20 0 19 0 224513894 8261857280 39058 33554432000 4194304 4196468 140725066713776 139989819021744 139990444542594 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 24 0 0 6293624 6294260 14925824 140725066716341 140725066716465 140725066716465 140725066719183 0
[pid=20090/tid=20106] ppid=20070 vsize=8068220 memory=3848 CPUtime=0 cores=0,2,4,6
/proc/20090/task/20106/stat : 20106 (java) S 20070 20070 16770 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 224514006 8261857280 39058 33554432000 4194304 4196468 140725066713776 139989895885760 139990444556057 0 4 2 25189581 18446744071579417331 0 0 -1 2 0 0 0 0 0 6293624 6294260 14925824 140725066716341 140725066716465 140725066716465 140725066719183 0
[pid=20090/tid=20108] ppid=20070 vsize=8068220 memory=2592 CPUtime=0 cores=0,2,4,6
/proc/20090/task/20108/stat : 20108 (java) S 20070 20070 16770 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 224514006 8261857280 39058 33554432000 4194304 4196468 140725066713776 139987613888048 139990444553373 0 4 2 25189581 18446744071580971376 0 0 -1 2 0 0 0 0 0 6293624 6294260 14925824 140725066716341 140725066716465 140725066716465 140725066719183 0
[pid=20090/tid=20109] ppid=20070 vsize=8068220 memory=3428 CPUtime=0 cores=0,2,4,6
/proc/20090/task/20109/stat : 20109 (java) S 20070 20070 16770 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 224514006 8261857280 39058 33554432000 4194304 4196468 140725066713776 139987345457072 139990444553373 0 4 2 25189581 18446744071580971376 0 0 -1 6 0 0 0 0 0 6293624 6294260 14925824 140725066716341 140725066716465 140725066716465 140725066719183 0
[pid=20090/tid=20110] ppid=20070 vsize=8068220 memory=1408 CPUtime=0 cores=0,2,4,6
/proc/20090/task/20110/stat : 20110 (java) S 20070 20070 16770 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 19 0 224514009 8261857280 39058 33554432000 4194304 4196468 140725066713776 139987748117920 139990444541653 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14925824 140725066716341 140725066716465 140725066716465 140725066719183 0
Current children cumulated CPU time: 2520.04 s
Current children cumulated vsize: 9253472 KiB
Current children cumulated memory: 1170888 KiB

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

[startup+2502.21 s]
# the end of solver process 20070 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=93.7799 s, system=2.95606 s

[startup+2502.31 s]*
/proc/loadavg: 2.03 2.11 2.09 3/223 20504
/proc/meminfo: memFree=9714044/32770624 swapFree=67108860/67108860
[pid=20090] ppid=20067 vsize=8198264 memory=164480 CPUtime=2423.45 cores=0,2,4,6
/proc/20090/stat : 20090 (java) S 20067 20070 16770 0 -1 1077944320 18204 3691168 0 0 242 92 241232 779 20 0 17 0 224513887 8395022336 41120 33554432000 4194304 4196468 140725066713776 140725066696320 139990444531447 0 0 2 25189581 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 14925824 140725066716341 140725066716465 140725066716465 140725066719183 0
/proc/20090/statm: 2049566 41120 3172 1 0 2010965 0
[pid=20090/tid=20091] ppid=20067 vsize=8198264 memory=1580 CPUtime=2421.31 cores=0,2,4,6
/proc/20090/task/20091/stat : 20091 (java) S 20067 20070 16770 0 -1 1077944384 14515 3691168 0 0 92 28 241232 779 20 0 17 0 224513888 8395022336 41120 33554432000 4194304 4196468 140725066713776 139990416371600 139990444541653 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14925824 140725066716341 140725066716465 140725066716465 140725066719183 0
[pid=20090/tid=20092] ppid=20067 vsize=8198264 memory=4126316290023845779 CPUtime=2420.11 cores=0,2,4,6
/proc/20090/task/20092/stat : 20092 (java) S 20067 20070 16770 0 -1 1077944384 1 3691168 0 0 0 0 241232 779 20 0 17 0 224513889 8395022336 41120 33554432000 4194304 4196468 140725066713776 139990448774032 139990444541653 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14925824 140725066716341 140725066716465 140725066716465 140725066719183 0
[pid=20090/tid=20093] ppid=20067 vsize=8198264 memory=1428 CPUtime=2420.11 cores=0,2,4,6
/proc/20090/task/20093/stat : 20093 (java) S 20067 20070 16770 0 -1 1077944384 1 3691168 0 0 0 0 241232 779 20 0 17 0 224513889 8395022336 41120 33554432000 4194304 4196468 140725066713776 139990248942352 139990444541653 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14925824 140725066716341 140725066716465 140725066716465 140725066719183 0
[pid=20090/tid=20094] ppid=20067 vsize=8198264 memory=15880 CPUtime=2420.11 cores=0,2,4,6
/proc/20090/task/20094/stat : 20094 (java) S 20067 20070 16770 0 -1 1077944384 1 3691168 0 0 0 0 241232 779 20 0 17 0 224513889 8395022336 41120 33554432000 4194304 4196468 140725066713776 139990247890064 139990444541653 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14925824 140725066716341 140725066716465 140725066716465 140725066719183 0
[pid=20090/tid=20095] ppid=20067 vsize=8198264 memory=16228 CPUtime=2420.11 cores=0,2,4,6
/proc/20090/task/20095/stat : 20095 (java) S 20067 20070 16770 0 -1 1077944384 2 3691168 0 0 0 0 241232 779 20 0 17 0 224513889 8395022336 41120 33554432000 4194304 4196468 140725066713776 139990246837264 139990444541653 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14925824 140725066716341 140725066716465 140725066716465 140725066719183 0
[pid=20090/tid=20096] ppid=20067 vsize=8198264 memory=33912 CPUtime=2420.15 cores=0,2,4,6
/proc/20090/task/20096/stat : 20096 (java) S 20067 20070 16770 0 -1 1077944384 7 3691168 0 0 2 2 241232 779 20 0 17 0 224513891 8395022336 41120 33554432000 4194304 4196468 140725066713776 139989823231616 139990444542594 0 0 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14925824 140725066716341 140725066716465 140725066716465 140725066719183 0
[pid=20090/tid=20097] ppid=20067 vsize=8198264 memory=4048 CPUtime=2420.11 cores=0,2,4,6
/proc/20090/task/20097/stat : 20097 (java) S 20067 20070 16770 0 -1 1077944384 13 3691168 0 0 0 0 241232 779 20 0 17 0 224513891 8395022336 41120 33554432000 4194304 4196468 140725066713776 139989291623200 139990444541653 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14925824 140725066716341 140725066716465 140725066716465 140725066719183 0
[pid=20090/tid=20098] ppid=20067 vsize=8198264 memory=156232 CPUtime=2420.11 cores=0,2,4,6
/proc/20090/task/20098/stat : 20098 (java) S 20067 20070 16770 0 -1 1077944384 1 3691168 0 0 0 0 241232 779 20 0 17 0 224513891 8395022336 41120 33554432000 4194304 4196468 140725066713776 139989023188080 139990444541653 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14925824 140725066716341 140725066716465 140725066716465 140725066719183 0
[pid=20090/tid=20100] ppid=20067 vsize=8198264 memory=991076 CPUtime=2420.39 cores=0,2,4,6
/proc/20090/task/20100/stat : 20100 (java) S 20067 20070 16770 0 -1 1077944384 947 3691168 0 0 28 0 241232 779 20 0 17 0 224513894 8395022336 41120 33554432000 4194304 4196468 140725066713776 139989822179952 139990444542594 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14925824 140725066716341 140725066716465 140725066716465 140725066719183 0
[pid=20090/tid=20101] ppid=20067 vsize=8198264 memory=156232 CPUtime=2420.35 cores=0,2,4,6
/proc/20090/task/20101/stat : 20101 (java) S 20067 20070 16770 0 -1 1077944384 585 3691168 0 0 24 0 241232 779 20 0 17 0 224513894 8395022336 41120 33554432000 4194304 4196468 140725066713776 139989821127152 139990444542594 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14925824 140725066716341 140725066716465 140725066716465 140725066719183 0
[pid=20090/tid=20102] ppid=20067 vsize=8198264 memory=1011136 CPUtime=2420.34 cores=0,2,4,6
/proc/20090/task/20102/stat : 20102 (java) S 20067 20070 16770 0 -1 1077944384 556 3691168 0 0 23 0 241232 779 20 0 17 0 224513894 8395022336 41120 33554432000 4194304 4196468 140725066713776 139989820074864 139990444542594 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14925824 140725066716341 140725066716465 140725066716465 140725066719183 0
[pid=20090/tid=20103] ppid=20067 vsize=8198264 memory=1412 CPUtime=2420.11 cores=0,2,4,6
/proc/20090/task/20103/stat : 20103 (java) S 20067 20070 16770 0 -1 1077944384 3 3691168 0 0 0 0 241232 779 20 0 17 0 224513894 8395022336 41120 33554432000 4194304 4196468 140725066713776 139988150774752 139990444541653 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14925824 140725066716341 140725066716465 140725066716465 140725066719183 0
[pid=20090/tid=20106] ppid=20067 vsize=8198264 memory=3556 CPUtime=2420.11 cores=0,2,4,6
/proc/20090/task/20106/stat : 20106 (java) S 20067 20070 16770 0 -1 1077944384 25 3691168 0 0 0 0 241232 779 20 0 17 0 224514006 8395022336 41120 33554432000 4194304 4196468 140725066713776 139989895883024 139990444541653 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14925824 140725066716341 140725066716465 140725066716465 140725066719183 0
[pid=20090/tid=20110] ppid=20067 vsize=8198264 memory=2240 CPUtime=2420.11 cores=0,2,4,6
/proc/20090/task/20110/stat : 20110 (java) S 20067 20070 16770 0 -1 1077944384 23 3691168 0 0 0 0 241232 779 20 0 17 0 224514009 8395022336 41120 33554432000 4194304 4196468 140725066713776 139987748108160 139990444541653 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14925824 140725066716341 140725066716465 140725066716465 140725066719183 0
[pid=20090/tid=20501] ppid=20067 vsize=8198264 memory=4124 CPUtime=2420.11 cores=0,2,4,6
/proc/20090/task/20501/stat : 20501 (java) S 20067 20070 16770 0 -1 1077944384 8 3691168 0 0 0 0 241232 779 20 0 17 0 224756057 8395022336 41120 33554432000 4194304 4196468 140725066713776 139987077030480 139990444541653 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14925824 140725066716341 140725066716465 140725066716465 140725066719183 0
[pid=20090/tid=20504] ppid=20067 vsize=8198264 memory=2100 CPUtime=2420.15 cores=0,2,4,6
/proc/20090/task/20504/stat : 20504 (java) R 20067 20070 16770 0 -1 4202560 2 3691168 0 0 0 4 241232 779 20 0 17 0 224756058 8395022336 41120 33554432000 4194304 4196468 140725066713776 139986808595744 139990437217079 0 4 2 25189581 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 14925824 140725066716341 140725066716465 140725066716465 140725066719183 0
Current cumulated CPU time of completed processes: 96.736 s
Current children cumulated CPU time: 2423.45 s
Current children cumulated vsize: 8198264 KiB
Current children cumulated memory: 164480 KiB

[startup+2502.39 s]
# the end of solver process 20090 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2508.53 s, system=11.7494 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+2502.31 s]*
/proc/loadavg: 2.03 2.11 2.09 3/223 20504
/proc/meminfo: memFree=9714044/32770624 swapFree=67108860/67108860
[pid=20090] ppid=20067 vsize=8198264 memory=164480 CPUtime=2423.45 cores=0,2,4,6
/proc/20090/stat : 20090 (java) S 20067 20070 16770 0 -1 1077944320 18204 3691168 0 0 242 92 241232 779 20 0 17 0 224513887 8395022336 41120 33554432000 4194304 4196468 140725066713776 140725066696320 139990444531447 0 0 2 25189581 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 14925824 140725066716341 140725066716465 140725066716465 140725066719183 0
/proc/20090/statm: 2049566 41120 3172 1 0 2010965 0
[pid=20090/tid=20091] ppid=20067 vsize=8198264 memory=1580 CPUtime=2421.31 cores=0,2,4,6
/proc/20090/task/20091/stat : 20091 (java) S 20067 20070 16770 0 -1 1077944384 14515 3691168 0 0 92 28 241232 779 20 0 17 0 224513888 8395022336 41120 33554432000 4194304 4196468 140725066713776 139990416371600 139990444541653 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14925824 140725066716341 140725066716465 140725066716465 140725066719183 0
[pid=20090/tid=20092] ppid=20067 vsize=8198264 memory=4126316290023845779 CPUtime=2420.11 cores=0,2,4,6
/proc/20090/task/20092/stat : 20092 (java) S 20067 20070 16770 0 -1 1077944384 1 3691168 0 0 0 0 241232 779 20 0 17 0 224513889 8395022336 41120 33554432000 4194304 4196468 140725066713776 139990448774032 139990444541653 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14925824 140725066716341 140725066716465 140725066716465 140725066719183 0
[pid=20090/tid=20093] ppid=20067 vsize=8198264 memory=1428 CPUtime=2420.11 cores=0,2,4,6
/proc/20090/task/20093/stat : 20093 (java) S 20067 20070 16770 0 -1 1077944384 1 3691168 0 0 0 0 241232 779 20 0 17 0 224513889 8395022336 41120 33554432000 4194304 4196468 140725066713776 139990248942352 139990444541653 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14925824 140725066716341 140725066716465 140725066716465 140725066719183 0
[pid=20090/tid=20094] ppid=20067 vsize=8198264 memory=15880 CPUtime=2420.11 cores=0,2,4,6
/proc/20090/task/20094/stat : 20094 (java) S 20067 20070 16770 0 -1 1077944384 1 3691168 0 0 0 0 241232 779 20 0 17 0 224513889 8395022336 41120 33554432000 4194304 4196468 140725066713776 139990247890064 139990444541653 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14925824 140725066716341 140725066716465 140725066716465 140725066719183 0
[pid=20090/tid=20095] ppid=20067 vsize=8198264 memory=16228 CPUtime=2420.11 cores=0,2,4,6
/proc/20090/task/20095/stat : 20095 (java) S 20067 20070 16770 0 -1 1077944384 2 3691168 0 0 0 0 241232 779 20 0 17 0 224513889 8395022336 41120 33554432000 4194304 4196468 140725066713776 139990246837264 139990444541653 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14925824 140725066716341 140725066716465 140725066716465 140725066719183 0
[pid=20090/tid=20096] ppid=20067 vsize=8198264 memory=33912 CPUtime=2420.15 cores=0,2,4,6
/proc/20090/task/20096/stat : 20096 (java) S 20067 20070 16770 0 -1 1077944384 7 3691168 0 0 2 2 241232 779 20 0 17 0 224513891 8395022336 41120 33554432000 4194304 4196468 140725066713776 139989823231616 139990444542594 0 0 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14925824 140725066716341 140725066716465 140725066716465 140725066719183 0
[pid=20090/tid=20097] ppid=20067 vsize=8198264 memory=4048 CPUtime=2420.11 cores=0,2,4,6
/proc/20090/task/20097/stat : 20097 (java) S 20067 20070 16770 0 -1 1077944384 13 3691168 0 0 0 0 241232 779 20 0 17 0 224513891 8395022336 41120 33554432000 4194304 4196468 140725066713776 139989291623200 139990444541653 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14925824 140725066716341 140725066716465 140725066716465 140725066719183 0
[pid=20090/tid=20098] ppid=20067 vsize=8198264 memory=156232 CPUtime=2420.11 cores=0,2,4,6
/proc/20090/task/20098/stat : 20098 (java) S 20067 20070 16770 0 -1 1077944384 1 3691168 0 0 0 0 241232 779 20 0 17 0 224513891 8395022336 41120 33554432000 4194304 4196468 140725066713776 139989023188080 139990444541653 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14925824 140725066716341 140725066716465 140725066716465 140725066719183 0
[pid=20090/tid=20100] ppid=20067 vsize=8198264 memory=991076 CPUtime=2420.39 cores=0,2,4,6
/proc/20090/task/20100/stat : 20100 (java) S 20067 20070 16770 0 -1 1077944384 947 3691168 0 0 28 0 241232 779 20 0 17 0 224513894 8395022336 41120 33554432000 4194304 4196468 140725066713776 139989822179952 139990444542594 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14925824 140725066716341 140725066716465 140725066716465 140725066719183 0
[pid=20090/tid=20101] ppid=20067 vsize=8198264 memory=156232 CPUtime=2420.35 cores=0,2,4,6
/proc/20090/task/20101/stat : 20101 (java) S 20067 20070 16770 0 -1 1077944384 585 3691168 0 0 24 0 241232 779 20 0 17 0 224513894 8395022336 41120 33554432000 4194304 4196468 140725066713776 139989821127152 139990444542594 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14925824 140725066716341 140725066716465 140725066716465 140725066719183 0
[pid=20090/tid=20102] ppid=20067 vsize=8198264 memory=1011136 CPUtime=2420.34 cores=0,2,4,6
/proc/20090/task/20102/stat : 20102 (java) S 20067 20070 16770 0 -1 1077944384 556 3691168 0 0 23 0 241232 779 20 0 17 0 224513894 8395022336 41120 33554432000 4194304 4196468 140725066713776 139989820074864 139990444542594 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14925824 140725066716341 140725066716465 140725066716465 140725066719183 0
[pid=20090/tid=20103] ppid=20067 vsize=8198264 memory=1412 CPUtime=2420.11 cores=0,2,4,6
/proc/20090/task/20103/stat : 20103 (java) S 20067 20070 16770 0 -1 1077944384 3 3691168 0 0 0 0 241232 779 20 0 17 0 224513894 8395022336 41120 33554432000 4194304 4196468 140725066713776 139988150774752 139990444541653 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14925824 140725066716341 140725066716465 140725066716465 140725066719183 0
[pid=20090/tid=20106] ppid=20067 vsize=8198264 memory=3556 CPUtime=2420.11 cores=0,2,4,6
/proc/20090/task/20106/stat : 20106 (java) S 20067 20070 16770 0 -1 1077944384 25 3691168 0 0 0 0 241232 779 20 0 17 0 224514006 8395022336 41120 33554432000 4194304 4196468 140725066713776 139989895883024 139990444541653 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14925824 140725066716341 140725066716465 140725066716465 140725066719183 0
[pid=20090/tid=20110] ppid=20067 vsize=8198264 memory=2240 CPUtime=2420.11 cores=0,2,4,6
/proc/20090/task/20110/stat : 20110 (java) S 20067 20070 16770 0 -1 1077944384 23 3691168 0 0 0 0 241232 779 20 0 17 0 224514009 8395022336 41120 33554432000 4194304 4196468 140725066713776 139987748108160 139990444541653 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14925824 140725066716341 140725066716465 140725066716465 140725066719183 0
[pid=20090/tid=20501] ppid=20067 vsize=8198264 memory=4124 CPUtime=2420.11 cores=0,2,4,6
/proc/20090/task/20501/stat : 20501 (java) S 20067 20070 16770 0 -1 1077944384 8 3691168 0 0 0 0 241232 779 20 0 17 0 224756057 8395022336 41120 33554432000 4194304 4196468 140725066713776 139987077030480 139990444541653 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14925824 140725066716341 140725066716465 140725066716465 140725066719183 0
[pid=20090/tid=20504] ppid=20067 vsize=8198264 memory=2100 CPUtime=2420.15 cores=0,2,4,6
/proc/20090/task/20504/stat : 20504 (java) R 20067 20070 16770 0 -1 4202560 2 3691168 0 0 0 4 241232 779 20 0 17 0 224756058 8395022336 41120 33554432000 4194304 4196468 140725066713776 139986808595744 139990437217079 0 4 2 25189581 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 14925824 140725066716341 140725066716465 140725066716465 140725066719183 0
Current cumulated CPU time of completed processes: 96.736 s
Current children cumulated CPU time: 2423.45 s
Current children cumulated vsize: 8198264 KiB
Current children cumulated memory: 164480 KiB

Child status: 1
Real time (s): 2502.39
CPU time (s): 2520.28
CPU user time (s): 2508.53
CPU system time (s): 11.7494
CPU usage (%): 100.715
Max. virtual memory (cumulated for all children) (KiB): 15142280
Max. memory (cumulated for all children) (KiB): 4043112

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2508.53
system time used= 11.7494
maximum resident set size= 4042120
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3787126
page faults= 0
swaps= 0
block input operations= 16
block output operations= 1111152
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 61188
involuntary context switches= 2892


# summary of solver processes directly reported to runsolver:
#   pid: 20070,20090
#   total CPU time (s): 2520.28
#   total CPU user time (s): 2508.53
#   total CPU system time (s): 11.7494

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 22.0752 second user time and 22.3864 second system time

The end

Launcher Data 

Begin job on node139 at 2018-08-12 12:23:47
IDJOB=4305513
IDBENCH=141231
IDSOLVER=2782
FILE ID=node139/4305513-1534069427
RUNJOBID= node139-1534060441-16801
PBS_JOBID= 21036974
Free space on /tmp= 28208 MiB

SOLVER NAME= scop order+MapleCOMSPS (2018-07-31)
BENCH NAME= XCSP18/PseudoBoolean-dec/Pb-robin16_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-4305513-1534069427/watcher-4305513-1534069427 -o /tmp/evaluation-result-4305513-1534069427/solver-4305513-1534069427 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node139-1534060441-16801 --watchdog 2580  scop.sh 11g scop.jar -order minisat_release default HOME HOME/instance-4305513-1534069427.xml

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

MD5SUM BENCH= 5947b7d603c6960c1f689b2eabbe33a0
RANDOM SEED=1059505029

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

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32770624 kB
MemFree:        10392488 kB
MemAvailable:   31561044 kB
Buffers:          223160 kB
Cached:         20867752 kB
SwapCached:            0 kB
Active:          8463464 kB
Inactive:       13025980 kB
Active(anon):     352180 kB
Inactive(anon):    98692 kB
Active(file):    8111284 kB
Inactive(file): 12927288 kB
Unevictable:        7296 kB
Mlocked:            7296 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:              8272 kB
Writeback:             0 kB
AnonPages:        419944 kB
Mapped:            73512 kB
Shmem:             49804 kB
Slab:             586720 kB
SReclaimable:     558444 kB
SUnreclaim:        28276 kB
KernelStack:        3776 kB
PageTables:         6876 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    6062644 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    268288 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      107904 kB
DirectMap2M:    33437696 kB

Free space on /tmp at the end= 28120 MiB
End job on node139 at 2018-08-12 13:05:29