Trace number 4292232

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 4.0.7 seq (493a269)? 201.607 170.041

General information on the benchmark

NameCrosswordDesign/
CrosswordDesign-10-4-rom_c18.xml
MD5SUM1ce90bfeea193be77ab92ac06e9a3657
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark84
Best CPU time to get the best result obtained on this benchmark2520.4
Satisfiable
(Un)Satisfiability was proved
Number of variables340
Number of constraints80
Number of domains5
Minimum domain size2
Maximum domain size102325
Distribution of domain sizes[{"size":2,"count":20},{"size":11,"count":140},{"size":27,"count":100},{"size":102325,"count":80}]
Minimum variable degree1
Maximum variable degree8
Distribution of variable degrees[{"degree":1,"count":100},{"degree":2,"count":140},{"degree":8,"count":100}]
Minimum constraint arity13
Maximum constraint arity14
Distribution of constraint arities[{"arity":13,"count":20},{"arity":14,"count":60}]
Number of extensional constraints80
Number of intensional constraints0
Distribution of constraint types[{"type":"extension","count":80}]
Optimization problemYES
Type of objectivemax SUM

Solver Data 

0.00/0.00	c java -server -Xmx11000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4292232-1532334355.xml"  -tl '2400s' -p 1 -x 0
0.12/0.17	c Choco 493a269
0.12/0.18	c [HOME/instance-4292232-1532334355.xml, -tl, 2400s, -p, 1, -x, 0]
0.12/0.21	c simple solver
0.33/0.28	c parse instance...
201.15/169.84	Exception in thread "main" java.lang.OutOfMemoryError: Java heap space
201.15/169.84		at org.chocosolver.solver.constraints.extension.nary.PropCompactTableStar.computeSupports(PropCompactTableStar.java:81)
201.15/169.84		at org.chocosolver.solver.constraints.extension.nary.PropCompactTable.<init>(PropCompactTable.java:61)
201.15/169.84		at org.chocosolver.solver.constraints.extension.nary.PropCompactTableStar.<init>(PropCompactTableStar.java:45)
201.15/169.84		at org.chocosolver.solver.constraints.IIntConstraintFactory.table(IIntConstraintFactory.java:2012)
201.41/169.96		at org.chocosolver.solver.constraints.IIntConstraintFactory.table(IIntConstraintFactory.java:1970)
201.41/169.96		at org.chocosolver.parser.xcsp.XCSPParser.buildCtrExtension(XCSPParser.java:315)
201.41/169.96		at org.xcsp.parser.loaders.CtrLoaderInteger.extension(CtrLoaderInteger.java:306)
201.41/169.96		at org.xcsp.parser.loaders.CtrLoaderInteger.load(CtrLoaderInteger.java:167)
201.41/169.96		at org.xcsp.parser.XCallbacks.loadCtr(XCallbacks.java:527)
201.41/169.96		at org.xcsp.parser.XCallbacks.lambda$loadCtrs$3(XCallbacks.java:510)
201.41/169.96		at org.xcsp.parser.XCallbacks$$Lambda$98/209833425.accept(Unknown Source)
201.41/169.96		at java.util.Spliterators$ArraySpliterator.forEachRemaining(Spliterators.java:948)
201.41/169.96		at java.util.stream.ReferencePipeline$Head.forEach(ReferencePipeline.java:580)
201.41/169.96		at org.xcsp.parser.XCallbacks.loadCtrs(XCallbacks.java:507)
201.41/169.96		at org.chocosolver.parser.xcsp.XCSPParser.loadGroup(XCSPParser.java:1414)
201.41/169.96		at org.xcsp.parser.XCallbacks.loadConstraints(XCallbacks.java:422)
201.41/169.96		at org.xcsp.parser.XCallbacks.loadConstraints(XCallbacks.java:407)
201.41/169.96		at org.xcsp.parser.XCallbacks.loadInstance(XCallbacks.java:297)
201.41/169.96		at org.xcsp.parser.XCallbacks.loadInstance(XCallbacks.java:320)
201.41/169.96		at org.chocosolver.parser.xcsp.XCSPParser.model(XCSPParser.java:88)
201.41/169.96		at org.chocosolver.parser.xcsp.XCSP.parse(XCSP.java:107)
201.41/169.96		at org.chocosolver.parser.xcsp.XCSP.buildModel(XCSP.java:94)
201.41/169.96		at org.chocosolver.parser.xcsp.ChocoXCSP.main(ChocoXCSP.java:23)
201.41/169.96	s UNKNOWN
201.41/169.96	c Unexpected resolution interruption!

Verifier Data


Watcher Data 

runsolver version 3.4.0 (svn: 3012) Copyright (C) 2010-2013 Olivier ROUSSEL

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

NUMA information:
  number of nodes: 2
  memory of node 0: 16374 MiB (11108 MiB free)
  memory of node 1: 16384 MiB (13725 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4292232-1532334355/watcher-4292232-1532334355 -o /tmp/evaluation-result-4292232-1532334355/solver-4292232-1532334355 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node134-1532328652-14414 --watchdog 2560 HOME/xcsp3-exec -seed 635657112 -dir HOME -tl 2400 -ml 11000 -p 1 HOME/instance-4292232-1532334355.xml 

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

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


[startup+0.104637 s]*
/proc/loadavg: 2.05 2.11 2.07 5/222 15581
/proc/meminfo: memFree=25412520/32770624 swapFree=67108860/67108860
[pid=15565] ppid=15562 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/15565/stat : 15565 (xcsp3-exec) S 15562 15565 14382 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 50998726 115843072 363 33554432000 4194304 5098028 140735056981168 140735056979272 139714276356732 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 8232960 140735056987195 140735056987396 140735056987396 140735056990154 0
/proc/15565/statm: 28282 363 305 221 0 87 0
[pid=15567] ppid=15565 vsize=14082840 memory=29524 CPUtime=0.12 cores=1,3,5,7
/proc/15567/stat : 15567 (java) S 15565 15565 14382 0 -1 1077944320 5683 0 0 0 11 1 0 0 20 0 15 0 50998726 14420828160 7381 33554432000 4194304 4196468 140735075703040 140735075685584 140264517938935 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 33910784 140735075705985 140735075706161 140735075706161 140735075708879 0
/proc/15567/statm: 3520710 7381 3033 1 0 3483008 0
[pid=15567/tid=15568] ppid=15565 vsize=14082840 memory=-6962121287837372198 CPUtime=0.09 cores=1,3,5,7
/proc/15567/task/15568/stat : 15568 (java) R 15565 15565 14382 0 -1 4202560 3620 0 0 0 8 1 0 0 20 0 15 0 50998726 14420828160 7381 33554432000 4194304 4196468 140735075703040 140264522175360 140264517960861 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 33910784 140735075705985 140735075706161 140735075706161 140735075708879 0
[pid=15567/tid=15569] ppid=15565 vsize=14082840 memory=-3689349214911541841 CPUtime=0 cores=1,3,5,7
/proc/15567/task/15569/stat : 15569 (java) S 15565 15565 14382 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 50998727 14420828160 7381 33554432000 4194304 4196468 140735075703040 140264448026896 140264517949141 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33910784 140735075705985 140735075706161 140735075706161 140735075708879 0
[pid=15567/tid=15570] ppid=15565 vsize=14082840 memory=139825532610176 CPUtime=0 cores=1,3,5,7
/proc/15567/task/15570/stat : 15570 (java) S 15565 15565 14382 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 50998727 14420828160 7381 33554432000 4194304 4196468 140735075703040 140264446974352 140264517949141 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33910784 140735075705985 140735075706161 140735075706161 140735075708879 0
[pid=15567/tid=15571] ppid=15565 vsize=14082840 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15567/task/15571/stat : 15571 (java) S 15565 15565 14382 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 50998727 14420828160 7381 33554432000 4194304 4196468 140735075703040 140264445921808 140264517949141 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33910784 140735075705985 140735075706161 140735075706161 140735075708879 0
[pid=15567/tid=15572] ppid=15565 vsize=14082840 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/15567/task/15572/stat : 15572 (java) S 15565 15565 14382 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 50998727 14420828160 7381 33554432000 4194304 4196468 140735075703040 140264444869264 140264517949141 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33910784 140735075705985 140735075706161 140735075706161 140735075708879 0
[pid=15567/tid=15573] ppid=15565 vsize=14082840 memory=139825532610176 CPUtime=0 cores=1,3,5,7
/proc/15567/task/15573/stat : 15573 (java) S 15565 15565 14382 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 50998728 14420828160 7381 33554432000 4194304 4196468 140735075703040 140263430281712 140264517950082 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33910784 140735075705985 140735075706161 140735075706161 140735075708879 0
[pid=15567/tid=15574] ppid=15565 vsize=14082840 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/15567/task/15574/stat : 15574 (java) S 15565 15565 14382 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 50998729 14420828160 7381 33554432000 4194304 4196468 140735075703040 140263429227936 140264517949141 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33910784 140735075705985 140735075706161 140735075706161 140735075708879 0
[pid=15567/tid=15575] ppid=15565 vsize=14082840 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15567/task/15575/stat : 15575 (java) S 15565 15565 14382 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 50998729 14420828160 7381 33554432000 4194304 4196468 140735075703040 140263428175344 140264517949141 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33910784 140735075705985 140735075706161 140735075706161 140735075708879 0
[pid=15567/tid=15576] ppid=15565 vsize=14082840 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15567/task/15576/stat : 15576 (java) S 15565 15565 14382 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 50998731 14420828160 7381 33554432000 4194304 4196468 140735075703040 140263427123920 140264517957531 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33910784 140735075705985 140735075706161 140735075706161 140735075708879 0
[pid=15567/tid=15577] ppid=15565 vsize=14082840 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15567/task/15577/stat : 15577 (java) R 15565 15565 14382 0 -1 1077944384 421 0 0 0 0 0 0 0 20 0 15 0 50998731 14420828160 7381 33554432000 4194304 4196468 140735075703040 140263426070512 140264517950082 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 33910784 140735075705985 140735075706161 140735075706161 140735075708879 0
[pid=15567/tid=15578] ppid=15565 vsize=14082840 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/15567/task/15578/stat : 15578 (java) S 15565 15565 14382 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 50998731 14420828160 7381 33554432000 4194304 4196468 140735075703040 140263425017968 140264517950082 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33910784 140735075705985 140735075706161 140735075706161 140735075708879 0
[pid=15567/tid=15579] ppid=15565 vsize=14082840 memory=139825532610176 CPUtime=0.01 cores=1,3,5,7
/proc/15567/task/15579/stat : 15579 (java) R 15565 15565 14382 0 -1 1077944384 335 0 0 0 1 0 0 0 20 0 15 0 50998732 14420828160 7381 33554432000 4194304 4196468 140735075703040 140263423965424 140264517950082 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 33910784 140735075705985 140735075706161 140735075706161 140735075708879 0
[pid=15567/tid=15580] ppid=15565 vsize=14082840 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/15567/task/15580/stat : 15580 (java) S 15565 15565 14382 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 50998732 14420828160 7381 33554432000 4194304 4196468 140735075703040 140263422913120 140264517949141 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33910784 140735075705985 140735075706161 140735075706161 140735075708879 0
[pid=15567/tid=15581] ppid=15565 vsize=14082840 memory=139825532610176 CPUtime=0 cores=1,3,5,7
/proc/15567/task/15581/stat : 15581 (java) S 15565 15565 14382 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 50998732 14420828160 7381 33554432000 4194304 4196468 140735075703040 140263421860656 140264517950082 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33910784 140735075705985 140735075706161 140735075706161 140735075708879 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 14195968 KiB
Current children cumulated memory: 30976 KiB

[startup+0.210885 s]*
/proc/loadavg: 2.05 2.11 2.07 3/222 15581
/proc/meminfo: memFree=25401456/32770624 swapFree=67108860/67108860
[pid=15565] ppid=15562 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/15565/stat : 15565 (xcsp3-exec) S 15562 15565 14382 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 50998726 115843072 363 33554432000 4194304 5098028 140735056981168 140735056979272 139714276356732 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 8232960 140735056987195 140735056987396 140735056987396 140735056990154 0
/proc/15565/statm: 28282 363 305 221 0 87 0
[pid=15567] ppid=15565 vsize=14082840 memory=40432 CPUtime=0.33 cores=1,3,5,7
/proc/15567/stat : 15567 (java) S 15565 15565 14382 0 -1 1077944320 8160 0 0 0 31 2 0 0 20 0 15 0 50998726 14420828160 10108 33554432000 4194304 4196468 140735075703040 140735075685584 140264517938935 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 33910784 140735075705985 140735075706161 140735075706161 140735075708879 0
/proc/15567/statm: 3520710 10108 3193 1 0 3483008 0
[pid=15567/tid=15568] ppid=15565 vsize=14082840 memory=7883960649037381690 CPUtime=0.2 cores=1,3,5,7
/proc/15567/task/15568/stat : 15568 (java) R 15565 15565 14382 0 -1 4202560 5438 0 0 0 18 2 0 0 20 0 15 0 50998726 14420828160 10108 33554432000 4194304 4196468 140735075703040 140264522173920 140264502019348 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 33910784 140735075705985 140735075706161 140735075706161 140735075708879 0
[pid=15567/tid=15569] ppid=15565 vsize=14082840 memory=13660 CPUtime=0 cores=1,3,5,7
/proc/15567/task/15569/stat : 15569 (java) S 15565 15565 14382 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 50998727 14420828160 10108 33554432000 4194304 4196468 140735075703040 140264448026896 140264517949141 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33910784 140735075705985 140735075706161 140735075706161 140735075708879 0
[pid=15567/tid=15570] ppid=15565 vsize=14082840 memory=139825532625372 CPUtime=0 cores=1,3,5,7
/proc/15567/task/15570/stat : 15570 (java) S 15565 15565 14382 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 50998727 14420828160 10108 33554432000 4194304 4196468 140735075703040 140264446974352 140264517949141 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33910784 140735075705985 140735075706161 140735075706161 140735075708879 0
[pid=15567/tid=15571] ppid=15565 vsize=14082840 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15567/task/15571/stat : 15571 (java) S 15565 15565 14382 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 50998727 14420828160 10108 33554432000 4194304 4196468 140735075703040 140264445921808 140264517949141 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33910784 140735075705985 140735075706161 140735075706161 140735075708879 0
[pid=15567/tid=15572] ppid=15565 vsize=14082840 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/15567/task/15572/stat : 15572 (java) S 15565 15565 14382 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 50998727 14420828160 10108 33554432000 4194304 4196468 140735075703040 140264444869264 140264517949141 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33910784 140735075705985 140735075706161 140735075706161 140735075708879 0
[pid=15567/tid=15573] ppid=15565 vsize=14082840 memory=139825532610176 CPUtime=0 cores=1,3,5,7
/proc/15567/task/15573/stat : 15573 (java) S 15565 15565 14382 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 50998728 14420828160 10108 33554432000 4194304 4196468 140735075703040 140263430281712 140264517950082 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33910784 140735075705985 140735075706161 140735075706161 140735075708879 0
[pid=15567/tid=15574] ppid=15565 vsize=14082840 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/15567/task/15574/stat : 15574 (java) S 15565 15565 14382 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 50998729 14420828160 10108 33554432000 4194304 4196468 140735075703040 140263429227936 140264517949141 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33910784 140735075705985 140735075706161 140735075706161 140735075708879 0
[pid=15567/tid=15575] ppid=15565 vsize=14082840 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15567/task/15575/stat : 15575 (java) S 15565 15565 14382 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 50998729 14420828160 10108 33554432000 4194304 4196468 140735075703040 140263428175344 140264517949141 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33910784 140735075705985 140735075706161 140735075706161 140735075708879 0
[pid=15567/tid=15576] ppid=15565 vsize=14082840 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15567/task/15576/stat : 15576 (java) S 15565 15565 14382 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 50998731 14420828160 10108 33554432000 4194304 4196468 140735075703040 140263427123920 140264517957531 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33910784 140735075705985 140735075706161 140735075706161 140735075708879 0
[pid=15567/tid=15577] ppid=15565 vsize=14082840 memory=0 CPUtime=0.03 cores=1,3,5,7
/proc/15567/task/15577/stat : 15577 (java) S 15565 15565 14382 0 -1 1077944384 598 0 0 0 3 0 0 0 20 0 15 0 50998731 14420828160 10108 33554432000 4194304 4196468 140735075703040 140263426070512 140264517950082 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33910784 140735075705985 140735075706161 140735075706161 140735075708879 0
[pid=15567/tid=15578] ppid=15565 vsize=14082840 memory=-1 CPUtime=0.01 cores=1,3,5,7
/proc/15567/task/15578/stat : 15578 (java) S 15565 15565 14382 0 -1 1077944384 126 0 0 0 1 0 0 0 20 0 15 0 50998731 14420828160 10108 33554432000 4194304 4196468 140735075703040 140263425017968 140264517950082 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33910784 140735075705985 140735075706161 140735075706161 140735075708879 0
[pid=15567/tid=15579] ppid=15565 vsize=14082840 memory=139825532610176 CPUtime=0.08 cores=1,3,5,7
/proc/15567/task/15579/stat : 15579 (java) S 15565 15565 14382 0 -1 1077944384 704 0 0 0 8 0 0 0 20 0 15 0 50998732 14420828160 10108 33554432000 4194304 4196468 140735075703040 140263423965424 140264517950082 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33910784 140735075705985 140735075706161 140735075706161 140735075708879 0
[pid=15567/tid=15580] ppid=15565 vsize=14082840 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/15567/task/15580/stat : 15580 (java) S 15565 15565 14382 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 50998732 14420828160 10108 33554432000 4194304 4196468 140735075703040 140263422913120 140264517949141 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33910784 140735075705985 140735075706161 140735075706161 140735075708879 0
[pid=15567/tid=15581] ppid=15565 vsize=14082840 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15567/task/15581/stat : 15581 (java) S 15565 15565 14382 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 50998732 14420828160 10108 33554432000 4194304 4196468 140735075703040 140263421860656 140264517950082 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33910784 140735075705985 140735075706161 140735075706161 140735075708879 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 14195968 KiB
Current children cumulated memory: 41884 KiB

[startup+0.310799 s]*
/proc/loadavg: 2.05 2.11 2.07 3/222 15581
/proc/meminfo: memFree=25395128/32770624 swapFree=67108860/67108860
[pid=15565] ppid=15562 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/15565/stat : 15565 (xcsp3-exec) S 15562 15565 14382 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 50998726 115843072 363 33554432000 4194304 5098028 140735056981168 140735056979272 139714276356732 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 8232960 140735056987195 140735056987396 140735056987396 140735056990154 0
/proc/15565/statm: 28282 363 305 221 0 87 0
[pid=15567] ppid=15565 vsize=14087096 memory=47664 CPUtime=0.51 cores=1,3,5,7
/proc/15567/stat : 15567 (java) S 15565 15565 14382 0 -1 1077944320 9050 0 0 0 48 3 0 0 20 0 15 0 50998726 14425186304 11916 33554432000 4194304 4196468 140735075703040 140735075685584 140264517938935 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 33910784 140735075705985 140735075706161 140735075706161 140735075708879 0
/proc/15567/statm: 3521774 11916 3245 1 0 3483008 0
[pid=15567/tid=15568] ppid=15565 vsize=14087096 memory=6791534058613427641 CPUtime=0.29 cores=1,3,5,7
/proc/15567/task/15568/stat : 15568 (java) R 15565 15565 14382 0 -1 4202560 6153 0 0 0 27 2 0 0 20 0 15 0 50998726 14425186304 11916 33554432000 4194304 4196468 140735075703040 140264522172720 140264502019422 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 33910784 140735075705985 140735075706161 140735075706161 140735075708879 0
[pid=15567/tid=15569] ppid=15565 vsize=14087096 memory=4126316290023845779 CPUtime=0 cores=1,3,5,7
/proc/15567/task/15569/stat : 15569 (java) S 15565 15565 14382 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 50998727 14425186304 11916 33554432000 4194304 4196468 140735075703040 140264448026896 140264517949141 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33910784 140735075705985 140735075706161 140735075706161 140735075708879 0
[pid=15567/tid=15570] ppid=15565 vsize=14087096 memory=6944656575208382560 CPUtime=0 cores=1,3,5,7
/proc/15567/task/15570/stat : 15570 (java) S 15565 15565 14382 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 50998727 14425186304 11916 33554432000 4194304 4196468 140735075703040 140264446974352 140264517949141 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33910784 140735075705985 140735075706161 140735075706161 140735075708879 0
[pid=15567/tid=15571] ppid=15565 vsize=14087096 memory=-3258418265892434876 CPUtime=0 cores=1,3,5,7
/proc/15567/task/15571/stat : 15571 (java) S 15565 15565 14382 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 50998727 14425186304 11916 33554432000 4194304 4196468 140735075703040 140264445921808 140264517949141 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33910784 140735075705985 140735075706161 140735075706161 140735075708879 0
[pid=15567/tid=15572] ppid=15565 vsize=14087096 memory=4572146066226452084 CPUtime=0 cores=1,3,5,7
/proc/15567/task/15572/stat : 15572 (java) S 15565 15565 14382 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 50998727 14425186304 11916 33554432000 4194304 4196468 140735075703040 140264444869264 140264517949141 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33910784 140735075705985 140735075706161 140735075706161 140735075708879 0
[pid=15567/tid=15573] ppid=15565 vsize=14087096 memory=6944613755495348631 CPUtime=0 cores=1,3,5,7
/proc/15567/task/15573/stat : 15573 (java) S 15565 15565 14382 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 50998728 14425186304 11916 33554432000 4194304 4196468 140735075703040 140263430281712 140264517950082 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33910784 140735075705985 140735075706161 140735075706161 140735075708879 0
[pid=15567/tid=15574] ppid=15565 vsize=14087096 memory=7893295687695687954 CPUtime=0 cores=1,3,5,7
/proc/15567/task/15574/stat : 15574 (java) S 15565 15565 14382 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 50998729 14425186304 11916 33554432000 4194304 4196468 140735075703040 140263429227936 140264517949141 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33910784 140735075705985 140735075706161 140735075706161 140735075708879 0
[pid=15567/tid=15575] ppid=15565 vsize=14087096 memory=-8813974798734826869 CPUtime=0 cores=1,3,5,7
/proc/15567/task/15575/stat : 15575 (java) S 15565 15565 14382 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 50998729 14425186304 11916 33554432000 4194304 4196468 140735075703040 140263428175344 140264517949141 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33910784 140735075705985 140735075706161 140735075706161 140735075708879 0
[pid=15567/tid=15576] ppid=15565 vsize=14087096 memory=-6664436420846797971 CPUtime=0 cores=1,3,5,7
/proc/15567/task/15576/stat : 15576 (java) S 15565 15565 14382 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 50998731 14425186304 11916 33554432000 4194304 4196468 140735075703040 140263427123920 140264517957531 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33910784 140735075705985 140735075706161 140735075706161 140735075708879 0
[pid=15567/tid=15577] ppid=15565 vsize=14087096 memory=4426078206164241782 CPUtime=0.05 cores=1,3,5,7
/proc/15567/task/15577/stat : 15577 (java) S 15565 15565 14382 0 -1 1077944384 612 0 0 0 5 0 0 0 20 0 15 0 50998731 14425186304 11916 33554432000 4194304 4196468 140735075703040 140263426070512 140264517950082 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33910784 140735075705985 140735075706161 140735075706161 140735075708879 0
[pid=15567/tid=15578] ppid=15565 vsize=14087096 memory=0 CPUtime=0.03 cores=1,3,5,7
/proc/15567/task/15578/stat : 15578 (java) S 15565 15565 14382 0 -1 1077944384 135 0 0 0 3 0 0 0 20 0 15 0 50998731 14425186304 11916 33554432000 4194304 4196468 140735075703040 140263425017968 140264517950082 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33910784 140735075705985 140735075706161 140735075706161 140735075708879 0
[pid=15567/tid=15579] ppid=15565 vsize=14087096 memory=0 CPUtime=0.12 cores=1,3,5,7
/proc/15567/task/15579/stat : 15579 (java) S 15565 15565 14382 0 -1 1077944384 855 0 0 0 12 0 0 0 20 0 15 0 50998732 14425186304 11916 33554432000 4194304 4196468 140735075703040 140263423965424 140264517950082 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33910784 140735075705985 140735075706161 140735075706161 140735075708879 0
[pid=15567/tid=15580] ppid=15565 vsize=14087096 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15567/task/15580/stat : 15580 (java) S 15565 15565 14382 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 50998732 14425186304 11981 33554432000 4194304 4196468 140735075703040 140263422913120 140264517949141 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33910784 140735075705985 140735075706161 140735075706161 140735075708879 0
[pid=15567/tid=15581] ppid=15565 vsize=14087096 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15567/task/15581/stat : 15581 (java) S 15565 15565 14382 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 50998732 14425186304 11981 33554432000 4194304 4196468 140735075703040 140263421860656 140264517950082 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33910784 140735075705985 140735075706161 140735075706161 140735075708879 0
Current children cumulated CPU time: 0.51 s
Current children cumulated vsize: 14200224 KiB
Current children cumulated memory: 49116 KiB

[startup+0.701668 s]
/proc/loadavg: 2.05 2.11 2.07 3/222 15581
/proc/meminfo: memFree=25289008/32770624 swapFree=67108860/67108860
[pid=15565] ppid=15562 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/15565/stat : 15565 (xcsp3-exec) S 15562 15565 14382 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 50998726 115843072 363 33554432000 4194304 5098028 140735056981168 140735056979272 139714276356732 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 8232960 140735056987195 140735056987396 140735056987396 140735056990154 0
/proc/15565/statm: 28282 363 305 221 0 87 0
[pid=15567] ppid=15565 vsize=14089220 memory=254584 CPUtime=1.48 cores=1,3,5,7
/proc/15567/stat : 15567 (java) S 15565 15565 14382 0 -1 1077944320 11883 0 0 0 134 14 0 0 20 0 15 0 50998726 14427361280 63646 33554432000 4194304 4196468 140735075703040 140735075685584 140264517938935 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 33910784 140735075705985 140735075706161 140735075706161 140735075708879 0
/proc/15567/statm: 3522305 63646 3324 1 0 3483520 0
[pid=15567/tid=15568] ppid=15565 vsize=14089220 memory=33 CPUtime=0.63 cores=1,3,5,7
/proc/15567/task/15568/stat : 15568 (java) R 15565 15565 14382 0 -1 4202560 6587 0 0 0 59 4 0 0 20 0 15 0 50998726 14427361280 63646 33554432000 4194304 4196468 140735075703040 140264522176304 140264122244584 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 33910784 140735075705985 140735075706161 140735075706161 140735075708879 0
[pid=15567/tid=15569] ppid=15565 vsize=14089220 memory=-7816663703405220396 CPUtime=0.03 cores=1,3,5,7
/proc/15567/task/15569/stat : 15569 (java) S 15565 15565 14382 0 -1 1077944384 42 0 0 0 1 2 0 0 20 0 15 0 50998727 14427361280 63646 33554432000 4194304 4196468 140735075703040 140264448026896 140264517949141 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33910784 140735075705985 140735075706161 140735075706161 140735075708879 0
[pid=15567/tid=15570] ppid=15565 vsize=14089220 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/15567/task/15570/stat : 15570 (java) S 15565 15565 14382 0 -1 1077944384 25 0 0 0 1 1 0 0 20 0 15 0 50998727 14427361280 63646 33554432000 4194304 4196468 140735075703040 140264446974352 140264517949141 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33910784 140735075705985 140735075706161 140735075706161 140735075708879 0
[pid=15567/tid=15571] ppid=15565 vsize=14089220 memory=16744 CPUtime=0.03 cores=1,3,5,7
/proc/15567/task/15571/stat : 15571 (java) S 15565 15565 14382 0 -1 1077944384 44 0 0 0 1 2 0 0 20 0 15 0 50998727 14427361280 63646 33554432000 4194304 4196468 140735075703040 140264445921808 140264517949141 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33910784 140735075705985 140735075706161 140735075706161 140735075708879 0
[pid=15567/tid=15572] ppid=15565 vsize=14089220 memory=2396 CPUtime=0.02 cores=1,3,5,7
/proc/15567/task/15572/stat : 15572 (java) S 15565 15565 14382 0 -1 1077944384 39 0 0 0 1 1 0 0 20 0 15 0 50998727 14427361280 63646 33554432000 4194304 4196468 140735075703040 140264444869264 140264517949141 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33910784 140735075705985 140735075706161 140735075706161 140735075708879 0
[pid=15567/tid=15573] ppid=15565 vsize=14089220 memory=1292 CPUtime=0 cores=1,3,5,7
/proc/15567/task/15573/stat : 15573 (java) S 15565 15565 14382 0 -1 1077944384 83 0 0 0 0 0 0 0 20 0 15 0 50998728 14427361280 63646 33554432000 4194304 4196468 140735075703040 140263430281712 140264517950082 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33910784 140735075705985 140735075706161 140735075706161 140735075708879 0
[pid=15567/tid=15574] ppid=15565 vsize=14089220 memory=1732 CPUtime=0 cores=1,3,5,7
/proc/15567/task/15574/stat : 15574 (java) S 15565 15565 14382 0 -1 1077944384 35 0 0 0 0 0 0 0 20 0 15 0 50998729 14427361280 63646 33554432000 4194304 4196468 140735075703040 140263429227936 140264517949141 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33910784 140735075705985 140735075706161 140735075706161 140735075708879 0
[pid=15567/tid=15575] ppid=15565 vsize=14089220 memory=1008 CPUtime=0 cores=1,3,5,7
/proc/15567/task/15575/stat : 15575 (java) S 15565 15565 14382 0 -1 1077944384 29 0 0 0 0 0 0 0 20 0 15 0 50998729 14427361280 63646 33554432000 4194304 4196468 140735075703040 140263428175344 140264517949141 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33910784 140735075705985 140735075706161 140735075706161 140735075708879 0
[pid=15567/tid=15576] ppid=15565 vsize=14089220 memory=5404 CPUtime=0 cores=1,3,5,7
/proc/15567/task/15576/stat : 15576 (java) S 15565 15565 14382 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 50998731 14427361280 63646 33554432000 4194304 4196468 140735075703040 140263427123920 140264517957531 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33910784 140735075705985 140735075706161 140735075706161 140735075708879 0
[pid=15567/tid=15577] ppid=15565 vsize=14089220 memory=796 CPUtime=0.23 cores=1,3,5,7
/proc/15567/task/15577/stat : 15577 (java) R 15565 15565 14382 0 -1 4202560 1229 0 0 0 23 0 0 0 20 0 15 0 50998731 14427361280 63646 33554432000 4194304 4196468 140735075703040 140263426057056 140264498639925 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 33910784 140735075705985 140735075706161 140735075706161 140735075708879 0
[pid=15567/tid=15578] ppid=15565 vsize=14089220 memory=4616 CPUtime=0.21 cores=1,3,5,7
/proc/15567/task/15578/stat : 15578 (java) R 15565 15565 14382 0 -1 4202560 958 0 0 0 21 0 0 0 20 0 15 0 50998731 14427361280 63646 33554432000 4194304 4196468 140735075703040 140263425004752 140264499460117 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 33910784 140735075705985 140735075706161 140735075706161 140735075708879 0
[pid=15567/tid=15579] ppid=15565 vsize=14089220 memory=1424 CPUtime=0.24 cores=1,3,5,7
/proc/15567/task/15579/stat : 15579 (java) S 15565 15565 14382 0 -1 1077944384 1569 0 0 0 24 0 0 0 20 0 15 0 50998732 14427361280 63646 33554432000 4194304 4196468 140735075703040 140263423965424 140264517950082 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33910784 140735075705985 140735075706161 140735075706161 140735075708879 0
[pid=15567/tid=15580] ppid=15565 vsize=14089220 memory=10940 CPUtime=0 cores=1,3,5,7
/proc/15567/task/15580/stat : 15580 (java) S 15565 15565 14382 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 50998732 14427361280 63646 33554432000 4194304 4196468 140735075703040 140263422913120 140264517949141 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33910784 140735075705985 140735075706161 140735075706161 140735075708879 0
[pid=15567/tid=15581] ppid=15565 vsize=14089220 memory=1200 CPUtime=0 cores=1,3,5,7
/proc/15567/task/15581/stat : 15581 (java) S 15565 15565 14382 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 50998732 14427361280 63646 33554432000 4194304 4196468 140735075703040 140263421860656 140264517950082 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33910784 140735075705985 140735075706161 140735075706161 140735075708879 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 14202348 KiB
Current children cumulated memory: 256036 KiB

[startup+1.50331 s]
/proc/loadavg: 2.05 2.11 2.07 3/222 15581
/proc/meminfo: memFree=25135044/32770624 swapFree=67108860/67108860
[pid=15565] ppid=15562 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/15565/stat : 15565 (xcsp3-exec) S 15562 15565 14382 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 50998726 115843072 363 33554432000 4194304 5098028 140735056981168 140735056979272 139714276356732 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 8232960 140735056987195 140735056987396 140735056987396 140735056990154 0
/proc/15565/statm: 28282 363 305 221 0 87 0

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

/proc/15567/task/15570/stat : 15570 (java) R 15565 15565 14382 0 -1 4202560 55304 0 0 0 434 288 0 0 20 0 15 0 50998727 14427361280 2579204 33554432000 4194304 4196468 140735075703040 140264446974552 140264511041964 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 33910784 140735075705985 140735075706161 140735075706161 140735075708879 0
[pid=15567/tid=15571] ppid=15565 vsize=14089220 memory=1452 CPUtime=7.19 cores=1,3,5,7
/proc/15567/task/15571/stat : 15571 (java) R 15565 15565 14382 0 -1 4202560 58624 0 0 0 483 236 0 0 20 0 15 0 50998727 14427361280 2579204 33554432000 4194304 4196468 140735075703040 140264445921808 140264511038635 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 33910784 140735075705985 140735075706161 140735075706161 140735075708879 0
[pid=15567/tid=15572] ppid=15565 vsize=14089220 memory=8041156 CPUtime=7.21 cores=1,3,5,7
/proc/15567/task/15572/stat : 15572 (java) R 15565 15565 14382 0 -1 4202560 44641 0 0 0 445 276 0 0 20 0 15 0 50998727 14427361280 2579204 33554432000 4194304 4196468 140735075703040 140264444869464 140264511038635 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 33910784 140735075705985 140735075706161 140735075706161 140735075708879 0
[pid=15567/tid=15573] ppid=15565 vsize=14089220 memory=1732 CPUtime=0.27 cores=1,3,5,7
/proc/15567/task/15573/stat : 15573 (java) S 15565 15565 14382 0 -1 1077944384 15468 0 0 0 26 1 0 0 20 0 15 0 50998728 14427361280 2579716 33554432000 4194304 4196468 140735075703040 140263430280256 140264517949141 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33910784 140735075705985 140735075706161 140735075706161 140735075708879 0
[pid=15567/tid=15574] ppid=15565 vsize=14089220 memory=6791534058613427641 CPUtime=0 cores=1,3,5,7
/proc/15567/task/15574/stat : 15574 (java) S 15565 15565 14382 0 -1 1077944384 38 0 0 0 0 0 0 0 20 0 15 0 50998729 14427361280 2579716 33554432000 4194304 4196468 140735075703040 140263429228000 140264517949141 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33910784 140735075705985 140735075706161 140735075706161 140735075708879 0
[pid=15567/tid=15575] ppid=15565 vsize=14089220 memory=8041156 CPUtime=0 cores=1,3,5,7
/proc/15567/task/15575/stat : 15575 (java) S 15565 15565 14382 0 -1 1077944384 50 0 0 0 0 0 0 0 20 0 15 0 50998729 14427361280 2579716 33554432000 4194304 4196468 140735075703040 140263428175360 140264517949141 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33910784 140735075705985 140735075706161 140735075706161 140735075708879 0
[pid=15567/tid=15576] ppid=15565 vsize=14089220 memory=1692 CPUtime=0 cores=1,3,5,7
/proc/15567/task/15576/stat : 15576 (java) S 15565 15565 14382 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 50998731 14427361280 2579716 33554432000 4194304 4196468 140735075703040 140263427123920 140264517957531 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33910784 140735075705985 140735075706161 140735075706161 140735075708879 0
[pid=15567/tid=15577] ppid=15565 vsize=14089220 memory=916 CPUtime=0.53 cores=1,3,5,7
/proc/15567/task/15577/stat : 15577 (java) S 15565 15565 14382 0 -1 1077944384 2490 0 0 0 53 0 0 0 20 0 15 0 50998731 14427361280 2579716 33554432000 4194304 4196468 140735075703040 140263426070512 140264517950082 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33910784 140735075705985 140735075706161 140735075706161 140735075708879 0
[pid=15567/tid=15578] ppid=15565 vsize=14089220 memory=6791534058613427641 CPUtime=0.58 cores=1,3,5,7
/proc/15567/task/15578/stat : 15578 (java) S 15565 15565 14382 0 -1 1077944384 1452 0 0 0 58 0 0 0 20 0 15 0 50998731 14427361280 2579716 33554432000 4194304 4196468 140735075703040 140263425017968 140264517950082 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33910784 140735075705985 140735075706161 140735075706161 140735075708879 0
[pid=15567/tid=15579] ppid=15565 vsize=14089220 memory=32 CPUtime=0.33 cores=1,3,5,7
/proc/15567/task/15579/stat : 15579 (java) S 15565 15565 14382 0 -1 1077944384 2220 0 0 0 33 0 0 0 20 0 15 0 50998732 14427361280 2579716 33554432000 4194304 4196468 140735075703040 140263423965424 140264517950082 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33910784 140735075705985 140735075706161 140735075706161 140735075708879 0
[pid=15567/tid=15580] ppid=15565 vsize=14089220 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15567/task/15580/stat : 15580 (java) S 15565 15565 14382 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 50998732 14427361280 2579716 33554432000 4194304 4196468 140735075703040 140263422913120 140264517949141 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33910784 140735075705985 140735075706161 140735075706161 140735075708879 0
[pid=15567/tid=15581] ppid=15565 vsize=14089220 memory=8 CPUtime=0.1 cores=1,3,5,7
/proc/15567/task/15581/stat : 15581 (java) S 15565 15565 14382 0 -1 1077944384 470 0 0 0 4 6 0 0 20 0 15 0 50998732 14427361280 2579716 33554432000 4194304 4196468 140735075703040 140263421860656 140264517950082 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33910784 140735075705985 140735075706161 140735075706161 140735075708879 0
Current children cumulated CPU time: 189.54 s
Current children cumulated vsize: 14202348 KiB
Current children cumulated memory: 10318268 KiB

[startup+168.002 s]*
/proc/loadavg: 2.01 2.07 2.06 6/221 15584
/proc/meminfo: memFree=13522796/32770624 swapFree=67108860/67108860
[pid=15565] ppid=15562 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/15565/stat : 15565 (xcsp3-exec) S 15562 15565 14382 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 50998726 115843072 363 33554432000 4194304 5098028 140735056981168 140735056979272 139714276356732 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 8232960 140735056987195 140735056987396 140735056987396 140735056990154 0
/proc/15565/statm: 28282 363 305 221 0 87 0
[pid=15567] ppid=15565 vsize=14089220 memory=11728000 CPUtime=194.72 cores=1,3,5,7
/proc/15567/stat : 15567 (java) S 15565 15565 14382 0 -1 1077944320 409074 0 0 0 18288 1184 0 0 20 0 15 0 50998726 14427361280 2932000 33554432000 4194304 4196468 140735075703040 140735075685584 140264517938935 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 33910784 140735075705985 140735075706161 140735075706161 140735075708879 0
/proc/15567/statm: 3522305 2932000 3379 1 0 3483520 0
[pid=15567/tid=15568] ppid=15565 vsize=14089220 memory=916 CPUtime=159.05 cores=1,3,5,7
/proc/15567/task/15568/stat : 15568 (java) S 15565 15565 14382 0 -1 1077944384 73290 0 0 0 15871 34 0 0 20 0 15 0 50998726 14427361280 2932000 33554432000 4194304 4196468 140735075703040 140264522176944 140264517949141 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33910784 140735075705985 140735075706161 140735075706161 140735075708879 0
[pid=15567/tid=15569] ppid=15565 vsize=14089220 memory=3852 CPUtime=8.37 cores=1,3,5,7
/proc/15567/task/15569/stat : 15569 (java) R 15565 15565 14382 0 -1 4202560 143927 0 0 0 601 236 0 0 20 0 15 0 50998727 14427361280 2932000 33554432000 4194304 4196468 140735075703040 140264448027096 140264502935581 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 33910784 140735075705985 140735075706161 140735075706161 140735075708879 0
[pid=15567/tid=15570] ppid=15565 vsize=14089220 memory=2728 CPUtime=8.4 cores=1,3,5,7
/proc/15567/task/15570/stat : 15570 (java) R 15565 15565 14382 0 -1 4202560 56134 0 0 0 533 307 0 0 20 0 15 0 50998727 14427361280 2932000 33554432000 4194304 4196468 140735075703040 140264446974352 140264502935581 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 33910784 140735075705985 140735075706161 140735075706161 140735075708879 0
[pid=15567/tid=15571] ppid=15565 vsize=14089220 memory=4126316290023845779 CPUtime=8.39 cores=1,3,5,7
/proc/15567/task/15571/stat : 15571 (java) R 15565 15565 14382 0 -1 4202560 59375 0 0 0 578 261 0 0 20 0 15 0 50998727 14427361280 2932000 33554432000 4194304 4196468 140735075703040 140264445921808 140264502637789 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 33910784 140735075705985 140735075706161 140735075706161 140735075708879 0
[pid=15567/tid=15572] ppid=15565 vsize=14089220 memory=11294360 CPUtime=8.43 cores=1,3,5,7
/proc/15567/task/15572/stat : 15572 (java) R 15565 15565 14382 0 -1 4202560 46091 0 0 0 512 331 0 0 20 0 15 0 50998727 14427361280 2932000 33554432000 4194304 4196468 140735075703040 140264444869264 140264502637793 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 33910784 140735075705985 140735075706161 140735075706161 140735075708879 0
[pid=15567/tid=15573] ppid=15565 vsize=14089220 memory=4100 CPUtime=0.45 cores=1,3,5,7
/proc/15567/task/15573/stat : 15573 (java) S 15565 15565 14382 0 -1 1077944384 22286 0 0 0 43 2 0 0 20 0 15 0 50998728 14427361280 2932000 33554432000 4194304 4196468 140735075703040 140263430280256 140264517949141 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33910784 140735075705985 140735075706161 140735075706161 140735075708879 0
[pid=15567/tid=15574] ppid=15565 vsize=14089220 memory=1408 CPUtime=0 cores=1,3,5,7
/proc/15567/task/15574/stat : 15574 (java) S 15565 15565 14382 0 -1 1077944384 38 0 0 0 0 0 0 0 20 0 15 0 50998729 14427361280 2932000 33554432000 4194304 4196468 140735075703040 140263429228000 140264517949141 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33910784 140735075705985 140735075706161 140735075706161 140735075708879 0
[pid=15567/tid=15575] ppid=15565 vsize=14089220 memory=3204 CPUtime=0 cores=1,3,5,7
/proc/15567/task/15575/stat : 15575 (java) S 15565 15565 14382 0 -1 1077944384 50 0 0 0 0 0 0 0 20 0 15 0 50998729 14427361280 2932000 33554432000 4194304 4196468 140735075703040 140263428175360 140264517949141 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33910784 140735075705985 140735075706161 140735075706161 140735075708879 0
[pid=15567/tid=15576] ppid=15565 vsize=14089220 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/15567/task/15576/stat : 15576 (java) S 15565 15565 14382 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 50998731 14427361280 2932000 33554432000 4194304 4196468 140735075703040 140263427123920 140264517957531 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33910784 140735075705985 140735075706161 140735075706161 140735075708879 0
[pid=15567/tid=15577] ppid=15565 vsize=14089220 memory=2137380 CPUtime=0.53 cores=1,3,5,7
/proc/15567/task/15577/stat : 15577 (java) S 15565 15565 14382 0 -1 1077944384 2490 0 0 0 53 0 0 0 20 0 15 0 50998731 14427361280 2932000 33554432000 4194304 4196468 140735075703040 140263426070512 140264517950082 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33910784 140735075705985 140735075706161 140735075706161 140735075708879 0
[pid=15567/tid=15578] ppid=15565 vsize=14089220 memory=1408 CPUtime=0.58 cores=1,3,5,7
/proc/15567/task/15578/stat : 15578 (java) S 15565 15565 14382 0 -1 1077944384 1452 0 0 0 58 0 0 0 20 0 15 0 50998731 14427361280 2932000 33554432000 4194304 4196468 140735075703040 140263425017968 140264517950082 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33910784 140735075705985 140735075706161 140735075706161 140735075708879 0
[pid=15567/tid=15579] ppid=15565 vsize=14089220 memory=0 CPUtime=0.33 cores=1,3,5,7
/proc/15567/task/15579/stat : 15579 (java) S 15565 15565 14382 0 -1 1077944384 2220 0 0 0 33 0 0 0 20 0 15 0 50998732 14427361280 2932000 33554432000 4194304 4196468 140735075703040 140263423965424 140264517950082 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33910784 140735075705985 140735075706161 140735075706161 140735075708879 0
[pid=15567/tid=15580] ppid=15565 vsize=14089220 memory=279650825541008 CPUtime=0 cores=1,3,5,7
/proc/15567/task/15580/stat : 15580 (java) S 15565 15565 14382 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 50998732 14427361280 2932000 33554432000 4194304 4196468 140735075703040 140263422913120 140264517949141 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33910784 140735075705985 140735075706161 140735075706161 140735075708879 0
[pid=15567/tid=15581] ppid=15565 vsize=14089220 memory=3472468121640430128 CPUtime=0.11 cores=1,3,5,7
/proc/15567/task/15581/stat : 15581 (java) S 15565 15565 14382 0 -1 1077944384 479 0 0 0 5 6 0 0 20 0 15 0 50998732 14427361280 2932000 33554432000 4194304 4196468 140735075703040 140263421860656 140264517950082 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33910784 140735075705985 140735075706161 140735075706161 140735075708879 0
Current children cumulated CPU time: 194.72 s
Current children cumulated vsize: 14202348 KiB
Current children cumulated memory: 11729452 KiB

[startup+168.802 s]
/proc/loadavg: 2.01 2.07 2.06 6/221 15584
/proc/meminfo: memFree=13522796/32770624 swapFree=67108860/67108860
[pid=15565] ppid=15562 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/15565/stat : 15565 (xcsp3-exec) S 15562 15565 14382 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 50998726 115843072 363 33554432000 4194304 5098028 140735056981168 140735056979272 139714276356732 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 8232960 140735056987195 140735056987396 140735056987396 140735056990154 0
/proc/15565/statm: 28282 363 305 221 0 87 0
[pid=15567] ppid=15565 vsize=14089220 memory=11728000 CPUtime=197.64 cores=1,3,5,7
/proc/15567/stat : 15567 (java) S 15565 15565 14382 0 -1 1077944320 409493 0 0 0 18579 1185 0 0 20 0 15 0 50998726 14427361280 2932000 33554432000 4194304 4196468 140735075703040 140735075685584 140264517938935 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 33910784 140735075705985 140735075706161 140735075706161 140735075708879 0
/proc/15567/statm: 3522305 2932000 3379 1 0 3483520 0
[pid=15567/tid=15568] ppid=15565 vsize=14089220 memory=11708336 CPUtime=159.05 cores=1,3,5,7
/proc/15567/task/15568/stat : 15568 (java) S 15565 15565 14382 0 -1 1077944384 73290 0 0 0 15871 34 0 0 20 0 15 0 50998726 14427361280 2932000 33554432000 4194304 4196468 140735075703040 140264522176944 140264517949141 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33910784 140735075705985 140735075706161 140735075706161 140735075708879 0
[pid=15567/tid=15569] ppid=15565 vsize=14089220 memory=2396 CPUtime=9.07 cores=1,3,5,7
/proc/15567/task/15569/stat : 15569 (java) R 15565 15565 14382 0 -1 4202560 143959 0 0 0 671 236 0 0 20 0 15 0 50998727 14427361280 2932000 33554432000 4194304 4196468 140735075703040 140264448026704 140264510567143 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 33910784 140735075705985 140735075706161 140735075706161 140735075708879 0
[pid=15567/tid=15570] ppid=15565 vsize=14089220 memory=1292 CPUtime=9.13 cores=1,3,5,7
/proc/15567/task/15570/stat : 15570 (java) R 15565 15565 14382 0 -1 4202560 56348 0 0 0 606 307 0 0 20 0 15 0 50998727 14427361280 2932000 33554432000 4194304 4196468 140735075703040 140264446974552 140264511041928 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 33910784 140735075705985 140735075706161 140735075706161 140735075708879 0
[pid=15567/tid=15571] ppid=15565 vsize=14089220 memory=1732 CPUtime=9.11 cores=1,3,5,7
/proc/15567/task/15571/stat : 15571 (java) R 15565 15565 14382 0 -1 4202560 59459 0 0 0 649 262 0 0 20 0 15 0 50998727 14427361280 2932000 33554432000 4194304 4196468 140735075703040 140264445921616 140264510567143 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 33910784 140735075705985 140735075706161 140735075706161 140735075708879 0
[pid=15567/tid=15572] ppid=15565 vsize=14089220 memory=1008 CPUtime=9.13 cores=1,3,5,7
/proc/15567/task/15572/stat : 15572 (java) R 15565 15565 14382 0 -1 4202560 46143 0 0 0 582 331 0 0 20 0 15 0 50998727 14427361280 2932000 33554432000 4194304 4196468 140735075703040 140264444869072 140264510567143 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 33910784 140735075705985 140735075706161 140735075706161 140735075708879 0
[pid=15567/tid=15573] ppid=15565 vsize=14089220 memory=5404 CPUtime=0.51 cores=1,3,5,7
/proc/15567/task/15573/stat : 15573 (java) S 15565 15565 14382 0 -1 1077944384 22305 0 0 0 49 2 0 0 20 0 15 0 50998728 14427361280 2932000 33554432000 4194304 4196468 140735075703040 140263430280272 140264517949141 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33910784 140735075705985 140735075706161 140735075706161 140735075708879 0
[pid=15567/tid=15574] ppid=15565 vsize=14089220 memory=796 CPUtime=0 cores=1,3,5,7
/proc/15567/task/15574/stat : 15574 (java) S 15565 15565 14382 0 -1 1077944384 38 0 0 0 0 0 0 0 20 0 15 0 50998729 14427361280 2932000 33554432000 4194304 4196468 140735075703040 140263429228000 140264517949141 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33910784 140735075705985 140735075706161 140735075706161 140735075708879 0
[pid=15567/tid=15575] ppid=15565 vsize=14089220 memory=4616 CPUtime=0 cores=1,3,5,7
/proc/15567/task/15575/stat : 15575 (java) S 15565 15565 14382 0 -1 1077944384 50 0 0 0 0 0 0 0 20 0 15 0 50998729 14427361280 2932000 33554432000 4194304 4196468 140735075703040 140263428175360 140264517949141 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33910784 140735075705985 140735075706161 140735075706161 140735075708879 0
[pid=15567/tid=15576] ppid=15565 vsize=14089220 memory=1424 CPUtime=0 cores=1,3,5,7
/proc/15567/task/15576/stat : 15576 (java) S 15565 15565 14382 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 50998731 14427361280 2932000 33554432000 4194304 4196468 140735075703040 140263427123920 140264517957531 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33910784 140735075705985 140735075706161 140735075706161 140735075708879 0
[pid=15567/tid=15577] ppid=15565 vsize=14089220 memory=10940 CPUtime=0.53 cores=1,3,5,7
/proc/15567/task/15577/stat : 15577 (java) S 15565 15565 14382 0 -1 1077944384 2492 0 0 0 53 0 0 0 20 0 15 0 50998731 14427361280 2932000 33554432000 4194304 4196468 140735075703040 140263426070560 140264517949141 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33910784 140735075705985 140735075706161 140735075706161 140735075708879 0
[pid=15567/tid=15578] ppid=15565 vsize=14089220 memory=1200 CPUtime=0.58 cores=1,3,5,7
/proc/15567/task/15578/stat : 15578 (java) S 15565 15565 14382 0 -1 1077944384 1454 0 0 0 58 0 0 0 20 0 15 0 50998731 14427361280 2932000 33554432000 4194304 4196468 140735075703040 140263425018016 140264517949141 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33910784 140735075705985 140735075706161 140735075706161 140735075708879 0
[pid=15567/tid=15579] ppid=15565 vsize=14089220 memory=1228 CPUtime=0.33 cores=1,3,5,7
/proc/15567/task/15579/stat : 15579 (java) S 15565 15565 14382 0 -1 1077944384 2226 0 0 0 33 0 0 0 20 0 15 0 50998732 14427361280 2932000 33554432000 4194304 4196468 140735075703040 140263423965184 140264517949141 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33910784 140735075705985 140735075706161 140735075706161 140735075708879 0
[pid=15567/tid=15580] ppid=15565 vsize=14089220 memory=1704 CPUtime=0 cores=1,3,5,7
/proc/15567/task/15580/stat : 15580 (java) S 15565 15565 14382 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 50998732 14427361280 2932000 33554432000 4194304 4196468 140735075703040 140263422913120 140264517949141 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33910784 140735075705985 140735075706161 140735075706161 140735075708879 0
[pid=15567/tid=15581] ppid=15565 vsize=14089220 memory=1948 CPUtime=0.11 cores=1,3,5,7
/proc/15567/task/15581/stat : 15581 (java) S 15565 15565 14382 0 -1 1077944384 487 0 0 0 5 6 0 0 20 0 15 0 50998732 14427361280 2932000 33554432000 4194304 4196468 140735075703040 140263421860656 140264517950082 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33910784 140735075705985 140735075706161 140735075706161 140735075708879 0
Current children cumulated CPU time: 197.64 s
Current children cumulated vsize: 14202348 KiB
Current children cumulated memory: 11729452 KiB

[startup+169.601 s]
/proc/loadavg: 2.01 2.07 2.06 6/221 15584
/proc/meminfo: memFree=13518452/32770624 swapFree=67108860/67108860
[pid=15565] ppid=15562 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/15565/stat : 15565 (xcsp3-exec) S 15562 15565 14382 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 50998726 115843072 363 33554432000 4194304 5098028 140735056981168 140735056979272 139714276356732 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 8232960 140735056987195 140735056987396 140735056987396 140735056990154 0
/proc/15565/statm: 28282 363 305 221 0 87 0
[pid=15567] ppid=15565 vsize=14089220 memory=11728004 CPUtime=200.57 cores=1,3,5,7
/proc/15567/stat : 15567 (java) S 15565 15565 14382 0 -1 1077944320 413178 0 0 0 18871 1186 0 0 20 0 15 0 50998726 14427361280 2932001 33554432000 4194304 4196468 140735075703040 140735075685584 140264517938935 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 33910784 140735075705985 140735075706161 140735075706161 140735075708879 0
/proc/15567/statm: 3522305 2932001 3379 1 0 3483520 0
[pid=15567/tid=15568] ppid=15565 vsize=14089220 memory=8041156 CPUtime=159.05 cores=1,3,5,7
/proc/15567/task/15568/stat : 15568 (java) S 15565 15565 14382 0 -1 1077944384 73296 0 0 0 15871 34 0 0 20 0 15 0 50998726 14427361280 2932001 33554432000 4194304 4196468 140735075703040 140264522176944 140264517949141 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33910784 140735075705985 140735075706161 140735075706161 140735075708879 0
[pid=15567/tid=15569] ppid=15565 vsize=14089220 memory=0 CPUtime=9.79 cores=1,3,5,7
/proc/15567/task/15569/stat : 15569 (java) S 15565 15565 14382 0 -1 1077944384 144007 0 0 0 743 236 0 0 20 0 15 0 50998727 14427361280 2932001 33554432000 4194304 4196468 140735075703040 140264448026912 140264517949141 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33910784 140735075705985 140735075706161 140735075706161 140735075708879 0
[pid=15567/tid=15570] ppid=15565 vsize=14089220 memory=1452 CPUtime=9.85 cores=1,3,5,7
/proc/15567/task/15570/stat : 15570 (java) S 15565 15565 14382 0 -1 1077944384 56425 0 0 0 678 307 0 0 20 0 15 0 50998727 14427361280 2932001 33554432000 4194304 4196468 140735075703040 140264446974352 140264517949141 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33910784 140735075705985 140735075706161 140735075706161 140735075708879 0
[pid=15567/tid=15571] ppid=15565 vsize=14089220 memory=1452 CPUtime=9.82 cores=1,3,5,7
/proc/15567/task/15571/stat : 15571 (java) R 15565 15565 14382 0 -1 4202560 59459 0 0 0 720 262 0 0 20 0 15 0 50998727 14427361280 2932001 33554432000 4194304 4196468 140735075703040 140264445921704 140264510567143 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 33910784 140735075705985 140735075706161 140735075706161 140735075708879 0
[pid=15567/tid=15572] ppid=15565 vsize=14089220 memory=1452 CPUtime=9.84 cores=1,3,5,7
/proc/15567/task/15572/stat : 15572 (java) S 15565 15565 14382 0 -1 1077944384 46335 0 0 0 653 331 0 0 20 0 15 0 50998727 14427361280 2932001 33554432000 4194304 4196468 140735075703040 140264444869264 140264517949141 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33910784 140735075705985 140735075706161 140735075706161 140735075708879 0
[pid=15567/tid=15573] ppid=15565 vsize=14089220 memory=10940 CPUtime=0.56 cores=1,3,5,7
/proc/15567/task/15573/stat : 15573 (java) S 15565 15565 14382 0 -1 1077944384 25662 0 0 0 54 2 0 0 20 0 15 0 50998728 14427361280 2932001 33554432000 4194304 4196468 140735075703040 140263430280032 140264517949141 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33910784 140735075705985 140735075706161 140735075706161 140735075708879 0
[pid=15567/tid=15574] ppid=15565 vsize=14089220 memory=1200 CPUtime=0 cores=1,3,5,7
/proc/15567/task/15574/stat : 15574 (java) S 15565 15565 14382 0 -1 1077944384 40 0 0 0 0 0 0 0 20 0 15 0 50998729 14427361280 2932001 33554432000 4194304 4196468 140735075703040 140263429227536 140264517950082 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33910784 140735075705985 140735075706161 140735075706161 140735075708879 0
[pid=15567/tid=15575] ppid=15565 vsize=14089220 memory=1228 CPUtime=0 cores=1,3,5,7
/proc/15567/task/15575/stat : 15575 (java) S 15565 15565 14382 0 -1 1077944384 50 0 0 0 0 0 0 0 20 0 15 0 50998729 14427361280 2932001 33554432000 4194304 4196468 140735075703040 140263428175360 140264517949141 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33910784 140735075705985 140735075706161 140735075706161 140735075708879 0
[pid=15567/tid=15576] ppid=15565 vsize=14089220 memory=8270768 CPUtime=0 cores=1,3,5,7
/proc/15567/task/15576/stat : 15576 (java) S 15565 15565 14382 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 50998731 14427361280 2932001 33554432000 4194304 4196468 140735075703040 140263427123920 140264517957531 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33910784 140735075705985 140735075706161 140735075706161 140735075708879 0
[pid=15567/tid=15577] ppid=15565 vsize=14089220 memory=1452 CPUtime=0.53 cores=1,3,5,7
/proc/15567/task/15577/stat : 15577 (java) S 15565 15565 14382 0 -1 1077944384 2494 0 0 0 53 0 0 0 20 0 15 0 50998731 14427361280 2932001 33554432000 4194304 4196468 140735075703040 140263426070272 140264517949141 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33910784 140735075705985 140735075706161 140735075706161 140735075708879 0
[pid=15567/tid=15578] ppid=15565 vsize=14089220 memory=8041180 CPUtime=0.58 cores=1,3,5,7
/proc/15567/task/15578/stat : 15578 (java) S 15565 15565 14382 0 -1 1077944384 1454 0 0 0 58 0 0 0 20 0 15 0 50998731 14427361280 2932001 33554432000 4194304 4196468 140735075703040 140263425017968 140264517950082 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33910784 140735075705985 140735075706161 140735075706161 140735075708879 0
[pid=15567/tid=15579] ppid=15565 vsize=14089220 memory=11728000 CPUtime=0.33 cores=1,3,5,7
/proc/15567/task/15579/stat : 15579 (java) S 15565 15565 14382 0 -1 1077944384 2227 0 0 0 33 0 0 0 20 0 15 0 50998732 14427361280 2932001 33554432000 4194304 4196468 140735075703040 140263423965424 140264517950082 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33910784 140735075705985 140735075706161 140735075706161 140735075708879 0
[pid=15567/tid=15580] ppid=15565 vsize=14089220 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/15567/task/15580/stat : 15580 (java) S 15565 15565 14382 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 50998732 14427361280 2932001 33554432000 4194304 4196468 140735075703040 140263422913120 140264517949141 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33910784 140735075705985 140735075706161 140735075706161 140735075708879 0
[pid=15567/tid=15581] ppid=15565 vsize=14089220 memory=11092052 CPUtime=0.11 cores=1,3,5,7
/proc/15567/task/15581/stat : 15581 (java) S 15565 15565 14382 0 -1 1077944384 487 0 0 0 5 6 0 0 20 0 15 0 50998732 14427361280 2932001 33554432000 4194304 4196468 140735075703040 140263421860656 140264517950082 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33910784 140735075705985 140735075706161 140735075706161 140735075708879 0
Current children cumulated CPU time: 200.57 s
Current children cumulated vsize: 14202348 KiB
Current children cumulated memory: 11729456 KiB

[startup+170.001 s]*
/proc/loadavg: 2.25 2.12 2.07 3/208 15585
/proc/meminfo: memFree=14656140/32770624 swapFree=67108860/67108860
[pid=15565] ppid=15562 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/15565/stat : 15565 (xcsp3-exec) S 15562 15565 14382 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 50998726 115843072 363 33554432000 4194304 5098028 140735056981168 140735056979272 139714276356732 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 8232960 140735056987195 140735056987396 140735056987396 140735056990154 0
/proc/15565/statm: 28282 363 305 221 0 87 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 113128 KiB
Current children cumulated memory: 1452 KiB

Child status: 1
Real time (s): 170.041
CPU time (s): 201.607
CPU user time (s): 189.658
CPU system time (s): 11.9489
CPU usage (%): 118.564
Max. virtual memory (cumulated for all children) (KiB): 14202348
Max. memory (cumulated for all children) (KiB): 11729580

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 189.658
system time used= 11.9489
maximum resident set size= 11728464
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 414197
page faults= 0
swaps= 0
block input operations= 0
block output operations= 216
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 10859
involuntary context switches= 566


# summary of solver processes directly reported to runsolver:
#   pid: 15565
#   total CPU time (s): 201.607
#   total CPU user time (s): 189.658
#   total CPU system time (s): 11.9489

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.03411 second user time and 1.89158 second system time

The end

Launcher Data 

Begin job on node134 at 2018-07-23 10:25:55
IDJOB=4292232
IDBENCH=141306
IDSOLVER=2747
FILE ID=node134/4292232-1532334355
RUNJOBID= node134-1532328652-14414
PBS_JOBID= 21018997
Free space on /tmp= 55908 MiB

SOLVER NAME= Choco-solver 4.0.7 seq (493a269)
BENCH NAME= XCSP18/CrosswordDesign/CrosswordDesign-10-4-rom_c18.xml
COMMAND LINE= HOME/xcsp3-exec -seed RANDOMSEED -dir DIR -tl TIMEOUT -ml 11000 -p 1 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4292232-1532334355/watcher-4292232-1532334355 -o /tmp/evaluation-result-4292232-1532334355/solver-4292232-1532334355 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node134-1532328652-14414 --watchdog 2560  HOME/xcsp3-exec -seed 635657112 -dir HOME -tl 2400 -ml 11000 -p 1 HOME/instance-4292232-1532334355.xml

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

MD5SUM BENCH= 1ce90bfeea193be77ab92ac06e9a3657
RANDOM SEED=635657112

node134.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.68
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.68
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.68
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.68
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:        25430528 kB
MemAvailable:   30014764 kB
Buffers:          187796 kB
Cached:          4660108 kB
SwapCached:            0 kB
Active:          3458204 kB
Inactive:        3404436 kB
Active(anon):    1963868 kB
Inactive(anon):    70304 kB
Active(file):    1494336 kB
Inactive(file):  3334132 kB
Unevictable:        7396 kB
Mlocked:            7396 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:             48648 kB
Writeback:             0 kB
AnonPages:       1993584 kB
Mapped:            49472 kB
Shmem:             17056 kB
Slab:             171500 kB
SReclaimable:     143208 kB
SUnreclaim:        28292 kB
KernelStack:        3648 kB
PageTables:         8556 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    3468412 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1871872 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      120192 kB
DirectMap2M:    33425408 kB

Free space on /tmp at the end= 55888 MiB
End job on node134 at 2018-07-23 10:28:45