Trace number 4305696

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
scop both+MapleCOMSPS (2018-07-31)? (TO) 2520.14 2496.72

General information on the benchmark

NameSubisomorphism/
Subisomorphism-g19-g45_c18.xml
MD5SUMd9c49275b9746ea736e23f2bca190f13
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 variables64
Number of constraints233
Number of domains1
Minimum domain size128
Maximum domain size128
Distribution of domain sizes[{"size":128,"count":64}]
Minimum variable degree4
Maximum variable degree10
Distribution of variable degrees[{"degree":4,"count":4},{"degree":5,"count":8},{"degree":6,"count":20},{"degree":8,"count":16},{"degree":10,"count":16}]
Minimum constraint arity1
Maximum constraint arity64
Distribution of constraint arities[{"arity":1,"count":64},{"arity":2,"count":168},{"arity":64,"count":1}]
Number of extensional constraints232
Number of intensional constraints0
Distribution of constraint types[{"type":"extension","count":232},{"type":"allDifferent","count":1}]
Optimization problemNO
Type of objective

Solver Data 

0.00/0.00	c (scop.sh) java -Xms11g -Xmx11g -Xss128m -cp scop.jar fun.scop.XCSP18Encode -both -solver minisat_release -solverOption default -tmp HOME -serialFile HOME/scop-25348-serial-file.bin HOME/instance-4305696-1534082280.xml
0.55/0.51	
0.67/0.52	scop both+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 15:58:01 CEST 2018
0.67/0.54	c PID: 25351
0.67/0.55	c IP: 172.20.3.135
0.67/0.55	c HOST: node135.alineos.net
0.67/0.55	c (0,0) Parsing Begin
1.57/0.98	c (0,0) Parsing End
1.57/0.99	c (0,0) CSP: 64 int (0 aux), 0 bool (0 aux), 233 ctr, max domain size 128
1.57/0.99	c (0,0) Heap : 112 MiB used (max 10795 MiB), NonHeap : 19 MiB used (max 0 MiB)
1.57/0.99	c (0,0) Constraint Name Generate Begin
1.57/0.99	c (0,0) Ctr:HOME/instance-4305696-1534082280.xml,AllDifferent:ExtensionConflict:ExtensionSupport:IntVar
1.57/0.99	c (0,0) Constraint Name Generate End
1.57/1.00	c (0,0) Heap : 112 MiB used (max 10795 MiB), NonHeap : 19 MiB used (max 0 MiB)
1.57/1.00	c (0,0) CSP to CSPinCNF Begin
11.36/5.07	c (4,4) translated 24 (10%) constraints
14.43/7.91	c (7,7) translated 47 (20%) constraints
17.94/10.72	c (10,9) translated 70 (30%) constraints
20.69/13.44	c (12,12) translated 94 (40%) constraints
24.28/16.29	c (15,15) translated 117 (50%) constraints
26.90/18.87	c (18,17) translated 140 (60%) constraints
30.99/21.90	c (21,20) translated 164 (70%) constraints
31.60/22.61	c (22,21) translated 187 (80%) constraints
31.78/22.61	c (22,21) translated 210 (90%) constraints
31.78/22.63	c (22,21) translated 233 (100%) constraints
35.34/24.26	c (23,22) STATISTICS1:HOME/instance-4305696-1534082280.xml,AllDifferent:ExtensionConflict:ExtensionSupport:IntVar,20896,530682,123,123,125,2,123:6;121:490;103:1520,123:24452;121:315980;103:678720;2:549024,125:168;64:2;3:486192;2:44320,2:2016;1:1564144;0:168,
35.34/24.26	c (23,22) ==========================================
35.34/24.26	c (23,22) Both Encoding selects:
35.34/24.26	c (23,22) Order
35.34/24.26	c (23,22) ==========================================
37.25/25.11	c (24,23) translated 53069 (10%) constraints
37.88/25.75	c (25,24) translated 106137 (20%) constraints
38.48/26.39	c (25,24) translated 159205 (30%) constraints
39.22/27.02	c (26,25) translated 212273 (40%) constraints
39.81/27.66	c (27,25) translated 265341 (50%) constraints
40.51/28.30	c (27,26) translated 318410 (60%) constraints
41.11/28.94	c (28,27) translated 371478 (70%) constraints
41.71/29.58	c (29,27) translated 424546 (80%) constraints
44.51/30.75	c (30,28) translated 477614 (90%) constraints
45.11/31.39	c (30,29) translated 530682 (100%) constraints
45.11/31.39	c (30,29) CSP to CSPinCNF End
45.23/31.40	c (30,29) CSP: 64 int (0 aux), 20832 bool (20832 aux), 530682 ctr, max domain size 123
45.23/31.40	c (30,29) Heap : 860 MiB used (max 10795 MiB), NonHeap : 28 MiB used (max 0 MiB)
45.23/31.40	c (30,29) CSPinCNF Propagation Begin
75.92/56.11	c (55,52) 0 values, 19064 unsatisfiable literals, and 18896 valid clauses are removed
75.92/56.11	c (55,52) CSPinCNF Propagation End
75.92/56.12	c (55,52) CSP: 64 int (0 aux), 20832 bool (20832 aux), 511786 ctr, max domain size 123
75.92/56.12	c (55,52) Heap : 1655 MiB used (max 10698 MiB), NonHeap : 29 MiB used (max 0 MiB)
75.92/56.12	c (55,52) Simplify CSPinCNF Begin
76.92/56.87	c (56,52) Simplify CSPinCNF End
76.92/56.87	c (56,52) CSP: 64 int (0 aux), 24864 bool (24864 aux), 515818 ctr, max domain size 123
76.92/56.87	c (56,52) Heap : 2075 MiB used (max 10698 MiB), NonHeap : 29 MiB used (max 0 MiB)
76.92/56.87	c (56,52) Calculate Precise Domain Begin
76.92/56.87	c (56,52) 0 values are removed by re-calculation
76.92/56.87	c (56,52) Calculate Precise Domain End
76.92/56.88	c (56,52) CSP: 64 int (0 aux), 24864 bool (24864 aux), 515818 ctr, max domain size 123
76.92/56.88	c (56,52) Heap : 2075 MiB used (max 10698 MiB), NonHeap : 29 MiB used (max 0 MiB)
76.92/56.88	c (56,52) CSPinCNF to SatSolver Begin
79.33/58.39	c (57,54) 51582 (10 %) CSP clauses are encoded (31976 SAT variables, 487773 SAT clauses)
79.84/58.64	c (58,54) 103164 (20 %) CSP clauses are encoded (31976 SAT variables, 539355 SAT clauses)
80.03/58.89	c (58,54) 154746 (30 %) CSP clauses are encoded (31976 SAT variables, 590937 SAT clauses)
80.35/59.13	c (58,55) 206328 (40 %) CSP clauses are encoded (31976 SAT variables, 642519 SAT clauses)
80.54/59.38	c (58,55) 257909 (50 %) CSP clauses are encoded (31976 SAT variables, 694100 SAT clauses)
80.84/59.63	c (59,55) 309491 (60 %) CSP clauses are encoded (31976 SAT variables, 745682 SAT clauses)
81.04/59.88	c (59,55) 361073 (70 %) CSP clauses are encoded (31976 SAT variables, 797264 SAT clauses)
81.35/60.13	c (59,56) 412655 (80 %) CSP clauses are encoded (31976 SAT variables, 848846 SAT clauses)
81.55/60.38	c (59,56) 464237 (90 %) CSP clauses are encoded (31976 SAT variables, 900428 SAT clauses)
81.85/60.63	c (60,56) 515818 (100 %) CSP clauses are encoded (31976 SAT variables, 952009 SAT clauses)
81.85/60.63	c (60,56) Launch Command will be: minisat_release
81.85/60.63	c (60,56) CSPinCNF to SatSolver End
81.85/60.63	c (60,56) Heap : 2761 MiB used (max 10710 MiB), NonHeap : 29 MiB used (max 0 MiB)
83.61/61.84	c (61,57) STATISTICS2:HOME/instance-4305696-1534082280.xml,AllDifferent:ExtensionConflict:ExtensionSupport:IntVar,24928,515818,123,123,124,2,123:12;121:980;103:3040,123:24640;121:315920;103:644832;2:538256,124:168;64:2;3:467360;2:48288,2:4032;1:1515584,
83.66/61.91	c (61,57) 31976 bool, 952010 clause
83.66/61.91	c (61,57) Export Begin
83.82/62.02	c (61,57) Export to HOME/scop-25348-serial-file.bin
83.82/62.02	c (61,57) Export End
83.82/62.02	c (61,57) Export File Size: 0.09 MB
83.82/62.02	c (61,57) 0,0,30,55,56,56,60,STOP-AFTER(DIMACS)
83.82/62.02	c END-Prog: Sun Aug 12 15:59:02 CEST 2018
83.82/62.06	c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp scop.jar fun.scop.XCSP18Solve HOME/scop-25348-serial-file.bin
83.92/62.56	c (0,0) Read Serial File Begin
83.92/62.56	c (0,0) HOME/scop-25348-serial-file.bin
83.92/62.75	c (0,0) Read Serial File End
83.92/62.76	
83.92/62.76	scop order+minisat_release (2018-07-31)
83.92/62.76	(Solving Process)
83.92/62.76	
83.92/62.79	c BEGIN-Prog: Sun Aug 12 15:59:03 CEST 2018
83.92/62.79	c PID: 25368
83.92/62.79	c IP: 172.20.3.135
83.92/62.79	c HOST: node135.alineos.net
83.92/62.79	c (0,0) SatSolver.solve Begin
83.92/62.79	c (0,0) 0 bool, 0 clause
83.92/62.79	c (0,0) minisat_release HOME/instance-4305696-1534082280.xml-scop-25351.cnf
2520.08/2496.70	c (2434,0) receiving signal SIGTERM
2520.08/2496.70	s UNKNOWN
2520.08/2496.71	c (2434,0) SatSolver is killed by some reasons.
2520.08/2496.71	c (scop.sh) Receiving Signal. Removing all intermediate files.
2520.08/2496.71	c (scop.sh) Remove HOME/scop-25348-serial-file.bin.
2520.08/2496.71	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 (7626 MiB free)
  memory of node 1: 16384 MiB (4396 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4305696-1534082280/watcher-4305696-1534082280 -o /tmp/evaluation-result-4305696-1534082280/solver-4305696-1534082280 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node135-1534062530-19414 --watchdog 2580 scop.sh 11g scop.jar -both minisat_release default HOME HOME/instance-4305696-1534082280.xml 

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

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

solver pid=25348, runsolver pid=25345

[startup+0.100171 s]*
/proc/loadavg: 2.22 2.05 2.06 3/225 25365
/proc/meminfo: memFree=12252104/32770624 swapFree=67108860/67108860
[pid=25348] ppid=25345 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/25348/stat : 25348 (scop.sh) S 25345 25348 19383 0 -1 4202496 560 321 0 0 0 0 0 0 20 0 1 0 225791204 115843072 349 33554432000 4194304 5098028 140727424558320 140727424555576 140552810201724 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 14348288 140727424562241 140727424562439 140727424562439 140727424565197 0
/proc/25348/statm: 28282 349 296 221 0 87 0
[pid=25351] ppid=25348 vsize=15012476 memory=71988 CPUtime=0.11 cores=0,2,4,6
/proc/25351/stat : 25351 (java) S 25348 25348 19383 0 -1 1077944320 6665 0 0 0 9 2 0 0 20 0 15 0 225791204 15372775424 17997 33554432000 4194304 4196468 140732684922320 140732684904864 139965928124151 0 0 2 16800973 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 28860416 140732684928007 140732684928305 140732684928305 140732684931023 0
/proc/25351/statm: 3753119 17997 2741 1 0 3715579 0
[pid=25351/tid=25352] ppid=25348 vsize=15012476 memory=-6220453793737523139 CPUtime=0.08 cores=0,2,4,6
/proc/25351/task/25352/stat : 25352 (java) R 25348 25348 19383 0 -1 4202560 4764 0 0 0 7 1 0 0 20 0 15 0 225791205 15372775424 17997 33554432000 4194304 4196468 140732684922320 139965899936136 139965911310977 0 4 2 16800973 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 28860416 140732684928007 140732684928305 140732684928305 140732684931023 0
[pid=25351/tid=25353] ppid=25348 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25351/task/25353/stat : 25353 (java) S 25348 25348 19383 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225791206 15372775424 17997 33554432000 4194304 4196468 140732684922320 139965932366096 139965928134357 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28860416 140732684928007 140732684928305 140732684928305 140732684931023 0
[pid=25351/tid=25354] ppid=25348 vsize=15012476 memory=140245587342976 CPUtime=0 cores=0,2,4,6
/proc/25351/task/25354/stat : 25354 (java) S 25348 25348 19383 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225791206 15372775424 17997 33554432000 4194304 4196468 140732684922320 139965746522512 139965928134357 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28860416 140732684928007 140732684928305 140732684928305 140732684931023 0
[pid=25351/tid=25355] ppid=25348 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25351/task/25355/stat : 25355 (java) S 25348 25348 19383 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225791206 15372775424 17997 33554432000 4194304 4196468 140732684922320 139965745469968 139965928134357 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28860416 140732684928007 140732684928305 140732684928305 140732684931023 0
[pid=25351/tid=25356] ppid=25348 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/25351/task/25356/stat : 25356 (java) S 25348 25348 19383 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 225791206 15372775424 17997 33554432000 4194304 4196468 140732684922320 139965744417424 139965928134357 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28860416 140732684928007 140732684928305 140732684928305 140732684931023 0
[pid=25351/tid=25357] ppid=25348 vsize=15012476 memory=140245587342976 CPUtime=0 cores=0,2,4,6
/proc/25351/task/25357/stat : 25357 (java) S 25348 25348 19383 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 225791208 15372775424 17997 33554432000 4194304 4196468 140732684922320 139964965734896 139965928135298 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28860416 140732684928007 140732684928305 140732684928305 140732684931023 0
[pid=25351/tid=25358] ppid=25348 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/25351/task/25358/stat : 25358 (java) S 25348 25348 19383 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 225791208 15372775424 17997 33554432000 4194304 4196468 140732684922320 139964461344160 139965928134357 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28860416 140732684928007 140732684928305 140732684928305 140732684931023 0
[pid=25351/tid=25359] ppid=25348 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25351/task/25359/stat : 25359 (java) S 25348 25348 19383 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225791208 15372775424 17997 33554432000 4194304 4196468 140732684922320 139964192908784 139965928134357 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28860416 140732684928007 140732684928305 140732684928305 140732684931023 0
[pid=25351/tid=25360] ppid=25348 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25351/task/25360/stat : 25360 (java) S 25348 25348 19383 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 225791211 15372775424 17997 33554432000 4194304 4196468 140732684922320 139963818400464 139965928142747 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28860416 140732684928007 140732684928305 140732684928305 140732684931023 0
[pid=25351/tid=25361] ppid=25348 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25351/task/25361/stat : 25361 (java) S 25348 25348 19383 0 -1 1077944384 304 0 0 0 0 0 0 0 20 0 15 0 225791211 15372775424 17997 33554432000 4194304 4196468 140732684922320 139964964681712 139965928135298 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28860416 140732684928007 140732684928305 140732684928305 140732684931023 0
[pid=25351/tid=25362] ppid=25348 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/25351/task/25362/stat : 25362 (java) S 25348 25348 19383 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 225791211 15372775424 17997 33554432000 4194304 4196468 140732684922320 139964963629168 139965928135298 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28860416 140732684928007 140732684928305 140732684928305 140732684931023 0
[pid=25351/tid=25363] ppid=25348 vsize=15012476 memory=140245587342976 CPUtime=0.01 cores=0,2,4,6
/proc/25351/task/25363/stat : 25363 (java) S 25348 25348 19383 0 -1 1077944384 263 0 0 0 1 0 0 0 20 0 15 0 225791211 15372775424 17997 33554432000 4194304 4196468 140732684922320 139964962576624 139965928135298 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28860416 140732684928007 140732684928305 140732684928305 140732684931023 0
[pid=25351/tid=25364] ppid=25348 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/25351/task/25364/stat : 25364 (java) S 25348 25348 19383 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 225791211 15372775424 17997 33554432000 4194304 4196468 140732684922320 139963320494688 139965928134357 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28860416 140732684928007 140732684928305 140732684928305 140732684931023 0
[pid=25351/tid=25365] ppid=25348 vsize=15012476 memory=140245587342976 CPUtime=0 cores=0,2,4,6
/proc/25351/task/25365/stat : 25365 (java) S 25348 25348 19383 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225791211 15372775424 17997 33554432000 4194304 4196468 140732684922320 139964961524528 139965928135298 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28860416 140732684928007 140732684928305 140732684928305 140732684931023 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 15125604 KiB
Current children cumulated memory: 73384 KiB

[startup+0.210901 s]*
/proc/loadavg: 2.22 2.05 2.06 4/225 25365
/proc/meminfo: memFree=12238296/32770624 swapFree=67108860/67108860
[pid=25348] ppid=25345 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/25348/stat : 25348 (scop.sh) S 25345 25348 19383 0 -1 4202496 560 321 0 0 0 0 0 0 20 0 1 0 225791204 115843072 349 33554432000 4194304 5098028 140727424558320 140727424555576 140552810201724 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 14348288 140727424562241 140727424562439 140727424562439 140727424565197 0
/proc/25348/statm: 28282 349 296 221 0 87 0
[pid=25351] ppid=25348 vsize=15012476 memory=85836 CPUtime=0.26 cores=0,2,4,6
/proc/25351/stat : 25351 (java) S 25348 25348 19383 0 -1 1077944320 10274 0 0 0 23 3 0 0 20 0 15 0 225791204 15372775424 21459 33554432000 4194304 4196468 140732684922320 140732684904864 139965928124151 0 0 2 16800973 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 28860416 140732684928007 140732684928305 140732684928305 140732684931023 0
/proc/25351/statm: 3753119 21459 2928 1 0 3715579 0
[pid=25351/tid=25352] ppid=25348 vsize=15012476 memory=7022364632946311227 CPUtime=0.2 cores=0,2,4,6
/proc/25351/task/25352/stat : 25352 (java) R 25348 25348 19383 0 -1 4202560 8187 0 0 0 18 2 0 0 20 0 15 0 225791205 15372775424 21459 33554432000 4194304 4196468 140732684922320 139965899948960 139965928136086 0 4 2 16800973 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 28860416 140732684928007 140732684928305 140732684928305 140732684931023 0
[pid=25351/tid=25353] ppid=25348 vsize=15012476 memory=550 CPUtime=0 cores=0,2,4,6
/proc/25351/task/25353/stat : 25353 (java) S 25348 25348 19383 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225791206 15372775424 21459 33554432000 4194304 4196468 140732684922320 139965932366096 139965928134357 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28860416 140732684928007 140732684928305 140732684928305 140732684931023 0
[pid=25351/tid=25354] ppid=25348 vsize=15012476 memory=140245587366939 CPUtime=0 cores=0,2,4,6
/proc/25351/task/25354/stat : 25354 (java) S 25348 25348 19383 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225791206 15372775424 21459 33554432000 4194304 4196468 140732684922320 139965746522512 139965928134357 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28860416 140732684928007 140732684928305 140732684928305 140732684931023 0
[pid=25351/tid=25355] ppid=25348 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25351/task/25355/stat : 25355 (java) S 25348 25348 19383 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225791206 15372775424 21459 33554432000 4194304 4196468 140732684922320 139965745469968 139965928134357 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28860416 140732684928007 140732684928305 140732684928305 140732684931023 0
[pid=25351/tid=25356] ppid=25348 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/25351/task/25356/stat : 25356 (java) S 25348 25348 19383 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 225791206 15372775424 21459 33554432000 4194304 4196468 140732684922320 139965744417424 139965928134357 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28860416 140732684928007 140732684928305 140732684928305 140732684931023 0
[pid=25351/tid=25357] ppid=25348 vsize=15012476 memory=140245587342976 CPUtime=0 cores=0,2,4,6
/proc/25351/task/25357/stat : 25357 (java) S 25348 25348 19383 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 225791208 15372775424 21459 33554432000 4194304 4196468 140732684922320 139964965734896 139965928135298 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28860416 140732684928007 140732684928305 140732684928305 140732684931023 0
[pid=25351/tid=25358] ppid=25348 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/25351/task/25358/stat : 25358 (java) S 25348 25348 19383 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 225791208 15372775424 21459 33554432000 4194304 4196468 140732684922320 139964461344160 139965928134357 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28860416 140732684928007 140732684928305 140732684928305 140732684931023 0
[pid=25351/tid=25359] ppid=25348 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25351/task/25359/stat : 25359 (java) S 25348 25348 19383 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225791208 15372775424 21459 33554432000 4194304 4196468 140732684922320 139964192908784 139965928134357 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28860416 140732684928007 140732684928305 140732684928305 140732684931023 0
[pid=25351/tid=25360] ppid=25348 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25351/task/25360/stat : 25360 (java) S 25348 25348 19383 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 225791211 15372775424 21459 33554432000 4194304 4196468 140732684922320 139963818400464 139965928142747 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28860416 140732684928007 140732684928305 140732684928305 140732684931023 0
[pid=25351/tid=25361] ppid=25348 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25351/task/25361/stat : 25361 (java) S 25348 25348 19383 0 -1 1077944384 339 0 0 0 0 0 0 0 20 0 15 0 225791211 15372775424 21459 33554432000 4194304 4196468 140732684922320 139964964681712 139965928135298 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28860416 140732684928007 140732684928305 140732684928305 140732684931023 0
[pid=25351/tid=25362] ppid=25348 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/25351/task/25362/stat : 25362 (java) S 25348 25348 19383 0 -1 1077944384 134 0 0 0 0 0 0 0 20 0 15 0 225791211 15372775424 21459 33554432000 4194304 4196468 140732684922320 139964963629168 139965928135298 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28860416 140732684928007 140732684928305 140732684928305 140732684931023 0
[pid=25351/tid=25363] ppid=25348 vsize=15012476 memory=140245587342976 CPUtime=0.03 cores=0,2,4,6
/proc/25351/task/25363/stat : 25363 (java) R 25348 25348 19383 0 -1 4202560 282 0 0 0 3 0 0 0 20 0 15 0 225791211 15372775424 21459 33554432000 4194304 4196468 140732684922320 139964962576624 139965912204638 0 4 2 16800973 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 28860416 140732684928007 140732684928305 140732684928305 140732684931023 0
[pid=25351/tid=25364] ppid=25348 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/25351/task/25364/stat : 25364 (java) S 25348 25348 19383 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 225791211 15372775424 21459 33554432000 4194304 4196468 140732684922320 139963320494688 139965928134357 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28860416 140732684928007 140732684928305 140732684928305 140732684931023 0
[pid=25351/tid=25365] ppid=25348 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25351/task/25365/stat : 25365 (java) S 25348 25348 19383 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225791211 15372775424 21459 33554432000 4194304 4196468 140732684922320 139964961524528 139965928135298 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28860416 140732684928007 140732684928305 140732684928305 140732684931023 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 15125604 KiB
Current children cumulated memory: 87232 KiB

[startup+0.3109 s]*
/proc/loadavg: 2.22 2.05 2.06 3/225 25365
/proc/meminfo: memFree=12234244/32770624 swapFree=67108860/67108860
[pid=25348] ppid=25345 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/25348/stat : 25348 (scop.sh) S 25345 25348 19383 0 -1 4202496 560 321 0 0 0 0 0 0 20 0 1 0 225791204 115843072 349 33554432000 4194304 5098028 140727424558320 140727424555576 140552810201724 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 14348288 140727424562241 140727424562439 140727424562439 140727424565197 0
/proc/25348/statm: 28282 349 296 221 0 87 0
[pid=25351] ppid=25348 vsize=15012476 memory=89444 CPUtime=0.43 cores=0,2,4,6
/proc/25351/stat : 25351 (java) S 25348 25348 19383 0 -1 1077944320 10896 0 0 0 40 3 0 0 20 0 15 0 225791204 15372775424 22361 33554432000 4194304 4196468 140732684922320 140732684904864 139965928124151 0 0 2 16800973 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 28860416 140732684928007 140732684928305 140732684928305 140732684931023 0
/proc/25351/statm: 3753119 22361 2967 1 0 3715579 0
[pid=25351/tid=25352] ppid=25348 vsize=15012476 memory=7022364632946311227 CPUtime=0.29 cores=0,2,4,6
/proc/25351/task/25352/stat : 25352 (java) R 25348 25348 19383 0 -1 4202560 8620 0 0 0 27 2 0 0 20 0 15 0 225791205 15372775424 22361 33554432000 4194304 4196468 140732684922320 139965899919152 139965911507888 0 4 2 16800973 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 28860416 140732684928007 140732684928305 140732684928305 140732684931023 0
[pid=25351/tid=25353] ppid=25348 vsize=15012476 memory=288293255295271336 CPUtime=0 cores=0,2,4,6
/proc/25351/task/25353/stat : 25353 (java) S 25348 25348 19383 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225791206 15372775424 22361 33554432000 4194304 4196468 140732684922320 139965932366096 139965928134357 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28860416 140732684928007 140732684928305 140732684928305 140732684931023 0
[pid=25351/tid=25354] ppid=25348 vsize=15012476 memory=3760844584071220472 CPUtime=0 cores=0,2,4,6
/proc/25351/task/25354/stat : 25354 (java) S 25348 25348 19383 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225791206 15372775424 22361 33554432000 4194304 4196468 140732684922320 139965746522512 139965928134357 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28860416 140732684928007 140732684928305 140732684928305 140732684931023 0
[pid=25351/tid=25355] ppid=25348 vsize=15012476 memory=280490892622192 CPUtime=0 cores=0,2,4,6
/proc/25351/task/25355/stat : 25355 (java) S 25348 25348 19383 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225791206 15372775424 22361 33554432000 4194304 4196468 140732684922320 139965745469968 139965928134357 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28860416 140732684928007 140732684928305 140732684928305 140732684931023 0
[pid=25351/tid=25356] ppid=25348 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25351/task/25356/stat : 25356 (java) S 25348 25348 19383 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 225791206 15372775424 22361 33554432000 4194304 4196468 140732684922320 139965744417424 139965928134357 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28860416 140732684928007 140732684928305 140732684928305 140732684931023 0
[pid=25351/tid=25357] ppid=25348 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25351/task/25357/stat : 25357 (java) S 25348 25348 19383 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 225791208 15372775424 22361 33554432000 4194304 4196468 140732684922320 139964965734896 139965928135298 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28860416 140732684928007 140732684928305 140732684928305 140732684931023 0
[pid=25351/tid=25358] ppid=25348 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25351/task/25358/stat : 25358 (java) S 25348 25348 19383 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 225791208 15372775424 22361 33554432000 4194304 4196468 140732684922320 139964461344160 139965928134357 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28860416 140732684928007 140732684928305 140732684928305 140732684931023 0
[pid=25351/tid=25359] ppid=25348 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25351/task/25359/stat : 25359 (java) S 25348 25348 19383 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225791208 15372775424 22361 33554432000 4194304 4196468 140732684922320 139964192908784 139965928134357 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28860416 140732684928007 140732684928305 140732684928305 140732684931023 0
[pid=25351/tid=25360] ppid=25348 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25351/task/25360/stat : 25360 (java) S 25348 25348 19383 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 225791211 15372775424 22361 33554432000 4194304 4196468 140732684922320 139963818400464 139965928142747 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28860416 140732684928007 140732684928305 140732684928305 140732684931023 0
[pid=25351/tid=25361] ppid=25348 vsize=15012476 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/25351/task/25361/stat : 25361 (java) R 25348 25348 19383 0 -1 1077944384 430 0 0 0 2 0 0 0 20 0 15 0 225791211 15372775424 22361 33554432000 4194304 4196468 140732684922320 139964964681712 139965928135298 0 4 2 16800973 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 28860416 140732684928007 140732684928305 140732684928305 140732684931023 0
[pid=25351/tid=25362] ppid=25348 vsize=15012476 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/25351/task/25362/stat : 25362 (java) R 25348 25348 19383 0 -1 4202560 187 0 0 0 1 0 0 0 20 0 15 0 225791211 15372775424 22361 33554432000 4194304 4196468 140732684922320 139964963629264 139965908823368 0 4 2 16800973 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 28860416 140732684928007 140732684928305 140732684928305 140732684931023 0
[pid=25351/tid=25363] ppid=25348 vsize=15012476 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/25351/task/25363/stat : 25363 (java) R 25348 25348 19383 0 -1 4202560 329 0 0 0 7 0 0 0 20 0 15 0 225791211 15372775424 22361 33554432000 4194304 4196468 140732684922320 139964962576624 139965912204638 0 4 2 16800973 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 28860416 140732684928007 140732684928305 140732684928305 140732684931023 0
[pid=25351/tid=25364] ppid=25348 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25351/task/25364/stat : 25364 (java) S 25348 25348 19383 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 225791211 15372775424 22361 33554432000 4194304 4196468 140732684922320 139963320494688 139965928134357 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28860416 140732684928007 140732684928305 140732684928305 140732684931023 0
[pid=25351/tid=25365] ppid=25348 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25351/task/25365/stat : 25365 (java) S 25348 25348 19383 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225791211 15372775424 22361 33554432000 4194304 4196468 140732684922320 139964961524528 139965928135298 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28860416 140732684928007 140732684928305 140732684928305 140732684931023 0
Current children cumulated CPU time: 0.43 s
Current children cumulated vsize: 15125604 KiB
Current children cumulated memory: 90840 KiB

[startup+0.706237 s]
/proc/loadavg: 2.22 2.05 2.06 3/225 25365
/proc/meminfo: memFree=12209936/32770624 swapFree=67108860/67108860
[pid=25348] ppid=25345 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/25348/stat : 25348 (scop.sh) S 25345 25348 19383 0 -1 4202496 560 321 0 0 0 0 0 0 20 0 1 0 225791204 115843072 349 33554432000 4194304 5098028 140727424558320 140727424555576 140552810201724 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 14348288 140727424562241 140727424562439 140727424562439 140727424565197 0
/proc/25348/statm: 28282 349 296 221 0 87 0
[pid=25351] ppid=25348 vsize=15020872 memory=129784 CPUtime=1.01 cores=0,2,4,6
/proc/25351/stat : 25351 (java) S 25348 25348 19383 0 -1 1077944320 18098 0 0 0 96 5 0 0 20 0 15 0 225791204 15381372928 32446 33554432000 4194304 4196468 140732684922320 140732684904864 139965928124151 0 0 2 25189581 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 28860416 140732684928007 140732684928305 140732684928305 140732684931023 0
/proc/25351/statm: 3755218 32446 3147 1 0 3716603 0
[pid=25351/tid=25352] ppid=25348 vsize=15020872 memory=792 CPUtime=0.68 cores=0,2,4,6
/proc/25351/task/25352/stat : 25352 (java) R 25348 25348 19383 0 -1 4202560 15361 0 0 0 64 4 0 0 20 0 15 0 225791205 15381372928 32446 33554432000 4194304 4196468 140732684922320 139965899959808 139965928146077 0 4 2 25189581 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 28860416 140732684928007 140732684928305 140732684928305 140732684931023 0
[pid=25351/tid=25353] ppid=25348 vsize=15020872 memory=1224 CPUtime=0 cores=0,2,4,6
/proc/25351/task/25353/stat : 25353 (java) S 25348 25348 19383 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225791206 15381372928 32446 33554432000 4194304 4196468 140732684922320 139965932366096 139965928134357 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28860416 140732684928007 140732684928305 140732684928305 140732684931023 0
[pid=25351/tid=25354] ppid=25348 vsize=15020872 memory=1944 CPUtime=0 cores=0,2,4,6
/proc/25351/task/25354/stat : 25354 (java) S 25348 25348 19383 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225791206 15381372928 32446 33554432000 4194304 4196468 140732684922320 139965746522512 139965928134357 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28860416 140732684928007 140732684928305 140732684928305 140732684931023 0
[pid=25351/tid=25355] ppid=25348 vsize=15020872 memory=5772 CPUtime=0 cores=0,2,4,6
/proc/25351/task/25355/stat : 25355 (java) S 25348 25348 19383 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225791206 15381372928 32446 33554432000 4194304 4196468 140732684922320 139965745469968 139965928134357 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28860416 140732684928007 140732684928305 140732684928305 140732684931023 0
[pid=25351/tid=25356] ppid=25348 vsize=15020872 memory=1444 CPUtime=0 cores=0,2,4,6
/proc/25351/task/25356/stat : 25356 (java) S 25348 25348 19383 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 225791206 15381372928 32446 33554432000 4194304 4196468 140732684922320 139965744417424 139965928134357 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28860416 140732684928007 140732684928305 140732684928305 140732684931023 0
[pid=25351/tid=25357] ppid=25348 vsize=15020872 memory=1160 CPUtime=0 cores=0,2,4,6
/proc/25351/task/25357/stat : 25357 (java) S 25348 25348 19383 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 225791208 15381372928 32446 33554432000 4194304 4196468 140732684922320 139964965734896 139965928135298 0 0 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28860416 140732684928007 140732684928305 140732684928305 140732684931023 0
[pid=25351/tid=25358] ppid=25348 vsize=15020872 memory=968 CPUtime=0 cores=0,2,4,6
/proc/25351/task/25358/stat : 25358 (java) S 25348 25348 19383 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 225791208 15381372928 32446 33554432000 4194304 4196468 140732684922320 139964461344160 139965928134357 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28860416 140732684928007 140732684928305 140732684928305 140732684931023 0
[pid=25351/tid=25359] ppid=25348 vsize=15020872 memory=12144 CPUtime=0 cores=0,2,4,6
/proc/25351/task/25359/stat : 25359 (java) S 25348 25348 19383 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225791208 15381372928 32446 33554432000 4194304 4196468 140732684922320 139964192908784 139965928134357 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28860416 140732684928007 140732684928305 140732684928305 140732684931023 0
[pid=25351/tid=25360] ppid=25348 vsize=15020872 memory=1712 CPUtime=0 cores=0,2,4,6
/proc/25351/task/25360/stat : 25360 (java) S 25348 25348 19383 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 225791211 15381372928 32446 33554432000 4194304 4196468 140732684922320 139963818400464 139965928142747 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28860416 140732684928007 140732684928305 140732684928305 140732684931023 0
[pid=25351/tid=25361] ppid=25348 vsize=15020872 memory=8812 CPUtime=0.07 cores=0,2,4,6
/proc/25351/task/25361/stat : 25361 (java) R 25348 25348 19383 0 -1 1077944384 495 0 0 0 7 0 0 0 20 0 15 0 225791211 15381372928 32446 33554432000 4194304 4196468 140732684922320 139964964681712 139965928135298 0 4 2 25189581 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 28860416 140732684928007 140732684928305 140732684928305 140732684931023 0
[pid=25351/tid=25362] ppid=25348 vsize=15020872 memory=4576 CPUtime=0.08 cores=0,2,4,6
/proc/25351/task/25362/stat : 25362 (java) R 25348 25348 19383 0 -1 4202560 431 0 0 0 8 0 0 0 20 0 15 0 225791211 15381372928 32446 33554432000 4194304 4196468 140732684922320 139964963618960 139965909667908 0 4 2 25189581 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 28860416 140732684928007 140732684928305 140732684928305 140732684931023 0
[pid=25351/tid=25363] ppid=25348 vsize=15020872 memory=15868 CPUtime=0.16 cores=0,2,4,6
/proc/25351/task/25363/stat : 25363 (java) R 25348 25348 19383 0 -1 4202560 477 0 0 0 16 0 0 0 20 0 15 0 225791211 15381372928 32446 33554432000 4194304 4196468 140732684922320 139964962571664 139965921220987 0 4 2 25189581 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 28860416 140732684928007 140732684928305 140732684928305 140732684931023 0
[pid=25351/tid=25364] ppid=25348 vsize=15020872 memory=4012 CPUtime=0 cores=0,2,4,6
/proc/25351/task/25364/stat : 25364 (java) S 25348 25348 19383 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 225791211 15381372928 32446 33554432000 4194304 4196468 140732684922320 139963320494688 139965928134357 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28860416 140732684928007 140732684928305 140732684928305 140732684931023 0
[pid=25351/tid=25365] ppid=25348 vsize=15020872 memory=35116 CPUtime=0 cores=0,2,4,6
/proc/25351/task/25365/stat : 25365 (java) S 25348 25348 19383 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225791211 15381372928 32446 33554432000 4194304 4196468 140732684922320 139964961524528 139965928135298 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28860416 140732684928007 140732684928305 140732684928305 140732684931023 0
Current children cumulated CPU time: 1.01 s
Current children cumulated vsize: 15134000 KiB
Current children cumulated memory: 131180 KiB

[startup+1.50668 s]
/proc/loadavg: 2.22 2.05 2.06 5/225 25366
/proc/meminfo: memFree=12173252/32770624 swapFree=67108860/67108860
[pid=25348] ppid=25345 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/25348/stat : 25348 (scop.sh) S 25345 25348 19383 0 -1 4202496 560 321 0 0 0 0 0 0 20 0 1 0 225791204 115843072 349 33554432000 4194304 5098028 140727424558320 140727424555576 140552810201724 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 14348288 140727424562241 140727424562439 140727424562439 140727424565197 0
/proc/25348/statm: 28282 349 296 221 0 87 0

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

[pid=25368/tid=25371] ppid=25348 vsize=8068220 memory=120320 CPUtime=0 cores=0,2,4,6
/proc/25368/task/25371/stat : 25371 (java) S 25348 25348 19383 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 225797412 8261857280 30080 33554432000 4194304 4196468 140721627707664 139803066194960 139803237320405 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13619200 140721627710645 140721627710769 140721627710769 140721627713487 0
[pid=25368/tid=25372] ppid=25348 vsize=8068220 memory=120320 CPUtime=0 cores=0,2,4,6
/proc/25368/task/25372/stat : 25372 (java) S 25348 25348 19383 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 225797412 8261857280 30080 33554432000 4194304 4196468 140721627707664 139802721287056 139803237320405 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13619200 140721627710645 140721627710769 140721627710769 140721627713487 0
[pid=25368/tid=25373] ppid=25348 vsize=8068220 memory=1472 CPUtime=0 cores=0,2,4,6
/proc/25368/task/25373/stat : 25373 (java) S 25348 25348 19383 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 225797412 8261857280 30080 33554432000 4194304 4196468 140721627707664 139802720234256 139803237320405 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13619200 140721627710645 140721627710769 140721627710769 140721627713487 0
[pid=25368/tid=25374] ppid=25348 vsize=8068220 memory=0 CPUtime=0.05 cores=0,2,4,6
/proc/25368/task/25374/stat : 25374 (java) S 25348 25348 19383 0 -1 1077944384 5 0 0 0 3 2 0 0 20 0 19 0 225797413 8261857280 30080 33554432000 4194304 4196468 140721627707664 139802683677040 139803237321346 0 0 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13619200 140721627710645 140721627710769 140721627710769 140721627713487 0
[pid=25368/tid=25375] ppid=25348 vsize=8068220 memory=1472 CPUtime=0 cores=0,2,4,6
/proc/25368/task/25375/stat : 25375 (java) S 25348 25348 19383 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 225797414 8261857280 30080 33554432000 4194304 4196468 140721627707664 139802057892896 139803237320405 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13619200 140721627710645 140721627710769 140721627710769 140721627713487 0
[pid=25368/tid=25376] ppid=25348 vsize=8068220 memory=120320 CPUtime=0 cores=0,2,4,6
/proc/25368/task/25376/stat : 25376 (java) S 25348 25348 19383 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 225797414 8261857280 30080 33554432000 4194304 4196468 140721627707664 139801789457264 139803237320405 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13619200 140721627710645 140721627710769 140721627710769 140721627713487 0
[pid=25368/tid=25377] ppid=25348 vsize=8068220 memory=1472 CPUtime=0 cores=0,2,4,6
/proc/25368/task/25377/stat : 25377 (java) S 25348 25348 19383 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 225797417 8261857280 30080 33554432000 4194304 4196468 140721627707664 139801414948688 139803237328795 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13619200 140721627710645 140721627710769 140721627710769 140721627713487 0
[pid=25368/tid=25378] ppid=25348 vsize=8068220 memory=1472 CPUtime=0.12 cores=0,2,4,6
/proc/25368/task/25378/stat : 25378 (java) S 25348 25348 19383 0 -1 1077944384 723 0 0 0 12 0 0 0 20 0 19 0 225797417 8261857280 30080 33554432000 4194304 4196468 140721627707664 139802682624880 139803237321346 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13619200 140721627710645 140721627710769 140721627710769 140721627713487 0
[pid=25368/tid=25379] ppid=25348 vsize=8068220 memory=120320 CPUtime=0.13 cores=0,2,4,6
/proc/25368/task/25379/stat : 25379 (java) S 25348 25348 19383 0 -1 1077944384 516 0 0 0 13 0 0 0 20 0 19 0 225797417 8261857280 30080 33554432000 4194304 4196468 140721627707664 139802681572080 139803237321346 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13619200 140721627710645 140721627710769 140721627710769 140721627713487 0
[pid=25368/tid=25380] ppid=25348 vsize=8068220 memory=1472 CPUtime=0.22 cores=0,2,4,6
/proc/25368/task/25380/stat : 25380 (java) S 25348 25348 19383 0 -1 1077944384 547 0 0 0 22 0 0 0 20 0 19 0 225797417 8261857280 30080 33554432000 4194304 4196468 140721627707664 139802680519280 139803237321346 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13619200 140721627710645 140721627710769 140721627710769 140721627713487 0
[pid=25368/tid=25381] ppid=25348 vsize=8068220 memory=1472 CPUtime=0 cores=0,2,4,6
/proc/25368/task/25381/stat : 25381 (java) S 25348 25348 19383 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 225797417 8261857280 30080 33554432000 4194304 4196468 140721627707664 139800917043936 139803237320405 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13619200 140721627710645 140721627710769 140721627710769 140721627713487 0
[pid=25368/tid=25382] ppid=25348 vsize=8068220 memory=1472 CPUtime=1.21 cores=0,2,4,6
/proc/25368/task/25382/stat : 25382 (java) S 25348 25348 19383 0 -1 1077944384 159 0 0 0 64 57 0 0 20 0 19 0 225797417 8261857280 30080 33554432000 4194304 4196468 140721627707664 139802679466672 139803237321346 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13619200 140721627710645 140721627710769 140721627710769 140721627713487 0
[pid=25368/tid=25384] ppid=25348 vsize=8068220 memory=1472 CPUtime=0 cores=0,2,4,6
/proc/25368/task/25384/stat : 25384 (java) S 25348 25348 19383 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 225797486 8261857280 30080 33554432000 4194304 4196468 140721627707664 139802671658176 139803237334809 0 4 2 25189581 18446744071579417331 0 0 -1 2 0 0 0 0 0 6293624 6294260 13619200 140721627710645 140721627710769 140721627710769 140721627713487 0
[pid=25368/tid=25386] ppid=25348 vsize=8068220 memory=1472 CPUtime=0 cores=0,2,4,6
/proc/25368/task/25386/stat : 25386 (java) S 25348 25348 19383 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 225797486 8261857280 30080 33554432000 4194304 4196468 140721627707664 139800380161328 139803237332125 0 4 2 25189581 18446744071580971376 0 0 -1 2 0 0 0 0 0 6293624 6294260 13619200 140721627710645 140721627710769 140721627710769 140721627713487 0
[pid=25368/tid=25387] ppid=25348 vsize=8068220 memory=120320 CPUtime=0 cores=0,2,4,6
/proc/25368/task/25387/stat : 25387 (java) S 25348 25348 19383 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 19 0 225797486 8261857280 30080 33554432000 4194304 4196468 140721627707664 139800648597680 139803237332125 0 4 2 25189581 18446744071580971376 0 0 -1 2 0 0 0 0 0 6293624 6294260 13619200 140721627710645 140721627710769 140721627710769 140721627713487 0
[pid=25368/tid=25388] ppid=25348 vsize=8068220 memory=1472 CPUtime=0 cores=0,2,4,6
/proc/25368/task/25388/stat : 25388 (java) S 25348 25348 19383 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 19 0 225797488 8261857280 30080 33554432000 4194304 4196468 140721627707664 139799977516704 139803237320405 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13619200 140721627710645 140721627710769 140721627710769 140721627713487 0
Current children cumulated CPU time: 2465.67 s
Current children cumulated vsize: 8364972 KiB
Current children cumulated memory: 278712 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2496.7 s]
/proc/loadavg: 2.02 2.04 2.05 3/231 25594
/proc/meminfo: memFree=12543248/32770624 swapFree=67108860/67108860
[pid=25348] ppid=25345 vsize=113128 memory=1472 CPUtime=83.92 cores=0,2,4,6
/proc/25348/stat : 25348 (scop.sh) S 25345 25348 19383 0 -1 4202496 591 68509 0 0 0 0 8146 246 20 0 1 0 225791204 115843072 368 33554432000 4194304 5098028 140727424558320 140727424555064 140552810201724 0 65536 4100 81923 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 14348288 140727424562241 140727424562439 140727424562439 140727424565197 0
/proc/25348/statm: 28282 368 311 221 0 87 0
[pid=25368] ppid=25348 vsize=8068220 memory=120320 CPUtime=2.6 cores=0,2,4,6
/proc/25368/stat : 25368 (java) S 25348 25348 19383 0 -1 1077944320 18925 0 0 0 195 65 0 0 20 0 19 0 225797410 8261857280 30080 33554432000 4194304 4196468 140721627707664 140721627690208 139803237310199 0 0 2 25189581 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 13619200 140721627710645 140721627710769 140721627710769 140721627713487 0
/proc/25368/statm: 2017055 30080 3159 1 0 1978454 0
[pid=25383] ppid=25368 vsize=183624 memory=161184 CPUtime=2433.56 cores=0,2,4,6
/proc/25383/stat : 25383 (minisat_release) R 25368 25348 19383 0 -1 4202496 641342 0 0 0 243260 96 0 0 20 0 1 0 225797485 188030976 40296 33554432000 4194304 4308513 140735298699712 140735298697160 4276436 0 4 0 8396802 0 0 0 17 0 0 0 0 0 0 6409496 6410680 36126720 140735298704500 140735298704598 140735298704598 140735298707397 0
/proc/25383/statm: 45906 40296 341 28 0 42146 0
[pid=25368/tid=25369] ppid=25348 vsize=8068220 memory=159136 CPUtime=0.78 cores=0,2,4,6
/proc/25368/task/25369/stat : 25369 (java) S 25348 25348 19383 0 -1 1077944384 15590 0 0 0 73 5 0 0 20 0 19 0 225797411 8261857280 30080 33554432000 4194304 4196468 140721627707664 139803209150352 139803237320405 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13619200 140721627710645 140721627710769 140721627710769 140721627713487 0
[pid=25368/tid=25370] ppid=25348 vsize=8068220 memory=120320 CPUtime=0 cores=0,2,4,6
/proc/25368/task/25370/stat : 25370 (java) S 25348 25348 19383 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 225797412 8261857280 30080 33554432000 4194304 4196468 140721627707664 139803241553040 139803237320405 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13619200 140721627710645 140721627710769 140721627710769 140721627713487 0
[pid=25368/tid=25371] ppid=25348 vsize=8068220 memory=1472 CPUtime=0 cores=0,2,4,6
/proc/25368/task/25371/stat : 25371 (java) S 25348 25348 19383 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 225797412 8261857280 30080 33554432000 4194304 4196468 140721627707664 139803066194960 139803237320405 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13619200 140721627710645 140721627710769 140721627710769 140721627713487 0
[pid=25368/tid=25372] ppid=25348 vsize=8068220 memory=165112 CPUtime=0 cores=0,2,4,6
/proc/25368/task/25372/stat : 25372 (java) S 25348 25348 19383 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 225797412 8261857280 30080 33554432000 4194304 4196468 140721627707664 139802721287056 139803237320405 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13619200 140721627710645 140721627710769 140721627710769 140721627713487 0
[pid=25368/tid=25373] ppid=25348 vsize=8068220 memory=120320 CPUtime=0 cores=0,2,4,6
/proc/25368/task/25373/stat : 25373 (java) S 25348 25348 19383 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 225797412 8261857280 30080 33554432000 4194304 4196468 140721627707664 139802720234256 139803237320405 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13619200 140721627710645 140721627710769 140721627710769 140721627713487 0
[pid=25368/tid=25374] ppid=25348 vsize=8068220 memory=8812 CPUtime=0.05 cores=0,2,4,6
/proc/25368/task/25374/stat : 25374 (java) S 25348 25348 19383 0 -1 1077944384 5 0 0 0 3 2 0 0 20 0 19 0 225797413 8261857280 30080 33554432000 4194304 4196468 140721627707664 139802683677040 139803237321346 0 0 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13619200 140721627710645 140721627710769 140721627710769 140721627713487 0
[pid=25368/tid=25375] ppid=25348 vsize=8068220 memory=4576 CPUtime=0 cores=0,2,4,6
/proc/25368/task/25375/stat : 25375 (java) S 25348 25348 19383 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 225797414 8261857280 30080 33554432000 4194304 4196468 140721627707664 139802057892896 139803237320405 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13619200 140721627710645 140721627710769 140721627710769 140721627713487 0
[pid=25368/tid=25376] ppid=25348 vsize=8068220 memory=120320 CPUtime=0 cores=0,2,4,6
/proc/25368/task/25376/stat : 25376 (java) S 25348 25348 19383 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 225797414 8261857280 30080 33554432000 4194304 4196468 140721627707664 139801789457264 139803237320405 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13619200 140721627710645 140721627710769 140721627710769 140721627713487 0
[pid=25368/tid=25377] ppid=25348 vsize=8068220 memory=1472 CPUtime=0 cores=0,2,4,6
/proc/25368/task/25377/stat : 25377 (java) S 25348 25348 19383 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 225797417 8261857280 30080 33554432000 4194304 4196468 140721627707664 139801414948688 139803237328795 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13619200 140721627710645 140721627710769 140721627710769 140721627713487 0
[pid=25368/tid=25378] ppid=25348 vsize=8068220 memory=3560 CPUtime=0.12 cores=0,2,4,6
/proc/25368/task/25378/stat : 25378 (java) S 25348 25348 19383 0 -1 1077944384 723 0 0 0 12 0 0 0 20 0 19 0 225797417 8261857280 30080 33554432000 4194304 4196468 140721627707664 139802682624880 139803237321346 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13619200 140721627710645 140721627710769 140721627710769 140721627713487 0
[pid=25368/tid=25379] ppid=25348 vsize=8068220 memory=61452 CPUtime=0.13 cores=0,2,4,6
/proc/25368/task/25379/stat : 25379 (java) S 25348 25348 19383 0 -1 1077944384 516 0 0 0 13 0 0 0 20 0 19 0 225797417 8261857280 30080 33554432000 4194304 4196468 140721627707664 139802681572080 139803237321346 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13619200 140721627710645 140721627710769 140721627710769 140721627713487 0
[pid=25368/tid=25380] ppid=25348 vsize=8068220 memory=1944 CPUtime=0.22 cores=0,2,4,6
/proc/25368/task/25380/stat : 25380 (java) S 25348 25348 19383 0 -1 1077944384 547 0 0 0 22 0 0 0 20 0 19 0 225797417 8261857280 30080 33554432000 4194304 4196468 140721627707664 139802680519280 139803237321346 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13619200 140721627710645 140721627710769 140721627710769 140721627713487 0
[pid=25368/tid=25381] ppid=25348 vsize=8068220 memory=5772 CPUtime=0 cores=0,2,4,6
/proc/25368/task/25381/stat : 25381 (java) S 25348 25348 19383 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 225797417 8261857280 30080 33554432000 4194304 4196468 140721627707664 139800917043936 139803237320405 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13619200 140721627710645 140721627710769 140721627710769 140721627713487 0
[pid=25368/tid=25382] ppid=25348 vsize=8068220 memory=1472 CPUtime=1.25 cores=0,2,4,6
/proc/25368/task/25382/stat : 25382 (java) S 25348 25348 19383 0 -1 1077944384 163 0 0 0 66 59 0 0 20 0 19 0 225797417 8261857280 30080 33554432000 4194304 4196468 140721627707664 139802679466672 139803237321346 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13619200 140721627710645 140721627710769 140721627710769 140721627713487 0
[pid=25368/tid=25384] ppid=25348 vsize=8068220 memory=120320 CPUtime=0 cores=0,2,4,6
/proc/25368/task/25384/stat : 25384 (java) S 25348 25348 19383 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 225797486 8261857280 30080 33554432000 4194304 4196468 140721627707664 139802671658176 139803237334809 0 4 2 25189581 18446744071579417331 0 0 -1 2 0 0 0 0 0 6293624 6294260 13619200 140721627710645 140721627710769 140721627710769 140721627713487 0
[pid=25368/tid=25386] ppid=25348 vsize=8068220 memory=1472 CPUtime=0 cores=0,2,4,6
/proc/25368/task/25386/stat : 25386 (java) S 25348 25348 19383 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 225797486 8261857280 30080 33554432000 4194304 4196468 140721627707664 139800380161328 139803237332125 0 4 2 25189581 18446744071580971376 0 0 -1 2 0 0 0 0 0 6293624 6294260 13619200 140721627710645 140721627710769 140721627710769 140721627713487 0
[pid=25368/tid=25387] ppid=25348 vsize=8068220 memory=120320 CPUtime=0 cores=0,2,4,6
/proc/25368/task/25387/stat : 25387 (java) S 25348 25348 19383 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 19 0 225797486 8261857280 30080 33554432000 4194304 4196468 140721627707664 139800648597680 139803237332125 0 4 2 25189581 18446744071580971376 0 0 -1 2 0 0 0 0 0 6293624 6294260 13619200 140721627710645 140721627710769 140721627710769 140721627713487 0
[pid=25368/tid=25388] ppid=25348 vsize=8068220 memory=159136 CPUtime=0 cores=0,2,4,6
/proc/25368/task/25388/stat : 25388 (java) S 25348 25348 19383 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 19 0 225797488 8261857280 30080 33554432000 4194304 4196468 140721627707664 139799977516704 139803237320405 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13619200 140721627710645 140721627710769 140721627710769 140721627713487 0
Current children cumulated CPU time: 2520.08 s
Current children cumulated vsize: 8364972 KiB
Current children cumulated memory: 282976 KiB

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

[startup+2496.71 s]
# the end of solver process 25348 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=81.4615 s, system=2.46595 s

[startup+2496.72 s]
# the end of solver process 25368 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2516.04 s, system=4.10584 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+2496.7 s]
/proc/loadavg: 2.02 2.04 2.05 3/231 25594
/proc/meminfo: memFree=12543248/32770624 swapFree=67108860/67108860
[pid=25348] ppid=25345 vsize=113128 memory=1472 CPUtime=83.92 cores=0,2,4,6
/proc/25348/stat : 25348 (scop.sh) S 25345 25348 19383 0 -1 4202496 591 68509 0 0 0 0 8146 246 20 0 1 0 225791204 115843072 368 33554432000 4194304 5098028 140727424558320 140727424555064 140552810201724 0 65536 4100 81923 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 14348288 140727424562241 140727424562439 140727424562439 140727424565197 0
/proc/25348/statm: 28282 368 311 221 0 87 0
[pid=25368] ppid=25348 vsize=8068220 memory=120320 CPUtime=2.6 cores=0,2,4,6
/proc/25368/stat : 25368 (java) S 25348 25348 19383 0 -1 1077944320 18925 0 0 0 195 65 0 0 20 0 19 0 225797410 8261857280 30080 33554432000 4194304 4196468 140721627707664 140721627690208 139803237310199 0 0 2 25189581 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 13619200 140721627710645 140721627710769 140721627710769 140721627713487 0
/proc/25368/statm: 2017055 30080 3159 1 0 1978454 0
[pid=25383] ppid=25368 vsize=183624 memory=161184 CPUtime=2433.56 cores=0,2,4,6
/proc/25383/stat : 25383 (minisat_release) R 25368 25348 19383 0 -1 4202496 641342 0 0 0 243260 96 0 0 20 0 1 0 225797485 188030976 40296 33554432000 4194304 4308513 140735298699712 140735298697160 4276436 0 4 0 8396802 0 0 0 17 0 0 0 0 0 0 6409496 6410680 36126720 140735298704500 140735298704598 140735298704598 140735298707397 0
/proc/25383/statm: 45906 40296 341 28 0 42146 0
[pid=25368/tid=25369] ppid=25348 vsize=8068220 memory=159136 CPUtime=0.78 cores=0,2,4,6
/proc/25368/task/25369/stat : 25369 (java) S 25348 25348 19383 0 -1 1077944384 15590 0 0 0 73 5 0 0 20 0 19 0 225797411 8261857280 30080 33554432000 4194304 4196468 140721627707664 139803209150352 139803237320405 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13619200 140721627710645 140721627710769 140721627710769 140721627713487 0
[pid=25368/tid=25370] ppid=25348 vsize=8068220 memory=120320 CPUtime=0 cores=0,2,4,6
/proc/25368/task/25370/stat : 25370 (java) S 25348 25348 19383 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 225797412 8261857280 30080 33554432000 4194304 4196468 140721627707664 139803241553040 139803237320405 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13619200 140721627710645 140721627710769 140721627710769 140721627713487 0
[pid=25368/tid=25371] ppid=25348 vsize=8068220 memory=1472 CPUtime=0 cores=0,2,4,6
/proc/25368/task/25371/stat : 25371 (java) S 25348 25348 19383 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 225797412 8261857280 30080 33554432000 4194304 4196468 140721627707664 139803066194960 139803237320405 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13619200 140721627710645 140721627710769 140721627710769 140721627713487 0
[pid=25368/tid=25372] ppid=25348 vsize=8068220 memory=165112 CPUtime=0 cores=0,2,4,6
/proc/25368/task/25372/stat : 25372 (java) S 25348 25348 19383 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 225797412 8261857280 30080 33554432000 4194304 4196468 140721627707664 139802721287056 139803237320405 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13619200 140721627710645 140721627710769 140721627710769 140721627713487 0
[pid=25368/tid=25373] ppid=25348 vsize=8068220 memory=120320 CPUtime=0 cores=0,2,4,6
/proc/25368/task/25373/stat : 25373 (java) S 25348 25348 19383 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 225797412 8261857280 30080 33554432000 4194304 4196468 140721627707664 139802720234256 139803237320405 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13619200 140721627710645 140721627710769 140721627710769 140721627713487 0
[pid=25368/tid=25374] ppid=25348 vsize=8068220 memory=8812 CPUtime=0.05 cores=0,2,4,6
/proc/25368/task/25374/stat : 25374 (java) S 25348 25348 19383 0 -1 1077944384 5 0 0 0 3 2 0 0 20 0 19 0 225797413 8261857280 30080 33554432000 4194304 4196468 140721627707664 139802683677040 139803237321346 0 0 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13619200 140721627710645 140721627710769 140721627710769 140721627713487 0
[pid=25368/tid=25375] ppid=25348 vsize=8068220 memory=4576 CPUtime=0 cores=0,2,4,6
/proc/25368/task/25375/stat : 25375 (java) S 25348 25348 19383 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 225797414 8261857280 30080 33554432000 4194304 4196468 140721627707664 139802057892896 139803237320405 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13619200 140721627710645 140721627710769 140721627710769 140721627713487 0
[pid=25368/tid=25376] ppid=25348 vsize=8068220 memory=120320 CPUtime=0 cores=0,2,4,6
/proc/25368/task/25376/stat : 25376 (java) S 25348 25348 19383 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 225797414 8261857280 30080 33554432000 4194304 4196468 140721627707664 139801789457264 139803237320405 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13619200 140721627710645 140721627710769 140721627710769 140721627713487 0
[pid=25368/tid=25377] ppid=25348 vsize=8068220 memory=1472 CPUtime=0 cores=0,2,4,6
/proc/25368/task/25377/stat : 25377 (java) S 25348 25348 19383 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 225797417 8261857280 30080 33554432000 4194304 4196468 140721627707664 139801414948688 139803237328795 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13619200 140721627710645 140721627710769 140721627710769 140721627713487 0
[pid=25368/tid=25378] ppid=25348 vsize=8068220 memory=3560 CPUtime=0.12 cores=0,2,4,6
/proc/25368/task/25378/stat : 25378 (java) S 25348 25348 19383 0 -1 1077944384 723 0 0 0 12 0 0 0 20 0 19 0 225797417 8261857280 30080 33554432000 4194304 4196468 140721627707664 139802682624880 139803237321346 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13619200 140721627710645 140721627710769 140721627710769 140721627713487 0
[pid=25368/tid=25379] ppid=25348 vsize=8068220 memory=61452 CPUtime=0.13 cores=0,2,4,6
/proc/25368/task/25379/stat : 25379 (java) S 25348 25348 19383 0 -1 1077944384 516 0 0 0 13 0 0 0 20 0 19 0 225797417 8261857280 30080 33554432000 4194304 4196468 140721627707664 139802681572080 139803237321346 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13619200 140721627710645 140721627710769 140721627710769 140721627713487 0
[pid=25368/tid=25380] ppid=25348 vsize=8068220 memory=1944 CPUtime=0.22 cores=0,2,4,6
/proc/25368/task/25380/stat : 25380 (java) S 25348 25348 19383 0 -1 1077944384 547 0 0 0 22 0 0 0 20 0 19 0 225797417 8261857280 30080 33554432000 4194304 4196468 140721627707664 139802680519280 139803237321346 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13619200 140721627710645 140721627710769 140721627710769 140721627713487 0
[pid=25368/tid=25381] ppid=25348 vsize=8068220 memory=5772 CPUtime=0 cores=0,2,4,6
/proc/25368/task/25381/stat : 25381 (java) S 25348 25348 19383 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 225797417 8261857280 30080 33554432000 4194304 4196468 140721627707664 139800917043936 139803237320405 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13619200 140721627710645 140721627710769 140721627710769 140721627713487 0
[pid=25368/tid=25382] ppid=25348 vsize=8068220 memory=1472 CPUtime=1.25 cores=0,2,4,6
/proc/25368/task/25382/stat : 25382 (java) S 25348 25348 19383 0 -1 1077944384 163 0 0 0 66 59 0 0 20 0 19 0 225797417 8261857280 30080 33554432000 4194304 4196468 140721627707664 139802679466672 139803237321346 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13619200 140721627710645 140721627710769 140721627710769 140721627713487 0
[pid=25368/tid=25384] ppid=25348 vsize=8068220 memory=120320 CPUtime=0 cores=0,2,4,6
/proc/25368/task/25384/stat : 25384 (java) S 25348 25348 19383 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 225797486 8261857280 30080 33554432000 4194304 4196468 140721627707664 139802671658176 139803237334809 0 4 2 25189581 18446744071579417331 0 0 -1 2 0 0 0 0 0 6293624 6294260 13619200 140721627710645 140721627710769 140721627710769 140721627713487 0
[pid=25368/tid=25386] ppid=25348 vsize=8068220 memory=1472 CPUtime=0 cores=0,2,4,6
/proc/25368/task/25386/stat : 25386 (java) S 25348 25348 19383 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 225797486 8261857280 30080 33554432000 4194304 4196468 140721627707664 139800380161328 139803237332125 0 4 2 25189581 18446744071580971376 0 0 -1 2 0 0 0 0 0 6293624 6294260 13619200 140721627710645 140721627710769 140721627710769 140721627713487 0
[pid=25368/tid=25387] ppid=25348 vsize=8068220 memory=120320 CPUtime=0 cores=0,2,4,6
/proc/25368/task/25387/stat : 25387 (java) S 25348 25348 19383 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 19 0 225797486 8261857280 30080 33554432000 4194304 4196468 140721627707664 139800648597680 139803237332125 0 4 2 25189581 18446744071580971376 0 0 -1 2 0 0 0 0 0 6293624 6294260 13619200 140721627710645 140721627710769 140721627710769 140721627713487 0
[pid=25368/tid=25388] ppid=25348 vsize=8068220 memory=159136 CPUtime=0 cores=0,2,4,6
/proc/25368/task/25388/stat : 25388 (java) S 25348 25348 19383 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 19 0 225797488 8261857280 30080 33554432000 4194304 4196468 140721627707664 139799977516704 139803237320405 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13619200 140721627710645 140721627710769 140721627710769 140721627713487 0
Current children cumulated CPU time: 2520.08 s
Current children cumulated vsize: 8364972 KiB
Current children cumulated memory: 282976 KiB

Child status: 1
Real time (s): 2496.72
CPU time (s): 2520.14
CPU user time (s): 2516.04
CPU system time (s): 4.10584
CPU usage (%): 100.938
Max. virtual memory (cumulated for all children) (KiB): 15142280
Max. memory (cumulated for all children) (KiB): 4563664

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2516.04
system time used= 4.10584
maximum resident set size= 4562500
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 729941
page faults= 0
swaps= 0
block input operations= 0
block output operations= 37640
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 60578
involuntary context switches= 3289


# summary of solver processes directly reported to runsolver:
#   pid: 25348,25368
#   total CPU time (s): 2520.14
#   total CPU user time (s): 2516.04
#   total CPU system time (s): 4.10584

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 18.6843 second user time and 27.2108 second system time

The end

Launcher Data 

Begin job on node135 at 2018-08-12 15:58:00
IDJOB=4305696
IDBENCH=141500
IDSOLVER=2783
FILE ID=node135/4305696-1534082280
RUNJOBID= node135-1534062530-19414
PBS_JOBID= 21036983
Free space on /tmp= 42696 MiB

SOLVER NAME= scop both+MapleCOMSPS (2018-07-31)
BENCH NAME= XCSP18/Subisomorphism/Subisomorphism-g19-g45_c18.xml
COMMAND LINE= scop.sh 11g scop.jar -both minisat_release default TMPDIR BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4305696-1534082280/watcher-4305696-1534082280 -o /tmp/evaluation-result-4305696-1534082280/solver-4305696-1534082280 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node135-1534062530-19414 --watchdog 2580  scop.sh 11g scop.jar -both minisat_release default HOME HOME/instance-4305696-1534082280.xml

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

MD5SUM BENCH= d9c49275b9746ea736e23f2bca190f13
RANDOM SEED=1936980175

node135.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.50
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.50
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.50
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.50
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:        12311472 kB
MemAvailable:   31218864 kB
Buffers:          248192 kB
Cached:         18681508 kB
SwapCached:            0 kB
Active:          9436864 kB
Inactive:       10232260 kB
Active(anon):     686288 kB
Inactive(anon):   105436 kB
Active(file):    8750576 kB
Inactive(file): 10126824 kB
Unevictable:        7244 kB
Mlocked:            7244 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:              8004 kB
Writeback:             0 kB
AnonPages:        745508 kB
Mapped:            73708 kB
Shmem:             49824 kB
Slab:             486904 kB
SReclaimable:     458452 kB
SUnreclaim:        28452 kB
KernelStack:        3712 kB
PageTables:         7380 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    6467020 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    243712 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:       93568 kB
DirectMap2M:    33452032 kB

Free space on /tmp at the end= 42744 MiB
End job on node135 at 2018-08-12 16:39:37