Trace number 4289923

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 NameAnswerobjective functionCPU timeWall clock time
Sat4j-CSP 2018-07-11? (TO) 2400.22 2381.18

General information on the benchmark

NameNurseRostering/
NurseRostering-17_c18.xml
MD5SUMe10494f4d2f2bb4c080233ff8f9dca75
Bench CategoryCOP (optimization 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 variables3248
Number of constraints8691
Number of domains15
Minimum domain size1
Maximum domain size57
Distribution of domain sizes[{"size":1,"count":80},{"size":2,"count":736},{"size":5,"count":1792},{"size":11,"count":24},{"size":33,"count":504},{"size":57,"count":112}]
Minimum variable degree2
Maximum variable degree25
Distribution of variable degrees[{"degree":2,"count":1200},{"degree":3,"count":256},{"degree":15,"count":24},{"degree":16,"count":37},{"degree":17,"count":3},{"degree":18,"count":22},{"degree":19,"count":34},{"degree":20,"count":44},{"degree":21,"count":67},{"degree":22,"count":108},{"degree":23,"count":674},{"degree":24,"count":625},{"degree":25,"count":154}]
Minimum constraint arity2
Maximum constraint arity160
Distribution of constraint arities[{"arity":2,"count":3096},{"arity":3,"count":3456},{"arity":5,"count":136},{"arity":6,"count":1530},{"arity":8,"count":32},{"arity":33,"count":280},{"arity":57,"count":160},{"arity":160,"count":1}]
Number of extensional constraints2040
Number of intensional constraints1056
Distribution of constraint types[{"type":"extension","count":2040},{"type":"intension","count":1056},{"type":"regular","count":3456},{"type":"sum","count":64},{"type":"count","count":2074},{"type":"instantiation","count":1}]
Optimization problemYES
Type of objectivemin SUM

Solver Data 

15.06/4.87	c SAT4J: a SATisfiability library for Java (c) 2004-2013 Artois University and CNRS
15.06/4.87	c This is free software under the dual EPL/GNU LGPL licenses.
15.06/4.87	c See www.sat4j.org for details.
15.06/4.87	c That software uses the Rhino library from the Mozilla project.
15.06/4.87	c version 2.3.6-SNAPSHOT
15.06/4.87	c java.runtime.name	Java(TM) SE Runtime Environment
15.06/4.87	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
15.06/4.87	c java.vm.version	25.131-b11
15.06/4.87	c java.vm.vendor	Oracle Corporation
15.06/4.87	c sun.arch.data.model	64
15.06/4.87	c java.version		1.8.0_131
15.06/4.87	c os.name		Linux
15.06/4.87	c os.version		3.10.0-514.16.1.el7.x86_64
15.06/4.87	c os.arch		amd64
15.06/4.87	c Free memory 		499604488
15.06/4.87	c Max memory 		7247757312
15.06/4.87	c Total memory 		504889344
15.06/4.87	c Number of processors 	4
15.06/4.87	c c --- Begin Solver configuration ---
15.06/4.87	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@2b71fc7e
15.06/4.87	c Learn all clauses as in MiniSAT
15.06/4.87	c LOGGER=java.util.logging.Logger@25f38edc claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
15.06/4.87	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
15.06/4.87	c No reason simplification
15.06/4.87	c Glucose 2.1 dynamic restart strategy
15.06/4.87	c Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000
15.06/4.87	c timeout=2147483s
15.06/4.87	c DB Simplification allowed=false
15.06/4.87	c Listener: org.sat4j.minisat.core.VoidTracing@1a86f2f1
15.06/4.87	c --- End Solver configuration ---
15.06/4.87	c constraints type 
15.06/4.87	c org.sat4j.minisat.constraints.card.MinWatchCard => 6336
15.06/4.87	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 1198596
15.06/4.87	c org.sat4j.minisat.constraints.cnf.UnitClauses => 80
15.06/4.87	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 1930415
15.06/4.87	c org.sat4j.specs.Constr$1 => 178921
15.06/4.87	c org.sat4j.minisat.constraints.cnf.UnitClause => 98626
15.06/4.87	c 3412974 constraints processed.
2400.11/2381.10	c starts		: 36034
2400.11/2381.10	c conflicts		: 8509303
2400.11/2381.10	c decisions		: 79492939
2400.11/2381.10	c propagations		: 4631829041
2400.11/2381.10	c inspects		: 18907715821
2400.11/2381.10	c shortcuts		: 0
2400.11/2381.10	c learnt literals	: 2066
2400.11/2381.10	c learnt binary clauses	: 37831
2400.11/2381.10	c learnt ternary clauses	: 261148
2400.11/2381.10	c learnt constraints	: 8507237
2400.11/2381.10	c ignored constraints	: 0
2400.11/2381.10	c root simplifications	: 0
2400.11/2381.10	c removed literals (reason simplification)	: 0
2400.11/2381.10	c reason swapping (by a shorter reason)	: 0
2400.11/2381.10	c Calls to reduceDB	: 126
2400.11/2381.10	c Number of update (reduction) of LBD	: 4074811
2400.11/2381.10	c Imported unit clauses	: 0
2400.11/2381.10	c number of reductions to clauses (during analyze)	: 0
2400.11/2381.10	c number of learned constraints concerned by reduction	: 0
2400.11/2381.10	c number of learning phase by resolution	: 0
2400.11/2381.10	c number of learning phase by cutting planes	: 0
2400.11/2381.10	c number of rounding to 1 operations	: 0
2400.11/2381.10	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
2400.11/2381.10	c number of reductions of the coefficients by power 2 	: 0
2400.11/2381.10	c number of right shift for reduction by power 2 	: 0
2400.11/2381.10	c number of reductions of the coefficients by GCD over coefficients 	: 0
2400.11/2381.10	c number of ending skipping 	: 0
2400.11/2381.10	c number of internal skipping 	: 0
2400.11/2381.10	c number of derivation steps 	: 0
2400.11/2381.10	c number of skipped derivation steps 	: 0
2400.11/2381.10	c number of remaining unassigned 	: 0
2400.11/2381.10	c number of remaining assigned 	: 0
2400.11/2381.10	c speed (assignments/second)	: 1949370.4887578788
2400.11/2381.10	c non guided choices	: 29480901
2400.11/2381.16	c learnt constraints type org.sat4j.minisat.constraints.cnf.LearntBinaryClause	: 37831
2400.11/2381.16	c learnt constraints type org.sat4j.minisat.constraints.cnf.LearntWLClause	: 549130
2400.11/2381.16	s UNKNOWN

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 (9871 MiB free)
  memory of node 1: 16384 MiB (14836 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4289923-1532209983/watcher-4289923-1532209983 -o /tmp/evaluation-result-4289923-1532209983/solver-4289923-1532209983 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node148-1532209983-27714 --watchdog 2560 java -DCompetitionOutput -jar HOME/sat4j-csp-final.jar HOME/instance-4289923-1532209983.xml 

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

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 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=27744, runsolver pid=27737

[startup+0.100159 s]*
/proc/loadavg: 1.40 1.82 1.98 3/217 27773
/proc/meminfo: memFree=25262696/32770624 swapFree=67108852/67108860
[pid=27744] ppid=27737 vsize=10659012 memory=31456 CPUtime=0.12 cores=0,2,4,6
/proc/27744/stat : 27744 (java) S 27737 27744 24602 0 -1 1077944320 6433 0 0 0 11 1 0 0 20 0 15 0 38561446 10914828288 7864 33554432000 4194304 4196468 140723787392336 140723787374880 140705894502135 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 12451840 140723787400305 140723787400457 140723787400457 140723787403215 0
/proc/27744/statm: 2664753 7864 2842 1 0 2627263 0
[pid=27744/tid=27747] ppid=27737 vsize=10659012 memory=5450919713671312938 CPUtime=0.09 cores=0,2,4,6
/proc/27744/task/27747/stat : 27747 (java) R 27737 27744 24602 0 -1 4202560 4272 0 0 0 8 1 0 0 20 0 15 0 38561447 10914828288 7864 33554432000 4194304 4196468 140723787392336 140705898725168 140705894524061 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 12451840 140723787400305 140723787400457 140723787400457 140723787403215 0
[pid=27744/tid=27750] ppid=27737 vsize=10659012 memory=0 CPUtime=0 cores=0,2,4,6
/proc/27744/task/27750/stat : 27750 (java) S 27737 27744 24602 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 38561448 10914828288 7864 33554432000 4194304 4196468 140723787392336 140705820576912 140705894512341 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12451840 140723787400305 140723787400457 140723787400457 140723787403215 0
[pid=27744/tid=27752] ppid=27737 vsize=10659012 memory=140431064098432 CPUtime=0 cores=0,2,4,6
/proc/27744/task/27752/stat : 27752 (java) S 27737 27744 24602 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 38561448 10914828288 7864 33554432000 4194304 4196468 140723787392336 140705819524112 140705894512341 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12451840 140723787400305 140723787400457 140723787400457 140723787403215 0
[pid=27744/tid=27754] ppid=27737 vsize=10659012 memory=0 CPUtime=0 cores=0,2,4,6
/proc/27744/task/27754/stat : 27754 (java) S 27737 27744 24602 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 38561448 10914828288 7864 33554432000 4194304 4196468 140723787392336 140705818471312 140705894512341 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12451840 140723787400305 140723787400457 140723787400457 140723787403215 0
[pid=27744/tid=27755] ppid=27737 vsize=10659012 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/27744/task/27755/stat : 27755 (java) S 27737 27744 24602 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 38561448 10914828288 7864 33554432000 4194304 4196468 140723787392336 140705817418512 140705894512341 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12451840 140723787400305 140723787400457 140723787400457 140723787403215 0
[pid=27744/tid=27757] ppid=27737 vsize=10659012 memory=140431064098432 CPUtime=0 cores=0,2,4,6
/proc/27744/task/27757/stat : 27757 (java) S 27737 27744 24602 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 38561449 10914828288 7864 33554432000 4194304 4196468 140723787392336 140705386133872 140705894513282 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12451840 140723787400305 140723787400457 140723787400457 140723787403215 0
[pid=27744/tid=27759] ppid=27737 vsize=10659012 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/27744/task/27759/stat : 27759 (java) S 27737 27744 24602 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 38561449 10914828288 7864 33554432000 4194304 4196468 140723787392336 140705385079840 140705894512341 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12451840 140723787400305 140723787400457 140723787400457 140723787403215 0
[pid=27744/tid=27761] ppid=27737 vsize=10659012 memory=0 CPUtime=0 cores=0,2,4,6
/proc/27744/task/27761/stat : 27761 (java) S 27737 27744 24602 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 38561450 10914828288 7864 33554432000 4194304 4196468 140723787392336 140705384026992 140705894512341 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12451840 140723787400305 140723787400457 140723787400457 140723787403215 0
[pid=27744/tid=27763] ppid=27737 vsize=10659012 memory=0 CPUtime=0 cores=0,2,4,6
/proc/27744/task/27763/stat : 27763 (java) S 27737 27744 24602 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 38561452 10914828288 7864 33554432000 4194304 4196468 140723787392336 140705382975312 140705894520731 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12451840 140723787400305 140723787400457 140723787400457 140723787403215 0
[pid=27744/tid=27764] ppid=27737 vsize=10659012 memory=0 CPUtime=0 cores=0,2,4,6
/proc/27744/task/27764/stat : 27764 (java) S 27737 27744 24602 0 -1 1077944384 292 0 0 0 0 0 0 0 20 0 15 0 38561452 10914828288 7864 33554432000 4194304 4196468 140723787392336 140705381923696 140705894513282 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12451840 140723787400305 140723787400457 140723787400457 140723787403215 0
[pid=27744/tid=27766] ppid=27737 vsize=10659012 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/27744/task/27766/stat : 27766 (java) R 27737 27744 24602 0 -1 1077944384 147 0 0 0 0 0 0 0 20 0 15 0 38561452 10914828288 7864 33554432000 4194304 4196468 140723787392336 140705380870896 140705894513282 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 12451840 140723787400305 140723787400457 140723787400457 140723787403215 0
[pid=27744/tid=27768] ppid=27737 vsize=10659012 memory=140431064098432 CPUtime=0.02 cores=0,2,4,6
/proc/27744/task/27768/stat : 27768 (java) R 27737 27744 24602 0 -1 1077944384 354 0 0 0 2 0 0 0 20 0 15 0 38561452 10914828288 7864 33554432000 4194304 4196468 140723787392336 140705379818096 140705894513282 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 12451840 140723787400305 140723787400457 140723787400457 140723787403215 0
[pid=27744/tid=27770] ppid=27737 vsize=10659012 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/27744/task/27770/stat : 27770 (java) S 27737 27744 24602 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 38561452 10914828288 7864 33554432000 4194304 4196468 140723787392336 140705378765536 140705894512341 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12451840 140723787400305 140723787400457 140723787400457 140723787403215 0
[pid=27744/tid=27773] ppid=27737 vsize=10659012 memory=140431064098432 CPUtime=0 cores=0,2,4,6
/proc/27744/task/27773/stat : 27773 (java) S 27737 27744 24602 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 38561452 10914828288 7864 33554432000 4194304 4196468 140723787392336 140705377712816 140705894513282 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12451840 140723787400305 140723787400457 140723787400457 140723787403215 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 10659012 KiB
Current children cumulated memory: 31456 KiB

[startup+0.210341 s]*
/proc/loadavg: 1.40 1.82 1.98 5/217 27773
/proc/meminfo: memFree=25245176/32770624 swapFree=67108852/67108860
[pid=27744] ppid=27737 vsize=10659012 memory=42172 CPUtime=0.33 cores=0,2,4,6
/proc/27744/stat : 27744 (java) S 27737 27744 24602 0 -1 1077944320 7630 0 0 0 31 2 0 0 20 0 15 0 38561446 10914828288 10543 33554432000 4194304 4196468 140723787392336 140723787374880 140705894502135 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 12451840 140723787400305 140723787400457 140723787400457 140723787403215 0
/proc/27744/statm: 2664753 10543 3006 1 0 2627263 0
[pid=27744/tid=27747] ppid=27737 vsize=10659012 memory=7022364594140610616 CPUtime=0.19 cores=0,2,4,6
/proc/27744/task/27747/stat : 27747 (java) R 27737 27744 24602 0 -1 4202560 4603 0 0 0 18 1 0 0 20 0 15 0 38561447 10914828288 10543 33554432000 4194304 4196468 140723787392336 140705898738416 140705894514070 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 12451840 140723787400305 140723787400457 140723787400457 140723787403215 0
[pid=27744/tid=27750] ppid=27737 vsize=10659012 memory=343 CPUtime=0 cores=0,2,4,6
/proc/27744/task/27750/stat : 27750 (java) S 27737 27744 24602 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 38561448 10914828288 10543 33554432000 4194304 4196468 140723787392336 140705820576912 140705894512341 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12451840 140723787400305 140723787400457 140723787400457 140723787403215 0
[pid=27744/tid=27752] ppid=27737 vsize=10659012 memory=140431064284291 CPUtime=0 cores=0,2,4,6
/proc/27744/task/27752/stat : 27752 (java) S 27737 27744 24602 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 38561448 10914828288 10543 33554432000 4194304 4196468 140723787392336 140705819524112 140705894512341 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12451840 140723787400305 140723787400457 140723787400457 140723787403215 0
[pid=27744/tid=27754] ppid=27737 vsize=10659012 memory=0 CPUtime=0 cores=0,2,4,6
/proc/27744/task/27754/stat : 27754 (java) S 27737 27744 24602 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 38561448 10914828288 10543 33554432000 4194304 4196468 140723787392336 140705818471312 140705894512341 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12451840 140723787400305 140723787400457 140723787400457 140723787403215 0
[pid=27744/tid=27755] ppid=27737 vsize=10659012 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/27744/task/27755/stat : 27755 (java) S 27737 27744 24602 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 38561448 10914828288 10543 33554432000 4194304 4196468 140723787392336 140705817418512 140705894512341 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12451840 140723787400305 140723787400457 140723787400457 140723787403215 0
[pid=27744/tid=27757] ppid=27737 vsize=10659012 memory=140431064098432 CPUtime=0 cores=0,2,4,6
/proc/27744/task/27757/stat : 27757 (java) S 27737 27744 24602 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 38561449 10914828288 10543 33554432000 4194304 4196468 140723787392336 140705386133872 140705894513282 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12451840 140723787400305 140723787400457 140723787400457 140723787403215 0
[pid=27744/tid=27759] ppid=27737 vsize=10659012 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/27744/task/27759/stat : 27759 (java) S 27737 27744 24602 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 38561449 10914828288 10543 33554432000 4194304 4196468 140723787392336 140705385079840 140705894512341 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12451840 140723787400305 140723787400457 140723787400457 140723787403215 0
[pid=27744/tid=27761] ppid=27737 vsize=10659012 memory=0 CPUtime=0 cores=0,2,4,6
/proc/27744/task/27761/stat : 27761 (java) S 27737 27744 24602 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 38561450 10914828288 10543 33554432000 4194304 4196468 140723787392336 140705384026992 140705894512341 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12451840 140723787400305 140723787400457 140723787400457 140723787403215 0
[pid=27744/tid=27763] ppid=27737 vsize=10659012 memory=0 CPUtime=0 cores=0,2,4,6
/proc/27744/task/27763/stat : 27763 (java) S 27737 27744 24602 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 38561452 10914828288 10543 33554432000 4194304 4196468 140723787392336 140705382975312 140705894520731 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12451840 140723787400305 140723787400457 140723787400457 140723787403215 0
[pid=27744/tid=27764] ppid=27737 vsize=10659012 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/27744/task/27764/stat : 27764 (java) S 27737 27744 24602 0 -1 1077944384 524 0 0 0 2 0 0 0 20 0 15 0 38561452 10914828288 10543 33554432000 4194304 4196468 140723787392336 140705381923696 140705894513282 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12451840 140723787400305 140723787400457 140723787400457 140723787403215 0
[pid=27744/tid=27766] ppid=27737 vsize=10659012 memory=-1 CPUtime=0.01 cores=0,2,4,6
/proc/27744/task/27766/stat : 27766 (java) S 27737 27744 24602 0 -1 1077944384 453 0 0 0 1 0 0 0 20 0 15 0 38561452 10914828288 10543 33554432000 4194304 4196468 140723787392336 140705380870896 140705894513282 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12451840 140723787400305 140723787400457 140723787400457 140723787403215 0
[pid=27744/tid=27768] ppid=27737 vsize=10659012 memory=140431064098432 CPUtime=0.07 cores=0,2,4,6
/proc/27744/task/27768/stat : 27768 (java) R 27737 27744 24602 0 -1 4202560 682 0 0 0 7 0 0 0 20 0 15 0 38561452 10914828288 10543 33554432000 4194304 4196468 140723787392336 140705379818096 140705873974142 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 12451840 140723787400305 140723787400457 140723787400457 140723787403215 0
[pid=27744/tid=27770] ppid=27737 vsize=10659012 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/27744/task/27770/stat : 27770 (java) S 27737 27744 24602 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 38561452 10914828288 10543 33554432000 4194304 4196468 140723787392336 140705378765536 140705894512341 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12451840 140723787400305 140723787400457 140723787400457 140723787403215 0
[pid=27744/tid=27773] ppid=27737 vsize=10659012 memory=140431064098432 CPUtime=0 cores=0,2,4,6
/proc/27744/task/27773/stat : 27773 (java) S 27737 27744 24602 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 38561452 10914828288 10543 33554432000 4194304 4196468 140723787392336 140705377712816 140705894513282 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12451840 140723787400305 140723787400457 140723787400457 140723787403215 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 10659012 KiB
Current children cumulated memory: 42172 KiB

[startup+0.310799 s]*
/proc/loadavg: 1.40 1.82 1.98 8/217 27773
/proc/meminfo: memFree=25221236/32770624 swapFree=67108852/67108860
[pid=27744] ppid=27737 vsize=10659044 memory=54408 CPUtime=0.59 cores=0,2,4,6
/proc/27744/stat : 27744 (java) S 27737 27744 24602 0 -1 1077944320 9285 0 0 0 56 3 0 0 20 0 15 0 38561446 10914861056 13602 33554432000 4194304 4196468 140723787392336 140723787374880 140705894502135 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 12451840 140723787400305 140723787400457 140723787400457 140723787403215 0
/proc/27744/statm: 2664761 13602 3040 1 0 2627271 0
[pid=27744/tid=27747] ppid=27737 vsize=10659012 memory=7311146985107750967 CPUtime=0.3 cores=0,2,4,6
/proc/27744/task/27747/stat : 27747 (java) D 27737 27744 24602 0 -1 1077944384 5052 0 0 0 28 2 0 0 20 0 15 0 38561447 10914828288 13602 33554432000 4194304 4196468 140723787392336 140705898714416 140705887181357 0 4 0 16800975 18446744072101740068 0 0 -1 0 0 0 0 0 0 6293624 6294260 12451840 140723787400305 140723787400457 140723787400457 140723787403215 0
[pid=27744/tid=27750] ppid=27737 vsize=10659012 memory=288230604707987479 CPUtime=0 cores=0,2,4,6
/proc/27744/task/27750/stat : 27750 (java) S 27737 27744 24602 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 38561448 10914828288 13602 33554432000 4194304 4196468 140723787392336 140705820576912 140705894512341 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12451840 140723787400305 140723787400457 140723787400457 140723787403215 0
[pid=27744/tid=27752] ppid=27737 vsize=10659044 memory=140431064284290 CPUtime=0 cores=0,2,4,6
/proc/27744/task/27752/stat : 27752 (java) S 27737 27744 24602 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 38561448 10914861056 13602 33554432000 4194304 4196468 140723787392336 140705819524112 140705894512341 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12451840 140723787400305 140723787400457 140723787400457 140723787403215 0
[pid=27744/tid=27754] ppid=27737 vsize=10659044 memory=0 CPUtime=0 cores=0,2,4,6
/proc/27744/task/27754/stat : 27754 (java) S 27737 27744 24602 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 38561448 10914861056 13602 33554432000 4194304 4196468 140723787392336 140705818471312 140705894512341 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12451840 140723787400305 140723787400457 140723787400457 140723787403215 0
[pid=27744/tid=27755] ppid=27737 vsize=10659012 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/27744/task/27755/stat : 27755 (java) S 27737 27744 24602 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 38561448 10914828288 13602 33554432000 4194304 4196468 140723787392336 140705817418512 140705894512341 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12451840 140723787400305 140723787400457 140723787400457 140723787403215 0
[pid=27744/tid=27757] ppid=27737 vsize=10659012 memory=140431064098432 CPUtime=0 cores=0,2,4,6
/proc/27744/task/27757/stat : 27757 (java) S 27737 27744 24602 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 38561449 10914828288 13602 33554432000 4194304 4196468 140723787392336 140705386133872 140705894513282 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12451840 140723787400305 140723787400457 140723787400457 140723787403215 0
[pid=27744/tid=27759] ppid=27737 vsize=10659012 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/27744/task/27759/stat : 27759 (java) S 27737 27744 24602 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 38561449 10914828288 13602 33554432000 4194304 4196468 140723787392336 140705385079840 140705894512341 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12451840 140723787400305 140723787400457 140723787400457 140723787403215 0
[pid=27744/tid=27761] ppid=27737 vsize=10659012 memory=0 CPUtime=0 cores=0,2,4,6
/proc/27744/task/27761/stat : 27761 (java) S 27737 27744 24602 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 38561450 10914828288 13602 33554432000 4194304 4196468 140723787392336 140705384026992 140705894512341 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12451840 140723787400305 140723787400457 140723787400457 140723787403215 0
[pid=27744/tid=27763] ppid=27737 vsize=10659012 memory=0 CPUtime=0 cores=0,2,4,6
/proc/27744/task/27763/stat : 27763 (java) S 27737 27744 24602 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 38561452 10914828288 13602 33554432000 4194304 4196468 140723787392336 140705382975312 140705894520731 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12451840 140723787400305 140723787400457 140723787400457 140723787403215 0
[pid=27744/tid=27764] ppid=27737 vsize=10659044 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/27744/task/27764/stat : 27764 (java) R 27737 27744 24602 0 -1 4202560 960 0 0 0 7 0 0 0 20 0 15 0 38561452 10914861056 13602 33554432000 4194304 4196468 140723787392336 140705381904712 140705878788800 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 12451840 140723787400305 140723787400457 140723787400457 140723787403215 0
[pid=27744/tid=27766] ppid=27737 vsize=10659044 memory=-1 CPUtime=0.06 cores=0,2,4,6
/proc/27744/task/27766/stat : 27766 (java) R 27737 27744 24602 0 -1 4202560 939 0 0 0 6 0 0 0 20 0 15 0 38561452 10914861056 13602 33554432000 4194304 4196468 140723787392336 140705380851912 140705877996591 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 12451840 140723787400305 140723787400457 140723787400457 140723787403215 0
[pid=27744/tid=27768] ppid=27737 vsize=10659044 memory=140431064098432 CPUtime=0.13 cores=0,2,4,6
/proc/27744/task/27768/stat : 27768 (java) R 27737 27744 24602 0 -1 4202560 971 0 0 0 13 0 0 0 20 0 15 0 38561452 10914861056 13602 33554432000 4194304 4196468 140723787392336 140705379818096 140705894523482 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 12451840 140723787400305 140723787400457 140723787400457 140723787403215 0
[pid=27744/tid=27770] ppid=27737 vsize=10659012 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/27744/task/27770/stat : 27770 (java) S 27737 27744 24602 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 38561452 10914828288 13602 33554432000 4194304 4196468 140723787392336 140705378765536 140705894512341 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12451840 140723787400305 140723787400457 140723787400457 140723787403215 0
[pid=27744/tid=27773] ppid=27737 vsize=10659012 memory=140431064098432 CPUtime=0 cores=0,2,4,6
/proc/27744/task/27773/stat : 27773 (java) S 27737 27744 24602 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 38561452 10914828288 13602 33554432000 4194304 4196468 140723787392336 140705377712816 140705894513282 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12451840 140723787400305 140723787400457 140723787400457 140723787403215 0
Current children cumulated CPU time: 0.59 s
Current children cumulated vsize: 10659044 KiB
Current children cumulated memory: 54408 KiB

[startup+0.700718 s]
/proc/loadavg: 1.40 1.82 1.98 11/217 27773
/proc/meminfo: memFree=25156092/32770624 swapFree=67108852/67108860
[pid=27744] ppid=27737 vsize=10659088 memory=120384 CPUtime=1.92 cores=0,2,4,6
/proc/27744/stat : 27744 (java) S 27737 27744 24602 0 -1 1077944320 15052 0 0 0 188 4 0 0 20 0 15 0 38561446 10914906112 30096 33554432000 4194304 4196468 140723787392336 140723787374880 140705894502135 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 12451840 140723787400305 140723787400457 140723787400457 140723787403215 0
/proc/27744/statm: 2664772 30096 3083 1 0 2627263 0
[pid=27744/tid=27747] ppid=27737 vsize=10659088 memory=1732 CPUtime=0.68 cores=0,2,4,6
/proc/27744/task/27747/stat : 27747 (java) R 27737 27744 24602 0 -1 4202560 5465 0 0 0 65 3 0 0 20 0 15 0 38561447 10914906112 30096 33554432000 4194304 4196468 140723787392336 140705898737160 140705495641985 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 12451840 140723787400305 140723787400457 140723787400457 140723787403215 0
[pid=27744/tid=27750] ppid=27737 vsize=10659088 memory=1704 CPUtime=0 cores=0,2,4,6
/proc/27744/task/27750/stat : 27750 (java) S 27737 27744 24602 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 38561448 10914906112 30096 33554432000 4194304 4196468 140723787392336 140705820576912 140705894512341 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12451840 140723787400305 140723787400457 140723787400457 140723787403215 0
[pid=27744/tid=27752] ppid=27737 vsize=10659088 memory=796 CPUtime=0 cores=0,2,4,6
/proc/27744/task/27752/stat : 27752 (java) S 27737 27744 24602 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 38561448 10914906112 30096 33554432000 4194304 4196468 140723787392336 140705819524112 140705894512341 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12451840 140723787400305 140723787400457 140723787400457 140723787403215 0
[pid=27744/tid=27754] ppid=27737 vsize=10659088 memory=10936 CPUtime=0 cores=0,2,4,6
/proc/27744/task/27754/stat : 27754 (java) S 27737 27744 24602 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 38561448 10914906112 30096 33554432000 4194304 4196468 140723787392336 140705818471312 140705894512341 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12451840 140723787400305 140723787400457 140723787400457 140723787403215 0
[pid=27744/tid=27755] ppid=27737 vsize=10659088 memory=1008 CPUtime=0 cores=0,2,4,6
/proc/27744/task/27755/stat : 27755 (java) S 27737 27744 24602 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 38561448 10914906112 30096 33554432000 4194304 4196468 140723787392336 140705817418512 140705894512341 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12451840 140723787400305 140723787400457 140723787400457 140723787403215 0
[pid=27744/tid=27757] ppid=27737 vsize=10659088 memory=1948 CPUtime=0 cores=0,2,4,6
/proc/27744/task/27757/stat : 27757 (java) S 27737 27744 24602 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 38561449 10914906112 30096 33554432000 4194304 4196468 140723787392336 140705386133872 140705894513282 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12451840 140723787400305 140723787400457 140723787400457 140723787403215 0
[pid=27744/tid=27759] ppid=27737 vsize=10659088 memory=8372 CPUtime=0 cores=0,2,4,6
/proc/27744/task/27759/stat : 27759 (java) S 27737 27744 24602 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 38561449 10914906112 30096 33554432000 4194304 4196468 140723787392336 140705385079840 140705894512341 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12451840 140723787400305 140723787400457 140723787400457 140723787403215 0
[pid=27744/tid=27761] ppid=27737 vsize=10659088 memory=1228 CPUtime=0 cores=0,2,4,6
/proc/27744/task/27761/stat : 27761 (java) S 27737 27744 24602 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 38561450 10914906112 30096 33554432000 4194304 4196468 140723787392336 140705384026992 140705894512341 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12451840 140723787400305 140723787400457 140723787400457 140723787403215 0
[pid=27744/tid=27763] ppid=27737 vsize=10659088 memory=5372 CPUtime=0 cores=0,2,4,6
/proc/27744/task/27763/stat : 27763 (java) S 27737 27744 24602 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 38561452 10914906112 30096 33554432000 4194304 4196468 140723787392336 140705382975312 140705894520731 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12451840 140723787400305 140723787400457 140723787400457 140723787403215 0
[pid=27744/tid=27764] ppid=27737 vsize=10659088 memory=7302135314614015848 CPUtime=0.45 cores=0,2,4,6
/proc/27744/task/27764/stat : 27764 (java) R 27737 27744 24602 0 -1 4202560 3201 0 0 0 45 0 0 0 20 0 15 0 38561452 10914906112 30096 33554432000 4194304 4196468 140723787392336 140705381909160 140705873746160 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 12451840 140723787400305 140723787400457 140723787400457 140723787403215 0
[pid=27744/tid=27766] ppid=27737 vsize=10659088 memory=6082784577605494118 CPUtime=0.44 cores=0,2,4,6
/proc/27744/task/27766/stat : 27766 (java) R 27737 27744 24602 0 -1 4202560 2761 0 0 0 44 0 0 0 20 0 15 0 38561452 10914906112 30096 33554432000 4194304 4196468 140723787392336 140705380861280 140705875138019 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 12451840 140723787400305 140723787400457 140723787400457 140723787403215 0
[pid=27744/tid=27768] ppid=27737 vsize=10659088 memory=7007715718637572176 CPUtime=0.33 cores=0,2,4,6
/proc/27744/task/27768/stat : 27768 (java) S 27737 27744 24602 0 -1 1077944384 2254 0 0 0 33 0 0 0 20 0 15 0 38561452 10914906112 30096 33554432000 4194304 4196468 140723787392336 140705379818096 140705894513282 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12451840 140723787400305 140723787400457 140723787400457 140723787403215 0
[pid=27744/tid=27770] ppid=27737 vsize=10659088 memory=0 CPUtime=0 cores=0,2,4,6
/proc/27744/task/27770/stat : 27770 (java) S 27737 27744 24602 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 38561452 10914906112 30096 33554432000 4194304 4196468 140723787392336 140705378765536 140705894512341 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12451840 140723787400305 140723787400457 140723787400457 140723787403215 0
[pid=27744/tid=27773] ppid=27737 vsize=10659088 memory=31396 CPUtime=0 cores=0,2,4,6
/proc/27744/task/27773/stat : 27773 (java) S 27737 27744 24602 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 38561452 10914906112 30096 33554432000 4194304 4196468 140723787392336 140705377712816 140705894513282 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12451840 140723787400305 140723787400457 140723787400457 140723787403215 0
Current children cumulated CPU time: 1.92 s
Current children cumulated vsize: 10659088 KiB
Current children cumulated memory: 120384 KiB

[startup+1.50085 s]
/proc/loadavg: 1.40 1.82 1.98 10/217 27773
/proc/meminfo: memFree=24808020/32770624 swapFree=67108852/67108860
[pid=27744] ppid=27737 vsize=10661136 memory=389764 CPUtime=4.52 cores=0,2,4,6
/proc/27744/stat : 27744 (java) S 27737 27744 24602 0 -1 1077944320 23912 0 1 0 439 13 0 0 20 0 15 0 38561446 10917003264 97441 33554432000 4194304 4196468 140723787392336 140723787374880 140705894502135 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 12451840 140723787400305 140723787400457 140723787400457 140723787403215 0
/proc/27744/statm: 2665284 97441 3147 1 0 2627775 0
[pid=27744/tid=27747] ppid=27737 vsize=10661136 memory=0 CPUtime=1.41 cores=0,2,4,6
/proc/27744/task/27747/stat : 27747 (java) R 27737 27744 24602 0 -1 4202560 5684 0 0 0 135 6 0 0 20 0 15 0 38561447 10917003264 97441 33554432000 4194304 4196468 140723787392336 140705898739496 140705876423614 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 12451840 140723787400305 140723787400457 140723787400457 140723787403215 0
[pid=27744/tid=27750] ppid=27737 vsize=10661136 memory=-6951259422114956437 CPUtime=0.01 cores=0,2,4,6
/proc/27744/task/27750/stat : 27750 (java) S 27737 27744 24602 0 -1 1077944384 20 0 0 0 1 0 0 0 20 0 15 0 38561448 10917003264 97441 33554432000 4194304 4196468 140723787392336 140705820576912 140705894512341 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12451840 140723787400305 140723787400457 140723787400457 140723787403215 0
[pid=27744/tid=27752] ppid=27737 vsize=10661136 memory=-6509546260019855299 CPUtime=0.04 cores=0,2,4,6
/proc/27744/task/27752/stat : 27752 (java) S 27737 27744 24602 0 -1 1077944384 70 0 0 0 3 1 0 0 20 0 15 0 38561448 10917003264 97441 33554432000 4194304 4196468 140723787392336 140705819524112 140705894512341 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12451840 140723787400305 140723787400457 140723787400457 140723787403215 0
[pid=27744/tid=27754] ppid=27737 vsize=10661136 memory=-7390251449858225344 CPUtime=0.03 cores=0,2,4,6
/proc/27744/task/27754/stat : 27754 (java) S 27737 27744 24602 0 -1 1077944384 62 0 0 0 2 1 0 0 20 0 15 0 38561448 10917003264 97441 33554432000 4194304 4196468 140723787392336 140705818471312 140705894512341 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12451840 140723787400305 140723787400457 140723787400457 140723787403215 0
[pid=27744/tid=27755] ppid=27737 vsize=10661136 memory=-7096649868621430206 CPUtime=0.02 cores=0,2,4,6
/proc/27744/task/27755/stat : 27755 (java) S 27737 27744 24602 0 -1 1077944384 67 0 0 0 2 0 0 0 20 0 15 0 38561448 10917003264 97441 33554432000 4194304 4196468 140723787392336 140705817418512 140705894512341 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12451840 140723787400305 140723787400457 140723787400457 140723787403215 0
[pid=27744/tid=27757] ppid=27737 vsize=10661136 memory=-7165351541977658656 CPUtime=0 cores=0,2,4,6
/proc/27744/task/27757/stat : 27757 (java) S 27737 27744 24602 0 -1 1077944384 228 0 0 0 0 0 0 0 20 0 15 0 38561449 10917003264 97441 33554432000 4194304 4196468 140723787392336 140705386133872 140705894513282 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12451840 140723787400305 140723787400457 140723787400457 140723787403215 0

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

/proc/27744/task/27759/stat : 27759 (java) S 27737 27744 24602 0 -1 1077944384 40 0 0 0 0 0 0 0 20 0 16 0 38561449 10985164800 492808 33554432000 4194304 4196468 140723787392336 140705385079904 140705894512341 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12451840 140723787400305 140723787400457 140723787400457 140723787403215 0
[pid=27744/tid=27761] ppid=27737 vsize=10727700 memory=6791534058613427641 CPUtime=0 cores=0,2,4,6
/proc/27744/task/27761/stat : 27761 (java) S 27737 27744 24602 0 -1 1077944384 65 0 0 0 0 0 0 0 20 0 16 0 38561450 10985164800 492808 33554432000 4194304 4196468 140723787392336 140705384027008 140705894512341 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12451840 140723787400305 140723787400457 140723787400457 140723787403215 0
[pid=27744/tid=27763] ppid=27737 vsize=10727700 memory=1971232 CPUtime=0 cores=0,2,4,6
/proc/27744/task/27763/stat : 27763 (java) S 27737 27744 24602 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 38561452 10985164800 492808 33554432000 4194304 4196468 140723787392336 140705382975312 140705894520731 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12451840 140723787400305 140723787400457 140723787400457 140723787403215 0
[pid=27744/tid=27764] ppid=27737 vsize=10727700 memory=1971232 CPUtime=5.9 cores=0,2,4,6
/proc/27744/task/27764/stat : 27764 (java) S 27737 27744 24602 0 -1 1077944384 18098 0 1 0 588 2 0 0 20 0 16 0 38561452 10985164800 492808 33554432000 4194304 4196468 140723787392336 140705381923696 140705894513282 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12451840 140723787400305 140723787400457 140723787400457 140723787403215 0
[pid=27744/tid=27766] ppid=27737 vsize=10727700 memory=1971232 CPUtime=6.2 cores=0,2,4,6
/proc/27744/task/27766/stat : 27766 (java) S 27737 27744 24602 0 -1 1077944384 17495 0 1 0 618 2 0 0 20 0 16 0 38561452 10985164800 492808 33554432000 4194304 4196468 140723787392336 140705380870896 140705894513282 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12451840 140723787400305 140723787400457 140723787400457 140723787403215 0
[pid=27744/tid=27768] ppid=27737 vsize=10727700 memory=1971232 CPUtime=0.88 cores=0,2,4,6
/proc/27744/task/27768/stat : 27768 (java) S 27737 27744 24602 0 -1 1077944384 7789 0 0 0 86 2 0 0 20 0 16 0 38561452 10985164800 492808 33554432000 4194304 4196468 140723787392336 140705379818096 140705894513282 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12451840 140723787400305 140723787400457 140723787400457 140723787403215 0
[pid=27744/tid=27770] ppid=27737 vsize=10727700 memory=1971232 CPUtime=0 cores=0,2,4,6
/proc/27744/task/27770/stat : 27770 (java) S 27737 27744 24602 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 38561452 10985164800 492808 33554432000 4194304 4196468 140723787392336 140705378765536 140705894512341 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12451840 140723787400305 140723787400457 140723787400457 140723787403215 0
[pid=27744/tid=27773] ppid=27737 vsize=10727700 memory=4612 CPUtime=1.16 cores=0,2,4,6
/proc/27744/task/27773/stat : 27773 (java) S 27737 27744 24602 0 -1 1077944384 1645 0 0 0 60 56 0 0 20 0 16 0 38561452 10985164800 492808 33554432000 4194304 4196468 140723787392336 140705377712816 140705894513282 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12451840 140723787400305 140723787400457 140723787400457 140723787403215 0
[pid=27744/tid=27774] ppid=27737 vsize=10727700 memory=4012 CPUtime=0 cores=0,2,4,6
/proc/27744/task/27774/stat : 27774 (java) S 27737 27744 24602 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 16 0 38561951 10985164800 492808 33554432000 4194304 4196468 140723787392336 140705374561200 140705894513282 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12451840 140723787400305 140723787400457 140723787400457 140723787403215 0
Current children cumulated CPU time: 2341.39 s
Current children cumulated vsize: 10727700 KiB
Current children cumulated memory: 1971232 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2380.9 s]
/proc/loadavg: 2.13 2.20 2.16 3/218 27953
/proc/meminfo: memFree=21255764/32770624 swapFree=67108852/67108860
[pid=27744] ppid=27737 vsize=10727700 memory=1971232 CPUtime=2400.01 cores=0,2,4,6
/proc/27744/stat : 27744 (java) S 27737 27744 24602 0 -1 1077944320 117778 0 2 0 239835 166 0 0 20 0 16 0 38561446 10985164800 492808 33554432000 4194304 4196468 140723787392336 140723787374880 140705894502135 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 12451840 140723787400305 140723787400457 140723787400457 140723787403215 0
/proc/27744/statm: 2681925 492808 3192 1 0 2644416 0
[pid=27744/tid=27747] ppid=27737 vsize=10727700 memory=1971232 CPUtime=2378.27 cores=0,2,4,6
/proc/27744/task/27747/stat : 27747 (java) R 27737 27744 24602 0 -1 4202560 58288 0 0 0 237804 23 0 0 20 0 16 0 38561447 10985164800 492808 33554432000 4194304 4196468 140723787392336 140705898741168 140705502764124 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 12451840 140723787400305 140723787400457 140723787400457 140723787403215 0
[pid=27744/tid=27750] ppid=27737 vsize=10727700 memory=1971232 CPUtime=1.62 cores=0,2,4,6
/proc/27744/task/27750/stat : 27750 (java) S 27737 27744 24602 0 -1 1077944384 1770 0 0 0 142 20 0 0 20 0 16 0 38561448 10985164800 492808 33554432000 4194304 4196468 140723787392336 140705820576912 140705894512341 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12451840 140723787400305 140723787400457 140723787400457 140723787403215 0
[pid=27744/tid=27752] ppid=27737 vsize=10727700 memory=1971232 CPUtime=1.77 cores=0,2,4,6
/proc/27744/task/27752/stat : 27752 (java) S 27737 27744 24602 0 -1 1077944384 1111 0 0 0 153 24 0 0 20 0 16 0 38561448 10985164800 492808 33554432000 4194304 4196468 140723787392336 140705819524112 140705894512341 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12451840 140723787400305 140723787400457 140723787400457 140723787403215 0
[pid=27744/tid=27754] ppid=27737 vsize=10727700 memory=1971232 CPUtime=1.66 cores=0,2,4,6
/proc/27744/task/27754/stat : 27754 (java) S 27737 27744 24602 0 -1 1077944384 3047 0 0 0 147 19 0 0 20 0 16 0 38561448 10985164800 492808 33554432000 4194304 4196468 140723787392336 140705818471312 140705894512341 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12451840 140723787400305 140723787400457 140723787400457 140723787403215 0
[pid=27744/tid=27755] ppid=27737 vsize=10727700 memory=1971232 CPUtime=1.72 cores=0,2,4,6
/proc/27744/task/27755/stat : 27755 (java) S 27737 27744 24602 0 -1 1077944384 1848 0 0 0 151 21 0 0 20 0 16 0 38561448 10985164800 492808 33554432000 4194304 4196468 140723787392336 140705817418512 140705894512341 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12451840 140723787400305 140723787400457 140723787400457 140723787403215 0
[pid=27744/tid=27757] ppid=27737 vsize=10727700 memory=1971232 CPUtime=0.69 cores=0,2,4,6
/proc/27744/task/27757/stat : 27757 (java) S 27737 27744 24602 0 -1 1077944384 5172 0 0 0 67 2 0 0 20 0 16 0 38561449 10985164800 492808 33554432000 4194304 4196468 140723787392336 140705386133872 140705894513282 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12451840 140723787400305 140723787400457 140723787400457 140723787403215 0
[pid=27744/tid=27759] ppid=27737 vsize=10727700 memory=1971232 CPUtime=0 cores=0,2,4,6
/proc/27744/task/27759/stat : 27759 (java) S 27737 27744 24602 0 -1 1077944384 40 0 0 0 0 0 0 0 20 0 16 0 38561449 10985164800 492808 33554432000 4194304 4196468 140723787392336 140705385079904 140705894512341 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12451840 140723787400305 140723787400457 140723787400457 140723787403215 0
[pid=27744/tid=27761] ppid=27737 vsize=10727700 memory=1971232 CPUtime=0 cores=0,2,4,6
/proc/27744/task/27761/stat : 27761 (java) S 27737 27744 24602 0 -1 1077944384 65 0 0 0 0 0 0 0 20 0 16 0 38561450 10985164800 492808 33554432000 4194304 4196468 140723787392336 140705384027008 140705894512341 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12451840 140723787400305 140723787400457 140723787400457 140723787403215 0
[pid=27744/tid=27763] ppid=27737 vsize=10727700 memory=288230621803970871 CPUtime=0 cores=0,2,4,6
/proc/27744/task/27763/stat : 27763 (java) S 27737 27744 24602 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 38561452 10985164800 492808 33554432000 4194304 4196468 140723787392336 140705382975312 140705894520731 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12451840 140723787400305 140723787400457 140723787400457 140723787403215 0
[pid=27744/tid=27764] ppid=27737 vsize=10727700 memory=1971232 CPUtime=5.9 cores=0,2,4,6
/proc/27744/task/27764/stat : 27764 (java) S 27737 27744 24602 0 -1 1077944384 18118 0 1 0 588 2 0 0 20 0 16 0 38561452 10985164800 492808 33554432000 4194304 4196468 140723787392336 140705381923696 140705894513282 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12451840 140723787400305 140723787400457 140723787400457 140723787403215 0
[pid=27744/tid=27766] ppid=27737 vsize=10727700 memory=8592 CPUtime=6.2 cores=0,2,4,6
/proc/27744/task/27766/stat : 27766 (java) S 27737 27744 24602 0 -1 1077944384 17501 0 1 0 618 2 0 0 20 0 16 0 38561452 10985164800 492808 33554432000 4194304 4196468 140723787392336 140705380870896 140705894513282 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12451840 140723787400305 140723787400457 140723787400457 140723787403215 0
[pid=27744/tid=27768] ppid=27737 vsize=10727700 memory=7649539806611340834 CPUtime=0.88 cores=0,2,4,6
/proc/27744/task/27768/stat : 27768 (java) S 27737 27744 24602 0 -1 1077944384 7795 0 0 0 86 2 0 0 20 0 16 0 38561452 10985164800 492808 33554432000 4194304 4196468 140723787392336 140705379818096 140705894513282 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12451840 140723787400305 140723787400457 140723787400457 140723787403215 0
[pid=27744/tid=27770] ppid=27737 vsize=10727700 memory=7649399388560111410 CPUtime=0 cores=0,2,4,6
/proc/27744/task/27770/stat : 27770 (java) S 27737 27744 24602 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 38561452 10985164800 492808 33554432000 4194304 4196468 140723787392336 140705378765536 140705894512341 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12451840 140723787400305 140723787400457 140723787400457 140723787403215 0
[pid=27744/tid=27773] ppid=27737 vsize=10727700 memory=1971232 CPUtime=1.18 cores=0,2,4,6
/proc/27744/task/27773/stat : 27773 (java) S 27737 27744 24602 0 -1 1077944384 1695 0 0 0 61 57 0 0 20 0 16 0 38561452 10985164800 492808 33554432000 4194304 4196468 140723787392336 140705377712816 140705894513282 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12451840 140723787400305 140723787400457 140723787400457 140723787403215 0
[pid=27744/tid=27774] ppid=27737 vsize=10727700 memory=1971232 CPUtime=0 cores=0,2,4,6
/proc/27744/task/27774/stat : 27774 (java) S 27737 27744 24602 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 16 0 38561951 10985164800 492808 33554432000 4194304 4196468 140723787392336 140705374561200 140705894513282 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12451840 140723787400305 140723787400457 140723787400457 140723787403215 0
Current children cumulated CPU time: 2400.01 s
Current children cumulated vsize: 10727700 KiB
Current children cumulated memory: 1971232 KiB

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

[startup+2381.18 s]
# the end of solver process 27744 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2398.54 s, system=1.6802 s

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

[startup+2381.01 s]*
/proc/loadavg: 2.13 2.20 2.16 2/219 27956
/proc/meminfo: memFree=21253716/32770624 swapFree=67108852/67108860
[pid=27744] ppid=27737 vsize=10927392 memory=1971576 CPUtime=2400.11 cores=0,2,4,6
/proc/27744/stat : 27744 (java) S 27737 27744 24602 0 -1 1077944320 121078 0 2 0 239845 166 0 0 20 0 17 0 38561446 11189649408 492894 33554432000 4194304 4196468 140723787392336 140723787374880 140705894502135 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 12451840 140723787400305 140723787400457 140723787400457 140723787403215 0
/proc/27744/statm: 2731848 492894 3195 1 0 2694339 0
[pid=27744/tid=27747] ppid=27737 vsize=10927392 memory=1704 CPUtime=2378.31 cores=0,2,4,6
/proc/27744/task/27747/stat : 27747 (java) S 27737 27744 24602 0 -1 1077944384 58401 0 0 0 237808 23 0 0 20 0 17 0 38561447 11189649408 492894 33554432000 4194304 4196468 140723787392336 140705898745008 140705894512341 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12451840 140723787400305 140723787400457 140723787400457 140723787403215 0
[pid=27744/tid=27750] ppid=27737 vsize=10927392 memory=796 CPUtime=1.62 cores=0,2,4,6
/proc/27744/task/27750/stat : 27750 (java) S 27737 27744 24602 0 -1 1077944384 1770 0 0 0 142 20 0 0 20 0 17 0 38561448 11189649408 492894 33554432000 4194304 4196468 140723787392336 140705820576912 140705894512341 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12451840 140723787400305 140723787400457 140723787400457 140723787403215 0
[pid=27744/tid=27752] ppid=27737 vsize=10927392 memory=4126316290023845779 CPUtime=1.77 cores=0,2,4,6
/proc/27744/task/27752/stat : 27752 (java) S 27737 27744 24602 0 -1 1077944384 1111 0 0 0 153 24 0 0 20 0 17 0 38561448 11189649408 492894 33554432000 4194304 4196468 140723787392336 140705819524112 140705894512341 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12451840 140723787400305 140723787400457 140723787400457 140723787403215 0
[pid=27744/tid=27754] ppid=27737 vsize=10927392 memory=166 CPUtime=1.66 cores=0,2,4,6
/proc/27744/task/27754/stat : 27754 (java) S 27737 27744 24602 0 -1 1077944384 3047 0 0 0 147 19 0 0 20 0 17 0 38561448 11189649408 492894 33554432000 4194304 4196468 140723787392336 140705818471312 140705894512341 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12451840 140723787400305 140723787400457 140723787400457 140723787403215 0
[pid=27744/tid=27755] ppid=27737 vsize=10927392 memory=172 CPUtime=1.72 cores=0,2,4,6
/proc/27744/task/27755/stat : 27755 (java) S 27737 27744 24602 0 -1 1077944384 1848 0 0 0 151 21 0 0 20 0 17 0 38561448 11189649408 492894 33554432000 4194304 4196468 140723787392336 140705817418512 140705894512341 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12451840 140723787400305 140723787400457 140723787400457 140723787403215 0
[pid=27744/tid=27757] ppid=27737 vsize=10927392 memory=0 CPUtime=0.69 cores=0,2,4,6
/proc/27744/task/27757/stat : 27757 (java) S 27737 27744 24602 0 -1 1077944384 5205 0 0 0 67 2 0 0 20 0 17 0 38561449 11189649408 492894 33554432000 4194304 4196468 140723787392336 140705386133872 140705894513282 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12451840 140723787400305 140723787400457 140723787400457 140723787403215 0
[pid=27744/tid=27759] ppid=27737 vsize=10927392 memory=1971232 CPUtime=0 cores=0,2,4,6
/proc/27744/task/27759/stat : 27759 (java) S 27737 27744 24602 0 -1 1077944384 40 0 0 0 0 0 0 0 20 0 17 0 38561449 11189649408 492894 33554432000 4194304 4196468 140723787392336 140705385079904 140705894512341 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12451840 140723787400305 140723787400457 140723787400457 140723787403215 0
[pid=27744/tid=27761] ppid=27737 vsize=10927392 memory=1971232 CPUtime=0 cores=0,2,4,6
/proc/27744/task/27761/stat : 27761 (java) S 27737 27744 24602 0 -1 1077944384 65 0 0 0 0 0 0 0 20 0 17 0 38561450 11189649408 492894 33554432000 4194304 4196468 140723787392336 140705384027008 140705894512341 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12451840 140723787400305 140723787400457 140723787400457 140723787403215 0
[pid=27744/tid=27763] ppid=27737 vsize=10927392 memory=4012 CPUtime=0 cores=0,2,4,6
/proc/27744/task/27763/stat : 27763 (java) S 27737 27744 24602 0 -1 1077944384 235 0 0 0 0 0 0 0 20 0 17 0 38561452 11189649408 492894 33554432000 4194304 4196468 140723787392336 140705382975312 140705894520731 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12451840 140723787400305 140723787400457 140723787400457 140723787403215 0
[pid=27744/tid=27764] ppid=27737 vsize=10927392 memory=13828 CPUtime=5.93 cores=0,2,4,6
/proc/27744/task/27764/stat : 27764 (java) S 27737 27744 24602 0 -1 1077944384 19244 0 1 0 590 3 0 0 20 0 17 0 38561452 11189649408 492894 33554432000 4194304 4196468 140723787392336 140705381923696 140705894513282 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12451840 140723787400305 140723787400457 140723787400457 140723787403215 0
[pid=27744/tid=27766] ppid=27737 vsize=10927392 memory=1971232 CPUtime=6.22 cores=0,2,4,6
/proc/27744/task/27766/stat : 27766 (java) S 27737 27744 24602 0 -1 1077944384 18508 0 1 0 620 2 0 0 20 0 17 0 38561452 11189649408 492894 33554432000 4194304 4196468 140723787392336 140705380870896 140705894513282 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12451840 140723787400305 140723787400457 140723787400457 140723787403215 0
[pid=27744/tid=27768] ppid=27737 vsize=10927392 memory=4126316290023845779 CPUtime=0.88 cores=0,2,4,6
/proc/27744/task/27768/stat : 27768 (java) S 27737 27744 24602 0 -1 1077944384 8203 0 0 0 86 2 0 0 20 0 17 0 38561452 11189649408 492894 33554432000 4194304 4196468 140723787392336 140705379818096 140705894513282 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12451840 140723787400305 140723787400457 140723787400457 140723787403215 0
[pid=27744/tid=27770] ppid=27737 vsize=10927392 memory=0 CPUtime=0 cores=0,2,4,6
/proc/27744/task/27770/stat : 27770 (java) S 27737 27744 24602 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 17 0 38561452 11189649408 492894 33554432000 4194304 4196468 140723787392336 140705378765536 140705894512341 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12451840 140723787400305 140723787400457 140723787400457 140723787403215 0
[pid=27744/tid=27773] ppid=27737 vsize=10927392 memory=0 CPUtime=1.19 cores=0,2,4,6
/proc/27744/task/27773/stat : 27773 (java) S 27737 27744 24602 0 -1 1077944384 1695 0 0 0 61 58 0 0 20 0 17 0 38561452 11189649408 492894 33554432000 4194304 4196468 140723787392336 140705377712816 140705894513282 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12451840 140723787400305 140723787400457 140723787400457 140723787403215 0
[pid=27744/tid=27954] ppid=27737 vsize=10927392 memory=0 CPUtime=0 cores=0,2,4,6
/proc/27744/task/27954/stat : 27954 (java) S 27737 27744 24602 0 -1 1077944384 215 0 0 0 0 0 0 0 20 0 17 0 38799537 11189649408 492894 33554432000 4194304 4196468 140723787392336 140705373507696 140705894512341 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12451840 140723787400305 140723787400457 140723787400457 140723787403215 0
[pid=27744/tid=27955] ppid=27737 vsize=10927392 memory=8243114992657236051 CPUtime=0 cores=0,2,4,6
/proc/27744/task/27955/stat : 27955 (java) S 27737 27744 24602 0 -1 1077944384 76 0 0 0 0 0 0 0 20 0 17 0 38799537 11189649408 492894 33554432000 4194304 4196468 140723787392336 140705372455824 140705894513282 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12451840 140723787400305 140723787400457 140723787400457 140723787403215 0
Current children cumulated CPU time: 2400.11 s
Current children cumulated vsize: 10927392 KiB
Current children cumulated memory: 1971576 KiB

[startup+2381.11 s]
/proc/loadavg: 2.13 2.20 2.16 2/219 27956
/proc/meminfo: memFree=21253716/32770624 swapFree=67108852/67108860
[pid=27744] ppid=27737 vsize=10927392 memory=1971596 CPUtime=2400.11 cores=0,2,4,6
/proc/27744/stat : 27744 (java) S 27737 27744 24602 0 -1 1077944320 121721 0 2 0 239845 166 0 0 20 0 17 0 38561446 11189649408 492899 33554432000 4194304 4196468 140723787392336 140723787374880 140705894502135 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 12451840 140723787400305 140723787400457 140723787400457 140723787403215 0
/proc/27744/statm: 2731848 492899 3196 1 0 2694339 0
[pid=27744/tid=27747] ppid=27737 vsize=10927392 memory=1971232 CPUtime=2378.31 cores=0,2,4,6
/proc/27744/task/27747/stat : 27747 (java) S 27737 27744 24602 0 -1 1077944384 58401 0 0 0 237808 23 0 0 20 0 17 0 38561447 11189649408 492899 33554432000 4194304 4196468 140723787392336 140705898745008 140705894512341 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12451840 140723787400305 140723787400457 140723787400457 140723787403215 0
[pid=27744/tid=27750] ppid=27737 vsize=10927392 memory=1971232 CPUtime=1.62 cores=0,2,4,6
/proc/27744/task/27750/stat : 27750 (java) S 27737 27744 24602 0 -1 1077944384 1770 0 0 0 142 20 0 0 20 0 17 0 38561448 11189649408 492899 33554432000 4194304 4196468 140723787392336 140705820576912 140705894512341 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12451840 140723787400305 140723787400457 140723787400457 140723787403215 0
[pid=27744/tid=27752] ppid=27737 vsize=10927392 memory=1971232 CPUtime=1.77 cores=0,2,4,6
/proc/27744/task/27752/stat : 27752 (java) S 27737 27744 24602 0 -1 1077944384 1111 0 0 0 153 24 0 0 20 0 17 0 38561448 11189649408 492899 33554432000 4194304 4196468 140723787392336 140705819524112 140705894512341 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12451840 140723787400305 140723787400457 140723787400457 140723787403215 0
[pid=27744/tid=27754] ppid=27737 vsize=10927392 memory=1971232 CPUtime=1.66 cores=0,2,4,6
/proc/27744/task/27754/stat : 27754 (java) S 27737 27744 24602 0 -1 1077944384 3047 0 0 0 147 19 0 0 20 0 17 0 38561448 11189649408 492899 33554432000 4194304 4196468 140723787392336 140705818471312 140705894512341 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12451840 140723787400305 140723787400457 140723787400457 140723787403215 0
[pid=27744/tid=27755] ppid=27737 vsize=10927392 memory=1971232 CPUtime=1.72 cores=0,2,4,6
/proc/27744/task/27755/stat : 27755 (java) S 27737 27744 24602 0 -1 1077944384 1848 0 0 0 151 21 0 0 20 0 17 0 38561448 11189649408 492899 33554432000 4194304 4196468 140723787392336 140705817418512 140705894512341 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12451840 140723787400305 140723787400457 140723787400457 140723787403215 0
[pid=27744/tid=27757] ppid=27737 vsize=10927392 memory=1971232 CPUtime=0.69 cores=0,2,4,6
/proc/27744/task/27757/stat : 27757 (java) S 27737 27744 24602 0 -1 1077944384 5205 0 0 0 67 2 0 0 20 0 17 0 38561449 11189649408 492899 33554432000 4194304 4196468 140723787392336 140705386133872 140705894513282 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12451840 140723787400305 140723787400457 140723787400457 140723787403215 0
[pid=27744/tid=27759] ppid=27737 vsize=10927392 memory=1971232 CPUtime=0 cores=0,2,4,6
/proc/27744/task/27759/stat : 27759 (java) S 27737 27744 24602 0 -1 1077944384 40 0 0 0 0 0 0 0 20 0 17 0 38561449 11189649408 492899 33554432000 4194304 4196468 140723787392336 140705385079904 140705894512341 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12451840 140723787400305 140723787400457 140723787400457 140723787403215 0
[pid=27744/tid=27761] ppid=27737 vsize=10927392 memory=1971232 CPUtime=0 cores=0,2,4,6
/proc/27744/task/27761/stat : 27761 (java) S 27737 27744 24602 0 -1 1077944384 65 0 0 0 0 0 0 0 20 0 17 0 38561450 11189649408 492899 33554432000 4194304 4196468 140723787392336 140705384027008 140705894512341 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12451840 140723787400305 140723787400457 140723787400457 140723787403215 0
[pid=27744/tid=27763] ppid=27737 vsize=10927392 memory=8592 CPUtime=0 cores=0,2,4,6
/proc/27744/task/27763/stat : 27763 (java) S 27737 27744 24602 0 -1 1077944384 235 0 0 0 0 0 0 0 20 0 17 0 38561452 11189649408 492899 33554432000 4194304 4196468 140723787392336 140705382975312 140705894520731 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12451840 140723787400305 140723787400457 140723787400457 140723787403215 0
[pid=27744/tid=27764] ppid=27737 vsize=10927392 memory=1971232 CPUtime=5.93 cores=0,2,4,6
/proc/27744/task/27764/stat : 27764 (java) S 27737 27744 24602 0 -1 1077944384 19244 0 1 0 590 3 0 0 20 0 17 0 38561452 11189649408 492899 33554432000 4194304 4196468 140723787392336 140705381923696 140705894513282 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12451840 140723787400305 140723787400457 140723787400457 140723787403215 0
[pid=27744/tid=27766] ppid=27737 vsize=10927392 memory=1971232 CPUtime=6.22 cores=0,2,4,6
/proc/27744/task/27766/stat : 27766 (java) S 27737 27744 24602 0 -1 1077944384 18509 0 1 0 620 2 0 0 20 0 17 0 38561452 11189649408 492899 33554432000 4194304 4196468 140723787392336 140705380870896 140705894513282 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12451840 140723787400305 140723787400457 140723787400457 140723787403215 0
[pid=27744/tid=27768] ppid=27737 vsize=10927392 memory=1971232 CPUtime=0.88 cores=0,2,4,6
/proc/27744/task/27768/stat : 27768 (java) R 27737 27744 24602 0 -1 4202560 8776 0 0 0 86 2 0 0 20 0 17 0 38561452 11189649408 492899 33554432000 4194304 4196468 140723787392336 140705379817984 140705875908521 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 12451840 140723787400305 140723787400457 140723787400457 140723787403215 0
[pid=27744/tid=27770] ppid=27737 vsize=10927392 memory=288230621803970871 CPUtime=0 cores=0,2,4,6
/proc/27744/task/27770/stat : 27770 (java) S 27737 27744 24602 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 17 0 38561452 11189649408 492899 33554432000 4194304 4196468 140723787392336 140705378765536 140705894512341 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12451840 140723787400305 140723787400457 140723787400457 140723787403215 0
[pid=27744/tid=27773] ppid=27737 vsize=10927392 memory=288292181620556626 CPUtime=1.19 cores=0,2,4,6
/proc/27744/task/27773/stat : 27773 (java) S 27737 27744 24602 0 -1 1077944384 1695 0 0 0 61 58 0 0 20 0 17 0 38561452 11189649408 492899 33554432000 4194304 4196468 140723787392336 140705377712816 140705894513282 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12451840 140723787400305 140723787400457 140723787400457 140723787403215 0
[pid=27744/tid=27954] ppid=27737 vsize=10927392 memory=4406731 CPUtime=0 cores=0,2,4,6
/proc/27744/task/27954/stat : 27954 (java) S 27737 27744 24602 0 -1 1077944384 215 0 0 0 0 0 0 0 20 0 17 0 38799537 11189649408 492899 33554432000 4194304 4196468 140723787392336 140705373507696 140705894512341 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12451840 140723787400305 140723787400457 140723787400457 140723787403215 0
[pid=27744/tid=27955] ppid=27737 vsize=10927392 memory=6944656592455097440 CPUtime=0 cores=0,2,4,6
/proc/27744/task/27955/stat : 27955 (java) R 27737 27744 24602 0 -1 4202560 220 0 0 0 0 0 0 0 20 0 17 0 38799537 11189649408 492899 33554432000 4194304 4196468 140723787392336 140705372455824 140705494281344 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 12451840 140723787400305 140723787400457 140723787400457 140723787403215 0
Current children cumulated CPU time: 2400.11 s
Current children cumulated vsize: 10927392 KiB
Current children cumulated memory: 1971596 KiB

Child status: 143
Real time (s): 2381.18
CPU time (s): 2400.22
CPU user time (s): 2398.54
CPU system time (s): 1.6802
CPU usage (%): 100.799
Max. virtual memory (cumulated for all children) (KiB): 10927392
Max. memory (cumulated for all children) (KiB): 1971596

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2398.54
system time used= 1.6802
maximum resident set size= 1971960
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 122571
page faults= 2
swaps= 0
block input operations= 928
block output operations= 1552
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 54164
involuntary context switches= 5195


# summary of solver processes directly reported to runsolver:
#   pid: 27744
#   total CPU time (s): 2400.22
#   total CPU user time (s): 2398.54
#   total CPU system time (s): 1.6802

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 14.6891 second user time and 21.3762 second system time

The end

Launcher Data 

Begin job on node148 at 2018-07-21 23:53:03
IDJOB=4289923
IDBENCH=141056
IDSOLVER=2742
FILE ID=node148/4289923-1532209983
RUNJOBID= node148-1532209983-27714
PBS_JOBID= 21018927
Free space on /tmp= 51996 MiB

SOLVER NAME= Sat4j-CSP 2018-07-11
BENCH NAME= XCSP18/NurseRostering/NurseRostering-17_c18.xml
COMMAND LINE= java -DCompetitionOutput -jar DIR/sat4j-csp-final.jar BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4289923-1532209983/watcher-4289923-1532209983 -o /tmp/evaluation-result-4289923-1532209983/solver-4289923-1532209983 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node148-1532209983-27714 --watchdog 2560  java -DCompetitionOutput -jar HOME/sat4j-csp-final.jar HOME/instance-4289923-1532209983.xml

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

MD5SUM BENCH= e10494f4d2f2bb4c080233ff8f9dca75
RANDOM SEED=505949995

node148.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:        25302256 kB
MemAvailable:   31941320 kB
Buffers:          114480 kB
Cached:          6712488 kB
SwapCached:            8 kB
Active:          1084436 kB
Inactive:        5792708 kB
Active(anon):       2184 kB
Inactive(anon):    67492 kB
Active(file):    1082252 kB
Inactive(file):  5725216 kB
Unevictable:        7080 kB
Mlocked:            7080 kB
SwapTotal:      67108860 kB
SwapFree:       67108852 kB
Dirty:              6280 kB
Writeback:             4 kB
AnonPages:         55776 kB
Mapped:            34948 kB
Shmem:             17024 kB
Slab:             287308 kB
SReclaimable:     260056 kB
SUnreclaim:        27252 kB
KernelStack:        3200 kB
PageTables:         5048 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     318476 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:      4096 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      116096 kB
DirectMap2M:    33429504 kB

Free space on /tmp at the end= 51988 MiB
End job on node148 at 2018-07-22 00:32:44