Trace number 4392946

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 2019-06-14UNSAT 411.196 114.961

General information on the benchmark

NameQRandom/QRandom-mdd-7-25-5-p7/
mdd-7-25-5-ps05-psh07-4.xml
MD5SUMcc3fcfac109c3d277a0ef72b27cdc983
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 benchmark84.877
Satisfiable
(Un)Satisfiability was proved
Number of variables25
Number of constraints58
Number of domains1
Minimum domain size5
Maximum domain size5
Distribution of domain sizes[{"size":5,"count":25}]
Minimum variable degree9
Maximum variable degree21
Distribution of variable degrees[{"degree":9,"count":1},{"degree":10,"count":1},{"degree":13,"count":2},{"degree":14,"count":3},{"degree":15,"count":1},{"degree":16,"count":3},{"degree":17,"count":6},{"degree":18,"count":2},{"degree":19,"count":4},{"degree":21,"count":2}]
Minimum constraint arity7
Maximum constraint arity7
Distribution of constraint arities[{"arity":7,"count":58}]
Number of extensional constraints58
Number of intensional constraints0
Distribution of constraint types[{"type":"extension","count":58}]
Optimization problemNO
Type of objective

Solver Data 

0.00/0.00	c java -server -Xmx12000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4392946-1568316715.xml"  -tl '2520s' -p 4
0.13/0.18	c Choco e747e1e
0.13/0.18	c [HOME/instance-4392946-1568316715.xml, -tl, 2520s, -p, 4]
0.34/0.22	c 4 solvers in parallel
0.34/0.28	c parse instance...
31.95/19.66	c solve instance...
411.03/114.93	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 (14147 MiB free)
  memory of node 1: 16384 MiB (15403 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4392946-1568316715/watcher-4392946-1568316715 -o /tmp/evaluation-result-4392946-1568316715/solver-4392946-1568316715 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node107-1568308867-14286 --watchdog 2580 xcsp3-exec -dir HOME -tl 2520 -p 4 -ml 12000 -tdir HOME -seed 1350523678 HOME/instance-4392946-1568316715.xml 

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

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


[startup+0.100078 s]*
/proc/loadavg: 8.26 8.41 8.07 7/232 17476
/proc/meminfo: memFree=30245780/32770624 swapFree=66920688/67108860
[pid=17460] ppid=17457 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/17460/stat : 17460 (xcsp3-exec) S 17457 17460 14254 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 407927580 115843072 362 33554432000 4194304 5098028 140731240993472 140731240991576 140629162222204 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 17170432 140731240997754 140731240997997 140731240997997 140731241000906 0
/proc/17460/statm: 28282 362 304 221 0 87 0
[pid=17462] ppid=17460 vsize=15144768 memory=27472 CPUtime=0.13 cores=1,3,5,7
/proc/17462/stat : 17462 (java) S 17460 17460 14254 0 -1 1077944320 5821 0 0 0 12 1 0 0 20 0 15 0 407927580 15508242432 6868 33554432000 4194304 4196468 140721087658432 140721087640976 140705843527415 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 24576000 140721087665135 140721087665306 140721087665306 140721087668175 0
/proc/17462/statm: 3786192 6868 3176 1 0 3748377 0
[pid=17462/tid=17463] ppid=17460 vsize=15144768 memory=576460756329955459 CPUtime=0.09 cores=1,3,5,7
/proc/17462/task/17463/stat : 17463 (java) R 17460 17460 14254 0 -1 4202560 3633 0 0 0 8 1 0 0 20 0 15 0 407927580 15508242432 6868 33554432000 4194304 4196468 140721087658432 140705847757056 140705481181124 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 24576000 140721087665135 140721087665306 140721087665306 140721087668175 0
[pid=17462/tid=17464] ppid=17460 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/17462/task/17464/stat : 17464 (java) S 17460 17460 14254 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 407927581 15508242432 6868 33554432000 4194304 4196468 140721087658432 140705436141968 140705843537621 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24576000 140721087665135 140721087665306 140721087665306 140721087668175 0
[pid=17462/tid=17465] ppid=17460 vsize=15144768 memory=288370112457733760 CPUtime=0 cores=1,3,5,7
/proc/17462/task/17465/stat : 17465 (java) S 17460 17460 14254 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 407927581 15508242432 6868 33554432000 4194304 4196468 140721087658432 140705435089168 140705843537621 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24576000 140721087665135 140721087665306 140721087665306 140721087668175 0
[pid=17462/tid=17466] ppid=17460 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/17462/task/17466/stat : 17466 (java) S 17460 17460 14254 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 407927581 15508242432 6868 33554432000 4194304 4196468 140721087658432 140705434036880 140705843537621 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24576000 140721087665135 140721087665306 140721087665306 140721087668175 0
[pid=17462/tid=17467] ppid=17460 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/17462/task/17467/stat : 17467 (java) S 17460 17460 14254 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 407927581 15508242432 6868 33554432000 4194304 4196468 140721087658432 140705432984080 140705843537621 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24576000 140721087665135 140721087665306 140721087665306 140721087668175 0
[pid=17462/tid=17468] ppid=17460 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/17462/task/17468/stat : 17468 (java) S 17460 17460 14254 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 407927582 15508242432 6868 33554432000 4194304 4196468 140721087658432 140705312176752 140705843538562 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24576000 140721087665135 140721087665306 140721087665306 140721087668175 0
[pid=17462/tid=17469] ppid=17460 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/17462/task/17469/stat : 17469 (java) S 17460 17460 14254 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 407927583 15508242432 6868 33554432000 4194304 4196468 140721087658432 140705311122720 140705843537621 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24576000 140721087665135 140721087665306 140721087665306 140721087668175 0
[pid=17462/tid=17470] ppid=17460 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/17462/task/17470/stat : 17470 (java) S 17460 17460 14254 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 407927583 15508242432 6868 33554432000 4194304 4196468 140721087658432 140705310070384 140705843537621 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24576000 140721087665135 140721087665306 140721087665306 140721087668175 0
[pid=17462/tid=17471] ppid=17460 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/17462/task/17471/stat : 17471 (java) S 17460 17460 14254 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 407927585 15508242432 6868 33554432000 4194304 4196468 140721087658432 140705309018704 140705843546011 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24576000 140721087665135 140721087665306 140721087665306 140721087668175 0
[pid=17462/tid=17472] ppid=17460 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/17462/task/17472/stat : 17472 (java) S 17460 17460 14254 0 -1 1077944384 308 0 0 0 0 0 0 0 20 0 15 0 407927585 15508242432 6868 33554432000 4194304 4196468 140721087658432 140705307965552 140705843538562 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24576000 140721087665135 140721087665306 140721087665306 140721087668175 0
[pid=17462/tid=17473] ppid=17460 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/17462/task/17473/stat : 17473 (java) S 17460 17460 14254 0 -1 1077944384 166 0 0 0 0 0 0 0 20 0 15 0 407927585 15508242432 6868 33554432000 4194304 4196468 140721087658432 140705306912752 140705843538562 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24576000 140721087665135 140721087665306 140721087665306 140721087668175 0
[pid=17462/tid=17474] ppid=17460 vsize=15144768 memory=139736306022016 CPUtime=0.02 cores=1,3,5,7
/proc/17462/task/17474/stat : 17474 (java) R 17460 17460 14254 0 -1 4202560 415 0 0 0 2 0 0 0 20 0 15 0 407927585 15508242432 6868 33554432000 4194304 4196468 140721087658432 140705305860464 140705843539350 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 24576000 140721087665135 140721087665306 140721087665306 140721087668175 0
[pid=17462/tid=17475] ppid=17460 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/17462/task/17475/stat : 17475 (java) S 17460 17460 14254 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 407927586 15508242432 6868 33554432000 4194304 4196468 140721087658432 140705304807904 140705843537621 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24576000 140721087665135 140721087665306 140721087665306 140721087668175 0
[pid=17462/tid=17476] ppid=17460 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/17462/task/17476/stat : 17476 (java) S 17460 17460 14254 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 407927586 15508242432 6868 33554432000 4194304 4196468 140721087658432 140705303755696 140705843538562 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24576000 140721087665135 140721087665306 140721087665306 140721087668175 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 15257896 KiB
Current children cumulated memory: 28920 KiB

[startup+0.210739 s]*
/proc/loadavg: 8.26 8.41 8.07 8/232 17476
/proc/meminfo: memFree=30232024/32770624 swapFree=66920688/67108860
[pid=17460] ppid=17457 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/17460/stat : 17460 (xcsp3-exec) S 17457 17460 14254 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 407927580 115843072 362 33554432000 4194304 5098028 140731240993472 140731240991576 140629162222204 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 17170432 140731240997754 140731240997997 140731240997997 140731241000906 0
/proc/17460/statm: 28282 362 304 221 0 87 0
[pid=17462] ppid=17460 vsize=15144768 memory=39676 CPUtime=0.34 cores=1,3,5,7
/proc/17462/stat : 17462 (java) S 17460 17460 14254 0 -1 1077944320 9703 0 0 0 31 3 0 0 20 0 15 0 407927580 15508242432 9919 33554432000 4194304 4196468 140721087658432 140721087640976 140705843527415 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 24576000 140721087665135 140721087665306 140721087665306 140721087668175 0
/proc/17462/statm: 3786192 9919 3293 1 0 3748377 0
[pid=17462/tid=17463] ppid=17460 vsize=15144768 memory=7883960649037381690 CPUtime=0.2 cores=1,3,5,7
/proc/17462/task/17463/stat : 17463 (java) R 17460 17460 14254 0 -1 4202560 6674 0 0 0 18 2 0 0 20 0 15 0 407927580 15508242432 9919 33554432000 4194304 4196468 140721087658432 140705847766416 140705827607902 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 24576000 140721087665135 140721087665306 140721087665306 140721087668175 0
[pid=17462/tid=17464] ppid=17460 vsize=15144768 memory=10592 CPUtime=0 cores=1,3,5,7
/proc/17462/task/17464/stat : 17464 (java) S 17460 17460 14254 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 407927581 15508242432 9919 33554432000 4194304 4196468 140721087658432 140705436141968 140705843537621 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24576000 140721087665135 140721087665306 140721087665306 140721087668175 0
[pid=17462/tid=17465] ppid=17460 vsize=15144768 memory=139736306038095 CPUtime=0 cores=1,3,5,7
/proc/17462/task/17465/stat : 17465 (java) S 17460 17460 14254 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 407927581 15508242432 9919 33554432000 4194304 4196468 140721087658432 140705435089168 140705843537621 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24576000 140721087665135 140721087665306 140721087665306 140721087668175 0
[pid=17462/tid=17466] ppid=17460 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/17462/task/17466/stat : 17466 (java) S 17460 17460 14254 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 407927581 15508242432 9919 33554432000 4194304 4196468 140721087658432 140705434036880 140705843537621 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24576000 140721087665135 140721087665306 140721087665306 140721087668175 0
[pid=17462/tid=17467] ppid=17460 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/17462/task/17467/stat : 17467 (java) S 17460 17460 14254 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 407927581 15508242432 9919 33554432000 4194304 4196468 140721087658432 140705432984080 140705843537621 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24576000 140721087665135 140721087665306 140721087665306 140721087668175 0
[pid=17462/tid=17468] ppid=17460 vsize=15144768 memory=139736306022016 CPUtime=0 cores=1,3,5,7
/proc/17462/task/17468/stat : 17468 (java) S 17460 17460 14254 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 407927582 15508242432 9919 33554432000 4194304 4196468 140721087658432 140705312176752 140705843538562 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24576000 140721087665135 140721087665306 140721087665306 140721087668175 0
[pid=17462/tid=17469] ppid=17460 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/17462/task/17469/stat : 17469 (java) S 17460 17460 14254 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 407927583 15508242432 9919 33554432000 4194304 4196468 140721087658432 140705311122720 140705843537621 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24576000 140721087665135 140721087665306 140721087665306 140721087668175 0
[pid=17462/tid=17470] ppid=17460 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/17462/task/17470/stat : 17470 (java) S 17460 17460 14254 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 407927583 15508242432 9919 33554432000 4194304 4196468 140721087658432 140705310070384 140705843537621 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24576000 140721087665135 140721087665306 140721087665306 140721087668175 0
[pid=17462/tid=17471] ppid=17460 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/17462/task/17471/stat : 17471 (java) S 17460 17460 14254 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 407927585 15508242432 9919 33554432000 4194304 4196468 140721087658432 140705309018704 140705843546011 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24576000 140721087665135 140721087665306 140721087665306 140721087668175 0
[pid=17462/tid=17472] ppid=17460 vsize=15144768 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/17462/task/17472/stat : 17472 (java) S 17460 17460 14254 0 -1 1077944384 423 0 0 0 2 0 0 0 20 0 15 0 407927585 15508242432 9919 33554432000 4194304 4196468 140721087658432 140705307965552 140705843538562 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24576000 140721087665135 140721087665306 140721087665306 140721087668175 0
[pid=17462/tid=17473] ppid=17460 vsize=15144768 memory=-1 CPUtime=0.02 cores=1,3,5,7
/proc/17462/task/17473/stat : 17473 (java) S 17460 17460 14254 0 -1 1077944384 379 0 0 0 2 0 0 0 20 0 15 0 407927585 15508242432 9919 33554432000 4194304 4196468 140721087658432 140705306912752 140705843538562 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24576000 140721087665135 140721087665306 140721087665306 140721087668175 0
[pid=17462/tid=17474] ppid=17460 vsize=15144768 memory=139736306022016 CPUtime=0.08 cores=1,3,5,7
/proc/17462/task/17474/stat : 17474 (java) S 17460 17460 14254 0 -1 1077944384 922 0 0 0 8 0 0 0 20 0 15 0 407927585 15508242432 9919 33554432000 4194304 4196468 140721087658432 140705305860464 140705843538562 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24576000 140721087665135 140721087665306 140721087665306 140721087668175 0
[pid=17462/tid=17475] ppid=17460 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/17462/task/17475/stat : 17475 (java) S 17460 17460 14254 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 407927586 15508242432 9919 33554432000 4194304 4196468 140721087658432 140705304807904 140705843537621 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24576000 140721087665135 140721087665306 140721087665306 140721087668175 0
[pid=17462/tid=17476] ppid=17460 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/17462/task/17476/stat : 17476 (java) S 17460 17460 14254 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 407927586 15508242432 9919 33554432000 4194304 4196468 140721087658432 140705303755696 140705843538562 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24576000 140721087665135 140721087665306 140721087665306 140721087668175 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 15257896 KiB
Current children cumulated memory: 41124 KiB

[startup+0.311986 s]*
/proc/loadavg: 8.26 8.41 8.07 10/232 17476
/proc/meminfo: memFree=30224640/32770624 swapFree=66920688/67108860
[pid=17460] ppid=17457 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/17460/stat : 17460 (xcsp3-exec) S 17457 17460 14254 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 407927580 115843072 362 33554432000 4194304 5098028 140731240993472 140731240991576 140629162222204 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 17170432 140731240997754 140731240997997 140731240997997 140731241000906 0
/proc/17460/statm: 28282 362 304 221 0 87 0
[pid=17462] ppid=17460 vsize=15149024 memory=49388 CPUtime=0.53 cores=1,3,5,7
/proc/17462/stat : 17462 (java) S 17460 17460 14254 0 -1 1077944320 11187 0 0 0 49 4 0 0 20 0 15 0 407927580 15512600576 12347 33554432000 4194304 4196468 140721087658432 140721087640976 140705843527415 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 24576000 140721087665135 140721087665306 140721087665306 140721087668175 0
/proc/17462/statm: 3787256 12347 3369 1 0 3748377 0
[pid=17462/tid=17463] ppid=17460 vsize=15149024 memory=8317482817917895235 CPUtime=0.3 cores=1,3,5,7
/proc/17462/task/17463/stat : 17463 (java) R 17460 17460 14254 0 -1 4202560 7859 0 0 0 27 3 0 0 20 0 15 0 407927580 15512600576 12347 33554432000 4194304 4196468 140721087658432 140705847758528 140705843549341 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 24576000 140721087665135 140721087665306 140721087665306 140721087668175 0
[pid=17462/tid=17464] ppid=17460 vsize=15149024 memory=6944652177228980320 CPUtime=0 cores=1,3,5,7
/proc/17462/task/17464/stat : 17464 (java) S 17460 17460 14254 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 407927581 15512600576 12347 33554432000 4194304 4196468 140721087658432 140705436141968 140705843537621 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24576000 140721087665135 140721087665306 140721087665306 140721087668175 0
[pid=17462/tid=17465] ppid=17460 vsize=15149024 memory=6655300316396806240 CPUtime=0 cores=1,3,5,7
/proc/17462/task/17465/stat : 17465 (java) S 17460 17460 14254 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 407927581 15512600576 12347 33554432000 4194304 4196468 140721087658432 140705435089168 140705843537621 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24576000 140721087665135 140721087665306 140721087665306 140721087668175 0
[pid=17462/tid=17466] ppid=17460 vsize=15149024 memory=6944652177228980320 CPUtime=0 cores=1,3,5,7
/proc/17462/task/17466/stat : 17466 (java) S 17460 17460 14254 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 407927581 15512600576 12412 33554432000 4194304 4196468 140721087658432 140705434036880 140705843537621 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24576000 140721087665135 140721087665306 140721087665306 140721087668175 0
[pid=17462/tid=17467] ppid=17460 vsize=15149024 memory=-4190076264842474805 CPUtime=0 cores=1,3,5,7
/proc/17462/task/17467/stat : 17467 (java) S 17460 17460 14254 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 407927581 15512600576 12412 33554432000 4194304 4196468 140721087658432 140705432984080 140705843537621 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24576000 140721087665135 140721087665306 140721087665306 140721087668175 0
[pid=17462/tid=17468] ppid=17460 vsize=15149024 memory=-7377628861284532383 CPUtime=0 cores=1,3,5,7
/proc/17462/task/17468/stat : 17468 (java) S 17460 17460 14254 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 407927582 15512600576 12412 33554432000 4194304 4196468 140721087658432 140705312176752 140705843538562 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24576000 140721087665135 140721087665306 140721087665306 140721087668175 0
[pid=17462/tid=17469] ppid=17460 vsize=15149024 memory=6944656425123485561 CPUtime=0 cores=1,3,5,7
/proc/17462/task/17469/stat : 17469 (java) S 17460 17460 14254 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 407927583 15512600576 12412 33554432000 4194304 4196468 140721087658432 140705311122720 140705843537621 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24576000 140721087665135 140721087665306 140721087665306 140721087668175 0
[pid=17462/tid=17470] ppid=17460 vsize=15149024 memory=7893295687695687954 CPUtime=0 cores=1,3,5,7
/proc/17462/task/17470/stat : 17470 (java) S 17460 17460 14254 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 407927583 15512600576 12412 33554432000 4194304 4196468 140721087658432 140705310070384 140705843537621 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24576000 140721087665135 140721087665306 140721087665306 140721087668175 0
[pid=17462/tid=17471] ppid=17460 vsize=15149024 memory=4627853888499060086 CPUtime=0 cores=1,3,5,7
/proc/17462/task/17471/stat : 17471 (java) S 17460 17460 14254 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 407927585 15512600576 12412 33554432000 4194304 4196468 140721087658432 140705309018704 140705843546011 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24576000 140721087665135 140721087665306 140721087665306 140721087668175 0
[pid=17462/tid=17472] ppid=17460 vsize=15149024 memory=7827413994055111515 CPUtime=0.05 cores=1,3,5,7
/proc/17462/task/17472/stat : 17472 (java) R 17460 17460 14254 0 -1 4202560 540 0 0 0 5 0 0 0 20 0 15 0 407927585 15512600576 12412 33554432000 4194304 4196468 140721087658432 140705307946568 140705825051143 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 24576000 140721087665135 140721087665306 140721087665306 140721087668175 0
[pid=17462/tid=17473] ppid=17460 vsize=15149024 memory=0 CPUtime=0.03 cores=1,3,5,7
/proc/17462/task/17473/stat : 17473 (java) S 17460 17460 14254 0 -1 1077944384 413 0 0 0 3 0 0 0 20 0 15 0 407927585 15512600576 12412 33554432000 4194304 4196468 140721087658432 140705306912752 140705843538562 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24576000 140721087665135 140721087665306 140721087665306 140721087668175 0
[pid=17462/tid=17474] ppid=17460 vsize=15149024 memory=0 CPUtime=0.12 cores=1,3,5,7
/proc/17462/task/17474/stat : 17474 (java) S 17460 17460 14254 0 -1 1077944384 1073 0 0 0 12 0 0 0 20 0 15 0 407927585 15512600576 12416 33554432000 4194304 4196468 140721087658432 140705305860464 140705843538562 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24576000 140721087665135 140721087665306 140721087665306 140721087668175 0
[pid=17462/tid=17475] ppid=17460 vsize=15149024 memory=0 CPUtime=0 cores=1,3,5,7
/proc/17462/task/17475/stat : 17475 (java) S 17460 17460 14254 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 407927586 15512600576 12416 33554432000 4194304 4196468 140721087658432 140705304807904 140705843537621 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24576000 140721087665135 140721087665306 140721087665306 140721087668175 0
[pid=17462/tid=17476] ppid=17460 vsize=15149024 memory=0 CPUtime=0 cores=1,3,5,7
/proc/17462/task/17476/stat : 17476 (java) S 17460 17460 14254 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 407927586 15512600576 12416 33554432000 4194304 4196468 140721087658432 140705303755696 140705843538562 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24576000 140721087665135 140721087665306 140721087665306 140721087668175 0
Current children cumulated CPU time: 0.53 s
Current children cumulated vsize: 15262152 KiB
Current children cumulated memory: 50836 KiB

[startup+0.700816 s]
/proc/loadavg: 8.26 8.41 8.07 9/232 17476
/proc/meminfo: memFree=30147812/32770624 swapFree=66920688/67108860
[pid=17460] ppid=17457 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/17460/stat : 17460 (xcsp3-exec) S 17457 17460 14254 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 407927580 115843072 362 33554432000 4194304 5098028 140731240993472 140731240991576 140629162222204 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 17170432 140731240997754 140731240997997 140731240997997 140731241000906 0
/proc/17460/statm: 28282 362 304 221 0 87 0
[pid=17462] ppid=17460 vsize=15149100 memory=250260 CPUtime=1.5 cores=1,3,5,7
/proc/17462/stat : 17462 (java) S 17460 17460 14254 0 -1 1077944320 13495 0 0 0 133 17 0 0 20 0 15 0 407927580 15512678400 62565 33554432000 4194304 4196468 140721087658432 140721087640976 140705843527415 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 24576000 140721087665135 140721087665306 140721087665306 140721087668175 0
/proc/17462/statm: 3787275 62565 3453 1 0 3748377 0
[pid=17462/tid=17463] ppid=17460 vsize=15149100 memory=-3704326594973231466 CPUtime=0.63 cores=1,3,5,7
/proc/17462/task/17463/stat : 17463 (java) R 17460 17460 14254 0 -1 4202560 8323 0 0 0 58 5 0 0 20 0 15 0 407927580 15512678400 62565 33554432000 4194304 4196468 140721087658432 140705847764672 140705484026491 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 24576000 140721087665135 140721087665306 140721087665306 140721087668175 0
[pid=17462/tid=17464] ppid=17460 vsize=15149100 memory=0 CPUtime=0.03 cores=1,3,5,7
/proc/17462/task/17464/stat : 17464 (java) S 17460 17460 14254 0 -1 1077944384 35 0 0 0 1 2 0 0 20 0 15 0 407927581 15512678400 62565 33554432000 4194304 4196468 140721087658432 140705436141968 140705843537621 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24576000 140721087665135 140721087665306 140721087665306 140721087668175 0
[pid=17462/tid=17465] ppid=17460 vsize=15149100 memory=0 CPUtime=0.03 cores=1,3,5,7
/proc/17462/task/17465/stat : 17465 (java) S 17460 17460 14254 0 -1 1077944384 37 0 0 0 1 2 0 0 20 0 15 0 407927581 15512678400 62565 33554432000 4194304 4196468 140721087658432 140705435089168 140705843537621 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24576000 140721087665135 140721087665306 140721087665306 140721087668175 0
[pid=17462/tid=17466] ppid=17460 vsize=15149100 memory=708 CPUtime=0.03 cores=1,3,5,7
/proc/17462/task/17466/stat : 17466 (java) S 17460 17460 14254 0 -1 1077944384 44 0 0 0 1 2 0 0 20 0 15 0 407927581 15512678400 62565 33554432000 4194304 4196468 140721087658432 140705434036880 140705843537621 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24576000 140721087665135 140721087665306 140721087665306 140721087668175 0
[pid=17462/tid=17467] ppid=17460 vsize=15149100 memory=9364 CPUtime=0.03 cores=1,3,5,7
/proc/17462/task/17467/stat : 17467 (java) S 17460 17460 14254 0 -1 1077944384 48 0 0 0 1 2 0 0 20 0 15 0 407927581 15512678400 62565 33554432000 4194304 4196468 140721087658432 140705432984080 140705843537621 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24576000 140721087665135 140721087665306 140721087665306 140721087668175 0
[pid=17462/tid=17468] ppid=17460 vsize=15149100 memory=1120 CPUtime=0 cores=1,3,5,7
/proc/17462/task/17468/stat : 17468 (java) S 17460 17460 14254 0 -1 1077944384 83 0 0 0 0 0 0 0 20 0 15 0 407927582 15512678400 62565 33554432000 4194304 4196468 140721087658432 140705312176752 140705843538562 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24576000 140721087665135 140721087665306 140721087665306 140721087668175 0
[pid=17462/tid=17469] ppid=17460 vsize=15149100 memory=776 CPUtime=0 cores=1,3,5,7
/proc/17462/task/17469/stat : 17469 (java) S 17460 17460 14254 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 407927583 15512678400 62565 33554432000 4194304 4196468 140721087658432 140705311122720 140705843537621 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24576000 140721087665135 140721087665306 140721087665306 140721087668175 0
[pid=17462/tid=17470] ppid=17460 vsize=15149100 memory=1552 CPUtime=0 cores=1,3,5,7
/proc/17462/task/17470/stat : 17470 (java) R 17460 17460 14254 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 407927583 15512678400 62565 33554432000 4194304 4196468 140721087658432 140705310070384 140705843537621 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 24576000 140721087665135 140721087665306 140721087665306 140721087668175 0
[pid=17462/tid=17471] ppid=17460 vsize=15149100 memory=7956 CPUtime=0 cores=1,3,5,7
/proc/17462/task/17471/stat : 17471 (java) S 17460 17460 14254 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 407927585 15512678400 62565 33554432000 4194304 4196468 140721087658432 140705309018704 140705843546011 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24576000 140721087665135 140721087665306 140721087665306 140721087668175 0
[pid=17462/tid=17472] ppid=17460 vsize=15149100 memory=3444 CPUtime=0.24 cores=1,3,5,7
/proc/17462/task/17472/stat : 17472 (java) R 17460 17460 14254 0 -1 4202560 1184 0 0 0 24 0 0 0 20 0 15 0 407927585 15512678400 62565 33554432000 4194304 4196468 140721087658432 140705307956832 140705826912269 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 24576000 140721087665135 140721087665306 140721087665306 140721087668175 0
[pid=17462/tid=17473] ppid=17460 vsize=15149100 memory=1556 CPUtime=0.21 cores=1,3,5,7
/proc/17462/task/17473/stat : 17473 (java) R 17460 17460 14254 0 -1 4202560 1023 0 0 0 21 0 0 0 20 0 15 0 407927585 15512678400 62565 33554432000 4194304 4196468 140721087658432 140705306897744 140705828692960 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 24576000 140721087665135 140721087665306 140721087665306 140721087668175 0
[pid=17462/tid=17474] ppid=17460 vsize=15149100 memory=2832 CPUtime=0.23 cores=1,3,5,7
/proc/17462/task/17474/stat : 17474 (java) R 17460 17460 14254 0 -1 1077944384 1422 0 0 0 23 0 0 0 20 0 15 0 407927585 15512678400 62565 33554432000 4194304 4196468 140721087658432 140705305860464 140705843538562 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 24576000 140721087665135 140721087665306 140721087665306 140721087668175 0
[pid=17462/tid=17475] ppid=17460 vsize=15149100 memory=984 CPUtime=0 cores=1,3,5,7
/proc/17462/task/17475/stat : 17475 (java) S 17460 17460 14254 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 407927586 15512678400 62565 33554432000 4194304 4196468 140721087658432 140705304807904 140705843537621 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24576000 140721087665135 140721087665306 140721087665306 140721087668175 0
[pid=17462/tid=17476] ppid=17460 vsize=15149100 memory=14012 CPUtime=0 cores=1,3,5,7
/proc/17462/task/17476/stat : 17476 (java) S 17460 17460 14254 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 407927586 15512678400 62565 33554432000 4194304 4196468 140721087658432 140705303755696 140705843538562 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24576000 140721087665135 140721087665306 140721087665306 140721087668175 0
Current children cumulated CPU time: 1.5 s
Current children cumulated vsize: 15262228 KiB
Current children cumulated memory: 251708 KiB

[startup+1.50083 s]
/proc/loadavg: 8.26 8.41 8.07 8/232 17476
/proc/meminfo: memFree=29990612/32770624 swapFree=66920688/67108860
[pid=17460] ppid=17457 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/17460/stat : 17460 (xcsp3-exec) S 17457 17460 14254 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 407927580 115843072 362 33554432000 4194304 5098028 140731240993472 140731240991576 140629162222204 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 17170432 140731240997754 140731240997997 140731240997997 140731241000906 0
/proc/17460/statm: 28282 362 304 221 0 87 0

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

/proc/17462/task/17476/stat : 17476 (java) S 17460 17460 14254 0 -1 1077944384 908 0 0 0 3 1 0 0 20 0 19 0 407927586 15787421696 1180399 33554432000 4194304 4196468 140721087658432 140705303755696 140705843538562 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24576000 140721087665135 140721087665306 140721087665306 140721087668175 0
[pid=17462/tid=17485] ppid=17460 vsize=15417404 memory=6791534058613427641 CPUtime=91.72 cores=1,3,5,7
/proc/17462/task/17485/stat : 17485 (java) R 17460 17460 14254 0 -1 4202560 1520 0 0 0 9172 0 0 0 20 0 19 0 407929547 15787421696 1180399 33554432000 4194304 4196468 140721087658432 140705294544488 140705487368804 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 24576000 140721087665135 140721087665306 140721087665306 140721087668175 0
[pid=17462/tid=17486] ppid=17460 vsize=15417404 memory=1448 CPUtime=93.35 cores=1,3,5,7
/proc/17462/task/17486/stat : 17486 (java) R 17460 17460 14254 0 -1 4202560 2147 0 0 0 9335 0 0 0 20 0 19 0 407929547 15787421696 1180399 33554432000 4194304 4196468 140721087658432 140705293492760 140705486915408 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 24576000 140721087665135 140721087665306 140721087665306 140721087668175 0
[pid=17462/tid=17487] ppid=17460 vsize=15417404 memory=1220476 CPUtime=93.26 cores=1,3,5,7
/proc/17462/task/17487/stat : 17487 (java) R 17460 17460 14254 0 -1 4202560 1477 0 0 0 9326 0 0 0 20 0 19 0 407929547 15787421696 1180399 33554432000 4194304 4196468 140721087658432 140705292439960 140705486829048 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 24576000 140721087665135 140721087665306 140721087665306 140721087668175 0
[pid=17462/tid=17488] ppid=17460 vsize=15417404 memory=1412 CPUtime=93.04 cores=1,3,5,7
/proc/17462/task/17488/stat : 17488 (java) R 17460 17460 14254 0 -1 4202560 2532 0 0 0 9304 0 0 0 20 0 19 0 407929548 15787421696 1180399 33554432000 4194304 4196468 140721087658432 140705291386464 140705486829373 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 24576000 140721087665135 140721087665306 140721087665306 140721087668175 0
Current children cumulated CPU time: 405.85 s
Current children cumulated vsize: 15530532 KiB
Current children cumulated memory: 4723044 KiB

[startup+114.401 s]
/proc/loadavg: 8.66 8.48 8.13 6/237 17495
/proc/meminfo: memFree=25519812/32770624 swapFree=66920708/67108860
[pid=17460] ppid=17457 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/17460/stat : 17460 (xcsp3-exec) S 17457 17460 14254 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 407927580 115843072 362 33554432000 4194304 5098028 140731240993472 140731240991576 140629162222204 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 17170432 140731240997754 140731240997997 140731240997997 140731241000906 0
/proc/17460/statm: 28282 362 304 221 0 87 0
[pid=17462] ppid=17460 vsize=15417404 memory=4721596 CPUtime=409.03 cores=1,3,5,7
/proc/17462/stat : 17462 (java) S 17460 17460 14254 0 -1 1077944320 91613 0 0 0 40574 329 0 0 20 0 19 0 407927580 15787421696 1180399 33554432000 4194304 4196468 140721087658432 140721087640976 140705843527415 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 24576000 140721087665135 140721087665306 140721087665306 140721087668175 0
/proc/17462/statm: 3854351 1180399 3522 1 0 3815453 0
[pid=17462/tid=17463] ppid=17460 vsize=15417404 memory=6791534058613427641 CPUtime=15.27 cores=1,3,5,7
/proc/17462/task/17463/stat : 17463 (java) S 17460 17460 14254 0 -1 1077944384 15115 0 0 0 1492 35 0 0 20 0 19 0 407927580 15787421696 1180399 33554432000 4194304 4196468 140721087658432 140705847768192 140705843537621 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24576000 140721087665135 140721087665306 140721087665306 140721087668175 0
[pid=17462/tid=17464] ppid=17460 vsize=15417404 memory=4721596 CPUtime=3.4 cores=1,3,5,7
/proc/17462/task/17464/stat : 17464 (java) S 17460 17460 14254 0 -1 1077944384 10196 0 0 0 268 72 0 0 20 0 19 0 407927581 15787421696 1180399 33554432000 4194304 4196468 140721087658432 140705436141968 140705843537621 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24576000 140721087665135 140721087665306 140721087665306 140721087668175 0
[pid=17462/tid=17465] ppid=17460 vsize=15417404 memory=1448 CPUtime=3.43 cores=1,3,5,7
/proc/17462/task/17465/stat : 17465 (java) S 17460 17460 14254 0 -1 1077944384 2666 0 0 0 274 69 0 0 20 0 19 0 407927581 15787421696 1180399 33554432000 4194304 4196468 140721087658432 140705435089168 140705843537621 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24576000 140721087665135 140721087665306 140721087665306 140721087668175 0
[pid=17462/tid=17466] ppid=17460 vsize=15417404 memory=1220476 CPUtime=3.39 cores=1,3,5,7
/proc/17462/task/17466/stat : 17466 (java) S 17460 17460 14254 0 -1 1077944384 9771 0 0 0 266 73 0 0 20 0 19 0 407927581 15787421696 1180399 33554432000 4194304 4196468 140721087658432 140705434036880 140705843537621 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24576000 140721087665135 140721087665306 140721087665306 140721087668175 0
[pid=17462/tid=17467] ppid=17460 vsize=15417404 memory=1412 CPUtime=3.39 cores=1,3,5,7
/proc/17462/task/17467/stat : 17467 (java) S 17460 17460 14254 0 -1 1077944384 8944 0 0 0 268 71 0 0 20 0 19 0 407927581 15787421696 1180399 33554432000 4194304 4196468 140721087658432 140705432984080 140705843537621 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24576000 140721087665135 140721087665306 140721087665306 140721087668175 0
[pid=17462/tid=17468] ppid=17460 vsize=15417404 memory=6791534058613427641 CPUtime=0.93 cores=1,3,5,7
/proc/17462/task/17468/stat : 17468 (java) S 17460 17460 14254 0 -1 1077944384 6325 0 0 0 92 1 0 0 20 0 19 0 407927582 15787421696 1180399 33554432000 4194304 4196468 140721087658432 140705312176752 140705843538562 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24576000 140721087665135 140721087665306 140721087665306 140721087668175 0
[pid=17462/tid=17469] ppid=17460 vsize=15417404 memory=3580 CPUtime=0 cores=1,3,5,7
/proc/17462/task/17469/stat : 17469 (java) S 17460 17460 14254 0 -1 1077944384 36 0 0 0 0 0 0 0 20 0 19 0 407927583 15787421696 1180399 33554432000 4194304 4196468 140721087658432 140705311122784 140705843537621 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24576000 140721087665135 140721087665306 140721087665306 140721087668175 0
[pid=17462/tid=17470] ppid=17460 vsize=15417404 memory=16884 CPUtime=0 cores=1,3,5,7
/proc/17462/task/17470/stat : 17470 (java) S 17460 17460 14254 0 -1 1077944384 61 0 0 0 0 0 0 0 20 0 19 0 407927583 15787421696 1180399 33554432000 4194304 4196468 140721087658432 140705310070400 140705843537621 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24576000 140721087665135 140721087665306 140721087665306 140721087668175 0
[pid=17462/tid=17471] ppid=17460 vsize=15417404 memory=924 CPUtime=0 cores=1,3,5,7
/proc/17462/task/17471/stat : 17471 (java) S 17460 17460 14254 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 407927585 15787421696 1180399 33554432000 4194304 4196468 140721087658432 140705309018704 140705843546011 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24576000 140721087665135 140721087665306 140721087665306 140721087668175 0
[pid=17462/tid=17472] ppid=17460 vsize=15417404 memory=3848 CPUtime=2.18 cores=1,3,5,7
/proc/17462/task/17472/stat : 17472 (java) S 17460 17460 14254 0 -1 1077944384 12833 0 0 0 216 2 0 0 20 0 19 0 407927585 15787421696 1180399 33554432000 4194304 4196468 140721087658432 140705307965552 140705843538562 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24576000 140721087665135 140721087665306 140721087665306 140721087668175 0
[pid=17462/tid=17473] ppid=17460 vsize=15417404 memory=2952 CPUtime=1.69 cores=1,3,5,7
/proc/17462/task/17473/stat : 17473 (java) S 17460 17460 14254 0 -1 1077944384 9562 0 0 0 168 1 0 0 20 0 19 0 407927585 15787421696 1180399 33554432000 4194304 4196468 140721087658432 140705306912752 140705843538562 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24576000 140721087665135 140721087665306 140721087665306 140721087668175 0
[pid=17462/tid=17474] ppid=17460 vsize=15417404 memory=4721596 CPUtime=0.63 cores=1,3,5,7
/proc/17462/task/17474/stat : 17474 (java) S 17460 17460 14254 0 -1 1077944384 6277 0 0 0 62 1 0 0 20 0 19 0 407927585 15787421696 1180399 33554432000 4194304 4196468 140721087658432 140705305860464 140705843538562 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24576000 140721087665135 140721087665306 140721087665306 140721087668175 0
[pid=17462/tid=17475] ppid=17460 vsize=15417404 memory=1984 CPUtime=0 cores=1,3,5,7
/proc/17462/task/17475/stat : 17475 (java) S 17460 17460 14254 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 407927586 15787421696 1180399 33554432000 4194304 4196468 140721087658432 140705304807904 140705843537621 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24576000 140721087665135 140721087665306 140721087665306 140721087668175 0
[pid=17462/tid=17476] ppid=17460 vsize=15417404 memory=2552 CPUtime=0.04 cores=1,3,5,7
/proc/17462/task/17476/stat : 17476 (java) S 17460 17460 14254 0 -1 1077944384 908 0 0 0 3 1 0 0 20 0 19 0 407927586 15787421696 1180399 33554432000 4194304 4196468 140721087658432 140705303755696 140705843538562 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24576000 140721087665135 140721087665306 140721087665306 140721087668175 0
[pid=17462/tid=17485] ppid=17460 vsize=15417404 memory=1760 CPUtime=92.5 cores=1,3,5,7
/proc/17462/task/17485/stat : 17485 (java) R 17460 17460 14254 0 -1 4202560 1520 0 0 0 9250 0 0 0 20 0 19 0 407929547 15787421696 1180399 33554432000 4194304 4196468 140721087658432 140705294544488 140705486831826 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 24576000 140721087665135 140721087665306 140721087665306 140721087668175 0
[pid=17462/tid=17486] ppid=17460 vsize=15417404 memory=111632 CPUtime=94.15 cores=1,3,5,7
/proc/17462/task/17486/stat : 17486 (java) R 17460 17460 14254 0 -1 4202560 2149 0 0 0 9415 0 0 0 20 0 19 0 407929547 15787421696 1180399 33554432000 4194304 4196468 140721087658432 140705293492760 140705487957481 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 24576000 140721087665135 140721087665306 140721087665306 140721087668175 0
[pid=17462/tid=17487] ppid=17460 vsize=15417404 memory=804 CPUtime=94.06 cores=1,3,5,7
/proc/17462/task/17487/stat : 17487 (java) R 17460 17460 14254 0 -1 4202560 1477 0 0 0 9406 0 0 0 20 0 19 0 407929547 15787421696 1180399 33554432000 4194304 4196468 140721087658432 140705292439960 140705486829048 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 24576000 140721087665135 140721087665306 140721087665306 140721087668175 0
[pid=17462/tid=17488] ppid=17460 vsize=15417404 memory=1808 CPUtime=93.84 cores=1,3,5,7
/proc/17462/task/17488/stat : 17488 (java) R 17460 17460 14254 0 -1 4202560 2532 0 0 0 9384 0 0 0 20 0 19 0 407929548 15787421696 1180399 33554432000 4194304 4196468 140721087658432 140705291386464 140705486829048 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 24576000 140721087665135 140721087665306 140721087665306 140721087668175 0
Current children cumulated CPU time: 409.03 s
Current children cumulated vsize: 15530532 KiB
Current children cumulated memory: 4723044 KiB

[startup+114.801 s]
/proc/loadavg: 8.66 8.48 8.13 6/237 17495
/proc/meminfo: memFree=25519812/32770624 swapFree=66920708/67108860
[pid=17460] ppid=17457 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/17460/stat : 17460 (xcsp3-exec) S 17457 17460 14254 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 407927580 115843072 362 33554432000 4194304 5098028 140731240993472 140731240991576 140629162222204 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 17170432 140731240997754 140731240997997 140731240997997 140731241000906 0
/proc/17460/statm: 28282 362 304 221 0 87 0
[pid=17462] ppid=17460 vsize=15417404 memory=4721596 CPUtime=410.63 cores=1,3,5,7
/proc/17462/stat : 17462 (java) S 17460 17460 14254 0 -1 1077944320 91613 0 0 0 40734 329 0 0 20 0 19 0 407927580 15787421696 1180399 33554432000 4194304 4196468 140721087658432 140721087640976 140705843527415 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 24576000 140721087665135 140721087665306 140721087665306 140721087668175 0
/proc/17462/statm: 3854351 1180399 3522 1 0 3815453 0
[pid=17462/tid=17463] ppid=17460 vsize=15417404 memory=14981065810905736 CPUtime=15.27 cores=1,3,5,7
/proc/17462/task/17463/stat : 17463 (java) S 17460 17460 14254 0 -1 1077944384 15115 0 0 0 1492 35 0 0 20 0 19 0 407927580 15787421696 1180399 33554432000 4194304 4196468 140721087658432 140705847768192 140705843537621 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24576000 140721087665135 140721087665306 140721087665306 140721087668175 0
[pid=17462/tid=17464] ppid=17460 vsize=15417404 memory=16884 CPUtime=3.4 cores=1,3,5,7
/proc/17462/task/17464/stat : 17464 (java) S 17460 17460 14254 0 -1 1077944384 10196 0 0 0 268 72 0 0 20 0 19 0 407927581 15787421696 1180399 33554432000 4194304 4196468 140721087658432 140705436141968 140705843537621 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24576000 140721087665135 140721087665306 140721087665306 140721087668175 0
[pid=17462/tid=17465] ppid=17460 vsize=15417404 memory=988 CPUtime=3.43 cores=1,3,5,7
/proc/17462/task/17465/stat : 17465 (java) S 17460 17460 14254 0 -1 1077944384 2666 0 0 0 274 69 0 0 20 0 19 0 407927581 15787421696 1180399 33554432000 4194304 4196468 140721087658432 140705435089168 140705843537621 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24576000 140721087665135 140721087665306 140721087665306 140721087668175 0
[pid=17462/tid=17466] ppid=17460 vsize=15417404 memory=2016 CPUtime=3.39 cores=1,3,5,7
/proc/17462/task/17466/stat : 17466 (java) S 17460 17460 14254 0 -1 1077944384 9771 0 0 0 266 73 0 0 20 0 19 0 407927581 15787421696 1180399 33554432000 4194304 4196468 140721087658432 140705434036880 140705843537621 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24576000 140721087665135 140721087665306 140721087665306 140721087668175 0
[pid=17462/tid=17467] ppid=17460 vsize=15417404 memory=1284 CPUtime=3.39 cores=1,3,5,7
/proc/17462/task/17467/stat : 17467 (java) S 17460 17460 14254 0 -1 1077944384 8944 0 0 0 268 71 0 0 20 0 19 0 407927581 15787421696 1180399 33554432000 4194304 4196468 140721087658432 140705432984080 140705843537621 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24576000 140721087665135 140721087665306 140721087665306 140721087668175 0
[pid=17462/tid=17468] ppid=17460 vsize=15417404 memory=6791534058613427641 CPUtime=0.93 cores=1,3,5,7
/proc/17462/task/17468/stat : 17468 (java) S 17460 17460 14254 0 -1 1077944384 6325 0 0 0 92 1 0 0 20 0 19 0 407927582 15787421696 1180399 33554432000 4194304 4196468 140721087658432 140705312176752 140705843538562 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24576000 140721087665135 140721087665306 140721087665306 140721087668175 0
[pid=17462/tid=17469] ppid=17460 vsize=15417404 memory=708 CPUtime=0 cores=1,3,5,7
/proc/17462/task/17469/stat : 17469 (java) S 17460 17460 14254 0 -1 1077944384 36 0 0 0 0 0 0 0 20 0 19 0 407927583 15787421696 1180399 33554432000 4194304 4196468 140721087658432 140705311122784 140705843537621 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24576000 140721087665135 140721087665306 140721087665306 140721087668175 0
[pid=17462/tid=17470] ppid=17460 vsize=15417404 memory=9364 CPUtime=0 cores=1,3,5,7
/proc/17462/task/17470/stat : 17470 (java) S 17460 17460 14254 0 -1 1077944384 61 0 0 0 0 0 0 0 20 0 19 0 407927583 15787421696 1180399 33554432000 4194304 4196468 140721087658432 140705310070400 140705843537621 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24576000 140721087665135 140721087665306 140721087665306 140721087668175 0
[pid=17462/tid=17471] ppid=17460 vsize=15417404 memory=1120 CPUtime=0 cores=1,3,5,7
/proc/17462/task/17471/stat : 17471 (java) S 17460 17460 14254 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 407927585 15787421696 1180399 33554432000 4194304 4196468 140721087658432 140705309018704 140705843546011 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24576000 140721087665135 140721087665306 140721087665306 140721087668175 0
[pid=17462/tid=17472] ppid=17460 vsize=15417404 memory=776 CPUtime=2.18 cores=1,3,5,7
/proc/17462/task/17472/stat : 17472 (java) S 17460 17460 14254 0 -1 1077944384 12833 0 0 0 216 2 0 0 20 0 19 0 407927585 15787421696 1180399 33554432000 4194304 4196468 140721087658432 140705307965552 140705843538562 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24576000 140721087665135 140721087665306 140721087665306 140721087668175 0
[pid=17462/tid=17473] ppid=17460 vsize=15417404 memory=1552 CPUtime=1.69 cores=1,3,5,7
/proc/17462/task/17473/stat : 17473 (java) S 17460 17460 14254 0 -1 1077944384 9562 0 0 0 168 1 0 0 20 0 19 0 407927585 15787421696 1180399 33554432000 4194304 4196468 140721087658432 140705306912752 140705843538562 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24576000 140721087665135 140721087665306 140721087665306 140721087668175 0
[pid=17462/tid=17474] ppid=17460 vsize=15417404 memory=7956 CPUtime=0.63 cores=1,3,5,7
/proc/17462/task/17474/stat : 17474 (java) S 17460 17460 14254 0 -1 1077944384 6277 0 0 0 62 1 0 0 20 0 19 0 407927585 15787421696 1180399 33554432000 4194304 4196468 140721087658432 140705305860464 140705843538562 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24576000 140721087665135 140721087665306 140721087665306 140721087668175 0
[pid=17462/tid=17475] ppid=17460 vsize=15417404 memory=288230574492221466 CPUtime=0 cores=1,3,5,7
/proc/17462/task/17475/stat : 17475 (java) S 17460 17460 14254 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 407927586 15787421696 1180399 33554432000 4194304 4196468 140721087658432 140705304807904 140705843537621 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24576000 140721087665135 140721087665306 140721087665306 140721087668175 0
[pid=17462/tid=17476] ppid=17460 vsize=15417404 memory=288230596050944315 CPUtime=0.04 cores=1,3,5,7
/proc/17462/task/17476/stat : 17476 (java) S 17460 17460 14254 0 -1 1077944384 908 0 0 0 3 1 0 0 20 0 19 0 407927586 15787421696 1180399 33554432000 4194304 4196468 140721087658432 140705303755696 140705843538562 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24576000 140721087665135 140721087665306 140721087665306 140721087668175 0
[pid=17462/tid=17485] ppid=17460 vsize=15417404 memory=14981065810905736 CPUtime=92.9 cores=1,3,5,7
/proc/17462/task/17485/stat : 17485 (java) R 17460 17460 14254 0 -1 4202560 1520 0 0 0 9290 0 0 0 20 0 19 0 407929547 15787421696 1180399 33554432000 4194304 4196468 140721087658432 140705294544488 140705486526366 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 24576000 140721087665135 140721087665306 140721087665306 140721087668175 0
[pid=17462/tid=17486] ppid=17460 vsize=15417404 memory=924 CPUtime=94.55 cores=1,3,5,7
/proc/17462/task/17486/stat : 17486 (java) R 17460 17460 14254 0 -1 4202560 2149 0 0 0 9455 0 0 0 20 0 19 0 407929547 15787421696 1180399 33554432000 4194304 4196468 140721087658432 140705293492760 140705486829227 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 24576000 140721087665135 140721087665306 140721087665306 140721087668175 0
[pid=17462/tid=17487] ppid=17460 vsize=15417404 memory=3848 CPUtime=94.46 cores=1,3,5,7
/proc/17462/task/17487/stat : 17487 (java) R 17460 17460 14254 0 -1 4202560 1477 0 0 0 9446 0 0 0 20 0 19 0 407929547 15787421696 1180399 33554432000 4194304 4196468 140721087658432 140705292439960 140705486525868 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 24576000 140721087665135 140721087665306 140721087665306 140721087668175 0
[pid=17462/tid=17488] ppid=17460 vsize=15417404 memory=6791534058613427641 CPUtime=94.24 cores=1,3,5,7
/proc/17462/task/17488/stat : 17488 (java) R 17460 17460 14254 0 -1 4202560 2532 0 0 0 9424 0 0 0 20 0 19 0 407929548 15787421696 1180399 33554432000 4194304 4196468 140721087658432 140705291386464 140705486829495 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 24576000 140721087665135 140721087665306 140721087665306 140721087668175 0
Current children cumulated CPU time: 410.63 s
Current children cumulated vsize: 15530532 KiB
Current children cumulated memory: 4723044 KiB

[startup+114.902 s]
/proc/loadavg: 8.66 8.48 8.13 6/237 17495
/proc/meminfo: memFree=25519812/32770624 swapFree=66920708/67108860
[pid=17460] ppid=17457 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/17460/stat : 17460 (xcsp3-exec) S 17457 17460 14254 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 407927580 115843072 362 33554432000 4194304 5098028 140731240993472 140731240991576 140629162222204 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 17170432 140731240997754 140731240997997 140731240997997 140731241000906 0
/proc/17460/statm: 28282 362 304 221 0 87 0
[pid=17462] ppid=17460 vsize=15417404 memory=4721596 CPUtime=411.03 cores=1,3,5,7
/proc/17462/stat : 17462 (java) S 17460 17460 14254 0 -1 1077944320 91613 0 0 0 40774 329 0 0 20 0 19 0 407927580 15787421696 1180399 33554432000 4194304 4196468 140721087658432 140721087640976 140705843527415 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 24576000 140721087665135 140721087665306 140721087665306 140721087668175 0
/proc/17462/statm: 3854351 1180399 3522 1 0 3815453 0
[pid=17462/tid=17463] ppid=17460 vsize=15417404 memory=4721596 CPUtime=15.27 cores=1,3,5,7
/proc/17462/task/17463/stat : 17463 (java) S 17460 17460 14254 0 -1 1077944384 15115 0 0 0 1492 35 0 0 20 0 19 0 407927580 15787421696 1180399 33554432000 4194304 4196468 140721087658432 140705847768192 140705843537621 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24576000 140721087665135 140721087665306 140721087665306 140721087668175 0
[pid=17462/tid=17464] ppid=17460 vsize=15417404 memory=4721596 CPUtime=3.4 cores=1,3,5,7
/proc/17462/task/17464/stat : 17464 (java) S 17460 17460 14254 0 -1 1077944384 10196 0 0 0 268 72 0 0 20 0 19 0 407927581 15787421696 1180399 33554432000 4194304 4196468 140721087658432 140705436141968 140705843537621 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24576000 140721087665135 140721087665306 140721087665306 140721087668175 0
[pid=17462/tid=17465] ppid=17460 vsize=15417404 memory=4721596 CPUtime=3.43 cores=1,3,5,7
/proc/17462/task/17465/stat : 17465 (java) S 17460 17460 14254 0 -1 1077944384 2666 0 0 0 274 69 0 0 20 0 19 0 407927581 15787421696 1180399 33554432000 4194304 4196468 140721087658432 140705435089168 140705843537621 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24576000 140721087665135 140721087665306 140721087665306 140721087668175 0
[pid=17462/tid=17466] ppid=17460 vsize=15417404 memory=4721592 CPUtime=3.39 cores=1,3,5,7
/proc/17462/task/17466/stat : 17466 (java) S 17460 17460 14254 0 -1 1077944384 9771 0 0 0 266 73 0 0 20 0 19 0 407927581 15787421696 1180399 33554432000 4194304 4196468 140721087658432 140705434036880 140705843537621 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24576000 140721087665135 140721087665306 140721087665306 140721087668175 0
[pid=17462/tid=17467] ppid=17460 vsize=15417404 memory=4721596 CPUtime=3.39 cores=1,3,5,7
/proc/17462/task/17467/stat : 17467 (java) S 17460 17460 14254 0 -1 1077944384 8944 0 0 0 268 71 0 0 20 0 19 0 407927581 15787421696 1180399 33554432000 4194304 4196468 140721087658432 140705432984080 140705843537621 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24576000 140721087665135 140721087665306 140721087665306 140721087668175 0
[pid=17462/tid=17468] ppid=17460 vsize=15417404 memory=4721596 CPUtime=0.93 cores=1,3,5,7
/proc/17462/task/17468/stat : 17468 (java) S 17460 17460 14254 0 -1 1077944384 6325 0 0 0 92 1 0 0 20 0 19 0 407927582 15787421696 1180399 33554432000 4194304 4196468 140721087658432 140705312176752 140705843538562 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24576000 140721087665135 140721087665306 140721087665306 140721087668175 0
[pid=17462/tid=17469] ppid=17460 vsize=15417404 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/17462/task/17469/stat : 17469 (java) S 17460 17460 14254 0 -1 1077944384 36 0 0 0 0 0 0 0 20 0 19 0 407927583 15787421696 1180399 33554432000 4194304 4196468 140721087658432 140705311122784 140705843537621 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24576000 140721087665135 140721087665306 140721087665306 140721087668175 0
[pid=17462/tid=17470] ppid=17460 vsize=15417404 memory=3108 CPUtime=0 cores=1,3,5,7
/proc/17462/task/17470/stat : 17470 (java) S 17460 17460 14254 0 -1 1077944384 61 0 0 0 0 0 0 0 20 0 19 0 407927583 15787421696 1180399 33554432000 4194304 4196468 140721087658432 140705310070400 140705843537621 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24576000 140721087665135 140721087665306 140721087665306 140721087668175 0
[pid=17462/tid=17471] ppid=17460 vsize=15417404 memory=708 CPUtime=0 cores=1,3,5,7
/proc/17462/task/17471/stat : 17471 (java) S 17460 17460 14254 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 407927585 15787421696 1180399 33554432000 4194304 4196468 140721087658432 140705309018704 140705843546011 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24576000 140721087665135 140721087665306 140721087665306 140721087668175 0
[pid=17462/tid=17472] ppid=17460 vsize=15417404 memory=9364 CPUtime=2.18 cores=1,3,5,7
/proc/17462/task/17472/stat : 17472 (java) S 17460 17460 14254 0 -1 1077944384 12833 0 0 0 216 2 0 0 20 0 19 0 407927585 15787421696 1180399 33554432000 4194304 4196468 140721087658432 140705307965552 140705843538562 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24576000 140721087665135 140721087665306 140721087665306 140721087668175 0
[pid=17462/tid=17473] ppid=17460 vsize=15417404 memory=1448 CPUtime=1.69 cores=1,3,5,7
/proc/17462/task/17473/stat : 17473 (java) S 17460 17460 14254 0 -1 1077944384 9562 0 0 0 168 1 0 0 20 0 19 0 407927585 15787421696 1180399 33554432000 4194304 4196468 140721087658432 140705306912752 140705843538562 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24576000 140721087665135 140721087665306 140721087665306 140721087668175 0
[pid=17462/tid=17474] ppid=17460 vsize=15417404 memory=1448 CPUtime=0.63 cores=1,3,5,7
/proc/17462/task/17474/stat : 17474 (java) S 17460 17460 14254 0 -1 1077944384 6277 0 0 0 62 1 0 0 20 0 19 0 407927585 15787421696 1180399 33554432000 4194304 4196468 140721087658432 140705305860464 140705843538562 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24576000 140721087665135 140721087665306 140721087665306 140721087668175 0
[pid=17462/tid=17475] ppid=17460 vsize=15417404 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/17462/task/17475/stat : 17475 (java) S 17460 17460 14254 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 407927586 15787421696 1180399 33554432000 4194304 4196468 140721087658432 140705304807904 140705843537621 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24576000 140721087665135 140721087665306 140721087665306 140721087668175 0
[pid=17462/tid=17476] ppid=17460 vsize=15417404 memory=4721596 CPUtime=0.04 cores=1,3,5,7
/proc/17462/task/17476/stat : 17476 (java) S 17460 17460 14254 0 -1 1077944384 908 0 0 0 3 1 0 0 20 0 19 0 407927586 15787421696 1180399 33554432000 4194304 4196468 140721087658432 140705303755696 140705843538562 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24576000 140721087665135 140721087665306 140721087665306 140721087668175 0
[pid=17462/tid=17485] ppid=17460 vsize=15417404 memory=0 CPUtime=93 cores=1,3,5,7
/proc/17462/task/17485/stat : 17485 (java) R 17460 17460 14254 0 -1 4202560 1520 0 0 0 9300 0 0 0 20 0 19 0 407929547 15787421696 1180399 33554432000 4194304 4196468 140721087658432 140705294544488 140705486848481 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 24576000 140721087665135 140721087665306 140721087665306 140721087668175 0
[pid=17462/tid=17486] ppid=17460 vsize=15417404 memory=214722595031153 CPUtime=94.65 cores=1,3,5,7
/proc/17462/task/17486/stat : 17486 (java) R 17460 17460 14254 0 -1 4202560 2149 0 0 0 9465 0 0 0 20 0 19 0 407929547 15787421696 1180399 33554432000 4194304 4196468 140721087658432 140705293492760 140705486829048 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 24576000 140721087665135 140721087665306 140721087665306 140721087668175 0
[pid=17462/tid=17487] ppid=17460 vsize=15417404 memory=1448 CPUtime=94.56 cores=1,3,5,7
/proc/17462/task/17487/stat : 17487 (java) R 17460 17460 14254 0 -1 4202560 1477 0 0 0 9456 0 0 0 20 0 19 0 407929547 15787421696 1180399 33554432000 4194304 4196468 140721087658432 140705292439960 140705486829043 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 24576000 140721087665135 140721087665306 140721087665306 140721087668175 0
[pid=17462/tid=17488] ppid=17460 vsize=15417404 memory=4721596 CPUtime=94.34 cores=1,3,5,7
/proc/17462/task/17488/stat : 17488 (java) R 17460 17460 14254 0 -1 4202560 2532 0 0 0 9434 0 0 0 20 0 19 0 407929548 15787421696 1180399 33554432000 4194304 4196468 140721087658432 140705291386464 140705486961599 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 24576000 140721087665135 140721087665306 140721087665306 140721087668175 0
Current children cumulated CPU time: 411.03 s
Current children cumulated vsize: 15530532 KiB
Current children cumulated memory: 4723044 KiB

Child status: 0
Real time (s): 114.961
CPU time (s): 411.196
CPU user time (s): 407.871
CPU system time (s): 3.32571
CPU usage (%): 357.685
Max. virtual memory (cumulated for all children) (KiB): 15530532
Max. memory (cumulated for all children) (KiB): 4728500

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 407.871
system time used= 3.32571
maximum resident set size= 4727052
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 93427
page faults= 0
swaps= 0
block input operations= 0
block output operations= 264
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 5993
involuntary context switches= 8430


# summary of solver processes directly reported to runsolver:
#   pid: 17460
#   total CPU time (s): 411.196
#   total CPU user time (s): 407.871
#   total CPU system time (s): 3.32571

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.749462 second user time and 1.3634 second system time

The end

Launcher Data 

Begin job on node107 at 2019-09-12 20:29:59
IDJOB=4392946
IDBENCH=125591
IDSOLVER=2840
FILE ID=node107/4392946-1568316715
RUNJOBID= node107-1568308867-14286
PBS_JOBID= 21701131
Free space on /tmp= 55648 MiB

SOLVER NAME= choco-solver 2019-06-14
BENCH NAME= XCSP17/QRandom/QRandom-mdd-7-25-5-p7/mdd-7-25-5-ps05-psh07-4.xml
COMMAND LINE= xcsp3-exec -dir DIR -tl TIMEOUT -p NBCORE -ml 12000 -tdir TMPDIR -seed RANDOMSEED BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4392946-1568316715/watcher-4392946-1568316715 -o /tmp/evaluation-result-4392946-1568316715/solver-4392946-1568316715 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node107-1568308867-14286 --watchdog 2580  xcsp3-exec -dir HOME -tl 2520 -p 4 -ml 12000 -tdir HOME -seed 1350523678 HOME/instance-4392946-1568316715.xml

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

MD5SUM BENCH= cc3fcfac109c3d277a0ef72b27cdc983
RANDOM SEED=1350523678

node107.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	: 5334.11
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	: 5334.11
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	: 5334.11
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	: 5334.11
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:        30260684 kB
MemAvailable:   30643364 kB
Buffers:          114612 kB
Cached:           536812 kB
SwapCached:        80392 kB
Active:          1613016 kB
Inactive:         309660 kB
Active(anon):    1200032 kB
Inactive(anon):   100120 kB
Active(file):     412984 kB
Inactive(file):   209540 kB
Unevictable:      110040 kB
Mlocked:          110040 kB
SwapTotal:      67108860 kB
SwapFree:       66920688 kB
Dirty:             59336 kB
Writeback:             0 kB
AnonPages:       1302084 kB
Mapped:            44744 kB
Shmem:             20436 kB
Slab:             180956 kB
SReclaimable:     151984 kB
SUnreclaim:        28972 kB
KernelStack:        3760 kB
PageTables:         8100 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    3406840 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1196032 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= 55624 MiB
End job on node107 at 2019-09-12 20:31:54