Trace number 4392922

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 253.65 75.1828

General information on the benchmark

NameQRandom/QRandom-mdd-7-25-5-p7/
mdd-7-25-5-ps05-psh07-9.xml
MD5SUM2d7f03e466d78847960dc3f747db29ef
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 benchmark42.4013
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 degree12
Maximum variable degree25
Distribution of variable degrees[{"degree":12,"count":1},{"degree":13,"count":3},{"degree":14,"count":6},{"degree":15,"count":2},{"degree":16,"count":3},{"degree":17,"count":4},{"degree":18,"count":1},{"degree":19,"count":1},{"degree":20,"count":2},{"degree":23,"count":1},{"degree":25,"count":1}]
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-4392922-1568316696.xml"  -tl '2520s' -p 4
0.13/0.18	c Choco e747e1e
0.13/0.18	c [HOME/instance-4392922-1568316696.xml, -tl, 2520s, -p, 4]
0.34/0.22	c 4 solvers in parallel
0.34/0.28	c parse instance...
31.03/19.22	c solve instance...
253.44/75.15	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 (8619 MiB free)
  memory of node 1: 16384 MiB (13690 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4392922-1568316696/watcher-4392922-1568316696 -o /tmp/evaluation-result-4392922-1568316696/solver-4392922-1568316696 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node117-1568312851-11623 --watchdog 2580 xcsp3-exec -dir HOME -tl 2520 -p 4 -ml 12000 -tdir HOME -seed 64691373 HOME/instance-4392922-1568316696.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=16595, runsolver pid=16592
Current StackSize limit: 8192 KiB


[startup+0.102944 s]*
/proc/loadavg: 7.56 8.23 8.07 6/233 16611
/proc/meminfo: memFree=22828020/32770624 swapFree=66952812/67108860
[pid=16595] ppid=16592 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/16595/stat : 16595 (xcsp3-exec) S 16592 16595 11591 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 407611627 115843072 362 33554432000 4194304 5098028 140721059401136 140721059399240 140373662425724 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 7991296 140721059406716 140721059406957 140721059406957 140721059409866 0
/proc/16595/statm: 28282 362 304 221 0 87 0
[pid=16597] ppid=16595 vsize=15144768 memory=29624 CPUtime=0.13 cores=1,3,5,7
/proc/16597/stat : 16597 (java) S 16595 16595 11591 0 -1 1077944320 5857 0 0 0 12 1 0 0 20 0 15 0 407611627 15508242432 7406 33554432000 4194304 4196468 140728920557824 140728920540368 140704204189431 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 14434304 140728920564719 140728920564890 140728920564890 140728920567759 0
/proc/16597/statm: 3786192 7406 3181 1 0 3748377 0
[pid=16597/tid=16598] ppid=16595 vsize=15144768 memory=7100839861498119282 CPUtime=0.09 cores=1,3,5,7
/proc/16597/task/16598/stat : 16598 (java) R 16595 16595 11591 0 -1 4202560 3731 0 0 0 8 1 0 0 20 0 15 0 407611628 15508242432 7406 33554432000 4194304 4196468 140728920557824 140704208419648 140704188233061 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 14434304 140728920564719 140728920564890 140728920564890 140728920567759 0
[pid=16597/tid=16599] ppid=16595 vsize=15144768 memory=-3689349214911541841 CPUtime=0 cores=1,3,5,7
/proc/16597/task/16599/stat : 16599 (java) S 16595 16595 11591 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 407611628 15508242432 7406 33554432000 4194304 4196468 140728920557824 140704140425744 140704204199637 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14434304 140728920564719 140728920564890 140728920564890 140728920567759 0
[pid=16597/tid=16600] ppid=16595 vsize=15144768 memory=140472822306432 CPUtime=0 cores=1,3,5,7
/proc/16597/task/16600/stat : 16600 (java) S 16595 16595 11591 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 407611628 15508242432 7406 33554432000 4194304 4196468 140728920557824 140704139373200 140704204199637 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14434304 140728920564719 140728920564890 140728920564890 140728920567759 0
[pid=16597/tid=16601] ppid=16595 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/16597/task/16601/stat : 16601 (java) S 16595 16595 11591 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 407611628 15508242432 7406 33554432000 4194304 4196468 140728920557824 140704138320144 140704204199637 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14434304 140728920564719 140728920564890 140728920564890 140728920567759 0
[pid=16597/tid=16602] ppid=16595 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/16597/task/16602/stat : 16602 (java) S 16595 16595 11591 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 407611628 15508242432 7406 33554432000 4194304 4196468 140728920557824 140704137267600 140704204199637 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14434304 140728920564719 140728920564890 140728920564890 140728920567759 0
[pid=16597/tid=16603] ppid=16595 vsize=15144768 memory=140472822306432 CPUtime=0 cores=1,3,5,7
/proc/16597/task/16603/stat : 16603 (java) S 16595 16595 11591 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 407611630 15508242432 7406 33554432000 4194304 4196468 140728920557824 140703279622896 140704204200578 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14434304 140728920564719 140728920564890 140728920564890 140728920567759 0
[pid=16597/tid=16604] ppid=16595 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/16597/task/16604/stat : 16604 (java) S 16595 16595 11591 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 407611630 15508242432 7406 33554432000 4194304 4196468 140728920557824 140703278569120 140704204199637 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14434304 140728920564719 140728920564890 140728920564890 140728920567759 0
[pid=16597/tid=16605] ppid=16595 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/16597/task/16605/stat : 16605 (java) S 16595 16595 11591 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 407611630 15508242432 7406 33554432000 4194304 4196468 140728920557824 140703277516016 140704204199637 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14434304 140728920564719 140728920564890 140728920564890 140728920567759 0
[pid=16597/tid=16606] ppid=16595 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/16597/task/16606/stat : 16606 (java) S 16595 16595 11591 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 407611633 15508242432 7406 33554432000 4194304 4196468 140728920557824 140703276464592 140704204208027 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14434304 140728920564719 140728920564890 140728920564890 140728920567759 0
[pid=16597/tid=16607] ppid=16595 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/16597/task/16607/stat : 16607 (java) R 16595 16595 11591 0 -1 1077944384 309 0 0 0 0 0 0 0 20 0 15 0 407611633 15508242432 7406 33554432000 4194304 4196468 140728920557824 140703275411696 140704204200578 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 14434304 140728920564719 140728920564890 140728920564890 140728920567759 0
[pid=16597/tid=16608] ppid=16595 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/16597/task/16608/stat : 16608 (java) R 16595 16595 11591 0 -1 4202560 160 0 0 0 0 0 0 0 20 0 15 0 407611633 15508242432 7406 33554432000 4194304 4196468 140728920557824 140703274359152 140704190204561 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 14434304 140728920564719 140728920564890 140728920564890 140728920567759 0
[pid=16597/tid=16609] ppid=16595 vsize=15144768 memory=140472822306432 CPUtime=0.02 cores=1,3,5,7
/proc/16597/task/16609/stat : 16609 (java) R 16595 16595 11591 0 -1 4202560 355 0 0 0 2 0 0 0 20 0 15 0 407611633 15508242432 7406 33554432000 4194304 4196468 140728920557824 140703273306096 140704188325824 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 14434304 140728920564719 140728920564890 140728920564890 140728920567759 0
[pid=16597/tid=16610] ppid=16595 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/16597/task/16610/stat : 16610 (java) S 16595 16595 11591 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 407611633 15508242432 7406 33554432000 4194304 4196468 140728920557824 140703272253792 140704204199637 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14434304 140728920564719 140728920564890 140728920564890 140728920567759 0
[pid=16597/tid=16611] ppid=16595 vsize=15144768 memory=140472822306432 CPUtime=0 cores=1,3,5,7
/proc/16597/task/16611/stat : 16611 (java) R 16595 16595 11591 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 407611633 15508242432 7406 33554432000 4194304 4196468 140728920557824 140703271201840 140704204200578 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 14434304 140728920564719 140728920564890 140728920564890 140728920567759 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 15257896 KiB
Current children cumulated memory: 31072 KiB

[startup+0.210791 s]*
/proc/loadavg: 7.56 8.23 8.07 7/233 16611
/proc/meminfo: memFree=22815384/32770624 swapFree=66952812/67108860
[pid=16595] ppid=16592 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/16595/stat : 16595 (xcsp3-exec) S 16592 16595 11591 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 407611627 115843072 362 33554432000 4194304 5098028 140721059401136 140721059399240 140373662425724 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 7991296 140721059406716 140721059406957 140721059406957 140721059409866 0
/proc/16595/statm: 28282 362 304 221 0 87 0
[pid=16597] ppid=16595 vsize=15144768 memory=40912 CPUtime=0.34 cores=1,3,5,7
/proc/16597/stat : 16597 (java) S 16595 16595 11591 0 -1 1077944320 9466 0 0 0 31 3 0 0 20 0 15 0 407611627 15508242432 10228 33554432000 4194304 4196468 140728920557824 140728920540368 140704204189431 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 14434304 140728920564719 140728920564890 140728920564890 140728920567759 0
/proc/16597/statm: 3786192 10228 3296 1 0 3748377 0
[pid=16597/tid=16598] ppid=16595 vsize=15144768 memory=7883960649037381690 CPUtime=0.2 cores=1,3,5,7
/proc/16597/task/16598/stat : 16598 (java) R 16595 16595 11591 0 -1 4202560 6628 0 0 0 18 2 0 0 20 0 15 0 407611628 15508242432 10228 33554432000 4194304 4196468 140728920557824 140704208423552 140704204201366 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 14434304 140728920564719 140728920564890 140728920564890 140728920567759 0
[pid=16597/tid=16599] ppid=16595 vsize=15144768 memory=13655 CPUtime=0 cores=1,3,5,7
/proc/16597/task/16599/stat : 16599 (java) S 16595 16595 11591 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 407611628 15508242432 10228 33554432000 4194304 4196468 140728920557824 140704140425744 140704204199637 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14434304 140728920564719 140728920564890 140728920564890 140728920567759 0
[pid=16597/tid=16600] ppid=16595 vsize=15144768 memory=288370848974018176 CPUtime=0 cores=1,3,5,7
/proc/16597/task/16600/stat : 16600 (java) S 16595 16595 11591 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 407611628 15508242432 10228 33554432000 4194304 4196468 140728920557824 140704139373200 140704204199637 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14434304 140728920564719 140728920564890 140728920564890 140728920567759 0
[pid=16597/tid=16601] ppid=16595 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/16597/task/16601/stat : 16601 (java) S 16595 16595 11591 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 407611628 15508242432 10228 33554432000 4194304 4196468 140728920557824 140704138320144 140704204199637 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14434304 140728920564719 140728920564890 140728920564890 140728920567759 0
[pid=16597/tid=16602] ppid=16595 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/16597/task/16602/stat : 16602 (java) S 16595 16595 11591 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 407611628 15508242432 10228 33554432000 4194304 4196468 140728920557824 140704137267600 140704204199637 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14434304 140728920564719 140728920564890 140728920564890 140728920567759 0
[pid=16597/tid=16603] ppid=16595 vsize=15144768 memory=140472822306432 CPUtime=0 cores=1,3,5,7
/proc/16597/task/16603/stat : 16603 (java) S 16595 16595 11591 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 407611630 15508242432 10228 33554432000 4194304 4196468 140728920557824 140703279622896 140704204200578 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14434304 140728920564719 140728920564890 140728920564890 140728920567759 0
[pid=16597/tid=16604] ppid=16595 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/16597/task/16604/stat : 16604 (java) S 16595 16595 11591 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 407611630 15508242432 10228 33554432000 4194304 4196468 140728920557824 140703278569120 140704204199637 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14434304 140728920564719 140728920564890 140728920564890 140728920567759 0
[pid=16597/tid=16605] ppid=16595 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/16597/task/16605/stat : 16605 (java) S 16595 16595 11591 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 407611630 15508242432 10228 33554432000 4194304 4196468 140728920557824 140703277516016 140704204199637 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14434304 140728920564719 140728920564890 140728920564890 140728920567759 0
[pid=16597/tid=16606] ppid=16595 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/16597/task/16606/stat : 16606 (java) S 16595 16595 11591 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 407611633 15508242432 10228 33554432000 4194304 4196468 140728920557824 140703276464592 140704204208027 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14434304 140728920564719 140728920564890 140728920564890 140728920567759 0
[pid=16597/tid=16607] ppid=16595 vsize=15144768 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/16597/task/16607/stat : 16607 (java) S 16595 16595 11591 0 -1 1077944384 524 0 0 0 2 0 0 0 20 0 15 0 407611633 15508242432 10228 33554432000 4194304 4196468 140728920557824 140703275411696 140704204200578 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14434304 140728920564719 140728920564890 140728920564890 140728920567759 0
[pid=16597/tid=16608] ppid=16595 vsize=15144768 memory=-1 CPUtime=0.02 cores=1,3,5,7
/proc/16597/task/16608/stat : 16608 (java) S 16595 16595 11591 0 -1 1077944384 254 0 0 0 2 0 0 0 20 0 15 0 407611633 15508242432 10228 33554432000 4194304 4196468 140728920557824 140703274359152 140704204200578 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14434304 140728920564719 140728920564890 140728920564890 140728920567759 0
[pid=16597/tid=16609] ppid=16595 vsize=15144768 memory=140472822306432 CPUtime=0.08 cores=1,3,5,7
/proc/16597/task/16609/stat : 16609 (java) R 16595 16595 11591 0 -1 4202560 754 0 0 0 8 0 0 0 20 0 15 0 407611633 15508242432 10228 33554432000 4194304 4196468 140728920557824 140703273306096 140704204210778 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 14434304 140728920564719 140728920564890 140728920564890 140728920567759 0
[pid=16597/tid=16610] ppid=16595 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/16597/task/16610/stat : 16610 (java) S 16595 16595 11591 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 407611633 15508242432 10228 33554432000 4194304 4196468 140728920557824 140703272253792 140704204199637 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14434304 140728920564719 140728920564890 140728920564890 140728920567759 0
[pid=16597/tid=16611] ppid=16595 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/16597/task/16611/stat : 16611 (java) S 16595 16595 11591 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 407611633 15508242432 10228 33554432000 4194304 4196468 140728920557824 140703271201840 140704204200578 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14434304 140728920564719 140728920564890 140728920564890 140728920567759 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 15257896 KiB
Current children cumulated memory: 42360 KiB

[startup+0.317063 s]*
/proc/loadavg: 7.56 8.23 8.07 7/233 16611
/proc/meminfo: memFree=22807732/32770624 swapFree=66952812/67108860
[pid=16595] ppid=16592 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/16595/stat : 16595 (xcsp3-exec) S 16592 16595 11591 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 407611627 115843072 362 33554432000 4194304 5098028 140721059401136 140721059399240 140373662425724 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 7991296 140721059406716 140721059406957 140721059406957 140721059409866 0
/proc/16595/statm: 28282 362 304 221 0 87 0
[pid=16597] ppid=16595 vsize=15149024 memory=50556 CPUtime=0.54 cores=1,3,5,7
/proc/16597/stat : 16597 (java) S 16595 16595 11591 0 -1 1077944320 10961 0 0 0 49 5 0 0 20 0 15 0 407611627 15512600576 12639 33554432000 4194304 4196468 140728920557824 140728920540368 140704204189431 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 14434304 140728920564719 140728920564890 140728920564890 140728920567759 0
/proc/16597/statm: 3787256 12639 3366 1 0 3748377 0
[pid=16597/tid=16598] ppid=16595 vsize=15149024 memory=8317482817917895235 CPUtime=0.3 cores=1,3,5,7
/proc/16597/task/16598/stat : 16598 (java) R 16595 16595 11591 0 -1 4202560 7896 0 0 0 27 3 0 0 20 0 15 0 407611628 15512600576 12647 33554432000 4194304 4196468 140728920557824 140704208417200 140704188269918 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 14434304 140728920564719 140728920564890 140728920564890 140728920567759 0
[pid=16597/tid=16599] ppid=16595 vsize=15149024 memory=4126316290023845779 CPUtime=0 cores=1,3,5,7
/proc/16597/task/16599/stat : 16599 (java) S 16595 16595 11591 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 407611628 15512600576 12647 33554432000 4194304 4196468 140728920557824 140704140425744 140704204199637 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14434304 140728920564719 140728920564890 140728920564890 140728920567759 0
[pid=16597/tid=16600] ppid=16595 vsize=15149024 memory=6655300316396806240 CPUtime=0 cores=1,3,5,7
/proc/16597/task/16600/stat : 16600 (java) S 16595 16595 11591 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 407611628 15512600576 12647 33554432000 4194304 4196468 140728920557824 140704139373200 140704204199637 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14434304 140728920564719 140728920564890 140728920564890 140728920567759 0
[pid=16597/tid=16601] ppid=16595 vsize=15149024 memory=6943526294502006880 CPUtime=0 cores=1,3,5,7
/proc/16597/task/16601/stat : 16601 (java) S 16595 16595 11591 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 407611628 15512600576 12647 33554432000 4194304 4196468 140728920557824 140704138320144 140704204199637 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14434304 140728920564719 140728920564890 140728920564890 140728920567759 0
[pid=16597/tid=16602] ppid=16595 vsize=15149024 memory=-3258418265892434876 CPUtime=0 cores=1,3,5,7
/proc/16597/task/16602/stat : 16602 (java) S 16595 16595 11591 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 407611628 15512600576 12647 33554432000 4194304 4196468 140728920557824 140704137267600 140704204199637 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14434304 140728920564719 140728920564890 140728920564890 140728920567759 0
[pid=16597/tid=16603] ppid=16595 vsize=15149024 memory=4572146057552828020 CPUtime=0 cores=1,3,5,7
/proc/16597/task/16603/stat : 16603 (java) S 16595 16595 11591 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 407611630 15512600576 12647 33554432000 4194304 4196468 140728920557824 140703279622896 140704204200578 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14434304 140728920564719 140728920564890 140728920564890 140728920567759 0
[pid=16597/tid=16604] ppid=16595 vsize=15149024 memory=6944613755495348631 CPUtime=0 cores=1,3,5,7
/proc/16597/task/16604/stat : 16604 (java) S 16595 16595 11591 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 407611630 15512600576 12647 33554432000 4194304 4196468 140728920557824 140703278569120 140704204199637 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14434304 140728920564719 140728920564890 140728920564890 140728920567759 0
[pid=16597/tid=16605] ppid=16595 vsize=15149024 memory=7893295687695687954 CPUtime=0 cores=1,3,5,7
/proc/16597/task/16605/stat : 16605 (java) S 16595 16595 11591 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 407611630 15512600576 12647 33554432000 4194304 4196468 140728920557824 140703277516016 140704204199637 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14434304 140728920564719 140728920564890 140728920564890 140728920567759 0
[pid=16597/tid=16606] ppid=16595 vsize=15149024 memory=-8813974798734826869 CPUtime=0 cores=1,3,5,7
/proc/16597/task/16606/stat : 16606 (java) S 16595 16595 11591 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 407611633 15512600576 12647 33554432000 4194304 4196468 140728920557824 140703276464592 140704204208027 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14434304 140728920564719 140728920564890 140728920564890 140728920567759 0
[pid=16597/tid=16607] ppid=16595 vsize=15149024 memory=7827413994055111515 CPUtime=0.05 cores=1,3,5,7
/proc/16597/task/16607/stat : 16607 (java) S 16595 16595 11591 0 -1 1077944384 650 0 0 0 5 0 0 0 20 0 15 0 407611633 15512600576 12647 33554432000 4194304 4196468 140728920557824 140703275411696 140704204200578 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14434304 140728920564719 140728920564890 140728920564890 140728920567759 0
[pid=16597/tid=16608] ppid=16595 vsize=15149024 memory=0 CPUtime=0.03 cores=1,3,5,7
/proc/16597/task/16608/stat : 16608 (java) S 16595 16595 11591 0 -1 1077944384 266 0 0 0 3 0 0 0 20 0 15 0 407611633 15512600576 12647 33554432000 4194304 4196468 140728920557824 140703274359152 140704204200578 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14434304 140728920564719 140728920564890 140728920564890 140728920567759 0
[pid=16597/tid=16609] ppid=16595 vsize=15149024 memory=0 CPUtime=0.12 cores=1,3,5,7
/proc/16597/task/16609/stat : 16609 (java) S 16595 16595 11591 0 -1 1077944384 854 0 0 0 12 0 0 0 20 0 15 0 407611633 15512600576 12647 33554432000 4194304 4196468 140728920557824 140703273306096 140704204200578 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14434304 140728920564719 140728920564890 140728920564890 140728920567759 0
[pid=16597/tid=16610] ppid=16595 vsize=15149024 memory=0 CPUtime=0 cores=1,3,5,7
/proc/16597/task/16610/stat : 16610 (java) S 16595 16595 11591 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 407611633 15512600576 12647 33554432000 4194304 4196468 140728920557824 140703272253792 140704204199637 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14434304 140728920564719 140728920564890 140728920564890 140728920567759 0
[pid=16597/tid=16611] ppid=16595 vsize=15149024 memory=0 CPUtime=0 cores=1,3,5,7
/proc/16597/task/16611/stat : 16611 (java) S 16595 16595 11591 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 407611633 15512600576 12647 33554432000 4194304 4196468 140728920557824 140703271201840 140704204200578 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14434304 140728920564719 140728920564890 140728920564890 140728920567759 0
Current children cumulated CPU time: 0.54 s
Current children cumulated vsize: 15262152 KiB
Current children cumulated memory: 52004 KiB

[startup+0.700831 s]
/proc/loadavg: 7.56 8.23 8.07 8/233 16611
/proc/meminfo: memFree=22731528/32770624 swapFree=66952812/67108860
[pid=16595] ppid=16592 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/16595/stat : 16595 (xcsp3-exec) S 16592 16595 11591 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 407611627 115843072 362 33554432000 4194304 5098028 140721059401136 140721059399240 140373662425724 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 7991296 140721059406716 140721059406957 140721059406957 140721059409866 0
/proc/16595/statm: 28282 362 304 221 0 87 0
[pid=16597] ppid=16595 vsize=15149100 memory=255008 CPUtime=1.49 cores=1,3,5,7
/proc/16597/stat : 16597 (java) S 16595 16595 11591 0 -1 1077944320 14168 0 0 0 138 11 0 0 20 0 15 0 407611627 15512678400 63752 33554432000 4194304 4196468 140728920557824 140728920540368 140704204189431 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 14434304 140728920564719 140728920564890 140728920564890 140728920567759 0
/proc/16597/statm: 3787275 63752 3454 1 0 3748377 0
[pid=16597/tid=16598] ppid=16595 vsize=15149100 memory=0 CPUtime=0.64 cores=1,3,5,7
/proc/16597/task/16598/stat : 16598 (java) R 16595 16595 11591 0 -1 4202560 8279 0 0 0 59 5 0 0 20 0 15 0 407611628 15512678400 63752 33554432000 4194304 4196468 140728920557824 140704208423024 140703816514848 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 14434304 140728920564719 140728920564890 140728920564890 140728920567759 0
[pid=16597/tid=16599] ppid=16595 vsize=15149100 memory=37964 CPUtime=0.01 cores=1,3,5,7
/proc/16597/task/16599/stat : 16599 (java) S 16595 16595 11591 0 -1 1077944384 27 0 0 0 1 0 0 0 20 0 15 0 407611628 15512678400 63752 33554432000 4194304 4196468 140728920557824 140704140425744 140704204199637 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14434304 140728920564719 140728920564890 140728920564890 140728920567759 0
[pid=16597/tid=16600] ppid=16595 vsize=15149100 memory=992 CPUtime=0.01 cores=1,3,5,7
/proc/16597/task/16600/stat : 16600 (java) S 16595 16595 11591 0 -1 1077944384 41 0 0 0 1 0 0 0 20 0 15 0 407611628 15512678400 63752 33554432000 4194304 4196468 140728920557824 140704139373200 140704204199637 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14434304 140728920564719 140728920564890 140728920564890 140728920567759 0
[pid=16597/tid=16601] ppid=16595 vsize=15149100 memory=2044 CPUtime=0.01 cores=1,3,5,7
/proc/16597/task/16601/stat : 16601 (java) S 16595 16595 11591 0 -1 1077944384 31 0 0 0 1 0 0 0 20 0 15 0 407611628 15512678400 63752 33554432000 4194304 4196468 140728920557824 140704138320144 140704204199637 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14434304 140728920564719 140728920564890 140728920564890 140728920567759 0
[pid=16597/tid=16602] ppid=16595 vsize=15149100 memory=1324 CPUtime=0.01 cores=1,3,5,7
/proc/16597/task/16602/stat : 16602 (java) S 16595 16595 11591 0 -1 1077944384 30 0 0 0 1 0 0 0 20 0 15 0 407611628 15512678400 63752 33554432000 4194304 4196468 140728920557824 140704137267600 140704204199637 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14434304 140728920564719 140728920564890 140728920564890 140728920567759 0
[pid=16597/tid=16603] ppid=16595 vsize=15149100 memory=11624 CPUtime=0 cores=1,3,5,7
/proc/16597/task/16603/stat : 16603 (java) S 16595 16595 11591 0 -1 1077944384 84 0 0 0 0 0 0 0 20 0 15 0 407611630 15512678400 63752 33554432000 4194304 4196468 140728920557824 140703279622896 140704204200578 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14434304 140728920564719 140728920564890 140728920564890 140728920567759 0
[pid=16597/tid=16604] ppid=16595 vsize=15149100 memory=752 CPUtime=0 cores=1,3,5,7
/proc/16597/task/16604/stat : 16604 (java) S 16595 16595 11591 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 407611630 15512678400 63752 33554432000 4194304 4196468 140728920557824 140703278569120 140704204199637 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14434304 140728920564719 140728920564890 140728920564890 140728920567759 0
[pid=16597/tid=16605] ppid=16595 vsize=15149100 memory=1056 CPUtime=0 cores=1,3,5,7
/proc/16597/task/16605/stat : 16605 (java) S 16595 16595 11591 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 407611630 15512678400 63752 33554432000 4194304 4196468 140728920557824 140703277516016 140704204199637 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14434304 140728920564719 140728920564890 140728920564890 140728920567759 0
[pid=16597/tid=16606] ppid=16595 vsize=15149100 memory=1552 CPUtime=0 cores=1,3,5,7
/proc/16597/task/16606/stat : 16606 (java) S 16595 16595 11591 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 407611633 15512678400 63752 33554432000 4194304 4196468 140728920557824 140703276464592 140704204208027 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14434304 140728920564719 140728920564890 140728920564890 140728920567759 0
[pid=16597/tid=16607] ppid=16595 vsize=15149100 memory=944 CPUtime=0.27 cores=1,3,5,7
/proc/16597/task/16607/stat : 16607 (java) R 16595 16595 11591 0 -1 4202560 1677 0 0 0 27 0 0 0 20 0 15 0 407611633 15512678400 63752 33554432000 4194304 4196468 140728920557824 140703275397720 140704189111413 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 14434304 140728920564719 140728920564890 140728920564890 140728920567759 0
[pid=16597/tid=16608] ppid=16595 vsize=15149100 memory=4004 CPUtime=0.22 cores=1,3,5,7
/proc/16597/task/16608/stat : 16608 (java) R 16595 16595 11591 0 -1 4202560 1457 0 0 0 22 0 0 0 20 0 15 0 407611633 15512678400 63752 33554432000 4194304 4196468 140728920557824 140703274345032 140704185710647 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 14434304 140728920564719 140728920564890 140728920564890 140728920567759 0
[pid=16597/tid=16609] ppid=16595 vsize=15149100 memory=780 CPUtime=0.24 cores=1,3,5,7
/proc/16597/task/16609/stat : 16609 (java) R 16595 16595 11591 0 -1 1077944384 1246 0 0 0 24 0 0 0 20 0 15 0 407611633 15512678400 63752 33554432000 4194304 4196468 140728920557824 140703273306096 140704204200578 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 14434304 140728920564719 140728920564890 140728920564890 140728920567759 0
[pid=16597/tid=16610] ppid=16595 vsize=15149100 memory=2832 CPUtime=0 cores=1,3,5,7
/proc/16597/task/16610/stat : 16610 (java) S 16595 16595 11591 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 407611633 15512678400 63752 33554432000 4194304 4196468 140728920557824 140703272253792 140704204199637 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14434304 140728920564719 140728920564890 140728920564890 140728920567759 0
[pid=16597/tid=16611] ppid=16595 vsize=15149100 memory=1720 CPUtime=0 cores=1,3,5,7
/proc/16597/task/16611/stat : 16611 (java) S 16595 16595 11591 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 407611633 15512678400 63752 33554432000 4194304 4196468 140728920557824 140703271201840 140704204200578 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14434304 140728920564719 140728920564890 140728920564890 140728920567759 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 15262228 KiB
Current children cumulated memory: 256456 KiB

[startup+1.50087 s]
/proc/loadavg: 7.56 8.23 8.07 6/233 16611
/proc/meminfo: memFree=22574340/32770624 swapFree=66952812/67108860
[pid=16595] ppid=16592 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/16595/stat : 16595 (xcsp3-exec) S 16592 16595 11591 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 407611627 115843072 362 33554432000 4194304 5098028 140721059401136 140721059399240 140373662425724 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 7991296 140721059406716 140721059406957 140721059406957 140721059409866 0
/proc/16595/statm: 28282 362 304 221 0 87 0

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

/proc/16597/task/16611/stat : 16611 (java) S 16595 16595 11591 0 -1 1077944384 288 0 0 0 0 2 0 0 20 0 19 0 407611633 15787421696 1172615 33554432000 4194304 4196468 140728920557824 140703271201840 140704204200578 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 25 0 0 6293624 6294260 14434304 140728920564719 140728920564890 140728920564890 140728920567759 0
[pid=16597/tid=16612] ppid=16595 vsize=15417404 memory=1448 CPUtime=54.34 cores=1,3,5,7
/proc/16597/task/16612/stat : 16612 (java) R 16595 16595 11591 0 -1 4202560 1203 0 0 0 5434 0 0 0 20 0 19 0 407613550 15787421696 1172615 33554432000 4194304 4196468 140728920557824 140703264091992 140703822428514 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 14434304 140728920564719 140728920564890 140728920564890 140728920567759 0
[pid=16597/tid=16613] ppid=16595 vsize=15417404 memory=4690460 CPUtime=54.5 cores=1,3,5,7
/proc/16597/task/16613/stat : 16613 (java) R 16595 16595 11591 0 -1 4202560 1927 0 0 0 5450 0 0 0 20 0 19 0 407613550 15787421696 1172615 33554432000 4194304 4196468 140728920557824 140703193618888 140703822428663 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 14434304 140728920564719 140728920564890 140728920564890 140728920567759 0
[pid=16597/tid=16614] ppid=16595 vsize=15417404 memory=1448 CPUtime=54.17 cores=1,3,5,7
/proc/16597/task/16614/stat : 16614 (java) R 16595 16595 11591 0 -1 4202560 843 0 0 0 5417 0 0 0 20 0 19 0 407613550 15787421696 1172615 33554432000 4194304 4196468 140728920557824 140703192567952 140703822426997 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 14434304 140728920564719 140728920564890 140728920564890 140728920567759 0
[pid=16597/tid=16615] ppid=16595 vsize=15417404 memory=4690460 CPUtime=54.56 cores=1,3,5,7
/proc/16597/task/16615/stat : 16615 (java) R 16595 16595 11591 0 -1 4202560 1866 0 0 0 5456 0 0 0 20 0 19 0 407613550 15787421696 1172615 33554432000 4194304 4196468 140728920557824 140703191513352 140703821942629 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 14434304 140728920564719 140728920564890 140728920564890 140728920567759 0
Current children cumulated CPU time: 250.64 s
Current children cumulated vsize: 15530532 KiB
Current children cumulated memory: 4691908 KiB

[startup+74.8011 s]
/proc/loadavg: 7.70 8.09 8.03 9/238 16620
/proc/meminfo: memFree=18176444/32770624 swapFree=66952812/67108860
[pid=16595] ppid=16592 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/16595/stat : 16595 (xcsp3-exec) S 16592 16595 11591 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 407611627 115843072 362 33554432000 4194304 5098028 140721059401136 140721059399240 140373662425724 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 7991296 140721059406716 140721059406957 140721059406957 140721059409866 0
/proc/16595/statm: 28282 362 304 221 0 87 0
[pid=16597] ppid=16595 vsize=15417404 memory=4690460 CPUtime=252.21 cores=1,3,5,7
/proc/16597/stat : 16597 (java) S 16595 16595 11591 0 -1 1077944320 78723 0 0 0 24910 311 0 0 20 0 19 0 407611627 15787421696 1172615 33554432000 4194304 4196468 140728920557824 140728920540368 140704204189431 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 14434304 140728920564719 140728920564890 140728920564890 140728920567759 0
/proc/16597/statm: 3854351 1172615 3523 1 0 3815453 0
[pid=16597/tid=16598] ppid=16595 vsize=15417404 memory=0 CPUtime=14.75 cores=1,3,5,7
/proc/16597/task/16598/stat : 16598 (java) S 16595 16595 11591 0 -1 1077944384 15602 0 0 0 1438 37 0 0 20 0 19 0 407611628 15787421696 1172615 33554432000 4194304 4196468 140728920557824 140704208430208 140704204199637 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14434304 140728920564719 140728920564890 140728920564890 140728920567759 0
[pid=16597/tid=16599] ppid=16595 vsize=15417404 memory=3047711553320166262 CPUtime=3.31 cores=1,3,5,7
/proc/16597/task/16599/stat : 16599 (java) S 16595 16595 11591 0 -1 1077944384 2825 0 0 0 267 64 0 0 20 0 19 0 407611628 15787421696 1172615 33554432000 4194304 4196468 140728920557824 140704140425744 140704204199637 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14434304 140728920564719 140728920564890 140728920564890 140728920567759 0
[pid=16597/tid=16600] ppid=16595 vsize=15417404 memory=0 CPUtime=3.29 cores=1,3,5,7
/proc/16597/task/16600/stat : 16600 (java) S 16595 16595 11591 0 -1 1077944384 8172 0 0 0 264 65 0 0 20 0 19 0 407611628 15787421696 1172615 33554432000 4194304 4196468 140728920557824 140704139373200 140704204199637 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14434304 140728920564719 140728920564890 140728920564890 140728920567759 0
[pid=16597/tid=16601] ppid=16595 vsize=15417404 memory=-9001728533042062950 CPUtime=3.32 cores=1,3,5,7
/proc/16597/task/16601/stat : 16601 (java) S 16595 16595 11591 0 -1 1077944384 7450 0 0 0 264 68 0 0 20 0 19 0 407611628 15787421696 1172615 33554432000 4194304 4196468 140728920557824 140704138320144 140704204199637 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14434304 140728920564719 140728920564890 140728920564890 140728920567759 0
[pid=16597/tid=16602] ppid=16595 vsize=15417404 memory=-9062862659931694204 CPUtime=3.31 cores=1,3,5,7
/proc/16597/task/16602/stat : 16602 (java) S 16595 16595 11591 0 -1 1077944384 9568 0 0 0 262 69 0 0 20 0 19 0 407611628 15787421696 1172615 33554432000 4194304 4196468 140728920557824 140704137267600 140704204199637 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14434304 140728920564719 140728920564890 140728920564890 140728920567759 0
[pid=16597/tid=16603] ppid=16595 vsize=15417404 memory=4498404016631593313 CPUtime=0.96 cores=1,3,5,7
/proc/16597/task/16603/stat : 16603 (java) S 16595 16595 11591 0 -1 1077944384 5491 0 0 0 96 0 0 0 20 0 19 0 407611630 15787421696 1172615 33554432000 4194304 4196468 140728920557824 140703279622896 140704204200578 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 13 0 0 6293624 6294260 14434304 140728920564719 140728920564890 140728920564890 140728920567759 0
[pid=16597/tid=16604] ppid=16595 vsize=15417404 memory=-8458152057954561420 CPUtime=0 cores=1,3,5,7
/proc/16597/task/16604/stat : 16604 (java) S 16595 16595 11591 0 -1 1077944384 39 0 0 0 0 0 0 0 20 0 19 0 407611630 15787421696 1172615 33554432000 4194304 4196468 140728920557824 140703278569184 140704204199637 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14434304 140728920564719 140728920564890 140728920564890 140728920567759 0
[pid=16597/tid=16605] ppid=16595 vsize=15417404 memory=7893295687695687954 CPUtime=0 cores=1,3,5,7
/proc/16597/task/16605/stat : 16605 (java) S 16595 16595 11591 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 19 0 407611630 15787421696 1172615 33554432000 4194304 4196468 140728920557824 140703277516032 140704204199637 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14434304 140728920564719 140728920564890 140728920564890 140728920567759 0
[pid=16597/tid=16606] ppid=16595 vsize=15417404 memory=7893295687695687954 CPUtime=0 cores=1,3,5,7
/proc/16597/task/16606/stat : 16606 (java) S 16595 16595 11591 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 407611633 15787421696 1172615 33554432000 4194304 4196468 140728920557824 140703276464592 140704204208027 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14434304 140728920564719 140728920564890 140728920564890 140728920567759 0
[pid=16597/tid=16607] ppid=16595 vsize=15417404 memory=-7313218805096079717 CPUtime=1.65 cores=1,3,5,7
/proc/16597/task/16607/stat : 16607 (java) S 16595 16595 11591 0 -1 1077944384 8700 0 0 0 164 1 0 0 20 0 19 0 407611633 15787421696 1172615 33554432000 4194304 4196468 140728920557824 140703275411696 140704204200578 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14434304 140728920564719 140728920564890 140728920564890 140728920567759 0
[pid=16597/tid=16608] ppid=16595 vsize=15417404 memory=-7240599198935759669 CPUtime=1.67 cores=1,3,5,7
/proc/16597/task/16608/stat : 16608 (java) S 16595 16595 11591 0 -1 1077944384 6822 0 0 0 167 0 0 0 20 0 19 0 407611633 15787421696 1172615 33554432000 4194304 4196468 140728920557824 140703274359152 140704204200578 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14434304 140728920564719 140728920564890 140728920564890 140728920567759 0
[pid=16597/tid=16609] ppid=16595 vsize=15417404 memory=4134606225630022328 CPUtime=0.65 cores=1,3,5,7
/proc/16597/task/16609/stat : 16609 (java) S 16595 16595 11591 0 -1 1077944384 6630 0 0 0 63 2 0 0 20 0 19 0 407611633 15787421696 1172615 33554432000 4194304 4196468 140728920557824 140703273306096 140704204200578 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14434304 140728920564719 140728920564890 140728920564890 140728920567759 0
[pid=16597/tid=16610] ppid=16595 vsize=15417404 memory=7893295687695690042 CPUtime=0 cores=1,3,5,7
/proc/16597/task/16610/stat : 16610 (java) S 16595 16595 11591 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 407611633 15787421696 1172615 33554432000 4194304 4196468 140728920557824 140703272253792 140704204199637 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14434304 140728920564719 140728920564890 140728920564890 140728920567759 0
[pid=16597/tid=16611] ppid=16595 vsize=15417404 memory=-7313218805096079717 CPUtime=0.02 cores=1,3,5,7
/proc/16597/task/16611/stat : 16611 (java) S 16595 16595 11591 0 -1 1077944384 288 0 0 0 0 2 0 0 20 0 19 0 407611633 15787421696 1172615 33554432000 4194304 4196468 140728920557824 140703271201840 140704204200578 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 25 0 0 6293624 6294260 14434304 140728920564719 140728920564890 140728920564890 140728920567759 0
[pid=16597/tid=16612] ppid=16595 vsize=15417404 memory=-7240599198935759669 CPUtime=54.74 cores=1,3,5,7
/proc/16597/task/16612/stat : 16612 (java) R 16595 16595 11591 0 -1 4202560 1203 0 0 0 5474 0 0 0 20 0 19 0 407613550 15787421696 1172615 33554432000 4194304 4196468 140728920557824 140703264091992 140703821942592 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 14434304 140728920564719 140728920564890 140728920564890 140728920567759 0
[pid=16597/tid=16613] ppid=16595 vsize=15417404 memory=4134606225630022328 CPUtime=54.9 cores=1,3,5,7
/proc/16597/task/16613/stat : 16613 (java) R 16595 16595 11591 0 -1 4202560 1927 0 0 0 5490 0 0 0 20 0 19 0 407613550 15787421696 1172615 33554432000 4194304 4196468 140728920557824 140703193618888 140703822425606 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 14434304 140728920564719 140728920564890 140728920564890 140728920567759 0
[pid=16597/tid=16614] ppid=16595 vsize=15417404 memory=7893295687695690042 CPUtime=54.56 cores=1,3,5,7
/proc/16597/task/16614/stat : 16614 (java) R 16595 16595 11591 0 -1 4202560 843 0 0 0 5456 0 0 0 20 0 19 0 407613550 15787421696 1172615 33554432000 4194304 4196468 140728920557824 140703192567952 140703822425587 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 14434304 140728920564719 140728920564890 140728920564890 140728920567759 0
[pid=16597/tid=16615] ppid=16595 vsize=15417404 memory=5859271421084258666 CPUtime=54.96 cores=1,3,5,7
/proc/16597/task/16615/stat : 16615 (java) R 16595 16595 11591 0 -1 4202560 1866 0 0 0 5496 0 0 0 20 0 19 0 407613550 15787421696 1172615 33554432000 4194304 4196468 140728920557824 140703191513352 140703822425606 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 14434304 140728920564719 140728920564890 140728920564890 140728920567759 0
Current children cumulated CPU time: 252.21 s
Current children cumulated vsize: 15530532 KiB
Current children cumulated memory: 4691908 KiB

[startup+75.0011 s]*
/proc/loadavg: 7.70 8.09 8.03 9/238 16620
/proc/meminfo: memFree=18176444/32770624 swapFree=66952812/67108860
[pid=16595] ppid=16592 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/16595/stat : 16595 (xcsp3-exec) S 16592 16595 11591 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 407611627 115843072 362 33554432000 4194304 5098028 140721059401136 140721059399240 140373662425724 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 7991296 140721059406716 140721059406957 140721059406957 140721059409866 0
/proc/16595/statm: 28282 362 304 221 0 87 0
[pid=16597] ppid=16595 vsize=15417404 memory=4690460 CPUtime=253.03 cores=1,3,5,7
/proc/16597/stat : 16597 (java) S 16595 16595 11591 0 -1 1077944320 78723 0 0 0 24992 311 0 0 20 0 19 0 407611627 15787421696 1172615 33554432000 4194304 4196468 140728920557824 140728920540368 140704204189431 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 14434304 140728920564719 140728920564890 140728920564890 140728920567759 0
/proc/16597/statm: 3854351 1172615 3523 1 0 3815453 0
[pid=16597/tid=16598] ppid=16595 vsize=15417404 memory=7883960649037381690 CPUtime=14.75 cores=1,3,5,7
/proc/16597/task/16598/stat : 16598 (java) S 16595 16595 11591 0 -1 1077944384 15602 0 0 0 1438 37 0 0 20 0 19 0 407611628 15787421696 1172615 33554432000 4194304 4196468 140728920557824 140704208430208 140704204199637 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14434304 140728920564719 140728920564890 140728920564890 140728920567759 0
[pid=16597/tid=16599] ppid=16595 vsize=15417404 memory=13655 CPUtime=3.31 cores=1,3,5,7
/proc/16597/task/16599/stat : 16599 (java) S 16595 16595 11591 0 -1 1077944384 2825 0 0 0 267 64 0 0 20 0 19 0 407611628 15787421696 1172615 33554432000 4194304 4196468 140728920557824 140704140425744 140704204199637 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14434304 140728920564719 140728920564890 140728920564890 140728920567759 0
[pid=16597/tid=16600] ppid=16595 vsize=15417404 memory=288370848974018176 CPUtime=3.29 cores=1,3,5,7
/proc/16597/task/16600/stat : 16600 (java) S 16595 16595 11591 0 -1 1077944384 8172 0 0 0 264 65 0 0 20 0 19 0 407611628 15787421696 1172615 33554432000 4194304 4196468 140728920557824 140704139373200 140704204199637 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14434304 140728920564719 140728920564890 140728920564890 140728920567759 0
[pid=16597/tid=16601] ppid=16595 vsize=15417404 memory=0 CPUtime=3.32 cores=1,3,5,7
/proc/16597/task/16601/stat : 16601 (java) S 16595 16595 11591 0 -1 1077944384 7450 0 0 0 264 68 0 0 20 0 19 0 407611628 15787421696 1172615 33554432000 4194304 4196468 140728920557824 140704138320144 140704204199637 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14434304 140728920564719 140728920564890 140728920564890 140728920567759 0
[pid=16597/tid=16602] ppid=16595 vsize=15417404 memory=-1 CPUtime=3.31 cores=1,3,5,7
/proc/16597/task/16602/stat : 16602 (java) S 16595 16595 11591 0 -1 1077944384 9568 0 0 0 262 69 0 0 20 0 19 0 407611628 15787421696 1172615 33554432000 4194304 4196468 140728920557824 140704137267600 140704204199637 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14434304 140728920564719 140728920564890 140728920564890 140728920567759 0
[pid=16597/tid=16603] ppid=16595 vsize=15417404 memory=140472822306432 CPUtime=0.96 cores=1,3,5,7
/proc/16597/task/16603/stat : 16603 (java) S 16595 16595 11591 0 -1 1077944384 5491 0 0 0 96 0 0 0 20 0 19 0 407611630 15787421696 1172615 33554432000 4194304 4196468 140728920557824 140703279622896 140704204200578 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 13 0 0 6293624 6294260 14434304 140728920564719 140728920564890 140728920564890 140728920567759 0
[pid=16597/tid=16604] ppid=16595 vsize=15417404 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/16597/task/16604/stat : 16604 (java) S 16595 16595 11591 0 -1 1077944384 39 0 0 0 0 0 0 0 20 0 19 0 407611630 15787421696 1172615 33554432000 4194304 4196468 140728920557824 140703278569184 140704204199637 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14434304 140728920564719 140728920564890 140728920564890 140728920567759 0
[pid=16597/tid=16605] ppid=16595 vsize=15417404 memory=0 CPUtime=0 cores=1,3,5,7
/proc/16597/task/16605/stat : 16605 (java) S 16595 16595 11591 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 19 0 407611630 15787421696 1172615 33554432000 4194304 4196468 140728920557824 140703277516032 140704204199637 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14434304 140728920564719 140728920564890 140728920564890 140728920567759 0
[pid=16597/tid=16606] ppid=16595 vsize=15417404 memory=0 CPUtime=0 cores=1,3,5,7
/proc/16597/task/16606/stat : 16606 (java) S 16595 16595 11591 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 407611633 15787421696 1172615 33554432000 4194304 4196468 140728920557824 140703276464592 140704204208027 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14434304 140728920564719 140728920564890 140728920564890 140728920567759 0
[pid=16597/tid=16607] ppid=16595 vsize=15417404 memory=0 CPUtime=1.65 cores=1,3,5,7
/proc/16597/task/16607/stat : 16607 (java) S 16595 16595 11591 0 -1 1077944384 8700 0 0 0 164 1 0 0 20 0 19 0 407611633 15787421696 1172615 33554432000 4194304 4196468 140728920557824 140703275411696 140704204200578 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14434304 140728920564719 140728920564890 140728920564890 140728920567759 0
[pid=16597/tid=16608] ppid=16595 vsize=15417404 memory=-1 CPUtime=1.67 cores=1,3,5,7
/proc/16597/task/16608/stat : 16608 (java) S 16595 16595 11591 0 -1 1077944384 6822 0 0 0 167 0 0 0 20 0 19 0 407611633 15787421696 1172615 33554432000 4194304 4196468 140728920557824 140703274359152 140704204200578 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14434304 140728920564719 140728920564890 140728920564890 140728920567759 0
[pid=16597/tid=16609] ppid=16595 vsize=15417404 memory=140472822306432 CPUtime=0.65 cores=1,3,5,7
/proc/16597/task/16609/stat : 16609 (java) S 16595 16595 11591 0 -1 1077944384 6630 0 0 0 63 2 0 0 20 0 19 0 407611633 15787421696 1172615 33554432000 4194304 4196468 140728920557824 140703273306096 140704204200578 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14434304 140728920564719 140728920564890 140728920564890 140728920567759 0
[pid=16597/tid=16610] ppid=16595 vsize=15417404 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/16597/task/16610/stat : 16610 (java) S 16595 16595 11591 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 407611633 15787421696 1172615 33554432000 4194304 4196468 140728920557824 140703272253792 140704204199637 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14434304 140728920564719 140728920564890 140728920564890 140728920567759 0
[pid=16597/tid=16611] ppid=16595 vsize=15417404 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/16597/task/16611/stat : 16611 (java) S 16595 16595 11591 0 -1 1077944384 288 0 0 0 0 2 0 0 20 0 19 0 407611633 15787421696 1172615 33554432000 4194304 4196468 140728920557824 140703271201840 140704204200578 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 25 0 0 6293624 6294260 14434304 140728920564719 140728920564890 140728920564890 140728920567759 0
[pid=16597/tid=16612] ppid=16595 vsize=15417404 memory=0 CPUtime=54.95 cores=1,3,5,7
/proc/16597/task/16612/stat : 16612 (java) R 16595 16595 11591 0 -1 4202560 1203 0 0 0 5495 0 0 0 20 0 19 0 407613550 15787421696 1172615 33554432000 4194304 4196468 140728920557824 140703264091992 140703822128562 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 14434304 140728920564719 140728920564890 140728920564890 140728920567759 0
[pid=16597/tid=16613] ppid=16595 vsize=15417404 memory=0 CPUtime=55.11 cores=1,3,5,7
/proc/16597/task/16613/stat : 16613 (java) R 16595 16595 11591 0 -1 4202560 1927 0 0 0 5511 0 0 0 20 0 19 0 407613550 15787421696 1172615 33554432000 4194304 4196468 140728920557824 140703193618888 140703822428883 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 14434304 140728920564719 140728920564890 140728920564890 140728920567759 0
[pid=16597/tid=16614] ppid=16595 vsize=15417404 memory=0 CPUtime=54.75 cores=1,3,5,7
/proc/16597/task/16614/stat : 16614 (java) R 16595 16595 11591 0 -1 4202560 843 0 0 0 5475 0 0 0 20 0 19 0 407613550 15787421696 1172615 33554432000 4194304 4196468 140728920557824 140703192567952 140703821942763 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 14434304 140728920564719 140728920564890 140728920564890 140728920567759 0
[pid=16597/tid=16615] ppid=16595 vsize=15417404 memory=0 CPUtime=55.17 cores=1,3,5,7
/proc/16597/task/16615/stat : 16615 (java) R 16595 16595 11591 0 -1 4202560 1866 0 0 0 5517 0 0 0 20 0 19 0 407613550 15787421696 1172615 33554432000 4194304 4196468 140728920557824 140703191513352 140703822052234 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 14434304 140728920564719 140728920564890 140728920564890 140728920567759 0
Current children cumulated CPU time: 253.03 s
Current children cumulated vsize: 15530532 KiB
Current children cumulated memory: 4691908 KiB

[startup+75.1121 s]
/proc/loadavg: 7.70 8.09 8.03 9/238 16620
/proc/meminfo: memFree=18176444/32770624 swapFree=66952812/67108860
[pid=16595] ppid=16592 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/16595/stat : 16595 (xcsp3-exec) S 16592 16595 11591 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 407611627 115843072 362 33554432000 4194304 5098028 140721059401136 140721059399240 140373662425724 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 7991296 140721059406716 140721059406957 140721059406957 140721059409866 0
/proc/16595/statm: 28282 362 304 221 0 87 0
[pid=16597] ppid=16595 vsize=15417404 memory=4690460 CPUtime=253.44 cores=1,3,5,7
/proc/16597/stat : 16597 (java) S 16595 16595 11591 0 -1 1077944320 78723 0 0 0 25033 311 0 0 20 0 19 0 407611627 15787421696 1172615 33554432000 4194304 4196468 140728920557824 140728920540368 140704204189431 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 14434304 140728920564719 140728920564890 140728920564890 140728920567759 0
/proc/16597/statm: 3854351 1172615 3523 1 0 3815453 0
[pid=16597/tid=16598] ppid=16595 vsize=15417404 memory=4690460 CPUtime=14.75 cores=1,3,5,7
/proc/16597/task/16598/stat : 16598 (java) S 16595 16595 11591 0 -1 1077944384 15602 0 0 0 1438 37 0 0 20 0 19 0 407611628 15787421696 1172615 33554432000 4194304 4196468 140728920557824 140704208430208 140704204199637 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14434304 140728920564719 140728920564890 140728920564890 140728920567759 0
[pid=16597/tid=16599] ppid=16595 vsize=15417404 memory=4690460 CPUtime=3.31 cores=1,3,5,7
/proc/16597/task/16599/stat : 16599 (java) S 16595 16595 11591 0 -1 1077944384 2825 0 0 0 267 64 0 0 20 0 19 0 407611628 15787421696 1172615 33554432000 4194304 4196468 140728920557824 140704140425744 140704204199637 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14434304 140728920564719 140728920564890 140728920564890 140728920567759 0
[pid=16597/tid=16600] ppid=16595 vsize=15417404 memory=1448 CPUtime=3.29 cores=1,3,5,7
/proc/16597/task/16600/stat : 16600 (java) S 16595 16595 11591 0 -1 1077944384 8172 0 0 0 264 65 0 0 20 0 19 0 407611628 15787421696 1172615 33554432000 4194304 4196468 140728920557824 140704139373200 140704204199637 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14434304 140728920564719 140728920564890 140728920564890 140728920567759 0
[pid=16597/tid=16601] ppid=16595 vsize=15417404 memory=37964 CPUtime=3.32 cores=1,3,5,7
/proc/16597/task/16601/stat : 16601 (java) S 16595 16595 11591 0 -1 1077944384 7450 0 0 0 264 68 0 0 20 0 19 0 407611628 15787421696 1172615 33554432000 4194304 4196468 140728920557824 140704138320144 140704204199637 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14434304 140728920564719 140728920564890 140728920564890 140728920567759 0
[pid=16597/tid=16602] ppid=16595 vsize=15417404 memory=280945355048448 CPUtime=3.31 cores=1,3,5,7
/proc/16597/task/16602/stat : 16602 (java) S 16595 16595 11591 0 -1 1077944384 9568 0 0 0 262 69 0 0 20 0 19 0 407611628 15787421696 1172615 33554432000 4194304 4196468 140728920557824 140704137267600 140704204199637 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14434304 140728920564719 140728920564890 140728920564890 140728920567759 0
[pid=16597/tid=16603] ppid=16595 vsize=15417404 memory=6791534058613427641 CPUtime=0.96 cores=1,3,5,7
/proc/16597/task/16603/stat : 16603 (java) S 16595 16595 11591 0 -1 1077944384 5491 0 0 0 96 0 0 0 20 0 19 0 407611630 15787421696 1172615 33554432000 4194304 4196468 140728920557824 140703279622896 140704204200578 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 13 0 0 6293624 6294260 14434304 140728920564719 140728920564890 140728920564890 140728920567759 0
[pid=16597/tid=16604] ppid=16595 vsize=15417404 memory=4690460 CPUtime=0 cores=1,3,5,7
/proc/16597/task/16604/stat : 16604 (java) S 16595 16595 11591 0 -1 1077944384 39 0 0 0 0 0 0 0 20 0 19 0 407611630 15787421696 1172615 33554432000 4194304 4196468 140728920557824 140703278569184 140704204199637 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14434304 140728920564719 140728920564890 140728920564890 140728920567759 0
[pid=16597/tid=16605] ppid=16595 vsize=15417404 memory=4690460 CPUtime=0 cores=1,3,5,7
/proc/16597/task/16605/stat : 16605 (java) S 16595 16595 11591 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 19 0 407611630 15787421696 1172615 33554432000 4194304 4196468 140728920557824 140703277516032 140704204199637 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14434304 140728920564719 140728920564890 140728920564890 140728920567759 0
[pid=16597/tid=16606] ppid=16595 vsize=15417404 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/16597/task/16606/stat : 16606 (java) S 16595 16595 11591 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 407611633 15787421696 1172615 33554432000 4194304 4196468 140728920557824 140703276464592 140704204208027 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14434304 140728920564719 140728920564890 140728920564890 140728920567759 0
[pid=16597/tid=16607] ppid=16595 vsize=15417404 memory=1448 CPUtime=1.65 cores=1,3,5,7
/proc/16597/task/16607/stat : 16607 (java) S 16595 16595 11591 0 -1 1077944384 8700 0 0 0 164 1 0 0 20 0 19 0 407611633 15787421696 1172615 33554432000 4194304 4196468 140728920557824 140703275411696 140704204200578 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14434304 140728920564719 140728920564890 140728920564890 140728920567759 0
[pid=16597/tid=16608] ppid=16595 vsize=15417404 memory=4690232 CPUtime=1.67 cores=1,3,5,7
/proc/16597/task/16608/stat : 16608 (java) S 16595 16595 11591 0 -1 1077944384 6822 0 0 0 167 0 0 0 20 0 19 0 407611633 15787421696 1172615 33554432000 4194304 4196468 140728920557824 140703274359152 140704204200578 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14434304 140728920564719 140728920564890 140728920564890 140728920567759 0
[pid=16597/tid=16609] ppid=16595 vsize=15417404 memory=1448 CPUtime=0.65 cores=1,3,5,7
/proc/16597/task/16609/stat : 16609 (java) S 16595 16595 11591 0 -1 1077944384 6630 0 0 0 63 2 0 0 20 0 19 0 407611633 15787421696 1172615 33554432000 4194304 4196468 140728920557824 140703273306096 140704204200578 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14434304 140728920564719 140728920564890 140728920564890 140728920567759 0
[pid=16597/tid=16610] ppid=16595 vsize=15417404 memory=4690460 CPUtime=0 cores=1,3,5,7
/proc/16597/task/16610/stat : 16610 (java) S 16595 16595 11591 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 407611633 15787421696 1172615 33554432000 4194304 4196468 140728920557824 140703272253792 140704204199637 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14434304 140728920564719 140728920564890 140728920564890 140728920567759 0
[pid=16597/tid=16611] ppid=16595 vsize=15417404 memory=1448 CPUtime=0.02 cores=1,3,5,7
/proc/16597/task/16611/stat : 16611 (java) S 16595 16595 11591 0 -1 1077944384 288 0 0 0 0 2 0 0 20 0 19 0 407611633 15787421696 1172615 33554432000 4194304 4196468 140728920557824 140703271201840 140704204200578 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 25 0 0 6293624 6294260 14434304 140728920564719 140728920564890 140728920564890 140728920567759 0
[pid=16597/tid=16612] ppid=16595 vsize=15417404 memory=4690460 CPUtime=55.05 cores=1,3,5,7
/proc/16597/task/16612/stat : 16612 (java) R 16595 16595 11591 0 -1 4202560 1203 0 0 0 5505 0 0 0 20 0 19 0 407613550 15787421696 1172615 33554432000 4194304 4196468 140728920557824 140703264091992 140703822063653 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 14434304 140728920564719 140728920564890 140728920564890 140728920567759 0
[pid=16597/tid=16613] ppid=16595 vsize=15417404 memory=1712 CPUtime=55.21 cores=1,3,5,7
/proc/16597/task/16613/stat : 16613 (java) R 16595 16595 11591 0 -1 4202560 1927 0 0 0 5521 0 0 0 20 0 19 0 407613550 15787421696 1172615 33554432000 4194304 4196468 140728920557824 140703193618888 140703822425530 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 14434304 140728920564719 140728920564890 140728920564890 140728920567759 0
[pid=16597/tid=16614] ppid=16595 vsize=15417404 memory=1556 CPUtime=54.85 cores=1,3,5,7
/proc/16597/task/16614/stat : 16614 (java) R 16595 16595 11591 0 -1 4202560 843 0 0 0 5485 0 0 0 20 0 19 0 407613550 15787421696 1172615 33554432000 4194304 4196468 140728920557824 140703192567952 140703822425596 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 14434304 140728920564719 140728920564890 140728920564890 140728920567759 0
[pid=16597/tid=16615] ppid=16595 vsize=15417404 memory=924 CPUtime=55.27 cores=1,3,5,7
/proc/16597/task/16615/stat : 16615 (java) R 16595 16595 11591 0 -1 4202560 1866 0 0 0 5527 0 0 0 20 0 19 0 407613550 15787421696 1172615 33554432000 4194304 4196468 140728920557824 140703191513352 140703822052234 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 14434304 140728920564719 140728920564890 140728920564890 140728920567759 0
Current children cumulated CPU time: 253.44 s
Current children cumulated vsize: 15530532 KiB
Current children cumulated memory: 4691908 KiB

Child status: 0
Real time (s): 75.1828
CPU time (s): 253.65
CPU user time (s): 250.503
CPU system time (s): 3.14708
CPU usage (%): 337.377
Max. virtual memory (cumulated for all children) (KiB): 15530532
Max. memory (cumulated for all children) (KiB): 4691908

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 250.503
system time used= 3.14708
maximum resident set size= 4690932
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 80257
page faults= 0
swaps= 0
block input operations= 0
block output operations= 192
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 5056
involuntary context switches= 4394


# summary of solver processes directly reported to runsolver:
#   pid: 16595
#   total CPU time (s): 253.65
#   total CPU user time (s): 250.503
#   total CPU system time (s): 3.14708

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.507875 second user time and 0.906378 second system time

The end

Launcher Data 

Begin job on node117 at 2019-09-12 21:30:55
IDJOB=4392922
IDBENCH=125590
IDSOLVER=2840
FILE ID=node117/4392922-1568316696
RUNJOBID= node117-1568312851-11623
PBS_JOBID= 21701132
Free space on /tmp= 58860 MiB

SOLVER NAME= choco-solver 2019-06-14
BENCH NAME= XCSP17/QRandom/QRandom-mdd-7-25-5-p7/mdd-7-25-5-ps05-psh07-9.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-4392922-1568316696/watcher-4392922-1568316696 -o /tmp/evaluation-result-4392922-1568316696/solver-4392922-1568316696 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node117-1568312851-11623 --watchdog 2580  xcsp3-exec -dir HOME -tl 2520 -p 4 -ml 12000 -tdir HOME -seed 64691373 HOME/instance-4392922-1568316696.xml

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

MD5SUM BENCH= 2d7f03e466d78847960dc3f747db29ef
RANDOM SEED=64691373

node117.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.75
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.75
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.75
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.75
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:        22845516 kB
MemAvailable:   30684064 kB
Buffers:          193920 kB
Cached:          7870760 kB
SwapCached:        52484 kB
Active:          2538012 kB
Inactive:        6710388 kB
Active(anon):    1140612 kB
Inactive(anon):    84624 kB
Active(file):    1397400 kB
Inactive(file):  6625764 kB
Unevictable:      107732 kB
Mlocked:          107732 kB
SwapTotal:      67108860 kB
SwapFree:       66952812 kB
Dirty:             59168 kB
Writeback:             4 kB
AnonPages:       1239696 kB
Mapped:            56448 kB
Shmem:             32816 kB
Slab:             273072 kB
SReclaimable:     243844 kB
SUnreclaim:        29228 kB
KernelStack:        3808 kB
PageTables:         8072 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    2393936 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1138688 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      118144 kB
DirectMap2M:    33427456 kB

Free space on /tmp at the end= 58836 MiB
End job on node117 at 2019-09-12 21:32:10