Trace number 4393831

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 parallelOPT1105 54.5562 8.14775

General information on the benchmark

NameKnapsack/Knapsack-m1-s50/
Knapsack-50-200-05.xml
MD5SUMfc947c5025dc4a3c0350e3415d914057
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark1105
Best CPU time to get the best result obtained on this benchmark20.4113
Satisfiable
(Un)Satisfiability was proved
Number of variables50
Number of constraints1
Number of domains1
Minimum domain size2
Maximum domain size2
Distribution of domain sizes[{"size":2,"count":50}]
Minimum variable degree2
Maximum variable degree2
Distribution of variable degrees[{"degree":2,"count":50}]
Minimum constraint arity50
Maximum constraint arity50
Distribution of constraint arities[{"arity":50,"count":1}]
Number of extensional constraints0
Number of intensional constraints0
Distribution of constraint types[{"type":"sum","count":1}]
Optimization problemYES
Type of objectivemax SUM

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-4393831-1568433900.xml"  -tl '20160s' -p 8
0.13/0.18	c Choco e747e1e
0.13/0.18	c [HOME/instance-4393831-1568433900.xml, -tl, 20160s, -p, 8]
0.34/0.22	c 8 solvers in parallel
0.34/0.28	c parse instance...
0.72/0.47	c solve instance...
0.72/0.51	o 0 
0.72/0.52	o 71 
1.05/0.53	o 89 
1.05/0.53	o 116 
1.05/0.53	o 301 
1.05/0.55	o 302 
1.05/0.56	o 309 
1.05/0.56	o 313 
1.05/0.56	o 314 
1.05/0.56	o 315 
1.05/0.57	java.util.concurrent.ExecutionException: org.chocosolver.solver.exception.SolverException: Learn a weak clause (47/49)
1.05/0.57		at java.util.concurrent.ForkJoinTask.get(ForkJoinTask.java:1006)
1.05/0.57		at org.chocosolver.solver.ParallelPortfolio.solve(ParallelPortfolio.java:207)
1.05/0.57		at org.chocosolver.parser.xcsp.XCSP.manyThread(XCSP.java:162)
1.05/0.57		at org.chocosolver.parser.xcsp.XCSP.solve(XCSP.java:132)
1.05/0.57		at org.chocosolver.parser.xcsp.ChocoXCSP.main(ChocoXCSP.java:24)
1.05/0.57	Caused by: org.chocosolver.solver.exception.SolverException: Learn a weak clause (47/49)
1.05/0.57		at org.chocosolver.solver.constraints.nary.clauses.ClauseStore.check(ClauseStore.java:201)
1.05/0.57		at org.chocosolver.solver.constraints.nary.clauses.ClauseStore.forget(ClauseStore.java:219)
1.05/0.57		at org.chocosolver.solver.search.loop.learn.LearnSignedClauses.forget(LearnSignedClauses.java:90)
1.05/0.57		at org.chocosolver.solver.Solver.repair(Solver.java:443)
1.05/0.57		at org.chocosolver.solver.Solver.searchLoop(Solver.java:301)
1.05/0.57		at org.chocosolver.solver.Solver.solve(Solver.java:262)
1.05/0.57		at org.chocosolver.solver.ParallelPortfolio.lambda$null$0(ParallelPortfolio.java:202)
1.05/0.57		at java.util.stream.ForEachOps$ForEachOp$OfRef.accept(ForEachOps.java:184)
1.05/0.57		at java.util.ArrayList$ArrayListSpliterator.forEachRemaining(ArrayList.java:1374)
1.05/0.57		at java.util.stream.AbstractPipeline.copyInto(AbstractPipeline.java:481)
1.05/0.57		at java.util.stream.ForEachOps$ForEachTask.compute(ForEachOps.java:291)
1.05/0.57		at java.util.concurrent.CountedCompleter.exec(CountedCompleter.java:731)
1.05/0.57		at java.util.concurrent.ForkJoinTask.doExec(ForkJoinTask.java:289)
1.05/0.57		at java.util.concurrent.ForkJoinPool$WorkQueue.runTask(ForkJoinPool.java:1056)
1.05/0.57		at java.util.concurrent.ForkJoinPool.runWorker(ForkJoinPool.java:1692)
1.05/0.57		at java.util.concurrent.ForkJoinWorkerThread.run(ForkJoinWorkerThread.java:157)
1.05/0.57	o 316 
1.05/0.57	o 334 
1.05/0.57	o 344 
1.05/0.57	o 382 
1.05/0.58	o 383 
1.05/0.58	o 390 
1.05/0.58	o 394 
1.05/0.58	o 395 
1.05/0.58	o 401 
1.05/0.58	o 405 
1.05/0.58	o 406 
1.05/0.59	o 409 
1.05/0.59	o 436 
1.05/0.59	o 441 
1.05/0.60	o 449 
1.05/0.60	o 460 
1.05/0.60	o 464 
1.05/0.60	o 502 
1.05/0.60	o 506 
1.05/0.60	o 512 
1.05/0.60	o 524 
1.42/0.61	o 562 
1.42/0.61	o 566 
1.42/0.62	o 581 
1.42/0.62	o 600 
1.42/0.63	o 604 
1.42/0.63	o 605 
1.42/0.64	o 618 
1.42/0.65	o 663 
1.42/0.65	o 666 
1.42/0.67	o 723 
1.42/0.67	o 782 
1.42/0.68	o 793 
1.42/0.69	o 802 
1.42/0.69	o 804 
1.95/0.71	o 806 
1.95/0.71	o 817 
1.95/0.71	java.util.concurrent.ExecutionException: org.chocosolver.solver.exception.SolverException: Learn a weak clause (37/39)
1.95/0.71		at java.util.concurrent.ForkJoinTask.get(ForkJoinTask.java:1006)
1.95/0.71		at org.chocosolver.solver.ParallelPortfolio.solve(ParallelPortfolio.java:207)
1.95/0.71		at org.chocosolver.parser.xcsp.XCSP.manyThread(XCSP.java:162)
1.95/0.71		at org.chocosolver.parser.xcsp.XCSP.solve(XCSP.java:132)
1.95/0.71		at org.chocosolver.parser.xcsp.ChocoXCSP.main(ChocoXCSP.java:24)
1.95/0.71	Caused by: org.chocosolver.solver.exception.SolverException: Learn a weak clause (37/39)
1.95/0.72		at org.chocosolver.solver.constraints.nary.clauses.ClauseStore.check(ClauseStore.java:201)
1.95/0.72		at org.chocosolver.solver.constraints.nary.clauses.ClauseStore.forget(ClauseStore.java:219)
1.95/0.72		at org.chocosolver.solver.search.loop.learn.LearnSignedClauses.forget(LearnSignedClauses.java:90)
1.95/0.72		at org.chocosolver.solver.Solver.repair(Solver.java:443)
1.95/0.72		at org.chocosolver.solver.Solver.searchLoop(Solver.java:301)
1.95/0.72		at org.chocosolver.solver.Solver.solve(Solver.java:262)
1.95/0.72		at org.chocosolver.solver.ParallelPortfolio.lambda$null$0(ParallelPortfolio.java:202)
1.95/0.72		at java.util.stream.ForEachOps$ForEachOp$OfRef.accept(ForEachOps.java:184)
1.95/0.72		at java.util.ArrayList$ArrayListSpliterator.forEachRemaining(ArrayList.java:1374)
1.95/0.72		at java.util.stream.AbstractPipeline.copyInto(AbstractPipeline.java:481)
1.95/0.72		at java.util.stream.ForEachOps$ForEachTask.compute(ForEachOps.java:291)
1.95/0.72		at java.util.concurrent.CountedCompleter.exec(CountedCompleter.java:731)
1.95/0.72		at java.util.concurrent.ForkJoinTask.doExec(ForkJoinTask.java:289)
1.95/0.72		at java.util.concurrent.ForkJoinPool$WorkQueue.runTask(ForkJoinPool.java:1056)
1.95/0.72		at java.util.concurrent.ForkJoinPool.runWorker(ForkJoinPool.java:1692)
1.95/0.72		at java.util.concurrent.ForkJoinWorkerThread.run(ForkJoinWorkerThread.java:157)
1.95/0.72	o 832 
1.95/0.74	o 855 
1.95/0.74	o 862 
1.95/0.74	o 890 
1.95/0.75	o 891 
1.95/0.78	o 892 
1.95/0.78	o 893 
2.60/0.80	o 895 
2.60/0.80	o 953 
2.60/0.82	o 960 
2.60/0.85	o 969 
2.60/0.88	o 989 
2.60/0.88	o 992 
2.60/0.89	o 1003 
3.27/0.90	o 1014 
3.27/0.91	o 1034 
3.27/0.92	o 1047 
3.27/0.95	o 1073 
3.27/0.96	o 1074 
3.27/0.98	o 1081 
3.27/0.98	o 1105 
54.45/8.13	java.util.concurrent.ExecutionException: org.chocosolver.solver.exception.SolverException: Learn a weak clause (25/29)
54.45/8.13		at java.util.concurrent.ForkJoinTask.get(ForkJoinTask.java:1006)
54.45/8.13		at org.chocosolver.solver.ParallelPortfolio.solve(ParallelPortfolio.java:207)
54.45/8.13		at org.chocosolver.parser.xcsp.XCSP.manyThread(XCSP.java:162)
54.45/8.13		at org.chocosolver.parser.xcsp.XCSP.solve(XCSP.java:132)
54.45/8.13		at org.chocosolver.parser.xcsp.ChocoXCSP.main(ChocoXCSP.java:24)
54.45/8.13	Caused by: org.chocosolver.solver.exception.SolverException: Learn a weak clause (25/29)
54.45/8.13		at org.chocosolver.solver.constraints.nary.clauses.ClauseStore.check(ClauseStore.java:201)
54.45/8.13		at org.chocosolver.solver.constraints.nary.clauses.ClauseStore.forget(ClauseStore.java:219)
54.45/8.13		at org.chocosolver.solver.search.loop.learn.LearnSignedClauses.forget(LearnSignedClauses.java:90)
54.45/8.13		at org.chocosolver.solver.Solver.repair(Solver.java:443)
54.45/8.13		at org.chocosolver.solver.Solver.searchLoop(Solver.java:301)
54.45/8.13		at org.chocosolver.solver.Solver.solve(Solver.java:262)
54.45/8.13		at org.chocosolver.solver.ParallelPortfolio.lambda$null$0(ParallelPortfolio.java:202)
54.45/8.13		at java.util.stream.ForEachOps$ForEachOp$OfRef.accept(ForEachOps.java:184)
54.45/8.13		at java.util.ArrayList$ArrayListSpliterator.forEachRemaining(ArrayList.java:1374)
54.45/8.13		at java.util.stream.AbstractPipeline.copyInto(AbstractPipeline.java:481)
54.45/8.13		at java.util.stream.ForEachOps$ForEachTask.compute(ForEachOps.java:291)
54.45/8.13		at java.util.concurrent.CountedCompleter.exec(CountedCompleter.java:731)
54.45/8.13		at java.util.concurrent.ForkJoinTask.doExec(ForkJoinTask.java:289)
54.45/8.13		at java.util.concurrent.ForkJoinPool$WorkQueue.runTask(ForkJoinPool.java:1056)
54.45/8.13		at java.util.concurrent.ForkJoinPool.runWorker(ForkJoinPool.java:1692)
54.45/8.13		at java.util.concurrent.ForkJoinWorkerThread.run(ForkJoinWorkerThread.java:157)
54.45/8.13	s OPTIMUM FOUND
54.45/8.13	v <instantiation>
54.45/8.13	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] x[27] x[28] x[29] x[30] x[31] x[32] x[33] x[34] x[35] x[36] x[37] x[38] x[39] x[40] x[41] x[42] x[43] x[44] x[45] x[46] x[47] x[48] x[49] </list>
54.45/8.13	v 	<values>0 0 0 0 0 1 1 0 0 0 1 1 0 0 1 0 0 1 0 0 1 0 1 1 1 1 0 0 0 1 0 0 1 0 1 0 0 0 1 0 0 1 0 0 0 0 1 0 1 0 </values>
54.45/8.13	v </instantiation>

Verifier Data 

OK	1105

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4393831-1568433900/watcher-4393831-1568433900 -o /tmp/evaluation-result-4393831-1568433900/solver-4393831-1568433900 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node117-1568427144-15778 --watchdog 2580 xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 1999569781 HOME/instance-4393831-1568433900.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
Current StackSize limit: 8192 KiB

Starting watchdog thread
solver pid=26771, runsolver pid=26768

[startup+0.100134 s]*
/proc/loadavg: 4.48 5.35 4.13 3/212 26792
/proc/meminfo: memFree=30910872/32770624 swapFree=66947792/67108860
[pid=26771] ppid=26768 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/26771/stat : 26771 (xcsp3-exec) S 26768 26771 15751 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 419331887 115843072 363 33554432000 4194304 5098028 140729932719008 140729932717112 140414902772348 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 34074624 140729932723061 140729932723305 140729932723305 140729932726218 0
/proc/26771/statm: 28282 363 304 221 0 87 0
[pid=26773] ppid=26771 vsize=28227388 memory=29168 CPUtime=0.13 cores=0-7
/proc/26773/stat : 26773 (java) S 26771 26771 15751 0 -1 1077944320 5697 0 0 0 11 2 0 0 20 0 20 0 419331887 28904845312 7292 33554432000 4194304 4196468 140730184419568 140730184402112 139971293601527 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 32399360 140730184422378 140730184422550 140730184422550 140730184425423 0
/proc/26773/statm: 7056847 7292 3155 1 0 7019032 0
[pid=26773/tid=26774] ppid=26771 vsize=28227388 memory=8317482817917895235 CPUtime=0.09 cores=0-7
/proc/26773/task/26774/stat : 26774 (java) R 26771 26771 15751 0 -1 4202560 3605 0 0 0 8 1 0 0 20 0 20 0 419331888 28904845312 7292 33554432000 4194304 4196468 140730184419568 139971297837872 139971278969664 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 32399360 140730184422378 140730184422550 140730184422550 140730184425423 0
[pid=26773/tid=26775] ppid=26771 vsize=28227388 memory=4872558044660077418 CPUtime=0 cores=0-7
/proc/26773/task/26775/stat : 26775 (java) S 26771 26771 15751 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419331888 28904845312 7292 33554432000 4194304 4196468 140730184419568 139971246221840 139971293611733 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32399360 140730184422378 140730184422550 140730184422550 140730184425423 0
[pid=26773/tid=26776] ppid=26771 vsize=28227388 memory=140591598302848 CPUtime=0 cores=0-7
/proc/26773/task/26776/stat : 26776 (java) S 26771 26771 15751 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419331888 28904845312 7292 33554432000 4194304 4196468 140730184419568 139971245169296 139971293611733 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32399360 140730184422378 140730184422550 140730184422550 140730184425423 0
[pid=26773/tid=26777] ppid=26771 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/26773/task/26777/stat : 26777 (java) S 26771 26771 15751 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419331888 28904845312 7292 33554432000 4194304 4196468 140730184419568 139971244116240 139971293611733 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32399360 140730184422378 140730184422550 140730184422550 140730184425423 0
[pid=26773/tid=26778] ppid=26771 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/26773/task/26778/stat : 26778 (java) S 26771 26771 15751 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419331888 28904845312 7292 33554432000 4194304 4196468 140730184419568 139971243063696 139971293611733 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32399360 140730184422378 140730184422550 140730184422550 140730184425423 0
[pid=26773/tid=26779] ppid=26771 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/26773/task/26779/stat : 26779 (java) S 26771 26771 15751 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419331888 28904845312 7292 33554432000 4194304 4196468 140730184419568 139971242011664 139971293611733 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32399360 140730184422378 140730184422550 140730184422550 140730184425423 0
[pid=26773/tid=26780] ppid=26771 vsize=28227388 memory=-1 CPUtime=0 cores=0-7
/proc/26773/task/26780/stat : 26780 (java) S 26771 26771 15751 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419331888 28904845312 7292 33554432000 4194304 4196468 140730184419568 139971240959120 139971293611733 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32399360 140730184422378 140730184422550 140730184422550 140730184425423 0
[pid=26773/tid=26781] ppid=26771 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/26773/task/26781/stat : 26781 (java) S 26771 26771 15751 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419331888 28904845312 7292 33554432000 4194304 4196468 140730184419568 139970838649616 139971293611733 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32399360 140730184422378 140730184422550 140730184422550 140730184425423 0
[pid=26773/tid=26782] ppid=26771 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/26773/task/26782/stat : 26782 (java) S 26771 26771 15751 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419331888 28904845312 7292 33554432000 4194304 4196468 140730184419568 139970837597072 139971293611733 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32399360 140730184422378 140730184422550 140730184422550 140730184425423 0
[pid=26773/tid=26783] ppid=26771 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/26773/task/26783/stat : 26783 (java) S 26771 26771 15751 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419331890 28904845312 7292 33554432000 4194304 4196468 140730184419568 139970678364400 139971293612674 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32399360 140730184422378 140730184422550 140730184422550 140730184425423 0
[pid=26773/tid=26784] ppid=26771 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/26773/task/26784/stat : 26784 (java) S 26771 26771 15751 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 419331890 28904845312 7292 33554432000 4194304 4196468 140730184419568 139970677310624 139971293611733 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32399360 140730184422378 140730184422550 140730184422550 140730184425423 0
[pid=26773/tid=26785] ppid=26771 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/26773/task/26785/stat : 26785 (java) S 26771 26771 15751 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 419331891 28904845312 7292 33554432000 4194304 4196468 140730184419568 139970676257520 139971293611733 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32399360 140730184422378 140730184422550 140730184422550 140730184425423 0
[pid=26773/tid=26786] ppid=26771 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/26773/task/26786/stat : 26786 (java) S 26771 26771 15751 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419331893 28904845312 7292 33554432000 4194304 4196468 140730184419568 139970675206096 139971293620123 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32399360 140730184422378 140730184422550 140730184422550 140730184425423 0
[pid=26773/tid=26787] ppid=26771 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/26773/task/26787/stat : 26787 (java) S 26771 26771 15751 0 -1 1077944384 413 0 0 0 0 0 0 0 20 0 20 0 419331893 28904845312 7292 33554432000 4194304 4196468 140730184419568 139970674154224 139971293612674 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32399360 140730184422378 140730184422550 140730184422550 140730184425423 0
[pid=26773/tid=26788] ppid=26771 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/26773/task/26788/stat : 26788 (java) S 26771 26771 15751 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419331893 28904845312 7292 33554432000 4194304 4196468 140730184419568 139970673101680 139971293612674 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32399360 140730184422378 140730184422550 140730184422550 140730184425423 0
[pid=26773/tid=26789] ppid=26771 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/26773/task/26789/stat : 26789 (java) S 26771 26771 15751 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419331893 28904845312 7292 33554432000 4194304 4196468 140730184419568 139970672048624 139971293612674 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32399360 140730184422378 140730184422550 140730184422550 140730184425423 0
[pid=26773/tid=26790] ppid=26771 vsize=28227388 memory=0 CPUtime=0.02 cores=0-7
/proc/26773/task/26790/stat : 26790 (java) R 26771 26771 15751 0 -1 4202560 362 0 0 0 2 0 0 0 20 0 20 0 419331893 28904845312 7292 33554432000 4194304 4196468 140730184419568 139970670996080 139971293622874 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 32399360 140730184422378 140730184422550 140730184422550 140730184425423 0
[pid=26773/tid=26791] ppid=26771 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/26773/task/26791/stat : 26791 (java) S 26771 26771 15751 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419331893 28904845312 7292 33554432000 4194304 4196468 140730184419568 139970669943264 139971293611733 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32399360 140730184422378 140730184422550 140730184422550 140730184425423 0
[pid=26773/tid=26792] ppid=26771 vsize=28227388 memory=-1 CPUtime=0 cores=0-7
/proc/26773/task/26792/stat : 26792 (java) S 26771 26771 15751 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419331894 28904845312 7292 33554432000 4194304 4196468 140730184419568 139970668890800 139971293612674 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32399360 140730184422378 140730184422550 140730184422550 140730184425423 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 28340516 KiB
Current children cumulated memory: 30620 KiB

[startup+0.21072 s]*
/proc/loadavg: 4.48 5.35 4.13 2/212 26792
/proc/meminfo: memFree=30897260/32770624 swapFree=66947792/67108860
[pid=26771] ppid=26768 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/26771/stat : 26771 (xcsp3-exec) S 26768 26771 15751 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 419331887 115843072 363 33554432000 4194304 5098028 140729932719008 140729932717112 140414902772348 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 34074624 140729932723061 140729932723305 140729932723305 140729932726218 0
/proc/26771/statm: 28282 363 304 221 0 87 0
[pid=26773] ppid=26771 vsize=28227388 memory=40908 CPUtime=0.34 cores=0-7
/proc/26773/stat : 26773 (java) S 26771 26771 15751 0 -1 1077944320 9512 0 0 0 30 4 0 0 20 0 20 0 419331887 28904845312 10227 33554432000 4194304 4196468 140730184419568 140730184402112 139971293601527 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 32399360 140730184422378 140730184422550 140730184422550 140730184425423 0
/proc/26773/statm: 7056847 10227 3295 1 0 7019032 0
[pid=26773/tid=26774] ppid=26771 vsize=28227388 memory=8318255677412212789 CPUtime=0.19 cores=0-7
/proc/26773/task/26774/stat : 26774 (java) R 26771 26771 15751 0 -1 4202560 6634 0 0 0 17 2 0 0 20 0 20 0 419331888 28904845312 10227 33554432000 4194304 4196468 140730184419568 139971297835584 139971293613462 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 32399360 140730184422378 140730184422550 140730184422550 140730184425423 0
[pid=26773/tid=26775] ppid=26771 vsize=28227388 memory=328 CPUtime=0 cores=0-7
/proc/26773/task/26775/stat : 26775 (java) S 26771 26771 15751 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419331888 28904845312 10227 33554432000 4194304 4196468 140730184419568 139971246221840 139971293611733 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32399360 140730184422378 140730184422550 140730184422550 140730184425423 0
[pid=26773/tid=26776] ppid=26771 vsize=28227388 memory=140591601268733 CPUtime=0 cores=0-7
/proc/26773/task/26776/stat : 26776 (java) S 26771 26771 15751 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419331888 28904845312 10227 33554432000 4194304 4196468 140730184419568 139971245169296 139971293611733 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32399360 140730184422378 140730184422550 140730184422550 140730184425423 0
[pid=26773/tid=26777] ppid=26771 vsize=28227388 memory=-1 CPUtime=0 cores=0-7
/proc/26773/task/26777/stat : 26777 (java) S 26771 26771 15751 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419331888 28904845312 10227 33554432000 4194304 4196468 140730184419568 139971244116240 139971293611733 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32399360 140730184422378 140730184422550 140730184422550 140730184425423 0
[pid=26773/tid=26778] ppid=26771 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/26773/task/26778/stat : 26778 (java) S 26771 26771 15751 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419331888 28904845312 10227 33554432000 4194304 4196468 140730184419568 139971243063696 139971293611733 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32399360 140730184422378 140730184422550 140730184422550 140730184425423 0
[pid=26773/tid=26779] ppid=26771 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/26773/task/26779/stat : 26779 (java) S 26771 26771 15751 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419331888 28904845312 10227 33554432000 4194304 4196468 140730184419568 139971242011664 139971293611733 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32399360 140730184422378 140730184422550 140730184422550 140730184425423 0
[pid=26773/tid=26780] ppid=26771 vsize=28227388 memory=-1 CPUtime=0 cores=0-7
/proc/26773/task/26780/stat : 26780 (java) S 26771 26771 15751 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419331888 28904845312 10227 33554432000 4194304 4196468 140730184419568 139971240959120 139971293611733 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32399360 140730184422378 140730184422550 140730184422550 140730184425423 0
[pid=26773/tid=26781] ppid=26771 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/26773/task/26781/stat : 26781 (java) S 26771 26771 15751 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419331888 28904845312 10227 33554432000 4194304 4196468 140730184419568 139970838649616 139971293611733 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32399360 140730184422378 140730184422550 140730184422550 140730184425423 0
[pid=26773/tid=26782] ppid=26771 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/26773/task/26782/stat : 26782 (java) S 26771 26771 15751 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419331888 28904845312 10227 33554432000 4194304 4196468 140730184419568 139970837597072 139971293611733 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32399360 140730184422378 140730184422550 140730184422550 140730184425423 0
[pid=26773/tid=26783] ppid=26771 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/26773/task/26783/stat : 26783 (java) S 26771 26771 15751 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 419331890 28904845312 10227 33554432000 4194304 4196468 140730184419568 139970678364400 139971293612674 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32399360 140730184422378 140730184422550 140730184422550 140730184425423 0
[pid=26773/tid=26784] ppid=26771 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/26773/task/26784/stat : 26784 (java) S 26771 26771 15751 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 419331890 28904845312 10227 33554432000 4194304 4196468 140730184419568 139970677310624 139971293611733 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32399360 140730184422378 140730184422550 140730184422550 140730184425423 0
[pid=26773/tid=26785] ppid=26771 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/26773/task/26785/stat : 26785 (java) S 26771 26771 15751 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 419331891 28904845312 10227 33554432000 4194304 4196468 140730184419568 139970676257520 139971293611733 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32399360 140730184422378 140730184422550 140730184422550 140730184425423 0
[pid=26773/tid=26786] ppid=26771 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/26773/task/26786/stat : 26786 (java) S 26771 26771 15751 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419331893 28904845312 10227 33554432000 4194304 4196468 140730184419568 139970675206096 139971293620123 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32399360 140730184422378 140730184422550 140730184422550 140730184425423 0
[pid=26773/tid=26787] ppid=26771 vsize=28227388 memory=0 CPUtime=0.01 cores=0-7
/proc/26773/task/26787/stat : 26787 (java) S 26771 26771 15751 0 -1 1077944384 507 0 0 0 1 0 0 0 20 0 20 0 419331893 28904845312 10227 33554432000 4194304 4196468 140730184419568 139970674154224 139971293612674 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32399360 140730184422378 140730184422550 140730184422550 140730184425423 0
[pid=26773/tid=26788] ppid=26771 vsize=28227388 memory=0 CPUtime=0.02 cores=0-7
/proc/26773/task/26788/stat : 26788 (java) S 26771 26771 15751 0 -1 1077944384 249 0 0 0 2 0 0 0 20 0 20 0 419331893 28904845312 10227 33554432000 4194304 4196468 140730184419568 139970673101680 139971293612674 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32399360 140730184422378 140730184422550 140730184422550 140730184425423 0
[pid=26773/tid=26789] ppid=26771 vsize=28227388 memory=-1 CPUtime=0.01 cores=0-7
/proc/26773/task/26789/stat : 26789 (java) S 26771 26771 15751 0 -1 1077944384 33 0 0 0 1 0 0 0 20 0 20 0 419331893 28904845312 10227 33554432000 4194304 4196468 140730184419568 139970672048624 139971293612674 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32399360 140730184422378 140730184422550 140730184422550 140730184425423 0
[pid=26773/tid=26790] ppid=26771 vsize=28227388 memory=-1 CPUtime=0.08 cores=0-7
/proc/26773/task/26790/stat : 26790 (java) R 26771 26771 15751 0 -1 4202560 774 0 0 0 8 0 0 0 20 0 20 0 419331893 28904845312 10227 33554432000 4194304 4196468 140730184419568 139970670996080 139971271749653 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 32399360 140730184422378 140730184422550 140730184422550 140730184425423 0
[pid=26773/tid=26791] ppid=26771 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/26773/task/26791/stat : 26791 (java) S 26771 26771 15751 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419331893 28904845312 10227 33554432000 4194304 4196468 140730184419568 139970669943264 139971293611733 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32399360 140730184422378 140730184422550 140730184422550 140730184425423 0
[pid=26773/tid=26792] ppid=26771 vsize=28227388 memory=-1 CPUtime=0 cores=0-7
/proc/26773/task/26792/stat : 26792 (java) S 26771 26771 15751 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419331894 28904845312 10227 33554432000 4194304 4196468 140730184419568 139970668890800 139971293612674 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32399360 140730184422378 140730184422550 140730184422550 140730184425423 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 28340516 KiB
Current children cumulated memory: 42360 KiB

[startup+0.310654 s]*
/proc/loadavg: 4.48 5.35 4.13 3/212 26792
/proc/meminfo: memFree=30889628/32770624 swapFree=66947792/67108860
[pid=26771] ppid=26768 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/26771/stat : 26771 (xcsp3-exec) S 26768 26771 15751 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 419331887 115843072 363 33554432000 4194304 5098028 140729932719008 140729932717112 140414902772348 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 34074624 140729932723061 140729932723305 140729932723305 140729932726218 0
/proc/26771/statm: 28282 363 304 221 0 87 0
[pid=26773] ppid=26771 vsize=28231644 memory=49832 CPUtime=0.53 cores=0-7
/proc/26773/stat : 26773 (java) S 26771 26771 15751 0 -1 1077944320 10871 0 0 0 48 5 0 0 20 0 20 0 419331887 28909203456 12458 33554432000 4194304 4196468 140730184419568 140730184402112 139971293601527 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 32399360 140730184422378 140730184422550 140730184422550 140730184425423 0
/proc/26773/statm: 7057911 12458 3334 1 0 7019032 0
[pid=26773/tid=26774] ppid=26771 vsize=28231644 memory=8317482817917895235 CPUtime=0.29 cores=0-7
/proc/26773/task/26774/stat : 26774 (java) R 26771 26771 15751 0 -1 4202560 7782 0 0 0 26 3 0 0 20 0 20 0 419331888 28909203456 12458 33554432000 4194304 4196468 140730184419568 139971297834552 139971293623453 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 32399360 140730184422378 140730184422550 140730184422550 140730184425423 0
[pid=26773/tid=26775] ppid=26771 vsize=28231644 memory=0 CPUtime=0 cores=0-7
/proc/26773/task/26775/stat : 26775 (java) S 26771 26771 15751 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419331888 28909203456 12458 33554432000 4194304 4196468 140730184419568 139971246221840 139971293611733 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32399360 140730184422378 140730184422550 140730184422550 140730184425423 0
[pid=26773/tid=26776] ppid=26771 vsize=28231644 memory=0 CPUtime=0 cores=0-7
/proc/26773/task/26776/stat : 26776 (java) S 26771 26771 15751 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419331888 28909203456 12458 33554432000 4194304 4196468 140730184419568 139971245169296 139971293611733 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32399360 140730184422378 140730184422550 140730184422550 140730184425423 0
[pid=26773/tid=26777] ppid=26771 vsize=28231644 memory=0 CPUtime=0 cores=0-7
/proc/26773/task/26777/stat : 26777 (java) S 26771 26771 15751 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419331888 28909203456 12458 33554432000 4194304 4196468 140730184419568 139971244116240 139971293611733 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32399360 140730184422378 140730184422550 140730184422550 140730184425423 0
[pid=26773/tid=26778] ppid=26771 vsize=28231644 memory=0 CPUtime=0 cores=0-7
/proc/26773/task/26778/stat : 26778 (java) S 26771 26771 15751 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419331888 28909203456 12458 33554432000 4194304 4196468 140730184419568 139971243063696 139971293611733 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32399360 140730184422378 140730184422550 140730184422550 140730184425423 0
[pid=26773/tid=26779] ppid=26771 vsize=28231644 memory=0 CPUtime=0 cores=0-7
/proc/26773/task/26779/stat : 26779 (java) S 26771 26771 15751 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419331888 28909203456 12458 33554432000 4194304 4196468 140730184419568 139971242011664 139971293611733 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32399360 140730184422378 140730184422550 140730184422550 140730184425423 0
[pid=26773/tid=26780] ppid=26771 vsize=28231644 memory=140591459560111 CPUtime=0 cores=0-7
/proc/26773/task/26780/stat : 26780 (java) S 26771 26771 15751 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419331888 28909203456 12458 33554432000 4194304 4196468 140730184419568 139971240959120 139971293611733 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32399360 140730184422378 140730184422550 140730184422550 140730184425423 0
[pid=26773/tid=26781] ppid=26771 vsize=28231644 memory=140591459562416 CPUtime=0 cores=0-7
/proc/26773/task/26781/stat : 26781 (java) S 26771 26771 15751 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419331888 28909203456 12458 33554432000 4194304 4196468 140730184419568 139970838649616 139971293611733 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32399360 140730184422378 140730184422550 140730184422550 140730184425423 0
[pid=26773/tid=26782] ppid=26771 vsize=28231644 memory=140591459564720 CPUtime=0 cores=0-7
/proc/26773/task/26782/stat : 26782 (java) S 26771 26771 15751 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419331888 28909203456 12458 33554432000 4194304 4196468 140730184419568 139970837597072 139971293611733 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32399360 140730184422378 140730184422550 140730184422550 140730184425423 0
[pid=26773/tid=26783] ppid=26771 vsize=28231644 memory=0 CPUtime=0 cores=0-7
/proc/26773/task/26783/stat : 26783 (java) S 26771 26771 15751 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 419331890 28909203456 12458 33554432000 4194304 4196468 140730184419568 139970678364400 139971293612674 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32399360 140730184422378 140730184422550 140730184422550 140730184425423 0
[pid=26773/tid=26784] ppid=26771 vsize=28231644 memory=281182919143312 CPUtime=0 cores=0-7
/proc/26773/task/26784/stat : 26784 (java) S 26771 26771 15751 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 419331890 28909203456 12458 33554432000 4194304 4196468 140730184419568 139970677310624 139971293611733 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32399360 140730184422378 140730184422550 140730184422550 140730184425423 0
[pid=26773/tid=26785] ppid=26771 vsize=28231644 memory=281182919141008 CPUtime=0 cores=0-7
/proc/26773/task/26785/stat : 26785 (java) S 26771 26771 15751 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 419331891 28909203456 12458 33554432000 4194304 4196468 140730184419568 139970676257520 139971293611733 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32399360 140730184422378 140730184422550 140730184422550 140730184425423 0
[pid=26773/tid=26786] ppid=26771 vsize=28231644 memory=281182919147920 CPUtime=0 cores=0-7
/proc/26773/task/26786/stat : 26786 (java) S 26771 26771 15751 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419331893 28909203456 12458 33554432000 4194304 4196468 140730184419568 139970675206096 139971293620123 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32399360 140730184422378 140730184422550 140730184422550 140730184425423 0
[pid=26773/tid=26787] ppid=26771 vsize=28231644 memory=281182919089200 CPUtime=0.03 cores=0-7
/proc/26773/task/26787/stat : 26787 (java) R 26771 26771 15751 0 -1 4202560 602 0 0 0 3 0 0 0 20 0 20 0 419331893 28909203456 12458 33554432000 4194304 4196468 140730184419568 139970674135240 139971278727361 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 32399360 140730184422378 140730184422550 140730184422550 140730184425423 0
[pid=26773/tid=26788] ppid=26771 vsize=28231644 memory=281182919161744 CPUtime=0.04 cores=0-7
/proc/26773/task/26788/stat : 26788 (java) S 26771 26771 15751 0 -1 1077944384 263 0 0 0 4 0 0 0 20 0 20 0 419331893 28909203456 12458 33554432000 4194304 4196468 140730184419568 139970673101680 139971293612674 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32399360 140730184422378 140730184422550 140730184422550 140730184425423 0
[pid=26773/tid=26789] ppid=26771 vsize=28231644 memory=281182919168656 CPUtime=0.01 cores=0-7
/proc/26773/task/26789/stat : 26789 (java) S 26771 26771 15751 0 -1 1077944384 45 0 0 0 1 0 0 0 20 0 20 0 419331893 28909203456 12458 33554432000 4194304 4196468 140730184419568 139970672048624 139971293612674 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32399360 140730184422378 140730184422550 140730184422550 140730184425423 0
[pid=26773/tid=26790] ppid=26771 vsize=28231644 memory=281182919166352 CPUtime=0.12 cores=0-7
/proc/26773/task/26790/stat : 26790 (java) S 26771 26771 15751 0 -1 1077944384 871 0 0 0 12 0 0 0 20 0 20 0 419331893 28909203456 12458 33554432000 4194304 4196468 140730184419568 139970670996080 139971293612674 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32399360 140730184422378 140730184422550 140730184422550 140730184425423 0
[pid=26773/tid=26791] ppid=26771 vsize=28231644 memory=0 CPUtime=0 cores=0-7
/proc/26773/task/26791/stat : 26791 (java) S 26771 26771 15751 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419331893 28909203456 12458 33554432000 4194304 4196468 140730184419568 139970669943264 139971293611733 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32399360 140730184422378 140730184422550 140730184422550 140730184425423 0
[pid=26773/tid=26792] ppid=26771 vsize=28231644 memory=-1 CPUtime=0 cores=0-7
/proc/26773/task/26792/stat : 26792 (java) S 26771 26771 15751 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419331894 28909203456 12458 33554432000 4194304 4196468 140730184419568 139970668890800 139971293612674 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32399360 140730184422378 140730184422550 140730184422550 140730184425423 0
Current children cumulated CPU time: 0.53 s
Current children cumulated vsize: 28344772 KiB
Current children cumulated memory: 51284 KiB

[startup+0.706504 s]
/proc/loadavg: 4.48 5.35 4.13 6/220 26800
/proc/meminfo: memFree=30854116/32770624 swapFree=66947792/67108860
[pid=26771] ppid=26768 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/26771/stat : 26771 (xcsp3-exec) S 26768 26771 15751 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 419331887 115843072 363 33554432000 4194304 5098028 140729932719008 140729932717112 140414902772348 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 34074624 140729932723061 140729932723305 140729932723305 140729932726218 0
/proc/26771/statm: 28282 363 304 221 0 87 0
[pid=26773] ppid=26771 vsize=28899408 memory=319236 CPUtime=1.95 cores=0-7
/proc/26773/stat : 26773 (java) S 26771 26771 15751 0 -1 1077944320 21633 0 0 0 177 18 0 0 20 0 28 0 419331887 29592993792 79809 33554432000 4194304 4196468 140730184419568 140730184402112 139971293601527 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 32399360 140730184422378 140730184422550 140730184422550 140730184425423 0
/proc/26773/statm: 7224852 79809 3480 1 0 7185954 0
[pid=26773/tid=26774] ppid=26771 vsize=28899408 memory=0 CPUtime=0.49 cores=0-7
/proc/26773/task/26774/stat : 26774 (java) S 26771 26771 15751 0 -1 1077944384 9133 0 0 0 44 5 0 0 20 0 28 0 419331888 29592993792 79809 33554432000 4194304 4196468 140730184419568 139971297842304 139971293611733 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32399360 140730184422378 140730184422550 140730184422550 140730184425423 0
[pid=26773/tid=26775] ppid=26771 vsize=28899408 memory=140591459771248 CPUtime=0 cores=0-7
/proc/26773/task/26775/stat : 26775 (java) S 26771 26771 15751 0 -1 1077944384 19 0 0 0 0 0 0 0 20 0 28 0 419331888 29592993792 79809 33554432000 4194304 4196468 140730184419568 139971246221840 139971293611733 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32399360 140730184422378 140730184422550 140730184422550 140730184425423 0
[pid=26773/tid=26776] ppid=26771 vsize=28899408 memory=0 CPUtime=0 cores=0-7
/proc/26773/task/26776/stat : 26776 (java) S 26771 26771 15751 0 -1 1077944384 18 0 0 0 0 0 0 0 20 0 28 0 419331888 29592993792 79809 33554432000 4194304 4196468 140730184419568 139971245169296 139971293611733 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32399360 140730184422378 140730184422550 140730184422550 140730184425423 0
[pid=26773/tid=26777] ppid=26771 vsize=28899408 memory=0 CPUtime=0 cores=0-7
/proc/26773/task/26777/stat : 26777 (java) S 26771 26771 15751 0 -1 1077944384 17 0 0 0 0 0 0 0 20 0 28 0 419331888 29592993792 79809 33554432000 4194304 4196468 140730184419568 139971244116240 139971293611733 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32399360 140730184422378 140730184422550 140730184422550 140730184425423 0

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

[pid=26773/tid=26790] ppid=26771 vsize=28901456 memory=0 CPUtime=0.62 cores=0-7
/proc/26773/task/26790/stat : 26790 (java) S 26771 26771 15751 0 -1 1077944384 3361 0 0 0 61 1 0 0 20 0 28 0 419331893 29595090944 288056 33554432000 4194304 4196468 140730184419568 139970670996080 139971293612674 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32399360 140730184422378 140730184422550 140730184422550 140730184425423 0
[pid=26773/tid=26791] ppid=26771 vsize=28901456 memory=0 CPUtime=0 cores=0-7
/proc/26773/task/26791/stat : 26791 (java) S 26771 26771 15751 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 419331893 29595090944 288056 33554432000 4194304 4196468 140730184419568 139970669943264 139971293611733 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32399360 140730184422378 140730184422550 140730184422550 140730184425423 0
[pid=26773/tid=26792] ppid=26771 vsize=28901456 memory=0 CPUtime=0 cores=0-7
/proc/26773/task/26792/stat : 26792 (java) S 26771 26771 15751 0 -1 1077944384 773 0 0 0 0 0 0 0 20 0 28 0 419331894 29595090944 288056 33554432000 4194304 4196468 140730184419568 139970668890800 139971293612674 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32399360 140730184422378 140730184422550 140730184422550 140730184425423 0
[pid=26773/tid=27337] ppid=26771 vsize=28901456 memory=7809919488297624936 CPUtime=6.28 cores=0-7
/proc/26773/task/27337/stat : 27337 (java) R 26771 26771 15751 0 -1 4202560 403 0 0 0 625 3 0 0 20 0 28 0 419331985 29595090944 288056 33554432000 4194304 4196468 140730184419568 139970657577440 139970924801310 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 32399360 140730184422378 140730184422550 140730184422550 140730184425423 0
[pid=26773/tid=27338] ppid=26771 vsize=28901456 memory=6369323969348266085 CPUtime=6.23 cores=0-7
/proc/26773/task/27338/stat : 27338 (java) R 26771 26771 15751 0 -1 4202560 125 0 0 0 620 3 0 0 20 0 28 0 419331985 29595090944 288056 33554432000 4194304 4196468 140730184419568 139970652315328 139970925220595 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 32399360 140730184422378 140730184422550 140730184422550 140730184425423 0
[pid=26773/tid=27339] ppid=26771 vsize=28901456 memory=4495815516193516642 CPUtime=6.31 cores=0-7
/proc/26773/task/27339/stat : 27339 (java) R 26771 26771 15751 0 -1 4202560 225 0 0 0 627 4 0 0 20 0 28 0 419331985 29595090944 288056 33554432000 4194304 4196468 140730184419568 139970656526656 139971278812652 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 32399360 140730184422378 140730184422550 140730184422550 140730184425423 0
[pid=26773/tid=27340] ppid=26771 vsize=28901456 memory=3620441481256527724 CPUtime=6.36 cores=0-7
/proc/26773/task/27340/stat : 27340 (java) R 26771 26771 15751 0 -1 4202560 475 0 0 0 632 4 0 0 20 0 28 0 419331985 29595090944 288056 33554432000 4194304 4196468 140730184419568 139970655474112 139971293613462 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 32399360 140730184422378 140730184422550 140730184422550 140730184425423 0
[pid=26773/tid=27341] ppid=26771 vsize=28901456 memory=3620441481256527724 CPUtime=6.27 cores=0-7
/proc/26773/task/27341/stat : 27341 (java) R 26771 26771 15751 0 -1 4202560 365 0 0 0 620 7 0 0 20 0 28 0 419331985 29595090944 288056 33554432000 4194304 4196468 140730184419568 139970650210368 139971293613462 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 32399360 140730184422378 140730184422550 140730184422550 140730184425423 0
[pid=26773/tid=27342] ppid=26771 vsize=28901456 memory=4495815516193516642 CPUtime=6.24 cores=0-7
/proc/26773/task/27342/stat : 27342 (java) R 26771 26771 15751 0 -1 4202560 426 0 0 0 618 6 0 0 20 0 28 0 419331985 29595090944 288056 33554432000 4194304 4196468 140730184419568 139970659684640 139971293622874 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 32399360 140730184422378 140730184422550 140730184422550 140730184425423 0
[pid=26773/tid=27343] ppid=26771 vsize=28901456 memory=3620441481256527724 CPUtime=0 cores=0-7
/proc/26773/task/27343/stat : 27343 (java) S 26771 26771 15751 0 -1 1077944384 16 0 0 0 0 0 0 0 20 0 28 0 419331985 29595090944 288056 33554432000 4194304 4196468 140730184419568 139970653369376 139971293611733 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32399360 140730184422378 140730184422550 140730184422550 140730184425423 0
[pid=26773/tid=27344] ppid=26771 vsize=28901456 memory=3620441481256527724 CPUtime=6.38 cores=0-7
/proc/26773/task/27344/stat : 27344 (java) R 26771 26771 15751 0 -1 4202560 594 0 0 0 630 8 0 0 20 0 28 0 419331988 29595090944 288056 33554432000 4194304 4196468 140730184419568 139970651262912 139970927246872 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 32399360 140730184422378 140730184422550 140730184422550 140730184425423 0
Current children cumulated CPU time: 50.93 s
Current children cumulated vsize: 29014584 KiB
Current children cumulated memory: 1153676 KiB

[startup+8.00124 s]*
/proc/loadavg: 4.45 5.32 4.13 7/220 27344
/proc/meminfo: memFree=29785864/32770624 swapFree=66947792/67108860
[pid=26771] ppid=26768 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/26771/stat : 26771 (xcsp3-exec) S 26768 26771 15751 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 419331887 115843072 363 33554432000 4194304 5098028 140729932719008 140729932717112 140414902772348 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 34074624 140729932723061 140729932723305 140729932723305 140729932726218 0
/proc/26771/statm: 28282 363 304 221 0 87 0
[pid=26773] ppid=26771 vsize=28901456 memory=1152244 CPUtime=53.72 cores=0-7
/proc/26773/stat : 26773 (java) S 26771 26771 15751 0 -1 1077944320 51821 0 0 0 5301 71 0 0 20 0 28 0 419331887 29595090944 288061 33554432000 4194304 4196468 140730184419568 140730184402112 139971293601527 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 32399360 140730184422378 140730184422550 140730184422550 140730184425423 0
/proc/26773/statm: 7225364 288061 3513 1 0 7186466 0
[pid=26773/tid=26774] ppid=26771 vsize=28901456 memory=8317482817917895235 CPUtime=0.5 cores=0-7
/proc/26773/task/26774/stat : 26774 (java) S 26771 26771 15751 0 -1 1077944384 9134 0 0 0 45 5 0 0 20 0 28 0 419331888 29595090944 288061 33554432000 4194304 4196468 140730184419568 139971297842304 139971293611733 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32399360 140730184422378 140730184422550 140730184422550 140730184425423 0
[pid=26773/tid=26775] ppid=26771 vsize=28901456 memory=4872558044660077418 CPUtime=0.02 cores=0-7
/proc/26773/task/26775/stat : 26775 (java) S 26771 26771 15751 0 -1 1077944384 247 0 0 0 1 1 0 0 20 0 28 0 419331888 29595090944 288061 33554432000 4194304 4196468 140730184419568 139971246221840 139971293611733 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32399360 140730184422378 140730184422550 140730184422550 140730184425423 0
[pid=26773/tid=26776] ppid=26771 vsize=28901456 memory=0 CPUtime=0.01 cores=0-7
/proc/26773/task/26776/stat : 26776 (java) S 26771 26771 15751 0 -1 1077944384 52 0 0 0 1 0 0 0 20 0 28 0 419331888 29595090944 288061 33554432000 4194304 4196468 140730184419568 139971245169296 139971293611733 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32399360 140730184422378 140730184422550 140730184422550 140730184425423 0
[pid=26773/tid=26777] ppid=26771 vsize=28901456 memory=0 CPUtime=0.01 cores=0-7
/proc/26773/task/26777/stat : 26777 (java) S 26771 26771 15751 0 -1 1077944384 36 0 0 0 1 0 0 0 20 0 28 0 419331888 29595090944 288061 33554432000 4194304 4196468 140730184419568 139971244116240 139971293611733 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32399360 140730184422378 140730184422550 140730184422550 140730184425423 0
[pid=26773/tid=26778] ppid=26771 vsize=28901456 memory=0 CPUtime=0.02 cores=0-7
/proc/26773/task/26778/stat : 26778 (java) S 26771 26771 15751 0 -1 1077944384 618 0 0 0 1 1 0 0 20 0 28 0 419331888 29595090944 288061 33554432000 4194304 4196468 140730184419568 139971243063696 139971293611733 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32399360 140730184422378 140730184422550 140730184422550 140730184425423 0
[pid=26773/tid=26779] ppid=26771 vsize=28901456 memory=140591459662856 CPUtime=0.01 cores=0-7
/proc/26773/task/26779/stat : 26779 (java) S 26771 26771 15751 0 -1 1077944384 32 0 0 0 1 0 0 0 20 0 28 0 419331888 29595090944 288061 33554432000 4194304 4196468 140730184419568 139971242011664 139971293611733 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32399360 140730184422378 140730184422550 140730184422550 140730184425423 0
[pid=26773/tid=26780] ppid=26771 vsize=28901456 memory=-3535470213243961690 CPUtime=0.02 cores=0-7
/proc/26773/task/26780/stat : 26780 (java) S 26771 26771 15751 0 -1 1077944384 85 0 0 0 1 1 0 0 20 0 28 0 419331888 29595090944 288061 33554432000 4194304 4196468 140730184419568 139971240959120 139971293611733 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32399360 140730184422378 140730184422550 140730184422550 140730184425423 0
[pid=26773/tid=26781] ppid=26771 vsize=28901456 memory=0 CPUtime=0.01 cores=0-7
/proc/26773/task/26781/stat : 26781 (java) S 26771 26771 15751 0 -1 1077944384 51 0 0 0 1 0 0 0 20 0 28 0 419331888 29595090944 288061 33554432000 4194304 4196468 140730184419568 139970838649616 139971293611733 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32399360 140730184422378 140730184422550 140730184422550 140730184425423 0
[pid=26773/tid=26782] ppid=26771 vsize=28901456 memory=0 CPUtime=0.01 cores=0-7
/proc/26773/task/26782/stat : 26782 (java) S 26771 26771 15751 0 -1 1077944384 75 0 0 0 1 0 0 0 20 0 28 0 419331888 29595090944 288061 33554432000 4194304 4196468 140730184419568 139970837597072 139971293611733 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32399360 140730184422378 140730184422550 140730184422550 140730184425423 0
[pid=26773/tid=26783] ppid=26771 vsize=28901456 memory=0 CPUtime=0.01 cores=0-7
/proc/26773/task/26783/stat : 26783 (java) S 26771 26771 15751 0 -1 1077944384 1199 0 0 0 1 0 0 0 20 0 28 0 419331890 29595090944 288061 33554432000 4194304 4196468 140730184419568 139970678364400 139971293612674 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32399360 140730184422378 140730184422550 140730184422550 140730184425423 0
[pid=26773/tid=26784] ppid=26771 vsize=28901456 memory=7523652853015535973 CPUtime=0 cores=0-7
/proc/26773/task/26784/stat : 26784 (java) S 26771 26771 15751 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 28 0 419331890 29595090944 288061 33554432000 4194304 4196468 140730184419568 139970677310688 139971293611733 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32399360 140730184422378 140730184422550 140730184422550 140730184425423 0
[pid=26773/tid=26785] ppid=26771 vsize=28901456 memory=7162531440177276259 CPUtime=0 cores=0-7
/proc/26773/task/26785/stat : 26785 (java) S 26771 26771 15751 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 28 0 419331891 29595090944 288061 33554432000 4194304 4196468 140730184419568 139970676257536 139971293611733 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32399360 140730184422378 140730184422550 140730184422550 140730184425423 0
[pid=26773/tid=26786] ppid=26771 vsize=28901456 memory=7590400733423906199 CPUtime=0 cores=0-7
/proc/26773/task/26786/stat : 26786 (java) S 26771 26771 15751 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 419331893 29595090944 288061 33554432000 4194304 4196468 140730184419568 139970675206096 139971293620123 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32399360 140730184422378 140730184422550 140730184422550 140730184425423 0
[pid=26773/tid=26787] ppid=26771 vsize=28901456 memory=0 CPUtime=1.3 cores=0-7
/proc/26773/task/26787/stat : 26787 (java) S 26771 26771 15751 0 -1 1077944384 9651 0 0 0 129 1 0 0 20 0 28 0 419331893 29595090944 288061 33554432000 4194304 4196468 140730184419568 139970674154224 139971293612674 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32399360 140730184422378 140730184422550 140730184422550 140730184425423 0
[pid=26773/tid=26788] ppid=26771 vsize=28901456 memory=281182919365488 CPUtime=1.36 cores=0-7
/proc/26773/task/26788/stat : 26788 (java) S 26771 26771 15751 0 -1 1077944384 6397 0 0 0 135 1 0 0 20 0 28 0 419331893 29595090944 288061 33554432000 4194304 4196468 140730184419568 139970673101680 139971293612674 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32399360 140730184422378 140730184422550 140730184422550 140730184425423 0
[pid=26773/tid=26789] ppid=26771 vsize=28901456 memory=-3253322038155611931 CPUtime=1.35 cores=0-7
/proc/26773/task/26789/stat : 26789 (java) S 26771 26771 15751 0 -1 1077944384 6404 0 0 0 134 1 0 0 20 0 28 0 419331893 29595090944 288061 33554432000 4194304 4196468 140730184419568 139970672048624 139971293612674 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32399360 140730184422378 140730184422550 140730184422550 140730184425423 0
[pid=26773/tid=26790] ppid=26771 vsize=28901456 memory=-5921431000321636112 CPUtime=0.62 cores=0-7
/proc/26773/task/26790/stat : 26790 (java) S 26771 26771 15751 0 -1 1077944384 3375 0 0 0 61 1 0 0 20 0 28 0 419331893 29595090944 288061 33554432000 4194304 4196468 140730184419568 139970670996080 139971293612674 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32399360 140730184422378 140730184422550 140730184422550 140730184425423 0
[pid=26773/tid=26791] ppid=26771 vsize=28901456 memory=0 CPUtime=0 cores=0-7
/proc/26773/task/26791/stat : 26791 (java) S 26771 26771 15751 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 419331893 29595090944 288061 33554432000 4194304 4196468 140730184419568 139970669943264 139971293611733 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32399360 140730184422378 140730184422550 140730184422550 140730184425423 0
[pid=26773/tid=26792] ppid=26771 vsize=28901456 memory=0 CPUtime=0 cores=0-7
/proc/26773/task/26792/stat : 26792 (java) S 26771 26771 15751 0 -1 1077944384 773 0 0 0 0 0 0 0 20 0 28 0 419331894 29595090944 288061 33554432000 4194304 4196468 140730184419568 139970668890800 139971293612674 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32399360 140730184422378 140730184422550 140730184422550 140730184425423 0
[pid=26773/tid=27337] ppid=26771 vsize=28901456 memory=288230574492221466 CPUtime=6.69 cores=0-7
/proc/26773/task/27337/stat : 27337 (java) R 26771 26771 15751 0 -1 4202560 418 0 0 0 665 4 0 0 20 0 28 0 419331985 29595090944 288061 33554432000 4194304 4196468 140730184419568 139970657577536 139970924800746 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 32399360 140730184422378 140730184422550 140730184422550 140730184425423 0
[pid=26773/tid=27338] ppid=26771 vsize=28901456 memory=288230617509003574 CPUtime=6.63 cores=0-7
/proc/26773/task/27338/stat : 27338 (java) R 26771 26771 15751 0 -1 4202560 137 0 0 0 659 4 0 0 20 0 28 0 419331985 29595090944 288061 33554432000 4194304 4196468 140730184419568 139970652315424 139970924800801 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 32399360 140730184422378 140730184422550 140730184422550 140730184425423 0
[pid=26773/tid=27339] ppid=26771 vsize=28901456 memory=15534115864709562 CPUtime=6.7 cores=0-7
/proc/26773/task/27339/stat : 27339 (java) R 26771 26771 15751 0 -1 1077944384 255 0 0 0 666 4 0 0 20 0 28 0 419331985 29595090944 288061 33554432000 4194304 4196468 140730184419568 139970656526752 139971293611733 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 32399360 140730184422378 140730184422550 140730184422550 140730184425423 0
[pid=26773/tid=27340] ppid=26771 vsize=28901456 memory=0 CPUtime=6.76 cores=0-7
/proc/26773/task/27340/stat : 27340 (java) R 26771 26771 15751 0 -1 4202560 500 0 0 0 671 5 0 0 20 0 28 0 419331985 29595090944 288061 33554432000 4194304 4196468 140730184419568 139970655474112 139970926608960 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 32399360 140730184422378 140730184422550 140730184422550 140730184425423 0
[pid=26773/tid=27341] ppid=26771 vsize=28901456 memory=0 CPUtime=6.67 cores=0-7
/proc/26773/task/27341/stat : 27341 (java) R 26771 26771 15751 0 -1 4202560 386 0 0 0 660 7 0 0 20 0 28 0 419331985 29595090944 288061 33554432000 4194304 4196468 140730184419568 139970650210464 139970924348630 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 32399360 140730184422378 140730184422550 140730184422550 140730184425423 0
[pid=26773/tid=27342] ppid=26771 vsize=28901456 memory=0 CPUtime=6.63 cores=0-7
/proc/26773/task/27342/stat : 27342 (java) R 26771 26771 15751 0 -1 4202560 441 0 0 0 657 6 0 0 20 0 28 0 419331985 29595090944 288061 33554432000 4194304 4196468 140730184419568 139970659684544 139970925701300 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 32399360 140730184422378 140730184422550 140730184422550 140730184425423 0
[pid=26773/tid=27343] ppid=26771 vsize=28901456 memory=0 CPUtime=0 cores=0-7
/proc/26773/task/27343/stat : 27343 (java) S 26771 26771 15751 0 -1 1077944384 16 0 0 0 0 0 0 0 20 0 28 0 419331985 29595090944 288061 33554432000 4194304 4196468 140730184419568 139970653369376 139971293611733 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32399360 140730184422378 140730184422550 140730184422550 140730184425423 0
[pid=26773/tid=27344] ppid=26771 vsize=28901456 memory=0 CPUtime=6.78 cores=0-7
/proc/26773/task/27344/stat : 27344 (java) S 26771 26771 15751 0 -1 1077944384 625 0 0 0 669 9 0 0 20 0 28 0 419331988 29595090944 288061 33554432000 4194304 4196468 140730184419568 139970651263008 139971293611733 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32399360 140730184422378 140730184422550 140730184422550 140730184425423 0
Current children cumulated CPU time: 53.72 s
Current children cumulated vsize: 29014584 KiB
Current children cumulated memory: 1153696 KiB

[startup+8.11883 s]
/proc/loadavg: 4.45 5.32 4.13 7/220 27344
/proc/meminfo: memFree=29785864/32770624 swapFree=66947792/67108860
[pid=26771] ppid=26768 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/26771/stat : 26771 (xcsp3-exec) S 26768 26771 15751 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 419331887 115843072 363 33554432000 4194304 5098028 140729932719008 140729932717112 140414902772348 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 34074624 140729932723061 140729932723305 140729932723305 140729932726218 0
/proc/26771/statm: 28282 363 304 221 0 87 0
[pid=26773] ppid=26771 vsize=28901456 memory=1152244 CPUtime=54.45 cores=0-7
/proc/26773/stat : 26773 (java) S 26771 26771 15751 0 -1 1077944320 52190 0 0 0 5374 71 0 0 20 0 28 0 419331887 29595090944 288061 33554432000 4194304 4196468 140730184419568 140730184402112 139971293601527 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 32399360 140730184422378 140730184422550 140730184422550 140730184425423 0
/proc/26773/statm: 7225364 288061 3513 1 0 7186466 0
[pid=26773/tid=26774] ppid=26771 vsize=28901456 memory=1452 CPUtime=0.5 cores=0-7
/proc/26773/task/26774/stat : 26774 (java) S 26771 26771 15751 0 -1 1077944384 9134 0 0 0 45 5 0 0 20 0 28 0 419331888 29595090944 288061 33554432000 4194304 4196468 140730184419568 139971297842304 139971293611733 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32399360 140730184422378 140730184422550 140730184422550 140730184425423 0
[pid=26773/tid=26775] ppid=26771 vsize=28901456 memory=1146032 CPUtime=0.02 cores=0-7
/proc/26773/task/26775/stat : 26775 (java) S 26771 26771 15751 0 -1 1077944384 247 0 0 0 1 1 0 0 20 0 28 0 419331888 29595090944 288061 33554432000 4194304 4196468 140730184419568 139971246221840 139971293611733 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32399360 140730184422378 140730184422550 140730184422550 140730184425423 0
[pid=26773/tid=26776] ppid=26771 vsize=28901456 memory=6944652177228980320 CPUtime=0.01 cores=0-7
/proc/26773/task/26776/stat : 26776 (java) S 26771 26771 15751 0 -1 1077944384 52 0 0 0 1 0 0 0 20 0 28 0 419331888 29595090944 288061 33554432000 4194304 4196468 140730184419568 139971245169296 139971293611733 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32399360 140730184422378 140730184422550 140730184422550 140730184425423 0
[pid=26773/tid=26777] ppid=26771 vsize=28901456 memory=0 CPUtime=0.01 cores=0-7
/proc/26773/task/26777/stat : 26777 (java) S 26771 26771 15751 0 -1 1077944384 36 0 0 0 1 0 0 0 20 0 28 0 419331888 29595090944 288061 33554432000 4194304 4196468 140730184419568 139971244116240 139971293611733 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32399360 140730184422378 140730184422550 140730184422550 140730184425423 0
[pid=26773/tid=26778] ppid=26771 vsize=28901456 memory=0 CPUtime=0.02 cores=0-7
/proc/26773/task/26778/stat : 26778 (java) S 26771 26771 15751 0 -1 1077944384 618 0 0 0 1 1 0 0 20 0 28 0 419331888 29595090944 288061 33554432000 4194304 4196468 140730184419568 139971243063696 139971293611733 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32399360 140730184422378 140730184422550 140730184422550 140730184425423 0
[pid=26773/tid=26779] ppid=26771 vsize=28901456 memory=0 CPUtime=0.01 cores=0-7
/proc/26773/task/26779/stat : 26779 (java) S 26771 26771 15751 0 -1 1077944384 32 0 0 0 1 0 0 0 20 0 28 0 419331888 29595090944 288061 33554432000 4194304 4196468 140730184419568 139971242011664 139971293611733 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32399360 140730184422378 140730184422550 140730184422550 140730184425423 0
[pid=26773/tid=26780] ppid=26771 vsize=28901456 memory=1152244 CPUtime=0.02 cores=0-7
/proc/26773/task/26780/stat : 26780 (java) S 26771 26771 15751 0 -1 1077944384 85 0 0 0 1 1 0 0 20 0 28 0 419331888 29595090944 288061 33554432000 4194304 4196468 140730184419568 139971240959120 139971293611733 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32399360 140730184422378 140730184422550 140730184422550 140730184425423 0
[pid=26773/tid=26781] ppid=26771 vsize=28901456 memory=7590400733423906199 CPUtime=0.01 cores=0-7
/proc/26773/task/26781/stat : 26781 (java) S 26771 26771 15751 0 -1 1077944384 51 0 0 0 1 0 0 0 20 0 28 0 419331888 29595090944 288061 33554432000 4194304 4196468 140730184419568 139970838649616 139971293611733 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32399360 140730184422378 140730184422550 140730184422550 140730184425423 0
[pid=26773/tid=26782] ppid=26771 vsize=28901456 memory=7590400733423906199 CPUtime=0.01 cores=0-7
/proc/26773/task/26782/stat : 26782 (java) S 26771 26771 15751 0 -1 1077944384 75 0 0 0 1 0 0 0 20 0 28 0 419331888 29595090944 288061 33554432000 4194304 4196468 140730184419568 139970837597072 139971293611733 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32399360 140730184422378 140730184422550 140730184422550 140730184425423 0
[pid=26773/tid=26783] ppid=26771 vsize=28901456 memory=140595893270143 CPUtime=0.01 cores=0-7
/proc/26773/task/26783/stat : 26783 (java) S 26771 26771 15751 0 -1 1077944384 1199 0 0 0 1 0 0 0 20 0 28 0 419331890 29595090944 288061 33554432000 4194304 4196468 140730184419568 139970678364400 139971293612674 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32399360 140730184422378 140730184422550 140730184422550 140730184425423 0
[pid=26773/tid=26784] ppid=26771 vsize=28901456 memory=742620 CPUtime=0 cores=0-7
/proc/26773/task/26784/stat : 26784 (java) S 26771 26771 15751 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 28 0 419331890 29595090944 288061 33554432000 4194304 4196468 140730184419568 139970677310688 139971293611733 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32399360 140730184422378 140730184422550 140730184422550 140730184425423 0
[pid=26773/tid=26785] ppid=26771 vsize=28901456 memory=2241 CPUtime=0 cores=0-7
/proc/26773/task/26785/stat : 26785 (java) S 26771 26771 15751 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 28 0 419331891 29595090944 288061 33554432000 4194304 4196468 140730184419568 139970676257536 139971293611733 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32399360 140730184422378 140730184422550 140730184422550 140730184425423 0
[pid=26773/tid=26786] ppid=26771 vsize=28901456 memory=1452 CPUtime=0 cores=0-7
/proc/26773/task/26786/stat : 26786 (java) S 26771 26771 15751 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 419331893 29595090944 288061 33554432000 4194304 4196468 140730184419568 139970675206096 139971293620123 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32399360 140730184422378 140730184422550 140730184422550 140730184425423 0
[pid=26773/tid=26787] ppid=26771 vsize=28901456 memory=1105204 CPUtime=1.3 cores=0-7
/proc/26773/task/26787/stat : 26787 (java) S 26771 26771 15751 0 -1 1077944384 9651 0 0 0 129 1 0 0 20 0 28 0 419331893 29595090944 288061 33554432000 4194304 4196468 140730184419568 139970674154224 139971293612674 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32399360 140730184422378 140730184422550 140730184422550 140730184425423 0
[pid=26773/tid=26788] ppid=26771 vsize=28901456 memory=1 CPUtime=1.37 cores=0-7
/proc/26773/task/26788/stat : 26788 (java) S 26771 26771 15751 0 -1 1077944384 6421 0 0 0 136 1 0 0 20 0 28 0 419331893 29595090944 288061 33554432000 4194304 4196468 140730184419568 139970673101680 139971293612674 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32399360 140730184422378 140730184422550 140730184422550 140730184425423 0
[pid=26773/tid=26789] ppid=26771 vsize=28901456 memory=1 CPUtime=1.36 cores=0-7
/proc/26773/task/26789/stat : 26789 (java) R 26771 26771 15751 0 -1 4202560 6734 0 0 0 135 1 0 0 20 0 28 0 419331893 29595090944 288061 33554432000 4194304 4196468 140730184419568 139970672048624 139971285890976 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 32399360 140730184422378 140730184422550 140730184422550 140730184425423 0
[pid=26773/tid=26790] ppid=26771 vsize=28901456 memory=164 CPUtime=0.62 cores=0-7
/proc/26773/task/26790/stat : 26790 (java) S 26771 26771 15751 0 -1 1077944384 3375 0 0 0 61 1 0 0 20 0 28 0 419331893 29595090944 288061 33554432000 4194304 4196468 140730184419568 139970670996080 139971293612674 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32399360 140730184422378 140730184422550 140730184422550 140730184425423 0
[pid=26773/tid=26791] ppid=26771 vsize=28901456 memory=6944652177228980320 CPUtime=0 cores=0-7
/proc/26773/task/26791/stat : 26791 (java) S 26771 26771 15751 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 419331893 29595090944 288061 33554432000 4194304 4196468 140730184419568 139970669943264 139971293611733 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32399360 140730184422378 140730184422550 140730184422550 140730184425423 0
[pid=26773/tid=26792] ppid=26771 vsize=28901456 memory=7091029043560409193 CPUtime=0 cores=0-7
/proc/26773/task/26792/stat : 26792 (java) S 26771 26771 15751 0 -1 1077944384 773 0 0 0 0 0 0 0 20 0 28 0 419331894 29595090944 288061 33554432000 4194304 4196468 140730184419568 139970668890800 139971293612674 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32399360 140730184422378 140730184422550 140730184422550 140730184425423 0
[pid=26773/tid=27337] ppid=26771 vsize=28901456 memory=7091029043560409193 CPUtime=6.79 cores=0-7
/proc/26773/task/27337/stat : 27337 (java) R 26771 26771 15751 0 -1 4202560 418 0 0 0 675 4 0 0 20 0 28 0 419331985 29595090944 288061 33554432000 4194304 4196468 140730184419568 139970657577440 139970925017991 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 32399360 140730184422378 140730184422550 140730184422550 140730184425423 0
[pid=26773/tid=27338] ppid=26771 vsize=28901456 memory=7593746706183841128 CPUtime=6.72 cores=0-7
/proc/26773/task/27338/stat : 27338 (java) S 26771 26771 15751 0 -1 1077944384 137 0 0 0 668 4 0 0 20 0 28 0 419331985 29595090944 288061 33554432000 4194304 4196468 140730184419568 139970652315424 139971293611733 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32399360 140730184422378 140730184422550 140730184422550 140730184425423 0
[pid=26773/tid=27339] ppid=26771 vsize=28901456 memory=6791534058613427641 CPUtime=6.81 cores=0-7
/proc/26773/task/27339/stat : 27339 (java) R 26771 26771 15751 0 -1 4202560 256 0 0 0 677 4 0 0 20 0 28 0 419331985 29595090944 288061 33554432000 4194304 4196468 140730184419568 139970656527144 139970924799672 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 32399360 140730184422378 140730184422550 140730184422550 140730184425423 0
[pid=26773/tid=27340] ppid=26771 vsize=28901456 memory=0 CPUtime=6.86 cores=0-7
/proc/26773/task/27340/stat : 27340 (java) R 26771 26771 15751 0 -1 1077944384 508 0 0 0 681 5 0 0 20 0 28 0 419331985 29595090944 288061 33554432000 4194304 4196468 140730184419568 139970655474208 139971293611733 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 32399360 140730184422378 140730184422550 140730184422550 140730184425423 0
[pid=26773/tid=27341] ppid=26771 vsize=28901456 memory=0 CPUtime=6.76 cores=0-7
/proc/26773/task/27341/stat : 27341 (java) R 26771 26771 15751 0 -1 4202560 390 0 0 0 669 7 0 0 20 0 28 0 419331985 29595090944 288061 33554432000 4194304 4196468 140730184419568 139970650210464 139970925699111 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 32399360 140730184422378 140730184422550 140730184422550 140730184425423 0
[pid=26773/tid=27342] ppid=26771 vsize=28901456 memory=281182919741488 CPUtime=6.74 cores=0-7
/proc/26773/task/27342/stat : 27342 (java) R 26771 26771 15751 0 -1 4202560 441 0 0 0 668 6 0 0 20 0 28 0 419331985 29595090944 288061 33554432000 4194304 4196468 140730184419568 139970659684640 139970925699136 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 32399360 140730184422378 140730184422550 140730184422550 140730184425423 0
[pid=26773/tid=27343] ppid=26771 vsize=28901456 memory=140591460112528 CPUtime=0 cores=0-7
/proc/26773/task/27343/stat : 27343 (java) S 26771 26771 15751 0 -1 1077944384 16 0 0 0 0 0 0 0 20 0 28 0 419331985 29595090944 288061 33554432000 4194304 4196468 140730184419568 139970653369376 139971293611733 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32399360 140730184422378 140730184422550 140730184422550 140730184425423 0
[pid=26773/tid=27344] ppid=26771 vsize=28901456 memory=22212 CPUtime=6.88 cores=0-7
/proc/26773/task/27344/stat : 27344 (java) R 26771 26771 15751 0 -1 4202560 630 0 0 0 679 9 0 0 20 0 28 0 419331988 29595090944 288061 33554432000 4194304 4196468 140730184419568 139970651263008 139970925699845 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 32399360 140730184422378 140730184422550 140730184422550 140730184425423 0
Current children cumulated CPU time: 54.45 s
Current children cumulated vsize: 29014584 KiB
Current children cumulated memory: 1153696 KiB

Child status: 0
Real time (s): 8.14775
CPU time (s): 54.5562
CPU user time (s): 53.8256
CPU system time (s): 0.730558
CPU usage (%): 669.586
Max. virtual memory (cumulated for all children) (KiB): 29018344
Max. memory (cumulated for all children) (KiB): 1153696

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 53.8256
system time used= 0.730558
maximum resident set size= 1152560
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 53311
page faults= 0
swaps= 0
block input operations= 0
block output operations= 112
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 58103
involuntary context switches= 314


# summary of solver processes directly reported to runsolver:
#   pid: 26771
#   total CPU time (s): 54.5562
#   total CPU user time (s): 53.8256
#   total CPU system time (s): 0.730558

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.082933 second user time and 0.153337 second system time

The end

Launcher Data 

Begin job on node117 at 2019-09-14 06:04:17
IDJOB=4393831
IDBENCH=133449
IDSOLVER=2841
FILE ID=node117/4393831-1568433900
RUNJOBID= node117-1568427144-15778
PBS_JOBID= 21702295
Free space on /tmp= 61184 MiB

SOLVER NAME= choco-solver parallel 2019-06-14
BENCH NAME= XCSP17/Knapsack/Knapsack-m1-s50/Knapsack-50-200-05.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-4393831-1568433900/watcher-4393831-1568433900 -o /tmp/evaluation-result-4393831-1568433900/solver-4393831-1568433900 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node117-1568427144-15778 --watchdog 2580  xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 1999569781 HOME/instance-4393831-1568433900.xml

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

MD5SUM BENCH= fc947c5025dc4a3c0350e3415d914057
RANDOM SEED=1999569781

node117.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.75
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.75
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.75
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.75
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:        30927652 kB
MemAvailable:   31863636 kB
Buffers:          149020 kB
Cached:          1053144 kB
SwapCached:        51712 kB
Active:           776044 kB
Inactive:         480272 kB
Active(anon):      18984 kB
Inactive(anon):    59356 kB
Active(file):     757060 kB
Inactive(file):   420916 kB
Unevictable:      110108 kB
Mlocked:          110108 kB
SwapTotal:      67108860 kB
SwapFree:       66947792 kB
Dirty:             26008 kB
Writeback:             0 kB
AnonPages:        113684 kB
Mapped:            33468 kB
Shmem:             15712 kB
Slab:             176412 kB
SReclaimable:     147688 kB
SUnreclaim:        28724 kB
KernelStack:        3456 kB
PageTables:         4616 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     498668 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:     67584 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= 61160 MiB
End job on node117 at 2019-09-14 06:04:25