Trace number 4305470

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.07 2507.02

General information on the benchmark

NameFrb/
frb-53-24-1-mgd_c18.xml
MD5SUMe77860b1077c007311080ac2a4bc32f8
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 variables53
Number of constraints475
Number of domains1
Minimum domain size24
Maximum domain size24
Distribution of domain sizes[{"size":24,"count":53}]
Minimum variable degree12
Maximum variable degree25
Distribution of variable degrees[{"degree":12,"count":3},{"degree":13,"count":3},{"degree":14,"count":3},{"degree":15,"count":6},{"degree":16,"count":3},{"degree":17,"count":7},{"degree":18,"count":3},{"degree":19,"count":10},{"degree":20,"count":3},{"degree":21,"count":4},{"degree":22,"count":1},{"degree":23,"count":3},{"degree":24,"count":3},{"degree":25,"count":1}]
Minimum constraint arity2
Maximum constraint arity2
Distribution of constraint arities[{"arity":2,"count":475}]
Number of extensional constraints475
Number of intensional constraints0
Distribution of constraint types[{"type":"extension","count":475}]
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-22836-serial-file.bin HOME/instance-4305470-1534085787.xml
0.54/0.51	
0.67/0.52	scop order+minisat_release (2018-07-31)
0.67/0.52	(Encoding Process)
0.67/0.52	
0.67/0.54	c BEGIN-Prog: Sun Aug 12 16:56:28 CEST 2018
0.67/0.54	c PID: 22839
0.67/0.54	c IP: 172.20.3.139
0.67/0.54	c HOST: node139.alineos.net
0.67/0.55	c (0,0) Parsing Begin
2.65/1.22	c (0,0) Parsing End
2.65/1.22	c (0,0) CSP: 53 int (0 aux), 0 bool (0 aux), 475 ctr, max domain size 24
2.65/1.22	c (0,0) Heap : 225 MiB used (max 10795 MiB), NonHeap : 19 MiB used (max 0 MiB)
2.65/1.22	c (0,0) Constraint Name Generate Begin
2.65/1.23	c (0,0) Ctr:HOME/instance-4305470-1534085787.xml,ExtensionConflict:ExtensionSupport:IntVar
2.65/1.23	c (0,0) Constraint Name Generate End
2.65/1.23	c (0,0) Heap : 225 MiB used (max 10795 MiB), NonHeap : 19 MiB used (max 0 MiB)
2.65/1.23	c (0,0) CSP to CSPinCNF Begin
5.82/2.30	c (1,1) translated 48 (10%) constraints
7.05/2.72	c (2,2) translated 95 (20%) constraints
8.29/3.11	c (2,2) translated 143 (30%) constraints
9.47/3.50	c (2,2) translated 190 (40%) constraints
10.38/3.82	c (3,3) translated 238 (50%) constraints
11.33/4.15	c (3,3) translated 285 (60%) constraints
12.21/4.43	c (3,3) translated 333 (70%) constraints
12.75/4.65	c (4,4) translated 380 (80%) constraints
13.02/4.86	c (4,4) translated 428 (90%) constraints
13.27/5.05	c (4,4) translated 475 (100%) constraints
14.04/5.38	c (4,4) STATISTICS1:HOME/instance-4305470-1534085787.xml,ExtensionConflict:ExtensionSupport:IntVar,437,58454,-1,24,25,1,,24:217341;2:5511,25:16;4:48088;3:9416;2:934,1:222852;0:16,
14.04/5.38	c (4,4) ==========================================
14.04/5.38	c (4,4) Order
14.04/5.38	c (4,4) ==========================================
14.53/5.58	c (5,5) translated 5846 (10%) constraints
15.12/5.70	c (5,5) translated 11691 (20%) constraints
15.39/5.80	c (5,5) translated 17537 (30%) constraints
15.39/5.90	c (5,5) translated 23382 (40%) constraints
15.49/5.99	c (5,5) translated 29227 (50%) constraints
15.60/6.09	c (5,5) translated 35073 (60%) constraints
15.70/6.19	c (5,5) translated 40918 (70%) constraints
15.79/6.30	c (5,5) translated 46764 (80%) constraints
15.89/6.40	c (5,5) translated 52609 (90%) constraints
16.09/6.50	c (5,5) translated 58454 (100%) constraints
16.09/6.50	c (5,5) CSP to CSPinCNF End
16.09/6.50	c (5,5) CSP: 53 int (0 aux), 384 bool (384 aux), 58454 ctr, max domain size 24
16.09/6.50	c (5,5) Heap : 2253 MiB used (max 10795 MiB), NonHeap : 32 MiB used (max 0 MiB)
16.09/6.50	c (5,5) CSPinCNF Propagation Begin
16.91/6.90	c (6,6) 0 values, 5360 unsatisfiable literals, and 0 valid clauses are removed
16.91/6.90	c (6,6) CSPinCNF Propagation End
16.91/6.90	c (6,6) CSP: 53 int (0 aux), 384 bool (384 aux), 58454 ctr, max domain size 24
16.91/6.90	c (6,6) Heap : 2534 MiB used (max 10795 MiB), NonHeap : 32 MiB used (max 0 MiB)
16.91/6.90	c (6,6) Simplify CSPinCNF Begin
17.11/7.05	c (6,6) Simplify CSPinCNF End
17.11/7.05	c (6,6) CSP: 53 int (0 aux), 384 bool (384 aux), 58454 ctr, max domain size 24
17.11/7.05	c (6,6) Heap : 2591 MiB used (max 10795 MiB), NonHeap : 32 MiB used (max 0 MiB)
17.11/7.05	c (6,6) Calculate Precise Domain Begin
17.11/7.05	c (6,6) 0 values are removed by re-calculation
17.11/7.05	c (6,6) Calculate Precise Domain End
17.11/7.05	c (6,6) CSP: 53 int (0 aux), 384 bool (384 aux), 58454 ctr, max domain size 24
17.11/7.05	c (6,6) Heap : 2591 MiB used (max 10795 MiB), NonHeap : 32 MiB used (max 0 MiB)
17.11/7.05	c (6,6) CSPinCNF to SatSolver Begin
17.60/7.21	c (6,6) 5846 (10 %) CSP clauses are encoded (1603 SAT variables, 7011 SAT clauses)
17.60/7.26	c (6,6) 11691 (20 %) CSP clauses are encoded (1603 SAT variables, 12856 SAT clauses)
17.90/7.31	c (6,6) 17537 (30 %) CSP clauses are encoded (1603 SAT variables, 18702 SAT clauses)
17.90/7.35	c (6,6) 23382 (40 %) CSP clauses are encoded (1603 SAT variables, 24547 SAT clauses)
17.90/7.39	c (6,6) 29227 (50 %) CSP clauses are encoded (1603 SAT variables, 30392 SAT clauses)
18.11/7.43	c (6,6) 35073 (60 %) CSP clauses are encoded (1603 SAT variables, 36238 SAT clauses)
18.35/7.56	c (7,6) 40918 (70 %) CSP clauses are encoded (1603 SAT variables, 42083 SAT clauses)
18.35/7.59	c (7,6) 46764 (80 %) CSP clauses are encoded (1603 SAT variables, 47929 SAT clauses)
18.60/7.62	c (7,6) 52609 (90 %) CSP clauses are encoded (1603 SAT variables, 53774 SAT clauses)
18.60/7.65	c (7,7) 58454 (100 %) CSP clauses are encoded (1603 SAT variables, 59619 SAT clauses)
18.60/7.65	c (7,7) Launch Command will be: minisat_release
18.60/7.65	c (7,7) CSPinCNF to SatSolver End
18.60/7.65	c (7,7) Heap : 268 MiB used (max 10795 MiB), NonHeap : 31 MiB used (max 0 MiB)
19.06/7.86	c (7,7) STATISTICS2:HOME/instance-4305470-1534085787.xml,ExtensionConflict:ExtensionSupport:IntVar,437,58454,-1,24,24,1,,24:211997;2:5511,24:16;4:43146;3:13956;2:1336,1:217508,
19.06/7.86	c (7,7) 1603 bool, 59620 clause
19.06/7.86	c (7,7) Export Begin
19.18/7.94	c (7,7) Export to HOME/scop-22836-serial-file.bin
19.18/7.94	c (7,7) Export End
19.18/7.94	c (7,7) Export File Size: 0.01 MB
19.18/7.94	c (7,7) 0,0,5,6,6,6,7,STOP-AFTER(DIMACS)
19.18/7.94	c END-Prog: Sun Aug 12 16:56:35 CEST 2018
19.18/7.96	c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp scop.jar fun.scop.XCSP18Solve HOME/scop-22836-serial-file.bin
19.87/8.45	c (0,0) Read Serial File Begin
19.87/8.45	c (0,0) HOME/scop-22836-serial-file.bin
20.17/8.62	c (0,0) Read Serial File End
20.17/8.63	
20.17/8.63	scop order+minisat_release (2018-07-31)
20.17/8.63	(Solving Process)
20.17/8.63	
20.17/8.65	c BEGIN-Prog: Sun Aug 12 16:56:36 CEST 2018
20.17/8.65	c PID: 22854
20.17/8.65	c IP: 172.20.3.139
20.17/8.65	c HOST: node139.alineos.net
20.17/8.66	c (0,0) SatSolver.solve Begin
20.17/8.66	c (0,0) 0 bool, 0 clause
20.17/8.66	c (0,0) minisat_release HOME/instance-4305470-1534085787.xml-scop-22839.cnf
2520.02/2507.01	c (2498,0) SatSolver is killed by some reasons.
2520.02/2507.01	c (2498,0) receiving signal SIGTERM
2520.02/2507.01	s UNKNOWN
2520.02/2507.02	c (scop.sh) Receiving Signal. Removing all intermediate files.
2520.02/2507.02	c (scop.sh) Killing background jobs.

Verifier Data


Watcher Data 

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

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

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

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

[startup+0.100138 s]*
/proc/loadavg: 1.86 1.98 2.03 3/222 22853
/proc/meminfo: memFree=12855284/32770624 swapFree=67108860/67108860
[pid=22836] ppid=22833 vsize=113128 memory=1392 CPUtime=0 cores=1,3,5,7
/proc/22836/stat : 22836 (scop.sh) S 22833 22836 16770 0 -1 4202496 559 321 0 0 0 0 0 0 20 0 1 0 226141868 115843072 348 33554432000 4194304 5098028 140735456632336 140735456629592 139704346960508 0 65536 4100 81923 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 32923648 140735456633920 140735456634119 140735456634119 140735456636877 0
/proc/22836/statm: 28282 348 296 221 0 87 0
[pid=22839] ppid=22836 vsize=15012476 memory=73228 CPUtime=0.11 cores=1,3,5,7
/proc/22839/stat : 22839 (java) S 22836 22836 16770 0 -1 1077944320 6403 0 0 0 9 2 0 0 20 0 15 0 226141868 15372775424 18307 33554432000 4194304 4196468 140736615799472 140736615782016 139681601777399 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 7327744 140736615805958 140736615806257 140736615806257 140736615808975 0
/proc/22839/statm: 3753119 18307 2771 1 0 3715579 0
[pid=22839/tid=22840] ppid=22836 vsize=15012476 memory=-6078870780940435395 CPUtime=0.09 cores=1,3,5,7
/proc/22839/task/22840/stat : 22840 (java) R 22836 22836 16770 0 -1 4202560 4490 0 0 0 7 2 0 0 20 0 15 0 226141868 15372775424 18307 33554432000 4194304 4196468 140736615799472 139681573589384 139681584964208 0 4 2 16800973 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 7327744 140736615805958 140736615806257 140736615806257 140736615808975 0
[pid=22839/tid=22841] ppid=22836 vsize=15012476 memory=8303054830060986464 CPUtime=0 cores=1,3,5,7
/proc/22839/task/22841/stat : 22841 (java) S 22836 22836 16770 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 226141870 15372775424 18307 33554432000 4194304 4196468 140736615799472 139681606019344 139681601787605 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7327744 140736615805958 140736615806257 140736615806257 140736615808975 0
[pid=22839/tid=22842] ppid=22836 vsize=15012476 memory=139985494578816 CPUtime=0 cores=1,3,5,7
/proc/22839/task/22842/stat : 22842 (java) S 22836 22836 16770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 226141870 15372775424 18307 33554432000 4194304 4196468 140736615799472 139681062009232 139681601787605 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7327744 140736615805958 140736615806257 140736615806257 140736615808975 0
[pid=22839/tid=22843] ppid=22836 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22839/task/22843/stat : 22843 (java) S 22836 22836 16770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 226141870 15372775424 18307 33554432000 4194304 4196468 140736615799472 139681060956688 139681601787605 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7327744 140736615805958 140736615806257 140736615806257 140736615808975 0
[pid=22839/tid=22844] ppid=22836 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/22839/task/22844/stat : 22844 (java) S 22836 22836 16770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 226141870 15372775424 18307 33554432000 4194304 4196468 140736615799472 139681059904144 139681601787605 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7327744 140736615805958 140736615806257 140736615806257 140736615808975 0
[pid=22839/tid=22845] ppid=22836 vsize=15012476 memory=139985494578816 CPUtime=0 cores=1,3,5,7
/proc/22839/task/22845/stat : 22845 (java) S 22836 22836 16770 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 226141871 15372775424 18307 33554432000 4194304 4196468 140736615799472 139680572234224 139681601788546 0 0 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7327744 140736615805958 140736615806257 140736615806257 140736615808975 0
[pid=22839/tid=22846] ppid=22836 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/22839/task/22846/stat : 22846 (java) S 22836 22836 16770 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 226141872 15372775424 18307 33554432000 4194304 4196468 140736615799472 139680188196256 139681601787605 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7327744 140736615805958 140736615806257 140736615806257 140736615808975 0
[pid=22839/tid=22847] ppid=22836 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22839/task/22847/stat : 22847 (java) S 22836 22836 16770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 226141872 15372775424 18307 33554432000 4194304 4196468 140736615799472 139679919760880 139681601787605 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7327744 140736615805958 140736615806257 140736615806257 140736615808975 0
[pid=22839/tid=22848] ppid=22836 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22839/task/22848/stat : 22848 (java) S 22836 22836 16770 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 226141875 15372775424 18307 33554432000 4194304 4196468 140736615799472 139679545252560 139681601795995 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7327744 140736615805958 140736615806257 140736615806257 140736615808975 0
[pid=22839/tid=22849] ppid=22836 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22839/task/22849/stat : 22849 (java) S 22836 22836 16770 0 -1 1077944384 306 0 0 0 0 0 0 0 20 0 15 0 226141875 15372775424 18307 33554432000 4194304 4196468 140736615799472 139680571181040 139681601788546 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7327744 140736615805958 140736615806257 140736615806257 140736615808975 0
[pid=22839/tid=22850] ppid=22836 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/22839/task/22850/stat : 22850 (java) S 22836 22836 16770 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 226141875 15372775424 18307 33554432000 4194304 4196468 140736615799472 139680570128496 139681601788546 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7327744 140736615805958 140736615806257 140736615806257 140736615808975 0
[pid=22839/tid=22851] ppid=22836 vsize=15012476 memory=139985494578816 CPUtime=0.01 cores=1,3,5,7
/proc/22839/task/22851/stat : 22851 (java) S 22836 22836 16770 0 -1 1077944384 274 0 0 0 1 0 0 0 20 0 15 0 226141875 15372775424 18307 33554432000 4194304 4196468 140736615799472 139680569075952 139681601788546 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7327744 140736615805958 140736615806257 140736615806257 140736615808975 0
[pid=22839/tid=22852] ppid=22836 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/22839/task/22852/stat : 22852 (java) S 22836 22836 16770 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 226141875 15372775424 18307 33554432000 4194304 4196468 140736615799472 139679047346784 139681601787605 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7327744 140736615805958 140736615806257 140736615806257 140736615808975 0
[pid=22839/tid=22853] ppid=22836 vsize=15012476 memory=139985494578816 CPUtime=0 cores=1,3,5,7
/proc/22839/task/22853/stat : 22853 (java) S 22836 22836 16770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 226141875 15372775424 18307 33554432000 4194304 4196468 140736615799472 139680568023856 139681601788546 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7327744 140736615805958 140736615806257 140736615806257 140736615808975 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 15125604 KiB
Current children cumulated memory: 74620 KiB

[startup+0.210646 s]*
/proc/loadavg: 1.86 1.98 2.03 4/222 22853
/proc/meminfo: memFree=12841564/32770624 swapFree=67108860/67108860
[pid=22836] ppid=22833 vsize=113128 memory=1392 CPUtime=0 cores=1,3,5,7
/proc/22836/stat : 22836 (scop.sh) S 22833 22836 16770 0 -1 4202496 559 321 0 0 0 0 0 0 20 0 1 0 226141868 115843072 348 33554432000 4194304 5098028 140735456632336 140735456629592 139704346960508 0 65536 4100 81923 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 32923648 140735456633920 140735456634119 140735456634119 140735456636877 0
/proc/22836/statm: 28282 348 296 221 0 87 0
[pid=22839] ppid=22836 vsize=15012476 memory=86296 CPUtime=0.25 cores=1,3,5,7
/proc/22839/stat : 22839 (java) S 22836 22836 16770 0 -1 1077944320 9925 0 0 0 22 3 0 0 20 0 15 0 226141868 15372775424 21574 33554432000 4194304 4196468 140736615799472 140736615782016 139681601777399 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 7327744 140736615805958 140736615806257 140736615806257 140736615808975 0
/proc/22839/statm: 3753119 21574 2903 1 0 3715579 0
[pid=22839/tid=22840] ppid=22836 vsize=15012476 memory=7022364632946311227 CPUtime=0.19 cores=1,3,5,7
/proc/22839/task/22840/stat : 22840 (java) R 22836 22836 16770 0 -1 4202560 7829 0 0 0 17 2 0 0 20 0 15 0 226141868 15372775424 21574 33554432000 4194304 4196468 140736615799472 139681573593456 139681601789334 0 4 2 16800973 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 7327744 140736615805958 140736615806257 140736615806257 140736615808975 0
[pid=22839/tid=22841] ppid=22836 vsize=15012476 memory=365 CPUtime=0 cores=1,3,5,7
/proc/22839/task/22841/stat : 22841 (java) S 22836 22836 16770 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 226141870 15372775424 21574 33554432000 4194304 4196468 140736615799472 139681606019344 139681601787605 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7327744 140736615805958 140736615806257 140736615806257 140736615808975 0
[pid=22839/tid=22842] ppid=22836 vsize=15012476 memory=139985494729033 CPUtime=0 cores=1,3,5,7
/proc/22839/task/22842/stat : 22842 (java) S 22836 22836 16770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 226141870 15372775424 21574 33554432000 4194304 4196468 140736615799472 139681062009232 139681601787605 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7327744 140736615805958 140736615806257 140736615806257 140736615808975 0
[pid=22839/tid=22843] ppid=22836 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22839/task/22843/stat : 22843 (java) S 22836 22836 16770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 226141870 15372775424 21574 33554432000 4194304 4196468 140736615799472 139681060956688 139681601787605 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7327744 140736615805958 140736615806257 140736615806257 140736615808975 0
[pid=22839/tid=22844] ppid=22836 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/22839/task/22844/stat : 22844 (java) S 22836 22836 16770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 226141870 15372775424 21574 33554432000 4194304 4196468 140736615799472 139681059904144 139681601787605 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7327744 140736615805958 140736615806257 140736615806257 140736615808975 0
[pid=22839/tid=22845] ppid=22836 vsize=15012476 memory=139985494578816 CPUtime=0 cores=1,3,5,7
/proc/22839/task/22845/stat : 22845 (java) S 22836 22836 16770 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 226141871 15372775424 21574 33554432000 4194304 4196468 140736615799472 139680572234224 139681601788546 0 0 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7327744 140736615805958 140736615806257 140736615806257 140736615808975 0
[pid=22839/tid=22846] ppid=22836 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/22839/task/22846/stat : 22846 (java) S 22836 22836 16770 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 226141872 15372775424 21574 33554432000 4194304 4196468 140736615799472 139680188196256 139681601787605 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7327744 140736615805958 140736615806257 140736615806257 140736615808975 0
[pid=22839/tid=22847] ppid=22836 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22839/task/22847/stat : 22847 (java) S 22836 22836 16770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 226141872 15372775424 21574 33554432000 4194304 4196468 140736615799472 139679919760880 139681601787605 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7327744 140736615805958 140736615806257 140736615806257 140736615808975 0
[pid=22839/tid=22848] ppid=22836 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22839/task/22848/stat : 22848 (java) S 22836 22836 16770 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 226141875 15372775424 21574 33554432000 4194304 4196468 140736615799472 139679545252560 139681601795995 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7327744 140736615805958 140736615806257 140736615806257 140736615808975 0
[pid=22839/tid=22849] ppid=22836 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22839/task/22849/stat : 22849 (java) S 22836 22836 16770 0 -1 1077944384 319 0 0 0 0 0 0 0 20 0 15 0 226141875 15372775424 21574 33554432000 4194304 4196468 140736615799472 139680571181040 139681601788546 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7327744 140736615805958 140736615806257 140736615806257 140736615808975 0
[pid=22839/tid=22850] ppid=22836 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/22839/task/22850/stat : 22850 (java) S 22836 22836 16770 0 -1 1077944384 157 0 0 0 0 0 0 0 20 0 15 0 226141875 15372775424 21574 33554432000 4194304 4196468 140736615799472 139680570128496 139681601788546 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7327744 140736615805958 140736615806257 140736615806257 140736615808975 0
[pid=22839/tid=22851] ppid=22836 vsize=15012476 memory=139985494578816 CPUtime=0.03 cores=1,3,5,7
/proc/22839/task/22851/stat : 22851 (java) S 22836 22836 16770 0 -1 1077944384 289 0 0 0 3 0 0 0 20 0 15 0 226141875 15372775424 21574 33554432000 4194304 4196468 140736615799472 139680569075952 139681601788546 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7327744 140736615805958 140736615806257 140736615806257 140736615808975 0
[pid=22839/tid=22852] ppid=22836 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/22839/task/22852/stat : 22852 (java) S 22836 22836 16770 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 226141875 15372775424 21574 33554432000 4194304 4196468 140736615799472 139679047346784 139681601787605 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7327744 140736615805958 140736615806257 140736615806257 140736615808975 0
[pid=22839/tid=22853] ppid=22836 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22839/task/22853/stat : 22853 (java) S 22836 22836 16770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 226141875 15372775424 21574 33554432000 4194304 4196468 140736615799472 139680568023856 139681601788546 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7327744 140736615805958 140736615806257 140736615806257 140736615808975 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 15125604 KiB
Current children cumulated memory: 87688 KiB

[startup+0.310556 s]*
/proc/loadavg: 1.86 1.98 2.03 3/222 22853
/proc/meminfo: memFree=12837532/32770624 swapFree=67108860/67108860
[pid=22836] ppid=22833 vsize=113128 memory=1392 CPUtime=0 cores=1,3,5,7
/proc/22836/stat : 22836 (scop.sh) S 22833 22836 16770 0 -1 4202496 559 321 0 0 0 0 0 0 20 0 1 0 226141868 115843072 348 33554432000 4194304 5098028 140735456632336 140735456629592 139704346960508 0 65536 4100 81923 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 32923648 140735456633920 140735456634119 140735456634119 140735456636877 0
/proc/22836/statm: 28282 348 296 221 0 87 0
[pid=22839] ppid=22836 vsize=15012476 memory=90080 CPUtime=0.43 cores=1,3,5,7
/proc/22839/stat : 22839 (java) S 22836 22836 16770 0 -1 1077944320 10456 0 0 0 39 4 0 0 20 0 15 0 226141868 15372775424 22520 33554432000 4194304 4196468 140736615799472 140736615782016 139681601777399 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 7327744 140736615805958 140736615806257 140736615806257 140736615808975 0
/proc/22839/statm: 3753119 22520 3008 1 0 3715579 0
[pid=22839/tid=22840] ppid=22836 vsize=15012476 memory=6791534058613427641 CPUtime=0.3 cores=1,3,5,7
/proc/22839/task/22840/stat : 22840 (java) R 22836 22836 16770 0 -1 4202560 8199 0 0 0 27 3 0 0 20 0 15 0 226141868 15372775424 22520 33554432000 4194304 4196468 140736615799472 139681573572848 139681601799325 0 4 2 16800973 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 7327744 140736615805958 140736615806257 140736615806257 140736615808975 0
[pid=22839/tid=22841] ppid=22836 vsize=15012476 memory=4126316290023845779 CPUtime=0 cores=1,3,5,7
/proc/22839/task/22841/stat : 22841 (java) S 22836 22836 16770 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 226141870 15372775424 22520 33554432000 4194304 4196468 140736615799472 139681606019344 139681601787605 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7327744 140736615805958 140736615806257 140736615806257 140736615808975 0
[pid=22839/tid=22842] ppid=22836 vsize=15012476 memory=-3258418265892434876 CPUtime=0 cores=1,3,5,7
/proc/22839/task/22842/stat : 22842 (java) S 22836 22836 16770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 226141870 15372775424 22520 33554432000 4194304 4196468 140736615799472 139681062009232 139681601787605 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7327744 140736615805958 140736615806257 140736615806257 140736615808975 0
[pid=22839/tid=22843] ppid=22836 vsize=15012476 memory=4572146066226452084 CPUtime=0 cores=1,3,5,7
/proc/22839/task/22843/stat : 22843 (java) S 22836 22836 16770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 226141870 15372775424 22520 33554432000 4194304 4196468 140736615799472 139681060956688 139681601787605 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7327744 140736615805958 140736615806257 140736615806257 140736615808975 0
[pid=22839/tid=22844] ppid=22836 vsize=15012476 memory=6944613755495348631 CPUtime=0 cores=1,3,5,7
/proc/22839/task/22844/stat : 22844 (java) S 22836 22836 16770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 226141870 15372775424 22520 33554432000 4194304 4196468 140736615799472 139681059904144 139681601787605 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7327744 140736615805958 140736615806257 140736615806257 140736615808975 0
[pid=22839/tid=22845] ppid=22836 vsize=15012476 memory=7893295687695687954 CPUtime=0 cores=1,3,5,7
/proc/22839/task/22845/stat : 22845 (java) S 22836 22836 16770 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 226141871 15372775424 22520 33554432000 4194304 4196468 140736615799472 139680572234224 139681601788546 0 0 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7327744 140736615805958 140736615806257 140736615806257 140736615808975 0
[pid=22839/tid=22846] ppid=22836 vsize=15012476 memory=-8813974798734826869 CPUtime=0 cores=1,3,5,7
/proc/22839/task/22846/stat : 22846 (java) S 22836 22836 16770 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 226141872 15372775424 22520 33554432000 4194304 4196468 140736615799472 139680188196256 139681601787605 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7327744 140736615805958 140736615806257 140736615806257 140736615808975 0
[pid=22839/tid=22847] ppid=22836 vsize=15012476 memory=-6664436420846797971 CPUtime=0 cores=1,3,5,7
/proc/22839/task/22847/stat : 22847 (java) S 22836 22836 16770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 226141872 15372775424 22520 33554432000 4194304 4196468 140736615799472 139679919760880 139681601787605 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7327744 140736615805958 140736615806257 140736615806257 140736615808975 0
[pid=22839/tid=22848] ppid=22836 vsize=15012476 memory=4426078206164241782 CPUtime=0 cores=1,3,5,7
/proc/22839/task/22848/stat : 22848 (java) S 22836 22836 16770 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 226141875 15372775424 22520 33554432000 4194304 4196468 140736615799472 139679545252560 139681601795995 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7327744 140736615805958 140736615806257 140736615806257 140736615808975 0
[pid=22839/tid=22849] ppid=22836 vsize=15012476 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/22839/task/22849/stat : 22849 (java) R 22836 22836 16770 0 -1 4202560 410 0 0 0 2 0 0 0 20 0 15 0 226141875 15372775424 22520 33554432000 4194304 4196468 140736615799472 139680571181040 139681601789334 0 4 2 16800973 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 7327744 140736615805958 140736615806257 140736615806257 140736615808975 0
[pid=22839/tid=22850] ppid=22836 vsize=15012476 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/22839/task/22850/stat : 22850 (java) R 22836 22836 16770 0 -1 1077944384 209 0 0 0 1 0 0 0 20 0 15 0 226141875 15372775424 22520 33554432000 4194304 4196468 140736615799472 139680570128496 139681601788546 0 4 2 16800973 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 7327744 140736615805958 140736615806257 140736615806257 140736615808975 0
[pid=22839/tid=22851] ppid=22836 vsize=15012476 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/22839/task/22851/stat : 22851 (java) R 22836 22836 16770 0 -1 4202560 307 0 0 0 7 0 0 0 20 0 15 0 226141875 15372775424 22520 33554432000 4194304 4196468 140736615799472 139680569075952 139681601789334 0 4 2 16800973 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 7327744 140736615805958 140736615806257 140736615806257 140736615808975 0
[pid=22839/tid=22852] ppid=22836 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22839/task/22852/stat : 22852 (java) S 22836 22836 16770 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 226141875 15372775424 22520 33554432000 4194304 4196468 140736615799472 139679047346784 139681601787605 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7327744 140736615805958 140736615806257 140736615806257 140736615808975 0
[pid=22839/tid=22853] ppid=22836 vsize=15012476 memory=3473180417806377009 CPUtime=0 cores=1,3,5,7
/proc/22839/task/22853/stat : 22853 (java) S 22836 22836 16770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 226141875 15372775424 22520 33554432000 4194304 4196468 140736615799472 139680568023856 139681601788546 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7327744 140736615805958 140736615806257 140736615806257 140736615808975 0
Current children cumulated CPU time: 0.43 s
Current children cumulated vsize: 15125604 KiB
Current children cumulated memory: 91472 KiB

[startup+0.701537 s]
/proc/loadavg: 1.86 1.98 2.03 3/222 22853
/proc/meminfo: memFree=12813472/32770624 swapFree=67108860/67108860
[pid=22836] ppid=22833 vsize=113128 memory=1392 CPUtime=0 cores=1,3,5,7
/proc/22836/stat : 22836 (scop.sh) S 22833 22836 16770 0 -1 4202496 559 321 0 0 0 0 0 0 20 0 1 0 226141868 115843072 348 33554432000 4194304 5098028 140735456632336 140735456629592 139704346960508 0 65536 4100 81923 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 32923648 140735456633920 140735456634119 140735456634119 140735456636877 0
/proc/22836/statm: 28282 348 296 221 0 87 0
[pid=22839] ppid=22836 vsize=15018748 memory=129620 CPUtime=1.06 cores=1,3,5,7
/proc/22839/stat : 22839 (java) S 22836 22836 16770 0 -1 1077944320 17464 0 0 0 100 6 0 0 20 0 15 0 226141868 15379197952 32405 33554432000 4194304 4196468 140736615799472 140736615782016 139681601777399 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 7327744 140736615805958 140736615806257 140736615806257 140736615808975 0
/proc/22839/statm: 3754687 32405 3128 1 0 3716091 0
[pid=22839/tid=22840] ppid=22836 vsize=15018748 memory=-7816663703405220396 CPUtime=0.67 cores=1,3,5,7
/proc/22839/task/22840/stat : 22840 (java) R 22836 22836 16770 0 -1 4202560 14627 0 0 0 63 4 0 0 20 0 15 0 226141868 15379197952 32405 33554432000 4194304 4196468 140736615799472 139681573606912 139681585857886 0 4 2 25189581 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 7327744 140736615805958 140736615806257 140736615806257 140736615808975 0
[pid=22839/tid=22841] ppid=22836 vsize=15018748 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22839/task/22841/stat : 22841 (java) S 22836 22836 16770 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 226141870 15379197952 32405 33554432000 4194304 4196468 140736615799472 139681606019344 139681601787605 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7327744 140736615805958 140736615806257 140736615806257 140736615808975 0
[pid=22839/tid=22842] ppid=22836 vsize=15018748 memory=61364 CPUtime=0 cores=1,3,5,7
/proc/22839/task/22842/stat : 22842 (java) S 22836 22836 16770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 226141870 15379197952 32405 33554432000 4194304 4196468 140736615799472 139681062009232 139681601787605 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7327744 140736615805958 140736615806257 140736615806257 140736615808975 0
[pid=22839/tid=22843] ppid=22836 vsize=15018748 memory=1240 CPUtime=0 cores=1,3,5,7
/proc/22839/task/22843/stat : 22843 (java) S 22836 22836 16770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 226141870 15379197952 32405 33554432000 4194304 4196468 140736615799472 139681060956688 139681601787605 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7327744 140736615805958 140736615806257 140736615806257 140736615808975 0
[pid=22839/tid=22844] ppid=22836 vsize=15018748 memory=2416 CPUtime=0 cores=1,3,5,7
/proc/22839/task/22844/stat : 22844 (java) S 22836 22836 16770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 226141870 15379197952 32405 33554432000 4194304 4196468 140736615799472 139681059904144 139681601787605 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7327744 140736615805958 140736615806257 140736615806257 140736615808975 0
[pid=22839/tid=22845] ppid=22836 vsize=15018748 memory=1788 CPUtime=0 cores=1,3,5,7
/proc/22839/task/22845/stat : 22845 (java) S 22836 22836 16770 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 226141871 15379197952 32405 33554432000 4194304 4196468 140736615799472 139680572234224 139681601788546 0 0 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7327744 140736615805958 140736615806257 140736615806257 140736615808975 0
[pid=22839/tid=22846] ppid=22836 vsize=15018748 memory=1704 CPUtime=0 cores=1,3,5,7
/proc/22839/task/22846/stat : 22846 (java) S 22836 22836 16770 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 226141872 15379197952 32405 33554432000 4194304 4196468 140736615799472 139680188196256 139681601787605 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7327744 140736615805958 140736615806257 140736615806257 140736615808975 0
[pid=22839/tid=22847] ppid=22836 vsize=15018748 memory=796 CPUtime=0 cores=1,3,5,7
/proc/22839/task/22847/stat : 22847 (java) S 22836 22836 16770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 226141872 15379197952 32405 33554432000 4194304 4196468 140736615799472 139679919760880 139681601787605 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7327744 140736615805958 140736615806257 140736615806257 140736615808975 0
[pid=22839/tid=22848] ppid=22836 vsize=15018748 memory=5408 CPUtime=0 cores=1,3,5,7
/proc/22839/task/22848/stat : 22848 (java) S 22836 22836 16770 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 226141875 15379197952 32405 33554432000 4194304 4196468 140736615799472 139679545252560 139681601795995 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7327744 140736615805958 140736615806257 140736615806257 140736615808975 0
[pid=22839/tid=22849] ppid=22836 vsize=15018748 memory=876 CPUtime=0.1 cores=1,3,5,7
/proc/22839/task/22849/stat : 22849 (java) S 22836 22836 16770 0 -1 1077944384 638 0 0 0 10 0 0 0 20 0 15 0 226141875 15379197952 32405 33554432000 4194304 4196468 140736615799472 139680571181040 139681601788546 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7327744 140736615805958 140736615806257 140736615806257 140736615808975 0
[pid=22839/tid=22850] ppid=22836 vsize=15018748 memory=10096 CPUtime=0.08 cores=1,3,5,7
/proc/22839/task/22850/stat : 22850 (java) S 22836 22836 16770 0 -1 1077944384 391 0 0 0 8 0 0 0 20 0 15 0 226141875 15379197952 32405 33554432000 4194304 4196468 140736615799472 139680570128496 139681601788546 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7327744 140736615805958 140736615806257 140736615806257 140736615808975 0
[pid=22839/tid=22851] ppid=22836 vsize=15018748 memory=1228 CPUtime=0.17 cores=1,3,5,7
/proc/22839/task/22851/stat : 22851 (java) R 22836 22836 16770 0 -1 4202560 476 0 0 0 17 0 0 0 20 0 15 0 226141875 15379197952 32405 33554432000 4194304 4196468 140736615799472 139680569074640 139681581210481 0 4 2 25189581 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 7327744 140736615805958 140736615806257 140736615806257 140736615808975 0
[pid=22839/tid=22852] ppid=22836 vsize=15018748 memory=1952 CPUtime=0 cores=1,3,5,7
/proc/22839/task/22852/stat : 22852 (java) S 22836 22836 16770 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 226141875 15379197952 32405 33554432000 4194304 4196468 140736615799472 139679047346784 139681601787605 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7327744 140736615805958 140736615806257 140736615806257 140736615808975 0
[pid=22839/tid=22853] ppid=22836 vsize=15018748 memory=1160 CPUtime=0 cores=1,3,5,7
/proc/22839/task/22853/stat : 22853 (java) S 22836 22836 16770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 226141875 15379197952 32405 33554432000 4194304 4196468 140736615799472 139680568023856 139681601788546 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7327744 140736615805958 140736615806257 140736615806257 140736615808975 0
Current children cumulated CPU time: 1.06 s
Current children cumulated vsize: 15131876 KiB
Current children cumulated memory: 131012 KiB

[startup+1.50076 s]
/proc/loadavg: 1.86 1.98 2.03 5/222 22853
/proc/meminfo: memFree=12709284/32770624 swapFree=67108860/67108860
[pid=22836] ppid=22833 vsize=113128 memory=1392 CPUtime=0 cores=1,3,5,7
/proc/22836/stat : 22836 (scop.sh) S 22833 22836 16770 0 -1 4202496 559 321 0 0 0 0 0 0 20 0 1 0 226141868 115843072 348 33554432000 4194304 5098028 140735456632336 140735456629592 139704346960508 0 65536 4100 81923 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 32923648 140735456633920 140735456634119 140735456634119 140735456636877 0
/proc/22836/statm: 28282 348 296 221 0 87 0

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

[pid=22854/tid=22857] ppid=22836 vsize=8068220 memory=4128 CPUtime=0 cores=1,3,5,7
/proc/22854/task/22857/stat : 22857 (java) S 22836 22836 16770 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 226142666 8261857280 29720 33554432000 4194304 4196468 140733369741280 139898368637200 139898564237013 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29032448 140733369742517 140733369742641 140733369742641 140733369745359 0
[pid=22854/tid=22858] ppid=22836 vsize=8068220 memory=279970665646848 CPUtime=0 cores=1,3,5,7
/proc/22854/task/22858/stat : 22858 (java) S 22836 22836 16770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 226142666 8261857280 29720 33554432000 4194304 4196468 140733369741280 139898367584912 139898564237013 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29032448 140733369742517 140733369742641 140733369742641 140733369745359 0
[pid=22854/tid=22859] ppid=22836 vsize=8068220 memory=8443538352883892301 CPUtime=0 cores=1,3,5,7
/proc/22854/task/22859/stat : 22859 (java) S 22836 22836 16770 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 226142666 8261857280 29720 33554432000 4194304 4196468 140733369741280 139898366532112 139898564237013 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29032448 140733369742517 140733369742641 140733369742641 140733369745359 0
[pid=22854/tid=22860] ppid=22836 vsize=8068220 memory=4124 CPUtime=0.04 cores=1,3,5,7
/proc/22854/task/22860/stat : 22860 (java) S 22836 22836 16770 0 -1 1077944384 7 0 0 0 1 3 0 0 20 0 19 0 226142667 8261857280 29720 33554432000 4194304 4196468 140733369741280 139897943558768 139898564237954 0 0 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29032448 140733369742517 140733369742641 140733369742641 140733369745359 0
[pid=22854/tid=22861] ppid=22836 vsize=8068220 memory=2100 CPUtime=0 cores=1,3,5,7
/proc/22854/task/22861/stat : 22861 (java) S 22836 22836 16770 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 226142668 8261857280 29720 33554432000 4194304 4196468 140733369741280 139897419588896 139898564237013 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29032448 140733369742517 140733369742641 140733369742641 140733369745359 0
[pid=22854/tid=22862] ppid=22836 vsize=8068220 memory=4124 CPUtime=0 cores=1,3,5,7
/proc/22854/task/22862/stat : 22862 (java) S 22836 22836 16770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 226142668 8261857280 29720 33554432000 4194304 4196468 140733369741280 139897151153776 139898564237013 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29032448 140733369742517 140733369742641 140733369742641 140733369745359 0
[pid=22854/tid=22863] ppid=22836 vsize=8068220 memory=2100 CPUtime=0 cores=1,3,5,7
/proc/22854/task/22863/stat : 22863 (java) S 22836 22836 16770 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 226142670 8261857280 29720 33554432000 4194304 4196468 140733369741280 139896776645200 139898564245403 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29032448 140733369742517 140733369742641 140733369742641 140733369745359 0
[pid=22854/tid=22864] ppid=22836 vsize=8068220 memory=118880 CPUtime=0.07 cores=1,3,5,7
/proc/22854/task/22864/stat : 22864 (java) S 22836 22836 16770 0 -1 1077944384 636 0 0 0 7 0 0 0 20 0 19 0 226142670 8261857280 29720 33554432000 4194304 4196468 140733369741280 139897942505584 139898564237954 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29032448 140733369742517 140733369742641 140733369742641 140733369745359 0
[pid=22854/tid=22865] ppid=22836 vsize=8068220 memory=1468 CPUtime=0.11 cores=1,3,5,7
/proc/22854/task/22865/stat : 22865 (java) S 22836 22836 16770 0 -1 1077944384 313 0 0 0 10 1 0 0 20 0 19 0 226142671 8261857280 29720 33554432000 4194304 4196468 140733369741280 139897941452784 139898564237954 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29032448 140733369742517 140733369742641 140733369742641 140733369745359 0
[pid=22854/tid=22866] ppid=22836 vsize=8068220 memory=1468 CPUtime=0.2 cores=1,3,5,7
/proc/22854/task/22866/stat : 22866 (java) S 22836 22836 16770 0 -1 1077944384 553 0 0 0 20 0 0 0 20 0 19 0 226142671 8261857280 29720 33554432000 4194304 4196468 140733369741280 139897940400496 139898564237954 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29032448 140733369742517 140733369742641 140733369742641 140733369745359 0
[pid=22854/tid=22867] ppid=22836 vsize=8068220 memory=4128 CPUtime=0 cores=1,3,5,7
/proc/22854/task/22867/stat : 22867 (java) S 22836 22836 16770 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 226142671 8261857280 29720 33554432000 4194304 4196468 140733369741280 139896278739424 139898564237013 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29032448 140733369742517 140733369742641 140733369742641 140733369745359 0
[pid=22854/tid=22868] ppid=22836 vsize=8068220 memory=1468 CPUtime=1.21 cores=1,3,5,7
/proc/22854/task/22868/stat : 22868 (java) S 22836 22836 16770 0 -1 1077944384 163 0 0 0 59 62 0 0 20 0 19 0 226142671 8261857280 29720 33554432000 4194304 4196468 140733369741280 139897939348400 139898564237954 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29032448 140733369742517 140733369742641 140733369742641 140733369745359 0
[pid=22854/tid=22870] ppid=22836 vsize=8068220 memory=118880 CPUtime=0 cores=1,3,5,7
/proc/22854/task/22870/stat : 22870 (java) S 22836 22836 16770 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 226142736 8261857280 29720 33554432000 4194304 4196468 140733369741280 139897931539904 139898564251417 0 4 2 25189581 18446744071579417331 0 0 -1 7 0 0 0 0 0 6293624 6294260 29032448 140733369742517 140733369742641 140733369742641 140733369745359 0
[pid=22854/tid=22872] ppid=22836 vsize=8068220 memory=101560 CPUtime=0 cores=1,3,5,7
/proc/22854/task/22872/stat : 22872 (java) S 22836 22836 16770 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 226142736 8261857280 29720 33554432000 4194304 4196468 140733369741280 139895741853712 139898564248733 0 4 2 25189581 18446744071580971376 0 0 -1 3 0 0 0 0 0 6293624 6294260 29032448 140733369742517 140733369742641 140733369742641 140733369745359 0
[pid=22854/tid=22873] ppid=22836 vsize=8068220 memory=118880 CPUtime=0 cores=1,3,5,7
/proc/22854/task/22873/stat : 22873 (java) S 22836 22836 16770 0 -1 4202560 20 0 0 0 0 0 0 0 20 0 19 0 226142737 8261857280 29720 33554432000 4194304 4196468 140733369741280 139895876074896 139898564248733 0 4 2 25189581 18446744071580971376 0 0 -1 7 0 0 0 0 0 6293624 6294260 29032448 140733369742517 140733369742641 140733369742641 140733369745359 0
[pid=22854/tid=22874] ppid=22836 vsize=8068220 memory=101560 CPUtime=0 cores=1,3,5,7
/proc/22854/task/22874/stat : 22874 (java) S 22836 22836 16770 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 226142739 8261857280 29720 33554432000 4194304 4196468 140733369741280 139895473429408 139898564237013 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29032448 140733369742517 140733369742641 140733369742641 140733369745359 0
Current children cumulated CPU time: 2455.27 s
Current children cumulated vsize: 8298884 KiB
Current children cumulated memory: 221908 KiB

[startup+2502.3 s]
/proc/loadavg: 2.77 2.23 2.11 3/227 23175
/proc/meminfo: memFree=12736840/32770624 swapFree=67108860/67108860
[pid=22836] ppid=22833 vsize=113128 memory=1468 CPUtime=19.3 cores=1,3,5,7
/proc/22836/stat : 22836 (scop.sh) S 22833 22836 16770 0 -1 4202496 590 35901 0 0 0 0 1865 65 20 0 1 0 226141868 115843072 367 33554432000 4194304 5098028 140735456632336 140735456629080 139704346960508 0 65536 4100 81923 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 32923648 140735456633920 140735456634119 140735456634119 140735456636877 0
/proc/22836/statm: 28282 367 311 221 0 87 0
[pid=22854] ppid=22836 vsize=8068220 memory=118880 CPUtime=2.46 cores=1,3,5,7
/proc/22854/stat : 22854 (java) S 22836 22836 16770 0 -1 1077944320 17590 0 0 0 174 72 0 0 20 0 19 0 226142665 8261857280 29720 33554432000 4194304 4196468 140733369741280 140733369723824 139898564226807 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 29032448 140733369742517 140733369742641 140733369742641 140733369745359 0
/proc/22854/statm: 2017055 29720 3150 1 0 1978454 0
[pid=22869] ppid=22854 vsize=118076 memory=95956 CPUtime=2493.55 cores=1,3,5,7
/proc/22869/stat : 22869 (minisat_release) R 22854 22836 16770 0 -1 4202496 176884 0 0 0 249333 22 0 0 20 0 1 0 226142736 120909824 23989 33554432000 4194304 4308513 140730416691488 140730416688392 4276070 0 4 0 8396802 0 0 0 17 5 0 0 0 0 0 6409496 6410680 17346560 140730416698484 140730416698582 140730416698582 140730416701381 0
/proc/22869/statm: 29519 23989 341 28 0 25759 0
[pid=22854/tid=22855] ppid=22836 vsize=8068220 memory=118880 CPUtime=0.74 cores=1,3,5,7
/proc/22854/task/22855/stat : 22855 (java) S 22836 22836 16770 0 -1 1077944384 14530 0 0 0 69 5 0 0 20 0 19 0 226142665 8261857280 29720 33554432000 4194304 4196468 140733369741280 139898536066960 139898564237013 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29032448 140733369742517 140733369742641 140733369742641 140733369745359 0
[pid=22854/tid=22856] ppid=22836 vsize=8068220 memory=1468 CPUtime=0 cores=1,3,5,7
/proc/22854/task/22856/stat : 22856 (java) S 22836 22836 16770 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 226142666 8261857280 29720 33554432000 4194304 4196468 140733369741280 139898568468880 139898564237013 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29032448 140733369742517 140733369742641 140733369742641 140733369745359 0
[pid=22854/tid=22857] ppid=22836 vsize=8068220 memory=118880 CPUtime=0 cores=1,3,5,7
/proc/22854/task/22857/stat : 22857 (java) S 22836 22836 16770 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 226142666 8261857280 29720 33554432000 4194304 4196468 140733369741280 139898368637200 139898564237013 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29032448 140733369742517 140733369742641 140733369742641 140733369745359 0
[pid=22854/tid=22858] ppid=22836 vsize=8068220 memory=1468 CPUtime=0 cores=1,3,5,7
/proc/22854/task/22858/stat : 22858 (java) S 22836 22836 16770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 226142666 8261857280 29720 33554432000 4194304 4196468 140733369741280 139898367584912 139898564237013 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29032448 140733369742517 140733369742641 140733369742641 140733369745359 0
[pid=22854/tid=22859] ppid=22836 vsize=8068220 memory=118880 CPUtime=0 cores=1,3,5,7
/proc/22854/task/22859/stat : 22859 (java) S 22836 22836 16770 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 226142666 8261857280 29720 33554432000 4194304 4196468 140733369741280 139898366532112 139898564237013 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29032448 140733369742517 140733369742641 140733369742641 140733369745359 0
[pid=22854/tid=22860] ppid=22836 vsize=8068220 memory=279970665517328 CPUtime=0.04 cores=1,3,5,7
/proc/22854/task/22860/stat : 22860 (java) S 22836 22836 16770 0 -1 1077944384 7 0 0 0 1 3 0 0 20 0 19 0 226142667 8261857280 29720 33554432000 4194304 4196468 140733369741280 139897943558768 139898564237954 0 0 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29032448 140733369742517 140733369742641 140733369742641 140733369745359 0
[pid=22854/tid=22861] ppid=22836 vsize=8068220 memory=6656426216303648864 CPUtime=0 cores=1,3,5,7
/proc/22854/task/22861/stat : 22861 (java) S 22836 22836 16770 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 226142668 8261857280 29720 33554432000 4194304 4196468 140733369741280 139897419588896 139898564237013 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29032448 140733369742517 140733369742641 140733369742641 140733369745359 0
[pid=22854/tid=22862] ppid=22836 vsize=8068220 memory=125 CPUtime=0 cores=1,3,5,7
/proc/22854/task/22862/stat : 22862 (java) S 22836 22836 16770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 226142668 8261857280 29720 33554432000 4194304 4196468 140733369741280 139897151153776 139898564237013 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29032448 140733369742517 140733369742641 140733369742641 140733369745359 0
[pid=22854/tid=22863] ppid=22836 vsize=8068220 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22854/task/22863/stat : 22863 (java) S 22836 22836 16770 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 226142670 8261857280 29720 33554432000 4194304 4196468 140733369741280 139896776645200 139898564245403 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29032448 140733369742517 140733369742641 140733369742641 140733369745359 0
[pid=22854/tid=22864] ppid=22836 vsize=8068220 memory=1788 CPUtime=0.07 cores=1,3,5,7
/proc/22854/task/22864/stat : 22864 (java) S 22836 22836 16770 0 -1 1077944384 636 0 0 0 7 0 0 0 20 0 19 0 226142670 8261857280 29720 33554432000 4194304 4196468 140733369741280 139897942505584 139898564237954 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29032448 140733369742517 140733369742641 140733369742641 140733369745359 0
[pid=22854/tid=22865] ppid=22836 vsize=8068220 memory=1704 CPUtime=0.11 cores=1,3,5,7
/proc/22854/task/22865/stat : 22865 (java) S 22836 22836 16770 0 -1 1077944384 313 0 0 0 10 1 0 0 20 0 19 0 226142671 8261857280 29720 33554432000 4194304 4196468 140733369741280 139897941452784 139898564237954 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29032448 140733369742517 140733369742641 140733369742641 140733369745359 0
[pid=22854/tid=22866] ppid=22836 vsize=8068220 memory=1228 CPUtime=0.2 cores=1,3,5,7
/proc/22854/task/22866/stat : 22866 (java) S 22836 22836 16770 0 -1 1077944384 553 0 0 0 20 0 0 0 20 0 19 0 226142671 8261857280 29720 33554432000 4194304 4196468 140733369741280 139897940400496 139898564237954 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29032448 140733369742517 140733369742641 140733369742641 140733369745359 0
[pid=22854/tid=22867] ppid=22836 vsize=8068220 memory=1952 CPUtime=0 cores=1,3,5,7
/proc/22854/task/22867/stat : 22867 (java) S 22836 22836 16770 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 226142671 8261857280 29720 33554432000 4194304 4196468 140733369741280 139896278739424 139898564237013 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29032448 140733369742517 140733369742641 140733369742641 140733369745359 0
[pid=22854/tid=22868] ppid=22836 vsize=8068220 memory=1468 CPUtime=1.25 cores=1,3,5,7
/proc/22854/task/22868/stat : 22868 (java) S 22836 22836 16770 0 -1 1077944384 167 0 0 0 60 65 0 0 20 0 19 0 226142671 8261857280 29720 33554432000 4194304 4196468 140733369741280 139897939348400 139898564237954 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29032448 140733369742517 140733369742641 140733369742641 140733369745359 0
[pid=22854/tid=22870] ppid=22836 vsize=8068220 memory=1468 CPUtime=0 cores=1,3,5,7
/proc/22854/task/22870/stat : 22870 (java) S 22836 22836 16770 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 226142736 8261857280 29720 33554432000 4194304 4196468 140733369741280 139897931539904 139898564251417 0 4 2 25189581 18446744071579417331 0 0 -1 7 0 0 0 0 0 6293624 6294260 29032448 140733369742517 140733369742641 140733369742641 140733369745359 0
[pid=22854/tid=22872] ppid=22836 vsize=8068220 memory=1468 CPUtime=0 cores=1,3,5,7
/proc/22854/task/22872/stat : 22872 (java) S 22836 22836 16770 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 226142736 8261857280 29720 33554432000 4194304 4196468 140733369741280 139895741853712 139898564248733 0 4 2 25189581 18446744071580971376 0 0 -1 3 0 0 0 0 0 6293624 6294260 29032448 140733369742517 140733369742641 140733369742641 140733369745359 0
[pid=22854/tid=22873] ppid=22836 vsize=8068220 memory=118880 CPUtime=0 cores=1,3,5,7
/proc/22854/task/22873/stat : 22873 (java) S 22836 22836 16770 0 -1 4202560 20 0 0 0 0 0 0 0 20 0 19 0 226142737 8261857280 29720 33554432000 4194304 4196468 140733369741280 139895876074896 139898564248733 0 4 2 25189581 18446744071580971376 0 0 -1 7 0 0 0 0 0 6293624 6294260 29032448 140733369742517 140733369742641 140733369742641 140733369745359 0
[pid=22854/tid=22874] ppid=22836 vsize=8068220 memory=1468 CPUtime=0 cores=1,3,5,7
/proc/22854/task/22874/stat : 22874 (java) S 22836 22836 16770 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 226142739 8261857280 29720 33554432000 4194304 4196468 140733369741280 139895473429408 139898564237013 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29032448 140733369742517 140733369742641 140733369742641 140733369745359 0
Current children cumulated CPU time: 2515.31 s
Current children cumulated vsize: 8299424 KiB
Current children cumulated memory: 216304 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2507 s]*
/proc/loadavg: 2.71 2.23 2.11 3/227 23175
/proc/meminfo: memFree=12736848/32770624 swapFree=67108860/67108860
[pid=22836] ppid=22833 vsize=113128 memory=1468 CPUtime=19.3 cores=1,3,5,7
/proc/22836/stat : 22836 (scop.sh) S 22833 22836 16770 0 -1 4202496 590 35901 0 0 0 0 1865 65 20 0 1 0 226141868 115843072 367 33554432000 4194304 5098028 140735456632336 140735456629080 139704346960508 0 65536 4100 81923 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 32923648 140735456633920 140735456634119 140735456634119 140735456636877 0
/proc/22836/statm: 28282 367 311 221 0 87 0
[pid=22854] ppid=22836 vsize=8068220 memory=118880 CPUtime=2.46 cores=1,3,5,7
/proc/22854/stat : 22854 (java) S 22836 22836 16770 0 -1 1077944320 17590 0 0 0 174 72 0 0 20 0 19 0 226142665 8261857280 29720 33554432000 4194304 4196468 140733369741280 140733369723824 139898564226807 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 29032448 140733369742517 140733369742641 140733369742641 140733369745359 0
/proc/22854/statm: 2017055 29720 3150 1 0 1978454 0
[pid=22869] ppid=22854 vsize=118076 memory=95956 CPUtime=2498.26 cores=1,3,5,7
/proc/22869/stat : 22869 (minisat_release) R 22854 22836 16770 0 -1 4202496 176904 0 0 0 249804 22 0 0 20 0 1 0 226142736 120909824 23989 33554432000 4194304 4308513 140730416691488 140730416688392 4250295 0 4 0 8396802 0 0 0 17 5 0 0 0 0 0 6409496 6410680 17346560 140730416698484 140730416698582 140730416698582 140730416701381 0
/proc/22869/statm: 29519 23989 341 28 0 25759 0
[pid=22854/tid=22855] ppid=22836 vsize=8068220 memory=7596557092442865725 CPUtime=0.74 cores=1,3,5,7
/proc/22854/task/22855/stat : 22855 (java) S 22836 22836 16770 0 -1 1077944384 14530 0 0 0 69 5 0 0 20 0 19 0 226142665 8261857280 29720 33554432000 4194304 4196468 140733369741280 139898536066960 139898564237013 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29032448 140733369742517 140733369742641 140733369742641 140733369745359 0
[pid=22854/tid=22856] ppid=22836 vsize=8068220 memory=12598 CPUtime=0 cores=1,3,5,7
/proc/22854/task/22856/stat : 22856 (java) S 22836 22836 16770 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 226142666 8261857280 29720 33554432000 4194304 4196468 140733369741280 139898568468880 139898564237013 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29032448 140733369742517 140733369742641 140733369742641 140733369745359 0
[pid=22854/tid=22857] ppid=22836 vsize=8068220 memory=1231544 CPUtime=0 cores=1,3,5,7
/proc/22854/task/22857/stat : 22857 (java) S 22836 22836 16770 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 226142666 8261857280 29720 33554432000 4194304 4196468 140733369741280 139898368637200 139898564237013 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29032448 140733369742517 140733369742641 140733369742641 140733369745359 0
[pid=22854/tid=22858] ppid=22836 vsize=8068220 memory=23089 CPUtime=0 cores=1,3,5,7
/proc/22854/task/22858/stat : 22858 (java) S 22836 22836 16770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 226142666 8261857280 29720 33554432000 4194304 4196468 140733369741280 139898367584912 139898564237013 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29032448 140733369742517 140733369742641 140733369742641 140733369745359 0
[pid=22854/tid=22859] ppid=22836 vsize=8068220 memory=6946898526693516883 CPUtime=0 cores=1,3,5,7
/proc/22854/task/22859/stat : 22859 (java) S 22836 22836 16770 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 226142666 8261857280 29720 33554432000 4194304 4196468 140733369741280 139898366532112 139898564237013 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29032448 140733369742517 140733369742641 140733369742641 140733369745359 0
[pid=22854/tid=22860] ppid=22836 vsize=8068220 memory=3472592183261933599 CPUtime=0.04 cores=1,3,5,7
/proc/22854/task/22860/stat : 22860 (java) S 22836 22836 16770 0 -1 1077944384 7 0 0 0 1 3 0 0 20 0 19 0 226142667 8261857280 29720 33554432000 4194304 4196468 140733369741280 139897943558768 139898564237954 0 0 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29032448 140733369742517 140733369742641 140733369742641 140733369745359 0
[pid=22854/tid=22861] ppid=22836 vsize=8068220 memory=3472468281722259120 CPUtime=0 cores=1,3,5,7
/proc/22854/task/22861/stat : 22861 (java) S 22836 22836 16770 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 226142668 8261857280 29720 33554432000 4194304 4196468 140733369741280 139897419588896 139898564237013 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29032448 140733369742517 140733369742641 140733369742641 140733369745359 0
[pid=22854/tid=22862] ppid=22836 vsize=8068220 memory=3689327911119567153 CPUtime=0 cores=1,3,5,7
/proc/22854/task/22862/stat : 22862 (java) S 22836 22836 16770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 226142668 8261857280 29720 33554432000 4194304 4196468 140733369741280 139897151153776 139898564237013 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29032448 140733369742517 140733369742641 140733369742641 140733369745359 0
[pid=22854/tid=22863] ppid=22836 vsize=8068220 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22854/task/22863/stat : 22863 (java) S 22836 22836 16770 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 226142670 8261857280 29720 33554432000 4194304 4196468 140733369741280 139896776645200 139898564245403 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29032448 140733369742517 140733369742641 140733369742641 140733369745359 0
[pid=22854/tid=22864] ppid=22836 vsize=8068220 memory=3474019362442196511 CPUtime=0.07 cores=1,3,5,7
/proc/22854/task/22864/stat : 22864 (java) S 22836 22836 16770 0 -1 1077944384 636 0 0 0 7 0 0 0 20 0 19 0 226142670 8261857280 29720 33554432000 4194304 4196468 140733369741280 139897942505584 139898564237954 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29032448 140733369742517 140733369742641 140733369742641 140733369745359 0
[pid=22854/tid=22865] ppid=22836 vsize=8068220 memory=7235148681390478954 CPUtime=0.11 cores=1,3,5,7
/proc/22854/task/22865/stat : 22865 (java) S 22836 22836 16770 0 -1 1077944384 313 0 0 0 10 1 0 0 20 0 19 0 226142671 8261857280 29720 33554432000 4194304 4196468 140733369741280 139897941452784 139898564237954 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29032448 140733369742517 140733369742641 140733369742641 140733369745359 0
[pid=22854/tid=22866] ppid=22836 vsize=8068220 memory=7594312976113624937 CPUtime=0.2 cores=1,3,5,7
/proc/22854/task/22866/stat : 22866 (java) S 22836 22836 16770 0 -1 1077944384 553 0 0 0 20 0 0 0 20 0 19 0 226142671 8261857280 29720 33554432000 4194304 4196468 140733369741280 139897940400496 139898564237954 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29032448 140733369742517 140733369742641 140733369742641 140733369745359 0
[pid=22854/tid=22867] ppid=22836 vsize=8068220 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22854/task/22867/stat : 22867 (java) S 22836 22836 16770 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 226142671 8261857280 29720 33554432000 4194304 4196468 140733369741280 139896278739424 139898564237013 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29032448 140733369742517 140733369742641 140733369742641 140733369745359 0
[pid=22854/tid=22868] ppid=22836 vsize=8068220 memory=0 CPUtime=1.25 cores=1,3,5,7
/proc/22854/task/22868/stat : 22868 (java) S 22836 22836 16770 0 -1 1077944384 167 0 0 0 60 65 0 0 20 0 19 0 226142671 8261857280 29720 33554432000 4194304 4196468 140733369741280 139897939348400 139898564237954 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29032448 140733369742517 140733369742641 140733369742641 140733369745359 0
[pid=22854/tid=22870] ppid=22836 vsize=8068220 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22854/task/22870/stat : 22870 (java) S 22836 22836 16770 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 226142736 8261857280 29720 33554432000 4194304 4196468 140733369741280 139897931539904 139898564251417 0 4 2 25189581 18446744071579417331 0 0 -1 7 0 0 0 0 0 6293624 6294260 29032448 140733369742517 140733369742641 140733369742641 140733369745359 0
[pid=22854/tid=22872] ppid=22836 vsize=8068220 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22854/task/22872/stat : 22872 (java) S 22836 22836 16770 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 226142736 8261857280 29720 33554432000 4194304 4196468 140733369741280 139895741853712 139898564248733 0 4 2 25189581 18446744071580971376 0 0 -1 3 0 0 0 0 0 6293624 6294260 29032448 140733369742517 140733369742641 140733369742641 140733369745359 0
[pid=22854/tid=22873] ppid=22836 vsize=8068220 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22854/task/22873/stat : 22873 (java) S 22836 22836 16770 0 -1 4202560 20 0 0 0 0 0 0 0 20 0 19 0 226142737 8261857280 29720 33554432000 4194304 4196468 140733369741280 139895876074896 139898564248733 0 4 2 25189581 18446744071580971376 0 0 -1 7 0 0 0 0 0 6293624 6294260 29032448 140733369742517 140733369742641 140733369742641 140733369745359 0
[pid=22854/tid=22874] ppid=22836 vsize=8068220 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22854/task/22874/stat : 22874 (java) S 22836 22836 16770 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 226142739 8261857280 29720 33554432000 4194304 4196468 140733369741280 139895473429408 139898564237013 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29032448 140733369742517 140733369742641 140733369742641 140733369745359 0
Current children cumulated CPU time: 2520.02 s
Current children cumulated vsize: 8299424 KiB
Current children cumulated memory: 216304 KiB

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

[startup+2507.02 s]
# the end of solver process 22836 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=18.6533 s, system=0.661404 s

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

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

Child status: 1
Real time (s): 2507.02
CPU time (s): 2520.07
CPU user time (s): 2518.45
CPU system time (s): 1.62143
CPU usage (%): 100.52
Max. virtual memory (cumulated for all children) (KiB): 15142280
Max. memory (cumulated for all children) (KiB): 3096952

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2518.45
system time used= 1.62143
maximum resident set size= 3096672
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 231269
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3800
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 59774
involuntary context switches= 905


# summary of solver processes directly reported to runsolver:
#   pid: 22836,22854
#   total CPU time (s): 2520.07
#   total CPU user time (s): 2518.45
#   total CPU system time (s): 1.62143

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 18.0357 second user time and 26.6168 second system time

The end

Launcher Data 

Begin job on node139 at 2018-08-12 16:56:27
IDJOB=4305470
IDBENCH=141583
IDSOLVER=2782
FILE ID=node139/4305470-1534085787
RUNJOBID= node139-1534060441-16802
PBS_JOBID= 21036974
Free space on /tmp= 28404 MiB

SOLVER NAME= scop order+MapleCOMSPS (2018-07-31)
BENCH NAME= XCSP18/Frb/frb-53-24-1-mgd_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-4305470-1534085787/watcher-4305470-1534085787 -o /tmp/evaluation-result-4305470-1534085787/solver-4305470-1534085787 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node139-1534060441-16802 --watchdog 2580  scop.sh 11g scop.jar -order minisat_release default HOME HOME/instance-4305470-1534085787.xml

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

MD5SUM BENCH= e77860b1077c007311080ac2a4bc32f8
RANDOM SEED=1125398408

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:        12916076 kB
MemAvailable:   31730048 kB
Buffers:          230188 kB
Cached:         18551268 kB
SwapCached:            0 kB
Active:          7877192 kB
Inactive:       11134804 kB
Active(anon):     181720 kB
Inactive(anon):   101200 kB
Active(file):    7695472 kB
Inactive(file): 11033604 kB
Unevictable:        7296 kB
Mlocked:            7296 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:              8348 kB
Writeback:             0 kB
AnonPages:        294976 kB
Mapped:            73592 kB
Shmem:             49804 kB
Slab:             541272 kB
SReclaimable:     513356 kB
SUnreclaim:        27916 kB
KernelStack:        3952 kB
PageTables:         5784 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    5895624 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    159744 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= 28396 MiB
End job on node139 at 2018-08-12 17:38:14