Trace number 4269723

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 10.555 7.40869

General information on the benchmark

NameRandom/Random-m1-5-12-12t/
rand-5-12-12-200-t95-3.xml
MD5SUMd4014e5e87f6d68ac86bab8f8f62518f
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 benchmark10.8933
Satisfiable
(Un)Satisfiability was proved
Number of variables12
Number of constraints200
Number of domains1
Minimum domain size12
Maximum domain size12
Distribution of domain sizes[{"size":12,"count":12}]
Minimum variable degree77
Maximum variable degree95
Distribution of variable degrees[{"degree":77,"count":1},{"degree":78,"count":1},{"degree":79,"count":1},{"degree":81,"count":2},{"degree":82,"count":1},{"degree":83,"count":2},{"degree":84,"count":1},{"degree":86,"count":1},{"degree":91,"count":1},{"degree":95,"count":1}]
Minimum constraint arity5
Maximum constraint arity5
Distribution of constraint arities[{"arity":5,"count":200}]
Number of extensional constraints200
Number of intensional constraints0
Distribution of constraint types[{"type":"extension","count":200}]
Optimization problemNO
Type of objective

Solver Data 

0.00/0.07	c java -server -Xmx11000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4269723-1502725956.xml"  -tl '2520s' -p 1 -x 0
0.15/0.24	c [HOME/instance-4269723-1502725956.xml, -tl, 2520s, -p, 1, -x, 0]
0.15/0.30	c simple solver
0.34/0.37	c parse instance...
8.01/5.42	c solve instance...
10.44/7.39	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 (15232 MiB free)
  memory of node 1: 16384 MiB (15677 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4269723-1502725956/watcher-4269723-1502725956 -o /tmp/evaluation-result-4269723-1502725956/solver-4269723-1502725956 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node129-1502724845-2549 --watchdog 2580 ./xcsp3-exec -dir HOME -tl 2520 -ml 11000 -tdir HOME -seed 1645663458 HOME/instance-4269723-1502725956.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=3966, runsolver pid=3963

[startup+0.100109 s]*
/proc/loadavg: 1.88 1.24 0.58 3/207 3975
/proc/meminfo: memFree=31644044/32770624 swapFree=67108860/67108860
[pid=3966] ppid=3963 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/3966/stat : 3966 (xcsp3-exec) S 3963 3966 2357 34816 2543 4202496 515 0 0 0 0 0 0 0 20 0 1 0 210748 9740288 345 18446744073709551615 4194304 5098028 140724374175744 140724374173848 139688425583228 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 6 0 0 7196144 7232144 11599872 140724374184315 140724374184520 140724374184520 140724374188011 0
/proc/3966/statm: 2378 345 289 221 0 87 0
[pid=3968] ppid=3966 vsize=13574484 memory=18976 CPUtime=0.03 cores=1,3,5,7
/proc/3968/stat : 3968 (java) S 3966 3966 2357 34816 2543 1077944320 4085 0 0 0 2 1 0 0 20 0 9 0 210755 13900271616 4744 18446744073709551615 4194304 4196468 140722235661808 140722235644352 140407264730871 0 0 1 16784584 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 31981568 140722235662772 140722235662948 140722235662948 140722235666383 0
/proc/3968/statm: 3393621 4744 2091 1 0 3383118 0
[pid=3968/tid=3969] ppid=3966 vsize=13574484 memory=-6446293313896039056 CPUtime=0.02 cores=1,3,5,7
/proc/3968/task/3969/stat : 3969 (java) R 3966 3966 2357 34816 2543 4202560 2787 0 0 0 2 0 0 0 20 0 9 0 210755 13900271616 4744 18446744073709551615 4194304 4196468 140722235661808 140407268967016 140407249898192 0 4 1 16784584 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 31981568 140722235662772 140722235662948 140722235662948 140722235666383 0
[pid=3968/tid=3970] ppid=3966 vsize=13574484 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3968/task/3970/stat : 3970 (java) S 3966 3966 2357 34816 2543 1077944384 2 0 0 0 0 0 0 0 20 0 9 0 210756 13900271616 4744 18446744073709551615 4194304 4196468 140722235661808 140407184145552 140407264741077 0 4 1 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31981568 140722235662772 140722235662948 140722235662948 140722235666383 0
[pid=3968/tid=3971] ppid=3966 vsize=13574484 memory=140280667592320 CPUtime=0 cores=1,3,5,7
/proc/3968/task/3971/stat : 3971 (java) S 3966 3966 2357 34816 2543 1077944384 3 0 0 0 0 0 0 0 20 0 9 0 210756 13900271616 4744 18446744073709551615 4194304 4196468 140722235661808 140407183092752 140407264741077 0 4 1 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31981568 140722235662772 140722235662948 140722235662948 140722235666383 0
[pid=3968/tid=3972] ppid=3966 vsize=13574484 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3968/task/3972/stat : 3972 (java) S 3966 3966 2357 34816 2543 1077944384 1 0 0 0 0 0 0 0 20 0 9 0 210756 13900271616 4744 18446744073709551615 4194304 4196468 140722235661808 140407182039952 140407264741077 0 4 1 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31981568 140722235662772 140722235662948 140722235662948 140722235666383 0
[pid=3968/tid=3973] ppid=3966 vsize=13574484 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/3968/task/3973/stat : 3973 (java) S 3966 3966 2357 34816 2543 1077944384 1 0 0 0 0 0 0 0 20 0 9 0 210756 13900271616 4744 18446744073709551615 4194304 4196468 140722235661808 140407180987152 140407264741077 0 4 1 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31981568 140722235662772 140722235662948 140722235662948 140722235666383 0
[pid=3968/tid=3974] ppid=3966 vsize=13574484 memory=140280667592320 CPUtime=0 cores=1,3,5,7
/proc/3968/task/3974/stat : 3974 (java) S 3966 3966 2357 34816 2543 1077944384 2 0 0 0 0 0 0 0 20 0 9 0 210757 13900271616 4744 18446744073709551615 4194304 4196468 140722235661808 140406449985904 140407264742018 0 0 1 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31981568 140722235662772 140722235662948 140722235662948 140722235666383 0
[pid=3968/tid=3975] ppid=3966 vsize=13574484 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/3968/task/3975/stat : 3975 (java) S 3966 3966 2357 34816 2543 1077944384 33 0 0 0 0 0 0 0 20 0 9 0 210757 13900271616 4744 18446744073709551615 4194304 4196468 140722235661808 140406448931872 140407264741077 0 4 1 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31981568 140722235662772 140722235662948 140722235662948 140722235666383 0
[pid=3968/tid=3976] ppid=3966 vsize=13574484 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3968/task/3976/stat : 3976 (java) S 3966 3966 2357 34816 2543 1077944384 21 0 0 0 0 0 0 0 20 0 9 0 210758 13900271616 4744 18446744073709551615 4194304 4196468 140722235661808 140406447879088 140407264741077 0 4 1 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31981568 140722235662772 140722235662948 140722235662948 140722235666383 0
Current children cumulated CPU time: 0.03 s
Current children cumulated vsize: 13583996 KiB
Current children cumulated memory: 20356 KiB

[startup+0.213755 s]*
/proc/loadavg: 1.88 1.24 0.58 4/214 3982
/proc/meminfo: memFree=31634932/32770624 swapFree=67108860/67108860
[pid=3966] ppid=3963 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/3966/stat : 3966 (xcsp3-exec) S 3963 3966 2357 34816 2543 4202496 515 0 0 0 0 0 0 0 20 0 1 0 210748 9740288 345 18446744073709551615 4194304 5098028 140724374175744 140724374173848 139688425583228 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 6 0 0 7196144 7232144 11599872 140724374184315 140724374184520 140724374184520 140724374188011 0
/proc/3966/statm: 2378 345 289 221 0 87 0
[pid=3968] ppid=3966 vsize=13974352 memory=30272 CPUtime=0.15 cores=1,3,5,7
/proc/3968/stat : 3968 (java) S 3966 3966 2357 34816 2543 1077944320 5975 0 0 0 14 1 0 0 20 0 15 0 210755 14309736448 7568 18446744073709551615 4194304 4196468 140722235661808 140722235644352 140407264730871 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 31981568 140722235662772 140722235662948 140722235662948 140722235666383 0
/proc/3968/statm: 3493588 7568 2947 1 0 3482964 0
[pid=3968/tid=3969] ppid=3966 vsize=13974352 memory=7031125463459224206 CPUtime=0.11 cores=1,3,5,7
/proc/3968/task/3969/stat : 3969 (java) R 3966 3966 2357 34816 2543 4202560 3470 0 0 0 10 1 0 0 20 0 15 0 210755 14309736448 7568 18446744073709551615 4194304 4196468 140722235661808 140407268959768 140406859858342 0 4 1 16800974 0 0 0 -1 3 0 0 3 0 0 6293624 6294260 31981568 140722235662772 140722235662948 140722235662948 140722235666383 0
[pid=3968/tid=3970] ppid=3966 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3968/task/3970/stat : 3970 (java) S 3966 3966 2357 34816 2543 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 210756 14309736448 7568 18446744073709551615 4194304 4196468 140722235661808 140407184145552 140407264741077 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31981568 140722235662772 140722235662948 140722235662948 140722235666383 0
[pid=3968/tid=3971] ppid=3966 vsize=13974352 memory=140280667592320 CPUtime=0 cores=1,3,5,7
/proc/3968/task/3971/stat : 3971 (java) S 3966 3966 2357 34816 2543 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 210756 14309736448 7568 18446744073709551615 4194304 4196468 140722235661808 140407183092752 140407264741077 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31981568 140722235662772 140722235662948 140722235662948 140722235666383 0
[pid=3968/tid=3972] ppid=3966 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3968/task/3972/stat : 3972 (java) S 3966 3966 2357 34816 2543 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 210756 14309736448 7568 18446744073709551615 4194304 4196468 140722235661808 140407182039952 140407264741077 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31981568 140722235662772 140722235662948 140722235662948 140722235666383 0
[pid=3968/tid=3973] ppid=3966 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/3968/task/3973/stat : 3973 (java) S 3966 3966 2357 34816 2543 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 210756 14309736448 7634 18446744073709551615 4194304 4196468 140722235661808 140407180987152 140407264741077 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31981568 140722235662772 140722235662948 140722235662948 140722235666383 0
[pid=3968/tid=3974] ppid=3966 vsize=13974352 memory=140280667592320 CPUtime=0 cores=1,3,5,7
/proc/3968/task/3974/stat : 3974 (java) S 3966 3966 2357 34816 2543 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 210757 14309736448 7634 18446744073709551615 4194304 4196468 140722235661808 140406449985904 140407264742018 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31981568 140722235662772 140722235662948 140722235662948 140722235666383 0
[pid=3968/tid=3975] ppid=3966 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/3968/task/3975/stat : 3975 (java) S 3966 3966 2357 34816 2543 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 210757 14309736448 7634 18446744073709551615 4194304 4196468 140722235661808 140406448931872 140407264741077 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31981568 140722235662772 140722235662948 140722235662948 140722235666383 0
[pid=3968/tid=3976] ppid=3966 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3968/task/3976/stat : 3976 (java) S 3966 3966 2357 34816 2543 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 210758 14309736448 7634 18446744073709551615 4194304 4196468 140722235661808 140406447879024 140407264741077 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31981568 140722235662772 140722235662948 140722235662948 140722235666383 0
[pid=3968/tid=3977] ppid=3966 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3968/task/3977/stat : 3977 (java) S 3966 3966 2357 34816 2543 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 210760 14309736448 7634 18446744073709551615 4194304 4196468 140722235661808 140406446827344 140407264749467 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31981568 140722235662772 140722235662948 140722235662948 140722235666383 0
[pid=3968/tid=3978] ppid=3966 vsize=13974352 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/3968/task/3978/stat : 3978 (java) R 3966 3966 2357 34816 2543 4202560 609 0 0 0 1 0 0 0 20 0 15 0 210760 14309736448 7634 18446744073709551615 4194304 4196468 140722235661808 140406445756632 140407256967998 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 31981568 140722235662772 140722235662948 140722235662948 140722235666383 0
[pid=3968/tid=3979] ppid=3966 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/3968/task/3979/stat : 3979 (java) S 3966 3966 2357 34816 2543 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 210760 14309736448 7634 18446744073709551615 4194304 4196468 140722235661808 140406444722928 140407264742018 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31981568 140722235662772 140722235662948 140722235662948 140722235666383 0
[pid=3968/tid=3980] ppid=3966 vsize=13974352 memory=140280667592320 CPUtime=0.02 cores=1,3,5,7
/proc/3968/task/3980/stat : 3980 (java) R 3966 3966 2357 34816 2543 4202560 635 0 0 0 2 0 0 0 20 0 15 0 210760 14309736448 7634 18446744073709551615 4194304 4196468 140722235661808 140406443666008 140407243672450 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 31981568 140722235662772 140722235662948 140722235662948 140722235666383 0
[pid=3968/tid=3981] ppid=3966 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/3968/task/3981/stat : 3981 (java) S 3966 3966 2357 34816 2543 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 210760 14309736448 7634 18446744073709551615 4194304 4196468 140722235661808 140406442617568 140407264741077 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31981568 140722235662772 140722235662948 140722235662948 140722235666383 0
[pid=3968/tid=3982] ppid=3966 vsize=13974352 memory=140280667592320 CPUtime=0 cores=1,3,5,7
/proc/3968/task/3982/stat : 3982 (java) S 3966 3966 2357 34816 2543 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 210764 14309736448 7634 18446744073709551615 4194304 4196468 140722235661808 140406441564848 140407264742018 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31981568 140722235662772 140722235662948 140722235662948 140722235666383 0
Current children cumulated CPU time: 0.15 s
Current children cumulated vsize: 13983864 KiB
Current children cumulated memory: 31652 KiB

[startup+0.310595 s]*
/proc/loadavg: 1.88 1.24 0.58 5/214 3982
/proc/meminfo: memFree=31622572/32770624 swapFree=67108860/67108860
[pid=3966] ppid=3963 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/3966/stat : 3966 (xcsp3-exec) S 3963 3966 2357 34816 2543 4202496 515 0 0 0 0 0 0 0 20 0 1 0 210748 9740288 345 18446744073709551615 4194304 5098028 140724374175744 140724374173848 139688425583228 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 6 0 0 7196144 7232144 11599872 140724374184315 140724374184520 140724374184520 140724374188011 0
/proc/3966/statm: 2378 345 289 221 0 87 0
[pid=3968] ppid=3966 vsize=13978608 memory=39792 CPUtime=0.34 cores=1,3,5,7
/proc/3968/stat : 3968 (java) S 3966 3966 2357 34816 2543 1077944320 9100 0 0 0 31 3 0 0 20 0 15 0 210755 14314094592 9948 18446744073709551615 4194304 4196468 140722235661808 140722235644352 140407264730871 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 31981568 140722235662772 140722235662948 140722235662948 140722235666383 0
/proc/3968/statm: 3494652 9948 2998 1 0 3482964 0
[pid=3968/tid=3969] ppid=3966 vsize=13978608 memory=7680170660397595203 CPUtime=0.2 cores=1,3,5,7
/proc/3968/task/3969/stat : 3969 (java) R 3966 3966 2357 34816 2543 4202560 6306 0 0 0 18 2 0 0 20 0 15 0 210755 14314094592 9948 18446744073709551615 4194304 4196468 140722235661808 140407268951864 140407248811358 0 4 1 16800974 0 0 0 -1 3 0 0 3 0 0 6293624 6294260 31981568 140722235662772 140722235662948 140722235662948 140722235666383 0
[pid=3968/tid=3970] ppid=3966 vsize=13978608 memory=8252348651683421901 CPUtime=0 cores=1,3,5,7
/proc/3968/task/3970/stat : 3970 (java) S 3966 3966 2357 34816 2543 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 210756 14314094592 9948 18446744073709551615 4194304 4196468 140722235661808 140407184145552 140407264741077 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31981568 140722235662772 140722235662948 140722235662948 140722235666383 0
[pid=3968/tid=3971] ppid=3966 vsize=13978608 memory=140280667599313 CPUtime=0 cores=1,3,5,7
/proc/3968/task/3971/stat : 3971 (java) S 3966 3966 2357 34816 2543 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 210756 14314094592 9948 18446744073709551615 4194304 4196468 140722235661808 140407183092752 140407264741077 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31981568 140722235662772 140722235662948 140722235662948 140722235666383 0
[pid=3968/tid=3972] ppid=3966 vsize=13978608 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3968/task/3972/stat : 3972 (java) S 3966 3966 2357 34816 2543 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 210756 14314094592 9948 18446744073709551615 4194304 4196468 140722235661808 140407182039952 140407264741077 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31981568 140722235662772 140722235662948 140722235662948 140722235666383 0
[pid=3968/tid=3973] ppid=3966 vsize=13978608 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3968/task/3973/stat : 3973 (java) S 3966 3966 2357 34816 2543 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 210756 14314094592 9948 18446744073709551615 4194304 4196468 140722235661808 140407180987152 140407264741077 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31981568 140722235662772 140722235662948 140722235662948 140722235666383 0
[pid=3968/tid=3974] ppid=3966 vsize=13978608 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3968/task/3974/stat : 3974 (java) S 3966 3966 2357 34816 2543 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 210757 14314094592 9948 18446744073709551615 4194304 4196468 140722235661808 140406449985904 140407264742018 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31981568 140722235662772 140722235662948 140722235662948 140722235666383 0
[pid=3968/tid=3975] ppid=3966 vsize=13978608 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3968/task/3975/stat : 3975 (java) S 3966 3966 2357 34816 2543 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 210757 14314094592 9948 18446744073709551615 4194304 4196468 140722235661808 140406448931872 140407264741077 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31981568 140722235662772 140722235662948 140722235662948 140722235666383 0
[pid=3968/tid=3976] ppid=3966 vsize=13978608 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3968/task/3976/stat : 3976 (java) S 3966 3966 2357 34816 2543 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 210758 14314094592 9948 18446744073709551615 4194304 4196468 140722235661808 140406447879024 140407264741077 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31981568 140722235662772 140722235662948 140722235662948 140722235666383 0
[pid=3968/tid=3977] ppid=3966 vsize=13978608 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3968/task/3977/stat : 3977 (java) S 3966 3966 2357 34816 2543 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 210760 14314094592 9948 18446744073709551615 4194304 4196468 140722235661808 140406446827344 140407264749467 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31981568 140722235662772 140722235662948 140722235662948 140722235666383 0
[pid=3968/tid=3978] ppid=3966 vsize=13978608 memory=0 CPUtime=0.03 cores=1,3,5,7
/proc/3968/task/3978/stat : 3978 (java) S 3966 3966 2357 34816 2543 1077944384 721 0 0 0 3 0 0 0 20 0 15 0 210760 14314094592 9948 18446744073709551615 4194304 4196468 140722235661808 140406445775728 140407264742018 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31981568 140722235662772 140722235662948 140722235662948 140722235666383 0
[pid=3968/tid=3979] ppid=3966 vsize=13978608 memory=-1 CPUtime=0.01 cores=1,3,5,7
/proc/3968/task/3979/stat : 3979 (java) S 3966 3966 2357 34816 2543 1077944384 54 0 0 0 1 0 0 0 20 0 15 0 210760 14314094592 9948 18446744073709551615 4194304 4196468 140722235661808 140406444722928 140407264742018 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31981568 140722235662772 140722235662948 140722235662948 140722235666383 0
[pid=3968/tid=3980] ppid=3966 vsize=13978608 memory=140280667592320 CPUtime=0.08 cores=1,3,5,7
/proc/3968/task/3980/stat : 3980 (java) R 3966 3966 2357 34816 2543 4202560 712 0 0 0 8 0 0 0 20 0 15 0 210760 14314094592 9948 18446744073709551615 4194304 4196468 140722235661808 140406443670128 140407264742806 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 31981568 140722235662772 140722235662948 140722235662948 140722235666383 0
[pid=3968/tid=3981] ppid=3966 vsize=13978608 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/3968/task/3981/stat : 3981 (java) S 3966 3966 2357 34816 2543 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 210760 14314094592 9948 18446744073709551615 4194304 4196468 140722235661808 140406442617568 140407264741077 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31981568 140722235662772 140722235662948 140722235662948 140722235666383 0
[pid=3968/tid=3982] ppid=3966 vsize=13978608 memory=140280667592320 CPUtime=0 cores=1,3,5,7
/proc/3968/task/3982/stat : 3982 (java) S 3966 3966 2357 34816 2543 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 210764 14314094592 9948 18446744073709551615 4194304 4196468 140722235661808 140406441564848 140407264742018 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31981568 140722235662772 140722235662948 140722235662948 140722235666383 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 13988120 KiB
Current children cumulated memory: 41172 KiB

[startup+0.706619 s]
/proc/loadavg: 1.88 1.24 0.58 3/214 3982
/proc/meminfo: memFree=31562332/32770624 swapFree=67108860/67108860
[pid=3966] ppid=3963 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/3966/stat : 3966 (xcsp3-exec) S 3963 3966 2357 34816 2543 4202496 515 0 0 0 0 0 0 0 20 0 1 0 210748 9740288 345 18446744073709551615 4194304 5098028 140724374175744 140724374173848 139688425583228 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 6 0 0 7196144 7232144 11599872 140724374184315 140724374184520 140724374184520 140724374188011 0
/proc/3966/statm: 2378 345 289 221 0 87 0
[pid=3968] ppid=3966 vsize=13978684 memory=149540 CPUtime=1.25 cores=1,3,5,7
/proc/3968/stat : 3968 (java) S 3966 3966 2357 34816 2543 1077944320 12707 0 0 0 118 7 0 0 20 0 15 0 210755 14314172416 37385 18446744073709551615 4194304 4196468 140722235661808 140722235644352 140407264730871 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 31981568 140722235662772 140722235662948 140722235662948 140722235666383 0
/proc/3968/statm: 3494671 37385 3160 1 0 3482964 0
[pid=3968/tid=3969] ppid=3966 vsize=13978684 memory=0 CPUtime=0.58 cores=1,3,5,7
/proc/3968/task/3969/stat : 3969 (java) R 3966 3966 2357 34816 2543 4202560 7885 0 0 0 53 5 0 0 20 0 15 0 210755 14314172416 37385 18446744073709551615 4194304 4196468 140722235661808 140407268967688 140406862982611 0 4 1 16800974 0 0 0 -1 3 0 0 3 0 0 6293624 6294260 31981568 140722235662772 140722235662948 140722235662948 140722235666383 0
[pid=3968/tid=3970] ppid=3966 vsize=13978684 memory=2 CPUtime=0 cores=1,3,5,7
/proc/3968/task/3970/stat : 3970 (java) S 3966 3966 2357 34816 2543 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 210756 14314172416 37385 18446744073709551615 4194304 4196468 140722235661808 140407184145552 140407264741077 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31981568 140722235662772 140722235662948 140722235662948 140722235666383 0
[pid=3968/tid=3971] ppid=3966 vsize=13978684 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3968/task/3971/stat : 3971 (java) S 3966 3966 2357 34816 2543 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 210756 14314172416 37385 18446744073709551615 4194304 4196468 140722235661808 140407183092752 140407264741077 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31981568 140722235662772 140722235662948 140722235662948 140722235666383 0
[pid=3968/tid=3972] ppid=3966 vsize=13978684 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3968/task/3972/stat : 3972 (java) S 3966 3966 2357 34816 2543 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 210756 14314172416 37385 18446744073709551615 4194304 4196468 140722235661808 140407182039952 140407264741077 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31981568 140722235662772 140722235662948 140722235662948 140722235666383 0
[pid=3968/tid=3973] ppid=3966 vsize=13978684 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3968/task/3973/stat : 3973 (java) S 3966 3966 2357 34816 2543 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 210756 14314172416 37385 18446744073709551615 4194304 4196468 140722235661808 140407180987152 140407264741077 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31981568 140722235662772 140722235662948 140722235662948 140722235666383 0
[pid=3968/tid=3974] ppid=3966 vsize=13978684 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3968/task/3974/stat : 3974 (java) S 3966 3966 2357 34816 2543 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 210757 14314172416 37385 18446744073709551615 4194304 4196468 140722235661808 140406449985904 140407264742018 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31981568 140722235662772 140722235662948 140722235662948 140722235666383 0
[pid=3968/tid=3975] ppid=3966 vsize=13978684 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3968/task/3975/stat : 3975 (java) S 3966 3966 2357 34816 2543 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 210757 14314172416 37385 18446744073709551615 4194304 4196468 140722235661808 140406448931872 140407264741077 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31981568 140722235662772 140722235662948 140722235662948 140722235666383 0
[pid=3968/tid=3976] ppid=3966 vsize=13978684 memory=4104 CPUtime=0 cores=1,3,5,7
/proc/3968/task/3976/stat : 3976 (java) S 3966 3966 2357 34816 2543 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 210758 14314172416 37385 18446744073709551615 4194304 4196468 140722235661808 140406447879024 140407264741077 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31981568 140722235662772 140722235662948 140722235662948 140722235666383 0
[pid=3968/tid=3977] ppid=3966 vsize=13978684 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3968/task/3977/stat : 3977 (java) S 3966 3966 2357 34816 2543 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 210760 14314172416 37385 18446744073709551615 4194304 4196468 140722235661808 140406446827344 140407264749467 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31981568 140722235662772 140722235662948 140722235662948 140722235666383 0
[pid=3968/tid=3978] ppid=3966 vsize=13978684 memory=140280544109168 CPUtime=0.21 cores=1,3,5,7
/proc/3968/task/3978/stat : 3978 (java) R 3966 3966 2357 34816 2543 4202560 1524 0 0 0 21 0 0 0 20 0 15 0 210760 14314172416 37385 18446744073709551615 4194304 4196468 140722235661808 140406445756744 140407249019872 0 4 1 16800974 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 31981568 140722235662772 140722235662948 140722235662948 140722235666383 0
[pid=3968/tid=3979] ppid=3966 vsize=13978684 memory=0 CPUtime=0.18 cores=1,3,5,7
/proc/3968/task/3979/stat : 3979 (java) R 3966 3966 2357 34816 2543 4202560 652 0 0 0 18 0 0 0 20 0 15 0 210760 14314172416 37385 18446744073709551615 4194304 4196468 140722235661808 140406444709024 140407248217136 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 31981568 140722235662772 140722235662948 140722235662948 140722235666383 0
[pid=3968/tid=3980] ppid=3966 vsize=13978684 memory=0 CPUtime=0.24 cores=1,3,5,7
/proc/3968/task/3980/stat : 3980 (java) S 3966 3966 2357 34816 2543 1077944384 1337 0 0 0 24 0 0 0 20 0 15 0 210760 14314172416 37385 18446744073709551615 4194304 4196468 140722235661808 140406443670128 140407264742018 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31981568 140722235662772 140722235662948 140722235662948 140722235666383 0
[pid=3968/tid=3981] ppid=3966 vsize=13978684 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3968/task/3981/stat : 3981 (java) S 3966 3966 2357 34816 2543 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 210760 14314172416 37385 18446744073709551615 4194304 4196468 140722235661808 140406442617568 140407264741077 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31981568 140722235662772 140722235662948 140722235662948 140722235666383 0
[pid=3968/tid=3982] ppid=3966 vsize=13978684 memory=7809523229951467568 CPUtime=0 cores=1,3,5,7
/proc/3968/task/3982/stat : 3982 (java) S 3966 3966 2357 34816 2543 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 210764 14314172416 37385 18446744073709551615 4194304 4196468 140722235661808 140406441564848 140407264742018 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31981568 140722235662772 140722235662948 140722235662948 140722235666383 0
Current children cumulated CPU time: 1.25 s
Current children cumulated vsize: 13988196 KiB
Current children cumulated memory: 150920 KiB

[startup+1.50078 s]
/proc/loadavg: 1.88 1.24 0.58 3/214 3982
/proc/meminfo: memFree=31417556/32770624 swapFree=67108860/67108860
[pid=3966] ppid=3963 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/3966/stat : 3966 (xcsp3-exec) S 3963 3966 2357 34816 2543 4202496 515 0 0 0 0 0 0 0 20 0 1 0 210748 9740288 345 18446744073709551615 4194304 5098028 140724374175744 140724374173848 139688425583228 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 6 0 0 7196144 7232144 11599872 140724374184315 140724374184520 140724374184520 140724374188011 0
/proc/3966/statm: 2378 345 289 221 0 87 0
[pid=3968] ppid=3966 vsize=13978684 memory=437372 CPUtime=2.71 cores=1,3,5,7
/proc/3968/stat : 3968 (java) S 3966 3966 2357 34816 2543 1077944320 14498 0 0 0 241 30 0 0 20 0 15 0 210755 14314172416 109343 18446744073709551615 4194304 4196468 140722235661808 140722235644352 140407264730871 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 31981568 140722235662772 140722235662948 140722235662948 140722235666383 0
/proc/3968/statm: 3494671 109343 3190 1 0 3482964 0
[pid=3968/tid=3969] ppid=3966 vsize=13978684 memory=288284497924064109 CPUtime=1.2 cores=1,3,5,7
/proc/3968/task/3969/stat : 3969 (java) R 3966 3966 2357 34816 2543 4202560 7968 0 0 0 113 7 0 0 20 0 15 0 210755 14314172416 109343 18446744073709551615 4194304 4196468 140722235661808 140407268968976 140406863230696 0 4 1 16800974 0 0 0 -1 1 0 0 3 0 0 6293624 6294260 31981568 140722235662772 140722235662948 140722235662948 140722235666383 0
[pid=3968/tid=3970] ppid=3966 vsize=13978684 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/3968/task/3970/stat : 3970 (java) S 3966 3966 2357 34816 2543 1077944384 124 0 0 0 4 5 0 0 20 0 15 0 210756 14314172416 109343 18446744073709551615 4194304 4196468 140722235661808 140407184145552 140407264741077 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31981568 140722235662772 140722235662948 140722235662948 140722235666383 0
[pid=3968/tid=3971] ppid=3966 vsize=13978684 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/3968/task/3971/stat : 3971 (java) S 3966 3966 2357 34816 2543 1077944384 169 0 0 0 4 4 0 0 20 0 15 0 210756 14314172416 109343 18446744073709551615 4194304 4196468 140722235661808 140407183092752 140407264741077 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31981568 140722235662772 140722235662948 140722235662948 140722235666383 0
[pid=3968/tid=3972] ppid=3966 vsize=13978684 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/3968/task/3972/stat : 3972 (java) S 3966 3966 2357 34816 2543 1077944384 185 0 0 0 4 5 0 0 20 0 15 0 210756 14314172416 109343 18446744073709551615 4194304 4196468 140722235661808 140407182039952 140407264741077 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31981568 140722235662772 140722235662948 140722235662948 140722235666383 0
[pid=3968/tid=3973] ppid=3966 vsize=13978684 memory=8976414709404591081 CPUtime=0.09 cores=1,3,5,7

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

/proc/3966/stat : 3966 (xcsp3-exec) S 3963 3966 2357 34816 2543 4202496 515 0 0 0 0 0 0 0 20 0 1 0 210748 9740288 345 18446744073709551615 4194304 5098028 140724374175744 140724374173848 139688425583228 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 6 0 0 7196144 7232144 11599872 140724374184315 140724374184520 140724374184520 140724374188011 0
/proc/3966/statm: 2378 345 289 221 0 87 0
[pid=3968] ppid=3966 vsize=13980732 memory=1498616 CPUtime=9.48 cores=1,3,5,7
/proc/3968/stat : 3968 (java) S 3966 3966 2357 34816 2543 1077944320 24971 0 0 0 858 90 0 0 20 0 15 0 210755 14316269568 374654 18446744073709551615 4194304 4196468 140722235661808 140722235644352 140407264730871 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 31981568 140722235662772 140722235662948 140722235662948 140722235666383 0
/proc/3968/statm: 3495183 374654 3208 1 0 3483476 0
[pid=3968/tid=3969] ppid=3966 vsize=13980732 memory=280561088813088 CPUtime=5.75 cores=1,3,5,7
/proc/3968/task/3969/stat : 3969 (java) R 3966 3966 2357 34816 2543 4202560 11473 0 0 0 557 18 0 0 20 0 15 0 210755 14316269568 374654 18446744073709551615 4194304 4196468 140722235661808 140407268970112 140406864809477 0 4 1 16800974 0 0 0 -1 1 0 0 3 0 0 6293624 6294260 31981568 140722235662772 140722235662948 140722235662948 140722235666383 0
[pid=3968/tid=3970] ppid=3966 vsize=13980732 memory=662364497384251440 CPUtime=0.43 cores=1,3,5,7
/proc/3968/task/3970/stat : 3970 (java) S 3966 3966 2357 34816 2543 1077944384 634 0 0 0 26 17 0 0 20 0 15 0 210756 14316269568 374654 18446744073709551615 4194304 4196468 140722235661808 140407184145552 140407264741077 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31981568 140722235662772 140722235662948 140722235662948 140722235666383 0
[pid=3968/tid=3971] ppid=3966 vsize=13980732 memory=0 CPUtime=0.42 cores=1,3,5,7
/proc/3968/task/3971/stat : 3971 (java) S 3966 3966 2357 34816 2543 1077944384 642 0 0 0 26 16 0 0 20 0 15 0 210756 14316269568 374654 18446744073709551615 4194304 4196468 140722235661808 140407183092752 140407264741077 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31981568 140722235662772 140722235662948 140722235662948 140722235666383 0
[pid=3968/tid=3972] ppid=3966 vsize=13980732 memory=0 CPUtime=0.43 cores=1,3,5,7
/proc/3968/task/3972/stat : 3972 (java) S 3966 3966 2357 34816 2543 1077944384 1636 0 0 0 26 17 0 0 20 0 15 0 210756 14316269568 374654 18446744073709551615 4194304 4196468 140722235661808 140407182039952 140407264741077 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31981568 140722235662772 140722235662948 140722235662948 140722235666383 0
[pid=3968/tid=3973] ppid=3966 vsize=13980732 memory=0 CPUtime=0.43 cores=1,3,5,7
/proc/3968/task/3973/stat : 3973 (java) S 3966 3966 2357 34816 2543 1077944384 513 0 0 0 26 17 0 0 20 0 15 0 210756 14316269568 374654 18446744073709551615 4194304 4196468 140722235661808 140407180987152 140407264741077 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31981568 140722235662772 140722235662948 140722235662948 140722235666383 0
[pid=3968/tid=3974] ppid=3966 vsize=13980732 memory=55 CPUtime=0.01 cores=1,3,5,7
/proc/3968/task/3974/stat : 3974 (java) S 3966 3966 2357 34816 2543 1077944384 1496 0 0 0 1 0 0 0 20 0 15 0 210757 14316269568 374654 18446744073709551615 4194304 4196468 140722235661808 140406449985904 140407264742018 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31981568 140722235662772 140722235662948 140722235662948 140722235666383 0
[pid=3968/tid=3975] ppid=3966 vsize=13980732 memory=288230621787204885 CPUtime=0 cores=1,3,5,7
/proc/3968/task/3975/stat : 3975 (java) S 3966 3966 2357 34816 2543 1077944384 51 0 0 0 0 0 0 0 20 0 15 0 210757 14316269568 374654 18446744073709551615 4194304 4196468 140722235661808 140406448931936 140407264741077 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31981568 140722235662772 140722235662948 140722235662948 140722235666383 0
[pid=3968/tid=3976] ppid=3966 vsize=13980732 memory=288289986892284058 CPUtime=0 cores=1,3,5,7
/proc/3968/task/3976/stat : 3976 (java) S 3966 3966 2357 34816 2543 1077944384 64 0 0 0 0 0 0 0 20 0 15 0 210758 14316269568 374654 18446744073709551615 4194304 4196468 140722235661808 140406447879040 140407264741077 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31981568 140722235662772 140722235662948 140722235662948 140722235666383 0
[pid=3968/tid=3977] ppid=3966 vsize=13980732 memory=280561088285504 CPUtime=0 cores=1,3,5,7
/proc/3968/task/3977/stat : 3977 (java) S 3966 3966 2357 34816 2543 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 210760 14316269568 374654 18446744073709551615 4194304 4196468 140722235661808 140406446827344 140407264749467 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31981568 140722235662772 140722235662948 140722235662948 140722235666383 0
[pid=3968/tid=3978] ppid=3966 vsize=13980732 memory=280561088285696 CPUtime=0.73 cores=1,3,5,7
/proc/3968/task/3978/stat : 3978 (java) S 3966 3966 2357 34816 2543 1077944384 2597 0 0 0 73 0 0 0 20 0 15 0 210760 14316269568 374654 18446744073709551615 4194304 4196468 140722235661808 140406445775728 140407264742018 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31981568 140722235662772 140722235662948 140722235662948 140722235666383 0
[pid=3968/tid=3979] ppid=3966 vsize=13980732 memory=280561088285888 CPUtime=0.71 cores=1,3,5,7
/proc/3968/task/3979/stat : 3979 (java) S 3966 3966 2357 34816 2543 1077944384 2042 0 0 0 71 0 0 0 20 0 15 0 210760 14316269568 374654 18446744073709551615 4194304 4196468 140722235661808 140406444722928 140407264742018 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31981568 140722235662772 140722235662948 140722235662948 140722235666383 0
[pid=3968/tid=3980] ppid=3966 vsize=13980732 memory=280561088286080 CPUtime=0.48 cores=1,3,5,7
/proc/3968/task/3980/stat : 3980 (java) S 3966 3966 2357 34816 2543 1077944384 2294 0 0 0 47 1 0 0 20 0 15 0 210760 14316269568 374654 18446744073709551615 4194304 4196468 140722235661808 140406443670128 140407264742018 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31981568 140722235662772 140722235662948 140722235662948 140722235666383 0
[pid=3968/tid=3981] ppid=3966 vsize=13980732 memory=280561088286272 CPUtime=0 cores=1,3,5,7
/proc/3968/task/3981/stat : 3981 (java) S 3966 3966 2357 34816 2543 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 210760 14316269568 374654 18446744073709551615 4194304 4196468 140722235661808 140406442617568 140407264741077 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31981568 140722235662772 140722235662948 140722235662948 140722235666383 0
[pid=3968/tid=3982] ppid=3966 vsize=13980732 memory=280561088286464 CPUtime=0 cores=1,3,5,7
/proc/3968/task/3982/stat : 3982 (java) S 3966 3966 2357 34816 2543 1077944384 287 0 0 0 0 0 0 0 20 0 15 0 210764 14316269568 374654 18446744073709551615 4194304 4196468 140722235661808 140406441564848 140407264742018 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31981568 140722235662772 140722235662948 140722235662948 140722235666383 0
Current children cumulated CPU time: 9.48 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 1499996 KiB

[startup+6.80076 s]
/proc/loadavg: 1.89 1.25 0.59 3/214 3982
/proc/meminfo: memFree=30164040/32770624 swapFree=67108860/67108860
[pid=3966] ppid=3963 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/3966/stat : 3966 (xcsp3-exec) S 3963 3966 2357 34816 2543 4202496 515 0 0 0 0 0 0 0 20 0 1 0 210748 9740288 345 18446744073709551615 4194304 5098028 140724374175744 140724374173848 139688425583228 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 6 0 0 7196144 7232144 11599872 140724374184315 140724374184520 140724374184520 140724374188011 0
/proc/3966/statm: 2378 345 289 221 0 87 0
[pid=3968] ppid=3966 vsize=13980732 memory=1498836 CPUtime=9.93 cores=1,3,5,7
/proc/3968/stat : 3968 (java) S 3966 3966 2357 34816 2543 1077944320 25262 0 0 0 903 90 0 0 20 0 15 0 210755 14316269568 374709 18446744073709551615 4194304 4196468 140722235661808 140722235644352 140407264730871 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 31981568 140722235662772 140722235662948 140722235662948 140722235666383 0
/proc/3968/statm: 3495183 374709 3208 1 0 3483476 0
[pid=3968/tid=3969] ppid=3966 vsize=13980732 memory=33 CPUtime=6.15 cores=1,3,5,7
/proc/3968/task/3969/stat : 3969 (java) R 3966 3966 2357 34816 2543 4202560 11501 0 0 0 597 18 0 0 20 0 15 0 210755 14316269568 374709 18446744073709551615 4194304 4196468 140722235661808 140407268967760 140406864809270 0 4 1 16800974 0 0 0 -1 1 0 0 3 0 0 6293624 6294260 31981568 140722235662772 140722235662948 140722235662948 140722235666383 0
[pid=3968/tid=3970] ppid=3966 vsize=13980732 memory=-7595754389018307680 CPUtime=0.43 cores=1,3,5,7
/proc/3968/task/3970/stat : 3970 (java) S 3966 3966 2357 34816 2543 1077944384 634 0 0 0 26 17 0 0 20 0 15 0 210756 14316269568 374709 18446744073709551615 4194304 4196468 140722235661808 140407184145552 140407264741077 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31981568 140722235662772 140722235662948 140722235662948 140722235666383 0
[pid=3968/tid=3971] ppid=3966 vsize=13980732 memory=7680170660397595203 CPUtime=0.42 cores=1,3,5,7
/proc/3968/task/3971/stat : 3971 (java) S 3966 3966 2357 34816 2543 1077944384 642 0 0 0 26 16 0 0 20 0 15 0 210756 14316269568 374709 18446744073709551615 4194304 4196468 140722235661808 140407183092752 140407264741077 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31981568 140722235662772 140722235662948 140722235662948 140722235666383 0
[pid=3968/tid=3972] ppid=3966 vsize=13980732 memory=1008 CPUtime=0.43 cores=1,3,5,7
/proc/3968/task/3972/stat : 3972 (java) S 3966 3966 2357 34816 2543 1077944384 1636 0 0 0 26 17 0 0 20 0 15 0 210756 14316269568 374709 18446744073709551615 4194304 4196468 140722235661808 140407182039952 140407264741077 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31981568 140722235662772 140722235662948 140722235662948 140722235666383 0
[pid=3968/tid=3973] ppid=3966 vsize=13980732 memory=1228 CPUtime=0.43 cores=1,3,5,7
/proc/3968/task/3973/stat : 3973 (java) S 3966 3966 2357 34816 2543 1077944384 513 0 0 0 26 17 0 0 20 0 15 0 210756 14316269568 374709 18446744073709551615 4194304 4196468 140722235661808 140407180987152 140407264741077 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31981568 140722235662772 140722235662948 140722235662948 140722235666383 0
[pid=3968/tid=3974] ppid=3966 vsize=13980732 memory=10932 CPUtime=0.01 cores=1,3,5,7
/proc/3968/task/3974/stat : 3974 (java) S 3966 3966 2357 34816 2543 1077944384 1496 0 0 0 1 0 0 0 20 0 15 0 210757 14316269568 374709 18446744073709551615 4194304 4196468 140722235661808 140406449985904 140407264742018 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31981568 140722235662772 140722235662948 140722235662948 140722235666383 0
[pid=3968/tid=3975] ppid=3966 vsize=13980732 memory=1692 CPUtime=0 cores=1,3,5,7
/proc/3968/task/3975/stat : 3975 (java) S 3966 3966 2357 34816 2543 1077944384 51 0 0 0 0 0 0 0 20 0 15 0 210757 14316269568 374709 18446744073709551615 4194304 4196468 140722235661808 140406448931936 140407264741077 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31981568 140722235662772 140722235662948 140722235662948 140722235666383 0
[pid=3968/tid=3976] ppid=3966 vsize=13980732 memory=1440 CPUtime=0 cores=1,3,5,7
/proc/3968/task/3976/stat : 3976 (java) S 3966 3966 2357 34816 2543 1077944384 64 0 0 0 0 0 0 0 20 0 15 0 210758 14316269568 374709 18446744073709551615 4194304 4196468 140722235661808 140406447879040 140407264741077 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31981568 140722235662772 140722235662948 140722235662948 140722235666383 0
[pid=3968/tid=3977] ppid=3966 vsize=13980732 memory=5412 CPUtime=0 cores=1,3,5,7
/proc/3968/task/3977/stat : 3977 (java) S 3966 3966 2357 34816 2543 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 210760 14316269568 374709 18446744073709551615 4194304 4196468 140722235661808 140406446827344 140407264749467 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31981568 140722235662772 140722235662948 140722235662948 140722235666383 0
[pid=3968/tid=3978] ppid=3966 vsize=13980732 memory=792 CPUtime=0.76 cores=1,3,5,7
/proc/3968/task/3978/stat : 3978 (java) S 3966 3966 2357 34816 2543 1077944384 2632 0 0 0 76 0 0 0 20 0 15 0 210760 14316269568 374709 18446744073709551615 4194304 4196468 140722235661808 140406445775728 140407264742018 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31981568 140722235662772 140722235662948 140722235662948 140722235666383 0
[pid=3968/tid=3979] ppid=3966 vsize=13980732 memory=4620 CPUtime=0.72 cores=1,3,5,7
/proc/3968/task/3979/stat : 3979 (java) S 3966 3966 2357 34816 2543 1077944384 2047 0 0 0 72 0 0 0 20 0 15 0 210760 14316269568 374709 18446744073709551615 4194304 4196468 140722235661808 140406444722928 140407264742018 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31981568 140722235662772 140722235662948 140722235662948 140722235666383 0
[pid=3968/tid=3980] ppid=3966 vsize=13980732 memory=2008 CPUtime=0.5 cores=1,3,5,7
/proc/3968/task/3980/stat : 3980 (java) S 3966 3966 2357 34816 2543 1077944384 2517 0 0 0 49 1 0 0 20 0 15 0 210760 14316269568 374709 18446744073709551615 4194304 4196468 140722235661808 140406443670128 140407264742018 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31981568 140722235662772 140722235662948 140722235662948 140722235666383 0
[pid=3968/tid=3981] ppid=3966 vsize=13980732 memory=8672 CPUtime=0 cores=1,3,5,7
/proc/3968/task/3981/stat : 3981 (java) S 3966 3966 2357 34816 2543 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 210760 14316269568 374709 18446744073709551615 4194304 4196468 140722235661808 140406442617568 140407264741077 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31981568 140722235662772 140722235662948 140722235662948 140722235666383 0
[pid=3968/tid=3982] ppid=3966 vsize=13980732 memory=1200 CPUtime=0 cores=1,3,5,7
/proc/3968/task/3982/stat : 3982 (java) S 3966 3966 2357 34816 2543 1077944384 287 0 0 0 0 0 0 0 20 0 15 0 210764 14316269568 374709 18446744073709551615 4194304 4196468 140722235661808 140406441564848 140407264742018 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31981568 140722235662772 140722235662948 140722235662948 140722235666383 0
Current children cumulated CPU time: 9.93 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 1500216 KiB

[startup+7.20077 s]
/proc/loadavg: 1.89 1.25 0.59 3/214 3982
/proc/meminfo: memFree=30163420/32770624 swapFree=67108860/67108860
[pid=3966] ppid=3963 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/3966/stat : 3966 (xcsp3-exec) S 3963 3966 2357 34816 2543 4202496 515 0 0 0 0 0 0 0 20 0 1 0 210748 9740288 345 18446744073709551615 4194304 5098028 140724374175744 140724374173848 139688425583228 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 6 0 0 7196144 7232144 11599872 140724374184315 140724374184520 140724374184520 140724374188011 0
/proc/3966/statm: 2378 345 289 221 0 87 0
[pid=3968] ppid=3966 vsize=13980732 memory=1498900 CPUtime=10.33 cores=1,3,5,7
/proc/3968/stat : 3968 (java) S 3966 3966 2357 34816 2543 1077944320 25270 0 0 0 943 90 0 0 20 0 15 0 210755 14316269568 374725 18446744073709551615 4194304 4196468 140722235661808 140722235644352 140407264730871 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 31981568 140722235662772 140722235662948 140722235662948 140722235666383 0
/proc/3968/statm: 3495183 374725 3208 1 0 3483476 0
[pid=3968/tid=3969] ppid=3966 vsize=13980732 memory=7680170660397595203 CPUtime=6.55 cores=1,3,5,7
/proc/3968/task/3969/stat : 3969 (java) R 3966 3966 2357 34816 2543 4202560 11501 0 0 0 637 18 0 0 20 0 15 0 210755 14316269568 374725 18446744073709551615 4194304 4196468 140722235661808 140407268967760 140406864809248 0 4 1 16800974 0 0 0 -1 1 0 0 3 0 0 6293624 6294260 31981568 140722235662772 140722235662948 140722235662948 140722235666383 0
[pid=3968/tid=3970] ppid=3966 vsize=13980732 memory=0 CPUtime=0.43 cores=1,3,5,7
/proc/3968/task/3970/stat : 3970 (java) S 3966 3966 2357 34816 2543 1077944384 634 0 0 0 26 17 0 0 20 0 15 0 210756 14316269568 374725 18446744073709551615 4194304 4196468 140722235661808 140407184145552 140407264741077 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31981568 140722235662772 140722235662948 140722235662948 140722235666383 0
[pid=3968/tid=3971] ppid=3966 vsize=13980732 memory=0 CPUtime=0.42 cores=1,3,5,7
/proc/3968/task/3971/stat : 3971 (java) S 3966 3966 2357 34816 2543 1077944384 642 0 0 0 26 16 0 0 20 0 15 0 210756 14316269568 374725 18446744073709551615 4194304 4196468 140722235661808 140407183092752 140407264741077 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31981568 140722235662772 140722235662948 140722235662948 140722235666383 0
[pid=3968/tid=3972] ppid=3966 vsize=13980732 memory=0 CPUtime=0.43 cores=1,3,5,7
/proc/3968/task/3972/stat : 3972 (java) S 3966 3966 2357 34816 2543 1077944384 1636 0 0 0 26 17 0 0 20 0 15 0 210756 14316269568 374725 18446744073709551615 4194304 4196468 140722235661808 140407182039952 140407264741077 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31981568 140722235662772 140722235662948 140722235662948 140722235666383 0
[pid=3968/tid=3973] ppid=3966 vsize=13980732 memory=0 CPUtime=0.43 cores=1,3,5,7
/proc/3968/task/3973/stat : 3973 (java) S 3966 3966 2357 34816 2543 1077944384 513 0 0 0 26 17 0 0 20 0 15 0 210756 14316269568 374725 18446744073709551615 4194304 4196468 140722235661808 140407180987152 140407264741077 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31981568 140722235662772 140722235662948 140722235662948 140722235666383 0
[pid=3968/tid=3974] ppid=3966 vsize=13980732 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/3968/task/3974/stat : 3974 (java) S 3966 3966 2357 34816 2543 1077944384 1496 0 0 0 1 0 0 0 20 0 15 0 210757 14316269568 374725 18446744073709551615 4194304 4196468 140722235661808 140406449985904 140407264742018 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31981568 140722235662772 140722235662948 140722235662948 140722235666383 0
[pid=3968/tid=3975] ppid=3966 vsize=13980732 memory=4814 CPUtime=0 cores=1,3,5,7
/proc/3968/task/3975/stat : 3975 (java) S 3966 3966 2357 34816 2543 1077944384 51 0 0 0 0 0 0 0 20 0 15 0 210757 14316269568 374725 18446744073709551615 4194304 4196468 140722235661808 140406448931936 140407264741077 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31981568 140722235662772 140722235662948 140722235662948 140722235666383 0
[pid=3968/tid=3976] ppid=3966 vsize=13980732 memory=7680170660397595203 CPUtime=0 cores=1,3,5,7
/proc/3968/task/3976/stat : 3976 (java) S 3966 3966 2357 34816 2543 1077944384 64 0 0 0 0 0 0 0 20 0 15 0 210758 14316269568 374725 18446744073709551615 4194304 4196468 140722235661808 140406447879040 140407264741077 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31981568 140722235662772 140722235662948 140722235662948 140722235666383 0
[pid=3968/tid=3977] ppid=3966 vsize=13980732 memory=2 CPUtime=0 cores=1,3,5,7
/proc/3968/task/3977/stat : 3977 (java) S 3966 3966 2357 34816 2543 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 210760 14316269568 374725 18446744073709551615 4194304 4196468 140722235661808 140406446827344 140407264749467 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31981568 140722235662772 140722235662948 140722235662948 140722235666383 0
[pid=3968/tid=3978] ppid=3966 vsize=13980732 memory=1380 CPUtime=0.76 cores=1,3,5,7
/proc/3968/task/3978/stat : 3978 (java) S 3966 3966 2357 34816 2543 1077944384 2635 0 0 0 76 0 0 0 20 0 15 0 210760 14316269568 374725 18446744073709551615 4194304 4196468 140722235661808 140406445775728 140407264742018 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31981568 140722235662772 140722235662948 140722235662948 140722235666383 0
[pid=3968/tid=3979] ppid=3966 vsize=13980732 memory=1380 CPUtime=0.72 cores=1,3,5,7
/proc/3968/task/3979/stat : 3979 (java) S 3966 3966 2357 34816 2543 1077944384 2049 0 0 0 72 0 0 0 20 0 15 0 210760 14316269568 374725 18446744073709551615 4194304 4196468 140722235661808 140406444722928 140407264742018 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31981568 140722235662772 140722235662948 140722235662948 140722235666383 0
[pid=3968/tid=3980] ppid=3966 vsize=13980732 memory=1498900 CPUtime=0.5 cores=1,3,5,7
/proc/3968/task/3980/stat : 3980 (java) S 3966 3966 2357 34816 2543 1077944384 2520 0 0 0 49 1 0 0 20 0 15 0 210760 14316269568 374725 18446744073709551615 4194304 4196468 140722235661808 140406443670128 140407264742018 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31981568 140722235662772 140722235662948 140722235662948 140722235666383 0
[pid=3968/tid=3981] ppid=3966 vsize=13980732 memory=5312 CPUtime=0 cores=1,3,5,7
/proc/3968/task/3981/stat : 3981 (java) S 3966 3966 2357 34816 2543 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 210760 14316269568 374725 18446744073709551615 4194304 4196468 140722235661808 140406442617568 140407264741077 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31981568 140722235662772 140722235662948 140722235662948 140722235666383 0
[pid=3968/tid=3982] ppid=3966 vsize=13980732 memory=1292 CPUtime=0 cores=1,3,5,7
/proc/3968/task/3982/stat : 3982 (java) S 3966 3966 2357 34816 2543 1077944384 287 0 0 0 0 0 0 0 20 0 15 0 210764 14316269568 374725 18446744073709551615 4194304 4196468 140722235661808 140406441564848 140407264742018 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31981568 140722235662772 140722235662948 140722235662948 140722235666383 0
Current children cumulated CPU time: 10.33 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 1500280 KiB

[startup+7.30076 s]
/proc/loadavg: 1.89 1.25 0.59 3/214 3982
/proc/meminfo: memFree=30163420/32770624 swapFree=67108860/67108860
[pid=3966] ppid=3963 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/3966/stat : 3966 (xcsp3-exec) S 3963 3966 2357 34816 2543 4202496 515 0 0 0 0 0 0 0 20 0 1 0 210748 9740288 345 18446744073709551615 4194304 5098028 140724374175744 140724374173848 139688425583228 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 6 0 0 7196144 7232144 11599872 140724374184315 140724374184520 140724374184520 140724374188011 0
/proc/3966/statm: 2378 345 289 221 0 87 0
[pid=3968] ppid=3966 vsize=13980732 memory=1498900 CPUtime=10.44 cores=1,3,5,7
/proc/3968/stat : 3968 (java) S 3966 3966 2357 34816 2543 1077944320 25275 0 0 0 954 90 0 0 20 0 15 0 210755 14316269568 374725 18446744073709551615 4194304 4196468 140722235661808 140722235644352 140407264730871 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 31981568 140722235662772 140722235662948 140722235662948 140722235666383 0
/proc/3968/statm: 3495183 374725 3208 1 0 3483476 0
[pid=3968/tid=3969] ppid=3966 vsize=13980732 memory=15876 CPUtime=6.65 cores=1,3,5,7
/proc/3968/task/3969/stat : 3969 (java) R 3966 3966 2357 34816 2543 4202560 11501 0 0 0 647 18 0 0 20 0 15 0 210755 14316269568 374725 18446744073709551615 4194304 4196468 140722235661808 140407268967760 140406864719468 0 4 1 16800974 0 0 0 -1 1 0 0 3 0 0 6293624 6294260 31981568 140722235662772 140722235662948 140722235662948 140722235666383 0
[pid=3968/tid=3970] ppid=3966 vsize=13980732 memory=1380 CPUtime=0.43 cores=1,3,5,7
/proc/3968/task/3970/stat : 3970 (java) S 3966 3966 2357 34816 2543 1077944384 634 0 0 0 26 17 0 0 20 0 15 0 210756 14316269568 374725 18446744073709551615 4194304 4196468 140722235661808 140407184145552 140407264741077 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31981568 140722235662772 140722235662948 140722235662948 140722235666383 0
[pid=3968/tid=3971] ppid=3966 vsize=13980732 memory=437448 CPUtime=0.42 cores=1,3,5,7
/proc/3968/task/3971/stat : 3971 (java) S 3966 3966 2357 34816 2543 1077944384 642 0 0 0 26 16 0 0 20 0 15 0 210756 14316269568 374725 18446744073709551615 4194304 4196468 140722235661808 140407183092752 140407264741077 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31981568 140722235662772 140722235662948 140722235662948 140722235666383 0
[pid=3968/tid=3972] ppid=3966 vsize=13980732 memory=4620 CPUtime=0.43 cores=1,3,5,7
/proc/3968/task/3972/stat : 3972 (java) S 3966 3966 2357 34816 2543 1077944384 1636 0 0 0 26 17 0 0 20 0 15 0 210756 14316269568 374725 18446744073709551615 4194304 4196468 140722235661808 140407182039952 140407264741077 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31981568 140722235662772 140722235662948 140722235662948 140722235666383 0
[pid=3968/tid=3973] ppid=3966 vsize=13980732 memory=0 CPUtime=0.43 cores=1,3,5,7
/proc/3968/task/3973/stat : 3973 (java) S 3966 3966 2357 34816 2543 1077944384 513 0 0 0 26 17 0 0 20 0 15 0 210756 14316269568 374725 18446744073709551615 4194304 4196468 140722235661808 140407180987152 140407264741077 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31981568 140722235662772 140722235662948 140722235662948 140722235666383 0
[pid=3968/tid=3974] ppid=3966 vsize=13980732 memory=140280544494656 CPUtime=0.01 cores=1,3,5,7
/proc/3968/task/3974/stat : 3974 (java) S 3966 3966 2357 34816 2543 1077944384 1496 0 0 0 1 0 0 0 20 0 15 0 210757 14316269568 374725 18446744073709551615 4194304 4196468 140722235661808 140406449985904 140407264742018 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31981568 140722235662772 140722235662948 140722235662948 140722235666383 0
[pid=3968/tid=3975] ppid=3966 vsize=13980732 memory=140280544181774 CPUtime=0 cores=1,3,5,7
/proc/3968/task/3975/stat : 3975 (java) S 3966 3966 2357 34816 2543 1077944384 51 0 0 0 0 0 0 0 20 0 15 0 210757 14316269568 374725 18446744073709551615 4194304 4196468 140722235661808 140406448931936 140407264741077 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31981568 140722235662772 140722235662948 140722235662948 140722235666383 0
[pid=3968/tid=3976] ppid=3966 vsize=13980732 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/3968/task/3976/stat : 3976 (java) S 3966 3966 2357 34816 2543 1077944384 64 0 0 0 0 0 0 0 20 0 15 0 210758 14316269568 374725 18446744073709551615 4194304 4196468 140722235661808 140406447879040 140407264741077 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31981568 140722235662772 140722235662948 140722235662948 140722235666383 0
[pid=3968/tid=3977] ppid=3966 vsize=13980732 memory=1498732 CPUtime=0 cores=1,3,5,7
/proc/3968/task/3977/stat : 3977 (java) S 3966 3966 2357 34816 2543 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 210760 14316269568 374725 18446744073709551615 4194304 4196468 140722235661808 140406446827344 140407264749467 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31981568 140722235662772 140722235662948 140722235662948 140722235666383 0
[pid=3968/tid=3978] ppid=3966 vsize=13980732 memory=10932 CPUtime=0.76 cores=1,3,5,7
/proc/3968/task/3978/stat : 3978 (java) S 3966 3966 2357 34816 2543 1077944384 2635 0 0 0 76 0 0 0 20 0 15 0 210760 14316269568 374725 18446744073709551615 4194304 4196468 140722235661808 140406445775728 140407264742018 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31981568 140722235662772 140722235662948 140722235662948 140722235666383 0
[pid=3968/tid=3979] ppid=3966 vsize=13980732 memory=1692 CPUtime=0.72 cores=1,3,5,7
/proc/3968/task/3979/stat : 3979 (java) S 3966 3966 2357 34816 2543 1077944384 2049 0 0 0 72 0 0 0 20 0 15 0 210760 14316269568 374725 18446744073709551615 4194304 4196468 140722235661808 140406444722928 140407264742018 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31981568 140722235662772 140722235662948 140722235662948 140722235666383 0
[pid=3968/tid=3980] ppid=3966 vsize=13980732 memory=1440 CPUtime=0.51 cores=1,3,5,7
/proc/3968/task/3980/stat : 3980 (java) S 3966 3966 2357 34816 2543 1077944384 2525 0 0 0 50 1 0 0 20 0 15 0 210760 14316269568 374725 18446744073709551615 4194304 4196468 140722235661808 140406443670128 140407264742018 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31981568 140722235662772 140722235662948 140722235662948 140722235666383 0
[pid=3968/tid=3981] ppid=3966 vsize=13980732 memory=5412 CPUtime=0 cores=1,3,5,7
/proc/3968/task/3981/stat : 3981 (java) S 3966 3966 2357 34816 2543 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 210760 14316269568 374725 18446744073709551615 4194304 4196468 140722235661808 140406442617568 140407264741077 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31981568 140722235662772 140722235662948 140722235662948 140722235666383 0
[pid=3968/tid=3982] ppid=3966 vsize=13980732 memory=792 CPUtime=0 cores=1,3,5,7
/proc/3968/task/3982/stat : 3982 (java) S 3966 3966 2357 34816 2543 1077944384 287 0 0 0 0 0 0 0 20 0 15 0 210764 14316269568 374725 18446744073709551615 4194304 4196468 140722235661808 140406441564848 140407264742018 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31981568 140722235662772 140722235662948 140722235662948 140722235666383 0
Current children cumulated CPU time: 10.44 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 1500280 KiB

Child status: 0
Real time (s): 7.40869
CPU time (s): 10.555
CPU user time (s): 9.63842
CPU system time (s): 0.916634
CPU usage (%): 142.468
Max. virtual memory (cumulated for all children) (KiB): 13990244
Max. memory (cumulated for all children) (KiB): 1500280

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 9.63842
system time used= 0.916634
maximum resident set size= 1499308
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 25864
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= 2671
involuntary context switches= 45


# summary of solver processes directly reported to runsolver:
#   pid: 3966
#   total CPU time (s): 10.555
#   total CPU user time (s): 9.63842
#   total CPU system time (s): 0.916634

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.073578 second user time and 0.113383 second system time

The end

Launcher Data 

Begin job on node129 at 2017-08-14 17:38:41
IDJOB=4269723
IDBENCH=121044
IDSOLVER=2660
FILE ID=node129/4269723-1502725956
RUNJOBID= node129-1502724845-2549
PBS_JOBID= 
Free space on /tmp= 61996 MiB

SOLVER NAME= choco-solver 4.0.5 seq
BENCH NAME= XCSP17/Random/Random-m1-5-12-12t/rand-5-12-12-200-t95-3.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-4269723-1502725956/watcher-4269723-1502725956 -o /tmp/evaluation-result-4269723-1502725956/solver-4269723-1502725956 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node129-1502724845-2549 --watchdog 2580  ./xcsp3-exec -dir HOME -tl 2520 -ml 11000 -tdir HOME -seed 1645663458 HOME/instance-4269723-1502725956.xml

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

MD5SUM BENCH= d4014e5e87f6d68ac86bab8f8f62518f
RANDOM SEED=1645663458

node129.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.61
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.61
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.61
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.61
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:        31652076 kB
MemAvailable:   31790968 kB
Buffers:           32008 kB
Cached:           416080 kB
SwapCached:            0 kB
Active:           490220 kB
Inactive:         278604 kB
Active(anon):     321408 kB
Inactive(anon):     8560 kB
Active(file):     168812 kB
Inactive(file):   270044 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:             36548 kB
Writeback:             0 kB
AnonPages:        320828 kB
Mapped:            40524 kB
Shmem:              8872 kB
Slab:              55280 kB
SReclaimable:      31740 kB
SUnreclaim:        23540 kB
KernelStack:        3520 kB
PageTables:         5756 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    1273904 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    202752 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      114048 kB
DirectMap2M:    33431552 kB

Free space on /tmp at the end= 61988 MiB
End job on node129 at 2017-08-14 17:38:48