Trace number 4282709

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-18)UNSAT 41.883301 38.067101

General information on the benchmark

NameWwtpp/Wwtpp-ord-s1/
Wwtpp-ord-ex03380.xml
MD5SUM4b7737b348ce8099143a34a20635223c
Bench CategoryCSP (decision problem)
Best result obtained on this benchmarkUNSAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark0.400709
Satisfiable
(Un)Satisfiability was proved
Number of variables476
Number of constraints402
Number of domains22
Minimum domain size1
Maximum domain size10001
Distribution of domain sizes[{"size":1,"count":22},{"size":2,"count":92},{"size":1001,"count":46},{"size":1501,"count":46},{"size":2501,"count":46},{"size":3001,"count":46},{"size":5001,"count":88},{"size":10001,"count":90}]
Minimum variable degree1
Maximum variable degree3
Distribution of variable degrees[{"degree":1,"count":16},{"degree":2,"count":29},{"degree":3,"count":431}]
Minimum constraint arity2
Maximum constraint arity24
Distribution of constraint arities[{"arity":2,"count":189},{"arity":3,"count":96},{"arity":4,"count":90},{"arity":10,"count":4},{"arity":11,"count":7},{"arity":12,"count":7},{"arity":13,"count":5},{"arity":14,"count":2},{"arity":23,"count":1},{"arity":24,"count":1}]
Number of extensional constraints192
Number of intensional constraints0
Distribution of constraint types[{"type":"extension","count":192},{"type":"sum","count":210}]
Optimization problemNO
Type of objective

Solver Data 

0.00/0.05	c java -server -Xmx11000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4282709-1503170465.xml"  -tl '2520s' -p 1 -x 0
0.13/0.25	c [HOME/instance-4282709-1503170465.xml, -tl, 2520s, -p, 1, -x, 0]
0.13/0.31	c simple solver
0.33/0.37	c parse instance...
5.47/2.23	c solve instance...
41.81/38.04	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 (15306 MiB free)
  memory of node 1: 16384 MiB (15141 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4282709-1503170465/watcher-4282709-1503170465 -o /tmp/evaluation-result-4282709-1503170465/solver-4282709-1503170465 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node126-1503095802-8615 --watchdog 2580 ./xcsp3-exec -dir HOME -tl 2520 -ml 11000 -tdir HOME -seed 54896850 HOME/instance-4282709-1503170465.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=21298, runsolver pid=21295

[startup+0.10011 s]*
/proc/loadavg: 1.85 1.74 2.06 3/205 21308
/proc/meminfo: memFree=31168064/32770624 swapFree=67105588/67108860
[pid=21298] ppid=21295 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/21298/stat : 21298 (xcsp3-exec) S 21295 21298 8557 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 119241574 9740288 345 18446744073709551615 4194304 5098028 140720596607632 140720596605736 140319999160956 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 5 0 0 7196144 7232144 32526336 140720596611450 140720596611653 140720596611653 140720596615147 0
/proc/21298/statm: 2378 345 289 221 0 87 0
[pid=21300] ppid=21298 vsize=13574484 memory=18340 CPUtime=0.04 cores=0,2,4,6
/proc/21300/stat : 21300 (java) S 21298 21298 8557 0 -1 1077944320 3941 0 0 0 3 1 0 0 20 0 9 0 119241580 13900271616 4585 18446744073709551615 4194304 4196468 140731975576112 140731975558656 140607874985719 0 0 1 16800970 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 8769536 140731975578033 140731975578209 140731975578209 140731975581647 0
/proc/21300/statm: 3393621 4585 2137 1 0 3383118 0
[pid=21300/tid=21301] ppid=21298 vsize=13574484 memory=-8713483618642983523 CPUtime=0.03 cores=0,2,4,6
/proc/21300/task/21301/stat : 21301 (java) R 21298 21298 8557 0 -1 4202560 2644 0 0 0 3 0 0 0 20 0 9 0 119241580 13900271616 4585 18446744073709551615 4194304 4196468 140731975576112 140607879221112 140607875007645 0 4 1 16800970 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 8769536 140731975578033 140731975578209 140731975578209 140731975581647 0
[pid=21300/tid=21302] ppid=21298 vsize=13574484 memory=-8458152057954561420 CPUtime=0 cores=0,2,4,6
/proc/21300/task/21302/stat : 21302 (java) S 21298 21298 8557 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 9 0 119241581 13900271616 4585 18446744073709551615 4194304 4196468 140731975576112 140607835884176 140607874995925 0 4 1 16800970 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8769536 140731975578033 140731975578209 140731975578209 140731975581647 0
[pid=21300/tid=21303] ppid=21298 vsize=13574484 memory=140118389220992 CPUtime=0 cores=0,2,4,6
/proc/21300/task/21303/stat : 21303 (java) S 21298 21298 8557 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 9 0 119241581 13900271616 4585 18446744073709551615 4194304 4196468 140731975576112 140607473773072 140607874995925 0 4 1 16800970 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8769536 140731975578033 140731975578209 140731975578209 140731975581647 0
[pid=21300/tid=21304] ppid=21298 vsize=13574484 memory=0 CPUtime=0 cores=0,2,4,6
/proc/21300/task/21304/stat : 21304 (java) S 21298 21298 8557 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 9 0 119241581 13900271616 4585 18446744073709551615 4194304 4196468 140731975576112 140607472720272 140607874995925 0 4 1 16800970 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8769536 140731975578033 140731975578209 140731975578209 140731975581647 0
[pid=21300/tid=21305] ppid=21298 vsize=13574484 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/21300/task/21305/stat : 21305 (java) S 21298 21298 8557 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 9 0 119241581 13900271616 4585 18446744073709551615 4194304 4196468 140731975576112 140607471667472 140607874995925 0 4 1 16800970 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8769536 140731975578033 140731975578209 140731975578209 140731975581647 0
[pid=21300/tid=21306] ppid=21298 vsize=13574484 memory=140118389220992 CPUtime=0 cores=0,2,4,6
/proc/21300/task/21306/stat : 21306 (java) S 21298 21298 8557 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 9 0 119241582 13900271616 4585 18446744073709551615 4194304 4196468 140731975576112 140607353600880 140607874996866 0 0 1 16800970 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8769536 140731975578033 140731975578209 140731975578209 140731975581647 0
[pid=21300/tid=21307] ppid=21298 vsize=13574484 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/21300/task/21307/stat : 21307 (java) S 21298 21298 8557 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 9 0 119241583 13900271616 4585 18446744073709551615 4194304 4196468 140731975576112 140607352546848 140607874995925 0 4 1 16800970 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8769536 140731975578033 140731975578209 140731975578209 140731975581647 0
[pid=21300/tid=21308] ppid=21298 vsize=13574484 memory=0 CPUtime=0 cores=0,2,4,6
/proc/21300/task/21308/stat : 21308 (java) S 21298 21298 8557 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 9 0 119241583 13900271616 4585 18446744073709551615 4194304 4196468 140731975576112 140607351494000 140607874995925 0 4 1 16800970 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8769536 140731975578033 140731975578209 140731975578209 140731975581647 0
Current children cumulated CPU time: 0.04 s
Current children cumulated vsize: 13583996 KiB
Current children cumulated memory: 19720 KiB

[startup+0.210605 s]*
/proc/loadavg: 1.85 1.74 2.06 4/211 21314
/proc/meminfo: memFree=31160996/32770624 swapFree=67105588/67108860
[pid=21298] ppid=21295 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/21298/stat : 21298 (xcsp3-exec) S 21295 21298 8557 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 119241574 9740288 345 18446744073709551615 4194304 5098028 140720596607632 140720596605736 140319999160956 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 5 0 0 7196144 7232144 32526336 140720596611450 140720596611653 140720596611653 140720596615147 0
/proc/21298/statm: 2378 345 289 221 0 87 0
[pid=21300] ppid=21298 vsize=13974352 memory=28232 CPUtime=0.13 cores=0,2,4,6
/proc/21300/stat : 21300 (java) S 21298 21298 8557 0 -1 1077944320 5471 0 0 0 12 1 0 0 20 0 15 0 119241580 14309736448 7058 18446744073709551615 4194304 4196468 140731975576112 140731975558656 140607874985719 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 8769536 140731975578033 140731975578209 140731975578209 140731975581647 0
/proc/21300/statm: 3493588 7058 2884 1 0 3482964 0
[pid=21300/tid=21301] ppid=21298 vsize=13974352 memory=7311146985107750967 CPUtime=0.09 cores=0,2,4,6
/proc/21300/task/21301/stat : 21301 (java) R 21298 21298 8557 0 -1 4202560 3390 0 0 0 9 0 0 0 20 0 15 0 119241580 14309736448 7058 18446744073709551615 4194304 4196468 140731975576112 140607879210128 140607874997654 0 4 1 16800974 0 0 0 -1 0 0 0 4 0 0 6293624 6294260 8769536 140731975578033 140731975578209 140731975578209 140731975581647 0
[pid=21300/tid=21302] ppid=21298 vsize=13974352 memory=8893 CPUtime=0 cores=0,2,4,6
/proc/21300/task/21302/stat : 21302 (java) S 21298 21298 8557 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 119241581 14309736448 7058 18446744073709551615 4194304 4196468 140731975576112 140607835884176 140607874995925 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8769536 140731975578033 140731975578209 140731975578209 140731975581647 0
[pid=21300/tid=21303] ppid=21298 vsize=13974352 memory=140118389240897 CPUtime=0 cores=0,2,4,6
/proc/21300/task/21303/stat : 21303 (java) S 21298 21298 8557 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 119241581 14309736448 7058 18446744073709551615 4194304 4196468 140731975576112 140607473773072 140607874995925 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8769536 140731975578033 140731975578209 140731975578209 140731975581647 0
[pid=21300/tid=21304] ppid=21298 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/21300/task/21304/stat : 21304 (java) S 21298 21298 8557 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 119241581 14309736448 7058 18446744073709551615 4194304 4196468 140731975576112 140607472720272 140607874995925 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8769536 140731975578033 140731975578209 140731975578209 140731975581647 0
[pid=21300/tid=21305] ppid=21298 vsize=13974352 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/21300/task/21305/stat : 21305 (java) S 21298 21298 8557 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 119241581 14309736448 7058 18446744073709551615 4194304 4196468 140731975576112 140607471667472 140607874995925 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8769536 140731975578033 140731975578209 140731975578209 140731975581647 0
[pid=21300/tid=21306] ppid=21298 vsize=13974352 memory=140118389220992 CPUtime=0 cores=0,2,4,6
/proc/21300/task/21306/stat : 21306 (java) S 21298 21298 8557 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 119241582 14309736448 7058 18446744073709551615 4194304 4196468 140731975576112 140607353600880 140607874996866 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8769536 140731975578033 140731975578209 140731975578209 140731975581647 0
[pid=21300/tid=21307] ppid=21298 vsize=13974352 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/21300/task/21307/stat : 21307 (java) S 21298 21298 8557 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 119241583 14309736448 7058 18446744073709551615 4194304 4196468 140731975576112 140607352546848 140607874995925 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8769536 140731975578033 140731975578209 140731975578209 140731975581647 0
[pid=21300/tid=21308] ppid=21298 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/21300/task/21308/stat : 21308 (java) S 21298 21298 8557 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 119241583 14309736448 7058 18446744073709551615 4194304 4196468 140731975576112 140607351494000 140607874995925 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8769536 140731975578033 140731975578209 140731975578209 140731975581647 0
[pid=21300/tid=21309] ppid=21298 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/21300/task/21309/stat : 21309 (java) S 21298 21298 8557 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 119241585 14309736448 7058 18446744073709551615 4194304 4196468 140731975576112 140607350442320 140607875004315 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8769536 140731975578033 140731975578209 140731975578209 140731975581647 0
[pid=21300/tid=21310] ppid=21298 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/21300/task/21310/stat : 21310 (java) S 21298 21298 8557 0 -1 1077944384 416 0 0 0 0 0 0 0 20 0 15 0 119241586 14309736448 7058 18446744073709551615 4194304 4196468 140731975576112 140607349389680 140607874996866 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8769536 140731975578033 140731975578209 140731975578209 140731975581647 0
[pid=21300/tid=21311] ppid=21298 vsize=13974352 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/21300/task/21311/stat : 21311 (java) S 21298 21298 8557 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 119241586 14309736448 7058 18446744073709551615 4194304 4196468 140731975576112 140607348336880 140607874996866 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8769536 140731975578033 140731975578209 140731975578209 140731975581647 0
[pid=21300/tid=21312] ppid=21298 vsize=13974352 memory=140118389220992 CPUtime=0.02 cores=0,2,4,6
/proc/21300/task/21312/stat : 21312 (java) R 21298 21298 8557 0 -1 4202560 356 0 0 0 2 0 0 0 20 0 15 0 119241586 14309736448 7058 18446744073709551615 4194304 4196468 140731975576112 140607347284080 140607874997654 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 8769536 140731975578033 140731975578209 140731975578209 140731975581647 0
[pid=21300/tid=21313] ppid=21298 vsize=13974352 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/21300/task/21313/stat : 21313 (java) S 21298 21298 8557 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 119241586 14309736448 7058 18446744073709551615 4194304 4196468 140731975576112 140607346231520 140607874995925 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8769536 140731975578033 140731975578209 140731975578209 140731975581647 0
[pid=21300/tid=21314] ppid=21298 vsize=13974352 memory=140118389220992 CPUtime=0 cores=0,2,4,6
/proc/21300/task/21314/stat : 21314 (java) S 21298 21298 8557 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 119241591 14309736448 7058 18446744073709551615 4194304 4196468 140731975576112 140607345179824 140607874996866 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8769536 140731975578033 140731975578209 140731975578209 140731975581647 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 13983864 KiB
Current children cumulated memory: 29612 KiB

[startup+0.310354 s]*
/proc/loadavg: 1.85 1.74 2.06 4/211 21314
/proc/meminfo: memFree=31147280/32770624 swapFree=67105588/67108860
[pid=21298] ppid=21295 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/21298/stat : 21298 (xcsp3-exec) S 21295 21298 8557 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 119241574 9740288 345 18446744073709551615 4194304 5098028 140720596607632 140720596605736 140319999160956 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 5 0 0 7196144 7232144 32526336 140720596611450 140720596611653 140720596611653 140720596615147 0
/proc/21298/statm: 2378 345 289 221 0 87 0
[pid=21300] ppid=21298 vsize=13978608 memory=40364 CPUtime=0.33 cores=0,2,4,6
/proc/21300/stat : 21300 (java) S 21298 21298 8557 0 -1 1077944320 9291 0 0 0 30 3 0 0 20 0 15 0 119241580 14314094592 10091 18446744073709551615 4194304 4196468 140731975576112 140731975558656 140607874985719 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 8769536 140731975578033 140731975578209 140731975578209 140731975581647 0
/proc/21300/statm: 3494652 10091 3041 1 0 3482964 0
[pid=21300/tid=21301] ppid=21298 vsize=13978608 memory=-8774313645642428999 CPUtime=0.2 cores=0,2,4,6
/proc/21300/task/21301/stat : 21301 (java) R 21298 21298 8557 0 -1 4202560 6351 0 0 0 18 2 0 0 20 0 15 0 119241580 14314094592 10091 18446744073709551615 4194304 4196468 140731975576112 140607879208976 140607875007645 0 4 1 16800974 0 0 0 -1 2 0 0 4 0 0 6293624 6294260 8769536 140731975578033 140731975578209 140731975578209 140731975581647 0
[pid=21300/tid=21302] ppid=21298 vsize=13978608 memory=4872558044660077418 CPUtime=0 cores=0,2,4,6
/proc/21300/task/21302/stat : 21302 (java) S 21298 21298 8557 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 119241581 14314094592 10091 18446744073709551615 4194304 4196468 140731975576112 140607835884176 140607874995925 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8769536 140731975578033 140731975578209 140731975578209 140731975581647 0
[pid=21300/tid=21303] ppid=21298 vsize=13978608 memory=0 CPUtime=0 cores=0,2,4,6
/proc/21300/task/21303/stat : 21303 (java) S 21298 21298 8557 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 119241581 14314094592 10091 18446744073709551615 4194304 4196468 140731975576112 140607473773072 140607874995925 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8769536 140731975578033 140731975578209 140731975578209 140731975581647 0
[pid=21300/tid=21304] ppid=21298 vsize=13978608 memory=0 CPUtime=0 cores=0,2,4,6
/proc/21300/task/21304/stat : 21304 (java) S 21298 21298 8557 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 119241581 14314094592 10091 18446744073709551615 4194304 4196468 140731975576112 140607472720272 140607874995925 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8769536 140731975578033 140731975578209 140731975578209 140731975581647 0
[pid=21300/tid=21305] ppid=21298 vsize=13978608 memory=0 CPUtime=0 cores=0,2,4,6
/proc/21300/task/21305/stat : 21305 (java) S 21298 21298 8557 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 119241581 14314094592 10091 18446744073709551615 4194304 4196468 140731975576112 140607471667472 140607874995925 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8769536 140731975578033 140731975578209 140731975578209 140731975581647 0
[pid=21300/tid=21306] ppid=21298 vsize=13978608 memory=0 CPUtime=0 cores=0,2,4,6
/proc/21300/task/21306/stat : 21306 (java) S 21298 21298 8557 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 119241582 14314094592 10091 18446744073709551615 4194304 4196468 140731975576112 140607353600880 140607874996866 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8769536 140731975578033 140731975578209 140731975578209 140731975581647 0
[pid=21300/tid=21307] ppid=21298 vsize=13978608 memory=0 CPUtime=0 cores=0,2,4,6
/proc/21300/task/21307/stat : 21307 (java) S 21298 21298 8557 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 119241583 14314094592 10091 18446744073709551615 4194304 4196468 140731975576112 140607352546848 140607874995925 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8769536 140731975578033 140731975578209 140731975578209 140731975581647 0
[pid=21300/tid=21308] ppid=21298 vsize=13978608 memory=0 CPUtime=0 cores=0,2,4,6
/proc/21300/task/21308/stat : 21308 (java) S 21298 21298 8557 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 119241583 14314094592 10091 18446744073709551615 4194304 4196468 140731975576112 140607351494000 140607874995925 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8769536 140731975578033 140731975578209 140731975578209 140731975581647 0
[pid=21300/tid=21309] ppid=21298 vsize=13978608 memory=0 CPUtime=0 cores=0,2,4,6
/proc/21300/task/21309/stat : 21309 (java) S 21298 21298 8557 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 119241585 14314094592 10091 18446744073709551615 4194304 4196468 140731975576112 140607350442320 140607875004315 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8769536 140731975578033 140731975578209 140731975578209 140731975581647 0
[pid=21300/tid=21310] ppid=21298 vsize=13978608 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/21300/task/21310/stat : 21310 (java) S 21298 21298 8557 0 -1 1077944384 727 0 0 0 2 0 0 0 20 0 15 0 119241586 14314094592 10091 18446744073709551615 4194304 4196468 140731975576112 140607349389680 140607874996866 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8769536 140731975578033 140731975578209 140731975578209 140731975581647 0
[pid=21300/tid=21311] ppid=21298 vsize=13978608 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/21300/task/21311/stat : 21311 (java) R 21298 21298 8557 0 -1 1077944384 166 0 0 0 2 0 0 0 20 0 15 0 119241586 14314094592 10091 18446744073709551615 4194304 4196468 140731975576112 140607348336880 140607874996866 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 8769536 140731975578033 140731975578209 140731975578209 140731975581647 0
[pid=21300/tid=21312] ppid=21298 vsize=13978608 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/21300/task/21312/stat : 21312 (java) R 21298 21298 8557 0 -1 4202560 741 0 0 0 7 0 0 0 20 0 15 0 119241586 14314094592 10091 18446744073709551615 4194304 4196468 140731975576112 140607347284080 140607853943638 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 8769536 140731975578033 140731975578209 140731975578209 140731975581647 0
[pid=21300/tid=21313] ppid=21298 vsize=13978608 memory=0 CPUtime=0 cores=0,2,4,6
/proc/21300/task/21313/stat : 21313 (java) S 21298 21298 8557 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 119241586 14314094592 10091 18446744073709551615 4194304 4196468 140731975576112 140607346231520 140607874995925 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8769536 140731975578033 140731975578209 140731975578209 140731975581647 0
[pid=21300/tid=21314] ppid=21298 vsize=13978608 memory=0 CPUtime=0 cores=0,2,4,6
/proc/21300/task/21314/stat : 21314 (java) S 21298 21298 8557 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 119241591 14314094592 10091 18446744073709551615 4194304 4196468 140731975576112 140607345179824 140607874996866 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8769536 140731975578033 140731975578209 140731975578209 140731975581647 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 13988120 KiB
Current children cumulated memory: 41744 KiB

[startup+0.701369 s]
/proc/loadavg: 1.85 1.74 2.06 5/211 21314
/proc/meminfo: memFree=31136424/32770624 swapFree=67105588/67108860
[pid=21298] ppid=21295 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/21298/stat : 21298 (xcsp3-exec) S 21295 21298 8557 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 119241574 9740288 345 18446744073709551615 4194304 5098028 140720596607632 140720596605736 140319999160956 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 5 0 0 7196144 7232144 32526336 140720596611450 140720596611653 140720596611653 140720596615147 0
/proc/21298/statm: 2378 345 289 221 0 87 0
[pid=21300] ppid=21298 vsize=13978684 memory=123184 CPUtime=1.34 cores=0,2,4,6
/proc/21300/stat : 21300 (java) S 21298 21298 8557 0 -1 1077944320 13219 0 0 0 128 6 0 0 20 0 15 0 119241580 14314172416 30796 18446744073709551615 4194304 4196468 140731975576112 140731975558656 140607874985719 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 8769536 140731975578033 140731975578209 140731975578209 140731975581647 0
/proc/21300/statm: 3494671 30796 3168 1 0 3482964 0
[pid=21300/tid=21301] ppid=21298 vsize=13978684 memory=6298654963688298593 CPUtime=0.58 cores=0,2,4,6
/proc/21300/task/21301/stat : 21301 (java) R 21298 21298 8557 0 -1 4202560 7877 0 0 0 54 4 0 0 20 0 15 0 119241580 14314172416 30796 18446744073709551615 4194304 4196468 140731975576112 140607879221776 140607518470351 0 4 1 16800974 0 0 0 -1 2 0 0 4 0 0 6293624 6294260 8769536 140731975578033 140731975578209 140731975578209 140731975581647 0
[pid=21300/tid=21302] ppid=21298 vsize=13978684 memory=5937270905093056086 CPUtime=0 cores=0,2,4,6
/proc/21300/task/21302/stat : 21302 (java) S 21298 21298 8557 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 119241581 14314172416 30796 18446744073709551615 4194304 4196468 140731975576112 140607835884176 140607874995925 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8769536 140731975578033 140731975578209 140731975578209 140731975581647 0
[pid=21300/tid=21303] ppid=21298 vsize=13978684 memory=7739276948477859686 CPUtime=0 cores=0,2,4,6
/proc/21300/task/21303/stat : 21303 (java) S 21298 21298 8557 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 119241581 14314172416 30796 18446744073709551615 4194304 4196468 140731975576112 140607473773072 140607874995925 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8769536 140731975578033 140731975578209 140731975578209 140731975581647 0
[pid=21300/tid=21304] ppid=21298 vsize=13978684 memory=-8382737753049505125 CPUtime=0 cores=0,2,4,6
/proc/21300/task/21304/stat : 21304 (java) S 21298 21298 8557 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 119241581 14314172416 30796 18446744073709551615 4194304 4196468 140731975576112 140607472720272 140607874995925 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8769536 140731975578033 140731975578209 140731975578209 140731975581647 0
[pid=21300/tid=21305] ppid=21298 vsize=13978684 memory=6655300316396806240 CPUtime=0 cores=0,2,4,6
/proc/21300/task/21305/stat : 21305 (java) S 21298 21298 8557 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 119241581 14314172416 30796 18446744073709551615 4194304 4196468 140731975576112 140607471667472 140607874995925 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8769536 140731975578033 140731975578209 140731975578209 140731975581647 0
[pid=21300/tid=21306] ppid=21298 vsize=13978684 memory=0 CPUtime=0 cores=0,2,4,6
/proc/21300/task/21306/stat : 21306 (java) S 21298 21298 8557 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 119241582 14314172416 30796 18446744073709551615 4194304 4196468 140731975576112 140607353600880 140607874996866 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8769536 140731975578033 140731975578209 140731975578209 140731975581647 0
[pid=21300/tid=21307] ppid=21298 vsize=13978684 memory=0 CPUtime=0 cores=0,2,4,6
/proc/21300/task/21307/stat : 21307 (java) S 21298 21298 8557 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 119241583 14314172416 30796 18446744073709551615 4194304 4196468 140731975576112 140607352546848 140607874995925 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8769536 140731975578033 140731975578209 140731975578209 140731975581647 0
[pid=21300/tid=21308] ppid=21298 vsize=13978684 memory=6378026435750 CPUtime=0 cores=0,2,4,6
/proc/21300/task/21308/stat : 21308 (java) S 21298 21298 8557 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 119241583 14314172416 30796 18446744073709551615 4194304 4196468 140731975576112 140607351494000 140607874995925 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8769536 140731975578033 140731975578209 140731975578209 140731975581647 0
[pid=21300/tid=21309] ppid=21298 vsize=13978684 memory=288230617509003574 CPUtime=0 cores=0,2,4,6
/proc/21300/task/21309/stat : 21309 (java) S 21298 21298 8557 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 119241585 14314172416 30796 18446744073709551615 4194304 4196468 140731975576112 140607350442320 140607875004315 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8769536 140731975578033 140731975578209 140731975578209 140731975581647 0
[pid=21300/tid=21310] ppid=21298 vsize=13978684 memory=15540738687502695 CPUtime=0.25 cores=0,2,4,6
/proc/21300/task/21310/stat : 21310 (java) R 21298 21298 8557 0 -1 4202560 1545 0 0 0 25 0 0 0 20 0 15 0 119241586 14314172416 30796 18446744073709551615 4194304 4196468 140731975576112 140607349377232 140607852827856 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 8769536 140731975578033 140731975578209 140731975578209 140731975581647 0
[pid=21300/tid=21311] ppid=21298 vsize=13978684 memory=644 CPUtime=0.22 cores=0,2,4,6
/proc/21300/task/21311/stat : 21311 (java) R 21298 21298 8557 0 -1 4202560 1090 0 0 0 22 0 0 0 20 0 15 0 119241586 14314172416 30796 18446744073709551615 4194304 4196468 140731975576112 140607348323424 140607858370939 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 8769536 140731975578033 140731975578209 140731975578209 140731975581647 0
[pid=21300/tid=21312] ppid=21298 vsize=13978684 memory=1740 CPUtime=0.26 cores=0,2,4,6
/proc/21300/task/21312/stat : 21312 (java) S 21298 21298 8557 0 -1 1077944384 1398 0 0 0 26 0 0 0 20 0 15 0 119241586 14314172416 30796 18446744073709551615 4194304 4196468 140731975576112 140607347284080 140607874996866 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8769536 140731975578033 140731975578209 140731975578209 140731975581647 0
[pid=21300/tid=21313] ppid=21298 vsize=13978684 memory=956 CPUtime=0 cores=0,2,4,6
/proc/21300/task/21313/stat : 21313 (java) S 21298 21298 8557 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 119241586 14314172416 30796 18446744073709551615 4194304 4196468 140731975576112 140607346231520 140607874995925 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8769536 140731975578033 140731975578209 140731975578209 140731975581647 0
[pid=21300/tid=21314] ppid=21298 vsize=13978684 memory=1232 CPUtime=0 cores=0,2,4,6
/proc/21300/task/21314/stat : 21314 (java) S 21298 21298 8557 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 119241591 14314172416 30796 18446744073709551615 4194304 4196468 140731975576112 140607345179824 140607874996866 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8769536 140731975578033 140731975578209 140731975578209 140731975581647 0
Current children cumulated CPU time: 1.34 s
Current children cumulated vsize: 13988196 KiB
Current children cumulated memory: 124564 KiB

[startup+1.50138 s]
/proc/loadavg: 1.85 1.74 2.06 6/211 21314
/proc/meminfo: memFree=30991452/32770624 swapFree=67105588/67108860
[pid=21298] ppid=21295 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/21298/stat : 21298 (xcsp3-exec) S 21295 21298 8557 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 119241574 9740288 345 18446744073709551615 4194304 5098028 140720596607632 140720596605736 140319999160956 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 5 0 0 7196144 7232144 32526336 140720596611450 140720596611653 140720596611653 140720596615147 0
/proc/21298/statm: 2378 345 289 221 0 87 0
[pid=21300] ppid=21298 vsize=13980732 memory=769796 CPUtime=3.39 cores=0,2,4,6
/proc/21300/stat : 21300 (java) S 21298 21298 8557 0 -1 1077944320 32257 0 0 0 277 62 0 0 20 0 15 0 119241580 14316269568 192449 18446744073709551615 4194304 4196468 140731975576112 140731975558656 140607874985719 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 8769536 140731975578033 140731975578209 140731975578209 140731975581647 0
/proc/21300/statm: 3495183 192449 3215 1 0 3483476 0
[pid=21300/tid=21301] ppid=21298 vsize=13980732 memory=-8774313645642428999 CPUtime=1.11 cores=0,2,4,6
/proc/21300/task/21301/stat : 21301 (java) S 21298 21298 8557 0 -1 1077944384 8538 0 0 0 104 7 0 0 20 0 15 0 119241580 14316269568 192449 18446744073709551615 4194304 4196468 140731975576112 140607879222864 140607874995925 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 4 0 0 6293624 6294260 8769536 140731975578033 140731975578209 140731975578209 140731975581647 0
[pid=21300/tid=21302] ppid=21298 vsize=13980732 memory=0 CPUtime=0.25 cores=0,2,4,6
/proc/21300/task/21302/stat : 21302 (java) R 21298 21298 8557 0 -1 4202560 4192 0 0 0 13 12 0 0 20 0 15 0 119241581 14316269568 192449 18446744073709551615 4194304 4196468 140731975576112 140607835884176 140607859683358 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 8769536 140731975578033 140731975578209 140731975578209 140731975581647 0
[pid=21300/tid=21303] ppid=21298 vsize=13980732 memory=0 CPUtime=0.24 cores=0,2,4,6
/proc/21300/task/21303/stat : 21303 (java) R 21298 21298 8557 0 -1 4202560 4429 0 0 0 12 12 0 0 20 0 15 0 119241581 14316269568 192449 18446744073709551615 4194304 4196468 140731975576112 140607473773072 140607859936397 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 8769536 140731975578033 140731975578209 140731975578209 140731975581647 0
[pid=21300/tid=21304] ppid=21298 vsize=13980732 memory=0 CPUtime=0.25 cores=0,2,4,6
/proc/21300/task/21304/stat : 21304 (java) R 21298 21298 8557 0 -1 4202560 4287 0 0 0 12 13 0 0 20 0 15 0 119241581 14316269568 192449 18446744073709551615 4194304 4196468 140731975576112 140607472720272 140607859936849 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 8769536 140731975578033 140731975578209 140731975578209 140731975581647 0
[pid=21300/tid=21305] ppid=21298 vsize=13980732 memory=0 CPUtime=0.24 cores=0,2,4,6

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

/proc/21298/stat : 21298 (xcsp3-exec) S 21295 21298 8557 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 119241574 9740288 345 18446744073709551615 4194304 5098028 140720596607632 140720596605736 140319999160956 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 5 0 0 7196144 7232144 32526336 140720596611450 140720596611653 140720596611653 140720596615147 0
/proc/21298/statm: 2378 345 289 221 0 87 0
[pid=21300] ppid=21298 vsize=13980732 memory=1048276 CPUtime=38.94 cores=0,2,4,6
/proc/21300/stat : 21300 (java) S 21298 21298 8557 0 -1 1077944320 56459 0 0 0 3798 96 0 0 20 0 15 0 119241580 14316269568 262069 18446744073709551615 4194304 4196468 140731975576112 140731975558656 140607874985719 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 8769536 140731975578033 140731975578209 140731975578209 140731975581647 0
/proc/21300/statm: 3495183 262069 3234 1 0 3483476 0
[pid=21300/tid=21301] ppid=21298 vsize=13980732 memory=8389687274685018930 CPUtime=34.31 cores=0,2,4,6
/proc/21300/task/21301/stat : 21301 (java) R 21298 21298 8557 0 -1 4202560 27050 0 0 0 3423 8 0 0 20 0 15 0 119241580 14316269568 262069 18446744073709551615 4194304 4196468 140731975576112 140607879224840 140607520114570 0 4 1 16800974 0 0 0 -1 0 0 0 4 0 0 6293624 6294260 8769536 140731975578033 140731975578209 140731975578209 140731975581647 0
[pid=21300/tid=21302] ppid=21298 vsize=13980732 memory=7449279377394185010 CPUtime=0.71 cores=0,2,4,6
/proc/21300/task/21302/stat : 21302 (java) S 21298 21298 8557 0 -1 1077944384 4615 0 0 0 50 21 0 0 20 0 15 0 119241581 14316269568 262069 18446744073709551615 4194304 4196468 140731975576112 140607835884176 140607874995925 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8769536 140731975578033 140731975578209 140731975578209 140731975581647 0
[pid=21300/tid=21303] ppid=21298 vsize=13980732 memory=8463433718482220082 CPUtime=0.7 cores=0,2,4,6
/proc/21300/task/21303/stat : 21303 (java) S 21298 21298 8557 0 -1 1077944384 4672 0 0 0 49 21 0 0 20 0 15 0 119241581 14316269568 262069 18446744073709551615 4194304 4196468 140731975576112 140607473773072 140607874995925 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8769536 140731975578033 140731975578209 140731975578209 140731975581647 0
[pid=21300/tid=21304] ppid=21298 vsize=13980732 memory=1048276 CPUtime=0.69 cores=0,2,4,6
/proc/21300/task/21304/stat : 21304 (java) S 21298 21298 8557 0 -1 1077944384 4492 0 0 0 48 21 0 0 20 0 15 0 119241581 14316269568 262069 18446744073709551615 4194304 4196468 140731975576112 140607472720272 140607874995925 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8769536 140731975578033 140731975578209 140731975578209 140731975581647 0
[pid=21300/tid=21305] ppid=21298 vsize=13980732 memory=1380 CPUtime=0.69 cores=0,2,4,6
/proc/21300/task/21305/stat : 21305 (java) S 21298 21298 8557 0 -1 1077944384 5243 0 0 0 49 20 0 0 20 0 15 0 119241581 14316269568 262069 18446744073709551615 4194304 4196468 140731975576112 140607471667472 140607874995925 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8769536 140731975578033 140731975578209 140731975578209 140731975581647 0
[pid=21300/tid=21306] ppid=21298 vsize=13980732 memory=1048224 CPUtime=0.03 cores=0,2,4,6
/proc/21300/task/21306/stat : 21306 (java) S 21298 21298 8557 0 -1 1077944384 1042 0 0 0 3 0 0 0 20 0 15 0 119241582 14316269568 262069 18446744073709551615 4194304 4196468 140731975576112 140607353600880 140607874996866 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8769536 140731975578033 140731975578209 140731975578209 140731975581647 0
[pid=21300/tid=21307] ppid=21298 vsize=13980732 memory=956 CPUtime=0 cores=0,2,4,6
/proc/21300/task/21307/stat : 21307 (java) S 21298 21298 8557 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 119241583 14316269568 262069 18446744073709551615 4194304 4196468 140731975576112 140607352546912 140607874995925 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8769536 140731975578033 140731975578209 140731975578209 140731975581647 0
[pid=21300/tid=21308] ppid=21298 vsize=13980732 memory=1232 CPUtime=0 cores=0,2,4,6
/proc/21300/task/21308/stat : 21308 (java) S 21298 21298 8557 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 15 0 119241583 14316269568 262069 18446744073709551615 4194304 4196468 140731975576112 140607351494000 140607874995925 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8769536 140731975578033 140731975578209 140731975578209 140731975581647 0
[pid=21300/tid=21309] ppid=21298 vsize=13980732 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/21300/task/21309/stat : 21309 (java) S 21298 21298 8557 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 119241585 14316269568 262069 18446744073709551615 4194304 4196468 140731975576112 140607350442320 140607875004315 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8769536 140731975578033 140731975578209 140731975578209 140731975581647 0
[pid=21300/tid=21310] ppid=21298 vsize=13980732 memory=1048224 CPUtime=0.69 cores=0,2,4,6
/proc/21300/task/21310/stat : 21310 (java) S 21298 21298 8557 0 -1 1077944384 3045 0 0 0 69 0 0 0 20 0 15 0 119241586 14316269568 262069 18446744073709551615 4194304 4196468 140731975576112 140607349389680 140607874996866 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8769536 140731975578033 140731975578209 140731975578209 140731975581647 0
[pid=21300/tid=21311] ppid=21298 vsize=13980732 memory=2728 CPUtime=0.61 cores=0,2,4,6
/proc/21300/task/21311/stat : 21311 (java) S 21298 21298 8557 0 -1 1077944384 2466 0 0 0 61 0 0 0 20 0 15 0 119241586 14316269568 262069 18446744073709551615 4194304 4196468 140731975576112 140607348336880 140607874996866 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8769536 140731975578033 140731975578209 140731975578209 140731975581647 0
[pid=21300/tid=21312] ppid=21298 vsize=13980732 memory=1380 CPUtime=0.42 cores=0,2,4,6
/proc/21300/task/21312/stat : 21312 (java) S 21298 21298 8557 0 -1 1077944384 2073 0 0 0 42 0 0 0 20 0 15 0 119241586 14316269568 262069 18446744073709551615 4194304 4196468 140731975576112 140607347284080 140607874996866 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8769536 140731975578033 140731975578209 140731975578209 140731975581647 0
[pid=21300/tid=21313] ppid=21298 vsize=13980732 memory=1048212 CPUtime=0 cores=0,2,4,6
/proc/21300/task/21313/stat : 21313 (java) S 21298 21298 8557 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 119241586 14316269568 262069 18446744073709551615 4194304 4196468 140731975576112 140607346231520 140607874995925 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8769536 140731975578033 140731975578209 140731975578209 140731975581647 0
[pid=21300/tid=21314] ppid=21298 vsize=13980732 memory=4144 CPUtime=0 cores=0,2,4,6
/proc/21300/task/21314/stat : 21314 (java) S 21298 21298 8557 0 -1 1077944384 464 0 0 0 0 0 0 0 20 0 15 0 119241591 14316269568 262069 18446744073709551615 4194304 4196468 140731975576112 140607345179824 140607874996866 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8769536 140731975578033 140731975578209 140731975578209 140731975581647 0
Current children cumulated CPU time: 38.94 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 1049656 KiB

[startup+36.8006 s]
/proc/loadavg: 1.86 1.76 2.06 3/211 21314
/proc/meminfo: memFree=30138360/32770624 swapFree=67105588/67108860
[pid=21298] ppid=21295 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/21298/stat : 21298 (xcsp3-exec) S 21295 21298 8557 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 119241574 9740288 345 18446744073709551615 4194304 5098028 140720596607632 140720596605736 140319999160956 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 5 0 0 7196144 7232144 32526336 140720596611450 140720596611653 140720596611653 140720596615147 0
/proc/21298/statm: 2378 345 289 221 0 87 0
[pid=21300] ppid=21298 vsize=13980732 memory=1048276 CPUtime=40.54 cores=0,2,4,6
/proc/21300/stat : 21300 (java) S 21298 21298 8557 0 -1 1077944320 56491 0 0 0 3958 96 0 0 20 0 15 0 119241580 14316269568 262069 18446744073709551615 4194304 4196468 140731975576112 140731975558656 140607874985719 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 8769536 140731975578033 140731975578209 140731975578209 140731975581647 0
/proc/21300/statm: 3495183 262069 3234 1 0 3483476 0
[pid=21300/tid=21301] ppid=21298 vsize=13980732 memory=7344 CPUtime=35.91 cores=0,2,4,6
/proc/21300/task/21301/stat : 21301 (java) R 21298 21298 8557 0 -1 4202560 27080 0 0 0 3583 8 0 0 20 0 15 0 119241580 14316269568 262069 18446744073709551615 4194304 4196468 140731975576112 140607879224840 140607520114544 0 4 1 16800974 0 0 0 -1 0 0 0 4 0 0 6293624 6294260 8769536 140731975578033 140731975578209 140731975578209 140731975581647 0
[pid=21300/tid=21302] ppid=21298 vsize=13980732 memory=1628 CPUtime=0.71 cores=0,2,4,6
/proc/21300/task/21302/stat : 21302 (java) S 21298 21298 8557 0 -1 1077944384 4615 0 0 0 50 21 0 0 20 0 15 0 119241581 14316269568 262069 18446744073709551615 4194304 4196468 140731975576112 140607835884176 140607874995925 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8769536 140731975578033 140731975578209 140731975578209 140731975581647 0
[pid=21300/tid=21303] ppid=21298 vsize=13980732 memory=14340 CPUtime=0.7 cores=0,2,4,6
/proc/21300/task/21303/stat : 21303 (java) S 21298 21298 8557 0 -1 1077944384 4672 0 0 0 49 21 0 0 20 0 15 0 119241581 14316269568 262069 18446744073709551615 4194304 4196468 140731975576112 140607473773072 140607874995925 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8769536 140731975578033 140731975578209 140731975578209 140731975581647 0
[pid=21300/tid=21304] ppid=21298 vsize=13980732 memory=1048276 CPUtime=0.69 cores=0,2,4,6
/proc/21300/task/21304/stat : 21304 (java) S 21298 21298 8557 0 -1 1077944384 4492 0 0 0 48 21 0 0 20 0 15 0 119241581 14316269568 262069 18446744073709551615 4194304 4196468 140731975576112 140607472720272 140607874995925 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8769536 140731975578033 140731975578209 140731975578209 140731975581647 0
[pid=21300/tid=21305] ppid=21298 vsize=13980732 memory=1380 CPUtime=0.69 cores=0,2,4,6
/proc/21300/task/21305/stat : 21305 (java) S 21298 21298 8557 0 -1 1077944384 5243 0 0 0 49 20 0 0 20 0 15 0 119241581 14316269568 262069 18446744073709551615 4194304 4196468 140731975576112 140607471667472 140607874995925 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8769536 140731975578033 140731975578209 140731975578209 140731975581647 0
[pid=21300/tid=21306] ppid=21298 vsize=13980732 memory=1048276 CPUtime=0.03 cores=0,2,4,6
/proc/21300/task/21306/stat : 21306 (java) S 21298 21298 8557 0 -1 1077944384 1042 0 0 0 3 0 0 0 20 0 15 0 119241582 14316269568 262069 18446744073709551615 4194304 4196468 140731975576112 140607353600880 140607874996866 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8769536 140731975578033 140731975578209 140731975578209 140731975581647 0
[pid=21300/tid=21307] ppid=21298 vsize=13980732 memory=14548338527863496 CPUtime=0 cores=0,2,4,6
/proc/21300/task/21307/stat : 21307 (java) S 21298 21298 8557 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 119241583 14316269568 262069 18446744073709551615 4194304 4196468 140731975576112 140607352546912 140607874995925 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8769536 140731975578033 140731975578209 140731975578209 140731975581647 0
[pid=21300/tid=21308] ppid=21298 vsize=13980732 memory=280236549792504 CPUtime=0 cores=0,2,4,6
/proc/21300/task/21308/stat : 21308 (java) S 21298 21298 8557 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 15 0 119241583 14316269568 262069 18446744073709551615 4194304 4196468 140731975576112 140607351494000 140607874995925 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8769536 140731975578033 140731975578209 140731975578209 140731975581647 0
[pid=21300/tid=21309] ppid=21298 vsize=13980732 memory=4122376552215852320 CPUtime=0 cores=0,2,4,6
/proc/21300/task/21309/stat : 21309 (java) S 21298 21298 8557 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 119241585 14316269568 262069 18446744073709551615 4194304 4196468 140731975576112 140607350442320 140607875004315 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8769536 140731975578033 140731975578209 140731975578209 140731975581647 0
[pid=21300/tid=21310] ppid=21298 vsize=13980732 memory=3467972533049140038 CPUtime=0.69 cores=0,2,4,6
/proc/21300/task/21310/stat : 21310 (java) S 21298 21298 8557 0 -1 1077944384 3045 0 0 0 69 0 0 0 20 0 15 0 119241586 14316269568 262069 18446744073709551615 4194304 4196468 140731975576112 140607349389680 140607874996866 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8769536 140731975578033 140731975578209 140731975578209 140731975581647 0
[pid=21300/tid=21311] ppid=21298 vsize=13980732 memory=5768 CPUtime=0.61 cores=0,2,4,6
/proc/21300/task/21311/stat : 21311 (java) S 21298 21298 8557 0 -1 1077944384 2466 0 0 0 61 0 0 0 20 0 15 0 119241586 14316269568 262069 18446744073709551615 4194304 4196468 140731975576112 140607348336880 140607874996866 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8769536 140731975578033 140731975578209 140731975578209 140731975581647 0
[pid=21300/tid=21312] ppid=21298 vsize=13980732 memory=4584 CPUtime=0.42 cores=0,2,4,6
/proc/21300/task/21312/stat : 21312 (java) S 21298 21298 8557 0 -1 1077944384 2073 0 0 0 42 0 0 0 20 0 15 0 119241586 14316269568 262069 18446744073709551615 4194304 4196468 140731975576112 140607347284080 140607874996866 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8769536 140731975578033 140731975578209 140731975578209 140731975581647 0
[pid=21300/tid=21313] ppid=21298 vsize=13980732 memory=872 CPUtime=0 cores=0,2,4,6
/proc/21300/task/21313/stat : 21313 (java) S 21298 21298 8557 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 119241586 14316269568 262069 18446744073709551615 4194304 4196468 140731975576112 140607346231520 140607874995925 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8769536 140731975578033 140731975578209 140731975578209 140731975581647 0
[pid=21300/tid=21314] ppid=21298 vsize=13980732 memory=1992 CPUtime=0 cores=0,2,4,6
/proc/21300/task/21314/stat : 21314 (java) S 21298 21298 8557 0 -1 1077944384 466 0 0 0 0 0 0 0 20 0 15 0 119241591 14316269568 262069 18446744073709551615 4194304 4196468 140731975576112 140607345179824 140607874996866 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8769536 140731975578033 140731975578209 140731975578209 140731975581647 0
Current children cumulated CPU time: 40.54 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 1049656 KiB

[startup+37.6007 s]
/proc/loadavg: 1.86 1.76 2.06 3/211 21314
/proc/meminfo: memFree=30137988/32770624 swapFree=67105588/67108860
[pid=21298] ppid=21295 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/21298/stat : 21298 (xcsp3-exec) S 21295 21298 8557 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 119241574 9740288 345 18446744073709551615 4194304 5098028 140720596607632 140720596605736 140319999160956 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 5 0 0 7196144 7232144 32526336 140720596611450 140720596611653 140720596611653 140720596615147 0
/proc/21298/statm: 2378 345 289 221 0 87 0
[pid=21300] ppid=21298 vsize=13980732 memory=1048484 CPUtime=41.4 cores=0,2,4,6
/proc/21300/stat : 21300 (java) S 21298 21298 8557 0 -1 1077944320 60585 0 0 0 4044 96 0 0 20 0 15 0 119241580 14316269568 262121 18446744073709551615 4194304 4196468 140731975576112 140731975558656 140607874985719 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 8769536 140731975578033 140731975578209 140731975578209 140731975581647 0
/proc/21300/statm: 3495183 262121 3234 1 0 3483476 0
[pid=21300/tid=21301] ppid=21298 vsize=13980732 memory=-8774313645642428999 CPUtime=36.71 cores=0,2,4,6
/proc/21300/task/21301/stat : 21301 (java) R 21298 21298 8557 0 -1 4202560 29703 0 0 0 3663 8 0 0 20 0 15 0 119241580 14316269568 262121 18446744073709551615 4194304 4196468 140731975576112 140607879222352 140607520378198 0 4 1 16800974 0 0 0 -1 0 0 0 4 0 0 6293624 6294260 8769536 140731975578033 140731975578209 140731975578209 140731975581647 0
[pid=21300/tid=21302] ppid=21298 vsize=13980732 memory=64440 CPUtime=0.71 cores=0,2,4,6
/proc/21300/task/21302/stat : 21302 (java) S 21298 21298 8557 0 -1 1077944384 4615 0 0 0 50 21 0 0 20 0 15 0 119241581 14316269568 262121 18446744073709551615 4194304 4196468 140731975576112 140607835884176 140607874995925 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8769536 140731975578033 140731975578209 140731975578209 140731975581647 0
[pid=21300/tid=21303] ppid=21298 vsize=13980732 memory=1240 CPUtime=0.7 cores=0,2,4,6
/proc/21300/task/21303/stat : 21303 (java) S 21298 21298 8557 0 -1 1077944384 4672 0 0 0 49 21 0 0 20 0 15 0 119241581 14316269568 262121 18446744073709551615 4194304 4196468 140731975576112 140607473773072 140607874995925 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8769536 140731975578033 140731975578209 140731975578209 140731975581647 0
[pid=21300/tid=21304] ppid=21298 vsize=13980732 memory=2384 CPUtime=0.69 cores=0,2,4,6
/proc/21300/task/21304/stat : 21304 (java) S 21298 21298 8557 0 -1 1077944384 4492 0 0 0 48 21 0 0 20 0 15 0 119241581 14316269568 262121 18446744073709551615 4194304 4196468 140731975576112 140607472720272 140607874995925 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8769536 140731975578033 140731975578209 140731975578209 140731975581647 0
[pid=21300/tid=21305] ppid=21298 vsize=13980732 memory=1672 CPUtime=0.69 cores=0,2,4,6
/proc/21300/task/21305/stat : 21305 (java) S 21298 21298 8557 0 -1 1077944384 5243 0 0 0 49 20 0 0 20 0 15 0 119241581 14316269568 262121 18446744073709551615 4194304 4196468 140731975576112 140607471667472 140607874995925 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8769536 140731975578033 140731975578209 140731975578209 140731975581647 0
[pid=21300/tid=21306] ppid=21298 vsize=13980732 memory=5768 CPUtime=0.03 cores=0,2,4,6
/proc/21300/task/21306/stat : 21306 (java) S 21298 21298 8557 0 -1 1077944384 1069 0 0 0 3 0 0 0 20 0 15 0 119241582 14316269568 262121 18446744073709551615 4194304 4196468 140731975576112 140607353600880 140607874996866 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8769536 140731975578033 140731975578209 140731975578209 140731975581647 0
[pid=21300/tid=21307] ppid=21298 vsize=13980732 memory=4584 CPUtime=0 cores=0,2,4,6
/proc/21300/task/21307/stat : 21307 (java) S 21298 21298 8557 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 119241583 14316269568 262121 18446744073709551615 4194304 4196468 140731975576112 140607352546912 140607874995925 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8769536 140731975578033 140731975578209 140731975578209 140731975581647 0
[pid=21300/tid=21308] ppid=21298 vsize=13980732 memory=872 CPUtime=0 cores=0,2,4,6
/proc/21300/task/21308/stat : 21308 (java) S 21298 21298 8557 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 15 0 119241583 14316269568 262121 18446744073709551615 4194304 4196468 140731975576112 140607351494000 140607874995925 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8769536 140731975578033 140731975578209 140731975578209 140731975581647 0
[pid=21300/tid=21309] ppid=21298 vsize=13980732 memory=1992 CPUtime=0 cores=0,2,4,6
/proc/21300/task/21309/stat : 21309 (java) S 21298 21298 8557 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 119241585 14316269568 262121 18446744073709551615 4194304 4196468 140731975576112 140607350442320 140607875004315 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8769536 140731975578033 140731975578209 140731975578209 140731975581647 0
[pid=21300/tid=21310] ppid=21298 vsize=13980732 memory=1164 CPUtime=0.71 cores=0,2,4,6
/proc/21300/task/21310/stat : 21310 (java) S 21298 21298 8557 0 -1 1077944384 3518 0 0 0 71 0 0 0 20 0 15 0 119241586 14316269568 262121 18446744073709551615 4194304 4196468 140731975576112 140607349389680 140607874996866 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8769536 140731975578033 140731975578209 140731975578209 140731975581647 0
[pid=21300/tid=21311] ppid=21298 vsize=13980732 memory=7344 CPUtime=0.63 cores=0,2,4,6
/proc/21300/task/21311/stat : 21311 (java) S 21298 21298 8557 0 -1 1077944384 2963 0 0 0 63 0 0 0 20 0 15 0 119241586 14316269568 262121 18446744073709551615 4194304 4196468 140731975576112 140607348336880 140607874996866 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8769536 140731975578033 140731975578209 140731975578209 140731975581647 0
[pid=21300/tid=21312] ppid=21298 vsize=13980732 memory=1628 CPUtime=0.43 cores=0,2,4,6
/proc/21300/task/21312/stat : 21312 (java) S 21298 21298 8557 0 -1 1077944384 2547 0 0 0 43 0 0 0 20 0 15 0 119241586 14316269568 262121 18446744073709551615 4194304 4196468 140731975576112 140607347284080 140607874996866 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8769536 140731975578033 140731975578209 140731975578209 140731975581647 0
[pid=21300/tid=21313] ppid=21298 vsize=13980732 memory=14340 CPUtime=0 cores=0,2,4,6
/proc/21300/task/21313/stat : 21313 (java) S 21298 21298 8557 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 119241586 14316269568 262121 18446744073709551615 4194304 4196468 140731975576112 140607346231520 140607874995925 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8769536 140731975578033 140731975578209 140731975578209 140731975581647 0
[pid=21300/tid=21314] ppid=21298 vsize=13980732 memory=796 CPUtime=0 cores=0,2,4,6
/proc/21300/task/21314/stat : 21314 (java) S 21298 21298 8557 0 -1 1077944384 466 0 0 0 0 0 0 0 20 0 15 0 119241591 14316269568 262121 18446744073709551615 4194304 4196468 140731975576112 140607345179824 140607874996866 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8769536 140731975578033 140731975578209 140731975578209 140731975581647 0
Current children cumulated CPU time: 41.4 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 1049864 KiB

[startup+38.0006 s]*
/proc/loadavg: 1.87 1.76 2.06 3/211 21314
/proc/meminfo: memFree=30138012/32770624 swapFree=67105588/67108860
[pid=21298] ppid=21295 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/21298/stat : 21298 (xcsp3-exec) S 21295 21298 8557 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 119241574 9740288 345 18446744073709551615 4194304 5098028 140720596607632 140720596605736 140319999160956 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 5 0 0 7196144 7232144 32526336 140720596611450 140720596611653 140720596611653 140720596615147 0
/proc/21298/statm: 2378 345 289 221 0 87 0
[pid=21300] ppid=21298 vsize=13980732 memory=1048484 CPUtime=41.81 cores=0,2,4,6
/proc/21300/stat : 21300 (java) S 21298 21298 8557 0 -1 1077944320 60596 0 0 0 4085 96 0 0 20 0 15 0 119241580 14316269568 262121 18446744073709551615 4194304 4196468 140731975576112 140731975558656 140607874985719 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 8769536 140731975578033 140731975578209 140731975578209 140731975581647 0
/proc/21300/statm: 3495183 262121 3234 1 0 3483476 0
[pid=21300/tid=21301] ppid=21298 vsize=13980732 memory=-8774313645642428999 CPUtime=37.12 cores=0,2,4,6
/proc/21300/task/21301/stat : 21301 (java) R 21298 21298 8557 0 -1 4202560 29714 0 0 0 3704 8 0 0 20 0 15 0 119241580 14316269568 262121 18446744073709551615 4194304 4196468 140731975576112 140607879224840 140607520378118 0 4 1 16800974 0 0 0 -1 0 0 0 4 0 0 6293624 6294260 8769536 140731975578033 140731975578209 140731975578209 140731975581647 0
[pid=21300/tid=21302] ppid=21298 vsize=13980732 memory=0 CPUtime=0.71 cores=0,2,4,6
/proc/21300/task/21302/stat : 21302 (java) S 21298 21298 8557 0 -1 1077944384 4615 0 0 0 50 21 0 0 20 0 15 0 119241581 14316269568 262121 18446744073709551615 4194304 4196468 140731975576112 140607835884176 140607874995925 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8769536 140731975578033 140731975578209 140731975578209 140731975581647 0
[pid=21300/tid=21303] ppid=21298 vsize=13980732 memory=-1 CPUtime=0.7 cores=0,2,4,6
/proc/21300/task/21303/stat : 21303 (java) S 21298 21298 8557 0 -1 1077944384 4672 0 0 0 49 21 0 0 20 0 15 0 119241581 14316269568 262121 18446744073709551615 4194304 4196468 140731975576112 140607473773072 140607874995925 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8769536 140731975578033 140731975578209 140731975578209 140731975581647 0
[pid=21300/tid=21304] ppid=21298 vsize=13980732 memory=-1 CPUtime=0.69 cores=0,2,4,6
/proc/21300/task/21304/stat : 21304 (java) S 21298 21298 8557 0 -1 1077944384 4492 0 0 0 48 21 0 0 20 0 15 0 119241581 14316269568 262121 18446744073709551615 4194304 4196468 140731975576112 140607472720272 140607874995925 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8769536 140731975578033 140731975578209 140731975578209 140731975581647 0
[pid=21300/tid=21305] ppid=21298 vsize=13980732 memory=-1 CPUtime=0.69 cores=0,2,4,6
/proc/21300/task/21305/stat : 21305 (java) S 21298 21298 8557 0 -1 1077944384 5243 0 0 0 49 20 0 0 20 0 15 0 119241581 14316269568 262121 18446744073709551615 4194304 4196468 140731975576112 140607471667472 140607874995925 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8769536 140731975578033 140731975578209 140731975578209 140731975581647 0
[pid=21300/tid=21306] ppid=21298 vsize=13980732 memory=140118389220992 CPUtime=0.03 cores=0,2,4,6
/proc/21300/task/21306/stat : 21306 (java) S 21298 21298 8557 0 -1 1077944384 1069 0 0 0 3 0 0 0 20 0 15 0 119241582 14316269568 262121 18446744073709551615 4194304 4196468 140731975576112 140607353600880 140607874996866 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8769536 140731975578033 140731975578209 140731975578209 140731975581647 0
[pid=21300/tid=21307] ppid=21298 vsize=13980732 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/21300/task/21307/stat : 21307 (java) S 21298 21298 8557 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 119241583 14316269568 262121 18446744073709551615 4194304 4196468 140731975576112 140607352546912 140607874995925 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8769536 140731975578033 140731975578209 140731975578209 140731975581647 0
[pid=21300/tid=21308] ppid=21298 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/21300/task/21308/stat : 21308 (java) S 21298 21298 8557 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 15 0 119241583 14316269568 262121 18446744073709551615 4194304 4196468 140731975576112 140607351494000 140607874995925 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8769536 140731975578033 140731975578209 140731975578209 140731975581647 0
[pid=21300/tid=21309] ppid=21298 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/21300/task/21309/stat : 21309 (java) S 21298 21298 8557 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 119241585 14316269568 262121 18446744073709551615 4194304 4196468 140731975576112 140607350442320 140607875004315 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8769536 140731975578033 140731975578209 140731975578209 140731975581647 0
[pid=21300/tid=21310] ppid=21298 vsize=13980732 memory=0 CPUtime=0.71 cores=0,2,4,6
/proc/21300/task/21310/stat : 21310 (java) S 21298 21298 8557 0 -1 1077944384 3518 0 0 0 71 0 0 0 20 0 15 0 119241586 14316269568 262121 18446744073709551615 4194304 4196468 140731975576112 140607349389680 140607874996866 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8769536 140731975578033 140731975578209 140731975578209 140731975581647 0
[pid=21300/tid=21311] ppid=21298 vsize=13980732 memory=-1 CPUtime=0.63 cores=0,2,4,6
/proc/21300/task/21311/stat : 21311 (java) S 21298 21298 8557 0 -1 1077944384 2963 0 0 0 63 0 0 0 20 0 15 0 119241586 14316269568 262121 18446744073709551615 4194304 4196468 140731975576112 140607348336880 140607874996866 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8769536 140731975578033 140731975578209 140731975578209 140731975581647 0
[pid=21300/tid=21312] ppid=21298 vsize=13980732 memory=140118389220992 CPUtime=0.43 cores=0,2,4,6
/proc/21300/task/21312/stat : 21312 (java) S 21298 21298 8557 0 -1 1077944384 2547 0 0 0 43 0 0 0 20 0 15 0 119241586 14316269568 262121 18446744073709551615 4194304 4196468 140731975576112 140607347284080 140607874996866 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8769536 140731975578033 140731975578209 140731975578209 140731975581647 0
[pid=21300/tid=21313] ppid=21298 vsize=13980732 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/21300/task/21313/stat : 21313 (java) S 21298 21298 8557 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 119241586 14316269568 262121 18446744073709551615 4194304 4196468 140731975576112 140607346231520 140607874995925 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8769536 140731975578033 140731975578209 140731975578209 140731975581647 0
[pid=21300/tid=21314] ppid=21298 vsize=13980732 memory=140118389220992 CPUtime=0 cores=0,2,4,6
/proc/21300/task/21314/stat : 21314 (java) S 21298 21298 8557 0 -1 1077944384 466 0 0 0 0 0 0 0 20 0 15 0 119241591 14316269568 262121 18446744073709551615 4194304 4196468 140731975576112 140607345179824 140607874996866 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8769536 140731975578033 140731975578209 140731975578209 140731975581647 0
Current children cumulated CPU time: 41.81 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 1049864 KiB

Child status: 0
Real time (s): 38.0671
CPU time (s): 41.8833
CPU user time (s): 40.9042
CPU system time (s): 0.97915
CPU usage (%): 110.025
Max. virtual memory (cumulated for all children) (KiB): 13990244
Max. memory (cumulated for all children) (KiB): 1049864

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 40.9042
system time used= 0.97915
maximum resident set size= 1048948
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 61875
page faults= 0
swaps= 0
block input operations= 0
block output operations= 144
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 3389
involuntary context switches= 102


# summary of solver processes directly reported to runsolver:
#   pid: 21298
#   total CPU time (s): 41.8833
#   total CPU user time (s): 40.9042
#   total CPU system time (s): 0.97915

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.219289 second user time and 0.404812 second system time

The end

Launcher Data 

Begin job on node126 at 2017-08-19 21:07:00
IDJOB=4282709
IDBENCH=140669
IDSOLVER=2677
FILE ID=node126/4282709-1503170465
RUNJOBID= node126-1503095802-8615
PBS_JOBID= 
Free space on /tmp= 62024 MiB

SOLVER NAME= choco-solver 4.0.5 seq
BENCH NAME= XCSP17/Wwtpp/Wwtpp-ord-s1/Wwtpp-ord-ex03380.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-4282709-1503170465/watcher-4282709-1503170465 -o /tmp/evaluation-result-4282709-1503170465/solver-4282709-1503170465 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node126-1503095802-8615 --watchdog 2580  ./xcsp3-exec -dir HOME -tl 2520 -ml 11000 -tdir HOME -seed 54896850 HOME/instance-4282709-1503170465.xml

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

MD5SUM BENCH= 4b7737b348ce8099143a34a20635223c
RANDOM SEED=54896850

node126.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.81
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.81
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.81
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.81
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:        31177548 kB
MemAvailable:   31763268 kB
Buffers:          312784 kB
Cached:           563496 kB
SwapCached:          524 kB
Active:           749264 kB
Inactive:         372460 kB
Active(anon):     201196 kB
Inactive(anon):    93904 kB
Active(file):     548068 kB
Inactive(file):   278556 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      67108860 kB
SwapFree:       67105588 kB
Dirty:              8240 kB
Writeback:             0 kB
AnonPages:        244848 kB
Mapped:            71508 kB
Shmem:             49824 kB
Slab:             176704 kB
SReclaimable:     149864 kB
SUnreclaim:        26840 kB
KernelStack:        3456 kB
PageTables:         5748 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    1165492 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    188416 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      101760 kB
DirectMap2M:    33443840 kB

Free space on /tmp at the end= 62016 MiB
End job on node126 at 2017-08-19 21:07:38