Trace number 4269653

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.5 seq (2017-08-09)UNSAT 13.6049 10.6322

General information on the benchmark

NameQRandom/QRandom-bdd-18-21-2/
bdd-18-21-2-133-78-06.xml
MD5SUMc11db23a97f48af6ae936ba62121dffc
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 benchmark13.1703
Satisfiable
(Un)Satisfiability was proved
Number of variables21
Number of constraints133
Number of domains1
Minimum domain size2
Maximum domain size2
Distribution of domain sizes[{"size":2,"count":21}]
Minimum variable degree106
Maximum variable degree123
Distribution of variable degrees[{"degree":106,"count":1},{"degree":107,"count":1},{"degree":108,"count":1},{"degree":111,"count":2},{"degree":112,"count":4},{"degree":113,"count":2},{"degree":114,"count":1},{"degree":116,"count":1},{"degree":117,"count":4},{"degree":118,"count":2},{"degree":120,"count":1},{"degree":123,"count":1}]
Minimum constraint arity18
Maximum constraint arity18
Distribution of constraint arities[{"arity":18,"count":133}]
Number of extensional constraints133
Number of intensional constraints0
Distribution of constraint types[{"type":"extension","count":133}]
Optimization problemNO
Type of objective

Solver Data 

0.00/0.05	c java -server -Xmx11000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4269653-1502770693.xml"  -tl '2520s' -p 1 -x 0
0.12/0.25	c [HOME/instance-4269653-1502770693.xml, -tl, 2520s, -p, 1, -x, 0]
0.12/0.31	c simple solver
0.32/0.38	c parse instance...
5.90/4.63	c solve instance...
13.56/10.62	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 (14302 MiB free)
  memory of node 1: 16384 MiB (15528 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4269653-1502770693/watcher-4269653-1502770693 -o /tmp/evaluation-result-4269653-1502770693/solver-4269653-1502770693 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node134-1502649032-24471 --watchdog 2580 ./xcsp3-exec -dir HOME -tl 2520 -ml 11000 -tdir HOME -seed 1904637659 HOME/instance-4269653-1502770693.xml 

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

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

solver pid=13952, runsolver pid=13949

[startup+0.100132 s]*
/proc/loadavg: 2.10 2.13 2.01 3/210 13962
/proc/meminfo: memFree=30536244/32770624 swapFree=67108764/67108860
[pid=13952] ppid=13949 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/13952/stat : 13952 (xcsp3-exec) S 13949 13952 4674 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 124575819 9740288 345 18446744073709551615 4194304 5098028 140726938673520 140726938671624 140214511325820 0 65536 5 65538 18446744071579417331 0 0 17 1 0 0 5 0 0 7196144 7232144 20500480 140726938681720 140726938681925 140726938681925 140726938685419 0
/proc/13952/statm: 2378 345 289 221 0 87 0
[pid=13954] ppid=13952 vsize=13574484 memory=18284 CPUtime=0.04 cores=1,3,5,7
/proc/13954/stat : 13954 (java) S 13952 13952 4674 0 -1 1077944320 3928 0 0 0 3 1 0 0 20 0 9 0 124575825 13900271616 4571 18446744073709551615 4194304 4196468 140722008179520 140722008162064 140042398478071 0 0 1 16800970 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 17829888 140722008183217 140722008183393 140722008183393 140722008186831 0
/proc/13954/statm: 3393621 4571 2138 1 0 3383118 0
[pid=13954/tid=13955] ppid=13952 vsize=13574484 memory=8508281356422055842 CPUtime=0.03 cores=1,3,5,7
/proc/13954/task/13955/stat : 13955 (java) R 13952 13952 4674 0 -1 4202560 2640 0 0 0 3 0 0 0 20 0 9 0 124575825 13900271616 4571 18446744073709551615 4194304 4196468 140722008179520 140042402713464 140042384546220 0 4 1 16800970 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 17829888 140722008183217 140722008183393 140722008183393 140722008186831 0
[pid=13954/tid=13956] ppid=13952 vsize=13574484 memory=4122819170707441977 CPUtime=0 cores=1,3,5,7
/proc/13954/task/13956/stat : 13956 (java) S 13952 13952 4674 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 9 0 124575826 13900271616 4571 18446744073709551615 4194304 4196468 140722008179520 140042317892496 140042398488277 0 4 1 16800970 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17829888 140722008183217 140722008183393 140722008183393 140722008186831 0
[pid=13954/tid=13957] ppid=13952 vsize=13574484 memory=140697730942592 CPUtime=0 cores=1,3,5,7
/proc/13954/task/13957/stat : 13957 (java) S 13952 13952 4674 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 9 0 124575826 13900271616 4571 18446744073709551615 4194304 4196468 140722008179520 140042316839696 140042398488277 0 4 1 16800970 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17829888 140722008183217 140722008183393 140722008183393 140722008186831 0
[pid=13954/tid=13958] ppid=13952 vsize=13574484 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13954/task/13958/stat : 13958 (java) S 13952 13952 4674 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 9 0 124575826 13900271616 4571 18446744073709551615 4194304 4196468 140722008179520 140042315787408 140042398488277 0 4 1 16800970 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17829888 140722008183217 140722008183393 140722008183393 140722008186831 0
[pid=13954/tid=13959] ppid=13952 vsize=13574484 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/13954/task/13959/stat : 13959 (java) S 13952 13952 4674 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 9 0 124575826 13900271616 4571 18446744073709551615 4194304 4196468 140722008179520 140042314734608 140042398488277 0 4 1 16800970 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17829888 140722008183217 140722008183393 140722008183393 140722008186831 0
[pid=13954/tid=13960] ppid=13952 vsize=13574484 memory=140697730942592 CPUtime=0 cores=1,3,5,7
/proc/13954/task/13960/stat : 13960 (java) S 13952 13952 4674 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 9 0 124575827 13900271616 4571 18446744073709551615 4194304 4196468 140722008179520 140041876129904 140042398489218 0 0 1 16800970 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17829888 140722008183217 140722008183393 140722008183393 140722008186831 0
[pid=13954/tid=13961] ppid=13952 vsize=13574484 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/13954/task/13961/stat : 13961 (java) S 13952 13952 4674 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 9 0 124575828 13900271616 4571 18446744073709551615 4194304 4196468 140722008179520 140041875075872 140042398488277 0 4 1 16800970 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17829888 140722008183217 140722008183393 140722008183393 140722008186831 0
[pid=13954/tid=13962] ppid=13952 vsize=13574484 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13954/task/13962/stat : 13962 (java) S 13952 13952 4674 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 9 0 124575828 13900271616 4571 18446744073709551615 4194304 4196468 140722008179520 140041874023536 140042398488277 0 4 1 16800970 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17829888 140722008183217 140722008183393 140722008183393 140722008186831 0
Current children cumulated CPU time: 0.04 s
Current children cumulated vsize: 13583996 KiB
Current children cumulated memory: 19664 KiB

[startup+0.210176 s]*
/proc/loadavg: 2.10 2.13 2.01 3/216 13968
/proc/meminfo: memFree=30528772/32770624 swapFree=67108764/67108860
[pid=13952] ppid=13949 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/13952/stat : 13952 (xcsp3-exec) S 13949 13952 4674 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 124575819 9740288 345 18446744073709551615 4194304 5098028 140726938673520 140726938671624 140214511325820 0 65536 5 65538 18446744071579417331 0 0 17 1 0 0 5 0 0 7196144 7232144 20500480 140726938681720 140726938681925 140726938681925 140726938685419 0
/proc/13952/statm: 2378 345 289 221 0 87 0
[pid=13954] ppid=13952 vsize=13974352 memory=28432 CPUtime=0.12 cores=1,3,5,7
/proc/13954/stat : 13954 (java) S 13952 13952 4674 0 -1 1077944320 5103 0 0 0 11 1 0 0 20 0 15 0 124575825 14309736448 7108 18446744073709551615 4194304 4196468 140722008179520 140722008162064 140042398478071 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 17829888 140722008183217 140722008183393 140722008183393 140722008186831 0
/proc/13954/statm: 3493588 7108 2814 1 0 3482964 0
[pid=13954/tid=13955] ppid=13952 vsize=13974352 memory=7022364594140610616 CPUtime=0.09 cores=1,3,5,7
/proc/13954/task/13955/stat : 13955 (java) R 13952 13952 4674 0 -1 4202560 3124 0 0 0 8 1 0 0 20 0 15 0 124575825 14309736448 7108 18446744073709551615 4194304 4196468 140722008179520 140042402703792 140042382558558 0 4 1 16800974 0 0 0 -1 5 0 0 5 0 0 6293624 6294260 17829888 140722008183217 140722008183393 140722008183393 140722008186831 0
[pid=13954/tid=13956] ppid=13952 vsize=13974352 memory=4294979926 CPUtime=0 cores=1,3,5,7
/proc/13954/task/13956/stat : 13956 (java) S 13952 13952 4674 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 124575826 14309736448 7108 18446744073709551615 4194304 4196468 140722008179520 140042317892496 140042398488277 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17829888 140722008183217 140722008183393 140722008183393 140722008186831 0
[pid=13954/tid=13957] ppid=13952 vsize=13974352 memory=140697732023351 CPUtime=0 cores=1,3,5,7
/proc/13954/task/13957/stat : 13957 (java) S 13952 13952 4674 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 124575826 14309736448 7108 18446744073709551615 4194304 4196468 140722008179520 140042316839696 140042398488277 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17829888 140722008183217 140722008183393 140722008183393 140722008186831 0
[pid=13954/tid=13958] ppid=13952 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13954/task/13958/stat : 13958 (java) S 13952 13952 4674 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 124575826 14309736448 7108 18446744073709551615 4194304 4196468 140722008179520 140042315787408 140042398488277 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17829888 140722008183217 140722008183393 140722008183393 140722008186831 0
[pid=13954/tid=13959] ppid=13952 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/13954/task/13959/stat : 13959 (java) S 13952 13952 4674 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 124575826 14309736448 7108 18446744073709551615 4194304 4196468 140722008179520 140042314734608 140042398488277 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17829888 140722008183217 140722008183393 140722008183393 140722008186831 0
[pid=13954/tid=13960] ppid=13952 vsize=13974352 memory=140697730942592 CPUtime=0 cores=1,3,5,7
/proc/13954/task/13960/stat : 13960 (java) S 13952 13952 4674 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 124575827 14309736448 7108 18446744073709551615 4194304 4196468 140722008179520 140041876129904 140042398489218 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17829888 140722008183217 140722008183393 140722008183393 140722008186831 0
[pid=13954/tid=13961] ppid=13952 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/13954/task/13961/stat : 13961 (java) S 13952 13952 4674 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 124575828 14309736448 7108 18446744073709551615 4194304 4196468 140722008179520 140041875075872 140042398488277 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17829888 140722008183217 140722008183393 140722008183393 140722008186831 0
[pid=13954/tid=13962] ppid=13952 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13954/task/13962/stat : 13962 (java) S 13952 13952 4674 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 124575828 14309736448 7108 18446744073709551615 4194304 4196468 140722008179520 140041874023536 140042398488277 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17829888 140722008183217 140722008183393 140722008183393 140722008186831 0
[pid=13954/tid=13963] ppid=13952 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13954/task/13963/stat : 13963 (java) S 13952 13952 4674 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 124575830 14309736448 7108 18446744073709551615 4194304 4196468 140722008179520 140041872971856 140042398496667 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17829888 140722008183217 140722008183393 140722008183393 140722008186831 0
[pid=13954/tid=13964] ppid=13952 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13954/task/13964/stat : 13964 (java) S 13952 13952 4674 0 -1 1077944384 297 0 0 0 0 0 0 0 20 0 15 0 124575830 14309736448 7108 18446744073709551615 4194304 4196468 140722008179520 140041871919728 140042398489218 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17829888 140722008183217 140722008183393 140722008183393 140722008186831 0
[pid=13954/tid=13965] ppid=13952 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/13954/task/13965/stat : 13965 (java) S 13952 13952 4674 0 -1 1077944384 123 0 0 0 0 0 0 0 20 0 15 0 124575830 14309736448 7108 18446744073709551615 4194304 4196468 140722008179520 140041870866928 140042398489218 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17829888 140722008183217 140722008183393 140722008183393 140722008186831 0
[pid=13954/tid=13966] ppid=13952 vsize=13974352 memory=140697730942592 CPUtime=0.01 cores=1,3,5,7
/proc/13954/task/13966/stat : 13966 (java) S 13952 13952 4674 0 -1 1077944384 258 0 0 0 1 0 0 0 20 0 15 0 124575830 14309736448 7108 18446744073709551615 4194304 4196468 140722008179520 140041869814640 140042398489218 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17829888 140722008183217 140722008183393 140722008183393 140722008186831 0
[pid=13954/tid=13967] ppid=13952 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/13954/task/13967/stat : 13967 (java) S 13952 13952 4674 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 124575830 14309736448 7108 18446744073709551615 4194304 4196468 140722008179520 140041868762080 140042398488277 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17829888 140722008183217 140722008183393 140722008183393 140722008186831 0
[pid=13954/tid=13968] ppid=13952 vsize=13974352 memory=140697730942592 CPUtime=0 cores=1,3,5,7
/proc/13954/task/13968/stat : 13968 (java) S 13952 13952 4674 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 124575836 14309736448 7108 18446744073709551615 4194304 4196468 140722008179520 140041867708848 140042398489218 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17829888 140722008183217 140722008183393 140722008183393 140722008186831 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 13983864 KiB
Current children cumulated memory: 29812 KiB

[startup+0.311546 s]*
/proc/loadavg: 2.10 2.13 2.01 5/216 13968
/proc/meminfo: memFree=30516016/32770624 swapFree=67108764/67108860
[pid=13952] ppid=13949 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/13952/stat : 13952 (xcsp3-exec) S 13949 13952 4674 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 124575819 9740288 345 18446744073709551615 4194304 5098028 140726938673520 140726938671624 140214511325820 0 65536 5 65538 18446744071579417331 0 0 17 1 0 0 5 0 0 7196144 7232144 20500480 140726938681720 140726938681925 140726938681925 140726938685419 0
/proc/13952/statm: 2378 345 289 221 0 87 0
[pid=13954] ppid=13952 vsize=13974352 memory=40080 CPUtime=0.32 cores=1,3,5,7
/proc/13954/stat : 13954 (java) S 13952 13952 4674 0 -1 1077944320 8678 0 0 0 29 3 0 0 20 0 15 0 124575825 14309736448 10020 18446744073709551615 4194304 4196468 140722008179520 140722008162064 140042398478071 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 17829888 140722008183217 140722008183393 140722008183393 140722008186831 0
/proc/13954/statm: 3493588 10020 3032 1 0 3482964 0
[pid=13954/tid=13955] ppid=13952 vsize=13978608 memory=4278483708103473607 CPUtime=0.19 cores=1,3,5,7
/proc/13954/task/13955/stat : 13955 (java) R 13952 13952 4674 0 -1 4202560 5887 0 0 0 17 2 0 0 20 0 15 0 124575825 14314094592 10037 18446744073709551615 4194304 4196468 140722008179520 140042402699064 140042398499997 0 4 1 16800974 0 0 0 -1 1 0 0 5 0 0 6293624 6294260 17829888 140722008183217 140722008183393 140722008183393 140722008186831 0
[pid=13954/tid=13956] ppid=13952 vsize=13978608 memory=4872558044660077418 CPUtime=0 cores=1,3,5,7
/proc/13954/task/13956/stat : 13956 (java) S 13952 13952 4674 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 124575826 14314094592 10037 18446744073709551615 4194304 4196468 140722008179520 140042317892496 140042398488277 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17829888 140722008183217 140722008183393 140722008183393 140722008186831 0
[pid=13954/tid=13957] ppid=13952 vsize=13978608 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13954/task/13957/stat : 13957 (java) S 13952 13952 4674 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 124575826 14314094592 10037 18446744073709551615 4194304 4196468 140722008179520 140042316839696 140042398488277 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17829888 140722008183217 140722008183393 140722008183393 140722008186831 0
[pid=13954/tid=13958] ppid=13952 vsize=13978608 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13954/task/13958/stat : 13958 (java) S 13952 13952 4674 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 124575826 14314094592 10037 18446744073709551615 4194304 4196468 140722008179520 140042315787408 140042398488277 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17829888 140722008183217 140722008183393 140722008183393 140722008186831 0
[pid=13954/tid=13959] ppid=13952 vsize=13978608 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13954/task/13959/stat : 13959 (java) S 13952 13952 4674 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 124575826 14314094592 10037 18446744073709551615 4194304 4196468 140722008179520 140042314734608 140042398488277 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17829888 140722008183217 140722008183393 140722008183393 140722008186831 0
[pid=13954/tid=13960] ppid=13952 vsize=13978608 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13954/task/13960/stat : 13960 (java) S 13952 13952 4674 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 124575827 14314094592 10037 18446744073709551615 4194304 4196468 140722008179520 140041876129904 140042398489218 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17829888 140722008183217 140722008183393 140722008183393 140722008186831 0
[pid=13954/tid=13961] ppid=13952 vsize=13978608 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13954/task/13961/stat : 13961 (java) S 13952 13952 4674 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 124575828 14314094592 10037 18446744073709551615 4194304 4196468 140722008179520 140041875075872 140042398488277 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17829888 140722008183217 140722008183393 140722008183393 140722008186831 0
[pid=13954/tid=13962] ppid=13952 vsize=13978608 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13954/task/13962/stat : 13962 (java) S 13952 13952 4674 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 124575828 14314094592 10037 18446744073709551615 4194304 4196468 140722008179520 140041874023536 140042398488277 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17829888 140722008183217 140722008183393 140722008183393 140722008186831 0
[pid=13954/tid=13963] ppid=13952 vsize=13978608 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13954/task/13963/stat : 13963 (java) S 13952 13952 4674 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 124575830 14314094592 10037 18446744073709551615 4194304 4196468 140722008179520 140041872971856 140042398496667 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17829888 140722008183217 140722008183393 140722008183393 140722008186831 0
[pid=13954/tid=13964] ppid=13952 vsize=13978608 memory=0 CPUtime=0.03 cores=1,3,5,7
/proc/13954/task/13964/stat : 13964 (java) S 13952 13952 4674 0 -1 1077944384 405 0 0 0 3 0 0 0 20 0 15 0 124575830 14314094592 10037 18446744073709551615 4194304 4196468 140722008179520 140041871919728 140042398489218 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17829888 140722008183217 140722008183393 140722008183393 140722008186831 0
[pid=13954/tid=13965] ppid=13952 vsize=13978608 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/13954/task/13965/stat : 13965 (java) S 13952 13952 4674 0 -1 1077944384 356 0 0 0 1 0 0 0 20 0 15 0 124575830 14314094592 10037 18446744073709551615 4194304 4196468 140722008179520 140041870866928 140042398489218 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17829888 140722008183217 140722008183393 140722008183393 140722008186831 0
[pid=13954/tid=13966] ppid=13952 vsize=13978608 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/13954/task/13966/stat : 13966 (java) S 13952 13952 4674 0 -1 1077944384 768 0 0 0 7 0 0 0 20 0 15 0 124575830 14314094592 10037 18446744073709551615 4194304 4196468 140722008179520 140041869814640 140042398489218 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17829888 140722008183217 140722008183393 140722008183393 140722008186831 0
[pid=13954/tid=13967] ppid=13952 vsize=13978608 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13954/task/13967/stat : 13967 (java) S 13952 13952 4674 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 124575830 14314094592 10037 18446744073709551615 4194304 4196468 140722008179520 140041868762080 140042398488277 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17829888 140722008183217 140722008183393 140722008183393 140722008186831 0
[pid=13954/tid=13968] ppid=13952 vsize=13978608 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13954/task/13968/stat : 13968 (java) S 13952 13952 4674 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 124575836 14314094592 10037 18446744073709551615 4194304 4196468 140722008179520 140041867708848 140042398489218 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17829888 140722008183217 140722008183393 140722008183393 140722008186831 0
Current children cumulated CPU time: 0.32 s
Current children cumulated vsize: 13983864 KiB
Current children cumulated memory: 41460 KiB

[startup+0.701723 s]
/proc/loadavg: 2.10 2.13 2.01 8/216 13968
/proc/meminfo: memFree=30502564/32770624 swapFree=67108764/67108860
[pid=13952] ppid=13949 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/13952/stat : 13952 (xcsp3-exec) S 13949 13952 4674 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 124575819 9740288 345 18446744073709551615 4194304 5098028 140726938673520 140726938671624 140214511325820 0 65536 5 65538 18446744071579417331 0 0 17 1 0 0 5 0 0 7196144 7232144 20500480 140726938681720 140726938681925 140726938681925 140726938685419 0
/proc/13952/statm: 2378 345 289 221 0 87 0
[pid=13954] ppid=13952 vsize=13978684 memory=123080 CPUtime=1.24 cores=1,3,5,7
/proc/13954/stat : 13954 (java) S 13952 13952 4674 0 -1 1077944320 13223 0 0 0 119 5 0 0 20 0 15 0 124575825 14314172416 30770 18446744073709551615 4194304 4196468 140722008179520 140722008162064 140042398478071 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 17829888 140722008183217 140722008183393 140722008183393 140722008186831 0
/proc/13954/statm: 3494671 30770 3157 1 0 3482964 0
[pid=13954/tid=13955] ppid=13952 vsize=13978684 memory=281395251380464 CPUtime=0.57 cores=1,3,5,7
/proc/13954/task/13955/stat : 13955 (java) R 13952 13952 4674 0 -1 4202560 7373 0 0 0 53 4 0 0 20 0 15 0 124575825 14314172416 30770 18446744073709551615 4194304 4196468 140722008179520 140042402713264 140041991600901 0 4 1 16800974 0 0 0 -1 3 0 0 5 0 0 6293624 6294260 17829888 140722008183217 140722008183393 140722008183393 140722008186831 0
[pid=13954/tid=13956] ppid=13952 vsize=13978684 memory=281395251380464 CPUtime=0 cores=1,3,5,7
/proc/13954/task/13956/stat : 13956 (java) S 13952 13952 4674 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 124575826 14314172416 30770 18446744073709551615 4194304 4196468 140722008179520 140042317892496 140042398488277 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17829888 140722008183217 140722008183393 140722008183393 140722008186831 0
[pid=13954/tid=13957] ppid=13952 vsize=13978684 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13954/task/13957/stat : 13957 (java) S 13952 13952 4674 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 124575826 14314172416 30770 18446744073709551615 4194304 4196468 140722008179520 140042316839696 140042398488277 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17829888 140722008183217 140722008183393 140722008183393 140722008186831 0
[pid=13954/tid=13958] ppid=13952 vsize=13978684 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13954/task/13958/stat : 13958 (java) S 13952 13952 4674 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 124575826 14314172416 30770 18446744073709551615 4194304 4196468 140722008179520 140042315787408 140042398488277 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17829888 140722008183217 140722008183393 140722008183393 140722008186831 0
[pid=13954/tid=13959] ppid=13952 vsize=13978684 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13954/task/13959/stat : 13959 (java) S 13952 13952 4674 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 124575826 14314172416 30770 18446744073709551615 4194304 4196468 140722008179520 140042314734608 140042398488277 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17829888 140722008183217 140722008183393 140722008183393 140722008186831 0
[pid=13954/tid=13960] ppid=13952 vsize=13978684 memory=1 CPUtime=0 cores=1,3,5,7
/proc/13954/task/13960/stat : 13960 (java) S 13952 13952 4674 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 124575827 14314172416 30770 18446744073709551615 4194304 4196468 140722008179520 140041876129904 140042398489218 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17829888 140722008183217 140722008183393 140722008183393 140722008186831 0
[pid=13954/tid=13961] ppid=13952 vsize=13978684 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13954/task/13961/stat : 13961 (java) S 13952 13952 4674 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 124575828 14314172416 30770 18446744073709551615 4194304 4196468 140722008179520 140041875075872 140042398488277 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17829888 140722008183217 140722008183393 140722008183393 140722008186831 0
[pid=13954/tid=13962] ppid=13952 vsize=13978684 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13954/task/13962/stat : 13962 (java) S 13952 13952 4674 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 124575828 14314172416 30770 18446744073709551615 4194304 4196468 140722008179520 140041874023536 140042398488277 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17829888 140722008183217 140722008183393 140722008183393 140722008186831 0
[pid=13954/tid=13963] ppid=13952 vsize=13978684 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13954/task/13963/stat : 13963 (java) S 13952 13952 4674 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 124575830 14314172416 30770 18446744073709551615 4194304 4196468 140722008179520 140041872971856 140042398496667 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17829888 140722008183217 140722008183393 140722008183393 140722008186831 0
[pid=13954/tid=13964] ppid=13952 vsize=13978684 memory=28 CPUtime=0.22 cores=1,3,5,7
/proc/13954/task/13964/stat : 13964 (java) R 13952 13952 4674 0 -1 4202560 1524 0 0 0 22 0 0 0 20 0 15 0 124575830 14314172416 30770 18446744073709551615 4194304 4196468 140722008179520 140041871905752 140042383395432 0 4 1 16800974 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 17829888 140722008183217 140722008183393 140722008183393 140722008186831 0
[pid=13954/tid=13965] ppid=13952 vsize=13978684 memory=229 CPUtime=0.21 cores=1,3,5,7
/proc/13954/task/13965/stat : 13965 (java) R 13952 13952 4674 0 -1 4202560 1583 0 0 0 21 0 0 0 20 0 15 0 124575830 14314172416 30770 18446744073709551615 4194304 4196468 140722008179520 140041870852808 140042380022511 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 17829888 140722008183217 140722008183393 140722008183393 140722008186831 0
[pid=13954/tid=13966] ppid=13952 vsize=13978684 memory=0 CPUtime=0.22 cores=1,3,5,7
/proc/13954/task/13966/stat : 13966 (java) S 13952 13952 4674 0 -1 1077944384 1438 0 0 0 22 0 0 0 20 0 15 0 124575830 14314172416 30770 18446744073709551615 4194304 4196468 140722008179520 140041869814640 140042398489218 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17829888 140722008183217 140722008183393 140722008183393 140722008186831 0
[pid=13954/tid=13967] ppid=13952 vsize=13978684 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13954/task/13967/stat : 13967 (java) S 13952 13952 4674 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 124575830 14314172416 30770 18446744073709551615 4194304 4196468 140722008179520 140041868762080 140042398488277 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17829888 140722008183217 140722008183393 140722008183393 140722008186831 0
[pid=13954/tid=13968] ppid=13952 vsize=13978684 memory=3188 CPUtime=0 cores=1,3,5,7
/proc/13954/task/13968/stat : 13968 (java) S 13952 13952 4674 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 124575836 14314172416 30770 18446744073709551615 4194304 4196468 140722008179520 140041867708848 140042398489218 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17829888 140722008183217 140722008183393 140722008183393 140722008186831 0
Current children cumulated CPU time: 1.24 s
Current children cumulated vsize: 13988196 KiB
Current children cumulated memory: 124460 KiB

[startup+1.50081 s]
/proc/loadavg: 2.09 2.12 2.01 3/216 13968
/proc/meminfo: memFree=30352264/32770624 swapFree=67108764/67108860
[pid=13952] ppid=13949 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/13952/stat : 13952 (xcsp3-exec) S 13949 13952 4674 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 124575819 9740288 345 18446744073709551615 4194304 5098028 140726938673520 140726938671624 140214511325820 0 65536 5 65538 18446744071579417331 0 0 17 1 0 0 5 0 0 7196144 7232144 20500480 140726938681720 140726938681925 140726938681925 140726938685419 0
/proc/13952/statm: 2378 345 289 221 0 87 0
[pid=13954] ppid=13952 vsize=13978684 memory=206696 CPUtime=2.53 cores=1,3,5,7
/proc/13954/stat : 13954 (java) S 13952 13952 4674 0 -1 1077944320 13793 0 0 0 245 8 0 0 20 0 15 0 124575825 14314172416 51674 18446744073709551615 4194304 4196468 140722008179520 140722008162064 140042398478071 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 17829888 140722008183217 140722008183393 140722008183393 140722008186831 0
/proc/13954/statm: 3494671 51674 3189 1 0 3482964 0
[pid=13954/tid=13955] ppid=13952 vsize=13978684 memory=0 CPUtime=1.35 cores=1,3,5,7
/proc/13954/task/13955/stat : 13955 (java) R 13952 13952 4674 0 -1 4202560 7511 0 0 0 131 4 0 0 20 0 15 0 124575825 14314172416 51674 18446744073709551615 4194304 4196468 140722008179520 140042402713704 140041992645181 0 4 1 16800974 0 0 0 -1 3 0 0 5 0 0 6293624 6294260 17829888 140722008183217 140722008183393 140722008183393 140722008186831 0
[pid=13954/tid=13956] ppid=13952 vsize=13978684 memory=1 CPUtime=0 cores=1,3,5,7
/proc/13954/task/13956/stat : 13956 (java) S 13952 13952 4674 0 -1 1077944384 15 0 0 0 0 0 0 0 20 0 15 0 124575826 14314172416 51674 18446744073709551615 4194304 4196468 140722008179520 140042317892496 140042398488277 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17829888 140722008183217 140722008183393 140722008183393 140722008186831 0
[pid=13954/tid=13957] ppid=13952 vsize=13978684 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13954/task/13957/stat : 13957 (java) S 13952 13952 4674 0 -1 1077944384 16 0 0 0 0 0 0 0 20 0 15 0 124575826 14314172416 51674 18446744073709551615 4194304 4196468 140722008179520 140042316839696 140042398488277 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17829888 140722008183217 140722008183393 140722008183393 140722008186831 0
[pid=13954/tid=13958] ppid=13952 vsize=13978684 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13954/task/13958/stat : 13958 (java) S 13952 13952 4674 0 -1 1077944384 11 0 0 0 0 0 0 0 20 0 15 0 124575826 14314172416 51674 18446744073709551615 4194304 4196468 140722008179520 140042315787408 140042398488277 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17829888 140722008183217 140722008183393 140722008183393 140722008186831 0
[pid=13954/tid=13959] ppid=13952 vsize=13978684 memory=1093 CPUtime=0 cores=1,3,5,7

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

/proc/13952/stat : 13952 (xcsp3-exec) S 13949 13952 4674 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 124575819 9740288 345 18446744073709551615 4194304 5098028 140726938673520 140726938671624 140214511325820 0 65536 5 65538 18446744071579417331 0 0 17 1 0 0 5 0 0 7196144 7232144 20500480 140726938681720 140726938681925 140726938681925 140726938685419 0
/proc/13952/statm: 2378 345 289 221 0 87 0
[pid=13954] ppid=13952 vsize=13980732 memory=282992 CPUtime=10.84 cores=1,3,5,7
/proc/13954/stat : 13954 (java) S 13952 13952 4674 0 -1 1077944320 28213 0 0 0 1070 14 0 0 20 0 15 0 124575825 14316269568 70748 18446744073709551615 4194304 4196468 140722008179520 140722008162064 140042398478071 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 17829888 140722008183217 140722008183393 140722008183393 140722008186831 0
/proc/13954/statm: 3495183 70748 3208 1 0 3483476 0
[pid=13954/tid=13955] ppid=13952 vsize=13980732 memory=3054156605268583796 CPUtime=7.82 cores=1,3,5,7
/proc/13954/task/13955/stat : 13955 (java) R 13952 13952 4674 0 -1 4202560 9618 0 0 0 777 5 0 0 20 0 15 0 124575825 14316269568 70748 18446744073709551615 4194304 4196468 140722008179520 140042402714352 140041993344148 0 4 1 16800974 0 0 0 -1 5 0 0 5 0 0 6293624 6294260 17829888 140722008183217 140722008183393 140722008183393 140722008186831 0
[pid=13954/tid=13956] ppid=13952 vsize=13980732 memory=6656426216303648864 CPUtime=0.04 cores=1,3,5,7
/proc/13954/task/13956/stat : 13956 (java) S 13952 13952 4674 0 -1 1077944384 65 0 0 0 3 1 0 0 20 0 15 0 124575826 14316269568 70748 18446744073709551615 4194304 4196468 140722008179520 140042317892496 140042398488277 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17829888 140722008183217 140722008183393 140722008183393 140722008186831 0
[pid=13954/tid=13957] ppid=13952 vsize=13980732 memory=4872558044660077418 CPUtime=0.04 cores=1,3,5,7
/proc/13954/task/13957/stat : 13957 (java) S 13952 13952 4674 0 -1 1077944384 76 0 0 0 3 1 0 0 20 0 15 0 124575826 14316269568 70748 18446744073709551615 4194304 4196468 140722008179520 140042316839696 140042398488277 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17829888 140722008183217 140722008183393 140722008183393 140722008186831 0
[pid=13954/tid=13958] ppid=13952 vsize=13980732 memory=0 CPUtime=0.04 cores=1,3,5,7
/proc/13954/task/13958/stat : 13958 (java) S 13952 13952 4674 0 -1 1077944384 62 0 0 0 3 1 0 0 20 0 15 0 124575826 14316269568 70748 18446744073709551615 4194304 4196468 140722008179520 140042315787408 140042398488277 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17829888 140722008183217 140722008183393 140722008183393 140722008186831 0
[pid=13954/tid=13959] ppid=13952 vsize=13980732 memory=0 CPUtime=0.04 cores=1,3,5,7
/proc/13954/task/13959/stat : 13959 (java) S 13952 13952 4674 0 -1 1077944384 57 0 0 0 3 1 0 0 20 0 15 0 124575826 14316269568 70748 18446744073709551615 4194304 4196468 140722008179520 140042314734608 140042398488277 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17829888 140722008183217 140722008183393 140722008183393 140722008186831 0
[pid=13954/tid=13960] ppid=13952 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13954/task/13960/stat : 13960 (java) S 13952 13952 4674 0 -1 1077944384 413 0 0 0 0 0 0 0 20 0 15 0 124575827 14316269568 70748 18446744073709551615 4194304 4196468 140722008179520 140041876129904 140042398489218 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 6 0 0 6293624 6294260 17829888 140722008183217 140722008183393 140722008183393 140722008186831 0
[pid=13954/tid=13961] ppid=13952 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13954/task/13961/stat : 13961 (java) S 13952 13952 4674 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 15 0 124575828 14316269568 70748 18446744073709551615 4194304 4196468 140722008179520 140041875075936 140042398488277 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17829888 140722008183217 140722008183393 140722008183393 140722008186831 0
[pid=13954/tid=13962] ppid=13952 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13954/task/13962/stat : 13962 (java) S 13952 13952 4674 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 15 0 124575828 14316269568 70748 18446744073709551615 4194304 4196468 140722008179520 140041874023552 140042398488277 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17829888 140722008183217 140722008183393 140722008183393 140722008186831 0
[pid=13954/tid=13963] ppid=13952 vsize=13980732 memory=6944656575208382560 CPUtime=0 cores=1,3,5,7
/proc/13954/task/13963/stat : 13963 (java) S 13952 13952 4674 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 124575830 14316269568 70748 18446744073709551615 4194304 4196468 140722008179520 140041872971856 140042398496667 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17829888 140722008183217 140722008183393 140722008183393 140722008186831 0
[pid=13954/tid=13964] ppid=13952 vsize=13980732 memory=6655300316396806240 CPUtime=1.18 cores=1,3,5,7
/proc/13954/task/13964/stat : 13964 (java) S 13952 13952 4674 0 -1 1077944384 7138 0 0 0 117 1 0 0 20 0 15 0 124575830 14316269568 70748 18446744073709551615 4194304 4196468 140722008179520 140041871919728 140042398489218 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 6 0 0 6293624 6294260 17829888 140722008183217 140722008183393 140722008183393 140722008186831 0
[pid=13954/tid=13965] ppid=13952 vsize=13980732 memory=905 CPUtime=1.18 cores=1,3,5,7
/proc/13954/task/13965/stat : 13965 (java) R 13952 13952 4674 0 -1 4202560 6790 0 0 0 117 1 0 0 20 0 15 0 124575830 14316269568 70748 18446744073709551615 4194304 4196468 140722008179520 140041870847928 140042377734656 0 4 1 16800974 0 0 0 -1 1 0 0 13 0 0 6293624 6294260 17829888 140722008183217 140722008183393 140722008183393 140722008186831 0
[pid=13954/tid=13966] ppid=13952 vsize=13980732 memory=0 CPUtime=0.43 cores=1,3,5,7
/proc/13954/task/13966/stat : 13966 (java) S 13952 13952 4674 0 -1 1077944384 2567 0 0 0 43 0 0 0 20 0 15 0 124575830 14316269568 70748 18446744073709551615 4194304 4196468 140722008179520 140041869814640 140042398489218 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17829888 140722008183217 140722008183393 140722008183393 140722008186831 0
[pid=13954/tid=13967] ppid=13952 vsize=13980732 memory=119 CPUtime=0 cores=1,3,5,7
/proc/13954/task/13967/stat : 13967 (java) S 13952 13952 4674 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 124575830 14316269568 70748 18446744073709551615 4194304 4196468 140722008179520 140041868762080 140042398488277 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17829888 140722008183217 140722008183393 140722008183393 140722008186831 0
[pid=13954/tid=13968] ppid=13952 vsize=13980732 memory=188 CPUtime=0 cores=1,3,5,7
/proc/13954/task/13968/stat : 13968 (java) S 13952 13952 4674 0 -1 1077944384 129 0 0 0 0 0 0 0 20 0 15 0 124575836 14316269568 70748 18446744073709551615 4194304 4196468 140722008179520 140041867708848 140042398489218 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 14 0 0 6293624 6294260 17829888 140722008183217 140722008183393 140722008183393 140722008186831 0
Current children cumulated CPU time: 10.84 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 284372 KiB

[startup+9.6008 s]
/proc/loadavg: 2.00 2.11 2.00 3/216 13968
/proc/meminfo: memFree=30276044/32770624 swapFree=67108764/67108860
[pid=13952] ppid=13949 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/13952/stat : 13952 (xcsp3-exec) S 13949 13952 4674 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 124575819 9740288 345 18446744073709551615 4194304 5098028 140726938673520 140726938671624 140214511325820 0 65536 5 65538 18446744071579417331 0 0 17 1 0 0 5 0 0 7196144 7232144 20500480 140726938681720 140726938681925 140726938681925 140726938685419 0
/proc/13952/statm: 2378 345 289 221 0 87 0
[pid=13954] ppid=13952 vsize=13980732 memory=281292 CPUtime=12.56 cores=1,3,5,7
/proc/13954/stat : 13954 (java) S 13952 13952 4674 0 -1 1077944320 29330 0 0 0 1242 14 0 0 20 0 15 0 124575825 14316269568 70323 18446744073709551615 4194304 4196468 140722008179520 140722008162064 140042398478071 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 17829888 140722008183217 140722008183393 140722008183393 140722008186831 0
/proc/13954/statm: 3495183 70323 3208 1 0 3483476 0
[pid=13954/tid=13955] ppid=13952 vsize=13980732 memory=1380 CPUtime=9.41 cores=1,3,5,7
/proc/13954/task/13955/stat : 13955 (java) R 13952 13952 4674 0 -1 4202560 9734 0 0 0 936 5 0 0 20 0 15 0 124575825 14316269568 70323 18446744073709551615 4194304 4196468 140722008179520 140042402714816 140041993344837 0 4 1 16800974 0 0 0 -1 5 0 0 5 0 0 6293624 6294260 17829888 140722008183217 140722008183393 140722008183393 140722008186831 0
[pid=13954/tid=13956] ppid=13952 vsize=13980732 memory=254576 CPUtime=0.04 cores=1,3,5,7
/proc/13954/task/13956/stat : 13956 (java) S 13952 13952 4674 0 -1 1077944384 65 0 0 0 3 1 0 0 20 0 15 0 124575826 14316269568 70323 18446744073709551615 4194304 4196468 140722008179520 140042317892496 140042398488277 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17829888 140722008183217 140722008183393 140722008183393 140722008186831 0
[pid=13954/tid=13957] ppid=13952 vsize=13980732 memory=254576 CPUtime=0.04 cores=1,3,5,7
/proc/13954/task/13957/stat : 13957 (java) S 13952 13952 4674 0 -1 1077944384 76 0 0 0 3 1 0 0 20 0 15 0 124575826 14316269568 70323 18446744073709551615 4194304 4196468 140722008179520 140042316839696 140042398488277 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17829888 140722008183217 140722008183393 140722008183393 140722008186831 0
[pid=13954/tid=13958] ppid=13952 vsize=13980732 memory=281395251561568 CPUtime=0.04 cores=1,3,5,7
/proc/13954/task/13958/stat : 13958 (java) S 13952 13952 4674 0 -1 1077944384 62 0 0 0 3 1 0 0 20 0 15 0 124575826 14316269568 70323 18446744073709551615 4194304 4196468 140722008179520 140042315787408 140042398488277 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17829888 140722008183217 140722008183393 140722008183393 140722008186831 0
[pid=13954/tid=13959] ppid=13952 vsize=13980732 memory=1380 CPUtime=0.04 cores=1,3,5,7
/proc/13954/task/13959/stat : 13959 (java) S 13952 13952 4674 0 -1 1077944384 57 0 0 0 3 1 0 0 20 0 15 0 124575826 14316269568 70323 18446744073709551615 4194304 4196468 140722008179520 140042314734608 140042398488277 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17829888 140722008183217 140722008183393 140722008183393 140722008186831 0
[pid=13954/tid=13960] ppid=13952 vsize=13980732 memory=252556 CPUtime=0 cores=1,3,5,7
/proc/13954/task/13960/stat : 13960 (java) S 13952 13952 4674 0 -1 1077944384 413 0 0 0 0 0 0 0 20 0 15 0 124575827 14316269568 70323 18446744073709551615 4194304 4196468 140722008179520 140041876129904 140042398489218 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 6 0 0 6293624 6294260 17829888 140722008183217 140722008183393 140722008183393 140722008186831 0
[pid=13954/tid=13961] ppid=13952 vsize=13980732 memory=119924076866832 CPUtime=0 cores=1,3,5,7
/proc/13954/task/13961/stat : 13961 (java) S 13952 13952 4674 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 15 0 124575828 14316269568 70323 18446744073709551615 4194304 4196468 140722008179520 140041875075936 140042398488277 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17829888 140722008183217 140722008183393 140722008183393 140722008186831 0
[pid=13954/tid=13962] ppid=13952 vsize=13980732 memory=3976876553651932648 CPUtime=0 cores=1,3,5,7
/proc/13954/task/13962/stat : 13962 (java) S 13952 13952 4674 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 15 0 124575828 14316269568 70323 18446744073709551615 4194304 4196468 140722008179520 140041874023552 140042398488277 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17829888 140722008183217 140722008183393 140722008183393 140722008186831 0
[pid=13954/tid=13963] ppid=13952 vsize=13980732 memory=281395251499216 CPUtime=0 cores=1,3,5,7
/proc/13954/task/13963/stat : 13963 (java) S 13952 13952 4674 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 124575830 14316269568 70323 18446744073709551615 4194304 4196468 140722008179520 140041872971856 140042398496667 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17829888 140722008183217 140722008183393 140722008183393 140722008186831 0
[pid=13954/tid=13964] ppid=13952 vsize=13980732 memory=256628 CPUtime=1.21 cores=1,3,5,7
/proc/13954/task/13964/stat : 13964 (java) S 13952 13952 4674 0 -1 1077944384 7145 0 0 0 120 1 0 0 20 0 15 0 124575830 14316269568 70323 18446744073709551615 4194304 4196468 140722008179520 140041871919728 140042398489218 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 6 0 0 6293624 6294260 17829888 140722008183217 140722008183393 140722008183393 140722008186831 0
[pid=13954/tid=13965] ppid=13952 vsize=13980732 memory=1380 CPUtime=1.28 cores=1,3,5,7
/proc/13954/task/13965/stat : 13965 (java) S 13952 13952 4674 0 -1 1077944384 7784 0 0 0 127 1 0 0 20 0 15 0 124575830 14316269568 70323 18446744073709551615 4194304 4196468 140722008179520 140041870866928 140042398489218 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 13 0 0 6293624 6294260 17829888 140722008183217 140722008183393 140722008183393 140722008186831 0
[pid=13954/tid=13966] ppid=13952 vsize=13980732 memory=4148 CPUtime=0.43 cores=1,3,5,7
/proc/13954/task/13966/stat : 13966 (java) S 13952 13952 4674 0 -1 1077944384 2567 0 0 0 43 0 0 0 20 0 15 0 124575830 14316269568 70323 18446744073709551615 4194304 4196468 140722008179520 140041869814640 140042398489218 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17829888 140722008183217 140722008183393 140722008183393 140722008186831 0
[pid=13954/tid=13967] ppid=13952 vsize=13980732 memory=60400 CPUtime=0 cores=1,3,5,7
/proc/13954/task/13967/stat : 13967 (java) S 13952 13952 4674 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 124575830 14316269568 70323 18446744073709551615 4194304 4196468 140722008179520 140041868762080 140042398488277 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17829888 140722008183217 140722008183393 140722008183393 140722008186831 0
[pid=13954/tid=13968] ppid=13952 vsize=13980732 memory=1296 CPUtime=0 cores=1,3,5,7
/proc/13954/task/13968/stat : 13968 (java) S 13952 13952 4674 0 -1 1077944384 129 0 0 0 0 0 0 0 20 0 15 0 124575836 14316269568 70323 18446744073709551615 4194304 4196468 140722008179520 140041867708848 140042398489218 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 14 0 0 6293624 6294260 17829888 140722008183217 140722008183393 140722008183393 140722008186831 0
Current children cumulated CPU time: 12.56 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 282672 KiB

[startup+10.4008 s]
/proc/loadavg: 2.00 2.11 2.00 3/216 13968
/proc/meminfo: memFree=30275920/32770624 swapFree=67108764/67108860
[pid=13952] ppid=13949 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/13952/stat : 13952 (xcsp3-exec) S 13949 13952 4674 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 124575819 9740288 345 18446744073709551615 4194304 5098028 140726938673520 140726938671624 140214511325820 0 65536 5 65538 18446744071579417331 0 0 17 1 0 0 5 0 0 7196144 7232144 20500480 140726938681720 140726938681925 140726938681925 140726938685419 0
/proc/13952/statm: 2378 345 289 221 0 87 0
[pid=13954] ppid=13952 vsize=13980732 memory=276928 CPUtime=13.36 cores=1,3,5,7
/proc/13954/stat : 13954 (java) S 13952 13952 4674 0 -1 1077944320 30691 0 0 0 1322 14 0 0 20 0 15 0 124575825 14316269568 69232 18446744073709551615 4194304 4196468 140722008179520 140722008162064 140042398478071 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 17829888 140722008183217 140722008183393 140722008183393 140722008186831 0
/proc/13954/statm: 3495183 69232 3208 1 0 3483476 0
[pid=13954/tid=13955] ppid=13952 vsize=13980732 memory=-8774313645642428999 CPUtime=10.21 cores=1,3,5,7
/proc/13954/task/13955/stat : 13955 (java) R 13952 13952 4674 0 -1 4202560 10119 0 0 0 1016 5 0 0 20 0 15 0 124575825 14316269568 69232 18446744073709551615 4194304 4196468 140722008179520 140042402715352 140041993396756 0 4 1 16800974 0 0 0 -1 5 0 0 5 0 0 6293624 6294260 17829888 140722008183217 140722008183393 140722008183393 140722008186831 0
[pid=13954/tid=13956] ppid=13952 vsize=13980732 memory=0 CPUtime=0.04 cores=1,3,5,7
/proc/13954/task/13956/stat : 13956 (java) S 13952 13952 4674 0 -1 1077944384 65 0 0 0 3 1 0 0 20 0 15 0 124575826 14316269568 69232 18446744073709551615 4194304 4196468 140722008179520 140042317892496 140042398488277 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17829888 140722008183217 140722008183393 140722008183393 140722008186831 0
[pid=13954/tid=13957] ppid=13952 vsize=13980732 memory=281395251423216 CPUtime=0.04 cores=1,3,5,7
/proc/13954/task/13957/stat : 13957 (java) S 13952 13952 4674 0 -1 1077944384 76 0 0 0 3 1 0 0 20 0 15 0 124575826 14316269568 69232 18446744073709551615 4194304 4196468 140722008179520 140042316839696 140042398488277 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17829888 140722008183217 140722008183393 140722008183393 140722008186831 0
[pid=13954/tid=13958] ppid=13952 vsize=13980732 memory=7813734362283879961 CPUtime=0.04 cores=1,3,5,7
/proc/13954/task/13958/stat : 13958 (java) S 13952 13952 4674 0 -1 1077944384 62 0 0 0 3 1 0 0 20 0 15 0 124575826 14316269568 69232 18446744073709551615 4194304 4196468 140722008179520 140042315787408 140042398488277 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17829888 140722008183217 140722008183393 140722008183393 140722008186831 0
[pid=13954/tid=13959] ppid=13952 vsize=13980732 memory=281395252108512 CPUtime=0.04 cores=1,3,5,7
/proc/13954/task/13959/stat : 13959 (java) S 13952 13952 4674 0 -1 1077944384 57 0 0 0 3 1 0 0 20 0 15 0 124575826 14316269568 69232 18446744073709551615 4194304 4196468 140722008179520 140042314734608 140042398488277 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17829888 140722008183217 140722008183393 140722008183393 140722008186831 0
[pid=13954/tid=13960] ppid=13952 vsize=13980732 memory=6656426216303648864 CPUtime=0 cores=1,3,5,7
/proc/13954/task/13960/stat : 13960 (java) S 13952 13952 4674 0 -1 1077944384 413 0 0 0 0 0 0 0 20 0 15 0 124575827 14316269568 69232 18446744073709551615 4194304 4196468 140722008179520 140041876129904 140042398489218 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 6 0 0 6293624 6294260 17829888 140722008183217 140722008183393 140722008183393 140722008186831 0
[pid=13954/tid=13961] ppid=13952 vsize=13980732 memory=8976414709404591081 CPUtime=0 cores=1,3,5,7
/proc/13954/task/13961/stat : 13961 (java) S 13952 13952 4674 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 15 0 124575828 14316269568 69232 18446744073709551615 4194304 4196468 140722008179520 140041875075936 140042398488277 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17829888 140722008183217 140722008183393 140722008183393 140722008186831 0
[pid=13954/tid=13962] ppid=13952 vsize=13980732 memory=-2893623298589923098 CPUtime=0 cores=1,3,5,7
/proc/13954/task/13962/stat : 13962 (java) S 13952 13952 4674 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 15 0 124575828 14316269568 69232 18446744073709551615 4194304 4196468 140722008179520 140041874023552 140042398488277 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17829888 140722008183217 140722008183393 140722008183393 140722008186831 0
[pid=13954/tid=13963] ppid=13952 vsize=13980732 memory=9126115474880045205 CPUtime=0 cores=1,3,5,7
/proc/13954/task/13963/stat : 13963 (java) S 13952 13952 4674 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 124575830 14316269568 69232 18446744073709551615 4194304 4196468 140722008179520 140041872971856 140042398496667 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17829888 140722008183217 140722008183393 140722008183393 140722008186831 0
[pid=13954/tid=13964] ppid=13952 vsize=13980732 memory=6656426216303639137 CPUtime=1.21 cores=1,3,5,7
/proc/13954/task/13964/stat : 13964 (java) S 13952 13952 4674 0 -1 1077944384 7145 0 0 0 120 1 0 0 20 0 15 0 124575830 14316269568 69232 18446744073709551615 4194304 4196468 140722008179520 140041871919728 140042398489218 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 6 0 0 6293624 6294260 17829888 140722008183217 140722008183393 140722008183393 140722008186831 0
[pid=13954/tid=13965] ppid=13952 vsize=13980732 memory=-7098066085226554912 CPUtime=1.28 cores=1,3,5,7
/proc/13954/task/13965/stat : 13965 (java) S 13952 13952 4674 0 -1 1077944384 7784 0 0 0 127 1 0 0 20 0 15 0 124575830 14316269568 69232 18446744073709551615 4194304 4196468 140722008179520 140041870866928 140042398489218 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 13 0 0 6293624 6294260 17829888 140722008183217 140722008183393 140722008183393 140722008186831 0
[pid=13954/tid=13966] ppid=13952 vsize=13980732 memory=1399101730491701635 CPUtime=0.43 cores=1,3,5,7
/proc/13954/task/13966/stat : 13966 (java) S 13952 13952 4674 0 -1 1077944384 2567 0 0 0 43 0 0 0 20 0 15 0 124575830 14316269568 69232 18446744073709551615 4194304 4196468 140722008179520 140041869814640 140042398489218 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17829888 140722008183217 140722008183393 140722008183393 140722008186831 0
[pid=13954/tid=13967] ppid=13952 vsize=13980732 memory=-6421031960926448530 CPUtime=0 cores=1,3,5,7
/proc/13954/task/13967/stat : 13967 (java) S 13952 13952 4674 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 124575830 14316269568 69232 18446744073709551615 4194304 4196468 140722008179520 140041868762080 140042398488277 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17829888 140722008183217 140722008183393 140722008183393 140722008186831 0
[pid=13954/tid=13968] ppid=13952 vsize=13980732 memory=6656426216303648864 CPUtime=0 cores=1,3,5,7
/proc/13954/task/13968/stat : 13968 (java) S 13952 13952 4674 0 -1 1077944384 1105 0 0 0 0 0 0 0 20 0 15 0 124575836 14316269568 69232 18446744073709551615 4194304 4196468 140722008179520 140041867708848 140042398489218 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 14 0 0 6293624 6294260 17829888 140722008183217 140722008183393 140722008183393 140722008186831 0
Current children cumulated CPU time: 13.36 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 278308 KiB

[startup+10.6008 s]
/proc/loadavg: 2.00 2.11 2.00 3/216 13968
/proc/meminfo: memFree=30275920/32770624 swapFree=67108764/67108860
[pid=13952] ppid=13949 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/13952/stat : 13952 (xcsp3-exec) S 13949 13952 4674 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 124575819 9740288 345 18446744073709551615 4194304 5098028 140726938673520 140726938671624 140214511325820 0 65536 5 65538 18446744071579417331 0 0 17 1 0 0 5 0 0 7196144 7232144 20500480 140726938681720 140726938681925 140726938681925 140726938685419 0
/proc/13952/statm: 2378 345 289 221 0 87 0
[pid=13954] ppid=13952 vsize=13980732 memory=276928 CPUtime=13.56 cores=1,3,5,7
/proc/13954/stat : 13954 (java) S 13952 13952 4674 0 -1 1077944320 30691 0 0 0 1342 14 0 0 20 0 15 0 124575825 14316269568 69232 18446744073709551615 4194304 4196468 140722008179520 140722008162064 140042398478071 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 17829888 140722008183217 140722008183393 140722008183393 140722008186831 0
/proc/13954/statm: 3495183 69232 3208 1 0 3483476 0
[pid=13954/tid=13955] ppid=13952 vsize=13980732 memory=0 CPUtime=10.41 cores=1,3,5,7
/proc/13954/task/13955/stat : 13955 (java) R 13952 13952 4674 0 -1 4202560 10119 0 0 0 1036 5 0 0 20 0 15 0 124575825 14316269568 69232 18446744073709551615 4194304 4196468 140722008179520 140042402715352 140041993344884 0 4 1 16800974 0 0 0 -1 5 0 0 5 0 0 6293624 6294260 17829888 140722008183217 140722008183393 140722008183393 140722008186831 0
[pid=13954/tid=13956] ppid=13952 vsize=13980732 memory=200617922424068 CPUtime=0.04 cores=1,3,5,7
/proc/13954/task/13956/stat : 13956 (java) S 13952 13952 4674 0 -1 1077944384 65 0 0 0 3 1 0 0 20 0 15 0 124575826 14316269568 69232 18446744073709551615 4194304 4196468 140722008179520 140042317892496 140042398488277 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17829888 140722008183217 140722008183393 140722008183393 140722008186831 0
[pid=13954/tid=13957] ppid=13952 vsize=13980732 memory=281395252056992 CPUtime=0.04 cores=1,3,5,7
/proc/13954/task/13957/stat : 13957 (java) S 13952 13952 4674 0 -1 1077944384 76 0 0 0 3 1 0 0 20 0 15 0 124575826 14316269568 69232 18446744073709551615 4194304 4196468 140722008179520 140042316839696 140042398488277 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17829888 140722008183217 140722008183393 140722008183393 140722008186831 0
[pid=13954/tid=13958] ppid=13952 vsize=13980732 memory=140697627204232 CPUtime=0.04 cores=1,3,5,7
/proc/13954/task/13958/stat : 13958 (java) S 13952 13952 4674 0 -1 1077944384 62 0 0 0 3 1 0 0 20 0 15 0 124575826 14316269568 69232 18446744073709551615 4194304 4196468 140722008179520 140042315787408 140042398488277 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17829888 140722008183217 140722008183393 140722008183393 140722008186831 0
[pid=13954/tid=13959] ppid=13952 vsize=13980732 memory=1156 CPUtime=0.04 cores=1,3,5,7
/proc/13954/task/13959/stat : 13959 (java) S 13952 13952 4674 0 -1 1077944384 57 0 0 0 3 1 0 0 20 0 15 0 124575826 14316269568 69232 18446744073709551615 4194304 4196468 140722008179520 140042314734608 140042398488277 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17829888 140722008183217 140722008183393 140722008183393 140722008186831 0
[pid=13954/tid=13960] ppid=13952 vsize=13980732 memory=2460 CPUtime=0 cores=1,3,5,7
/proc/13954/task/13960/stat : 13960 (java) S 13952 13952 4674 0 -1 1077944384 413 0 0 0 0 0 0 0 20 0 15 0 124575827 14316269568 69232 18446744073709551615 4194304 4196468 140722008179520 140041876129904 140042398489218 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 6 0 0 6293624 6294260 17829888 140722008183217 140722008183393 140722008183393 140722008186831 0
[pid=13954/tid=13961] ppid=13952 vsize=13980732 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/13954/task/13961/stat : 13961 (java) S 13952 13952 4674 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 15 0 124575828 14316269568 69232 18446744073709551615 4194304 4196468 140722008179520 140041875075936 140042398488277 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17829888 140722008183217 140722008183393 140722008183393 140722008186831 0
[pid=13954/tid=13962] ppid=13952 vsize=13980732 memory=252556 CPUtime=0 cores=1,3,5,7
/proc/13954/task/13962/stat : 13962 (java) S 13952 13952 4674 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 15 0 124575828 14316269568 69232 18446744073709551615 4194304 4196468 140722008179520 140041874023552 140042398488277 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17829888 140722008183217 140722008183393 140722008183393 140722008186831 0
[pid=13954/tid=13963] ppid=13952 vsize=13980732 memory=2816 CPUtime=0 cores=1,3,5,7
/proc/13954/task/13963/stat : 13963 (java) S 13952 13952 4674 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 124575830 14316269568 69232 18446744073709551615 4194304 4196468 140722008179520 140041872971856 140042398496667 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17829888 140722008183217 140722008183393 140722008183393 140722008186831 0
[pid=13954/tid=13964] ppid=13952 vsize=13980732 memory=3188 CPUtime=1.21 cores=1,3,5,7
/proc/13954/task/13964/stat : 13964 (java) S 13952 13952 4674 0 -1 1077944384 7145 0 0 0 120 1 0 0 20 0 15 0 124575830 14316269568 69232 18446744073709551615 4194304 4196468 140722008179520 140041871919728 140042398489218 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 6 0 0 6293624 6294260 17829888 140722008183217 140722008183393 140722008183393 140722008186831 0
[pid=13954/tid=13965] ppid=13952 vsize=13980732 memory=36268 CPUtime=1.28 cores=1,3,5,7
/proc/13954/task/13965/stat : 13965 (java) S 13952 13952 4674 0 -1 1077944384 7784 0 0 0 127 1 0 0 20 0 15 0 124575830 14316269568 69232 18446744073709551615 4194304 4196468 140722008179520 140041870866928 140042398489218 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 13 0 0 6293624 6294260 17829888 140722008183217 140722008183393 140722008183393 140722008186831 0
[pid=13954/tid=13966] ppid=13952 vsize=13980732 memory=0 CPUtime=0.43 cores=1,3,5,7
/proc/13954/task/13966/stat : 13966 (java) S 13952 13952 4674 0 -1 1077944384 2567 0 0 0 43 0 0 0 20 0 15 0 124575830 14316269568 69232 18446744073709551615 4194304 4196468 140722008179520 140041869814640 140042398489218 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17829888 140722008183217 140722008183393 140722008183393 140722008186831 0
[pid=13954/tid=13967] ppid=13952 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13954/task/13967/stat : 13967 (java) S 13952 13952 4674 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 124575830 14316269568 69232 18446744073709551615 4194304 4196468 140722008179520 140041868762080 140042398488277 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17829888 140722008183217 140722008183393 140722008183393 140722008186831 0
[pid=13954/tid=13968] ppid=13952 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13954/task/13968/stat : 13968 (java) S 13952 13952 4674 0 -1 1077944384 1105 0 0 0 0 0 0 0 20 0 15 0 124575836 14316269568 69232 18446744073709551615 4194304 4196468 140722008179520 140041867708848 140042398489218 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 14 0 0 6293624 6294260 17829888 140722008183217 140722008183393 140722008183393 140722008186831 0
Current children cumulated CPU time: 13.56 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 278308 KiB

Child status: 0
Real time (s): 10.6322
CPU time (s): 13.6049
CPU user time (s): 13.4459
CPU system time (s): 0.158908
CPU usage (%): 127.959
Max. virtual memory (cumulated for all children) (KiB): 13992020
Max. memory (cumulated for all children) (KiB): 284372

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 13.4459
system time used= 0.158908
maximum resident set size= 283344
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 32005
page faults= 0
swaps= 0
block input operations= 0
block output operations= 112
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 2662
involuntary context switches= 29


# summary of solver processes directly reported to runsolver:
#   pid: 13952
#   total CPU time (s): 13.6049
#   total CPU user time (s): 13.4459
#   total CPU system time (s): 0.158908

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.080493 second user time and 0.157214 second system time

The end

Launcher Data 

Begin job on node134 at 2017-08-15 06:04:19
IDJOB=4269653
IDBENCH=125996
IDSOLVER=2660
FILE ID=node134/4269653-1502770693
RUNJOBID= node134-1502649032-24471
PBS_JOBID= 
Free space on /tmp= 62020 MiB

SOLVER NAME= choco-solver 4.0.5 seq
BENCH NAME= XCSP17/QRandom/QRandom-bdd-18-21-2/bdd-18-21-2-133-78-06.xml
COMMAND LINE= ./xcsp3-exec -dir DIR -tl TIMEOUT -ml 11000 -tdir TMPDIR -seed RANDOMSEED BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4269653-1502770693/watcher-4269653-1502770693 -o /tmp/evaluation-result-4269653-1502770693/solver-4269653-1502770693 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node134-1502649032-24471 --watchdog 2580  ./xcsp3-exec -dir HOME -tl 2520 -ml 11000 -tdir HOME -seed 1904637659 HOME/instance-4269653-1502770693.xml

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

MD5SUM BENCH= c11db23a97f48af6ae936ba62121dffc
RANDOM SEED=1904637659

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.43
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.43
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.43
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.43
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:        30546340 kB
MemAvailable:   30814520 kB
Buffers:          272260 kB
Cached:           294808 kB
SwapCached:            4 kB
Active:          1542136 kB
Inactive:         222892 kB
Active(anon):    1144756 kB
Inactive(anon):   102692 kB
Active(file):     397380 kB
Inactive(file):   120200 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      67108860 kB
SwapFree:       67108764 kB
Dirty:              9856 kB
Writeback:             4 kB
AnonPages:       1197552 kB
Mapped:            72104 kB
Shmem:             49756 kB
Slab:             160416 kB
SReclaimable:     132868 kB
SUnreclaim:        27548 kB
KernelStack:        3520 kB
PageTables:         7408 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    2773676 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      354332 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1087488 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      101760 kB
DirectMap2M:    33443840 kB

Free space on /tmp at the end= 62012 MiB
End job on node134 at 2017-08-15 06:04:30