Trace number 4283321

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
choco-solver 5a (2017-08-18)SAT968 1977.03 1714.25

General information on the benchmark

NameGolombRuler/GolombRuler-a4-s1/
GolombRuler-27-a4.xml
MD5SUM4a6b886165f8d6d7f8f178d50db8a3de
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkSAT TO
Best value of the objective obtained on this benchmark818
Best CPU time to get the best result obtained on this benchmark2520.1201
Satisfiable
(Un)Satisfiability was proved
Number of variables27
Number of constraints58502
Number of domains1
Minimum domain size1001
Maximum domain size1001
Distribution of domain sizes[{"size":1001,"count":27}]
Minimum variable degree8451
Maximum variable degree8452
Distribution of variable degrees[{"degree":8451,"count":25},{"degree":8452,"count":2}]
Minimum constraint arity1
Maximum constraint arity27
Distribution of constraint arities[{"arity":1,"count":1},{"arity":3,"count":5850},{"arity":4,"count":52650},{"arity":27,"count":1}]
Number of extensional constraints0
Number of intensional constraints58501
Distribution of constraint types[{"type":"intension","count":58501},{"type":"ordered","count":1}]
Optimization problemYES
Type of objectivemin VAR

Solver Data 

0.00/0.11	c java -server -Xmx11000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4283321-1503203157.xml"  -tl '2520s' -p 1 -x 3
0.07/0.29	c [HOME/instance-4283321-1503203157.xml, -tl, 2520s, -p, 1, -x, 3]
0.24/0.35	c simple solver
0.24/0.41	c parse instance...
14.96/5.24	c solve instance...
1713.96/1550.80	o 968 
1976.88/1714.15	Exception in thread "main" java.lang.OutOfMemoryError: Java heap space
1976.88/1714.15		at org.chocosolver.memory.trailing.trail.flatten.StoredLongTrail.resizeUpdateCapacity(StoredLongTrail.java:181)
1976.88/1714.15		at org.chocosolver.memory.trailing.trail.flatten.StoredLongTrail.savePreviousState(StoredLongTrail.java:142)
1976.88/1714.15		at org.chocosolver.memory.trailing.StoredLong.set(StoredLong.java:44)
1976.88/1714.15		at org.chocosolver.memory.structure.S64BitSet.clear(S64BitSet.java:348)
1976.88/1714.15		at org.chocosolver.solver.variables.impl.BitsetIntVarImpl.instantiateTo(BitsetIntVarImpl.java:367)
1976.88/1714.16		at org.chocosolver.solver.constraints.binary.PropAbsolute.propagate(PropAbsolute.java:97)
1976.88/1714.16		at org.chocosolver.solver.propagation.hardcoded.SevenQueuesPropagatorEngine.propagate(SevenQueuesPropagatorEngine.java:201)
1976.88/1714.16		at org.chocosolver.solver.search.strategy.selectors.values.IntDomainBest.bound(IntDomainBest.java:101)
1976.88/1714.16		at org.chocosolver.solver.search.strategy.selectors.values.IntDomainBest.selectValue(IntDomainBest.java:70)
1976.88/1714.16		at org.chocosolver.solver.search.strategy.selectors.variables.DomOverWDeg.computeDecision(DomOverWDeg.java:81)
1976.88/1714.16		at org.chocosolver.solver.search.strategy.selectors.variables.DomOverWDeg.computeDecision(DomOverWDeg.java:31)
1976.88/1714.16		at org.chocosolver.solver.search.strategy.strategy.StrategiesSequencer.computeDecision(StrategiesSequencer.java:74)
1976.88/1714.16		at org.chocosolver.solver.search.strategy.strategy.LastConflict.getDecision(LastConflict.java:94)
1976.88/1714.16		at org.chocosolver.solver.search.strategy.strategy.StrategiesSequencer.getDecision(StrategiesSequencer.java:97)
1976.88/1714.16		at org.chocosolver.solver.search.loop.move.MoveBinaryDFS.extend(MoveBinaryDFS.java:61)
1976.88/1714.16		at org.chocosolver.solver.search.loop.move.MoveRestart.extend(MoveRestart.java:81)
1976.88/1714.16		at org.chocosolver.solver.Solver.extend(Solver.java:429)
1976.88/1714.16		at org.chocosolver.solver.Solver.searchLoop(Solver.java:298)
1976.88/1714.16		at org.chocosolver.solver.Solver.solve(Solver.java:264)
1976.88/1714.16		at org.chocosolver.parser.xcsp.XCSP.singleThread(XCSP.java:148)
1976.88/1714.16		at org.chocosolver.parser.xcsp.XCSP.solve(XCSP.java:132)
1976.88/1714.16		at org.chocosolver.parser.xcsp.ChocoXCSP.main(ChocoXCSP.java:25)
1976.88/1714.16	s SATISFIABLE
1976.88/1714.16	v <instantiation>
1976.88/1714.16	v 	<list>x[0] x[1] x[2] x[3] x[4] x[5] x[6] x[7] x[8] x[9] x[10] x[11] x[12] x[13] x[14] x[15] x[16] x[17] x[18] x[19] x[20] x[21] x[22] x[23] x[24] x[25] x[26] </list>
1976.88/1714.16	v 	<values>0 1 4 6 13 21 31 45 64 87 98 133 155 171 226 276 302 330 382 478 518 567 662 724 849 931 968 </values>
1976.88/1714.16	v </instantiation>
1976.88/1714.16	c Unexpected resolution interruption!

Verifier Data 

OK	968

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4283321-1503203157/watcher-4283321-1503203157 -o /tmp/evaluation-result-4283321-1503203157/solver-4283321-1503203157 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node125-1503171261-25501 --watchdog 2580 ./xcsp3-exec -dir HOME -tl 2520 -ml 11000 -tdir HOME -seed 1978681472 HOME/instance-4283321-1503203157.xml 

running on 4 cores: 1,3,5,7

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


[startup+0.10011 s]*
/proc/loadavg: 1.27 1.36 1.42 2/196 31539
/proc/meminfo: memFree=30531760/32770624 swapFree=67108860/67108860
[pid=31538] ppid=31535 vsize=9508 memory=896 CPUtime=0 cores=1,3,5,7
/proc/31538/stat : 31538 (xcsp3-exec) R 31535 31538 8563 0 -1 4202496 401 0 0 0 0 0 0 0 20 0 1 0 122536131 9736192 224 18446744073709551615 4194304 5098028 140733570840816 140733570840816 4506080 0 0 5 0 0 0 0 17 1 0 0 10 0 0 7196144 7232144 32104448 140733570843000 140733570843205 140733570843205 140733570846699 0
/proc/31538/statm: 2377 224 186 221 0 86 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 9508 KiB
Current children cumulated memory: 896 KiB

[startup+0.209267 s]*
/proc/loadavg: 1.27 1.36 1.42 3/211 31554
/proc/meminfo: memFree=30523344/32770624 swapFree=67108860/67108860
[pid=31538] ppid=31535 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/31538/stat : 31538 (xcsp3-exec) S 31535 31538 8563 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 122536131 9740288 345 18446744073709551615 4194304 5098028 140733570840816 140733570838920 139746242105980 0 65536 5 65538 18446744071579417331 0 0 17 1 0 0 10 0 0 7196144 7232144 32104448 140733570843000 140733570843205 140733570843205 140733570846699 0
/proc/31538/statm: 2378 345 289 221 0 87 0
[pid=31540] ppid=31538 vsize=13974352 memory=21768 CPUtime=0.07 cores=1,3,5,7
/proc/31540/stat : 31540 (java) S 31538 31538 8563 0 -1 1077944320 4872 0 0 0 6 1 0 0 20 0 15 0 122536142 14309736448 5442 18446744073709551615 4194304 4196468 140733850044784 140733850027328 140204084371191 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 29511680 140733850046897 140733850047073 140733850047073 140733850050511 0
/proc/31540/statm: 3493588 5442 2712 1 0 3482964 0
[pid=31540/tid=31541] ppid=31538 vsize=13974352 memory=7311146985107750967 CPUtime=0.05 cores=1,3,5,7
/proc/31540/task/31541/stat : 31541 (java) R 31538 31538 8563 0 -1 4202560 3036 0 0 0 5 0 0 0 20 0 15 0 122536142 14309736448 5442 18446744073709551615 4194304 4196468 140733850044784 140204088602096 140204066022750 0 4 1 16800974 0 0 0 -1 3 0 0 3 0 0 6293624 6294260 29511680 140733850046897 140733850047073 140733850047073 140733850050511 0
[pid=31540/tid=31542] ppid=31538 vsize=13974352 memory=12619 CPUtime=0 cores=1,3,5,7
/proc/31540/task/31542/stat : 31542 (java) S 31538 31538 8563 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 122536143 14309736448 5442 18446744073709551615 4194304 4196468 140733850044784 140204041337488 140204084381397 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29511680 140733850046897 140733850047073 140733850047073 140733850050511 0
[pid=31540/tid=31543] ppid=31538 vsize=13974352 memory=288370943804024448 CPUtime=0 cores=1,3,5,7
/proc/31540/task/31543/stat : 31543 (java) S 31538 31538 8563 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 122536143 14309736448 5442 18446744073709551615 4194304 4196468 140733850044784 140203683670544 140204084381397 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29511680 140733850046897 140733850047073 140733850047073 140733850050511 0
[pid=31540/tid=31544] ppid=31538 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/31540/task/31544/stat : 31544 (java) S 31538 31538 8563 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 122536143 14309736448 5442 18446744073709551615 4194304 4196468 140733850044784 140203682617744 140204084381397 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29511680 140733850046897 140733850047073 140733850047073 140733850050511 0
[pid=31540/tid=31545] ppid=31538 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/31540/task/31545/stat : 31545 (java) S 31538 31538 8563 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 122536143 14309736448 5442 18446744073709551615 4194304 4196468 140733850044784 140203681564944 140204084381397 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29511680 140733850046897 140733850047073 140733850047073 140733850050511 0
[pid=31540/tid=31546] ppid=31538 vsize=13974352 memory=140567652312704 CPUtime=0 cores=1,3,5,7
/proc/31540/task/31546/stat : 31546 (java) S 31538 31538 8563 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 122536144 14309736448 5442 18446744073709551615 4194304 4196468 140733850044784 140203068193648 140204084382338 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29511680 140733850046897 140733850047073 140733850047073 140733850050511 0
[pid=31540/tid=31547] ppid=31538 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/31540/task/31547/stat : 31547 (java) S 31538 31538 8563 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 122536145 14309736448 5442 18446744073709551615 4194304 4196468 140733850044784 140203067139616 140204084381397 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29511680 140733850046897 140733850047073 140733850047073 140733850050511 0
[pid=31540/tid=31548] ppid=31538 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/31540/task/31548/stat : 31548 (java) S 31538 31538 8563 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 122536145 14309736448 5442 18446744073709551615 4194304 4196468 140733850044784 140203066086768 140204084381397 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29511680 140733850046897 140733850047073 140733850047073 140733850050511 0
[pid=31540/tid=31549] ppid=31538 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/31540/task/31549/stat : 31549 (java) S 31538 31538 8563 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 122536147 14309736448 5442 18446744073709551615 4194304 4196468 140733850044784 140203065035088 140204084389787 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29511680 140733850046897 140733850047073 140733850047073 140733850050511 0
[pid=31540/tid=31550] ppid=31538 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/31540/task/31550/stat : 31550 (java) S 31538 31538 8563 0 -1 1077944384 304 0 0 0 0 0 0 0 20 0 15 0 122536147 14309736448 5442 18446744073709551615 4194304 4196468 140733850044784 140203063982448 140204084382338 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29511680 140733850046897 140733850047073 140733850047073 140733850050511 0
[pid=31540/tid=31551] ppid=31538 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/31540/task/31551/stat : 31551 (java) S 31538 31538 8563 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 122536148 14309736448 5442 18446744073709551615 4194304 4196468 140733850044784 140203062929648 140204084382338 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29511680 140733850046897 140733850047073 140733850047073 140733850050511 0
[pid=31540/tid=31552] ppid=31538 vsize=13974352 memory=140567652312704 CPUtime=0 cores=1,3,5,7
/proc/31540/task/31552/stat : 31552 (java) S 31538 31538 8563 0 -1 1077944384 228 0 0 0 0 0 0 0 20 0 15 0 122536148 14309736448 5442 18446744073709551615 4194304 4196468 140733850044784 140203061876848 140204084382338 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29511680 140733850046897 140733850047073 140733850047073 140733850050511 0
[pid=31540/tid=31553] ppid=31538 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/31540/task/31553/stat : 31553 (java) S 31538 31538 8563 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 122536148 14309736448 5442 18446744073709551615 4194304 4196468 140733850044784 140203060824288 140204084381397 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29511680 140733850046897 140733850047073 140733850047073 140733850050511 0
[pid=31540/tid=31554] ppid=31538 vsize=13974352 memory=140567652312704 CPUtime=0 cores=1,3,5,7
/proc/31540/task/31554/stat : 31554 (java) S 31538 31538 8563 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 122536152 14309736448 5442 18446744073709551615 4194304 4196468 140733850044784 140203059772592 140204084382338 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29511680 140733850046897 140733850047073 140733850047073 140733850050511 0
Current children cumulated CPU time: 0.07 s
Current children cumulated vsize: 13983864 KiB
Current children cumulated memory: 23148 KiB

[startup+0.310025 s]*
/proc/loadavg: 1.27 1.36 1.42 4/211 31554
/proc/meminfo: memFree=30506624/32770624 swapFree=67108860/67108860
[pid=31538] ppid=31535 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/31538/stat : 31538 (xcsp3-exec) S 31535 31538 8563 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 122536131 9740288 345 18446744073709551615 4194304 5098028 140733570840816 140733570838920 139746242105980 0 65536 5 65538 18446744071579417331 0 0 17 1 0 0 10 0 0 7196144 7232144 32104448 140733570843000 140733570843205 140733570843205 140733570846699 0
/proc/31538/statm: 2378 345 289 221 0 87 0
[pid=31540] ppid=31538 vsize=13974352 memory=36836 CPUtime=0.24 cores=1,3,5,7
/proc/31540/stat : 31540 (java) S 31538 31538 8563 0 -1 1077944320 8777 0 0 0 22 2 0 0 20 0 15 0 122536142 14309736448 9209 18446744073709551615 4194304 4196468 140733850044784 140733850027328 140204084371191 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 29511680 140733850046897 140733850047073 140733850047073 140733850050511 0
/proc/31540/statm: 3493588 9209 2975 1 0 3482964 0
[pid=31540/tid=31541] ppid=31538 vsize=13974352 memory=-8774313645642428999 CPUtime=0.15 cores=1,3,5,7
/proc/31540/task/31541/stat : 31541 (java) R 31538 31538 8563 0 -1 4202560 5992 0 0 0 13 2 0 0 20 0 15 0 122536142 14309736448 9215 18446744073709551615 4194304 4196468 140733850044784 140204088598960 140204068451678 0 4 1 16800974 0 0 0 -1 5 0 0 3 0 0 6293624 6294260 29511680 140733850046897 140733850047073 140733850047073 140733850050511 0
[pid=31540/tid=31542] ppid=31538 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/31540/task/31542/stat : 31542 (java) S 31538 31538 8563 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 122536143 14309736448 9215 18446744073709551615 4194304 4196468 140733850044784 140204041337488 140204084381397 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29511680 140733850046897 140733850047073 140733850047073 140733850050511 0
[pid=31540/tid=31543] ppid=31538 vsize=13974352 memory=140567652312704 CPUtime=0 cores=1,3,5,7
/proc/31540/task/31543/stat : 31543 (java) S 31538 31538 8563 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 122536143 14309736448 9215 18446744073709551615 4194304 4196468 140733850044784 140203683670544 140204084381397 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29511680 140733850046897 140733850047073 140733850047073 140733850050511 0
[pid=31540/tid=31544] ppid=31538 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/31540/task/31544/stat : 31544 (java) S 31538 31538 8563 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 122536143 14309736448 9215 18446744073709551615 4194304 4196468 140733850044784 140203682617744 140204084381397 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29511680 140733850046897 140733850047073 140733850047073 140733850050511 0
[pid=31540/tid=31545] ppid=31538 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/31540/task/31545/stat : 31545 (java) S 31538 31538 8563 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 122536143 14309736448 9215 18446744073709551615 4194304 4196468 140733850044784 140203681564944 140204084381397 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29511680 140733850046897 140733850047073 140733850047073 140733850050511 0
[pid=31540/tid=31546] ppid=31538 vsize=13974352 memory=140567652312704 CPUtime=0 cores=1,3,5,7
/proc/31540/task/31546/stat : 31546 (java) S 31538 31538 8563 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 122536144 14309736448 9215 18446744073709551615 4194304 4196468 140733850044784 140203068193648 140204084382338 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29511680 140733850046897 140733850047073 140733850047073 140733850050511 0
[pid=31540/tid=31547] ppid=31538 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/31540/task/31547/stat : 31547 (java) S 31538 31538 8563 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 122536145 14309736448 9215 18446744073709551615 4194304 4196468 140733850044784 140203067139616 140204084381397 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29511680 140733850046897 140733850047073 140733850047073 140733850050511 0
[pid=31540/tid=31548] ppid=31538 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/31540/task/31548/stat : 31548 (java) S 31538 31538 8563 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 122536145 14309736448 9215 18446744073709551615 4194304 4196468 140733850044784 140203066086768 140204084381397 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29511680 140733850046897 140733850047073 140733850047073 140733850050511 0
[pid=31540/tid=31549] ppid=31538 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/31540/task/31549/stat : 31549 (java) S 31538 31538 8563 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 122536147 14309736448 9215 18446744073709551615 4194304 4196468 140733850044784 140203065035088 140204084389787 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29511680 140733850046897 140733850047073 140733850047073 140733850050511 0
[pid=31540/tid=31550] ppid=31538 vsize=13974352 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/31540/task/31550/stat : 31550 (java) S 31538 31538 8563 0 -1 1077944384 674 0 0 0 1 0 0 0 20 0 15 0 122536147 14309736448 9215 18446744073709551615 4194304 4196468 140733850044784 140203063982448 140204084382338 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29511680 140733850046897 140733850047073 140733850047073 140733850050511 0
[pid=31540/tid=31551] ppid=31538 vsize=13974352 memory=-1 CPUtime=0.01 cores=1,3,5,7
/proc/31540/task/31551/stat : 31551 (java) S 31538 31538 8563 0 -1 1077944384 57 0 0 0 1 0 0 0 20 0 15 0 122536148 14309736448 9215 18446744073709551615 4194304 4196468 140733850044784 140203062929648 140204084382338 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29511680 140733850046897 140733850047073 140733850047073 140733850050511 0
[pid=31540/tid=31552] ppid=31538 vsize=13974352 memory=140567652312704 CPUtime=0.05 cores=1,3,5,7
/proc/31540/task/31552/stat : 31552 (java) S 31538 31538 8563 0 -1 1077944384 751 0 0 0 5 0 0 0 20 0 15 0 122536148 14309736448 9215 18446744073709551615 4194304 4196468 140733850044784 140203061876848 140204084382338 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29511680 140733850046897 140733850047073 140733850047073 140733850050511 0
[pid=31540/tid=31553] ppid=31538 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/31540/task/31553/stat : 31553 (java) S 31538 31538 8563 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 122536148 14309736448 9215 18446744073709551615 4194304 4196468 140733850044784 140203060824288 140204084381397 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29511680 140733850046897 140733850047073 140733850047073 140733850050511 0
[pid=31540/tid=31554] ppid=31538 vsize=13974352 memory=140567652312704 CPUtime=0 cores=1,3,5,7
/proc/31540/task/31554/stat : 31554 (java) S 31538 31538 8563 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 122536152 14309736448 9215 18446744073709551615 4194304 4196468 140733850044784 140203059772592 140204084382338 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29511680 140733850046897 140733850047073 140733850047073 140733850050511 0
Current children cumulated CPU time: 0.24 s
Current children cumulated vsize: 13983864 KiB
Current children cumulated memory: 38216 KiB

[startup+0.705475 s]
/proc/loadavg: 1.27 1.36 1.42 5/211 31554
/proc/meminfo: memFree=30489304/32770624 swapFree=67108860/67108860
[pid=31538] ppid=31535 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/31538/stat : 31538 (xcsp3-exec) S 31535 31538 8563 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 122536131 9740288 345 18446744073709551615 4194304 5098028 140733570840816 140733570838920 139746242105980 0 65536 5 65538 18446744071579417331 0 0 17 1 0 0 10 0 0 7196144 7232144 32104448 140733570843000 140733570843205 140733570843205 140733570846699 0
/proc/31538/statm: 2378 345 289 221 0 87 0
[pid=31540] ppid=31538 vsize=13978684 memory=91012 CPUtime=1.28 cores=1,3,5,7
/proc/31540/stat : 31540 (java) S 31538 31538 8563 0 -1 1077944320 13373 0 0 0 124 4 0 0 20 0 15 0 122536142 14314172416 22753 18446744073709551615 4194304 4196468 140733850044784 140733850027328 140204084371191 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 29511680 140733850046897 140733850047073 140733850047073 140733850050511 0
/proc/31540/statm: 3494671 22753 3145 1 0 3482964 0
[pid=31540/tid=31541] ppid=31538 vsize=13978684 memory=7660742144744843625 CPUtime=0.54 cores=1,3,5,7
/proc/31540/task/31541/stat : 31541 (java) R 31538 31538 8563 0 -1 4202560 7790 0 0 0 51 3 0 0 20 0 15 0 122536142 14314172416 22753 18446744073709551615 4194304 4196468 140733850044784 140204088606960 140203721305307 0 4 1 16800974 0 0 0 -1 3 0 0 3 0 0 6293624 6294260 29511680 140733850046897 140733850047073 140733850047073 140733850050511 0
[pid=31540/tid=31542] ppid=31538 vsize=13978684 memory=6935650355287975249 CPUtime=0 cores=1,3,5,7
/proc/31540/task/31542/stat : 31542 (java) S 31538 31538 8563 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 122536143 14314172416 22753 18446744073709551615 4194304 4196468 140733850044784 140204041337488 140204084381397 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29511680 140733850046897 140733850047073 140733850047073 140733850050511 0
[pid=31540/tid=31543] ppid=31538 vsize=13978684 memory=6940416806629691476 CPUtime=0 cores=1,3,5,7
/proc/31540/task/31543/stat : 31543 (java) S 31538 31538 8563 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 122536143 14314172416 22753 18446744073709551615 4194304 4196468 140733850044784 140203683670544 140204084381397 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29511680 140733850046897 140733850047073 140733850047073 140733850050511 0
[pid=31540/tid=31544] ppid=31538 vsize=13978684 memory=-7098080424032564416 CPUtime=0 cores=1,3,5,7
/proc/31540/task/31544/stat : 31544 (java) S 31538 31538 8563 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 122536143 14314172416 22753 18446744073709551615 4194304 4196468 140733850044784 140203682617744 140204084381397 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29511680 140733850046897 140733850047073 140733850047073 140733850050511 0
[pid=31540/tid=31545] ppid=31538 vsize=13978684 memory=8370611207638964880 CPUtime=0 cores=1,3,5,7
/proc/31540/task/31545/stat : 31545 (java) S 31538 31538 8563 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 122536143 14314172416 22753 18446744073709551615 4194304 4196468 140733850044784 140203681564944 140204084381397 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29511680 140733850046897 140733850047073 140733850047073 140733850050511 0
[pid=31540/tid=31546] ppid=31538 vsize=13978684 memory=-7737605734073691286 CPUtime=0 cores=1,3,5,7
/proc/31540/task/31546/stat : 31546 (java) S 31538 31538 8563 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 122536144 14314172416 22753 18446744073709551615 4194304 4196468 140733850044784 140203068193648 140204084382338 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29511680 140733850046897 140733850047073 140733850047073 140733850050511 0
[pid=31540/tid=31547] ppid=31538 vsize=13978684 memory=4427207343990470186 CPUtime=0 cores=1,3,5,7
/proc/31540/task/31547/stat : 31547 (java) S 31538 31538 8563 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 122536145 14314172416 22753 18446744073709551615 4194304 4196468 140733850044784 140203067139616 140204084381397 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29511680 140733850046897 140733850047073 140733850047073 140733850050511 0
[pid=31540/tid=31548] ppid=31538 vsize=13978684 memory=-8815662549083463029 CPUtime=0 cores=1,3,5,7
/proc/31540/task/31548/stat : 31548 (java) S 31538 31538 8563 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 122536145 14314172416 22753 18446744073709551615 4194304 4196468 140733850044784 140203066086768 140204084381397 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29511680 140733850046897 140733850047073 140733850047073 140733850050511 0
[pid=31540/tid=31549] ppid=31538 vsize=13978684 memory=1572 CPUtime=0 cores=1,3,5,7
/proc/31540/task/31549/stat : 31549 (java) S 31538 31538 8563 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 122536147 14314172416 22753 18446744073709551615 4194304 4196468 140733850044784 140203065035088 140204084389787 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29511680 140733850046897 140733850047073 140733850047073 140733850050511 0
[pid=31540/tid=31550] ppid=31538 vsize=13978684 memory=410 CPUtime=0.27 cores=1,3,5,7
/proc/31540/task/31550/stat : 31550 (java) R 31538 31538 8563 0 -1 4202560 1628 0 0 0 27 0 0 0 20 0 15 0 122536147 14314172416 22753 18446744073709551615 4194304 4196468 140733850044784 140203063982448 140204064064341 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 29511680 140733850046897 140733850047073 140733850047073 140733850050511 0
[pid=31540/tid=31551] ppid=31538 vsize=13978684 memory=121 CPUtime=0.24 cores=1,3,5,7
/proc/31540/task/31551/stat : 31551 (java) S 31538 31538 8563 0 -1 1077944384 1215 0 0 0 24 0 0 0 20 0 15 0 122536148 14314172416 22753 18446744073709551615 4194304 4196468 140733850044784 140203062929648 140204084382338 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29511680 140733850046897 140733850047073 140733850047073 140733850050511 0
[pid=31540/tid=31552] ppid=31538 vsize=13978684 memory=7 CPUtime=0.21 cores=1,3,5,7
/proc/31540/task/31552/stat : 31552 (java) R 31538 31538 8563 0 -1 1077944384 1432 0 0 0 21 0 0 0 20 0 15 0 122536148 14314172416 22753 18446744073709551615 4194304 4196468 140733850044784 140203061876848 140204084382338 0 4 1 16800974 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 29511680 140733850046897 140733850047073 140733850047073 140733850050511 0
[pid=31540/tid=31553] ppid=31538 vsize=13978684 memory=631 CPUtime=0 cores=1,3,5,7
/proc/31540/task/31553/stat : 31553 (java) S 31538 31538 8563 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 122536148 14314172416 22753 18446744073709551615 4194304 4196468 140733850044784 140203060824288 140204084381397 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29511680 140733850046897 140733850047073 140733850047073 140733850050511 0
[pid=31540/tid=31554] ppid=31538 vsize=13978684 memory=1 CPUtime=0 cores=1,3,5,7
/proc/31540/task/31554/stat : 31554 (java) S 31538 31538 8563 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 122536152 14314172416 22753 18446744073709551615 4194304 4196468 140733850044784 140203059772592 140204084382338 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29511680 140733850046897 140733850047073 140733850047073 140733850050511 0
Current children cumulated CPU time: 1.28 s
Current children cumulated vsize: 13988196 KiB
Current children cumulated memory: 92392 KiB

[startup+1.50208 s]
/proc/loadavg: 1.27 1.36 1.42 6/211 31554
/proc/meminfo: memFree=30348252/32770624 swapFree=67108860/67108860
[pid=31538] ppid=31535 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/31538/stat : 31538 (xcsp3-exec) S 31535 31538 8563 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 122536131 9740288 345 18446744073709551615 4194304 5098028 140733570840816 140733570838920 139746242105980 0 65536 5 65538 18446744071579417331 0 0 17 1 0 0 10 0 0 7196144 7232144 32104448 140733570843000 140733570843205 140733570843205 140733570846699 0
/proc/31538/statm: 2378 345 289 221 0 87 0
[pid=31540] ppid=31538 vsize=13978684 memory=303512 CPUtime=3.71 cores=1,3,5,7
/proc/31540/stat : 31540 (java) S 31538 31538 8563 0 -1 1077944320 17195 0 0 0 360 11 0 0 20 0 15 0 122536142 14314172416 75878 18446744073709551615 4194304 4196468 140733850044784 140733850027328 140204084371191 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 29511680 140733850046897 140733850047073 140733850047073 140733850050511 0
/proc/31540/statm: 3494671 75878 3203 1 0 3482964 0
[pid=31540/tid=31541] ppid=31538 vsize=13978684 memory=140567501642864 CPUtime=1.28 cores=1,3,5,7
/proc/31540/task/31541/stat : 31541 (java) R 31538 31538 8563 0 -1 4202560 7996 0 0 0 123 5 0 0 20 0 15 0 122536142 14314172416 75878 18446744073709551615 4194304 4196468 140733850044784 140204088607960 140204084393117 0 4 1 16800974 0 0 0 -1 1 0 0 3 0 0 6293624 6294260 29511680 140733850046897 140733850047073 140733850047073 140733850050511 0
[pid=31540/tid=31542] ppid=31538 vsize=13978684 memory=1572 CPUtime=0.02 cores=1,3,5,7
/proc/31540/task/31542/stat : 31542 (java) S 31538 31538 8563 0 -1 1077944384 51 0 0 0 2 0 0 0 20 0 15 0 122536143 14314172416 75878 18446744073709551615 4194304 4196468 140733850044784 140204041337488 140204084381397 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29511680 140733850046897 140733850047073 140733850047073 140733850050511 0
[pid=31540/tid=31543] ppid=31538 vsize=13978684 memory=410 CPUtime=0.04 cores=1,3,5,7
/proc/31540/task/31543/stat : 31543 (java) S 31538 31538 8563 0 -1 1077944384 124 0 0 0 3 1 0 0 20 0 15 0 122536143 14314172416 75878 18446744073709551615 4194304 4196468 140733850044784 140203683670544 140204084381397 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29511680 140733850046897 140733850047073 140733850047073 140733850050511 0
[pid=31540/tid=31544] ppid=31538 vsize=13978684 memory=121 CPUtime=0.02 cores=1,3,5,7
/proc/31540/task/31544/stat : 31544 (java) S 31538 31538 8563 0 -1 1077944384 58 0 0 0 2 0 0 0 20 0 15 0 122536143 14314172416 75878 18446744073709551615 4194304 4196468 140733850044784 140203682617744 140204084381397 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29511680 140733850046897 140733850047073 140733850047073 140733850050511 0
[pid=31540/tid=31545] ppid=31538 vsize=13978684 memory=7 CPUtime=0.02 cores=1,3,5,7
/proc/31540/task/31545/stat : 31545 (java) S 31538 31538 8563 0 -1 1077944384 91 0 0 0 2 0 0 0 20 0 15 0 122536143 14314172416 75878 18446744073709551615 4194304 4196468 140733850044784 140203681564944 140204084381397 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29511680 140733850046897 140733850047073 140733850047073 140733850050511 0
[pid=31540/tid=31546] ppid=31538 vsize=13978684 memory=281135003573136 CPUtime=0 cores=1,3,5,7
/proc/31540/task/31546/stat : 31546 (java) S 31538 31538 8563 0 -1 1077944384 83 0 0 0 0 0 0 0 20 0 15 0 122536144 14314172416 75878 18446744073709551615 4194304 4196468 140733850044784 140203068193648 140204084382338 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29511680 140733850046897 140733850047073 140733850047073 140733850050511 0
[pid=31540/tid=31547] ppid=31538 vsize=13978684 memory=12858 CPUtime=0 cores=1,3,5,7
/proc/31540/task/31547/stat : 31547 (java) S 31538 31538 8563 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 122536145 14314172416 75878 18446744073709551615 4194304 4196468 140733850044784 140203067139616 140204084381397 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29511680 140733850046897 140733850047073 140733850047073 140733850050511 0
[pid=31540/tid=31548] ppid=31538 vsize=13978684 memory=25369 CPUtime=0 cores=1,3,5,7
/proc/31540/task/31548/stat : 31548 (java) S 31538 31538 8563 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 122536145 14314172416 75915 18446744073709551615 4194304 4196468 140733850044784 140203066086768 140204084381397 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29511680 140733850046897 140733850047073 140733850047073 140733850050511 0
[pid=31540/tid=31549] ppid=31538 vsize=13978684 memory=0 CPUtime=0 cores=1,3,5,7
/proc/31540/task/31549/stat : 31549 (java) S 31538 31538 8563 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 122536147 14314172416 75915 18446744073709551615 4194304 4196468 140733850044784 140203065035088 140204084389787 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29511680 140733850046897 140733850047073 140733850047073 140733850050511 0
[pid=31540/tid=31550] ppid=31538 vsize=13978684 memory=0 CPUtime=0.98 cores=1,3,5,7
/proc/31540/task/31550/stat : 31550 (java) R 31538 31538 8563 0 -1 4202560 3285 0 0 0 98 0 0 0 20 0 15 0 122536147 14314172416 75915 18446744073709551615 4194304 4196468 140733850044784 140203063967360 140204068759240 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 29511680 140733850046897 140733850047073 140733850047073 140733850050511 0
[pid=31540/tid=31551] ppid=31538 vsize=13978684 memory=0 CPUtime=0.95 cores=1,3,5,7
/proc/31540/task/31551/stat : 31551 (java) R 31538 31538 8563 0 -1 4202560 2567 0 0 0 95 0 0 0 20 0 15 0 122536148 14314172416 75915 18446744073709551615 4194304 4196468 140733850044784 140203062920624 140204065066360 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 29511680 140733850046897 140733850047073 140733850047073 140733850050511 0
[pid=31540/tid=31552] ppid=31538 vsize=13978684 memory=0 CPUtime=0.32 cores=1,3,5,7
/proc/31540/task/31552/stat : 31552 (java) S 31538 31538 8563 0 -1 1077944384 1642 0 0 0 32 0 0 0 20 0 15 0 122536148 14314172416 75915 18446744073709551615 4194304 4196468 140733850044784 140203061876848 140204084382338 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29511680 140733850046897 140733850047073 140733850047073 140733850050511 0
[pid=31540/tid=31553] ppid=31538 vsize=13978684 memory=0 CPUtime=0 cores=1,3,5,7
/proc/31540/task/31553/stat : 31553 (java) S 31538 31538 8563 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 122536148 14314172416 75915 18446744073709551615 4194304 4196468 140733850044784 140203060824288 140204084381397 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29511680 140733850046897 140733850047073 140733850047073 140733850050511 0
[pid=31540/tid=31554] ppid=31538 vsize=13978684 memory=6944656592455359580 CPUtime=0 cores=1,3,5,7
/proc/31540/task/31554/stat : 31554 (java) S 31538 31538 8563 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 122536152 14314172416 75915 18446744073709551615 4194304 4196468 140733850044784 140203059772592 140204084382338 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29511680 140733850046897 140733850047073 140733850047073 140733850050511 0

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

/proc/31540/task/31543/stat : 31543 (java) R 31538 31538 8563 0 -1 4202560 228412 0 0 0 7733 241 0 0 20 0 15 0 122536143 14316269568 2846712 18446744073709551615 4194304 4196468 140733850044784 140203683670352 140204076999399 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 29511680 140733850046897 140733850047073 140733850047073 140733850050511 0
[pid=31540/tid=31544] ppid=31538 vsize=13980732 memory=1836 CPUtime=79.59 cores=1,3,5,7
/proc/31540/task/31544/stat : 31544 (java) R 31538 31538 8563 0 -1 4202560 199139 0 0 0 7724 235 0 0 20 0 15 0 122536143 14316269568 2846712 18446744073709551615 4194304 4196468 140733850044784 140203682617552 140204076999399 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 29511680 140733850046897 140733850047073 140733850047073 140733850050511 0
[pid=31540/tid=31545] ppid=31538 vsize=13980732 memory=4116 CPUtime=81.39 cores=1,3,5,7
/proc/31540/task/31545/stat : 31545 (java) R 31538 31538 8563 0 -1 4202560 565590 0 0 0 7907 232 0 0 20 0 15 0 122536143 14316269568 2846712 18446744073709551615 4194304 4196468 140733850044784 140203681565064 140204076999399 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 29511680 140733850046897 140733850047073 140733850047073 140733850050511 0
[pid=31540/tid=31546] ppid=31538 vsize=13980732 memory=65916 CPUtime=9.35 cores=1,3,5,7
/proc/31540/task/31546/stat : 31546 (java) S 31538 31538 8563 0 -1 1077944384 36509 0 0 0 920 15 0 0 20 0 15 0 122536144 14316269568 2846712 18446744073709551615 4194304 4196468 140733850044784 140203068192208 140204084381397 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29511680 140733850046897 140733850047073 140733850047073 140733850050511 0
[pid=31540/tid=31547] ppid=31538 vsize=13980732 memory=11386848 CPUtime=0 cores=1,3,5,7
/proc/31540/task/31547/stat : 31547 (java) S 31538 31538 8563 0 -1 1077944384 40 0 0 0 0 0 0 0 20 0 15 0 122536145 14316269568 2846712 18446744073709551615 4194304 4196468 140733850044784 140203067139680 140204084381397 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29511680 140733850046897 140733850047073 140733850047073 140733850050511 0
[pid=31540/tid=31548] ppid=31538 vsize=13980732 memory=-8774313645642428999 CPUtime=0 cores=1,3,5,7
/proc/31540/task/31548/stat : 31548 (java) S 31538 31538 8563 0 -1 1077944384 65 0 0 0 0 0 0 0 20 0 15 0 122536145 14316269568 2846712 18446744073709551615 4194304 4196468 140733850044784 140203066086784 140204084381397 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29511680 140733850046897 140733850047073 140733850047073 140733850050511 0
[pid=31540/tid=31549] ppid=31538 vsize=13980732 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/31540/task/31549/stat : 31549 (java) S 31538 31538 8563 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 122536147 14316269568 2846712 18446744073709551615 4194304 4196468 140733850044784 140203065035088 140204084389787 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29511680 140733850046897 140733850047073 140733850047073 140733850050511 0
[pid=31540/tid=31550] ppid=31538 vsize=13980732 memory=-8774313645642428999 CPUtime=5.02 cores=1,3,5,7
/proc/31540/task/31550/stat : 31550 (java) S 31538 31538 8563 0 -1 1077944384 30432 0 0 0 499 3 0 0 20 0 15 0 122536147 14316269568 2846712 18446744073709551615 4194304 4196468 140733850044784 140203063982496 140204084381397 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29511680 140733850046897 140733850047073 140733850047073 140733850050511 0
[pid=31540/tid=31551] ppid=31538 vsize=13980732 memory=1720 CPUtime=4.71 cores=1,3,5,7
/proc/31540/task/31551/stat : 31551 (java) S 31538 31538 8563 0 -1 1077944384 34045 0 0 0 468 3 0 0 20 0 15 0 122536148 14316269568 2846712 18446744073709551615 4194304 4196468 140733850044784 140203062929696 140204084381397 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29511680 140733850046897 140733850047073 140733850047073 140733850050511 0
[pid=31540/tid=31552] ppid=31538 vsize=13980732 memory=65916 CPUtime=0.96 cores=1,3,5,7
/proc/31540/task/31552/stat : 31552 (java) S 31538 31538 8563 0 -1 1077944384 21583 0 0 0 93 3 0 0 20 0 15 0 122536148 14316269568 2846712 18446744073709551615 4194304 4196468 140733850044784 140203061876608 140204084381397 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29511680 140733850046897 140733850047073 140733850047073 140733850050511 0
[pid=31540/tid=31553] ppid=31538 vsize=13980732 memory=1292 CPUtime=0 cores=1,3,5,7
/proc/31540/task/31553/stat : 31553 (java) S 31538 31538 8563 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 122536148 14316269568 2846712 18446744073709551615 4194304 4196468 140733850044784 140203060824288 140204084381397 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29511680 140733850046897 140733850047073 140733850047073 140733850050511 0
[pid=31540/tid=31554] ppid=31538 vsize=13980732 memory=2316 CPUtime=1.08 cores=1,3,5,7
/proc/31540/task/31554/stat : 31554 (java) S 31538 31538 8563 0 -1 1077944384 2532 0 0 0 54 54 0 0 20 0 15 0 122536152 14316269568 2846712 18446744073709551615 4194304 4196468 140733850044784 140203059772592 140204084382338 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 15 0 0 6293624 6294260 29511680 140733850046897 140733850047073 140733850047073 140733850050511 0
Current children cumulated CPU time: 1959.44 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 11388228 KiB

[startup+1712 s]*
/proc/loadavg: 3.06 2.36 2.05 6/214 31733
/proc/meminfo: memFree=17024392/32770624 swapFree=67108860/67108860
[pid=31538] ppid=31535 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/31538/stat : 31538 (xcsp3-exec) S 31535 31538 8563 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 122536131 9740288 345 18446744073709551615 4194304 5098028 140733570840816 140733570838920 139746242105980 0 65536 5 65538 18446744071579417331 0 0 17 1 0 0 10 0 0 7196144 7232144 32104448 140733570843000 140733570843205 140733570843205 140733570846699 0
/proc/31538/statm: 2378 345 289 221 0 87 0
[pid=31540] ppid=31538 vsize=13980732 memory=11386856 CPUtime=1971.87 cores=1,3,5,7
/proc/31540/stat : 31540 (java) S 31538 31538 8563 0 -1 1077944320 1643222 0 0 0 196117 1070 0 0 20 0 15 0 122536142 14316269568 2846714 18446744073709551615 4194304 4196468 140733850044784 140733850027328 140204084371191 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 29511680 140733850046897 140733850047073 140733850047073 140733850050511 0
/proc/31540/statm: 3495183 2846714 3262 1 0 3483476 0
[pid=31540/tid=31541] ppid=31538 vsize=13980732 memory=-8195925453750481479 CPUtime=1617.28 cores=1,3,5,7
/proc/31540/task/31541/stat : 31541 (java) S 31538 31538 8563 0 -1 1077944384 275213 0 0 0 161684 44 0 0 20 0 15 0 122536142 14316269568 2846714 18446744073709551615 4194304 4196468 140733850044784 140204088610000 140204084381397 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 3 0 0 6293624 6294260 29511680 140733850046897 140733850047073 140733850047073 140733850050511 0
[pid=31540/tid=31542] ppid=31538 vsize=13980732 memory=2000 CPUtime=83.37 cores=1,3,5,7
/proc/31540/task/31542/stat : 31542 (java) R 31538 31538 8563 0 -1 4202560 248419 0 0 0 8096 241 0 0 20 0 15 0 122536143 14316269568 2846714 18446744073709551615 4194304 4196468 140733850044784 140204041337688 140204069071008 0 4 1 16800974 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 29511680 140733850046897 140733850047073 140733850047073 140733850050511 0
[pid=31540/tid=31543] ppid=31538 vsize=13980732 memory=11076 CPUtime=82.83 cores=1,3,5,7
/proc/31540/task/31543/stat : 31543 (java) R 31538 31538 8563 0 -1 4202560 228412 0 0 0 8041 242 0 0 20 0 15 0 122536143 14316269568 2846714 18446744073709551615 4194304 4196468 140733850044784 140203683670352 140204076999399 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 29511680 140733850046897 140733850047073 140733850047073 140733850050511 0
[pid=31540/tid=31544] ppid=31538 vsize=13980732 memory=4044295374706324821 CPUtime=82.68 cores=1,3,5,7
/proc/31540/task/31544/stat : 31544 (java) R 31538 31538 8563 0 -1 4202560 199139 0 0 0 8032 236 0 0 20 0 15 0 122536143 14316269568 2846714 18446744073709551615 4194304 4196468 140733850044784 140203682617552 140204076999399 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 29511680 140733850046897 140733850047073 140733850047073 140733850050511 0
[pid=31540/tid=31545] ppid=31538 vsize=13980732 memory=4872558044660077418 CPUtime=84.49 cores=1,3,5,7
/proc/31540/task/31545/stat : 31545 (java) R 31538 31538 8563 0 -1 4202560 565590 0 0 0 8215 234 0 0 20 0 15 0 122536143 14316269568 2846714 18446744073709551615 4194304 4196468 140733850044784 140203681564752 140204076999399 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 29511680 140733850046897 140733850047073 140733850047073 140733850050511 0
[pid=31540/tid=31546] ppid=31538 vsize=13980732 memory=11386848 CPUtime=9.35 cores=1,3,5,7
/proc/31540/task/31546/stat : 31546 (java) S 31538 31538 8563 0 -1 1077944384 36509 0 0 0 920 15 0 0 20 0 15 0 122536144 14316269568 2846714 18446744073709551615 4194304 4196468 140733850044784 140203068192208 140204084381397 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29511680 140733850046897 140733850047073 140733850047073 140733850050511 0
[pid=31540/tid=31547] ppid=31538 vsize=13980732 memory=1228 CPUtime=0 cores=1,3,5,7
/proc/31540/task/31547/stat : 31547 (java) S 31538 31538 8563 0 -1 1077944384 40 0 0 0 0 0 0 0 20 0 15 0 122536145 14316269568 2846714 18446744073709551615 4194304 4196468 140733850044784 140203067139680 140204084381397 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29511680 140733850046897 140733850047073 140733850047073 140733850050511 0
[pid=31540/tid=31548] ppid=31538 vsize=13980732 memory=796 CPUtime=0 cores=1,3,5,7
/proc/31540/task/31548/stat : 31548 (java) S 31538 31538 8563 0 -1 1077944384 65 0 0 0 0 0 0 0 20 0 15 0 122536145 14316269568 2846714 18446744073709551615 4194304 4196468 140733850044784 140203066086784 140204084381397 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29511680 140733850046897 140733850047073 140733850047073 140733850050511 0
[pid=31540/tid=31549] ppid=31538 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/31540/task/31549/stat : 31549 (java) S 31538 31538 8563 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 122536147 14316269568 2846714 18446744073709551615 4194304 4196468 140733850044784 140203065035088 140204084389787 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29511680 140733850046897 140733850047073 140733850047073 140733850050511 0
[pid=31540/tid=31550] ppid=31538 vsize=13980732 memory=7308897340769986664 CPUtime=5.02 cores=1,3,5,7
/proc/31540/task/31550/stat : 31550 (java) S 31538 31538 8563 0 -1 1077944384 30432 0 0 0 499 3 0 0 20 0 15 0 122536147 14316269568 2846714 18446744073709551615 4194304 4196468 140733850044784 140203063982496 140204084381397 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29511680 140733850046897 140733850047073 140733850047073 140733850050511 0
[pid=31540/tid=31551] ppid=31538 vsize=13980732 memory=1380 CPUtime=4.71 cores=1,3,5,7
/proc/31540/task/31551/stat : 31551 (java) S 31538 31538 8563 0 -1 1077944384 34045 0 0 0 468 3 0 0 20 0 15 0 122536148 14316269568 2846714 18446744073709551615 4194304 4196468 140733850044784 140203062929696 140204084381397 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29511680 140733850046897 140733850047073 140733850047073 140733850050511 0
[pid=31540/tid=31552] ppid=31538 vsize=13980732 memory=1380 CPUtime=0.96 cores=1,3,5,7
/proc/31540/task/31552/stat : 31552 (java) S 31538 31538 8563 0 -1 1077944384 21583 0 0 0 93 3 0 0 20 0 15 0 122536148 14316269568 2846714 18446744073709551615 4194304 4196468 140733850044784 140203061876608 140204084381397 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29511680 140733850046897 140733850047073 140733850047073 140733850050511 0
[pid=31540/tid=31553] ppid=31538 vsize=13980732 memory=11386848 CPUtime=0 cores=1,3,5,7
/proc/31540/task/31553/stat : 31553 (java) S 31538 31538 8563 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 122536148 14316269568 2846714 18446744073709551615 4194304 4196468 140733850044784 140203060824288 140204084381397 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29511680 140733850046897 140733850047073 140733850047073 140733850050511 0
[pid=31540/tid=31554] ppid=31538 vsize=13980732 memory=3047711553320166262 CPUtime=1.08 cores=1,3,5,7
/proc/31540/task/31554/stat : 31554 (java) S 31538 31538 8563 0 -1 1077944384 2532 0 0 0 54 54 0 0 20 0 15 0 122536152 14316269568 2846714 18446744073709551615 4194304 4196468 140733850044784 140203059772592 140204084382338 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 15 0 0 6293624 6294260 29511680 140733850046897 140733850047073 140733850047073 140733850050511 0
Current children cumulated CPU time: 1971.87 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 11388236 KiB

[startup+1713.6 s]
/proc/loadavg: 3.06 2.36 2.05 6/214 31733
/proc/meminfo: memFree=17024392/32770624 swapFree=67108860/67108860
[pid=31538] ppid=31535 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/31538/stat : 31538 (xcsp3-exec) S 31535 31538 8563 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 122536131 9740288 345 18446744073709551615 4194304 5098028 140733570840816 140733570838920 139746242105980 0 65536 5 65538 18446744071579417331 0 0 17 1 0 0 10 0 0 7196144 7232144 32104448 140733570843000 140733570843205 140733570843205 140733570846699 0
/proc/31538/statm: 2378 345 289 221 0 87 0
[pid=31540] ppid=31538 vsize=13980732 memory=11386856 CPUtime=1976.37 cores=1,3,5,7
/proc/31540/stat : 31540 (java) S 31538 31538 8563 0 -1 1077944320 1643240 0 0 0 196566 1071 0 0 20 0 15 0 122536142 14316269568 2846714 18446744073709551615 4194304 4196468 140733850044784 140733850027328 140204084371191 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 29511680 140733850046897 140733850047073 140733850047073 140733850050511 0
/proc/31540/statm: 3495183 2846714 3262 1 0 3483476 0
[pid=31540/tid=31541] ppid=31538 vsize=13980732 memory=65916 CPUtime=1617.28 cores=1,3,5,7
/proc/31540/task/31541/stat : 31541 (java) S 31538 31538 8563 0 -1 1077944384 275213 0 0 0 161684 44 0 0 20 0 15 0 122536142 14316269568 2846714 18446744073709551615 4194304 4196468 140733850044784 140204088610000 140204084381397 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 3 0 0 6293624 6294260 29511680 140733850046897 140733850047073 140733850047073 140733850050511 0
[pid=31540/tid=31542] ppid=31538 vsize=13980732 memory=1292 CPUtime=84.37 cores=1,3,5,7
/proc/31540/task/31542/stat : 31542 (java) S 31538 31538 8563 0 -1 1077944384 248437 0 0 0 8196 241 0 0 20 0 15 0 122536143 14316269568 2846714 18446744073709551615 4194304 4196468 140733850044784 140204041337488 140204084381397 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29511680 140733850046897 140733850047073 140733850047073 140733850050511 0
[pid=31540/tid=31543] ppid=31538 vsize=13980732 memory=-8774313645642428999 CPUtime=83.81 cores=1,3,5,7
/proc/31540/task/31543/stat : 31543 (java) S 31538 31538 8563 0 -1 1077944384 228412 0 0 0 8138 243 0 0 20 0 15 0 122536143 14316269568 2846714 18446744073709551615 4194304 4196468 140733850044784 140203683670544 140204084381397 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29511680 140733850046897 140733850047073 140733850047073 140733850050511 0
[pid=31540/tid=31544] ppid=31538 vsize=13980732 memory=4044 CPUtime=83.66 cores=1,3,5,7
/proc/31540/task/31544/stat : 31544 (java) S 31538 31538 8563 0 -1 1077944384 199139 0 0 0 8129 237 0 0 20 0 15 0 122536143 14316269568 2846714 18446744073709551615 4194304 4196468 140733850044784 140203682617744 140204084381397 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29511680 140733850046897 140733850047073 140733850047073 140733850050511 0
[pid=31540/tid=31545] ppid=31538 vsize=13980732 memory=640 CPUtime=85.45 cores=1,3,5,7
/proc/31540/task/31545/stat : 31545 (java) S 31538 31538 8563 0 -1 1077944384 565590 0 0 0 8311 234 0 0 20 0 15 0 122536143 14316269568 2846714 18446744073709551615 4194304 4196468 140733850044784 140203681564944 140204084381397 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29511680 140733850046897 140733850047073 140733850047073 140733850050511 0
[pid=31540/tid=31546] ppid=31538 vsize=13980732 memory=1792 CPUtime=9.93 cores=1,3,5,7
/proc/31540/task/31546/stat : 31546 (java) R 31538 31538 8563 0 -1 4202560 36509 0 0 0 978 15 0 0 20 0 15 0 122536144 14316269568 2846714 18446744073709551615 4194304 4196468 140733850044784 140203068192096 140204069367558 0 0 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 29511680 140733850046897 140733850047073 140733850047073 140733850050511 0
[pid=31540/tid=31547] ppid=31538 vsize=13980732 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/31540/task/31547/stat : 31547 (java) S 31538 31538 8563 0 -1 1077944384 40 0 0 0 0 0 0 0 20 0 15 0 122536145 14316269568 2846714 18446744073709551615 4194304 4196468 140733850044784 140203067139680 140204084381397 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29511680 140733850046897 140733850047073 140733850047073 140733850050511 0
[pid=31540/tid=31548] ppid=31538 vsize=13980732 memory=11386856 CPUtime=0 cores=1,3,5,7
/proc/31540/task/31548/stat : 31548 (java) S 31538 31538 8563 0 -1 1077944384 65 0 0 0 0 0 0 0 20 0 15 0 122536145 14316269568 2846714 18446744073709551615 4194304 4196468 140733850044784 140203066086784 140204084381397 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29511680 140733850046897 140733850047073 140733850047073 140733850050511 0
[pid=31540/tid=31549] ppid=31538 vsize=13980732 memory=1228 CPUtime=0 cores=1,3,5,7
/proc/31540/task/31549/stat : 31549 (java) S 31538 31538 8563 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 122536147 14316269568 2846714 18446744073709551615 4194304 4196468 140733850044784 140203065035088 140204084389787 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29511680 140733850046897 140733850047073 140733850047073 140733850050511 0
[pid=31540/tid=31550] ppid=31538 vsize=13980732 memory=796 CPUtime=5.02 cores=1,3,5,7
/proc/31540/task/31550/stat : 31550 (java) S 31538 31538 8563 0 -1 1077944384 30432 0 0 0 499 3 0 0 20 0 15 0 122536147 14316269568 2846714 18446744073709551615 4194304 4196468 140733850044784 140203063982496 140204084381397 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29511680 140733850046897 140733850047073 140733850047073 140733850050511 0
[pid=31540/tid=31551] ppid=31538 vsize=13980732 memory=5788 CPUtime=4.71 cores=1,3,5,7
/proc/31540/task/31551/stat : 31551 (java) S 31538 31538 8563 0 -1 1077944384 34045 0 0 0 468 3 0 0 20 0 15 0 122536148 14316269568 2846714 18446744073709551615 4194304 4196468 140733850044784 140203062929696 140204084381397 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29511680 140733850046897 140733850047073 140733850047073 140733850050511 0
[pid=31540/tid=31552] ppid=31538 vsize=13980732 memory=1380 CPUtime=0.96 cores=1,3,5,7
/proc/31540/task/31552/stat : 31552 (java) S 31538 31538 8563 0 -1 1077944384 21583 0 0 0 93 3 0 0 20 0 15 0 122536148 14316269568 2846714 18446744073709551615 4194304 4196468 140733850044784 140203061876608 140204084381397 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29511680 140733850046897 140733850047073 140733850047073 140733850050511 0
[pid=31540/tid=31553] ppid=31538 vsize=13980732 memory=11386856 CPUtime=0 cores=1,3,5,7
/proc/31540/task/31553/stat : 31553 (java) S 31538 31538 8563 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 122536148 14316269568 2846714 18446744073709551615 4194304 4196468 140733850044784 140203060824288 140204084381397 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29511680 140733850046897 140733850047073 140733850047073 140733850050511 0
[pid=31540/tid=31554] ppid=31538 vsize=13980732 memory=3188 CPUtime=1.08 cores=1,3,5,7
/proc/31540/task/31554/stat : 31554 (java) S 31538 31538 8563 0 -1 1077944384 2532 0 0 0 54 54 0 0 20 0 15 0 122536152 14316269568 2846714 18446744073709551615 4194304 4196468 140733850044784 140203059772592 140204084382338 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 15 0 0 6293624 6294260 29511680 140733850046897 140733850047073 140733850047073 140733850050511 0
Current children cumulated CPU time: 1976.37 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 11388236 KiB

[startup+1714 s]*
/proc/loadavg: 3.06 2.36 2.05 3/214 31733
/proc/meminfo: memFree=17024392/32770624 swapFree=67108860/67108860
[pid=31538] ppid=31535 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/31538/stat : 31538 (xcsp3-exec) S 31535 31538 8563 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 122536131 9740288 345 18446744073709551615 4194304 5098028 140733570840816 140733570838920 139746242105980 0 65536 5 65538 18446744071579417331 0 0 17 1 0 0 10 0 0 7196144 7232144 32104448 140733570843000 140733570843205 140733570843205 140733570846699 0
/proc/31538/statm: 2378 345 289 221 0 87 0
[pid=31540] ppid=31538 vsize=13980732 memory=11386876 CPUtime=1976.77 cores=1,3,5,7
/proc/31540/stat : 31540 (java) S 31538 31538 8563 0 -1 1077944320 1643857 0 0 0 196606 1071 0 0 20 0 15 0 122536142 14316269568 2846719 18446744073709551615 4194304 4196468 140733850044784 140733850027328 140204084371191 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 29511680 140733850046897 140733850047073 140733850047073 140733850050511 0
/proc/31540/statm: 3495183 2846719 3262 1 0 3483476 0
[pid=31540/tid=31541] ppid=31538 vsize=13980732 memory=-8195925453750481479 CPUtime=1617.28 cores=1,3,5,7
/proc/31540/task/31541/stat : 31541 (java) S 31538 31538 8563 0 -1 1077944384 275213 0 0 0 161684 44 0 0 20 0 15 0 122536142 14316269568 2846719 18446744073709551615 4194304 4196468 140733850044784 140204088610000 140204084381397 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 3 0 0 6293624 6294260 29511680 140733850046897 140733850047073 140733850047073 140733850050511 0
[pid=31540/tid=31542] ppid=31538 vsize=13980732 memory=4872558044660077418 CPUtime=84.37 cores=1,3,5,7
/proc/31540/task/31542/stat : 31542 (java) S 31538 31538 8563 0 -1 1077944384 248437 0 0 0 8196 241 0 0 20 0 15 0 122536143 14316269568 2846719 18446744073709551615 4194304 4196468 140733850044784 140204041337488 140204084381397 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29511680 140733850046897 140733850047073 140733850047073 140733850050511 0
[pid=31540/tid=31543] ppid=31538 vsize=13980732 memory=-7533522213388100735 CPUtime=83.81 cores=1,3,5,7
/proc/31540/task/31543/stat : 31543 (java) S 31538 31538 8563 0 -1 1077944384 228412 0 0 0 8138 243 0 0 20 0 15 0 122536143 14316269568 2846719 18446744073709551615 4194304 4196468 140733850044784 140203683670544 140204084381397 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29511680 140733850046897 140733850047073 140733850047073 140733850050511 0
[pid=31540/tid=31544] ppid=31538 vsize=13980732 memory=-8412654363917126771 CPUtime=83.66 cores=1,3,5,7
/proc/31540/task/31544/stat : 31544 (java) S 31538 31538 8563 0 -1 1077944384 199139 0 0 0 8129 237 0 0 20 0 15 0 122536143 14316269568 2846719 18446744073709551615 4194304 4196468 140733850044784 140203682617744 140204084381397 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29511680 140733850046897 140733850047073 140733850047073 140733850050511 0
[pid=31540/tid=31545] ppid=31538 vsize=13980732 memory=0 CPUtime=85.45 cores=1,3,5,7
/proc/31540/task/31545/stat : 31545 (java) S 31538 31538 8563 0 -1 1077944384 565590 0 0 0 8311 234 0 0 20 0 15 0 122536143 14316269568 2846719 18446744073709551615 4194304 4196468 140733850044784 140203681564944 140204084381397 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29511680 140733850046897 140733850047073 140733850047073 140733850050511 0
[pid=31540/tid=31546] ppid=31538 vsize=13980732 memory=0 CPUtime=10.34 cores=1,3,5,7
/proc/31540/task/31546/stat : 31546 (java) R 31538 31538 8563 0 -1 4202560 37126 0 0 0 1019 15 0 0 20 0 15 0 122536144 14316269568 2846719 18446744073709551615 4194304 4196468 140733850044784 140203068192096 140204068828782 0 0 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 29511680 140733850046897 140733850047073 140733850047073 140733850050511 0
[pid=31540/tid=31547] ppid=31538 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/31540/task/31547/stat : 31547 (java) S 31538 31538 8563 0 -1 1077944384 40 0 0 0 0 0 0 0 20 0 15 0 122536145 14316269568 2846719 18446744073709551615 4194304 4196468 140733850044784 140203067139680 140204084381397 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29511680 140733850046897 140733850047073 140733850047073 140733850050511 0
[pid=31540/tid=31548] ppid=31538 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/31540/task/31548/stat : 31548 (java) S 31538 31538 8563 0 -1 1077944384 65 0 0 0 0 0 0 0 20 0 15 0 122536145 14316269568 2846719 18446744073709551615 4194304 4196468 140733850044784 140203066086784 140204084381397 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29511680 140733850046897 140733850047073 140733850047073 140733850050511 0
[pid=31540/tid=31549] ppid=31538 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/31540/task/31549/stat : 31549 (java) S 31538 31538 8563 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 122536147 14316269568 2846719 18446744073709551615 4194304 4196468 140733850044784 140203065035088 140204084389787 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29511680 140733850046897 140733850047073 140733850047073 140733850050511 0
[pid=31540/tid=31550] ppid=31538 vsize=13980732 memory=28868 CPUtime=5.02 cores=1,3,5,7
/proc/31540/task/31550/stat : 31550 (java) S 31538 31538 8563 0 -1 1077944384 30432 0 0 0 499 3 0 0 20 0 15 0 122536147 14316269568 2846719 18446744073709551615 4194304 4196468 140733850044784 140203063982496 140204084381397 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29511680 140733850046897 140733850047073 140733850047073 140733850050511 0
[pid=31540/tid=31551] ppid=31538 vsize=13980732 memory=6944656592455360604 CPUtime=4.71 cores=1,3,5,7
/proc/31540/task/31551/stat : 31551 (java) S 31538 31538 8563 0 -1 1077944384 34045 0 0 0 468 3 0 0 20 0 15 0 122536148 14316269568 2846719 18446744073709551615 4194304 4196468 140733850044784 140203062929696 140204084381397 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29511680 140733850046897 140733850047073 140733850047073 140733850050511 0
[pid=31540/tid=31552] ppid=31538 vsize=13980732 memory=6944656575208382560 CPUtime=0.96 cores=1,3,5,7
/proc/31540/task/31552/stat : 31552 (java) S 31538 31538 8563 0 -1 1077944384 21583 0 0 0 93 3 0 0 20 0 15 0 122536148 14316269568 2846719 18446744073709551615 4194304 4196468 140733850044784 140203061876608 140204084381397 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29511680 140733850046897 140733850047073 140733850047073 140733850050511 0
[pid=31540/tid=31553] ppid=31538 vsize=13980732 memory=6944656592455097440 CPUtime=0 cores=1,3,5,7
/proc/31540/task/31553/stat : 31553 (java) S 31538 31538 8563 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 122536148 14316269568 2846719 18446744073709551615 4194304 4196468 140733850044784 140203060824288 140204084381397 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29511680 140733850046897 140733850047073 140733850047073 140733850050511 0
[pid=31540/tid=31554] ppid=31538 vsize=13980732 memory=6944656592455097440 CPUtime=1.08 cores=1,3,5,7
/proc/31540/task/31554/stat : 31554 (java) S 31538 31538 8563 0 -1 1077944384 2532 0 0 0 54 54 0 0 20 0 15 0 122536152 14316269568 2846719 18446744073709551615 4194304 4196468 140733850044784 140203059772592 140204084382338 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 15 0 0 6293624 6294260 29511680 140733850046897 140733850047073 140733850047073 140733850050511 0
Current children cumulated CPU time: 1976.77 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 11388256 KiB

[startup+1714.2 s]
/proc/loadavg: 3.06 2.36 2.05 3/214 31733
/proc/meminfo: memFree=17024392/32770624 swapFree=67108860/67108860
[pid=31538] ppid=31535 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/31538/stat : 31538 (xcsp3-exec) S 31535 31538 8563 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 122536131 9740288 345 18446744073709551615 4194304 5098028 140733570840816 140733570838920 139746242105980 0 65536 5 65538 18446744071579417331 0 0 17 1 0 0 10 0 0 7196144 7232144 32104448 140733570843000 140733570843205 140733570843205 140733570846699 0
/proc/31538/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 9512 KiB
Current children cumulated memory: 1380 KiB

Child status: 1
Real time (s): 1714.25
CPU time (s): 1977.03
CPU user time (s): 1966.22
CPU system time (s): 10.8048
CPU usage (%): 115.329
Max. virtual memory (cumulated for all children) (KiB): 13990244
Max. memory (cumulated for all children) (KiB): 11388256

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1966.22
system time used= 10.8048
maximum resident set size= 11387168
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1644768
page faults= 0
swaps= 0
block input operations= 0
block output operations= 1936
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 50954
involuntary context switches= 4609


# summary of solver processes directly reported to runsolver:
#   pid: 31538
#   total CPU time (s): 1977.03
#   total CPU user time (s): 1966.22
#   total CPU system time (s): 10.8048

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 9.79507 second user time and 17.3643 second system time

The end

Launcher Data 

Begin job on node125 at 2017-08-20 06:11:49
IDJOB=4283321
IDBENCH=126242
IDSOLVER=2679
FILE ID=node125/4283321-1503203157
RUNJOBID= node125-1503171261-25501
PBS_JOBID= 
Free space on /tmp= 62020 MiB

SOLVER NAME= choco-solver 5a
BENCH NAME= XCSP17/GolombRuler/GolombRuler-a4-s1/GolombRuler-27-a4.xml
COMMAND LINE= ./xcsp3-exec -dir DIR -tl TIMEOUT -ml 11000 -tdir TMPDIR -seed RANDOMSEED BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4283321-1503203157/watcher-4283321-1503203157 -o /tmp/evaluation-result-4283321-1503203157/solver-4283321-1503203157 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node125-1503171261-25501 --watchdog 2580  ./xcsp3-exec -dir HOME -tl 2520 -ml 11000 -tdir HOME -seed 1978681472 HOME/instance-4283321-1503203157.xml

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

MD5SUM BENCH= 4a6b886165f8d6d7f8f178d50db8a3de
RANDOM SEED=1978681472

node125.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.07
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.07
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.07
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.07
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:        30538184 kB
MemAvailable:   31725012 kB
Buffers:          328944 kB
Cached:          1164308 kB
SwapCached:            0 kB
Active:          1102680 kB
Inactive:         688464 kB
Active(anon):     298088 kB
Inactive(anon):    49484 kB
Active(file):     804592 kB
Inactive(file):   638980 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:             10188 kB
Writeback:            16 kB
AnonPages:        297332 kB
Mapped:            75192 kB
Shmem:             49828 kB
Slab:             144556 kB
SReclaimable:     118184 kB
SUnreclaim:        26372 kB
KernelStack:        3440 kB
PageTables:         5868 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     914032 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    233472 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      118144 kB
DirectMap2M:    33427456 kB

Free space on /tmp at the end= 62008 MiB
End job on node125 at 2017-08-20 06:40:23