Trace number 4306800

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 NameAnswerCPU timeWall clock time
Choco-solver 4.0.7b seq (e747e1e)UNSAT 188.121 184.761

General information on the benchmark

NameDubois/
Dubois-023_c18.xml
MD5SUMd9fd0a93a95458fcc98ae1d4ddac20a1
Bench CategoryCSP (decision problem)
Best result obtained on this benchmarkUNSAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark0.008084
Satisfiable
(Un)Satisfiability was proved
Number of variables69
Number of constraints46
Number of domains1
Minimum domain size2
Maximum domain size2
Distribution of domain sizes[{"size":2,"count":69}]
Minimum variable degree2
Maximum variable degree2
Distribution of variable degrees[{"degree":2,"count":69}]
Minimum constraint arity3
Maximum constraint arity3
Distribution of constraint arities[{"arity":3,"count":46}]
Number of extensional constraints46
Number of intensional constraints0
Distribution of constraint types[{"type":"extension","count":46}]
Optimization problemNO
Type of objective

Solver Data 

0.00/0.00	c java -server -Xmx11000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4306800-1534104512.xml"  -tl '2520s' -p 1
0.12/0.17	c Choco e747e1e
0.12/0.18	c [HOME/instance-4306800-1534104512.xml, -tl, 2520s, -p, 1]
0.12/0.21	c simple solver
0.34/0.28	c parse instance...
0.71/0.44	c solve instance...
188.05/184.75	s UNSATISFIABLE

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4306800-1534104512/watcher-4306800-1534104512 -o /tmp/evaluation-result-4306800-1534104512/solver-4306800-1534104512 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node150-1534096899-2740 --watchdog 2580 HOME/xcsp3-exec -seed 1873946491 -dir HOME -tl 2520 -ml 11000 -p 1 HOME/instance-4306800-1534104512.xml 

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

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

solver pid=4132, runsolver pid=4129

[startup+0.100122 s]*
/proc/loadavg: 2.11 1.83 1.80 3/217 4148
/proc/meminfo: memFree=13116048/32770624 swapFree=67108792/67108860
[pid=4132] ppid=4129 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/4132/stat : 4132 (xcsp3-exec) S 4129 4132 2709 0 -1 4202496 535 0 0 0 0 0 0 0 20 0 1 0 228014443 115843072 363 33554432000 4194304 5098028 140730893508064 140730893506168 139897559949948 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 27803648 140730893509690 140730893509892 140730893509892 140730893512650 0
/proc/4132/statm: 28282 363 306 221 0 87 0
[pid=4134] ppid=4132 vsize=14082940 memory=28936 CPUtime=0.12 cores=0,2,4,6
/proc/4134/stat : 4134 (java) S 4132 4132 2709 0 -1 1077944320 5484 0 0 0 11 1 0 0 20 0 15 0 228014443 14420930560 7234 33554432000 4194304 4196468 140736398389680 140736398372224 140044337721079 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 9498624 140736398394502 140736398394673 140736398394673 140736398397391 0
/proc/4134/statm: 3520735 7234 3063 1 0 3483012 0
[pid=4134/tid=4135] ppid=4132 vsize=14082940 memory=-8976644418600983157 CPUtime=0.08 cores=0,2,4,6
/proc/4134/task/4135/stat : 4135 (java) R 4132 4132 2709 0 -1 4202560 3505 0 0 0 8 0 0 0 20 0 15 0 228014443 14420930560 7234 33554432000 4194304 4196468 140736398389680 140044341954352 140044337733014 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 9498624 140736398394502 140736398394673 140736398394673 140736398397391 0
[pid=4134/tid=4136] ppid=4132 vsize=14082940 memory=3472468543154095312 CPUtime=0 cores=0,2,4,6
/proc/4134/task/4136/stat : 4136 (java) S 4132 4132 2709 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 228014444 14420930560 7234 33554432000 4194304 4196468 140736398389680 140044267809168 140044337731285 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9498624 140736398394502 140736398394673 140736398394673 140736398397391 0
[pid=4134/tid=4137] ppid=4132 vsize=14082940 memory=140414258943616 CPUtime=0 cores=0,2,4,6
/proc/4134/task/4137/stat : 4137 (java) S 4132 4132 2709 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 228014444 14420930560 7234 33554432000 4194304 4196468 140736398389680 140044266756368 140044337731285 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9498624 140736398394502 140736398394673 140736398394673 140736398397391 0
[pid=4134/tid=4138] ppid=4132 vsize=14082940 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4134/task/4138/stat : 4138 (java) S 4132 4132 2709 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 228014444 14420930560 7234 33554432000 4194304 4196468 140736398389680 140044265704080 140044337731285 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9498624 140736398394502 140736398394673 140736398394673 140736398397391 0
[pid=4134/tid=4139] ppid=4132 vsize=14082940 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4134/task/4139/stat : 4139 (java) S 4132 4132 2709 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 228014444 14420930560 7234 33554432000 4194304 4196468 140736398389680 140044264651280 140044337731285 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9498624 140736398394502 140736398394673 140736398394673 140736398397391 0
[pid=4134/tid=4140] ppid=4132 vsize=14082940 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4134/task/4140/stat : 4140 (java) S 4132 4132 2709 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 228014445 14420930560 7234 33554432000 4194304 4196468 140736398389680 140043811928688 140044337732226 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9498624 140736398394502 140736398394673 140736398394673 140736398397391 0
[pid=4134/tid=4141] ppid=4132 vsize=14082940 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/4134/task/4141/stat : 4141 (java) S 4132 4132 2709 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 228014446 14420930560 7234 33554432000 4194304 4196468 140736398389680 140043810874656 140044337731285 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9498624 140736398394502 140736398394673 140736398394673 140736398397391 0
[pid=4134/tid=4142] ppid=4132 vsize=14082940 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4134/task/4142/stat : 4142 (java) S 4132 4132 2709 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 228014446 14420930560 7234 33554432000 4194304 4196468 140736398389680 140043809822320 140044337731285 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9498624 140736398394502 140736398394673 140736398394673 140736398397391 0
[pid=4134/tid=4143] ppid=4132 vsize=14082940 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4134/task/4143/stat : 4143 (java) S 4132 4132 2709 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 228014449 14420930560 7234 33554432000 4194304 4196468 140736398389680 140043808770640 140044337739675 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9498624 140736398394502 140736398394673 140736398394673 140736398397391 0
[pid=4134/tid=4144] ppid=4132 vsize=14082940 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4134/task/4144/stat : 4144 (java) S 4132 4132 2709 0 -1 1077944384 408 0 0 0 0 0 0 0 20 0 15 0 228014449 14420930560 7234 33554432000 4194304 4196468 140736398389680 140043807717488 140044337732226 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9498624 140736398394502 140736398394673 140736398394673 140736398397391 0
[pid=4134/tid=4145] ppid=4132 vsize=14082940 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/4134/task/4145/stat : 4145 (java) S 4132 4132 2709 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 228014449 14420930560 7234 33554432000 4194304 4196468 140736398389680 140043806664688 140044337732226 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9498624 140736398394502 140736398394673 140736398394673 140736398397391 0
[pid=4134/tid=4146] ppid=4132 vsize=14082940 memory=140414258943616 CPUtime=0.01 cores=0,2,4,6
/proc/4134/task/4146/stat : 4146 (java) R 4132 4132 2709 0 -1 4202560 281 0 0 0 1 0 0 0 20 0 15 0 228014449 14420930560 7234 33554432000 4194304 4196468 140736398389680 140043805612400 140044318958640 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 9498624 140736398394502 140736398394673 140736398394673 140736398397391 0
[pid=4134/tid=4147] ppid=4132 vsize=14082940 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/4134/task/4147/stat : 4147 (java) S 4132 4132 2709 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 228014449 14420930560 7234 33554432000 4194304 4196468 140736398389680 140043804559840 140044337731285 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9498624 140736398394502 140736398394673 140736398394673 140736398397391 0
[pid=4134/tid=4148] ppid=4132 vsize=14082940 memory=140414258943616 CPUtime=0 cores=0,2,4,6
/proc/4134/task/4148/stat : 4148 (java) S 4132 4132 2709 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 228014449 14420930560 7234 33554432000 4194304 4196468 140736398389680 140043803507632 140044337732226 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9498624 140736398394502 140736398394673 140736398394673 140736398397391 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 14196068 KiB
Current children cumulated memory: 30388 KiB

[startup+0.210616 s]*
/proc/loadavg: 2.11 1.83 1.80 4/217 4148
/proc/meminfo: memFree=13103996/32770624 swapFree=67108792/67108860
[pid=4132] ppid=4129 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/4132/stat : 4132 (xcsp3-exec) S 4129 4132 2709 0 -1 4202496 535 0 0 0 0 0 0 0 20 0 1 0 228014443 115843072 363 33554432000 4194304 5098028 140730893508064 140730893506168 139897559949948 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 27803648 140730893509690 140730893509892 140730893509892 140730893512650 0
/proc/4132/statm: 28282 363 306 221 0 87 0
[pid=4134] ppid=4132 vsize=14082940 memory=41096 CPUtime=0.34 cores=0,2,4,6
/proc/4134/stat : 4134 (java) S 4132 4132 2709 0 -1 1077944320 8323 0 0 0 32 2 0 0 20 0 15 0 228014443 14420930560 10274 33554432000 4194304 4196468 140736398389680 140736398372224 140044337721079 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 9498624 140736398394502 140736398394673 140736398394673 140736398397391 0
/proc/4134/statm: 3520735 10274 3216 1 0 3483012 0
[pid=4134/tid=4135] ppid=4132 vsize=14082940 memory=4788064525053108374 CPUtime=0.2 cores=0,2,4,6
/proc/4134/task/4135/stat : 4135 (java) D 4132 4132 2709 0 -1 1077944384 5424 0 0 0 19 1 0 0 20 0 15 0 228014443 14420930560 10338 33554432000 4194304 4196468 140736398389680 140044341945248 140044330400301 0 4 0 16800975 18446744072101727780 0 0 -1 2 0 0 0 0 0 6293624 6294260 9498624 140736398394502 140736398394673 140736398394673 140736398397391 0
[pid=4134/tid=4136] ppid=4132 vsize=14082940 memory=3472468543154095312 CPUtime=0 cores=0,2,4,6
/proc/4134/task/4136/stat : 4136 (java) S 4132 4132 2709 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 228014444 14420930560 10338 33554432000 4194304 4196468 140736398389680 140044267809168 140044337731285 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9498624 140736398394502 140736398394673 140736398394673 140736398397391 0
[pid=4134/tid=4137] ppid=4132 vsize=14082940 memory=140414258943616 CPUtime=0 cores=0,2,4,6
/proc/4134/task/4137/stat : 4137 (java) S 4132 4132 2709 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 228014444 14420930560 10338 33554432000 4194304 4196468 140736398389680 140044266756368 140044337731285 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9498624 140736398394502 140736398394673 140736398394673 140736398397391 0
[pid=4134/tid=4138] ppid=4132 vsize=14082940 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4134/task/4138/stat : 4138 (java) S 4132 4132 2709 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 228014444 14420930560 10338 33554432000 4194304 4196468 140736398389680 140044265704080 140044337731285 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9498624 140736398394502 140736398394673 140736398394673 140736398397391 0
[pid=4134/tid=4139] ppid=4132 vsize=14082940 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/4134/task/4139/stat : 4139 (java) S 4132 4132 2709 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 228014444 14420930560 10338 33554432000 4194304 4196468 140736398389680 140044264651280 140044337731285 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9498624 140736398394502 140736398394673 140736398394673 140736398397391 0
[pid=4134/tid=4140] ppid=4132 vsize=14082972 memory=140414258943616 CPUtime=0 cores=0,2,4,6
/proc/4134/task/4140/stat : 4140 (java) S 4132 4132 2709 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 228014445 14420963328 10338 33554432000 4194304 4196468 140736398389680 140043811928688 140044337732226 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9498624 140736398394502 140736398394673 140736398394673 140736398397391 0
[pid=4134/tid=4141] ppid=4132 vsize=14082972 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/4134/task/4141/stat : 4141 (java) S 4132 4132 2709 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 228014446 14420963328 10338 33554432000 4194304 4196468 140736398389680 140043810874656 140044337731285 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9498624 140736398394502 140736398394673 140736398394673 140736398397391 0
[pid=4134/tid=4142] ppid=4132 vsize=14082972 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4134/task/4142/stat : 4142 (java) S 4132 4132 2709 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 228014446 14420963328 10341 33554432000 4194304 4196468 140736398389680 140043809822320 140044337731285 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9498624 140736398394502 140736398394673 140736398394673 140736398397391 0
[pid=4134/tid=4143] ppid=4132 vsize=14082940 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4134/task/4143/stat : 4143 (java) S 4132 4132 2709 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 228014449 14420930560 10341 33554432000 4194304 4196468 140736398389680 140043808770640 140044337739675 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9498624 140736398394502 140736398394673 140736398394673 140736398397391 0
[pid=4134/tid=4144] ppid=4132 vsize=14082940 memory=0 CPUtime=0.03 cores=0,2,4,6
/proc/4134/task/4144/stat : 4144 (java) S 4132 4132 2709 0 -1 1077944384 740 0 0 0 3 0 0 0 20 0 15 0 228014449 14420930560 10341 33554432000 4194304 4196468 140736398389680 140043807717488 140044337732226 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9498624 140736398394502 140736398394673 140736398394673 140736398397391 0
[pid=4134/tid=4145] ppid=4132 vsize=14082940 memory=-1 CPUtime=0.01 cores=0,2,4,6
/proc/4134/task/4145/stat : 4145 (java) S 4132 4132 2709 0 -1 1077944384 78 0 0 0 1 0 0 0 20 0 15 0 228014449 14420930560 10341 33554432000 4194304 4196468 140736398389680 140043806664688 140044337732226 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9498624 140736398394502 140736398394673 140736398394673 140736398397391 0
[pid=4134/tid=4146] ppid=4132 vsize=14082940 memory=140414258943616 CPUtime=0.07 cores=0,2,4,6
/proc/4134/task/4146/stat : 4146 (java) S 4132 4132 2709 0 -1 1077944384 791 0 0 0 7 0 0 0 20 0 15 0 228014449 14420930560 10341 33554432000 4194304 4196468 140736398389680 140043805612400 140044337732226 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9498624 140736398394502 140736398394673 140736398394673 140736398397391 0
[pid=4134/tid=4147] ppid=4132 vsize=14085056 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/4134/task/4147/stat : 4147 (java) S 4132 4132 2709 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 228014449 14423097344 10341 33554432000 4194304 4196468 140736398389680 140043804559840 140044337731285 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9498624 140736398394502 140736398394673 140736398394673 140736398397391 0
[pid=4134/tid=4148] ppid=4132 vsize=14085056 memory=140414258943616 CPUtime=0 cores=0,2,4,6
/proc/4134/task/4148/stat : 4148 (java) S 4132 4132 2709 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 228014449 14423097344 10341 33554432000 4194304 4196468 140736398389680 140043803507632 140044337732226 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9498624 140736398394502 140736398394673 140736398394673 140736398397391 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 14196068 KiB
Current children cumulated memory: 42548 KiB

[startup+0.31604 s]*
/proc/loadavg: 2.11 1.83 1.80 4/217 4148
/proc/meminfo: memFree=13096988/32770624 swapFree=67108792/67108860
[pid=4132] ppid=4129 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/4132/stat : 4132 (xcsp3-exec) S 4129 4132 2709 0 -1 4202496 535 0 0 0 0 0 0 0 20 0 1 0 228014443 115843072 363 33554432000 4194304 5098028 140730893508064 140730893506168 139897559949948 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 27803648 140730893509690 140730893509892 140730893509892 140730893512650 0
/proc/4132/statm: 28282 363 306 221 0 87 0
[pid=4134] ppid=4132 vsize=14087196 memory=48408 CPUtime=0.52 cores=0,2,4,6
/proc/4134/stat : 4134 (java) S 4132 4132 2709 0 -1 1077944320 9276 0 0 0 50 2 0 0 20 0 15 0 228014443 14425288704 12102 33554432000 4194304 4196468 140736398389680 140736398372224 140044337721079 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 9498624 140736398394502 140736398394673 140736398394673 140736398397391 0
/proc/4134/statm: 3521799 12102 3262 1 0 3483012 0
[pid=4134/tid=4135] ppid=4132 vsize=14087196 memory=-8976644418600983157 CPUtime=0.29 cores=0,2,4,6
/proc/4134/task/4135/stat : 4135 (java) R 4132 4132 2709 0 -1 4202560 6217 0 0 0 28 1 0 0 20 0 15 0 228014443 14425288704 12167 33554432000 4194304 4196468 140736398389680 140044341952192 140044321801566 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 9498624 140736398394502 140736398394673 140736398394673 140736398397391 0
[pid=4134/tid=4136] ppid=4132 vsize=14087196 memory=3472468543154095312 CPUtime=0 cores=0,2,4,6
/proc/4134/task/4136/stat : 4136 (java) S 4132 4132 2709 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 228014444 14425288704 12167 33554432000 4194304 4196468 140736398389680 140044267809168 140044337731285 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9498624 140736398394502 140736398394673 140736398394673 140736398397391 0
[pid=4134/tid=4137] ppid=4132 vsize=14087196 memory=140414258943616 CPUtime=0 cores=0,2,4,6
/proc/4134/task/4137/stat : 4137 (java) S 4132 4132 2709 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 228014444 14425288704 12167 33554432000 4194304 4196468 140736398389680 140044266756368 140044337731285 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9498624 140736398394502 140736398394673 140736398394673 140736398397391 0
[pid=4134/tid=4138] ppid=4132 vsize=14087196 memory=4 CPUtime=0 cores=0,2,4,6
/proc/4134/task/4138/stat : 4138 (java) S 4132 4132 2709 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 228014444 14425288704 12174 33554432000 4194304 4196468 140736398389680 140044265704080 140044337731285 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9498624 140736398394502 140736398394673 140736398394673 140736398397391 0
[pid=4134/tid=4139] ppid=4132 vsize=14087196 memory=140414157989919 CPUtime=0 cores=0,2,4,6
/proc/4134/task/4139/stat : 4139 (java) S 4132 4132 2709 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 228014444 14425288704 12174 33554432000 4194304 4196468 140736398389680 140044264651280 140044337731285 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9498624 140736398394502 140736398394673 140736398394673 140736398397391 0
[pid=4134/tid=4140] ppid=4132 vsize=14087196 memory=280828315940608 CPUtime=0 cores=0,2,4,6
/proc/4134/task/4140/stat : 4140 (java) S 4132 4132 2709 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 228014445 14425288704 12174 33554432000 4194304 4196468 140736398389680 140043811928688 140044337732226 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9498624 140736398394502 140736398394673 140736398394673 140736398397391 0
[pid=4134/tid=4141] ppid=4132 vsize=14087196 memory=140414157966863 CPUtime=0 cores=0,2,4,6
/proc/4134/task/4141/stat : 4141 (java) S 4132 4132 2709 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 228014446 14425288704 12174 33554432000 4194304 4196468 140736398389680 140043810874656 140044337731285 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9498624 140736398394502 140736398394673 140736398394673 140736398397391 0
[pid=4134/tid=4142] ppid=4132 vsize=14087196 memory=280828416919648 CPUtime=0 cores=0,2,4,6
/proc/4134/task/4142/stat : 4142 (java) S 4132 4132 2709 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 228014446 14425288704 12174 33554432000 4194304 4196468 140736398389680 140043809822320 140044337731285 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9498624 140736398394502 140736398394673 140736398394673 140736398397391 0
[pid=4134/tid=4143] ppid=4132 vsize=14087196 memory=140414157971471 CPUtime=0 cores=0,2,4,6
/proc/4134/task/4143/stat : 4143 (java) S 4132 4132 2709 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 228014449 14425288704 12174 33554432000 4194304 4196468 140736398389680 140043808770640 140044337739675 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9498624 140736398394502 140736398394673 140736398394673 140736398397391 0
[pid=4134/tid=4144] ppid=4132 vsize=14087196 memory=0 CPUtime=0.06 cores=0,2,4,6
/proc/4134/task/4144/stat : 4144 (java) S 4132 4132 2709 0 -1 1077944384 829 0 0 0 6 0 0 0 20 0 15 0 228014449 14425288704 12174 33554432000 4194304 4196468 140736398389680 140043807717488 140044337732226 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9498624 140736398394502 140736398394673 140736398394673 140736398397391 0
[pid=4134/tid=4145] ppid=4132 vsize=14087196 memory=-1 CPUtime=0.03 cores=0,2,4,6
/proc/4134/task/4145/stat : 4145 (java) S 4132 4132 2709 0 -1 1077944384 94 0 0 0 3 0 0 0 20 0 15 0 228014449 14425288704 12174 33554432000 4194304 4196468 140736398389680 140043806664688 140044337732226 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9498624 140736398394502 140736398394673 140736398394673 140736398397391 0
[pid=4134/tid=4146] ppid=4132 vsize=14087196 memory=0 CPUtime=0.12 cores=0,2,4,6
/proc/4134/task/4146/stat : 4146 (java) S 4132 4132 2709 0 -1 1077944384 853 0 0 0 12 0 0 0 20 0 15 0 228014449 14425288704 12174 33554432000 4194304 4196468 140736398389680 140043805612400 140044337732226 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9498624 140736398394502 140736398394673 140736398394673 140736398397391 0
[pid=4134/tid=4147] ppid=4132 vsize=14087196 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4134/task/4147/stat : 4147 (java) S 4132 4132 2709 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 228014449 14425288704 12174 33554432000 4194304 4196468 140736398389680 140043804559840 140044337731285 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9498624 140736398394502 140736398394673 140736398394673 140736398397391 0
[pid=4134/tid=4148] ppid=4132 vsize=14087196 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/4134/task/4148/stat : 4148 (java) S 4132 4132 2709 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 228014449 14425288704 12174 33554432000 4194304 4196468 140736398389680 140043803507632 140044337732226 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9498624 140736398394502 140736398394673 140736398394673 140736398397391 0
Current children cumulated CPU time: 0.52 s
Current children cumulated vsize: 14200324 KiB
Current children cumulated memory: 49860 KiB

[startup+0.700809 s]
/proc/loadavg: 2.11 1.83 1.80 6/217 4148
/proc/meminfo: memFree=13086008/32770624 swapFree=67108792/67108860
[pid=4132] ppid=4129 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/4132/stat : 4132 (xcsp3-exec) S 4129 4132 2709 0 -1 4202496 535 0 0 0 0 0 0 0 20 0 1 0 228014443 115843072 363 33554432000 4194304 5098028 140730893508064 140730893506168 139897559949948 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 27803648 140730893509690 140730893509892 140730893509892 140730893512650 0
/proc/4132/statm: 28282 363 306 221 0 87 0
[pid=4134] ppid=4132 vsize=14089320 memory=84924 CPUtime=1.56 cores=0,2,4,6
/proc/4134/stat : 4134 (java) S 4132 4132 2709 0 -1 1077944320 16906 0 0 0 151 5 0 0 20 0 15 0 228014443 14427463680 21231 33554432000 4194304 4196468 140736398389680 140736398372224 140044337721079 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 9498624 140736398394502 140736398394673 140736398394673 140736398397391 0
/proc/4134/statm: 3522330 21231 3349 1 0 3483524 0
[pid=4134/tid=4135] ppid=4132 vsize=14089320 memory=7372786582024121444 CPUtime=0.68 cores=0,2,4,6
/proc/4134/task/4135/stat : 4135 (java) R 4132 4132 2709 0 -1 4202560 6820 0 0 0 66 2 0 0 20 0 15 0 228014443 14427463680 21231 33554432000 4194304 4196468 140736398389680 140044341959216 140043938176366 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 9498624 140736398394502 140736398394673 140736398394673 140736398397391 0
[pid=4134/tid=4136] ppid=4132 vsize=14089320 memory=7007712420471858773 CPUtime=0 cores=0,2,4,6
/proc/4134/task/4136/stat : 4136 (java) S 4132 4132 2709 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 228014444 14427463680 21231 33554432000 4194304 4196468 140736398389680 140044267809168 140044337731285 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9498624 140736398394502 140736398394673 140736398394673 140736398397391 0
[pid=4134/tid=4137] ppid=4132 vsize=14089320 memory=5859271421084128616 CPUtime=0 cores=0,2,4,6
/proc/4134/task/4137/stat : 4137 (java) S 4132 4132 2709 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 228014444 14427463680 21231 33554432000 4194304 4196468 140736398389680 140044266756368 140044337731285 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9498624 140736398394502 140736398394673 140736398394673 140736398397391 0
[pid=4134/tid=4138] ppid=4132 vsize=14089320 memory=-6168368575958768251 CPUtime=0 cores=0,2,4,6
/proc/4134/task/4138/stat : 4138 (java) S 4132 4132 2709 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 228014444 14427463680 21231 33554432000 4194304 4196468 140736398389680 140044265704080 140044337731285 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9498624 140736398394502 140736398394673 140736398394673 140736398397391 0
[pid=4134/tid=4139] ppid=4132 vsize=14089320 memory=8326441112149131689 CPUtime=0 cores=0,2,4,6
/proc/4134/task/4139/stat : 4139 (java) S 4132 4132 2709 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 228014444 14427463680 21231 33554432000 4194304 4196468 140736398389680 140044264651280 140044337731285 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9498624 140736398394502 140736398394673 140736398394673 140736398397391 0
[pid=4134/tid=4140] ppid=4132 vsize=14089320 memory=6944656592455360569 CPUtime=0 cores=0,2,4,6
/proc/4134/task/4140/stat : 4140 (java) S 4132 4132 2709 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 228014445 14427463680 21231 33554432000 4194304 4196468 140736398389680 140043811928688 140044337732226 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9498624 140736398394502 140736398394673 140736398394673 140736398397391 0
[pid=4134/tid=4141] ppid=4132 vsize=14089320 memory=4612 CPUtime=0 cores=0,2,4,6
/proc/4134/task/4141/stat : 4141 (java) S 4132 4132 2709 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 228014446 14427463680 21231 33554432000 4194304 4196468 140736398389680 140043810874656 140044337731285 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9498624 140736398394502 140736398394673 140736398394673 140736398397391 0
[pid=4134/tid=4142] ppid=4132 vsize=14089320 memory=6884 CPUtime=0 cores=0,2,4,6
/proc/4134/task/4142/stat : 4142 (java) S 4132 4132 2709 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 228014446 14427463680 21231 33554432000 4194304 4196468 140736398389680 140043809822320 140044337731285 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9498624 140736398394502 140736398394673 140736398394673 140736398397391 0
[pid=4134/tid=4143] ppid=4132 vsize=14089320 memory=2244 CPUtime=0 cores=0,2,4,6
/proc/4134/task/4143/stat : 4143 (java) S 4132 4132 2709 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 228014449 14427463680 21231 33554432000 4194304 4196468 140736398389680 140043808770640 140044337739675 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9498624 140736398394502 140736398394673 140736398394673 140736398397391 0
[pid=4134/tid=4144] ppid=4132 vsize=14089320 memory=61984 CPUtime=0.32 cores=0,2,4,6
/proc/4134/task/4144/stat : 4144 (java) R 4132 4132 2709 0 -1 4202560 4270 0 0 0 31 1 0 0 20 0 15 0 228014449 14427463680 21231 33554432000 4194304 4196468 140736398389680 140043807703624 140044329958206 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 9498624 140736398394502 140736398394673 140736398394673 140736398397391 0
[pid=4134/tid=4145] ppid=4132 vsize=14089320 memory=1220 CPUtime=0.27 cores=0,2,4,6
/proc/4134/task/4145/stat : 4145 (java) R 4132 4132 2709 0 -1 4202560 3031 0 0 0 26 1 0 0 20 0 15 0 228014449 14427463680 21231 33554432000 4194304 4196468 140736398389680 140043806646392 140044330010461 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 9498624 140736398394502 140736398394673 140736398394673 140736398397391 0
[pid=4134/tid=4146] ppid=4132 vsize=14089320 memory=2380 CPUtime=0.26 cores=0,2,4,6
/proc/4134/task/4146/stat : 4146 (java) R 4132 4132 2709 0 -1 1077944384 1480 0 0 0 26 0 0 0 20 0 15 0 228014449 14427463680 21231 33554432000 4194304 4196468 140736398389680 140043805612400 140044337732226 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 9498624 140736398394502 140736398394673 140736398394673 140736398397391 0
[pid=4134/tid=4147] ppid=4132 vsize=14089320 memory=7163890427858739792 CPUtime=0 cores=0,2,4,6
/proc/4134/task/4147/stat : 4147 (java) S 4132 4132 2709 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 228014449 14427463680 21231 33554432000 4194304 4196468 140736398389680 140043804559840 140044337731285 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9498624 140736398394502 140736398394673 140736398394673 140736398397391 0
[pid=4134/tid=4148] ppid=4132 vsize=14089320 memory=7595156207412209490 CPUtime=0 cores=0,2,4,6
/proc/4134/task/4148/stat : 4148 (java) S 4132 4132 2709 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 228014449 14427463680 21231 33554432000 4194304 4196468 140736398389680 140043803507632 140044337732226 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9498624 140736398394502 140736398394673 140736398394673 140736398397391 0
Current children cumulated CPU time: 1.56 s
Current children cumulated vsize: 14202448 KiB
Current children cumulated memory: 86376 KiB

[startup+1.50083 s]
/proc/loadavg: 2.11 1.83 1.80 5/217 4148
/proc/meminfo: memFree=13040824/32770624 swapFree=67108792/67108860
[pid=4132] ppid=4129 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/4132/stat : 4132 (xcsp3-exec) S 4129 4132 2709 0 -1 4202496 535 0 0 0 0 0 0 0 20 0 1 0 228014443 115843072 363 33554432000 4194304 5098028 140730893508064 140730893506168 139897559949948 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 27803648 140730893509690 140730893509892 140730893509892 140730893512650 0
/proc/4132/statm: 28282 363 306 221 0 87 0

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

/proc/4132/stat : 4132 (xcsp3-exec) S 4129 4132 2709 0 -1 4202496 535 0 0 0 0 0 0 0 20 0 1 0 228014443 115843072 363 33554432000 4194304 5098028 140730893508064 140730893506168 139897559949948 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 27803648 140730893509690 140730893509892 140730893509892 140730893512650 0
/proc/4132/statm: 28282 363 306 221 0 87 0
[pid=4134] ppid=4132 vsize=14089320 memory=484632 CPUtime=187.35 cores=0,2,4,6
/proc/4134/stat : 4134 (java) S 4132 4132 2709 0 -1 1077944320 57758 0 0 0 18700 35 0 0 20 0 15 0 228014443 14427463680 121158 33554432000 4194304 4196468 140736398389680 140736398372224 140044337721079 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 9498624 140736398394502 140736398394673 140736398394673 140736398397391 0
/proc/4134/statm: 3522330 121158 3391 1 0 3483524 0
[pid=4134/tid=4135] ppid=4132 vsize=14089320 memory=8112282956445269571 CPUtime=182.9 cores=0,2,4,6
/proc/4134/task/4135/stat : 4135 (java) R 4132 4132 2709 0 -1 4202560 24634 0 0 0 18281 9 0 0 20 0 15 0 228014443 14427463680 121158 33554432000 4194304 4196468 140736398389680 140044341960752 140043938950337 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 9498624 140736398394502 140736398394673 140736398394673 140736398397391 0
[pid=4134/tid=4136] ppid=4132 vsize=14089320 memory=-7003737579269690708 CPUtime=0.33 cores=0,2,4,6
/proc/4134/task/4136/stat : 4136 (java) S 4132 4132 2709 0 -1 1077944384 1040 0 0 0 28 5 0 0 20 0 15 0 228014444 14427463680 121158 33554432000 4194304 4196468 140736398389680 140044267809168 140044337731285 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9498624 140736398394502 140736398394673 140736398394673 140736398397391 0
[pid=4134/tid=4137] ppid=4132 vsize=14089320 memory=-7003737579269690708 CPUtime=0.33 cores=0,2,4,6
/proc/4134/task/4137/stat : 4137 (java) S 4132 4132 2709 0 -1 1077944384 1303 0 0 0 28 5 0 0 20 0 15 0 228014444 14427463680 121158 33554432000 4194304 4196468 140736398389680 140044266756368 140044337731285 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9498624 140736398394502 140736398394673 140736398394673 140736398397391 0
[pid=4134/tid=4138] ppid=4132 vsize=14089320 memory=484632 CPUtime=0.33 cores=0,2,4,6
/proc/4134/task/4138/stat : 4138 (java) S 4132 4132 2709 0 -1 1077944384 764 0 0 0 29 4 0 0 20 0 15 0 228014444 14427463680 121158 33554432000 4194304 4196468 140736398389680 140044265704080 140044337731285 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9498624 140736398394502 140736398394673 140736398394673 140736398397391 0
[pid=4134/tid=4139] ppid=4132 vsize=14089320 memory=1452 CPUtime=0.33 cores=0,2,4,6
/proc/4134/task/4139/stat : 4139 (java) S 4132 4132 2709 0 -1 1077944384 899 0 0 0 27 6 0 0 20 0 15 0 228014444 14427463680 121158 33554432000 4194304 4196468 140736398389680 140044264651280 140044337731285 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9498624 140736398394502 140736398394673 140736398394673 140736398397391 0
[pid=4134/tid=4140] ppid=4132 vsize=14089320 memory=484632 CPUtime=0.47 cores=0,2,4,6
/proc/4134/task/4140/stat : 4140 (java) S 4132 4132 2709 0 -1 1077944384 1853 0 0 0 44 3 0 0 20 0 15 0 228014445 14427463680 121158 33554432000 4194304 4196468 140736398389680 140043811928688 140044337732226 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 9 0 0 6293624 6294260 9498624 140736398394502 140736398394673 140736398394673 140736398397391 0
[pid=4134/tid=4141] ppid=4132 vsize=14089320 memory=15840 CPUtime=0 cores=0,2,4,6
/proc/4134/task/4141/stat : 4141 (java) S 4132 4132 2709 0 -1 1077944384 58 0 0 0 0 0 0 0 20 0 15 0 228014446 14427463680 121158 33554432000 4194304 4196468 140736398389680 140043810874656 140044337731285 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9498624 140736398394502 140736398394673 140736398394673 140736398397391 0
[pid=4134/tid=4142] ppid=4132 vsize=14089320 memory=34912 CPUtime=0 cores=0,2,4,6
/proc/4134/task/4142/stat : 4142 (java) S 4132 4132 2709 0 -1 1077944384 49 0 0 0 0 0 0 0 20 0 15 0 228014446 14427463680 121158 33554432000 4194304 4196468 140736398389680 140043809822320 140044337731285 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9498624 140736398394502 140736398394673 140736398394673 140736398397391 0
[pid=4134/tid=4143] ppid=4132 vsize=14089320 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/4134/task/4143/stat : 4143 (java) S 4132 4132 2709 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 228014449 14427463680 121158 33554432000 4194304 4196468 140736398389680 140043808770640 140044337739675 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9498624 140736398394502 140736398394673 140736398394673 140736398397391 0
[pid=4134/tid=4144] ppid=4132 vsize=14089320 memory=484424 CPUtime=1.05 cores=0,2,4,6
/proc/4134/task/4144/stat : 4144 (java) S 4132 4132 2709 0 -1 1077944384 10285 0 0 0 104 1 0 0 20 0 15 0 228014449 14427463680 121158 33554432000 4194304 4196468 140736398389680 140043807717488 140044337732226 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9498624 140736398394502 140736398394673 140736398394673 140736398397391 0
[pid=4134/tid=4145] ppid=4132 vsize=14089320 memory=8564 CPUtime=1.09 cores=0,2,4,6
/proc/4134/task/4145/stat : 4145 (java) S 4132 4132 2709 0 -1 1077944384 10994 0 0 0 108 1 0 0 20 0 15 0 228014449 14427463680 121158 33554432000 4194304 4196468 140736398389680 140043806664688 140044337732226 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9498624 140736398394502 140736398394673 140736398394673 140736398397391 0
[pid=4134/tid=4146] ppid=4132 vsize=14089320 memory=0 CPUtime=0.34 cores=0,2,4,6
/proc/4134/task/4146/stat : 4146 (java) S 4132 4132 2709 0 -1 1077944384 3809 0 0 0 34 0 0 0 20 0 15 0 228014449 14427463680 121158 33554432000 4194304 4196468 140736398389680 140043805612400 140044337732226 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9498624 140736398394502 140736398394673 140736398394673 140736398397391 0
[pid=4134/tid=4147] ppid=4132 vsize=14089320 memory=4713745541279610410 CPUtime=0 cores=0,2,4,6
/proc/4134/task/4147/stat : 4147 (java) S 4132 4132 2709 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 228014449 14427463680 121158 33554432000 4194304 4196468 140736398389680 140043804559840 140044337731285 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9498624 140736398394502 140736398394673 140736398394673 140736398397391 0
[pid=4134/tid=4148] ppid=4132 vsize=14089320 memory=1616 CPUtime=0.06 cores=0,2,4,6
/proc/4134/task/4148/stat : 4148 (java) S 4132 4132 2709 0 -1 1077944384 827 0 0 0 3 3 0 0 20 0 15 0 228014449 14427463680 121158 33554432000 4194304 4196468 140736398389680 140043803507632 140044337732226 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 27 0 0 6293624 6294260 9498624 140736398394502 140736398394673 140736398394673 140736398397391 0
Current children cumulated CPU time: 187.35 s
Current children cumulated vsize: 14202448 KiB
Current children cumulated memory: 486084 KiB

[startup+184.401 s]
/proc/loadavg: 1.92 1.85 1.81 3/218 4159
/proc/meminfo: memFree=12659324/32770624 swapFree=67108792/67108860
[pid=4132] ppid=4129 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/4132/stat : 4132 (xcsp3-exec) S 4129 4132 2709 0 -1 4202496 535 0 0 0 0 0 0 0 20 0 1 0 228014443 115843072 363 33554432000 4194304 5098028 140730893508064 140730893506168 139897559949948 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 27803648 140730893509690 140730893509892 140730893509892 140730893512650 0
/proc/4132/statm: 28282 363 306 221 0 87 0
[pid=4134] ppid=4132 vsize=14089320 memory=484632 CPUtime=187.75 cores=0,2,4,6
/proc/4134/stat : 4134 (java) S 4132 4132 2709 0 -1 1077944320 57758 0 0 0 18740 35 0 0 20 0 15 0 228014443 14427463680 121158 33554432000 4194304 4196468 140736398389680 140736398372224 140044337721079 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 9498624 140736398394502 140736398394673 140736398394673 140736398397391 0
/proc/4134/statm: 3522330 121158 3391 1 0 3483524 0
[pid=4134/tid=4135] ppid=4132 vsize=14089320 memory=808 CPUtime=183.29 cores=0,2,4,6
/proc/4134/task/4135/stat : 4135 (java) R 4132 4132 2709 0 -1 4202560 24634 0 0 0 18320 9 0 0 20 0 15 0 228014443 14427463680 121158 33554432000 4194304 4196468 140736398389680 140044341960752 140043938884107 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 9498624 140736398394502 140736398394673 140736398394673 140736398397391 0
[pid=4134/tid=4136] ppid=4132 vsize=14089320 memory=1696 CPUtime=0.33 cores=0,2,4,6
/proc/4134/task/4136/stat : 4136 (java) S 4132 4132 2709 0 -1 1077944384 1040 0 0 0 28 5 0 0 20 0 15 0 228014444 14427463680 121158 33554432000 4194304 4196468 140736398389680 140044267809168 140044337731285 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9498624 140736398394502 140736398394673 140736398394673 140736398397391 0
[pid=4134/tid=4137] ppid=4132 vsize=14089320 memory=1452 CPUtime=0.33 cores=0,2,4,6
/proc/4134/task/4137/stat : 4137 (java) S 4132 4132 2709 0 -1 1077944384 1303 0 0 0 28 5 0 0 20 0 15 0 228014444 14427463680 121158 33554432000 4194304 4196468 140736398389680 140044266756368 140044337731285 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9498624 140736398394502 140736398394673 140736398394673 140736398397391 0
[pid=4134/tid=4138] ppid=4132 vsize=14089320 memory=484632 CPUtime=0.33 cores=0,2,4,6
/proc/4134/task/4138/stat : 4138 (java) S 4132 4132 2709 0 -1 1077944384 764 0 0 0 29 4 0 0 20 0 15 0 228014444 14427463680 121158 33554432000 4194304 4196468 140736398389680 140044265704080 140044337731285 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9498624 140736398394502 140736398394673 140736398394673 140736398397391 0
[pid=4134/tid=4139] ppid=4132 vsize=14089320 memory=3304 CPUtime=0.33 cores=0,2,4,6
/proc/4134/task/4139/stat : 4139 (java) S 4132 4132 2709 0 -1 1077944384 899 0 0 0 27 6 0 0 20 0 15 0 228014444 14427463680 121158 33554432000 4194304 4196468 140736398389680 140044264651280 140044337731285 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9498624 140736398394502 140736398394673 140736398394673 140736398397391 0
[pid=4134/tid=4140] ppid=4132 vsize=14089320 memory=496 CPUtime=0.47 cores=0,2,4,6
/proc/4134/task/4140/stat : 4140 (java) S 4132 4132 2709 0 -1 1077944384 1853 0 0 0 44 3 0 0 20 0 15 0 228014445 14427463680 121158 33554432000 4194304 4196468 140736398389680 140043811928688 140044337732226 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 9 0 0 6293624 6294260 9498624 140736398394502 140736398394673 140736398394673 140736398397391 0
[pid=4134/tid=4141] ppid=4132 vsize=14089320 memory=1616 CPUtime=0 cores=0,2,4,6
/proc/4134/task/4141/stat : 4141 (java) S 4132 4132 2709 0 -1 1077944384 58 0 0 0 0 0 0 0 20 0 15 0 228014446 14427463680 121158 33554432000 4194304 4196468 140736398389680 140043810874656 140044337731285 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9498624 140736398394502 140736398394673 140736398394673 140736398397391 0
[pid=4134/tid=4142] ppid=4132 vsize=14089320 memory=1168 CPUtime=0 cores=0,2,4,6
/proc/4134/task/4142/stat : 4142 (java) S 4132 4132 2709 0 -1 1077944384 49 0 0 0 0 0 0 0 20 0 15 0 228014446 14427463680 121158 33554432000 4194304 4196468 140736398389680 140043809822320 140044337731285 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9498624 140736398394502 140736398394673 140736398394673 140736398397391 0
[pid=4134/tid=4143] ppid=4132 vsize=14089320 memory=928 CPUtime=0 cores=0,2,4,6
/proc/4134/task/4143/stat : 4143 (java) S 4132 4132 2709 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 228014449 14427463680 121158 33554432000 4194304 4196468 140736398389680 140043808770640 140044337739675 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9498624 140736398394502 140736398394673 140736398394673 140736398397391 0
[pid=4134/tid=4144] ppid=4132 vsize=14089320 memory=2420 CPUtime=1.05 cores=0,2,4,6
/proc/4134/task/4144/stat : 4144 (java) S 4132 4132 2709 0 -1 1077944384 10285 0 0 0 104 1 0 0 20 0 15 0 228014449 14427463680 121158 33554432000 4194304 4196468 140736398389680 140043807717488 140044337732226 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9498624 140736398394502 140736398394673 140736398394673 140736398397391 0
[pid=4134/tid=4145] ppid=4132 vsize=14089320 memory=1572 CPUtime=1.09 cores=0,2,4,6
/proc/4134/task/4145/stat : 4145 (java) S 4132 4132 2709 0 -1 1077944384 10994 0 0 0 108 1 0 0 20 0 15 0 228014449 14427463680 121158 33554432000 4194304 4196468 140736398389680 140043806664688 140044337732226 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9498624 140736398394502 140736398394673 140736398394673 140736398397391 0
[pid=4134/tid=4146] ppid=4132 vsize=14089320 memory=924 CPUtime=0.34 cores=0,2,4,6
/proc/4134/task/4146/stat : 4146 (java) S 4132 4132 2709 0 -1 1077944384 3809 0 0 0 34 0 0 0 20 0 15 0 228014449 14427463680 121158 33554432000 4194304 4196468 140736398389680 140043805612400 140044337732226 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9498624 140736398394502 140736398394673 140736398394673 140736398397391 0
[pid=4134/tid=4147] ppid=4132 vsize=14089320 memory=2192 CPUtime=0 cores=0,2,4,6
/proc/4134/task/4147/stat : 4147 (java) S 4132 4132 2709 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 228014449 14427463680 121158 33554432000 4194304 4196468 140736398389680 140043804559840 140044337731285 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9498624 140736398394502 140736398394673 140736398394673 140736398397391 0
[pid=4134/tid=4148] ppid=4132 vsize=14089320 memory=3984 CPUtime=0.06 cores=0,2,4,6
/proc/4134/task/4148/stat : 4148 (java) S 4132 4132 2709 0 -1 1077944384 827 0 0 0 3 3 0 0 20 0 15 0 228014449 14427463680 121158 33554432000 4194304 4196468 140736398389680 140043803507632 140044337732226 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 27 0 0 6293624 6294260 9498624 140736398394502 140736398394673 140736398394673 140736398397391 0
Current children cumulated CPU time: 187.75 s
Current children cumulated vsize: 14202448 KiB
Current children cumulated memory: 486084 KiB

[startup+184.601 s]
/proc/loadavg: 1.92 1.85 1.81 3/218 4159
/proc/meminfo: memFree=12659324/32770624 swapFree=67108792/67108860
[pid=4132] ppid=4129 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/4132/stat : 4132 (xcsp3-exec) S 4129 4132 2709 0 -1 4202496 535 0 0 0 0 0 0 0 20 0 1 0 228014443 115843072 363 33554432000 4194304 5098028 140730893508064 140730893506168 139897559949948 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 27803648 140730893509690 140730893509892 140730893509892 140730893512650 0
/proc/4132/statm: 28282 363 306 221 0 87 0
[pid=4134] ppid=4132 vsize=14089320 memory=484632 CPUtime=187.95 cores=0,2,4,6
/proc/4134/stat : 4134 (java) S 4132 4132 2709 0 -1 1077944320 57758 0 0 0 18760 35 0 0 20 0 15 0 228014443 14427463680 121158 33554432000 4194304 4196468 140736398389680 140736398372224 140044337721079 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 9498624 140736398394502 140736398394673 140736398394673 140736398397391 0
/proc/4134/statm: 3522330 121158 3391 1 0 3483524 0
[pid=4134/tid=4135] ppid=4132 vsize=14089320 memory=288230596050944315 CPUtime=183.49 cores=0,2,4,6
/proc/4134/task/4135/stat : 4135 (java) R 4132 4132 2709 0 -1 4202560 24634 0 0 0 18340 9 0 0 20 0 15 0 228014443 14427463680 121158 33554432000 4194304 4196468 140736398389680 140044341960752 140736399325576 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 9498624 140736398394502 140736398394673 140736398394673 140736398397391 0
[pid=4134/tid=4136] ppid=4132 vsize=14089320 memory=15817794159643212 CPUtime=0.33 cores=0,2,4,6
/proc/4134/task/4136/stat : 4136 (java) S 4132 4132 2709 0 -1 1077944384 1040 0 0 0 28 5 0 0 20 0 15 0 228014444 14427463680 121158 33554432000 4194304 4196468 140736398389680 140044267809168 140044337731285 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9498624 140736398394502 140736398394673 140736398394673 140736398397391 0
[pid=4134/tid=4137] ppid=4132 vsize=14089320 memory=15817794159643212 CPUtime=0.33 cores=0,2,4,6
/proc/4134/task/4137/stat : 4137 (java) S 4132 4132 2709 0 -1 1077944384 1303 0 0 0 28 5 0 0 20 0 15 0 228014444 14427463680 121158 33554432000 4194304 4196468 140736398389680 140044266756368 140044337731285 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9498624 140736398394502 140736398394673 140736398394673 140736398397391 0
[pid=4134/tid=4138] ppid=4132 vsize=14089320 memory=1408 CPUtime=0.33 cores=0,2,4,6
/proc/4134/task/4138/stat : 4138 (java) S 4132 4132 2709 0 -1 1077944384 764 0 0 0 29 4 0 0 20 0 15 0 228014444 14427463680 121158 33554432000 4194304 4196468 140736398389680 140044265704080 140044337731285 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9498624 140736398394502 140736398394673 140736398394673 140736398397391 0
[pid=4134/tid=4139] ppid=4132 vsize=14089320 memory=3336 CPUtime=0.33 cores=0,2,4,6
/proc/4134/task/4139/stat : 4139 (java) S 4132 4132 2709 0 -1 1077944384 899 0 0 0 27 6 0 0 20 0 15 0 228014444 14427463680 121158 33554432000 4194304 4196468 140736398389680 140044264651280 140044337731285 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9498624 140736398394502 140736398394673 140736398394673 140736398397391 0
[pid=4134/tid=4140] ppid=4132 vsize=14089320 memory=1452 CPUtime=0.47 cores=0,2,4,6
/proc/4134/task/4140/stat : 4140 (java) S 4132 4132 2709 0 -1 1077944384 1853 0 0 0 44 3 0 0 20 0 15 0 228014445 14427463680 121158 33554432000 4194304 4196468 140736398389680 140043811928688 140044337732226 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 9 0 0 6293624 6294260 9498624 140736398394502 140736398394673 140736398394673 140736398397391 0
[pid=4134/tid=4141] ppid=4132 vsize=14089320 memory=2822944 CPUtime=0 cores=0,2,4,6
/proc/4134/task/4141/stat : 4141 (java) S 4132 4132 2709 0 -1 1077944384 58 0 0 0 0 0 0 0 20 0 15 0 228014446 14427463680 121158 33554432000 4194304 4196468 140736398389680 140043810874656 140044337731285 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9498624 140736398394502 140736398394673 140736398394673 140736398397391 0
[pid=4134/tid=4142] ppid=4132 vsize=14089320 memory=1408 CPUtime=0 cores=0,2,4,6
/proc/4134/task/4142/stat : 4142 (java) S 4132 4132 2709 0 -1 1077944384 49 0 0 0 0 0 0 0 20 0 15 0 228014446 14427463680 121158 33554432000 4194304 4196468 140736398389680 140043809822320 140044337731285 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9498624 140736398394502 140736398394673 140736398394673 140736398397391 0
[pid=4134/tid=4143] ppid=4132 vsize=14089320 memory=8112282956445269571 CPUtime=0 cores=0,2,4,6
/proc/4134/task/4143/stat : 4143 (java) S 4132 4132 2709 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 228014449 14427463680 121158 33554432000 4194304 4196468 140736398389680 140043808770640 140044337739675 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9498624 140736398394502 140736398394673 140736398394673 140736398397391 0
[pid=4134/tid=4144] ppid=4132 vsize=14089320 memory=61992 CPUtime=1.05 cores=0,2,4,6
/proc/4134/task/4144/stat : 4144 (java) S 4132 4132 2709 0 -1 1077944384 10285 0 0 0 104 1 0 0 20 0 15 0 228014449 14427463680 121158 33554432000 4194304 4196468 140736398389680 140043807717488 140044337732226 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9498624 140736398394502 140736398394673 140736398394673 140736398397391 0
[pid=4134/tid=4145] ppid=4132 vsize=14089320 memory=1220 CPUtime=1.09 cores=0,2,4,6
/proc/4134/task/4145/stat : 4145 (java) S 4132 4132 2709 0 -1 1077944384 10994 0 0 0 108 1 0 0 20 0 15 0 228014449 14427463680 121158 33554432000 4194304 4196468 140736398389680 140043806664688 140044337732226 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9498624 140736398394502 140736398394673 140736398394673 140736398397391 0
[pid=4134/tid=4146] ppid=4132 vsize=14089320 memory=15336 CPUtime=0.34 cores=0,2,4,6
/proc/4134/task/4146/stat : 4146 (java) S 4132 4132 2709 0 -1 1077944384 3809 0 0 0 34 0 0 0 20 0 15 0 228014449 14427463680 121158 33554432000 4194304 4196468 140736398389680 140043805612400 140044337732226 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9498624 140736398394502 140736398394673 140736398394673 140736398397391 0
[pid=4134/tid=4147] ppid=4132 vsize=14089320 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4134/task/4147/stat : 4147 (java) S 4132 4132 2709 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 228014449 14427463680 121158 33554432000 4194304 4196468 140736398389680 140043804559840 140044337731285 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9498624 140736398394502 140736398394673 140736398394673 140736398397391 0
[pid=4134/tid=4148] ppid=4132 vsize=14089320 memory=0 CPUtime=0.06 cores=0,2,4,6
/proc/4134/task/4148/stat : 4148 (java) S 4132 4132 2709 0 -1 1077944384 827 0 0 0 3 3 0 0 20 0 15 0 228014449 14427463680 121158 33554432000 4194304 4196468 140736398389680 140043803507632 140044337732226 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 27 0 0 6293624 6294260 9498624 140736398394502 140736398394673 140736398394673 140736398397391 0
Current children cumulated CPU time: 187.95 s
Current children cumulated vsize: 14202448 KiB
Current children cumulated memory: 486084 KiB

[startup+184.701 s]
/proc/loadavg: 1.92 1.85 1.81 3/218 4159
/proc/meminfo: memFree=12659324/32770624 swapFree=67108792/67108860
[pid=4132] ppid=4129 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/4132/stat : 4132 (xcsp3-exec) S 4129 4132 2709 0 -1 4202496 535 0 0 0 0 0 0 0 20 0 1 0 228014443 115843072 363 33554432000 4194304 5098028 140730893508064 140730893506168 139897559949948 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 27803648 140730893509690 140730893509892 140730893509892 140730893512650 0
/proc/4132/statm: 28282 363 306 221 0 87 0
[pid=4134] ppid=4132 vsize=14089320 memory=484632 CPUtime=188.05 cores=0,2,4,6
/proc/4134/stat : 4134 (java) S 4132 4132 2709 0 -1 1077944320 57758 0 0 0 18770 35 0 0 20 0 15 0 228014443 14427463680 121158 33554432000 4194304 4196468 140736398389680 140736398372224 140044337721079 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 9498624 140736398394502 140736398394673 140736398394673 140736398397391 0
/proc/4134/statm: 3522330 121158 3391 1 0 3483524 0
[pid=4134/tid=4135] ppid=4132 vsize=14089320 memory=484424 CPUtime=183.59 cores=0,2,4,6
/proc/4134/task/4135/stat : 4135 (java) R 4132 4132 2709 0 -1 4202560 24634 0 0 0 18350 9 0 0 20 0 15 0 228014443 14427463680 121158 33554432000 4194304 4196468 140736398389680 140044341960752 140043939072064 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 9498624 140736398394502 140736398394673 140736398394673 140736398397391 0
[pid=4134/tid=4136] ppid=4132 vsize=14089320 memory=484632 CPUtime=0.33 cores=0,2,4,6
/proc/4134/task/4136/stat : 4136 (java) S 4132 4132 2709 0 -1 1077944384 1040 0 0 0 28 5 0 0 20 0 15 0 228014444 14427463680 121158 33554432000 4194304 4196468 140736398389680 140044267809168 140044337731285 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9498624 140736398394502 140736398394673 140736398394673 140736398397391 0
[pid=4134/tid=4137] ppid=4132 vsize=14089320 memory=1452 CPUtime=0.33 cores=0,2,4,6
/proc/4134/task/4137/stat : 4137 (java) S 4132 4132 2709 0 -1 1077944384 1303 0 0 0 28 5 0 0 20 0 15 0 228014444 14427463680 121158 33554432000 4194304 4196468 140736398389680 140044266756368 140044337731285 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9498624 140736398394502 140736398394673 140736398394673 140736398397391 0
[pid=4134/tid=4138] ppid=4132 vsize=14089320 memory=484632 CPUtime=0.33 cores=0,2,4,6
/proc/4134/task/4138/stat : 4138 (java) S 4132 4132 2709 0 -1 1077944384 764 0 0 0 29 4 0 0 20 0 15 0 228014444 14427463680 121158 33554432000 4194304 4196468 140736398389680 140044265704080 140044337731285 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9498624 140736398394502 140736398394673 140736398394673 140736398397391 0
[pid=4134/tid=4139] ppid=4132 vsize=14089320 memory=1452 CPUtime=0.33 cores=0,2,4,6
/proc/4134/task/4139/stat : 4139 (java) S 4132 4132 2709 0 -1 1077944384 899 0 0 0 27 6 0 0 20 0 15 0 228014444 14427463680 121158 33554432000 4194304 4196468 140736398389680 140044264651280 140044337731285 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9498624 140736398394502 140736398394673 140736398394673 140736398397391 0
[pid=4134/tid=4140] ppid=4132 vsize=14089320 memory=1452 CPUtime=0.47 cores=0,2,4,6
/proc/4134/task/4140/stat : 4140 (java) S 4132 4132 2709 0 -1 1077944384 1853 0 0 0 44 3 0 0 20 0 15 0 228014445 14427463680 121158 33554432000 4194304 4196468 140736398389680 140043811928688 140044337732226 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 9 0 0 6293624 6294260 9498624 140736398394502 140736398394673 140736398394673 140736398397391 0
[pid=4134/tid=4141] ppid=4132 vsize=14089320 memory=17584 CPUtime=0 cores=0,2,4,6
/proc/4134/task/4141/stat : 4141 (java) S 4132 4132 2709 0 -1 1077944384 58 0 0 0 0 0 0 0 20 0 15 0 228014446 14427463680 121158 33554432000 4194304 4196468 140736398389680 140043810874656 140044337731285 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9498624 140736398394502 140736398394673 140736398394673 140736398397391 0
[pid=4134/tid=4142] ppid=4132 vsize=14089320 memory=484632 CPUtime=0 cores=0,2,4,6
/proc/4134/task/4142/stat : 4142 (java) S 4132 4132 2709 0 -1 1077944384 49 0 0 0 0 0 0 0 20 0 15 0 228014446 14427463680 121158 33554432000 4194304 4196468 140736398389680 140043809822320 140044337731285 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9498624 140736398394502 140736398394673 140736398394673 140736398397391 0
[pid=4134/tid=4143] ppid=4132 vsize=14089320 memory=484632 CPUtime=0 cores=0,2,4,6
/proc/4134/task/4143/stat : 4143 (java) S 4132 4132 2709 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 228014449 14427463680 121158 33554432000 4194304 4196468 140736398389680 140043808770640 140044337739675 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9498624 140736398394502 140736398394673 140736398394673 140736398397391 0
[pid=4134/tid=4144] ppid=4132 vsize=14089320 memory=484632 CPUtime=1.05 cores=0,2,4,6
/proc/4134/task/4144/stat : 4144 (java) S 4132 4132 2709 0 -1 1077944384 10285 0 0 0 104 1 0 0 20 0 15 0 228014449 14427463680 121158 33554432000 4194304 4196468 140736398389680 140043807717488 140044337732226 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9498624 140736398394502 140736398394673 140736398394673 140736398397391 0
[pid=4134/tid=4145] ppid=4132 vsize=14089320 memory=61992 CPUtime=1.09 cores=0,2,4,6
/proc/4134/task/4145/stat : 4145 (java) S 4132 4132 2709 0 -1 1077944384 10994 0 0 0 108 1 0 0 20 0 15 0 228014449 14427463680 121158 33554432000 4194304 4196468 140736398389680 140043806664688 140044337732226 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9498624 140736398394502 140736398394673 140736398394673 140736398397391 0
[pid=4134/tid=4146] ppid=4132 vsize=14089320 memory=1452 CPUtime=0.34 cores=0,2,4,6
/proc/4134/task/4146/stat : 4146 (java) S 4132 4132 2709 0 -1 1077944384 3809 0 0 0 34 0 0 0 20 0 15 0 228014449 14427463680 121158 33554432000 4194304 4196468 140736398389680 140043805612400 140044337732226 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9498624 140736398394502 140736398394673 140736398394673 140736398397391 0
[pid=4134/tid=4147] ppid=4132 vsize=14089320 memory=484632 CPUtime=0 cores=0,2,4,6
/proc/4134/task/4147/stat : 4147 (java) S 4132 4132 2709 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 228014449 14427463680 121158 33554432000 4194304 4196468 140736398389680 140043804559840 140044337731285 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9498624 140736398394502 140736398394673 140736398394673 140736398397391 0
[pid=4134/tid=4148] ppid=4132 vsize=14089320 memory=1452 CPUtime=0.06 cores=0,2,4,6
/proc/4134/task/4148/stat : 4148 (java) S 4132 4132 2709 0 -1 1077944384 827 0 0 0 3 3 0 0 20 0 15 0 228014449 14427463680 121158 33554432000 4194304 4196468 140736398389680 140043803507632 140044337732226 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 27 0 0 6293624 6294260 9498624 140736398394502 140736398394673 140736398394673 140736398397391 0
Current children cumulated CPU time: 188.05 s
Current children cumulated vsize: 14202448 KiB
Current children cumulated memory: 486084 KiB

Child status: 0
Real time (s): 184.761
CPU time (s): 188.121
CPU user time (s): 187.754
CPU system time (s): 0.366614
CPU usage (%): 101.818
Max. virtual memory (cumulated for all children) (KiB): 14204612
Max. memory (cumulated for all children) (KiB): 486084

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 187.754
system time used= 0.366614
maximum resident set size= 484980
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 59079
page faults= 0
swaps= 0
block input operations= 0
block output operations= 320
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 17262
involuntary context switches= 462


# summary of solver processes directly reported to runsolver:
#   pid: 4132
#   total CPU time (s): 188.121
#   total CPU user time (s): 187.754
#   total CPU system time (s): 0.366614

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.10254 second user time and 1.84843 second system time

The end

Launcher Data 

Begin job on node150 at 2018-08-12 22:08:32
IDJOB=4306800
IDBENCH=141401
IDSOLVER=2787
FILE ID=node150/4306800-1534104512
RUNJOBID= node150-1534096899-2740
PBS_JOBID= 21036998
Free space on /tmp= 35012 MiB

SOLVER NAME= Choco-solver 4.0.7b seq (e747e1e)
BENCH NAME= XCSP18/Dubois/Dubois-023_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-4306800-1534104512/watcher-4306800-1534104512 -o /tmp/evaluation-result-4306800-1534104512/solver-4306800-1534104512 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node150-1534096899-2740 --watchdog 2580  HOME/xcsp3-exec -seed 1873946491 -dir HOME -tl 2520 -ml 11000 -p 1 HOME/instance-4306800-1534104512.xml

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

MD5SUM BENCH= d9fd0a93a95458fcc98ae1d4ddac20a1
RANDOM SEED=1873946491

node150.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.76
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.76
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.76
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.76
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:        13132924 kB
MemAvailable:   29089720 kB
Buffers:          216700 kB
Cached:         15805224 kB
SwapCached:           32 kB
Active:         10778772 kB
Inactive:        8107180 kB
Active(anon):    2815300 kB
Inactive(anon):   101248 kB
Active(file):    7963472 kB
Inactive(file):  8005932 kB
Unevictable:        7736 kB
Mlocked:            7736 kB
SwapTotal:      67108860 kB
SwapFree:       67108792 kB
Dirty:             21620 kB
Writeback:             0 kB
AnonPages:       2871240 kB
Mapped:            66040 kB
Shmem:             49732 kB
Slab:             443956 kB
SReclaimable:     415852 kB
SUnreclaim:        28104 kB
KernelStack:        3536 kB
PageTables:        10812 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    4525452 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:   2746368 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      126336 kB
DirectMap2M:    33419264 kB

Free space on /tmp at the end= 34992 MiB
End job on node150 at 2018-08-12 22:11:37