Trace number 4283942

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 5a (2017-08-18)UNSAT 12.9869 8.1839705

General information on the benchmark

NameRandom/Random-m1-5-12-12/
rand-5-12-12-200-12442-38.xml
MD5SUMb26246ce3e5ddb90abbf8b583e2fe87c
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.5771
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":2},{"degree":79,"count":2},{"degree":81,"count":1},{"degree":82,"count":1},{"degree":84,"count":2},{"degree":86,"count":1},{"degree":87,"count":1},{"degree":89,"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.10	c java -server -Xmx11000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4283942-1503187842.xml"  -tl '2520s' -p 1 -x 3
0.08/0.27	c [HOME/instance-4283942-1503187842.xml, -tl, 2520s, -p, 1, -x, 3]
0.26/0.33	c simple solver
0.26/0.40	c parse instance...
8.00/5.76	c solve instance...
12.89/8.17	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 (15281 MiB free)
  memory of node 1: 16384 MiB (14893 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4283942-1503187842/watcher-4283942-1503187842 -o /tmp/evaluation-result-4283942-1503187842/solver-4283942-1503187842 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node128-1503171959-30214 --watchdog 2580 ./xcsp3-exec -dir HOME -tl 2520 -ml 11000 -tdir HOME -seed 179380291 HOME/instance-4283942-1503187842.xml 

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

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

solver pid=304, runsolver pid=301

[startup+0.100151 s]*
/proc/loadavg: 2.00 1.66 1.60 2/196 305
/proc/meminfo: memFree=30899604/32770624 swapFree=67108860/67108860
[pid=304] ppid=301 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/304/stat : 304 (xcsp3-exec) S 301 304 16431 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 17193946 9740288 345 18446744073709551615 4194304 5098028 140733160817376 140733160815480 139798456627836 0 65536 5 65538 18446744071579417331 0 0 17 0 0 0 10 0 0 7196144 7232144 17182720 140733160825210 140733160825414 140733160825414 140733160828907 0
/proc/304/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 9512 KiB
Current children cumulated memory: 1380 KiB

[startup+0.209844 s]*
/proc/loadavg: 2.00 1.66 1.60 3/211 321
/proc/meminfo: memFree=30886784/32770624 swapFree=67108860/67108860
[pid=304] ppid=301 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/304/stat : 304 (xcsp3-exec) S 301 304 16431 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 17193946 9740288 345 18446744073709551615 4194304 5098028 140733160817376 140733160815480 139798456627836 0 65536 5 65538 18446744071579417331 0 0 17 0 0 0 10 0 0 7196144 7232144 17182720 140733160825210 140733160825414 140733160825414 140733160828907 0
/proc/304/statm: 2378 345 289 221 0 87 0
[pid=306] ppid=304 vsize=13974352 memory=26884 CPUtime=0.08 cores=0,2,4,6
/proc/306/stat : 306 (java) S 304 304 16431 0 -1 1077944320 5130 0 0 0 7 1 0 0 20 0 15 0 17193956 14309736448 6721 18446744073709551615 4194304 4196468 140725821598496 140725821581040 140183228174071 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 29384704 140725821604274 140725821604450 140725821604450 140725821607887 0
/proc/306/statm: 3493588 6721 2727 1 0 3482964 0
[pid=306/tid=308] ppid=304 vsize=13974352 memory=7311146985107750967 CPUtime=0.06 cores=0,2,4,6
/proc/306/task/308/stat : 308 (java) R 304 304 16431 0 -1 4202560 3317 0 0 0 6 0 0 0 20 0 15 0 17193956 14309736448 6721 18446744073709551615 4194304 4196468 140725821598496 140183232399760 140183212254558 0 4 1 16800974 0 0 0 -1 4 0 0 3 0 0 6293624 6294260 29384704 140725821604274 140725821604450 140725821604450 140725821607887 0
[pid=306/tid=309] ppid=304 vsize=13974352 memory=10596 CPUtime=0 cores=0,2,4,6
/proc/306/task/309/stat : 309 (java) S 304 304 16431 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 17193957 14309736448 6721 18446744073709551615 4194304 4196468 140725821598496 140182827834256 140183228184277 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29384704 140725821604274 140725821604450 140725821604450 140725821607887 0
[pid=306/tid=310] ppid=304 vsize=13974352 memory=3689214457803876000 CPUtime=0 cores=0,2,4,6
/proc/306/task/310/stat : 310 (java) S 304 304 16431 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 17193957 14309736448 6721 18446744073709551615 4194304 4196468 140725821598496 140182826781456 140183228184277 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29384704 140725821604274 140725821604450 140725821604450 140725821607887 0
[pid=306/tid=311] ppid=304 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/306/task/311/stat : 311 (java) S 304 304 16431 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 17193957 14309736448 6721 18446744073709551615 4194304 4196468 140725821598496 140182825729168 140183228184277 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29384704 140725821604274 140725821604450 140725821604450 140725821607887 0
[pid=306/tid=312] ppid=304 vsize=13974352 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/306/task/312/stat : 312 (java) S 304 304 16431 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 17193957 14309736448 6721 18446744073709551615 4194304 4196468 140725821598496 140182824676368 140183228184277 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29384704 140725821604274 140725821604450 140725821604450 140725821607887 0
[pid=306/tid=313] ppid=304 vsize=13974352 memory=140499513943680 CPUtime=0 cores=0,2,4,6
/proc/306/task/313/stat : 313 (java) S 304 304 16431 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 17193958 14309736448 6721 18446744073709551615 4194304 4196468 140725821598496 140182773819504 140183228185218 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29384704 140725821604274 140725821604450 140725821604450 140725821607887 0
[pid=306/tid=314] ppid=304 vsize=13974352 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/306/task/314/stat : 314 (java) S 304 304 16431 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 17193959 14309736448 6721 18446744073709551615 4194304 4196468 140725821598496 140182772765472 140183228184277 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29384704 140725821604274 140725821604450 140725821604450 140725821607887 0
[pid=306/tid=315] ppid=304 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/306/task/315/stat : 315 (java) S 304 304 16431 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 17193959 14309736448 6721 18446744073709551615 4194304 4196468 140725821598496 140182771713136 140183228184277 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29384704 140725821604274 140725821604450 140725821604450 140725821607887 0
[pid=306/tid=316] ppid=304 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/306/task/316/stat : 316 (java) S 304 304 16431 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 17193961 14309736448 6721 18446744073709551615 4194304 4196468 140725821598496 140182770661456 140183228192667 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29384704 140725821604274 140725821604450 140725821604450 140725821607887 0
[pid=306/tid=317] ppid=304 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/306/task/317/stat : 317 (java) S 304 304 16431 0 -1 1077944384 303 0 0 0 0 0 0 0 20 0 15 0 17193961 14309736448 6721 18446744073709551615 4194304 4196468 140725821598496 140182769609328 140183228185218 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29384704 140725821604274 140725821604450 140725821604450 140725821607887 0
[pid=306/tid=318] ppid=304 vsize=13974352 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/306/task/318/stat : 318 (java) R 304 304 16431 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 17193961 14309736448 6785 18446744073709551615 4194304 4196468 140725821598496 140182768556528 140183228185218 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 29384704 140725821604274 140725821604450 140725821604450 140725821607887 0
[pid=306/tid=319] ppid=304 vsize=13974352 memory=140499513943680 CPUtime=0 cores=0,2,4,6
/proc/306/task/319/stat : 319 (java) S 304 304 16431 0 -1 1077944384 244 0 0 0 0 0 0 0 20 0 15 0 17193961 14309736448 6785 18446744073709551615 4194304 4196468 140725821598496 140182699371376 140183228185218 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29384704 140725821604274 140725821604450 140725821604450 140725821607887 0
[pid=306/tid=320] ppid=304 vsize=13974352 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/306/task/320/stat : 320 (java) S 304 304 16431 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 17193961 14309736448 6785 18446744073709551615 4194304 4196468 140725821598496 140182698318816 140183228184277 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29384704 140725821604274 140725821604450 140725821604450 140725821607887 0
[pid=306/tid=321] ppid=304 vsize=13974352 memory=140499513943680 CPUtime=0 cores=0,2,4,6
/proc/306/task/321/stat : 321 (java) S 304 304 16431 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 17193965 14309736448 6785 18446744073709551615 4194304 4196468 140725821598496 140182697265584 140183228185218 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29384704 140725821604274 140725821604450 140725821604450 140725821607887 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 13983864 KiB
Current children cumulated memory: 28264 KiB

[startup+0.310368 s]*
/proc/loadavg: 2.00 1.66 1.60 5/211 321
/proc/meminfo: memFree=30872852/32770624 swapFree=67108860/67108860
[pid=304] ppid=301 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/304/stat : 304 (xcsp3-exec) S 301 304 16431 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 17193946 9740288 345 18446744073709551615 4194304 5098028 140733160817376 140733160815480 139798456627836 0 65536 5 65538 18446744071579417331 0 0 17 0 0 0 10 0 0 7196144 7232144 17182720 140733160825210 140733160825414 140733160825414 140733160828907 0
/proc/304/statm: 2378 345 289 221 0 87 0
[pid=306] ppid=304 vsize=13974352 memory=37108 CPUtime=0.26 cores=0,2,4,6
/proc/306/stat : 306 (java) S 304 304 16431 0 -1 1077944320 8849 0 0 0 24 2 0 0 20 0 15 0 17193956 14309736448 9277 18446744073709551615 4194304 4196468 140725821598496 140725821581040 140183228174071 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 29384704 140725821604274 140725821604450 140725821604450 140725821607887 0
/proc/306/statm: 3493588 9277 2979 1 0 3482964 0
[pid=306/tid=308] ppid=304 vsize=13974352 memory=-8774313645642428999 CPUtime=0.17 cores=0,2,4,6
/proc/306/task/308/stat : 308 (java) R 304 304 16431 0 -1 4202560 6072 0 0 0 15 2 0 0 20 0 15 0 17193956 14309736448 9343 18446744073709551615 4194304 4196468 140725821598496 140183232406560 140183212254558 0 4 1 16800974 0 0 0 -1 2 0 0 3 0 0 6293624 6294260 29384704 140725821604274 140725821604450 140725821604450 140725821607887 0
[pid=306/tid=309] ppid=304 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/306/task/309/stat : 309 (java) S 304 304 16431 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 17193957 14309736448 9343 18446744073709551615 4194304 4196468 140725821598496 140182827834256 140183228184277 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29384704 140725821604274 140725821604450 140725821604450 140725821607887 0
[pid=306/tid=310] ppid=304 vsize=13974352 memory=140499513943680 CPUtime=0 cores=0,2,4,6
/proc/306/task/310/stat : 310 (java) S 304 304 16431 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 17193957 14309736448 9343 18446744073709551615 4194304 4196468 140725821598496 140182826781456 140183228184277 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29384704 140725821604274 140725821604450 140725821604450 140725821607887 0
[pid=306/tid=311] ppid=304 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/306/task/311/stat : 311 (java) S 304 304 16431 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 17193957 14309736448 9343 18446744073709551615 4194304 4196468 140725821598496 140182825729168 140183228184277 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29384704 140725821604274 140725821604450 140725821604450 140725821607887 0
[pid=306/tid=312] ppid=304 vsize=13974352 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/306/task/312/stat : 312 (java) S 304 304 16431 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 17193957 14309736448 9343 18446744073709551615 4194304 4196468 140725821598496 140182824676368 140183228184277 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29384704 140725821604274 140725821604450 140725821604450 140725821607887 0
[pid=306/tid=313] ppid=304 vsize=13974352 memory=140499513943680 CPUtime=0 cores=0,2,4,6
/proc/306/task/313/stat : 313 (java) S 304 304 16431 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 17193958 14309736448 9343 18446744073709551615 4194304 4196468 140725821598496 140182773819504 140183228185218 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29384704 140725821604274 140725821604450 140725821604450 140725821607887 0
[pid=306/tid=314] ppid=304 vsize=13974352 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/306/task/314/stat : 314 (java) S 304 304 16431 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 17193959 14309736448 9343 18446744073709551615 4194304 4196468 140725821598496 140182772765472 140183228184277 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29384704 140725821604274 140725821604450 140725821604450 140725821607887 0
[pid=306/tid=315] ppid=304 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/306/task/315/stat : 315 (java) S 304 304 16431 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 17193959 14309736448 9343 18446744073709551615 4194304 4196468 140725821598496 140182771713136 140183228184277 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29384704 140725821604274 140725821604450 140725821604450 140725821607887 0
[pid=306/tid=316] ppid=304 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/306/task/316/stat : 316 (java) S 304 304 16431 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 17193961 14309736448 9343 18446744073709551615 4194304 4196468 140725821598496 140182770661456 140183228192667 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29384704 140725821604274 140725821604450 140725821604450 140725821607887 0
[pid=306/tid=317] ppid=304 vsize=13974352 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/306/task/317/stat : 317 (java) S 304 304 16431 0 -1 1077944384 548 0 0 0 2 0 0 0 20 0 15 0 17193961 14309736448 9343 18446744073709551615 4194304 4196468 140725821598496 140182769609328 140183228185218 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29384704 140725821604274 140725821604450 140725821604450 140725821607887 0
[pid=306/tid=318] ppid=304 vsize=13974352 memory=-1 CPUtime=0.01 cores=0,2,4,6
/proc/306/task/318/stat : 318 (java) S 304 304 16431 0 -1 1077944384 199 0 0 0 1 0 0 0 20 0 15 0 17193961 14309736448 9343 18446744073709551615 4194304 4196468 140725821598496 140182768556528 140183228185218 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29384704 140725821604274 140725821604450 140725821604450 140725821607887 0
[pid=306/tid=319] ppid=304 vsize=13974352 memory=140499513943680 CPUtime=0.06 cores=0,2,4,6
/proc/306/task/319/stat : 319 (java) R 304 304 16431 0 -1 4202560 745 0 0 0 6 0 0 0 20 0 15 0 17193961 14309736448 9343 18446744073709551615 4194304 4196468 140725821598496 140182699371376 140183212254558 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 29384704 140725821604274 140725821604450 140725821604450 140725821607887 0
[pid=306/tid=320] ppid=304 vsize=13974352 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/306/task/320/stat : 320 (java) S 304 304 16431 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 17193961 14309736448 9343 18446744073709551615 4194304 4196468 140725821598496 140182698318816 140183228184277 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29384704 140725821604274 140725821604450 140725821604450 140725821607887 0
[pid=306/tid=321] ppid=304 vsize=13974352 memory=140499513943680 CPUtime=0 cores=0,2,4,6
/proc/306/task/321/stat : 321 (java) S 304 304 16431 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 17193965 14309736448 9343 18446744073709551615 4194304 4196468 140725821598496 140182697265584 140183228185218 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29384704 140725821604274 140725821604450 140725821604450 140725821607887 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 13983864 KiB
Current children cumulated memory: 38488 KiB

[startup+0.701669 s]
/proc/loadavg: 2.00 1.66 1.60 4/211 321
/proc/meminfo: memFree=30837096/32770624 swapFree=67108860/67108860
[pid=304] ppid=301 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/304/stat : 304 (xcsp3-exec) S 301 304 16431 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 17193946 9740288 345 18446744073709551615 4194304 5098028 140733160817376 140733160815480 139798456627836 0 65536 5 65538 18446744071579417331 0 0 17 0 0 0 10 0 0 7196144 7232144 17182720 140733160825210 140733160825414 140733160825414 140733160828907 0
/proc/304/statm: 2378 345 289 221 0 87 0
[pid=306] ppid=304 vsize=13978684 memory=135564 CPUtime=1.15 cores=0,2,4,6
/proc/306/stat : 306 (java) S 304 304 16431 0 -1 1077944320 12294 0 0 0 109 6 0 0 20 0 15 0 17193956 14314172416 33891 18446744073709551615 4194304 4196468 140725821598496 140725821581040 140183228174071 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 29384704 140725821604274 140725821604450 140725821604450 140725821607887 0
/proc/306/statm: 3494671 33891 3162 1 0 3482964 0
[pid=306/tid=308] ppid=304 vsize=13978684 memory=72 CPUtime=0.55 cores=0,2,4,6
/proc/306/task/308/stat : 308 (java) R 304 304 16431 0 -1 4202560 7823 0 0 0 50 5 0 0 20 0 15 0 17193956 14314172416 33891 18446744073709551615 4194304 4196468 140725821598496 140183232408256 140182853336864 0 4 1 16800974 0 0 0 -1 4 0 0 3 0 0 6293624 6294260 29384704 140725821604274 140725821604450 140725821604450 140725821607887 0
[pid=306/tid=309] ppid=304 vsize=13978684 memory=72 CPUtime=0 cores=0,2,4,6
/proc/306/task/309/stat : 309 (java) S 304 304 16431 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 17193957 14314172416 33891 18446744073709551615 4194304 4196468 140725821598496 140182827834256 140183228184277 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29384704 140725821604274 140725821604450 140725821604450 140725821607887 0
[pid=306/tid=310] ppid=304 vsize=13978684 memory=20 CPUtime=0 cores=0,2,4,6
/proc/306/task/310/stat : 310 (java) S 304 304 16431 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 17193957 14314172416 33891 18446744073709551615 4194304 4196468 140725821598496 140182826781456 140183228184277 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29384704 140725821604274 140725821604450 140725821604450 140725821607887 0
[pid=306/tid=311] ppid=304 vsize=13978684 memory=113 CPUtime=0 cores=0,2,4,6
/proc/306/task/311/stat : 311 (java) S 304 304 16431 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 17193957 14314172416 33891 18446744073709551615 4194304 4196468 140725821598496 140182825729168 140183228184277 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29384704 140725821604274 140725821604450 140725821604450 140725821607887 0
[pid=306/tid=312] ppid=304 vsize=13978684 memory=1 CPUtime=0 cores=0,2,4,6
/proc/306/task/312/stat : 312 (java) S 304 304 16431 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 17193957 14314172416 33891 18446744073709551615 4194304 4196468 140725821598496 140182824676368 140183228184277 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29384704 140725821604274 140725821604450 140725821604450 140725821607887 0
[pid=306/tid=313] ppid=304 vsize=13978684 memory=1324 CPUtime=0 cores=0,2,4,6
/proc/306/task/313/stat : 313 (java) S 304 304 16431 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 17193958 14314172416 33891 18446744073709551615 4194304 4196468 140725821598496 140182773819504 140183228185218 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29384704 140725821604274 140725821604450 140725821604450 140725821607887 0
[pid=306/tid=314] ppid=304 vsize=13978684 memory=0 CPUtime=0 cores=0,2,4,6
/proc/306/task/314/stat : 314 (java) S 304 304 16431 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 17193959 14314172416 33891 18446744073709551615 4194304 4196468 140725821598496 140182772765472 140183228184277 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29384704 140725821604274 140725821604450 140725821604450 140725821607887 0
[pid=306/tid=315] ppid=304 vsize=13978684 memory=6299222414648694375 CPUtime=0 cores=0,2,4,6
/proc/306/task/315/stat : 315 (java) S 304 304 16431 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 17193959 14314172416 33891 18446744073709551615 4194304 4196468 140725821598496 140182771713136 140183228184277 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29384704 140725821604274 140725821604450 140725821604450 140725821607887 0
[pid=306/tid=316] ppid=304 vsize=13978684 memory=7300728970739542608 CPUtime=0 cores=0,2,4,6
/proc/306/task/316/stat : 316 (java) S 304 304 16431 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 17193961 14314172416 33891 18446744073709551615 4194304 4196468 140725821598496 140182770661456 140183228192667 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29384704 140725821604274 140725821604450 140725821604450 140725821607887 0
[pid=306/tid=317] ppid=304 vsize=13978684 memory=6935649255759568960 CPUtime=0.16 cores=0,2,4,6
/proc/306/task/317/stat : 317 (java) R 304 304 16431 0 -1 4202560 1137 0 0 0 16 0 0 0 20 0 15 0 17193961 14314172416 33891 18446744073709551615 4194304 4196468 140725821598496 140182769589824 140183213300293 0 4 1 16800974 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 29384704 140725821604274 140725821604450 140725821604450 140725821607887 0
[pid=306/tid=318] ppid=304 vsize=13978684 memory=860572 CPUtime=0.17 cores=0,2,4,6
/proc/306/task/318/stat : 318 (java) R 304 304 16431 0 -1 4202560 664 0 0 0 17 0 0 0 20 0 15 0 17193961 14314172416 33891 18446744073709551615 4194304 4196468 140725821598496 140182768546240 140183208875559 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 29384704 140725821604274 140725821604450 140725821604450 140725821607887 0
[pid=306/tid=319] ppid=304 vsize=13978684 memory=-8774313645642428999 CPUtime=0.25 cores=0,2,4,6
/proc/306/task/319/stat : 319 (java) S 304 304 16431 0 -1 1077944384 1365 0 0 0 25 0 0 0 20 0 15 0 17193961 14314172416 33891 18446744073709551615 4194304 4196468 140725821598496 140182699371376 140183228185218 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29384704 140725821604274 140725821604450 140725821604450 140725821607887 0
[pid=306/tid=320] ppid=304 vsize=13978684 memory=0 CPUtime=0 cores=0,2,4,6
/proc/306/task/320/stat : 320 (java) S 304 304 16431 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 17193961 14314172416 33891 18446744073709551615 4194304 4196468 140725821598496 140182698318816 140183228184277 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29384704 140725821604274 140725821604450 140725821604450 140725821607887 0
[pid=306/tid=321] ppid=304 vsize=13978684 memory=0 CPUtime=0 cores=0,2,4,6
/proc/306/task/321/stat : 321 (java) S 304 304 16431 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 17193965 14314172416 33891 18446744073709551615 4194304 4196468 140725821598496 140182697265584 140183228185218 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29384704 140725821604274 140725821604450 140725821604450 140725821607887 0
Current children cumulated CPU time: 1.15 s
Current children cumulated vsize: 13988196 KiB
Current children cumulated memory: 136944 KiB

[startup+1.50081 s]
/proc/loadavg: 2.00 1.66 1.60 3/211 321
/proc/meminfo: memFree=30645632/32770624 swapFree=67108860/67108860
[pid=304] ppid=301 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/304/stat : 304 (xcsp3-exec) S 301 304 16431 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 17193946 9740288 345 18446744073709551615 4194304 5098028 140733160817376 140733160815480 139798456627836 0 65536 5 65538 18446744071579417331 0 0 17 0 0 0 10 0 0 7196144 7232144 17182720 140733160825210 140733160825414 140733160825414 140733160828907 0
/proc/304/statm: 2378 345 289 221 0 87 0
[pid=306] ppid=304 vsize=13978684 memory=437208 CPUtime=2.71 cores=0,2,4,6
/proc/306/stat : 306 (java) S 304 304 16431 0 -1 1077944320 14386 0 0 0 245 26 0 0 20 0 15 0 17193956 14314172416 109302 18446744073709551615 4194304 4196468 140725821598496 140725821581040 140183228174071 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 29384704 140725821604274 140725821604450 140725821604450 140725821607887 0
/proc/306/statm: 3494671 109302 3195 1 0 3482964 0
[pid=306/tid=308] ppid=304 vsize=13978684 memory=7737843237140391009 CPUtime=1.25 cores=0,2,4,6
/proc/306/task/308/stat : 308 (java) R 304 304 16431 0 -1 4202560 7906 0 0 0 118 7 0 0 20 0 15 0 17193956 14314172416 109302 18446744073709551615 4194304 4196468 140725821598496 140183232412192 140182853877617 0 4 1 16800974 0 0 0 -1 0 0 0 3 0 0 6293624 6294260 29384704 140725821604274 140725821604450 140725821604450 140725821607887 0
[pid=306/tid=309] ppid=304 vsize=13978684 memory=6082227224028010599 CPUtime=0.08 cores=0,2,4,6
/proc/306/task/309/stat : 309 (java) S 304 304 16431 0 -1 1077944384 136 0 0 0 4 4 0 0 20 0 15 0 17193957 14314172416 109302 18446744073709551615 4194304 4196468 140725821598496 140182827834256 140183228184277 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29384704 140725821604274 140725821604450 140725821604450 140725821607887 0
[pid=306/tid=310] ppid=304 vsize=13978684 memory=6009316314409558372 CPUtime=0.07 cores=0,2,4,6
/proc/306/task/310/stat : 310 (java) S 304 304 16431 0 -1 1077944384 117 0 0 0 4 3 0 0 20 0 15 0 17193957 14314172416 109302 18446744073709551615 4194304 4196468 140725821598496 140182826781456 140183228184277 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29384704 140725821604274 140725821604450 140725821604450 140725821607887 0
[pid=306/tid=311] ppid=304 vsize=13978684 memory=6944656575208382560 CPUtime=0.08 cores=0,2,4,6
/proc/306/task/311/stat : 311 (java) S 304 304 16431 0 -1 1077944384 140 0 0 0 4 4 0 0 20 0 15 0 17193957 14314172416 109302 18446744073709551615 4194304 4196468 140725821598496 140182825729168 140183228184277 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29384704 140725821604274 140725821604450 140725821604450 140725821607887 0
[pid=306/tid=312] ppid=304 vsize=13978684 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/306/task/312/stat : 312 (java) S 304 304 16431 0 -1 1077944384 195 0 0 0 4 4 0 0 20 0 15 0 17193957 14314172416 109302 18446744073709551615 4194304 4196468 140725821598496 140182824676368 140183228184277 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29384704 140725821604274 140725821604450 140725821604450 140725821607887 0
[pid=306/tid=313] ppid=304 vsize=13978684 memory=15839839390844 CPUtime=0 cores=0,2,4,6
/proc/306/task/313/stat : 313 (java) S 304 304 16431 0 -1 1077944384 208 0 0 0 0 0 0 0 20 0 15 0 17193958 14314172416 109302 18446744073709551615 4194304 4196468 140725821598496 140182773819504 140183228185218 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29384704 140725821604274 140725821604450 140725821604450 140725821607887 0
[pid=306/tid=314] ppid=304 vsize=13978684 memory=297237782437570918 CPUtime=0 cores=0,2,4,6
/proc/306/task/314/stat : 314 (java) S 304 304 16431 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 17193959 14314172416 109302 18446744073709551615 4194304 4196468 140725821598496 140182772765472 140183228184277 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29384704 140725821604274 140725821604450 140725821604450 140725821607887 0
[pid=306/tid=315] ppid=304 vsize=13978684 memory=14412626872521672 CPUtime=0 cores=0,2,4,6
/proc/306/task/315/stat : 315 (java) S 304 304 16431 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 17193959 14314172416 109302 18446744073709551615 4194304 4196468 140725821598496 140182771713136 140183228184277 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29384704 140725821604274 140725821604450 140725821604450 140725821607887 0
[pid=306/tid=316] ppid=304 vsize=13978684 memory=-7523151519275136091 CPUtime=0 cores=0,2,4,6
/proc/306/task/316/stat : 316 (java) S 304 304 16431 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 17193961 14314172416 109302 18446744073709551615 4194304 4196468 140725821598496 140182770661456 140183228192667 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29384704 140725821604274 140725821604450 140725821604450 140725821607887 0
[pid=306/tid=317] ppid=304 vsize=13978684 memory=-8253362664378450576 CPUtime=0.42 cores=0,2,4,6
/proc/306/task/317/stat : 317 (java) S 304 304 16431 0 -1 1077944384 1751 0 0 0 42 0 0 0 20 0 15 0 17193961 14314172416 109302 18446744073709551615 4194304 4196468 140725821598496 140182769609328 140183228185218 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29384704 140725821604274 140725821604450 140725821604450 140725821607887 0
[pid=306/tid=318] ppid=304 vsize=13978684 memory=4572164727505778218 CPUtime=0.37 cores=0,2,4,6
/proc/306/task/318/stat : 318 (java) S 304 304 16431 0 -1 1077944384 1231 0 0 0 37 0 0 0 20 0 15 0 17193961 14314172416 109302 18446744073709551615 4194304 4196468 140725821598496 140182768556528 140183228185218 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29384704 140725821604274 140725821604450 140725821604450 140725821607887 0
[pid=306/tid=319] ppid=304 vsize=13978684 memory=8979744631437344833 CPUtime=0.28 cores=0,2,4,6
/proc/306/task/319/stat : 319 (java) S 304 304 16431 0 -1 1077944384 1405 0 0 0 28 0 0 0 20 0 15 0 17193961 14314172416 109302 18446744073709551615 4194304 4196468 140725821598496 140182699371376 140183228185218 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29384704 140725821604274 140725821604450 140725821604450 140725821607887 0
[pid=306/tid=320] ppid=304 vsize=13978684 memory=0 CPUtime=0 cores=0,2,4,6
/proc/306/task/320/stat : 320 (java) S 304 304 16431 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 17193961 14314172416 109302 18446744073709551615 4194304 4196468 140725821598496 140182698318816 140183228184277 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29384704 140725821604274 140725821604450 140725821604450 140725821607887 0
[pid=306/tid=321] ppid=304 vsize=13978684 memory=-6586667735541663136 CPUtime=0 cores=0,2,4,6
/proc/306/task/321/stat : 321 (java) S 304 304 16431 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 17193965 14314172416 109302 18446744073709551615 4194304 4196468 140725821598496 140182697265584 140183228185218 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29384704 140725821604274 140725821604450 140725821604450 140725821607887 0

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

/proc/304/stat : 304 (xcsp3-exec) S 301 304 16431 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 17193946 9740288 345 18446744073709551615 4194304 5098028 140733160817376 140733160815480 139798456627836 0 65536 5 65538 18446744071579417331 0 0 17 0 0 0 10 0 0 7196144 7232144 17182720 140733160825210 140733160825414 140733160825414 140733160828907 0
/proc/304/statm: 2378 345 289 221 0 87 0
[pid=306] ppid=304 vsize=13980732 memory=1503784 CPUtime=11.33 cores=0,2,4,6
/proc/306/stat : 306 (java) S 304 304 16431 0 -1 1077944320 27181 0 0 0 1046 87 0 0 20 0 15 0 17193956 14316269568 375946 18446744073709551615 4194304 4196468 140725821598496 140725821581040 140183228174071 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 29384704 140725821604274 140725821604450 140725821604450 140725821607887 0
/proc/306/statm: 3495183 375946 3229 1 0 3483476 0
[pid=306/tid=308] ppid=304 vsize=13980732 memory=6656426216303648864 CPUtime=6.3 cores=0,2,4,6
/proc/306/task/308/stat : 308 (java) R 304 304 16431 0 -1 4202560 12055 0 0 0 611 19 0 0 20 0 15 0 17193956 14316269568 375946 18446744073709551615 4194304 4196468 140725821598496 140183232413088 140182855917054 0 4 1 16800974 0 0 0 -1 0 0 0 3 0 0 6293624 6294260 29384704 140725821604274 140725821604450 140725821604450 140725821607887 0
[pid=306/tid=309] ppid=304 vsize=13980732 memory=-7957962119327172001 CPUtime=0.4 cores=0,2,4,6
/proc/306/task/309/stat : 309 (java) S 304 304 16431 0 -1 1077944384 961 0 0 0 25 15 0 0 20 0 15 0 17193957 14316269568 375946 18446744073709551615 4194304 4196468 140725821598496 140182827834256 140183228184277 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29384704 140725821604274 140725821604450 140725821604450 140725821607887 0
[pid=306/tid=310] ppid=304 vsize=13980732 memory=-3621219749712857441 CPUtime=0.4 cores=0,2,4,6
/proc/306/task/310/stat : 310 (java) S 304 304 16431 0 -1 1077944384 777 0 0 0 25 15 0 0 20 0 15 0 17193957 14316269568 375946 18446744073709551615 4194304 4196468 140725821598496 140182826781456 140183228184277 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29384704 140725821604274 140725821604450 140725821604450 140725821607887 0
[pid=306/tid=311] ppid=304 vsize=13980732 memory=8547710663883855229 CPUtime=0.41 cores=0,2,4,6
/proc/306/task/311/stat : 311 (java) S 304 304 16431 0 -1 1077944384 597 0 0 0 26 15 0 0 20 0 15 0 17193957 14316269568 375946 18446744073709551615 4194304 4196468 140725821598496 140182825729168 140183228184277 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29384704 140725821604274 140725821604450 140725821604450 140725821607887 0
[pid=306/tid=312] ppid=304 vsize=13980732 memory=-3040564339240289162 CPUtime=0.41 cores=0,2,4,6
/proc/306/task/312/stat : 312 (java) S 304 304 16431 0 -1 1077944384 518 0 0 0 25 16 0 0 20 0 15 0 17193957 14316269568 375946 18446744073709551615 4194304 4196468 140725821598496 140182824676368 140183228184277 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29384704 140725821604274 140725821604450 140725821604450 140725821607887 0
[pid=306/tid=313] ppid=304 vsize=13980732 memory=6944656575208382560 CPUtime=0 cores=0,2,4,6
/proc/306/task/313/stat : 313 (java) S 304 304 16431 0 -1 1077944384 1433 0 0 0 0 0 0 0 20 0 15 0 17193958 14316269568 375946 18446744073709551615 4194304 4196468 140725821598496 140182773819504 140183228185218 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 31 0 0 6293624 6294260 29384704 140725821604274 140725821604450 140725821604450 140725821607887 0
[pid=306/tid=314] ppid=304 vsize=13980732 memory=-2317720213663851332 CPUtime=0 cores=0,2,4,6
/proc/306/task/314/stat : 314 (java) S 304 304 16431 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 15 0 17193959 14316269568 375946 18446744073709551615 4194304 4196468 140725821598496 140182772765536 140183228184277 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29384704 140725821604274 140725821604450 140725821604450 140725821607887 0
[pid=306/tid=315] ppid=304 vsize=13980732 memory=6944656592455359580 CPUtime=0 cores=0,2,4,6
/proc/306/task/315/stat : 315 (java) S 304 304 16431 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 17193959 14316269568 375946 18446744073709551615 4194304 4196468 140725821598496 140182771713136 140183228184277 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29384704 140725821604274 140725821604450 140725821604450 140725821607887 0
[pid=306/tid=316] ppid=304 vsize=13980732 memory=7300728970739542608 CPUtime=0 cores=0,2,4,6
/proc/306/task/316/stat : 316 (java) S 304 304 16431 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 17193961 14316269568 375946 18446744073709551615 4194304 4196468 140725821598496 140182770661456 140183228192667 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29384704 140725821604274 140725821604450 140725821604450 140725821607887 0
[pid=306/tid=317] ppid=304 vsize=13980732 memory=-7664702572976124276 CPUtime=1.42 cores=0,2,4,6
/proc/306/task/317/stat : 317 (java) R 304 304 16431 0 -1 4202560 3391 0 0 0 142 0 0 0 20 0 15 0 17193961 14316269568 375946 18446744073709551615 4194304 4196468 140725821598496 140182769599008 140183205768816 0 4 1 16800974 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 29384704 140725821604274 140725821604450 140725821604450 140725821607887 0
[pid=306/tid=318] ppid=304 vsize=13980732 memory=1503248 CPUtime=1.29 cores=0,2,4,6
/proc/306/task/318/stat : 318 (java) R 304 304 16431 0 -1 4202560 2984 0 0 0 128 1 0 0 20 0 15 0 17193961 14316269568 375946 18446744073709551615 4194304 4196468 140725821598496 140182768540560 140183211660067 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 29384704 140725821604274 140725821604450 140725821604450 140725821607887 0
[pid=306/tid=319] ppid=304 vsize=13980732 memory=1500108 CPUtime=0.62 cores=0,2,4,6
/proc/306/task/319/stat : 319 (java) S 304 304 16431 0 -1 1077944384 2886 0 0 0 61 1 0 0 20 0 15 0 17193961 14316269568 375946 18446744073709551615 4194304 4196468 140725821598496 140182699371376 140183228185218 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 45 0 0 6293624 6294260 29384704 140725821604274 140725821604450 140725821604450 140725821607887 0
[pid=306/tid=320] ppid=304 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/306/task/320/stat : 320 (java) S 304 304 16431 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 17193961 14316269568 375946 18446744073709551615 4194304 4196468 140725821598496 140182698318816 140183228184277 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29384704 140725821604274 140725821604450 140725821604450 140725821607887 0
[pid=306/tid=321] ppid=304 vsize=13980732 memory=280998772808496 CPUtime=0 cores=0,2,4,6
/proc/306/task/321/stat : 321 (java) S 304 304 16431 0 -1 1077944384 271 0 0 0 0 0 0 0 20 0 15 0 17193965 14316269568 375946 18446744073709551615 4194304 4196468 140725821598496 140182697265584 140183228185218 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 45 0 0 6293624 6294260 29384704 140725821604274 140725821604450 140725821604450 140725821607887 0
Current children cumulated CPU time: 11.33 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 1505164 KiB

[startup+7.60073 s]
/proc/loadavg: 1.92 1.64 1.60 3/211 321
/proc/meminfo: memFree=29429512/32770624 swapFree=67108860/67108860
[pid=304] ppid=301 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/304/stat : 304 (xcsp3-exec) S 301 304 16431 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 17193946 9740288 345 18446744073709551615 4194304 5098028 140733160817376 140733160815480 139798456627836 0 65536 5 65538 18446744071579417331 0 0 17 0 0 0 10 0 0 7196144 7232144 17182720 140733160825210 140733160825414 140733160825414 140733160828907 0
/proc/304/statm: 2378 345 289 221 0 87 0
[pid=306] ppid=304 vsize=13980732 memory=1512844 CPUtime=12.18 cores=0,2,4,6
/proc/306/stat : 306 (java) S 304 304 16431 0 -1 1077944320 29474 0 0 0 1131 87 0 0 20 0 15 0 17193956 14316269568 378211 18446744073709551615 4194304 4196468 140725821598496 140725821581040 140183228174071 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 29384704 140725821604274 140725821604450 140725821604450 140725821607887 0
/proc/306/statm: 3495183 378211 3229 1 0 3483476 0
[pid=306/tid=308] ppid=304 vsize=13980732 memory=2532 CPUtime=6.7 cores=0,2,4,6
/proc/306/task/308/stat : 308 (java) R 304 304 16431 0 -1 4202560 12056 0 0 0 651 19 0 0 20 0 15 0 17193956 14316269568 378211 18446744073709551615 4194304 4196468 140725821598496 140183232412760 140182855917422 0 4 1 16800974 0 0 0 -1 0 0 0 3 0 0 6293624 6294260 29384704 140725821604274 140725821604450 140725821604450 140725821607887 0
[pid=306/tid=309] ppid=304 vsize=13980732 memory=1380 CPUtime=0.4 cores=0,2,4,6
/proc/306/task/309/stat : 309 (java) S 304 304 16431 0 -1 1077944384 961 0 0 0 25 15 0 0 20 0 15 0 17193957 14316269568 378211 18446744073709551615 4194304 4196468 140725821598496 140182827834256 140183228184277 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29384704 140725821604274 140725821604450 140725821604450 140725821607887 0
[pid=306/tid=310] ppid=304 vsize=13980732 memory=1503536 CPUtime=0.4 cores=0,2,4,6
/proc/306/task/310/stat : 310 (java) S 304 304 16431 0 -1 1077944384 777 0 0 0 25 15 0 0 20 0 15 0 17193957 14316269568 378211 18446744073709551615 4194304 4196468 140725821598496 140182826781456 140183228184277 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29384704 140725821604274 140725821604450 140725821604450 140725821607887 0
[pid=306/tid=311] ppid=304 vsize=13980732 memory=12908 CPUtime=0.41 cores=0,2,4,6
/proc/306/task/311/stat : 311 (java) S 304 304 16431 0 -1 1077944384 597 0 0 0 26 15 0 0 20 0 15 0 17193957 14316269568 378211 18446744073709551615 4194304 4196468 140725821598496 140182825729168 140183228184277 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29384704 140725821604274 140725821604450 140725821604450 140725821607887 0
[pid=306/tid=312] ppid=304 vsize=13980732 memory=1296 CPUtime=0.41 cores=0,2,4,6
/proc/306/task/312/stat : 312 (java) S 304 304 16431 0 -1 1077944384 518 0 0 0 25 16 0 0 20 0 15 0 17193957 14316269568 378211 18446744073709551615 4194304 4196468 140725821598496 140182824676368 140183228184277 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29384704 140725821604274 140725821604450 140725821604450 140725821607887 0
[pid=306/tid=313] ppid=304 vsize=13980732 memory=2344 CPUtime=0 cores=0,2,4,6
/proc/306/task/313/stat : 313 (java) S 304 304 16431 0 -1 1077944384 1433 0 0 0 0 0 0 0 20 0 15 0 17193958 14316269568 378211 18446744073709551615 4194304 4196468 140725821598496 140182773819504 140183228185218 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 31 0 0 6293624 6294260 29384704 140725821604274 140725821604450 140725821604450 140725821607887 0
[pid=306/tid=314] ppid=304 vsize=13980732 memory=1728 CPUtime=0 cores=0,2,4,6
/proc/306/task/314/stat : 314 (java) S 304 304 16431 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 15 0 17193959 14316269568 378211 18446744073709551615 4194304 4196468 140725821598496 140182772765536 140183228184277 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29384704 140725821604274 140725821604450 140725821604450 140725821607887 0
[pid=306/tid=315] ppid=304 vsize=13980732 memory=11952 CPUtime=0 cores=0,2,4,6
/proc/306/task/315/stat : 315 (java) S 304 304 16431 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 17193959 14316269568 378211 18446744073709551615 4194304 4196468 140725821598496 140182771713136 140183228184277 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29384704 140725821604274 140725821604450 140725821604450 140725821607887 0
[pid=306/tid=316] ppid=304 vsize=13980732 memory=1008 CPUtime=0 cores=0,2,4,6
/proc/306/task/316/stat : 316 (java) S 304 304 16431 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 17193961 14316269568 378211 18446744073709551615 4194304 4196468 140725821598496 140182770661456 140183228192667 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29384704 140725821604274 140725821604450 140725821604450 140725821607887 0
[pid=306/tid=317] ppid=304 vsize=13980732 memory=792 CPUtime=1.63 cores=0,2,4,6
/proc/306/task/317/stat : 317 (java) S 304 304 16431 0 -1 1077944384 4328 0 0 0 163 0 0 0 20 0 15 0 17193961 14316269568 378211 18446744073709551615 4194304 4196468 140725821598496 140182769609328 140183228185218 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29384704 140725821604274 140725821604450 140725821604450 140725821607887 0
[pid=306/tid=318] ppid=304 vsize=13980732 memory=2008 CPUtime=1.51 cores=0,2,4,6
/proc/306/task/318/stat : 318 (java) S 304 304 16431 0 -1 1077944384 4309 0 0 0 150 1 0 0 20 0 15 0 17193961 14316269568 378211 18446744073709551615 4194304 4196468 140725821598496 140182768556528 140183228185218 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29384704 140725821604274 140725821604450 140725821604450 140725821607887 0
[pid=306/tid=319] ppid=304 vsize=13980732 memory=1228 CPUtime=0.64 cores=0,2,4,6
/proc/306/task/319/stat : 319 (java) S 304 304 16431 0 -1 1077944384 2916 0 0 0 63 1 0 0 20 0 15 0 17193961 14316269568 378211 18446744073709551615 4194304 4196468 140725821598496 140182699371376 140183228185218 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 45 0 0 6293624 6294260 29384704 140725821604274 140725821604450 140725821604450 140725821607887 0
[pid=306/tid=320] ppid=304 vsize=13980732 memory=5368 CPUtime=0 cores=0,2,4,6
/proc/306/task/320/stat : 320 (java) S 304 304 16431 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 17193961 14316269568 378211 18446744073709551615 4194304 4196468 140725821598496 140182698318816 140183228184277 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29384704 140725821604274 140725821604450 140725821604450 140725821607887 0
[pid=306/tid=321] ppid=304 vsize=13980732 memory=4612 CPUtime=0 cores=0,2,4,6
/proc/306/task/321/stat : 321 (java) S 304 304 16431 0 -1 1077944384 271 0 0 0 0 0 0 0 20 0 15 0 17193965 14316269568 378211 18446744073709551615 4194304 4196468 140725821598496 140182697265584 140183228185218 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 45 0 0 6293624 6294260 29384704 140725821604274 140725821604450 140725821604450 140725821607887 0
Current children cumulated CPU time: 12.18 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 1514224 KiB

[startup+8.00077 s]*
/proc/loadavg: 1.92 1.64 1.60 4/211 321
/proc/meminfo: memFree=29434024/32770624 swapFree=67108860/67108860
[pid=304] ppid=301 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/304/stat : 304 (xcsp3-exec) S 301 304 16431 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 17193946 9740288 345 18446744073709551615 4194304 5098028 140733160817376 140733160815480 139798456627836 0 65536 5 65538 18446744071579417331 0 0 17 0 0 0 10 0 0 7196144 7232144 17182720 140733160825210 140733160825414 140733160825414 140733160828907 0
/proc/304/statm: 2378 345 289 221 0 87 0
[pid=306] ppid=304 vsize=13980732 memory=1513112 CPUtime=12.68 cores=0,2,4,6
/proc/306/stat : 306 (java) S 304 304 16431 0 -1 1077944320 29493 0 0 0 1181 87 0 0 20 0 15 0 17193956 14316269568 378278 18446744073709551615 4194304 4196468 140725821598496 140725821581040 140183228174071 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 29384704 140725821604274 140725821604450 140725821604450 140725821607887 0
/proc/306/statm: 3495183 378278 3230 1 0 3483476 0
[pid=306/tid=308] ppid=304 vsize=13980732 memory=-8774313645642428999 CPUtime=7.11 cores=0,2,4,6
/proc/306/task/308/stat : 308 (java) R 304 304 16431 0 -1 4202560 12058 0 0 0 692 19 0 0 20 0 15 0 17193956 14316269568 378278 18446744073709551615 4194304 4196468 140725821598496 140183232410848 140182855763363 0 4 1 16800974 0 0 0 -1 0 0 0 3 0 0 6293624 6294260 29384704 140725821604274 140725821604450 140725821604450 140725821607887 0
[pid=306/tid=309] ppid=304 vsize=13980732 memory=6944656592455097440 CPUtime=0.4 cores=0,2,4,6
/proc/306/task/309/stat : 309 (java) S 304 304 16431 0 -1 1077944384 961 0 0 0 25 15 0 0 20 0 15 0 17193957 14316269568 378278 18446744073709551615 4194304 4196468 140725821598496 140182827834256 140183228184277 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29384704 140725821604274 140725821604450 140725821604450 140725821607887 0
[pid=306/tid=310] ppid=304 vsize=13980732 memory=6944656575208382560 CPUtime=0.4 cores=0,2,4,6
/proc/306/task/310/stat : 310 (java) S 304 304 16431 0 -1 1077944384 777 0 0 0 25 15 0 0 20 0 15 0 17193957 14316269568 378278 18446744073709551615 4194304 4196468 140725821598496 140182826781456 140183228184277 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29384704 140725821604274 140725821604450 140725821604450 140725821607887 0
[pid=306/tid=311] ppid=304 vsize=13980732 memory=6944652177228980320 CPUtime=0.41 cores=0,2,4,6
/proc/306/task/311/stat : 311 (java) S 304 304 16431 0 -1 1077944384 597 0 0 0 26 15 0 0 20 0 15 0 17193957 14316269568 378278 18446744073709551615 4194304 4196468 140725821598496 140182825729168 140183228184277 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29384704 140725821604274 140725821604450 140725821604450 140725821607887 0
[pid=306/tid=312] ppid=304 vsize=13980732 memory=6944652177228980320 CPUtime=0.41 cores=0,2,4,6
/proc/306/task/312/stat : 312 (java) S 304 304 16431 0 -1 1077944384 518 0 0 0 25 16 0 0 20 0 15 0 17193957 14316269568 378278 18446744073709551615 4194304 4196468 140725821598496 140182824676368 140183228184277 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29384704 140725821604274 140725821604450 140725821604450 140725821607887 0
[pid=306/tid=313] ppid=304 vsize=13980732 memory=-7390251449858225344 CPUtime=0 cores=0,2,4,6
/proc/306/task/313/stat : 313 (java) S 304 304 16431 0 -1 1077944384 1433 0 0 0 0 0 0 0 20 0 15 0 17193958 14316269568 378278 18446744073709551615 4194304 4196468 140725821598496 140182773819504 140183228185218 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 31 0 0 6293624 6294260 29384704 140725821604274 140725821604450 140725821604450 140725821607887 0
[pid=306/tid=314] ppid=304 vsize=13980732 memory=8514726395714820747 CPUtime=0 cores=0,2,4,6
/proc/306/task/314/stat : 314 (java) S 304 304 16431 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 15 0 17193959 14316269568 378278 18446744073709551615 4194304 4196468 140725821598496 140182772765536 140183228184277 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29384704 140725821604274 140725821604450 140725821604450 140725821607887 0
[pid=306/tid=315] ppid=304 vsize=13980732 memory=8514726395714820747 CPUtime=0 cores=0,2,4,6
/proc/306/task/315/stat : 315 (java) S 304 304 16431 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 17193959 14316269568 378278 18446744073709551615 4194304 4196468 140725821598496 140182771713136 140183228184277 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29384704 140725821604274 140725821604450 140725821604450 140725821607887 0
[pid=306/tid=316] ppid=304 vsize=13980732 memory=4627829660337606006 CPUtime=0 cores=0,2,4,6
/proc/306/task/316/stat : 316 (java) S 304 304 16431 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 17193961 14316269568 378278 18446744073709551615 4194304 4196468 140725821598496 140182770661456 140183228192667 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29384704 140725821604274 140725821604450 140725821604450 140725821607887 0
[pid=306/tid=317] ppid=304 vsize=13980732 memory=-8171376296011865461 CPUtime=1.67 cores=0,2,4,6
/proc/306/task/317/stat : 317 (java) R 304 304 16431 0 -1 4202560 4333 0 0 0 167 0 0 0 20 0 15 0 17193961 14316269568 378278 18446744073709551615 4194304 4196468 140725821598496 140182769609328 140183211677552 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 29384704 140725821604274 140725821604450 140725821604450 140725821607887 0
[pid=306/tid=318] ppid=304 vsize=13980732 memory=0 CPUtime=1.56 cores=0,2,4,6
/proc/306/task/318/stat : 318 (java) S 304 304 16431 0 -1 1077944384 4320 0 0 0 155 1 0 0 20 0 15 0 17193961 14316269568 378278 18446744073709551615 4194304 4196468 140725821598496 140182768556528 140183228185218 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29384704 140725821604274 140725821604450 140725821604450 140725821607887 0
[pid=306/tid=319] ppid=304 vsize=13980732 memory=0 CPUtime=0.64 cores=0,2,4,6
/proc/306/task/319/stat : 319 (java) S 304 304 16431 0 -1 1077944384 2917 0 0 0 63 1 0 0 20 0 15 0 17193961 14316269568 378278 18446744073709551615 4194304 4196468 140725821598496 140182699371376 140183228185218 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 45 0 0 6293624 6294260 29384704 140725821604274 140725821604450 140725821604450 140725821607887 0
[pid=306/tid=320] ppid=304 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/306/task/320/stat : 320 (java) S 304 304 16431 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 17193961 14316269568 378278 18446744073709551615 4194304 4196468 140725821598496 140182698318816 140183228184277 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29384704 140725821604274 140725821604450 140725821604450 140725821607887 0
[pid=306/tid=321] ppid=304 vsize=13980732 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/306/task/321/stat : 321 (java) S 304 304 16431 0 -1 1077944384 271 0 0 0 0 0 0 0 20 0 15 0 17193965 14316269568 378278 18446744073709551615 4194304 4196468 140725821598496 140182697265584 140183228185218 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 45 0 0 6293624 6294260 29384704 140725821604274 140725821604450 140725821604450 140725821607887 0
Current children cumulated CPU time: 12.68 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 1514492 KiB

[startup+8.11032 s]
/proc/loadavg: 1.92 1.64 1.60 4/211 321
/proc/meminfo: memFree=29434024/32770624 swapFree=67108860/67108860
[pid=304] ppid=301 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/304/stat : 304 (xcsp3-exec) S 301 304 16431 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 17193946 9740288 345 18446744073709551615 4194304 5098028 140733160817376 140733160815480 139798456627836 0 65536 5 65538 18446744071579417331 0 0 17 0 0 0 10 0 0 7196144 7232144 17182720 140733160825210 140733160825414 140733160825414 140733160828907 0
/proc/304/statm: 2378 345 289 221 0 87 0
[pid=306] ppid=304 vsize=13980732 memory=1513960 CPUtime=12.89 cores=0,2,4,6
/proc/306/stat : 306 (java) S 304 304 16431 0 -1 1077944320 29700 0 0 0 1202 87 0 0 20 0 15 0 17193956 14316269568 378490 18446744073709551615 4194304 4196468 140725821598496 140725821581040 140183228174071 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 29384704 140725821604274 140725821604450 140725821604450 140725821607887 0
/proc/306/statm: 3495183 378490 3230 1 0 3483476 0
[pid=306/tid=308] ppid=304 vsize=13980732 memory=1502724 CPUtime=7.21 cores=0,2,4,6
/proc/306/task/308/stat : 308 (java) R 304 304 16431 0 -1 4202560 12058 0 0 0 702 19 0 0 20 0 15 0 17193956 14316269568 378490 18446744073709551615 4194304 4196468 140725821598496 140183232410848 140182855918786 0 4 1 16800974 0 0 0 -1 0 0 0 3 0 0 6293624 6294260 29384704 140725821604274 140725821604450 140725821604450 140725821607887 0
[pid=306/tid=309] ppid=304 vsize=13980732 memory=1305676 CPUtime=0.4 cores=0,2,4,6
/proc/306/task/309/stat : 309 (java) S 304 304 16431 0 -1 1077944384 961 0 0 0 25 15 0 0 20 0 15 0 17193957 14316269568 378490 18446744073709551615 4194304 4196468 140725821598496 140182827834256 140183228184277 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29384704 140725821604274 140725821604450 140725821604450 140725821607887 0
[pid=306/tid=310] ppid=304 vsize=13980732 memory=0 CPUtime=0.4 cores=0,2,4,6
/proc/306/task/310/stat : 310 (java) S 304 304 16431 0 -1 1077944384 777 0 0 0 25 15 0 0 20 0 15 0 17193957 14316269568 378490 18446744073709551615 4194304 4196468 140725821598496 140182826781456 140183228184277 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29384704 140725821604274 140725821604450 140725821604450 140725821607887 0
[pid=306/tid=311] ppid=304 vsize=13980732 memory=1503412 CPUtime=0.41 cores=0,2,4,6
/proc/306/task/311/stat : 311 (java) S 304 304 16431 0 -1 1077944384 597 0 0 0 26 15 0 0 20 0 15 0 17193957 14316269568 378490 18446744073709551615 4194304 4196468 140725821598496 140182825729168 140183228184277 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29384704 140725821604274 140725821604450 140725821604450 140725821607887 0
[pid=306/tid=312] ppid=304 vsize=13980732 memory=0 CPUtime=0.41 cores=0,2,4,6
/proc/306/task/312/stat : 312 (java) S 304 304 16431 0 -1 1077944384 518 0 0 0 25 16 0 0 20 0 15 0 17193957 14316269568 378490 18446744073709551615 4194304 4196468 140725821598496 140182824676368 140183228184277 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29384704 140725821604274 140725821604450 140725821604450 140725821607887 0
[pid=306/tid=313] ppid=304 vsize=13980732 memory=6943526294502006880 CPUtime=0 cores=0,2,4,6
/proc/306/task/313/stat : 313 (java) S 304 304 16431 0 -1 1077944384 1433 0 0 0 0 0 0 0 20 0 15 0 17193958 14316269568 378490 18446744073709551615 4194304 4196468 140725821598496 140182773819504 140183228185218 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 31 0 0 6293624 6294260 29384704 140725821604274 140725821604450 140725821604450 140725821607887 0
[pid=306/tid=314] ppid=304 vsize=13980732 memory=4004 CPUtime=0 cores=0,2,4,6
/proc/306/task/314/stat : 314 (java) S 304 304 16431 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 15 0 17193959 14316269568 378490 18446744073709551615 4194304 4196468 140725821598496 140182772765536 140183228184277 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29384704 140725821604274 140725821604450 140725821604450 140725821607887 0
[pid=306/tid=315] ppid=304 vsize=13980732 memory=1156 CPUtime=0 cores=0,2,4,6
/proc/306/task/315/stat : 315 (java) S 304 304 16431 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 17193959 14316269568 378490 18446744073709551615 4194304 4196468 140725821598496 140182771713136 140183228184277 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29384704 140725821604274 140725821604450 140725821604450 140725821607887 0
[pid=306/tid=316] ppid=304 vsize=13980732 memory=2464 CPUtime=0 cores=0,2,4,6
/proc/306/task/316/stat : 316 (java) S 304 304 16431 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 17193961 14316269568 378490 18446744073709551615 4194304 4196468 140725821598496 140182770661456 140183228192667 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29384704 140725821604274 140725821604450 140725821604450 140725821607887 0
[pid=306/tid=317] ppid=304 vsize=13980732 memory=1380 CPUtime=1.77 cores=0,2,4,6
/proc/306/task/317/stat : 317 (java) S 304 304 16431 0 -1 1077944384 4540 0 0 0 177 0 0 0 20 0 15 0 17193961 14316269568 378490 18446744073709551615 4194304 4196468 140725821598496 140182769609328 140183228185218 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29384704 140725821604274 140725821604450 140725821604450 140725821607887 0
[pid=306/tid=318] ppid=304 vsize=13980732 memory=1380 CPUtime=1.56 cores=0,2,4,6
/proc/306/task/318/stat : 318 (java) S 304 304 16431 0 -1 1077944384 4320 0 0 0 155 1 0 0 20 0 15 0 17193961 14316269568 378490 18446744073709551615 4194304 4196468 140725821598496 140182768556528 140183228185218 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29384704 140725821604274 140725821604450 140725821604450 140725821607887 0
[pid=306/tid=319] ppid=304 vsize=13980732 memory=1512820 CPUtime=0.64 cores=0,2,4,6
/proc/306/task/319/stat : 319 (java) S 304 304 16431 0 -1 1077944384 2917 0 0 0 63 1 0 0 20 0 15 0 17193961 14316269568 378490 18446744073709551615 4194304 4196468 140725821598496 140182699371376 140183228185218 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 45 0 0 6293624 6294260 29384704 140725821604274 140725821604450 140725821604450 140725821607887 0
[pid=306/tid=320] ppid=304 vsize=13980732 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/306/task/320/stat : 320 (java) S 304 304 16431 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 17193961 14316269568 378490 18446744073709551615 4194304 4196468 140725821598496 140182698318816 140183228184277 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29384704 140725821604274 140725821604450 140725821604450 140725821607887 0
[pid=306/tid=321] ppid=304 vsize=13980732 memory=1503272 CPUtime=0 cores=0,2,4,6
/proc/306/task/321/stat : 321 (java) S 304 304 16431 0 -1 1077944384 271 0 0 0 0 0 0 0 20 0 15 0 17193965 14316269568 378490 18446744073709551615 4194304 4196468 140725821598496 140182697265584 140183228185218 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 45 0 0 6293624 6294260 29384704 140725821604274 140725821604450 140725821604450 140725821607887 0
Current children cumulated CPU time: 12.89 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 1515340 KiB

Child status: 0
Real time (s): 8.18397
CPU time (s): 12.9869
CPU user time (s): 12.096
CPU system time (s): 0.890916
CPU usage (%): 158.687
Max. virtual memory (cumulated for all children) (KiB): 13990244
Max. memory (cumulated for all children) (KiB): 1515340

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 12.096
system time used= 0.890916
maximum resident set size= 1514316
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 30276
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= 3039
involuntary context switches= 61


# summary of solver processes directly reported to runsolver:
#   pid: 304
#   total CPU time (s): 12.9869
#   total CPU user time (s): 12.096
#   total CPU system time (s): 0.890916

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.062482 second user time and 0.135379 second system time

The end

Launcher Data 

Begin job on node128 at 2017-08-20 01:56:42
IDJOB=4283942
IDBENCH=120977
IDSOLVER=2679
FILE ID=node128/4283942-1503187842
RUNJOBID= node128-1503171959-30214
PBS_JOBID= 
Free space on /tmp= 61996 MiB

SOLVER NAME= choco-solver 5a
BENCH NAME= XCSP17/Random/Random-m1-5-12-12/rand-5-12-12-200-12442-38.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-4283942-1503187842/watcher-4283942-1503187842 -o /tmp/evaluation-result-4283942-1503187842/solver-4283942-1503187842 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node128-1503171959-30214 --watchdog 2580  ./xcsp3-exec -dir HOME -tl 2520 -ml 11000 -tdir HOME -seed 179380291 HOME/instance-4283942-1503187842.xml

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

MD5SUM BENCH= b26246ce3e5ddb90abbf8b583e2fe87c
RANDOM SEED=179380291

node128.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.47
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.47
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.47
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.47
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:        30899344 kB
MemAvailable:   31168320 kB
Buffers:          189868 kB
Cached:           368876 kB
SwapCached:            0 kB
Active:          1130056 kB
Inactive:         332948 kB
Active(anon):     904912 kB
Inactive(anon):    16752 kB
Active(file):     225144 kB
Inactive(file):   316196 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:             36756 kB
Writeback:             4 kB
AnonPages:        904248 kB
Mapped:            45236 kB
Shmem:             17060 kB
Slab:             111804 kB
SReclaimable:      86944 kB
SUnreclaim:        24860 kB
KernelStack:        3424 kB
PageTables:         6964 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    1632196 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    782336 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      116096 kB
DirectMap2M:    33429504 kB

Free space on /tmp at the end= 61988 MiB
End job on node128 at 2017-08-20 01:56:50