Trace number 4394527

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 2019-06-14 parallelOPT75 292.093 37.4063

General information on the benchmark

NameRcpsp/Rcpsp-m1-j60/
Rcpsp-j60-46-08.xml
MD5SUM1a36b9c979418634ede1d2fbb3d1d330
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark75
Best CPU time to get the best result obtained on this benchmark84.9466
Satisfiable
(Un)Satisfiability was proved
Number of variables62
Number of constraints135
Number of domains2
Minimum domain size1
Maximum domain size347
Distribution of domain sizes[{"size":1,"count":1},{"size":347,"count":61}]
Minimum variable degree3
Maximum variable degree10
Distribution of variable degrees[{"degree":3,"count":1},{"degree":4,"count":1},{"degree":7,"count":5},{"degree":8,"count":40},{"degree":9,"count":9},{"degree":10,"count":6}]
Minimum constraint arity2
Maximum constraint arity60
Distribution of constraint arities[{"arity":2,"count":131},{"arity":60,"count":4}]
Number of extensional constraints0
Number of intensional constraints131
Distribution of constraint types[{"type":"intension","count":131},{"type":"cumulative","count":4}]
Optimization problemYES
Type of objectivemin VAR

Quality of the solution as a function of time


Download the above graph as a PDF file / as an EPS file

Solver Data 

0.00/0.00	c java -server -Xmx24000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4394527-1568431325.xml"  -tl '20160s' -p 8
0.12/0.18	c Choco e747e1e
0.12/0.18	c [HOME/instance-4394527-1568431325.xml, -tl, 20160s, -p, 8]
0.34/0.22	c 8 solvers in parallel
0.34/0.28	c parse instance...
2.13/0.81	c solve instance...
4.99/1.26	o 346 
5.65/1.33	o 90 
5.65/1.35	o 89 
6.36/1.43	o 85 
7.01/1.55	o 84 
7.01/1.59	o 82 
7.77/1.66	o 81 
9.27/1.80	o 80 
19.55/3.14	java.util.concurrent.ExecutionException: org.chocosolver.solver.exception.SolverException: Learn a weak clause (186/233)
19.55/3.14		at java.util.concurrent.ForkJoinTask.get(ForkJoinTask.java:1006)
19.55/3.14		at org.chocosolver.solver.ParallelPortfolio.solve(ParallelPortfolio.java:207)
19.55/3.14		at org.chocosolver.parser.xcsp.XCSP.manyThread(XCSP.java:162)
19.55/3.14		at org.chocosolver.parser.xcsp.XCSP.solve(XCSP.java:132)
19.55/3.14		at org.chocosolver.parser.xcsp.ChocoXCSP.main(ChocoXCSP.java:24)
19.55/3.14	Caused by: org.chocosolver.solver.exception.SolverException: Learn a weak clause (186/233)
19.55/3.14		at org.chocosolver.solver.constraints.nary.clauses.ClauseStore.check(ClauseStore.java:201)
19.55/3.14		at org.chocosolver.solver.constraints.nary.clauses.ClauseStore.forget(ClauseStore.java:219)
19.55/3.14		at org.chocosolver.solver.search.loop.learn.LearnSignedClauses.forget(LearnSignedClauses.java:90)
19.55/3.14		at org.chocosolver.solver.Solver.repair(Solver.java:443)
19.55/3.14		at org.chocosolver.solver.Solver.searchLoop(Solver.java:301)
19.55/3.14		at org.chocosolver.solver.Solver.solve(Solver.java:262)
19.55/3.14		at org.chocosolver.solver.ParallelPortfolio.lambda$null$0(ParallelPortfolio.java:202)
19.55/3.14		at java.util.stream.ForEachOps$ForEachOp$OfRef.accept(ForEachOps.java:184)
19.55/3.14		at java.util.ArrayList$ArrayListSpliterator.forEachRemaining(ArrayList.java:1374)
19.55/3.14		at java.util.stream.AbstractPipeline.copyInto(AbstractPipeline.java:481)
19.55/3.14		at java.util.stream.ForEachOps$ForEachTask.compute(ForEachOps.java:291)
19.55/3.14		at java.util.concurrent.CountedCompleter.exec(CountedCompleter.java:731)
19.55/3.14		at java.util.concurrent.ForkJoinTask.doExec(ForkJoinTask.java:289)
19.55/3.14		at java.util.concurrent.ForkJoinPool$WorkQueue.runTask(ForkJoinPool.java:1056)
19.55/3.14		at java.util.concurrent.ForkJoinPool.runWorker(ForkJoinPool.java:1692)
19.55/3.14		at java.util.concurrent.ForkJoinWorkerThread.run(ForkJoinWorkerThread.java:157)
19.55/3.14	o 79 
23.41/3.63	o 78 
42.52/6.03	o 77 
100.39/13.36	o 76 
277.91/35.66	o 75 
291.37/37.39	s OPTIMUM FOUND
291.37/37.39	v <instantiation>
291.37/37.39	v 	<list>s[0] s[1] s[2] s[3] s[4] s[5] s[6] s[7] s[8] s[9] s[10] s[11] s[12] s[13] s[14] s[15] s[16] s[17] s[18] s[19] s[20] s[21] s[22] s[23] s[24] s[25] s[26] s[27] s[28] s[29] s[30] s[31] s[32] s[33] s[34] s[35] s[36] s[37] s[38] s[39] s[40] s[41] s[42] s[43] s[44] s[45] s[46] s[47] s[48] s[49] s[50] s[51] s[52] s[53] s[54] s[55] s[56] s[57] s[58] s[59] s[60] s[61] </list>
291.37/37.39	v 	<values>0 0 0 0 7 5 6 8 15 11 12 13 12 18 21 17 7 26 22 32 5 26 14 29 13 17 26 29 24 33 43 42 24 25 39 25 39 42 48 34 43 47 39 34 53 55 47 56 60 64 61 62 53 55 56 66 63 63 65 73 68 75 </values>
291.37/37.39	v </instantiation>

Verifier Data 

OK	75

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4394527-1568431325/watcher-4394527-1568431325 -o /tmp/evaluation-result-4394527-1568431325/solver-4394527-1568431325 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node133-1568426604-21617 --watchdog 2580 xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 141503129 HOME/instance-4394527-1568431325.xml 

running on 8 cores: 0,2,4,6,1,3,5,7

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


[startup+0.100113 s]*
/proc/loadavg: 7.71 6.85 6.22 3/217 23042
/proc/meminfo: memFree=31444464/32770624 swapFree=67004140/67108860
[pid=23021] ppid=23018 vsize=113128 memory=1456 CPUtime=0 cores=0-7
/proc/23021/stat : 23021 (xcsp3-exec) S 23018 23021 21590 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 419372097 115843072 364 33554432000 4194304 5098028 140727213911152 140727213909256 140039001219708 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 11444224 140727213912950 140727213913193 140727213913193 140727213916106 0
/proc/23021/statm: 28282 364 306 221 0 87 0
[pid=23023] ppid=23021 vsize=28227388 memory=30332 CPUtime=0.12 cores=0-7
/proc/23023/stat : 23023 (java) S 23021 23021 21590 0 -1 1077944320 5480 0 0 0 11 1 0 0 20 0 20 0 419372097 28904845312 7583 33554432000 4194304 4196468 140728020213824 140728020196368 140613565648631 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 11853824 140728020218858 140728020219030 140728020219030 140728020221903 0
/proc/23023/statm: 7056847 7583 3162 1 0 7019032 0
[pid=23023/tid=23024] ppid=23021 vsize=28227388 memory=4134930498285298233 CPUtime=0.08 cores=0-7
/proc/23023/task/23024/stat : 23024 (java) R 23021 23021 21590 0 -1 4202560 3392 0 0 0 8 0 0 0 20 0 20 0 419372097 28904845312 7583 33554432000 4194304 4196468 140728020213824 140613569881520 140613565660566 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 11853824 140728020218858 140728020219030 140728020219030 140728020221903 0
[pid=23023/tid=23025] ppid=23021 vsize=28227388 memory=4872558044660077418 CPUtime=0 cores=0-7
/proc/23023/task/23025/stat : 23025 (java) S 23021 23021 21590 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419372098 28904845312 7583 33554432000 4194304 4196468 140728020213824 140613485500688 140613565658837 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11853824 140728020218858 140728020219030 140728020219030 140728020221903 0
[pid=23023/tid=23026] ppid=23021 vsize=28227388 memory=139921572030080 CPUtime=0 cores=0-7
/proc/23023/task/23026/stat : 23026 (java) S 23021 23021 21590 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419372098 28904845312 7583 33554432000 4194304 4196468 140728020213824 140613484448144 140613565658837 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11853824 140728020218858 140728020219030 140728020219030 140728020221903 0
[pid=23023/tid=23027] ppid=23021 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/23023/task/23027/stat : 23027 (java) S 23021 23021 21590 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419372098 28904845312 7583 33554432000 4194304 4196468 140728020213824 140613483395600 140613565658837 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11853824 140728020218858 140728020219030 140728020219030 140728020221903 0
[pid=23023/tid=23028] ppid=23021 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/23023/task/23028/stat : 23028 (java) S 23021 23021 21590 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419372098 28904845312 7583 33554432000 4194304 4196468 140728020213824 140613482343056 140613565658837 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11853824 140728020218858 140728020219030 140728020219030 140728020221903 0
[pid=23023/tid=23029] ppid=23021 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/23023/task/23029/stat : 23029 (java) S 23021 23021 21590 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419372098 28904845312 7583 33554432000 4194304 4196468 140728020213824 140613481290512 140613565658837 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11853824 140728020218858 140728020219030 140728020219030 140728020221903 0
[pid=23023/tid=23030] ppid=23021 vsize=28227388 memory=-1 CPUtime=0 cores=0-7
/proc/23023/task/23030/stat : 23030 (java) S 23021 23021 21590 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419372098 28904845312 7583 33554432000 4194304 4196468 140728020213824 140613480237968 140613565658837 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11853824 140728020218858 140728020219030 140728020219030 140728020221903 0
[pid=23023/tid=23031] ppid=23021 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/23023/task/23031/stat : 23031 (java) S 23021 23021 21590 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419372098 28904845312 7583 33554432000 4194304 4196468 140728020213824 140613479185424 140613565658837 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11853824 140728020218858 140728020219030 140728020219030 140728020221903 0
[pid=23023/tid=23032] ppid=23021 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/23023/task/23032/stat : 23032 (java) S 23021 23021 21590 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419372098 28904845312 7583 33554432000 4194304 4196468 140728020213824 140613478132880 140613565658837 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11853824 140728020218858 140728020219030 140728020219030 140728020221903 0
[pid=23023/tid=23033] ppid=23021 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/23023/task/23033/stat : 23033 (java) S 23021 23021 21590 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419372100 28904845312 7583 33554432000 4194304 4196468 140728020213824 140612163876848 140613565659778 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11853824 140728020218858 140728020219030 140728020219030 140728020221903 0
[pid=23023/tid=23034] ppid=23021 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/23023/task/23034/stat : 23034 (java) S 23021 23021 21590 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 419372100 28904845312 7583 33554432000 4194304 4196468 140728020213824 140612162823072 140613565658837 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11853824 140728020218858 140728020219030 140728020219030 140728020221903 0
[pid=23023/tid=23035] ppid=23021 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/23023/task/23035/stat : 23035 (java) S 23021 23021 21590 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 419372100 28904845312 7583 33554432000 4194304 4196468 140728020213824 140612161770480 140613565658837 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11853824 140728020218858 140728020219030 140728020219030 140728020221903 0
[pid=23023/tid=23036] ppid=23021 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/23023/task/23036/stat : 23036 (java) S 23021 23021 21590 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419372103 28904845312 7583 33554432000 4194304 4196468 140728020213824 140612160719056 140613565667227 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11853824 140728020218858 140728020219030 140728020219030 140728020221903 0
[pid=23023/tid=23037] ppid=23021 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/23023/task/23037/stat : 23037 (java) S 23021 23021 21590 0 -1 1077944384 408 0 0 0 0 0 0 0 20 0 20 0 419372103 28904845312 7583 33554432000 4194304 4196468 140728020213824 140612159666672 140613565659778 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11853824 140728020218858 140728020219030 140728020219030 140728020221903 0
[pid=23023/tid=23038] ppid=23021 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/23023/task/23038/stat : 23038 (java) R 23021 23021 21590 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419372103 28904845312 7583 33554432000 4194304 4196468 140728020213824 140612158614128 140613565659778 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 11853824 140728020218858 140728020219030 140728020219030 140728020221903 0
[pid=23023/tid=23039] ppid=23021 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/23023/task/23039/stat : 23039 (java) R 23021 23021 21590 0 -1 4202560 29 0 0 0 0 0 0 0 20 0 20 0 419372103 28904845312 7583 33554432000 4194304 4196468 140728020213824 140612157561680 140613549084369 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 11853824 140728020218858 140728020219030 140728020219030 140728020221903 0
[pid=23023/tid=23040] ppid=23021 vsize=28227388 memory=0 CPUtime=0.01 cores=0-7
/proc/23023/task/23040/stat : 23040 (java) S 23021 23021 21590 0 -1 1077944384 364 0 0 0 1 0 0 0 20 0 20 0 419372103 28904845312 7583 33554432000 4194304 4196468 140728020213824 140612156509040 140613565659778 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11853824 140728020218858 140728020219030 140728020219030 140728020221903 0
[pid=23023/tid=23041] ppid=23021 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/23023/task/23041/stat : 23041 (java) S 23021 23021 21590 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419372103 28904845312 7583 33554432000 4194304 4196468 140728020213824 140612155455712 140613565658837 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11853824 140728020218858 140728020219030 140728020219030 140728020221903 0
[pid=23023/tid=23042] ppid=23021 vsize=28227388 memory=-1 CPUtime=0 cores=0-7
/proc/23023/task/23042/stat : 23042 (java) S 23021 23021 21590 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419372103 28904845312 7583 33554432000 4194304 4196468 140728020213824 140612154403248 140613565659778 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11853824 140728020218858 140728020219030 140728020219030 140728020221903 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 28340516 KiB
Current children cumulated memory: 31788 KiB

[startup+0.210964 s]*
/proc/loadavg: 7.71 6.85 6.22 3/217 23042
/proc/meminfo: memFree=31431336/32770624 swapFree=67004140/67108860
[pid=23021] ppid=23018 vsize=113128 memory=1456 CPUtime=0 cores=0-7
/proc/23021/stat : 23021 (xcsp3-exec) S 23018 23021 21590 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 419372097 115843072 364 33554432000 4194304 5098028 140727213911152 140727213909256 140039001219708 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 11444224 140727213912950 140727213913193 140727213913193 140727213916106 0
/proc/23021/statm: 28282 364 306 221 0 87 0
[pid=23023] ppid=23021 vsize=28227388 memory=41100 CPUtime=0.34 cores=0-7
/proc/23023/stat : 23023 (java) S 23021 23021 21590 0 -1 1077944320 9014 0 0 0 31 3 0 0 20 0 20 0 419372097 28904845312 10275 33554432000 4194304 4196468 140728020213824 140728020196368 140613565648631 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 11853824 140728020218858 140728020219030 140728020219030 140728020221903 0
/proc/23023/statm: 7056847 10275 3300 1 0 7019032 0
[pid=23023/tid=23024] ppid=23021 vsize=28227388 memory=8318255677412212789 CPUtime=0.2 cores=0-7
/proc/23023/task/23024/stat : 23024 (java) R 23021 23021 21590 0 -1 4202560 6217 0 0 0 18 2 0 0 20 0 20 0 419372097 28904845312 10275 33554432000 4194304 4196468 140728020213824 140613569885392 140613565670557 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 11853824 140728020218858 140728020219030 140728020219030 140728020221903 0
[pid=23023/tid=23025] ppid=23021 vsize=28227388 memory=331 CPUtime=0 cores=0-7
/proc/23023/task/23025/stat : 23025 (java) S 23021 23021 21590 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419372098 28904845312 10275 33554432000 4194304 4196468 140728020213824 140613485500688 140613565658837 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11853824 140728020218858 140728020219030 140728020219030 140728020221903 0
[pid=23023/tid=23026] ppid=23021 vsize=28227388 memory=4051468841993954976 CPUtime=0 cores=0-7
/proc/23023/task/23026/stat : 23026 (java) S 23021 23021 21590 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419372098 28904845312 10275 33554432000 4194304 4196468 140728020213824 140613484448144 140613565658837 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11853824 140728020218858 140728020219030 140728020219030 140728020221903 0
[pid=23023/tid=23027] ppid=23021 vsize=28227388 memory=-1 CPUtime=0 cores=0-7
/proc/23023/task/23027/stat : 23027 (java) S 23021 23021 21590 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419372098 28904845312 10275 33554432000 4194304 4196468 140728020213824 140613483395600 140613565658837 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11853824 140728020218858 140728020219030 140728020219030 140728020221903 0
[pid=23023/tid=23028] ppid=23021 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/23023/task/23028/stat : 23028 (java) S 23021 23021 21590 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419372098 28904845312 10275 33554432000 4194304 4196468 140728020213824 140613482343056 140613565658837 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11853824 140728020218858 140728020219030 140728020219030 140728020221903 0
[pid=23023/tid=23029] ppid=23021 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/23023/task/23029/stat : 23029 (java) S 23021 23021 21590 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419372098 28904845312 10275 33554432000 4194304 4196468 140728020213824 140613481290512 140613565658837 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11853824 140728020218858 140728020219030 140728020219030 140728020221903 0
[pid=23023/tid=23030] ppid=23021 vsize=28227388 memory=-1 CPUtime=0 cores=0-7
/proc/23023/task/23030/stat : 23030 (java) S 23021 23021 21590 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419372098 28904845312 10275 33554432000 4194304 4196468 140728020213824 140613480237968 140613565658837 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11853824 140728020218858 140728020219030 140728020219030 140728020221903 0
[pid=23023/tid=23031] ppid=23021 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/23023/task/23031/stat : 23031 (java) S 23021 23021 21590 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419372098 28904845312 10275 33554432000 4194304 4196468 140728020213824 140613479185424 140613565658837 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11853824 140728020218858 140728020219030 140728020219030 140728020221903 0
[pid=23023/tid=23032] ppid=23021 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/23023/task/23032/stat : 23032 (java) S 23021 23021 21590 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419372098 28904845312 10275 33554432000 4194304 4196468 140728020213824 140613478132880 140613565658837 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11853824 140728020218858 140728020219030 140728020219030 140728020221903 0
[pid=23023/tid=23033] ppid=23021 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/23023/task/23033/stat : 23033 (java) S 23021 23021 21590 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 20 0 419372100 28904845312 10275 33554432000 4194304 4196468 140728020213824 140612163876848 140613565659778 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11853824 140728020218858 140728020219030 140728020219030 140728020221903 0
[pid=23023/tid=23034] ppid=23021 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/23023/task/23034/stat : 23034 (java) S 23021 23021 21590 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 419372100 28904845312 10275 33554432000 4194304 4196468 140728020213824 140612162823072 140613565658837 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11853824 140728020218858 140728020219030 140728020219030 140728020221903 0
[pid=23023/tid=23035] ppid=23021 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/23023/task/23035/stat : 23035 (java) S 23021 23021 21590 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 419372100 28904845312 10275 33554432000 4194304 4196468 140728020213824 140612161770480 140613565658837 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11853824 140728020218858 140728020219030 140728020219030 140728020221903 0
[pid=23023/tid=23036] ppid=23021 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/23023/task/23036/stat : 23036 (java) S 23021 23021 21590 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419372103 28904845312 10275 33554432000 4194304 4196468 140728020213824 140612160719056 140613565667227 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11853824 140728020218858 140728020219030 140728020219030 140728020221903 0
[pid=23023/tid=23037] ppid=23021 vsize=28227388 memory=0 CPUtime=0.02 cores=0-7
/proc/23023/task/23037/stat : 23037 (java) S 23021 23021 21590 0 -1 1077944384 580 0 0 0 2 0 0 0 20 0 20 0 419372103 28904845312 10275 33554432000 4194304 4196468 140728020213824 140612159666672 140613565659778 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11853824 140728020218858 140728020219030 140728020219030 140728020221903 0
[pid=23023/tid=23038] ppid=23021 vsize=28227388 memory=0 CPUtime=0.01 cores=0-7
/proc/23023/task/23038/stat : 23038 (java) S 23021 23021 21590 0 -1 1077944384 41 0 0 0 1 0 0 0 20 0 20 0 419372103 28904845312 10275 33554432000 4194304 4196468 140728020213824 140612158614128 140613565659778 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11853824 140728020218858 140728020219030 140728020219030 140728020221903 0
[pid=23023/tid=23039] ppid=23021 vsize=28227388 memory=-1 CPUtime=0.01 cores=0-7
/proc/23023/task/23039/stat : 23039 (java) S 23021 23021 21590 0 -1 1077944384 85 0 0 0 1 0 0 0 20 0 20 0 419372103 28904845312 10275 33554432000 4194304 4196468 140728020213824 140612157561584 140613565659778 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11853824 140728020218858 140728020219030 140728020219030 140728020221903 0
[pid=23023/tid=23040] ppid=23021 vsize=28227388 memory=-1 CPUtime=0.07 cores=0-7
/proc/23023/task/23040/stat : 23040 (java) R 23021 23021 21590 0 -1 4202560 778 0 0 0 7 0 0 0 20 0 20 0 419372103 28904845312 10275 33554432000 4194304 4196468 140728020213824 140612156509040 140613565669978 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 11853824 140728020218858 140728020219030 140728020219030 140728020221903 0
[pid=23023/tid=23041] ppid=23021 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/23023/task/23041/stat : 23041 (java) S 23021 23021 21590 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419372103 28904845312 10275 33554432000 4194304 4196468 140728020213824 140612155455712 140613565658837 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11853824 140728020218858 140728020219030 140728020219030 140728020221903 0
[pid=23023/tid=23042] ppid=23021 vsize=28227388 memory=-1 CPUtime=0 cores=0-7
/proc/23023/task/23042/stat : 23042 (java) S 23021 23021 21590 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419372103 28904845312 10275 33554432000 4194304 4196468 140728020213824 140612154403248 140613565659778 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11853824 140728020218858 140728020219030 140728020219030 140728020221903 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 28340516 KiB
Current children cumulated memory: 42556 KiB

[startup+0.316318 s]*
/proc/loadavg: 7.71 6.85 6.22 3/217 23042
/proc/meminfo: memFree=31424076/32770624 swapFree=67004140/67108860
[pid=23021] ppid=23018 vsize=113128 memory=1456 CPUtime=0 cores=0-7
/proc/23021/stat : 23021 (xcsp3-exec) S 23018 23021 21590 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 419372097 115843072 364 33554432000 4194304 5098028 140727213911152 140727213909256 140039001219708 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 11444224 140727213912950 140727213913193 140727213913193 140727213916106 0
/proc/23021/statm: 28282 364 306 221 0 87 0
[pid=23023] ppid=23021 vsize=28231644 memory=50732 CPUtime=0.53 cores=0-7
/proc/23023/stat : 23023 (java) S 23021 23021 21590 0 -1 1077944320 10491 0 0 0 49 4 0 0 20 0 20 0 419372097 28909203456 12673 33554432000 4194304 4196468 140728020213824 140728020196368 140613565648631 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 11853824 140728020218858 140728020219030 140728020219030 140728020221903 0
/proc/23023/statm: 7057911 12683 3363 1 0 7019032 0
[pid=23023/tid=23024] ppid=23021 vsize=28231644 memory=6791534058613427641 CPUtime=0.3 cores=0-7
/proc/23023/task/23024/stat : 23024 (java) R 23021 23021 21590 0 -1 4202560 7433 0 0 0 27 3 0 0 20 0 20 0 419372097 28909203456 12683 33554432000 4194304 4196468 140728020213824 140613569882416 140613565660566 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 11853824 140728020218858 140728020219030 140728020219030 140728020221903 0
[pid=23023/tid=23025] ppid=23021 vsize=28231644 memory=0 CPUtime=0 cores=0-7
/proc/23023/task/23025/stat : 23025 (java) S 23021 23021 21590 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419372098 28909203456 12683 33554432000 4194304 4196468 140728020213824 140613485500688 140613565658837 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11853824 140728020218858 140728020219030 140728020219030 140728020221903 0
[pid=23023/tid=23026] ppid=23021 vsize=28231644 memory=0 CPUtime=0 cores=0-7
/proc/23023/task/23026/stat : 23026 (java) S 23021 23021 21590 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419372098 28909203456 12683 33554432000 4194304 4196468 140728020213824 140613484448144 140613565658837 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11853824 140728020218858 140728020219030 140728020219030 140728020221903 0
[pid=23023/tid=23027] ppid=23021 vsize=28231644 memory=0 CPUtime=0 cores=0-7
/proc/23023/task/23027/stat : 23027 (java) S 23021 23021 21590 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419372098 28909203456 12683 33554432000 4194304 4196468 140728020213824 140613483395600 140613565658837 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11853824 140728020218858 140728020219030 140728020219030 140728020221903 0
[pid=23023/tid=23028] ppid=23021 vsize=28231644 memory=0 CPUtime=0 cores=0-7
/proc/23023/task/23028/stat : 23028 (java) S 23021 23021 21590 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419372098 28909203456 12683 33554432000 4194304 4196468 140728020213824 140613482343056 140613565658837 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11853824 140728020218858 140728020219030 140728020219030 140728020221903 0
[pid=23023/tid=23029] ppid=23021 vsize=28231644 memory=2244 CPUtime=0 cores=0-7
/proc/23023/task/23029/stat : 23029 (java) S 23021 23021 21590 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419372098 28909203456 12683 33554432000 4194304 4196468 140728020213824 140613481290512 140613565658837 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11853824 140728020218858 140728020219030 140728020219030 140728020221903 0
[pid=23023/tid=23030] ppid=23021 vsize=28231644 memory=139921444664239 CPUtime=0 cores=0-7
/proc/23023/task/23030/stat : 23030 (java) S 23021 23021 21590 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419372098 28909203456 12683 33554432000 4194304 4196468 140728020213824 140613480237968 140613565658837 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11853824 140728020218858 140728020219030 140728020219030 140728020221903 0
[pid=23023/tid=23031] ppid=23021 vsize=28231644 memory=139921444666544 CPUtime=0 cores=0-7
/proc/23023/task/23031/stat : 23031 (java) S 23021 23021 21590 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419372098 28909203456 12683 33554432000 4194304 4196468 140728020213824 140613479185424 140613565658837 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11853824 140728020218858 140728020219030 140728020219030 140728020221903 0
[pid=23023/tid=23032] ppid=23021 vsize=28231644 memory=139921444668848 CPUtime=0 cores=0-7
/proc/23023/task/23032/stat : 23032 (java) S 23021 23021 21590 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419372098 28909203456 12683 33554432000 4194304 4196468 140728020213824 140613478132880 140613565658837 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11853824 140728020218858 140728020219030 140728020219030 140728020221903 0
[pid=23023/tid=23033] ppid=23021 vsize=28231644 memory=0 CPUtime=0 cores=0-7
/proc/23023/task/23033/stat : 23033 (java) S 23021 23021 21590 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 20 0 419372100 28909203456 12683 33554432000 4194304 4196468 140728020213824 140612163876848 140613565659778 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11853824 140728020218858 140728020219030 140728020219030 140728020221903 0
[pid=23023/tid=23034] ppid=23021 vsize=28231644 memory=279842889344656 CPUtime=0 cores=0-7
/proc/23023/task/23034/stat : 23034 (java) S 23021 23021 21590 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 419372100 28909203456 12683 33554432000 4194304 4196468 140728020213824 140612162823072 140613565658837 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11853824 140728020218858 140728020219030 140728020219030 140728020221903 0
[pid=23023/tid=23035] ppid=23021 vsize=28231644 memory=279842889351568 CPUtime=0 cores=0-7
/proc/23023/task/23035/stat : 23035 (java) S 23021 23021 21590 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 419372100 28909203456 12683 33554432000 4194304 4196468 140728020213824 140612161770480 140613565658837 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11853824 140728020218858 140728020219030 140728020219030 140728020221903 0
[pid=23023/tid=23036] ppid=23021 vsize=28231644 memory=279842889292848 CPUtime=0 cores=0-7
/proc/23023/task/23036/stat : 23036 (java) S 23021 23021 21590 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419372103 28909203456 12683 33554432000 4194304 4196468 140728020213824 140612160719056 140613565667227 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11853824 140728020218858 140728020219030 140728020219030 140728020221903 0
[pid=23023/tid=23037] ppid=23021 vsize=28231644 memory=279842889365392 CPUtime=0.02 cores=0-7
/proc/23023/task/23037/stat : 23037 (java) S 23021 23021 21590 0 -1 1077944384 580 0 0 0 2 0 0 0 20 0 20 0 419372103 28909203456 12683 33554432000 4194304 4196468 140728020213824 140612159666672 140613565659778 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11853824 140728020218858 140728020219030 140728020219030 140728020221903 0
[pid=23023/tid=23038] ppid=23021 vsize=28231644 memory=279842889372304 CPUtime=0.04 cores=0-7
/proc/23023/task/23038/stat : 23038 (java) S 23021 23021 21590 0 -1 1077944384 164 0 0 0 4 0 0 0 20 0 20 0 419372103 28909203456 12683 33554432000 4194304 4196468 140728020213824 140612158614128 140613565659778 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11853824 140728020218858 140728020219030 140728020219030 140728020221903 0
[pid=23023/tid=23039] ppid=23021 vsize=28231644 memory=279842889370000 CPUtime=0.02 cores=0-7
/proc/23023/task/23039/stat : 23039 (java) S 23021 23021 21590 0 -1 1077944384 94 0 0 0 2 0 0 0 20 0 20 0 419372103 28909203456 12683 33554432000 4194304 4196468 140728020213824 140612157561584 140613565659778 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11853824 140728020218858 140728020219030 140728020219030 140728020221903 0
[pid=23023/tid=23040] ppid=23021 vsize=28231644 memory=279842889386160 CPUtime=0.12 cores=0-7
/proc/23023/task/23040/stat : 23040 (java) S 23021 23021 21590 0 -1 1077944384 906 0 0 0 12 0 0 0 20 0 20 0 419372103 28909203456 12683 33554432000 4194304 4196468 140728020213824 140612156509040 140613565659778 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11853824 140728020218858 140728020219030 140728020219030 140728020221903 0
[pid=23023/tid=23041] ppid=23021 vsize=28231644 memory=0 CPUtime=0 cores=0-7
/proc/23023/task/23041/stat : 23041 (java) S 23021 23021 21590 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419372103 28909203456 12683 33554432000 4194304 4196468 140728020213824 140612155455712 140613565658837 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11853824 140728020218858 140728020219030 140728020219030 140728020221903 0
[pid=23023/tid=23042] ppid=23021 vsize=28231644 memory=-1 CPUtime=0 cores=0-7
/proc/23023/task/23042/stat : 23042 (java) S 23021 23021 21590 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419372103 28909203456 12683 33554432000 4194304 4196468 140728020213824 140612154403248 140613565659778 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11853824 140728020218858 140728020219030 140728020219030 140728020221903 0
Current children cumulated CPU time: 0.53 s
Current children cumulated vsize: 28344772 KiB
Current children cumulated memory: 52188 KiB

[startup+0.701053 s]
/proc/loadavg: 7.71 6.85 6.22 6/217 23042
/proc/meminfo: memFree=31407608/32770624 swapFree=67004140/67108860
[pid=23021] ppid=23018 vsize=113128 memory=1456 CPUtime=0 cores=0-7
/proc/23021/stat : 23021 (xcsp3-exec) S 23018 23021 21590 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 419372097 115843072 364 33554432000 4194304 5098028 140727213911152 140727213909256 140039001219708 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 11444224 140727213912950 140727213913193 140727213913193 140727213916106 0
/proc/23021/statm: 28282 364 306 221 0 87 0
[pid=23023] ppid=23021 vsize=28233768 memory=89452 CPUtime=1.69 cores=0-7
/proc/23023/stat : 23023 (java) S 23021 23021 21590 0 -1 1077944320 15018 0 0 0 162 7 0 0 20 0 20 0 419372097 28911378432 22363 33554432000 4194304 4196468 140728020213824 140728020196368 140613565648631 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 11853824 140728020218858 140728020219030 140728020219030 140728020221903 0
/proc/23023/statm: 7058442 22363 3453 1 0 7019544 0
[pid=23023/tid=23024] ppid=23021 vsize=28233768 memory=279842889744048 CPUtime=0.67 cores=0-7
/proc/23023/task/23024/stat : 23024 (java) R 23021 23021 21590 0 -1 4202560 8888 0 0 0 63 4 0 0 20 0 20 0 419372097 28911378432 22363 33554432000 4194304 4196468 140728020213824 140613569884992 140613152526106 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 11853824 140728020218858 140728020219030 140728020219030 140728020221903 0
[pid=23023/tid=23025] ppid=23021 vsize=28233768 memory=139921444873072 CPUtime=0 cores=0-7
/proc/23023/task/23025/stat : 23025 (java) S 23021 23021 21590 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419372098 28911378432 22363 33554432000 4194304 4196468 140728020213824 140613485500688 140613565658837 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11853824 140728020218858 140728020219030 140728020219030 140728020221903 0
[pid=23023/tid=23026] ppid=23021 vsize=28233768 memory=0 CPUtime=0 cores=0-7
/proc/23023/task/23026/stat : 23026 (java) S 23021 23021 21590 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419372098 28911378432 22363 33554432000 4194304 4196468 140728020213824 140613484448144 140613565658837 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11853824 140728020218858 140728020219030 140728020219030 140728020221903 0
[pid=23023/tid=23027] ppid=23021 vsize=28233768 memory=2832 CPUtime=0 cores=0-7
/proc/23023/task/23027/stat : 23027 (java) S 23021 23021 21590 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419372098 28911378432 22363 33554432000 4194304 4196468 140728020213824 140613483395600 140613565658837 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11853824 140728020218858 140728020219030 140728020219030 140728020221903 0

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

[pid=23023/tid=23142] ppid=23021 vsize=28769356 memory=275996 CPUtime=21.62 cores=0-7
/proc/23023/task/23142/stat : 23142 (java) R 23021 23021 21590 0 -1 4202560 2881 0 0 0 2159 3 0 0 20 0 28 0 419373433 29459820544 66697 33554432000 4194304 4196468 140728020213824 140612138887320 140613162638621 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 11853824 140728020218858 140728020219030 140728020219030 140728020221903 0
[pid=23023/tid=23143] ppid=23021 vsize=28769356 memory=1050 CPUtime=21.62 cores=0-7
/proc/23023/task/23143/stat : 23143 (java) R 23021 23021 21590 0 -1 4202560 860 0 0 0 2162 0 0 0 20 0 28 0 419373433 29459820544 66697 33554432000 4194304 4196468 140728020213824 140612136779864 140613160239476 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 11853824 140728020218858 140728020219030 140728020219030 140728020221903 0
[pid=23023/tid=23144] ppid=23021 vsize=28769356 memory=1456 CPUtime=21.47 cores=0-7
/proc/23023/task/23144/stat : 23144 (java) R 23021 23021 21590 0 -1 4202560 899 0 0 0 2147 0 0 0 20 0 28 0 419373433 29459820544 66697 33554432000 4194304 4196468 140728020213824 140612140991352 140613160237759 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 11853824 140728020218858 140728020219030 140728020219030 140728020221903 0
[pid=23023/tid=23145] ppid=23021 vsize=28769356 memory=267304 CPUtime=21.7 cores=0-7
/proc/23023/task/23145/stat : 23145 (java) R 23021 23021 21590 0 -1 4202560 810 0 0 0 2170 0 0 0 20 0 28 0 419373433 29459820544 66697 33554432000 4194304 4196468 140728020213824 140612139938456 140613160874367 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 11853824 140728020218858 140728020219030 140728020219030 140728020221903 0
[pid=23023/tid=23146] ppid=23021 vsize=28769356 memory=1036 CPUtime=21.71 cores=0-7
/proc/23023/task/23146/stat : 23146 (java) R 23021 23021 21590 0 -1 4202560 332 0 0 0 2171 0 0 0 20 0 28 0 419373433 29459820544 66697 33554432000 4194304 4196468 140728020213824 140612134674552 140613160617764 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 11853824 140728020218858 140728020219030 140728020219030 140728020221903 0
[pid=23023/tid=23147] ppid=23021 vsize=28769356 memory=14008 CPUtime=21.61 cores=0-7
/proc/23023/task/23147/stat : 23147 (java) R 23021 23021 21590 0 -1 4202560 782 0 0 0 2161 0 0 0 20 0 28 0 419373433 29459820544 66697 33554432000 4194304 4196468 140728020213824 140612137832040 140613158281446 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 11853824 140728020218858 140728020219030 140728020219030 140728020221903 0
Current children cumulated CPU time: 274.71 s
Current children cumulated vsize: 28882484 KiB
Current children cumulated memory: 268244 KiB

[startup+36.8013 s]
/proc/loadavg: 8.31 7.10 6.33 9/225 23155
/proc/meminfo: memFree=31208812/32770624 swapFree=67004140/67108860
[pid=23021] ppid=23018 vsize=113128 memory=1456 CPUtime=0 cores=0-7
/proc/23021/stat : 23021 (xcsp3-exec) S 23018 23021 21590 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 419372097 115843072 364 33554432000 4194304 5098028 140727213911152 140727213909256 140039001219708 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 11444224 140727213912950 140727213913193 140727213913193 140727213916106 0
/proc/23021/statm: 28282 364 306 221 0 87 0
[pid=23023] ppid=23021 vsize=28834892 memory=262748 CPUtime=287.4 cores=0-7
/proc/23023/stat : 23023 (java) S 23021 23021 21590 0 -1 1077944320 106200 0 0 0 28685 55 0 0 20 0 28 0 419372097 29526929408 65687 33554432000 4194304 4196468 140728020213824 140728020196368 140613565648631 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 11853824 140728020218858 140728020219030 140728020219030 140728020221903 0
/proc/23023/statm: 7208723 65687 3536 1 0 7169825 0
[pid=23023/tid=23024] ppid=23021 vsize=28834892 memory=1540 CPUtime=0.82 cores=0-7
/proc/23023/task/23024/stat : 23024 (java) S 23021 23021 21590 0 -1 1077944384 9403 0 0 0 77 5 0 0 20 0 28 0 419372097 29526929408 65687 33554432000 4194304 4196468 140728020213824 140613569889408 140613565658837 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11853824 140728020218858 140728020219030 140728020219030 140728020221903 0
[pid=23023/tid=23025] ppid=23021 vsize=28834892 memory=728 CPUtime=0.07 cores=0-7
/proc/23023/task/23025/stat : 23025 (java) S 23021 23021 21590 0 -1 1077944384 503 0 0 0 5 2 0 0 20 0 28 0 419372098 29526929408 65687 33554432000 4194304 4196468 140728020213824 140613485500688 140613565658837 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11853824 140728020218858 140728020219030 140728020219030 140728020221903 0
[pid=23023/tid=23026] ppid=23021 vsize=28834892 memory=3924 CPUtime=0.06 cores=0-7
/proc/23023/task/23026/stat : 23026 (java) S 23021 23021 21590 0 -1 1077944384 492 0 0 0 5 1 0 0 20 0 28 0 419372098 29526929408 65687 33554432000 4194304 4196468 140728020213824 140613484448144 140613565658837 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11853824 140728020218858 140728020219030 140728020219030 140728020221903 0
[pid=23023/tid=23027] ppid=23021 vsize=28834892 memory=1456 CPUtime=0.07 cores=0-7
/proc/23023/task/23027/stat : 23027 (java) S 23021 23021 21590 0 -1 1077944384 318 0 0 0 6 1 0 0 20 0 28 0 419372098 29526929408 65687 33554432000 4194304 4196468 140728020213824 140613483395600 140613565658837 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11853824 140728020218858 140728020219030 140728020219030 140728020221903 0
[pid=23023/tid=23028] ppid=23021 vsize=28834892 memory=267816 CPUtime=0.07 cores=0-7
/proc/23023/task/23028/stat : 23028 (java) S 23021 23021 21590 0 -1 1077944384 1070 0 0 0 6 1 0 0 20 0 28 0 419372098 29526929408 65687 33554432000 4194304 4196468 140728020213824 140613482343056 140613565658837 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11853824 140728020218858 140728020219030 140728020219030 140728020221903 0
[pid=23023/tid=23029] ppid=23021 vsize=28834892 memory=5928 CPUtime=0.06 cores=0-7
/proc/23023/task/23029/stat : 23029 (java) S 23021 23021 21590 0 -1 1077944384 1548 0 0 0 5 1 0 0 20 0 28 0 419372098 29526929408 65687 33554432000 4194304 4196468 140728020213824 140613481290512 140613565658837 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11853824 140728020218858 140728020219030 140728020219030 140728020221903 0
[pid=23023/tid=23030] ppid=23021 vsize=28834892 memory=1056 CPUtime=0.08 cores=0-7
/proc/23023/task/23030/stat : 23030 (java) S 23021 23021 21590 0 -1 1077944384 2215 0 0 0 6 2 0 0 20 0 28 0 419372098 29526929408 65687 33554432000 4194304 4196468 140728020213824 140613480237968 140613565658837 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11853824 140728020218858 140728020219030 140728020219030 140728020221903 0
[pid=23023/tid=23031] ppid=23021 vsize=28834892 memory=1540 CPUtime=0.08 cores=0-7
/proc/23023/task/23031/stat : 23031 (java) S 23021 23021 21590 0 -1 1077944384 1097 0 0 0 6 2 0 0 20 0 28 0 419372098 29526929408 65687 33554432000 4194304 4196468 140728020213824 140613479185424 140613565658837 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11853824 140728020218858 140728020219030 140728020219030 140728020221903 0
[pid=23023/tid=23032] ppid=23021 vsize=28834892 memory=728 CPUtime=0.07 cores=0-7
/proc/23023/task/23032/stat : 23032 (java) S 23021 23021 21590 0 -1 1077944384 738 0 0 0 6 1 0 0 20 0 28 0 419372098 29526929408 65687 33554432000 4194304 4196468 140728020213824 140613478132880 140613565658837 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11853824 140728020218858 140728020219030 140728020219030 140728020221903 0
[pid=23023/tid=23033] ppid=23021 vsize=28834892 memory=1456 CPUtime=0.05 cores=0-7
/proc/23023/task/23033/stat : 23033 (java) S 23021 23021 21590 0 -1 1077944384 2460 0 0 0 4 1 0 0 20 0 28 0 419372100 29526929408 65687 33554432000 4194304 4196468 140728020213824 140612163876848 140613565659778 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11853824 140728020218858 140728020219030 140728020219030 140728020221903 0
[pid=23023/tid=23034] ppid=23021 vsize=28834892 memory=262748 CPUtime=0 cores=0-7
/proc/23023/task/23034/stat : 23034 (java) S 23021 23021 21590 0 -1 1077944384 39 0 0 0 0 0 0 0 20 0 28 0 419372100 29526929408 65687 33554432000 4194304 4196468 140728020213824 140612162823136 140613565658837 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11853824 140728020218858 140728020219030 140728020219030 140728020221903 0
[pid=23023/tid=23035] ppid=23021 vsize=28834892 memory=496 CPUtime=0 cores=0-7
/proc/23023/task/23035/stat : 23035 (java) S 23021 23021 21590 0 -1 1077944384 64 0 0 0 0 0 0 0 20 0 28 0 419372100 29526929408 65687 33554432000 4194304 4196468 140728020213824 140612161770496 140613565658837 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11853824 140728020218858 140728020219030 140728020219030 140728020221903 0
[pid=23023/tid=23036] ppid=23021 vsize=28834892 memory=1564 CPUtime=0 cores=0-7
/proc/23023/task/23036/stat : 23036 (java) S 23021 23021 21590 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 419372103 29526929408 65687 33554432000 4194304 4196468 140728020213824 140612160719056 140613565667227 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11853824 140728020218858 140728020219030 140728020219030 140728020221903 0
[pid=23023/tid=23037] ppid=23021 vsize=28834892 memory=928 CPUtime=4.04 cores=0-7
/proc/23023/task/23037/stat : 23037 (java) S 23021 23021 21590 0 -1 1077944384 22044 0 0 0 399 5 0 0 20 0 28 0 419372103 29526929408 65687 33554432000 4194304 4196468 140728020213824 140612159666672 140613565659778 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11853824 140728020218858 140728020219030 140728020219030 140728020221903 0
[pid=23023/tid=23038] ppid=23021 vsize=28834892 memory=1744 CPUtime=3.74 cores=0-7
/proc/23023/task/23038/stat : 23038 (java) S 23021 23021 21590 0 -1 1077944384 18229 0 0 0 370 4 0 0 20 0 28 0 419372103 29526929408 65687 33554432000 4194304 4196468 140728020213824 140612158614128 140613565659778 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11853824 140728020218858 140728020219030 140728020219030 140728020221903 0
[pid=23023/tid=23039] ppid=23021 vsize=28834892 memory=0 CPUtime=4.21 cores=0-7
/proc/23023/task/23039/stat : 23039 (java) R 23021 23021 21590 0 -1 4202560 16225 0 0 0 418 3 0 0 20 0 28 0 419372103 29526929408 65687 33554432000 4194304 4196468 140728020213824 140612157561880 140613545335299 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 11853824 140728020218858 140728020219030 140728020219030 140728020221903 0
[pid=23023/tid=23040] ppid=23021 vsize=28834892 memory=402 CPUtime=1.17 cores=0-7
/proc/23023/task/23040/stat : 23040 (java) S 23021 23021 21590 0 -1 1077944384 12548 0 0 0 113 4 0 0 20 0 28 0 419372103 29526929408 65687 33554432000 4194304 4196468 140728020213824 140612156509040 140613565659778 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11853824 140728020218858 140728020219030 140728020219030 140728020221903 0
[pid=23023/tid=23041] ppid=23021 vsize=28834892 memory=364 CPUtime=0 cores=0-7
/proc/23023/task/23041/stat : 23041 (java) S 23021 23021 21590 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 419372103 29526929408 65687 33554432000 4194304 4196468 140728020213824 140612155455712 140613565658837 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11853824 140728020218858 140728020219030 140728020219030 140728020221903 0
[pid=23023/tid=23042] ppid=23021 vsize=28834892 memory=417 CPUtime=0 cores=0-7
/proc/23023/task/23042/stat : 23042 (java) S 23021 23021 21590 0 -1 1077944384 861 0 0 0 0 0 0 0 20 0 28 0 419372103 29526929408 65687 33554432000 4194304 4196468 140728020213824 140612154403248 140613565659778 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11853824 140728020218858 140728020219030 140728020219030 140728020221903 0
[pid=23023/tid=23148] ppid=23021 vsize=28834892 memory=116 CPUtime=1.11 cores=0-7
/proc/23023/task/23148/stat : 23148 (java) R 23021 23021 21590 0 -1 4202560 95 0 0 0 111 0 0 0 20 0 28 0 419375663 29526929408 65687 33554432000 4194304 4196468 140728020213824 140612135725208 140613160481595 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 11853824 140728020218858 140728020219030 140728020219030 140728020221903 0
[pid=23023/tid=23149] ppid=23021 vsize=28834892 memory=0 CPUtime=1.12 cores=0-7
/proc/23023/task/23149/stat : 23149 (java) R 23021 23021 21590 0 -1 4202560 19 0 0 0 112 0 0 0 20 0 28 0 419375664 29526929408 65687 33554432000 4194304 4196468 140728020213824 140612136779480 140613160617769 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 11853824 140728020218858 140728020219030 140728020219030 140728020221903 0
[pid=23023/tid=23150] ppid=23021 vsize=28834892 memory=0 CPUtime=1.12 cores=0-7
/proc/23023/task/23150/stat : 23150 (java) R 23021 23021 21590 0 -1 4202560 65 0 0 0 112 0 0 0 20 0 28 0 419375664 29526929408 65687 33554432000 4194304 4196468 140728020213824 140612138885672 140613153503866 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 11853824 140728020218858 140728020219030 140728020219030 140728020221903 0
[pid=23023/tid=23151] ppid=23021 vsize=28834892 memory=2088 CPUtime=1.12 cores=0-7
/proc/23023/task/23151/stat : 23151 (java) R 23021 23021 21590 0 -1 4202560 37 0 0 0 112 0 0 0 20 0 28 0 419375664 29526929408 65687 33554432000 4194304 4196468 140728020213824 140612134674432 140613160617874 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 11853824 140728020218858 140728020219030 140728020219030 140728020221903 0
[pid=23023/tid=23152] ppid=23021 vsize=28834892 memory=2063 CPUtime=1.07 cores=0-7
/proc/23023/task/23152/stat : 23152 (java) R 23021 23021 21590 0 -1 4202560 27 0 0 0 107 0 0 0 20 0 28 0 419375664 29526929408 65687 33554432000 4194304 4196468 140728020213824 140612143095752 140613160483830 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 11853824 140728020218858 140728020219030 140728020219030 140728020221903 0
[pid=23023/tid=23153] ppid=23021 vsize=28834892 memory=1456 CPUtime=1.04 cores=0-7
/proc/23023/task/23153/stat : 23153 (java) R 23021 23021 21590 0 -1 4202560 23 0 0 0 104 0 0 0 20 0 28 0 419375664 29526929408 65687 33554432000 4194304 4196468 140728020213824 140612137832360 140613159910767 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 11853824 140728020218858 140728020219030 140728020219030 140728020221903 0
[pid=23023/tid=23154] ppid=23021 vsize=28834892 memory=266788 CPUtime=1.1 cores=0-7
/proc/23023/task/23154/stat : 23154 (java) R 23021 23021 21590 0 -1 4202560 20 0 0 0 110 0 0 0 20 0 28 0 419375664 29526929408 65687 33554432000 4194304 4196468 140728020213824 140612142042296 140613160481384 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 11853824 140728020218858 140728020219030 140728020219030 140728020221903 0
[pid=23023/tid=23155] ppid=23021 vsize=28834892 memory=988 CPUtime=1.12 cores=0-7
/proc/23023/task/23155/stat : 23155 (java) R 23021 23021 21590 0 -1 4202560 30 0 0 0 112 0 0 0 20 0 28 0 419375664 29526929408 65687 33554432000 4194304 4196468 140728020213824 140612139937224 140613160484112 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 11853824 140728020218858 140728020219030 140728020219030 140728020221903 0
Current children cumulated CPU time: 287.4 s
Current children cumulated vsize: 28948020 KiB
Current children cumulated memory: 264204 KiB

[startup+37.2013 s]
/proc/loadavg: 8.31 7.10 6.33 9/225 23155
/proc/meminfo: memFree=31211964/32770624 swapFree=67004140/67108860
[pid=23021] ppid=23018 vsize=113128 memory=1456 CPUtime=0 cores=0-7
/proc/23021/stat : 23021 (xcsp3-exec) S 23018 23021 21590 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 419372097 115843072 364 33554432000 4194304 5098028 140727213911152 140727213909256 140039001219708 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 11444224 140727213912950 140727213913193 140727213913193 140727213916106 0
/proc/23021/statm: 28282 364 306 221 0 87 0
[pid=23023] ppid=23021 vsize=28834892 memory=263020 CPUtime=290.58 cores=0-7
/proc/23023/stat : 23023 (java) S 23021 23021 21590 0 -1 1077944320 107208 0 0 0 29003 55 0 0 20 0 28 0 419372097 29526929408 65755 33554432000 4194304 4196468 140728020213824 140728020196368 140613565648631 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 11853824 140728020218858 140728020219030 140728020219030 140728020221903 0
/proc/23023/statm: 7208723 65755 3536 1 0 7169825 0
[pid=23023/tid=23024] ppid=23021 vsize=28834892 memory=14694080391154107 CPUtime=0.82 cores=0-7
/proc/23023/task/23024/stat : 23024 (java) S 23021 23021 21590 0 -1 1077944384 9403 0 0 0 77 5 0 0 20 0 28 0 419372097 29526929408 65755 33554432000 4194304 4196468 140728020213824 140613569889408 140613565658837 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11853824 140728020218858 140728020219030 140728020219030 140728020221903 0
[pid=23023/tid=23025] ppid=23021 vsize=28834892 memory=279842891251072 CPUtime=0.07 cores=0-7
/proc/23023/task/23025/stat : 23025 (java) S 23021 23021 21590 0 -1 1077944384 503 0 0 0 5 2 0 0 20 0 28 0 419372098 29526929408 65755 33554432000 4194304 4196468 140728020213824 140613485500688 140613565658837 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11853824 140728020218858 140728020219030 140728020219030 140728020221903 0
[pid=23023/tid=23026] ppid=23021 vsize=28834892 memory=5787213831476700249 CPUtime=0.06 cores=0-7
/proc/23023/task/23026/stat : 23026 (java) S 23021 23021 21590 0 -1 1077944384 492 0 0 0 5 1 0 0 20 0 28 0 419372098 29526929408 65755 33554432000 4194304 4196468 140728020213824 140613484448144 140613565658837 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11853824 140728020218858 140728020219030 140728020219030 140728020221903 0
[pid=23023/tid=23027] ppid=23021 vsize=28834892 memory=5787213827181732953 CPUtime=0.07 cores=0-7
/proc/23023/task/23027/stat : 23027 (java) S 23021 23021 21590 0 -1 1077944384 318 0 0 0 6 1 0 0 20 0 28 0 419372098 29526929408 65755 33554432000 4194304 4196468 140728020213824 140613483395600 140613565658837 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11853824 140728020218858 140728020219030 140728020219030 140728020221903 0
[pid=23023/tid=23028] ppid=23021 vsize=28834892 memory=5787213857246504025 CPUtime=0.07 cores=0-7
/proc/23023/task/23028/stat : 23028 (java) S 23021 23021 21590 0 -1 1077944384 1070 0 0 0 6 1 0 0 20 0 28 0 419372098 29526929408 65755 33554432000 4194304 4196468 140728020213824 140613482343056 140613565658837 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11853824 140728020218858 140728020219030 140728020219030 140728020221903 0
[pid=23023/tid=23029] ppid=23021 vsize=28834892 memory=5787213840066634841 CPUtime=0.06 cores=0-7
/proc/23023/task/23029/stat : 23029 (java) S 23021 23021 21590 0 -1 1077944384 1548 0 0 0 5 1 0 0 20 0 28 0 419372098 29526929408 65755 33554432000 4194304 4196468 140728020213824 140613481290512 140613565658837 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11853824 140728020218858 140728020219030 140728020219030 140728020221903 0
[pid=23023/tid=23030] ppid=23021 vsize=28834892 memory=4639904302751567952 CPUtime=0.08 cores=0-7
/proc/23023/task/23030/stat : 23030 (java) S 23021 23021 21590 0 -1 1077944384 2215 0 0 0 6 2 0 0 20 0 28 0 419372098 29526929408 65755 33554432000 4194304 4196468 140728020213824 140613480237968 140613565658837 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11853824 140728020218858 140728020219030 140728020219030 140728020221903 0
[pid=23023/tid=23031] ppid=23021 vsize=28834892 memory=4639074098508484693 CPUtime=0.08 cores=0-7
/proc/23023/task/23031/stat : 23031 (java) S 23021 23021 21590 0 -1 1077944384 1097 0 0 0 6 2 0 0 20 0 28 0 419372098 29526929408 65755 33554432000 4194304 4196468 140728020213824 140613479185424 140613565658837 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11853824 140728020218858 140728020219030 140728020219030 140728020221903 0
[pid=23023/tid=23032] ppid=23021 vsize=28834892 memory=7523376918531162212 CPUtime=0.07 cores=0-7
/proc/23023/task/23032/stat : 23032 (java) S 23021 23021 21590 0 -1 1077944384 738 0 0 0 6 1 0 0 20 0 28 0 419372098 29526929408 65755 33554432000 4194304 4196468 140728020213824 140613478132880 140613565658837 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11853824 140728020218858 140728020219030 140728020219030 140728020221903 0
[pid=23023/tid=23033] ppid=23021 vsize=28834892 memory=7235147594880805952 CPUtime=0.05 cores=0-7
/proc/23023/task/23033/stat : 23033 (java) S 23021 23021 21590 0 -1 1077944384 2460 0 0 0 4 1 0 0 20 0 28 0 419372100 29526929408 65755 33554432000 4194304 4196468 140728020213824 140612163876848 140613565659778 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11853824 140728020218858 140728020219030 140728020219030 140728020221903 0
[pid=23023/tid=23034] ppid=23021 vsize=28834892 memory=7523376918531162212 CPUtime=0 cores=0-7
/proc/23023/task/23034/stat : 23034 (java) S 23021 23021 21590 0 -1 1077944384 39 0 0 0 0 0 0 0 20 0 28 0 419372100 29526929408 65755 33554432000 4194304 4196468 140728020213824 140612162823136 140613565658837 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11853824 140728020218858 140728020219030 140728020219030 140728020221903 0
[pid=23023/tid=23035] ppid=23021 vsize=28834892 memory=7235147594880805952 CPUtime=0 cores=0-7
/proc/23023/task/23035/stat : 23035 (java) S 23021 23021 21590 0 -1 1077944384 64 0 0 0 0 0 0 0 20 0 28 0 419372100 29526929408 65755 33554432000 4194304 4196468 140728020213824 140612161770496 140613565658837 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11853824 140728020218858 140728020219030 140728020219030 140728020221903 0
[pid=23023/tid=23036] ppid=23021 vsize=28834892 memory=1456 CPUtime=0 cores=0-7
/proc/23023/task/23036/stat : 23036 (java) S 23021 23021 21590 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 419372103 29526929408 65755 33554432000 4194304 4196468 140728020213824 140612160719056 140613565667227 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11853824 140728020218858 140728020219030 140728020219030 140728020221903 0
[pid=23023/tid=23037] ppid=23021 vsize=28834892 memory=262748 CPUtime=4.06 cores=0-7
/proc/23023/task/23037/stat : 23037 (java) S 23021 23021 21590 0 -1 1077944384 22115 0 0 0 401 5 0 0 20 0 28 0 419372103 29526929408 65755 33554432000 4194304 4196468 140728020213824 140612159666672 140613565659778 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11853824 140728020218858 140728020219030 140728020219030 140728020221903 0
[pid=23023/tid=23038] ppid=23021 vsize=28834892 memory=728 CPUtime=3.76 cores=0-7
/proc/23023/task/23038/stat : 23038 (java) S 23021 23021 21590 0 -1 1077944384 18304 0 0 0 372 4 0 0 20 0 28 0 419372103 29526929408 65755 33554432000 4194304 4196468 140728020213824 140612158614128 140613565659778 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11853824 140728020218858 140728020219030 140728020219030 140728020221903 0
[pid=23023/tid=23039] ppid=23021 vsize=28834892 memory=3924 CPUtime=4.21 cores=0-7
/proc/23023/task/23039/stat : 23039 (java) S 23021 23021 21590 0 -1 1077944384 16320 0 0 0 418 3 0 0 20 0 28 0 419372103 29526929408 65755 33554432000 4194304 4196468 140728020213824 140612157561584 140613565659778 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11853824 140728020218858 140728020219030 140728020219030 140728020221903 0
[pid=23023/tid=23040] ppid=23021 vsize=28834892 memory=2832 CPUtime=1.17 cores=0-7
/proc/23023/task/23040/stat : 23040 (java) S 23021 23021 21590 0 -1 1077944384 12548 0 0 0 113 4 0 0 20 0 28 0 419372103 29526929408 65755 33554432000 4194304 4196468 140728020213824 140612156509040 140613565659778 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11853824 140728020218858 140728020219030 140728020219030 140728020221903 0
[pid=23023/tid=23041] ppid=23021 vsize=28834892 memory=1212 CPUtime=0 cores=0-7
/proc/23023/task/23041/stat : 23041 (java) S 23021 23021 21590 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 419372103 29526929408 65755 33554432000 4194304 4196468 140728020213824 140612155455712 140613565658837 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11853824 140728020218858 140728020219030 140728020219030 140728020221903 0
[pid=23023/tid=23042] ppid=23021 vsize=28834892 memory=1036 CPUtime=0 cores=0-7
/proc/23023/task/23042/stat : 23042 (java) S 23021 23021 21590 0 -1 1077944384 871 0 0 0 0 0 0 0 20 0 28 0 419372103 29526929408 65755 33554432000 4194304 4196468 140728020213824 140612154403248 140613565659778 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11853824 140728020218858 140728020219030 140728020219030 140728020221903 0
[pid=23023/tid=23148] ppid=23021 vsize=28834892 memory=14008 CPUtime=1.51 cores=0-7
/proc/23023/task/23148/stat : 23148 (java) R 23021 23021 21590 0 -1 4202560 264 0 0 0 151 0 0 0 20 0 28 0 419375663 29526929408 65755 33554432000 4194304 4196468 140728020213824 140612135725208 140613160241467 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 11853824 140728020218858 140728020219030 140728020219030 140728020221903 0
[pid=23023/tid=23149] ppid=23021 vsize=28834892 memory=12024 CPUtime=1.52 cores=0-7
/proc/23023/task/23149/stat : 23149 (java) R 23021 23021 21590 0 -1 4202560 65 0 0 0 152 0 0 0 20 0 28 0 419375664 29526929408 65755 33554432000 4194304 4196468 140728020213824 140612136779480 140613160330171 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 11853824 140728020218858 140728020219030 140728020219030 140728020221903 0
[pid=23023/tid=23150] ppid=23021 vsize=28834892 memory=2116 CPUtime=1.52 cores=0-7
/proc/23023/task/23150/stat : 23150 (java) R 23021 23021 21590 0 -1 4202560 363 0 0 0 152 0 0 0 20 0 28 0 419375664 29526929408 65755 33554432000 4194304 4196468 140728020213824 140612138885696 140613157436918 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 11853824 140728020218858 140728020219030 140728020219030 140728020221903 0
[pid=23023/tid=23151] ppid=23021 vsize=28834892 memory=21720 CPUtime=1.52 cores=0-7
/proc/23023/task/23151/stat : 23151 (java) R 23021 23021 21590 0 -1 4202560 122 0 0 0 152 0 0 0 20 0 28 0 419375664 29526929408 65755 33554432000 4194304 4196468 140728020213824 140612134674432 140613160241043 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 11853824 140728020218858 140728020219030 140728020219030 140728020221903 0
[pid=23023/tid=23152] ppid=23021 vsize=28834892 memory=496 CPUtime=1.45 cores=0-7
/proc/23023/task/23152/stat : 23152 (java) R 23021 23021 21590 0 -1 4202560 85 0 0 0 145 0 0 0 20 0 28 0 419375664 29526929408 65755 33554432000 4194304 4196468 140728020213824 140612143095752 140613160619975 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 11853824 140728020218858 140728020219030 140728020219030 140728020221903 0
[pid=23023/tid=23153] ppid=23021 vsize=28834892 memory=1564 CPUtime=1.41 cores=0-7
/proc/23023/task/23153/stat : 23153 (java) R 23021 23021 21590 0 -1 4202560 62 0 0 0 141 0 0 0 20 0 28 0 419375664 29526929408 65755 33554432000 4194304 4196468 140728020213824 140612137832360 140613160481765 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 11853824 140728020218858 140728020219030 140728020219030 140728020221903 0
[pid=23023/tid=23154] ppid=23021 vsize=28834892 memory=928 CPUtime=1.48 cores=0-7
/proc/23023/task/23154/stat : 23154 (java) R 23021 23021 21590 0 -1 4202560 66 0 0 0 148 0 0 0 20 0 28 0 419375664 29526929408 65755 33554432000 4194304 4196468 140728020213824 140612142042296 140613160241579 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 11853824 140728020218858 140728020219030 140728020219030 140728020221903 0
[pid=23023/tid=23155] ppid=23021 vsize=28834892 memory=1744 CPUtime=1.52 cores=0-7
/proc/23023/task/23155/stat : 23155 (java) R 23021 23021 21590 0 -1 4202560 46 0 0 0 152 0 0 0 20 0 28 0 419375664 29526929408 65755 33554432000 4194304 4196468 140728020213824 140612139937224 140613166024904 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 11853824 140728020218858 140728020219030 140728020219030 140728020221903 0
Current children cumulated CPU time: 290.58 s
Current children cumulated vsize: 28948020 KiB
Current children cumulated memory: 264476 KiB

[startup+37.4011 s]
/proc/loadavg: 8.31 7.10 6.33 9/225 23155
/proc/meminfo: memFree=31211964/32770624 swapFree=67004140/67108860
[pid=23021] ppid=23018 vsize=113128 memory=1456 CPUtime=0 cores=0-7
/proc/23021/stat : 23021 (xcsp3-exec) S 23018 23021 21590 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 419372097 115843072 364 33554432000 4194304 5098028 140727213911152 140727213909256 140039001219708 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 11444224 140727213912950 140727213913193 140727213913193 140727213916106 0
/proc/23021/statm: 28282 364 306 221 0 87 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 113128 KiB
Current children cumulated memory: 1456 KiB

Child status: 0
Real time (s): 37.4063
CPU time (s): 292.093
CPU user time (s): 291.521
CPU system time (s): 0.572755
CPU usage (%): 780.866
Max. virtual memory (cumulated for all children) (KiB): 28948020
Max. memory (cumulated for all children) (KiB): 283612

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 291.521
system time used= 0.572755
maximum resident set size= 284208
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 109659
page faults= 0
swaps= 0
block input operations= 0
block output operations= 184
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 9316
involuntary context switches= 5367


# summary of solver processes directly reported to runsolver:
#   pid: 23021
#   total CPU time (s): 292.093
#   total CPU user time (s): 291.521
#   total CPU system time (s): 0.572755

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.365585 second user time and 0.464223 second system time

The end

Launcher Data 

Begin job on node133 at 2019-09-14 05:21:25
IDJOB=4394527
IDBENCH=128523
IDSOLVER=2843
FILE ID=node133/4394527-1568431325
RUNJOBID= node133-1568426604-21617
PBS_JOBID= 21702289
Free space on /tmp= 59416 MiB

SOLVER NAME= choco-solver parallel 2019-06-14
BENCH NAME= XCSP17/Rcpsp/Rcpsp-m1-j60/Rcpsp-j60-46-08.xml
COMMAND LINE= xcsp3-exec -dir DIR -tl TIMEOUT -p NBCORE -ml 24000 -tdir TMPDIR -seed RANDOMSEED BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4394527-1568431325/watcher-4394527-1568431325 -o /tmp/evaluation-result-4394527-1568431325/solver-4394527-1568431325 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node133-1568426604-21617 --watchdog 2580  xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 141503129 HOME/instance-4394527-1568431325.xml

TIME LIMIT= 20160 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 8

MD5SUM BENCH= 1a36b9c979418634ede1d2fbb3d1d330
RANDOM SEED=141503129

node133.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.18
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.18
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.18
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.18
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:        31462800 kB
MemAvailable:   31898764 kB
Buffers:          198268 kB
Cached:           521020 kB
SwapCached:         3364 kB
Active:           405540 kB
Inactive:         319072 kB
Active(anon):      28980 kB
Inactive(anon):    16056 kB
Active(file):     376560 kB
Inactive(file):   303016 kB
Unevictable:      111224 kB
Mlocked:          111224 kB
SwapTotal:      67108860 kB
SwapFree:       67004140 kB
Dirty:             25860 kB
Writeback:             0 kB
AnonPages:        289576 kB
Mapped:            45392 kB
Shmem:             31516 kB
Slab:             173708 kB
SReclaimable:     144444 kB
SUnreclaim:        29264 kB
KernelStack:        3968 kB
PageTables:         5460 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     497840 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    245760 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      122240 kB
DirectMap2M:    33423360 kB

Free space on /tmp at the end= 59392 MiB
End job on node133 at 2019-09-14 05:22:03