Trace number 4404451

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-09-20 parallelUNSAT 2815.78 356.204

General information on the benchmark

NamePseudoBoolean/PseudoBoolean-dec-fpga/
Pb-chnl10-15.xml
MD5SUM0275487dddce0dcf34d0f76368ca0063
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 benchmark62.4225
Satisfiable
(Un)Satisfiability was proved
Number of variables300
Number of constraints50
Number of domains1
Minimum domain size2
Maximum domain size2
Distribution of domain sizes[{"size":2,"count":300}]
Minimum variable degree2
Maximum variable degree2
Distribution of variable degrees[{"degree":2,"count":300}]
Minimum constraint arity10
Maximum constraint arity15
Distribution of constraint arities[{"arity":10,"count":30},{"arity":15,"count":20}]
Number of extensional constraints0
Number of intensional constraints0
Distribution of constraint types[{"type":"sum","count":50}]
Optimization problemNO
Type of objective

Solver Data 

0.00/0.00	c java -server -Xmx24000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4404451-1569004948.xml"  -tl '20160s' -p 8
0.12/0.18	c Choco 3fb4b153
0.12/0.18	c [HOME/instance-4404451-1569004948.xml, -tl, 20160s, -p, 8]
0.33/0.22	c 8 solvers in parallel
0.33/0.28	c parse instance...
1.03/0.59	c solve instance...
2815.16/356.18	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 (13262 MiB free)
  memory of node 1: 16384 MiB (11602 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4404451-1569004948/watcher-4404451-1569004948 -o /tmp/evaluation-result-4404451-1569004948/solver-4404451-1569004948 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node139-1569005070-12662 --watchdog 2580 xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 390542218 HOME/instance-4404451-1569004948.xml 

running on 8 cores: 0,2,4,6,1,3,5,7

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


[startup+0.100141 s]*
/proc/loadavg: 7.82 7.78 7.81 2/210 12700
/proc/meminfo: memFree=25444836/32770624 swapFree=66939152/67108860
[pid=12679] ppid=12676 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/12679/stat : 12679 (xcsp3-exec) S 12676 12679 12635 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 476764505 115843072 363 33554432000 4194304 5098028 140732894986784 140732894984888 140699819131516 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 34598912 140732894995318 140732894995561 140732894995561 140732894998474 0
/proc/12679/statm: 28282 363 304 221 0 87 0
[pid=12681] ppid=12679 vsize=28227396 memory=29960 CPUtime=0.12 cores=0-7
/proc/12681/stat : 12681 (java) S 12679 12679 12635 0 -1 1077944320 5968 0 0 0 11 1 0 0 20 0 20 0 476764506 28904853504 7490 33554432000 4194304 4196468 140729943995648 140729943978192 140703917702903 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 39612416 140729943999466 140729943999638 140729943999638 140729944002511 0
/proc/12681/statm: 7056849 7490 3123 1 0 7019032 0
[pid=12681/tid=12682] ppid=12679 vsize=28227396 memory=4134930498285298233 CPUtime=0.09 cores=0-7
/proc/12681/task/12682/stat : 12682 (java) R 12679 12679 12635 0 -1 4202560 3867 0 0 0 8 1 0 0 20 0 20 0 476764506 28904853504 7490 33554432000 4194304 4196468 140729943995648 140703921936176 140703897003664 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 39612416 140729943999466 140729943999638 140729943999638 140729944002511 0
[pid=12681/tid=12683] ppid=12679 vsize=28227396 memory=4126316290023845779 CPUtime=0 cores=0-7
/proc/12681/task/12683/stat : 12683 (java) S 12679 12679 12635 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476764507 28904853504 7490 33554432000 4194304 4196468 140729943995648 140703870323728 140703917713109 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39612416 140729943999466 140729943999638 140729943999638 140729944002511 0
[pid=12681/tid=12684] ppid=12679 vsize=28227396 memory=140033998493312 CPUtime=0 cores=0-7
/proc/12681/task/12684/stat : 12684 (java) S 12679 12679 12635 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476764507 28904853504 7490 33554432000 4194304 4196468 140729943995648 140703869271184 140703917713109 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39612416 140729943999466 140729943999638 140729943999638 140729944002511 0
[pid=12681/tid=12685] ppid=12679 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/12681/task/12685/stat : 12685 (java) S 12679 12679 12635 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476764507 28904853504 7490 33554432000 4194304 4196468 140729943995648 140703868218128 140703917713109 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39612416 140729943999466 140729943999638 140729943999638 140729944002511 0
[pid=12681/tid=12686] ppid=12679 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/12681/task/12686/stat : 12686 (java) S 12679 12679 12635 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476764507 28904853504 7490 33554432000 4194304 4196468 140729943995648 140703466118032 140703917713109 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39612416 140729943999466 140729943999638 140729943999638 140729944002511 0
[pid=12681/tid=12687] ppid=12679 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/12681/task/12687/stat : 12687 (java) S 12679 12679 12635 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476764507 28904853504 7490 33554432000 4194304 4196468 140729943995648 140703465064976 140703917713109 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39612416 140729943999466 140729943999638 140729943999638 140729944002511 0
[pid=12681/tid=12688] ppid=12679 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/12681/task/12688/stat : 12688 (java) S 12679 12679 12635 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476764507 28904853504 7490 33554432000 4194304 4196468 140729943995648 140703464012432 140703917713109 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39612416 140729943999466 140729943999638 140729943999638 140729944002511 0
[pid=12681/tid=12689] ppid=12679 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/12681/task/12689/stat : 12689 (java) S 12679 12679 12635 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476764507 28904853504 7490 33554432000 4194304 4196468 140729943995648 140703462959376 140703917713109 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39612416 140729943999466 140729943999638 140729943999638 140729944002511 0
[pid=12681/tid=12690] ppid=12679 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/12681/task/12690/stat : 12690 (java) S 12679 12679 12635 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 476764507 28904853504 7490 33554432000 4194304 4196468 140729943995648 140703461906832 140703917713109 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39612416 140729943999466 140729943999638 140729943999638 140729944002511 0
[pid=12681/tid=12691] ppid=12679 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/12681/task/12691/stat : 12691 (java) S 12679 12679 12635 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476764508 28904853504 7490 33554432000 4194304 4196468 140729943995648 140703302433520 140703917714050 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39612416 140729943999466 140729943999638 140729943999638 140729944002511 0
[pid=12681/tid=12692] ppid=12679 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/12681/task/12692/stat : 12692 (java) S 12679 12679 12635 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 476764509 28904853504 7490 33554432000 4194304 4196468 140729943995648 140703301379744 140703917713109 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39612416 140729943999466 140729943999638 140729943999638 140729944002511 0
[pid=12681/tid=12693] ppid=12679 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/12681/task/12693/stat : 12693 (java) S 12679 12679 12635 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 476764509 28904853504 7490 33554432000 4194304 4196468 140729943995648 140703300326640 140703917713109 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39612416 140729943999466 140729943999638 140729943999638 140729944002511 0
[pid=12681/tid=12694] ppid=12679 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/12681/task/12694/stat : 12694 (java) S 12679 12679 12635 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476764511 28904853504 7490 33554432000 4194304 4196468 140729943995648 140703299275216 140703917721499 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39612416 140729943999466 140729943999638 140729943999638 140729944002511 0
[pid=12681/tid=12695] ppid=12679 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/12681/task/12695/stat : 12695 (java) S 12679 12679 12635 0 -1 1077944384 304 0 0 0 0 0 0 0 20 0 20 0 476764511 28904853504 7490 33554432000 4194304 4196468 140729943995648 140703298222320 140703917714050 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39612416 140729943999466 140729943999638 140729943999638 140729944002511 0
[pid=12681/tid=12696] ppid=12679 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/12681/task/12696/stat : 12696 (java) S 12679 12679 12635 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 476764511 28904853504 7490 33554432000 4194304 4196468 140729943995648 140703297169776 140703917714050 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39612416 140729943999466 140729943999638 140729943999638 140729944002511 0
[pid=12681/tid=12697] ppid=12679 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/12681/task/12697/stat : 12697 (java) S 12679 12679 12635 0 -1 1077944384 122 0 0 0 0 0 0 0 20 0 20 0 476764511 28904853504 7490 33554432000 4194304 4196468 140729943995648 140703296116720 140703917714050 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39612416 140729943999466 140729943999638 140729943999638 140729944002511 0
[pid=12681/tid=12698] ppid=12679 vsize=28227396 memory=0 CPUtime=0.02 cores=0-7
/proc/12681/task/12698/stat : 12698 (java) S 12679 12679 12635 0 -1 1077944384 361 0 0 0 2 0 0 0 20 0 20 0 476764511 28904853504 7490 33554432000 4194304 4196468 140729943995648 140703295064176 140703917714050 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39612416 140729943999466 140729943999638 140729943999638 140729944002511 0
[pid=12681/tid=12699] ppid=12679 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/12681/task/12699/stat : 12699 (java) S 12679 12679 12635 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 476764512 28904853504 7490 33554432000 4194304 4196468 140729943995648 140703294012384 140703917713109 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39612416 140729943999466 140729943999638 140729943999638 140729944002511 0
[pid=12681/tid=12700] ppid=12679 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/12681/task/12700/stat : 12700 (java) S 12679 12679 12635 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476764512 28904853504 7490 33554432000 4194304 4196468 140729943995648 140703292959920 140703917714050 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39612416 140729943999466 140729943999638 140729943999638 140729944002511 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 28340524 KiB
Current children cumulated memory: 31412 KiB

[startup+0.210528 s]*
/proc/loadavg: 7.82 7.78 7.81 2/210 12700
/proc/meminfo: memFree=25432572/32770624 swapFree=66939152/67108860
[pid=12679] ppid=12676 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/12679/stat : 12679 (xcsp3-exec) S 12676 12679 12635 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 476764505 115843072 363 33554432000 4194304 5098028 140732894986784 140732894984888 140699819131516 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 34598912 140732894995318 140732894995561 140732894995561 140732894998474 0
/proc/12679/statm: 28282 363 304 221 0 87 0
[pid=12681] ppid=12679 vsize=28227396 memory=40652 CPUtime=0.33 cores=0-7
/proc/12681/stat : 12681 (java) S 12679 12679 12635 0 -1 1077944320 9401 0 0 0 31 2 0 0 20 0 20 0 476764506 28904853504 10163 33554432000 4194304 4196468 140729943995648 140729943978192 140703917702903 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 39612416 140729943999466 140729943999638 140729943999638 140729944002511 0
/proc/12681/statm: 7056849 10163 3282 1 0 7019032 0
[pid=12681/tid=12682] ppid=12679 vsize=28227396 memory=29681743523217448 CPUtime=0.2 cores=0-7
/proc/12681/task/12682/stat : 12682 (java) S 12679 12679 12635 0 -1 1077944384 6667 0 0 0 18 2 0 0 20 0 20 0 476764506 28904853504 10163 33554432000 4194304 4196468 140729943995648 140703921936784 140703917713109 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39612416 140729943999466 140729943999638 140729943999638 140729944002511 0
[pid=12681/tid=12683] ppid=12679 vsize=28227396 memory=288230587528118625 CPUtime=0 cores=0-7
/proc/12681/task/12683/stat : 12683 (java) S 12679 12679 12635 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476764507 28904853504 10163 33554432000 4194304 4196468 140729943995648 140703870323728 140703917713109 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39612416 140729943999466 140729943999638 140729943999638 140729944002511 0
[pid=12681/tid=12684] ppid=12679 vsize=28227396 memory=3546221379797948064 CPUtime=0 cores=0-7
/proc/12681/task/12684/stat : 12684 (java) S 12679 12679 12635 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476764507 28904853504 10163 33554432000 4194304 4196468 140729943995648 140703869271184 140703917713109 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39612416 140729943999466 140729943999638 140729943999638 140729944002511 0
[pid=12681/tid=12685] ppid=12679 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/12681/task/12685/stat : 12685 (java) S 12679 12679 12635 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476764507 28904853504 10163 33554432000 4194304 4196468 140729943995648 140703868218128 140703917713109 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39612416 140729943999466 140729943999638 140729943999638 140729944002511 0
[pid=12681/tid=12686] ppid=12679 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/12681/task/12686/stat : 12686 (java) S 12679 12679 12635 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476764507 28904853504 10163 33554432000 4194304 4196468 140729943995648 140703466118032 140703917713109 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39612416 140729943999466 140729943999638 140729943999638 140729944002511 0
[pid=12681/tid=12687] ppid=12679 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/12681/task/12687/stat : 12687 (java) S 12679 12679 12635 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476764507 28904853504 10163 33554432000 4194304 4196468 140729943995648 140703465064976 140703917713109 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39612416 140729943999466 140729943999638 140729943999638 140729944002511 0
[pid=12681/tid=12688] ppid=12679 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/12681/task/12688/stat : 12688 (java) S 12679 12679 12635 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476764507 28904853504 10163 33554432000 4194304 4196468 140729943995648 140703464012432 140703917713109 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39612416 140729943999466 140729943999638 140729943999638 140729944002511 0
[pid=12681/tid=12689] ppid=12679 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/12681/task/12689/stat : 12689 (java) S 12679 12679 12635 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476764507 28904853504 10163 33554432000 4194304 4196468 140729943995648 140703462959376 140703917713109 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39612416 140729943999466 140729943999638 140729943999638 140729944002511 0
[pid=12681/tid=12690] ppid=12679 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/12681/task/12690/stat : 12690 (java) S 12679 12679 12635 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 476764507 28904853504 10163 33554432000 4194304 4196468 140729943995648 140703461906832 140703917713109 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39612416 140729943999466 140729943999638 140729943999638 140729944002511 0
[pid=12681/tid=12691] ppid=12679 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/12681/task/12691/stat : 12691 (java) S 12679 12679 12635 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 476764508 28904853504 10163 33554432000 4194304 4196468 140729943995648 140703302433520 140703917714050 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39612416 140729943999466 140729943999638 140729943999638 140729944002511 0
[pid=12681/tid=12692] ppid=12679 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/12681/task/12692/stat : 12692 (java) S 12679 12679 12635 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 476764509 28904853504 10163 33554432000 4194304 4196468 140729943995648 140703301379744 140703917713109 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39612416 140729943999466 140729943999638 140729943999638 140729944002511 0
[pid=12681/tid=12693] ppid=12679 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/12681/task/12693/stat : 12693 (java) S 12679 12679 12635 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 476764509 28904853504 10163 33554432000 4194304 4196468 140729943995648 140703300326640 140703917713109 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39612416 140729943999466 140729943999638 140729943999638 140729944002511 0
[pid=12681/tid=12694] ppid=12679 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/12681/task/12694/stat : 12694 (java) S 12679 12679 12635 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476764511 28904853504 10163 33554432000 4194304 4196468 140729943995648 140703299275216 140703917721499 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39612416 140729943999466 140729943999638 140729943999638 140729944002511 0
[pid=12681/tid=12695] ppid=12679 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7
/proc/12681/task/12695/stat : 12695 (java) S 12679 12679 12635 0 -1 1077944384 401 0 0 0 1 0 0 0 20 0 20 0 476764511 28904853504 10163 33554432000 4194304 4196468 140729943995648 140703298222320 140703917714050 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39612416 140729943999466 140729943999638 140729943999638 140729944002511 0
[pid=12681/tid=12696] ppid=12679 vsize=28227396 memory=0 CPUtime=0.02 cores=0-7
/proc/12681/task/12696/stat : 12696 (java) S 12679 12679 12635 0 -1 1077944384 77 0 0 0 2 0 0 0 20 0 20 0 476764511 28904853504 10163 33554432000 4194304 4196468 140729943995648 140703297169776 140703917714050 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39612416 140729943999466 140729943999638 140729943999638 140729944002511 0
[pid=12681/tid=12697] ppid=12679 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7
/proc/12681/task/12697/stat : 12697 (java) S 12679 12679 12635 0 -1 1077944384 167 0 0 0 1 0 0 0 20 0 20 0 476764511 28904853504 10163 33554432000 4194304 4196468 140729943995648 140703296116720 140703917714050 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39612416 140729943999466 140729943999638 140729943999638 140729944002511 0
[pid=12681/tid=12698] ppid=12679 vsize=28227396 memory=0 CPUtime=0.08 cores=0-7
/proc/12681/task/12698/stat : 12698 (java) R 12679 12679 12635 0 -1 4202560 774 0 0 0 8 0 0 0 20 0 20 0 476764511 28904853504 10163 33554432000 4194304 4196468 140729943995648 140703295064176 140703902013417 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 39612416 140729943999466 140729943999638 140729943999638 140729944002511 0
[pid=12681/tid=12699] ppid=12679 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/12681/task/12699/stat : 12699 (java) S 12679 12679 12635 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 476764512 28904853504 10163 33554432000 4194304 4196468 140729943995648 140703294012384 140703917713109 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39612416 140729943999466 140729943999638 140729943999638 140729944002511 0
[pid=12681/tid=12700] ppid=12679 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/12681/task/12700/stat : 12700 (java) S 12679 12679 12635 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476764512 28904853504 10163 33554432000 4194304 4196468 140729943995648 140703292959920 140703917714050 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39612416 140729943999466 140729943999638 140729943999638 140729944002511 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 28340524 KiB
Current children cumulated memory: 42104 KiB

[startup+0.310481 s]*
/proc/loadavg: 7.82 7.78 7.81 3/210 12700
/proc/meminfo: memFree=25426284/32770624 swapFree=66939152/67108860
[pid=12679] ppid=12676 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/12679/stat : 12679 (xcsp3-exec) S 12676 12679 12635 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 476764505 115843072 363 33554432000 4194304 5098028 140732894986784 140732894984888 140699819131516 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 34598912 140732894995318 140732894995561 140732894995561 140732894998474 0
/proc/12679/statm: 28282 363 304 221 0 87 0
[pid=12681] ppid=12679 vsize=28231652 memory=49740 CPUtime=0.51 cores=0-7
/proc/12681/stat : 12681 (java) S 12679 12679 12635 0 -1 1077944320 10770 0 0 0 47 4 0 0 20 0 20 0 476764506 28909211648 12408 33554432000 4194304 4196468 140729943995648 140729943978192 140703917702903 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 39612416 140729943999466 140729943999638 140729943999638 140729944002511 0
/proc/12681/statm: 7057913 12408 3351 1 0 7019032 0
[pid=12681/tid=12682] ppid=12679 vsize=28231652 memory=6791534058613427641 CPUtime=0.3 cores=0-7
/proc/12681/task/12682/stat : 12682 (java) R 12679 12679 12635 0 -1 4202560 7789 0 0 0 27 3 0 0 20 0 20 0 476764506 28909211648 12435 33554432000 4194304 4196468 140729943995648 140703921934016 140703901783420 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 39612416 140729943999466 140729943999638 140729943999638 140729944002511 0
[pid=12681/tid=12683] ppid=12679 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/12681/task/12683/stat : 12683 (java) S 12679 12679 12635 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476764507 28909211648 12435 33554432000 4194304 4196468 140729943995648 140703870323728 140703917713109 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39612416 140729943999466 140729943999638 140729943999638 140729944002511 0
[pid=12681/tid=12684] ppid=12679 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/12681/task/12684/stat : 12684 (java) S 12679 12679 12635 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476764507 28909211648 12435 33554432000 4194304 4196468 140729943995648 140703869271184 140703917713109 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39612416 140729943999466 140729943999638 140729943999638 140729944002511 0
[pid=12681/tid=12685] ppid=12679 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/12681/task/12685/stat : 12685 (java) S 12679 12679 12635 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476764507 28909211648 12435 33554432000 4194304 4196468 140729943995648 140703868218128 140703917713109 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39612416 140729943999466 140729943999638 140729943999638 140729944002511 0
[pid=12681/tid=12686] ppid=12679 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/12681/task/12686/stat : 12686 (java) S 12679 12679 12635 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476764507 28909211648 12435 33554432000 4194304 4196468 140729943995648 140703466118032 140703917713109 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39612416 140729943999466 140729943999638 140729943999638 140729944002511 0
[pid=12681/tid=12687] ppid=12679 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/12681/task/12687/stat : 12687 (java) S 12679 12679 12635 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476764507 28909211648 12435 33554432000 4194304 4196468 140729943995648 140703465064976 140703917713109 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39612416 140729943999466 140729943999638 140729943999638 140729944002511 0
[pid=12681/tid=12688] ppid=12679 vsize=28231652 memory=140033852009135 CPUtime=0 cores=0-7
/proc/12681/task/12688/stat : 12688 (java) S 12679 12679 12635 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476764507 28909211648 12435 33554432000 4194304 4196468 140729943995648 140703464012432 140703917713109 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39612416 140729943999466 140729943999638 140729943999638 140729944002511 0
[pid=12681/tid=12689] ppid=12679 vsize=28231652 memory=140033852011440 CPUtime=0 cores=0-7
/proc/12681/task/12689/stat : 12689 (java) S 12679 12679 12635 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476764507 28909211648 12435 33554432000 4194304 4196468 140729943995648 140703462959376 140703917713109 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39612416 140729943999466 140729943999638 140729943999638 140729944002511 0
[pid=12681/tid=12690] ppid=12679 vsize=28231652 memory=140033852013744 CPUtime=0 cores=0-7
/proc/12681/task/12690/stat : 12690 (java) S 12679 12679 12635 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 476764507 28909211648 12435 33554432000 4194304 4196468 140729943995648 140703461906832 140703917713109 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39612416 140729943999466 140729943999638 140729943999638 140729944002511 0
[pid=12681/tid=12691] ppid=12679 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/12681/task/12691/stat : 12691 (java) S 12679 12679 12635 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 476764508 28909211648 12435 33554432000 4194304 4196468 140729943995648 140703302433520 140703917714050 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39612416 140729943999466 140729943999638 140729943999638 140729944002511 0
[pid=12681/tid=12692] ppid=12679 vsize=28231652 memory=280067704041360 CPUtime=0 cores=0-7
/proc/12681/task/12692/stat : 12692 (java) S 12679 12679 12635 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 476764509 28909211648 12435 33554432000 4194304 4196468 140729943995648 140703301379744 140703917713109 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39612416 140729943999466 140729943999638 140729943999638 140729944002511 0
[pid=12681/tid=12693] ppid=12679 vsize=28231652 memory=280067704039056 CPUtime=0 cores=0-7
/proc/12681/task/12693/stat : 12693 (java) S 12679 12679 12635 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 476764509 28909211648 12435 33554432000 4194304 4196468 140729943995648 140703300326640 140703917713109 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39612416 140729943999466 140729943999638 140729943999638 140729944002511 0
[pid=12681/tid=12694] ppid=12679 vsize=28231652 memory=280067704045968 CPUtime=0 cores=0-7
/proc/12681/task/12694/stat : 12694 (java) S 12679 12679 12635 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476764511 28909211648 12435 33554432000 4194304 4196468 140729943995648 140703299275216 140703917721499 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39612416 140729943999466 140729943999638 140729943999638 140729944002511 0
[pid=12681/tid=12695] ppid=12679 vsize=28231652 memory=280067703987248 CPUtime=0.02 cores=0-7
/proc/12681/task/12695/stat : 12695 (java) S 12679 12679 12635 0 -1 1077944384 411 0 0 0 2 0 0 0 20 0 20 0 476764511 28909211648 12435 33554432000 4194304 4196468 140729943995648 140703298222320 140703917714050 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39612416 140729943999466 140729943999638 140729943999638 140729944002511 0
[pid=12681/tid=12696] ppid=12679 vsize=28231652 memory=280067704059792 CPUtime=0.02 cores=0-7
/proc/12681/task/12696/stat : 12696 (java) S 12679 12679 12635 0 -1 1077944384 114 0 0 0 2 0 0 0 20 0 20 0 476764511 28909211648 12435 33554432000 4194304 4196468 140729943995648 140703297169776 140703917714050 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39612416 140729943999466 140729943999638 140729943999638 140729944002511 0
[pid=12681/tid=12697] ppid=12679 vsize=28231652 memory=280067704066704 CPUtime=0.02 cores=0-7
/proc/12681/task/12697/stat : 12697 (java) S 12679 12679 12635 0 -1 1077944384 216 0 0 0 2 0 0 0 20 0 20 0 476764511 28909211648 12435 33554432000 4194304 4196468 140729943995648 140703296116720 140703917714050 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39612416 140729943999466 140729943999638 140729943999638 140729944002511 0
[pid=12681/tid=12698] ppid=12679 vsize=28231652 memory=280067704064400 CPUtime=0.13 cores=0-7
/proc/12681/task/12698/stat : 12698 (java) S 12679 12679 12635 0 -1 1077944384 939 0 0 0 13 0 0 0 20 0 20 0 476764511 28909211648 12435 33554432000 4194304 4196468 140729943995648 140703295064176 140703917714050 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39612416 140729943999466 140729943999638 140729943999638 140729944002511 0
[pid=12681/tid=12699] ppid=12679 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/12681/task/12699/stat : 12699 (java) S 12679 12679 12635 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 476764512 28909211648 12435 33554432000 4194304 4196468 140729943995648 140703294012384 140703917713109 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39612416 140729943999466 140729943999638 140729943999638 140729944002511 0
[pid=12681/tid=12700] ppid=12679 vsize=28231652 memory=-1 CPUtime=0 cores=0-7
/proc/12681/task/12700/stat : 12700 (java) S 12679 12679 12635 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476764512 28909211648 12435 33554432000 4194304 4196468 140729943995648 140703292959920 140703917714050 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39612416 140729943999466 140729943999638 140729943999638 140729944002511 0
Current children cumulated CPU time: 0.51 s
Current children cumulated vsize: 28344780 KiB
Current children cumulated memory: 51192 KiB

[startup+0.705472 s]
/proc/loadavg: 7.82 7.78 7.81 6/210 12700
/proc/meminfo: memFree=25410904/32770624 swapFree=66939152/67108860
[pid=12679] ppid=12676 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/12679/stat : 12679 (xcsp3-exec) S 12676 12679 12635 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 476764505 115843072 363 33554432000 4194304 5098028 140732894986784 140732894984888 140699819131516 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 34598912 140732894995318 140732894995561 140732894995561 140732894998474 0
/proc/12679/statm: 28282 363 304 221 0 87 0
[pid=12681] ppid=12679 vsize=28766288 memory=96012 CPUtime=2 cores=0-7
/proc/12681/stat : 12681 (java) S 12679 12679 12635 0 -1 1077944320 14985 0 0 0 193 7 0 0 20 0 28 0 476764506 29456678912 24003 33554432000 4194304 4196468 140729943995648 140729943978192 140703917702903 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 39612416 140729943999466 140729943999638 140729943999638 140729944002511 0
/proc/12681/statm: 7191572 24003 3462 1 0 7152672 0
[pid=12681/tid=12682] ppid=12679 vsize=28766288 memory=0 CPUtime=0.58 cores=0-7
/proc/12681/task/12682/stat : 12682 (java) S 12679 12679 12635 0 -1 1077944384 9078 0 0 0 54 4 0 0 20 0 28 0 476764506 29456678912 24003 33554432000 4194304 4196468 140729943995648 140703921943680 140703917713109 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39612416 140729943999466 140729943999638 140729943999638 140729944002511 0
[pid=12681/tid=12683] ppid=12679 vsize=28766288 memory=2353 CPUtime=0 cores=0-7
/proc/12681/task/12683/stat : 12683 (java) S 12679 12679 12635 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 28 0 476764507 29456678912 24003 33554432000 4194304 4196468 140729943995648 140703870323728 140703917713109 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39612416 140729943999466 140729943999638 140729943999638 140729944002511 0
[pid=12681/tid=12684] ppid=12679 vsize=28766288 memory=0 CPUtime=0 cores=0-7
/proc/12681/task/12684/stat : 12684 (java) S 12679 12679 12635 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 28 0 476764507 29456678912 24003 33554432000 4194304 4196468 140729943995648 140703869271184 140703917713109 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39612416 140729943999466 140729943999638 140729943999638 140729944002511 0
[pid=12681/tid=12685] ppid=12679 vsize=28766288 memory=1416 CPUtime=0 cores=0-7
/proc/12681/task/12685/stat : 12685 (java) S 12679 12679 12635 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 28 0 476764507 29456678912 24003 33554432000 4194304 4196468 140729943995648 140703868218128 140703917713109 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39612416 140729943999466 140729943999638 140729943999638 140729944002511 0

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

[pid=12681/tid=12703] ppid=12679 vsize=28766288 memory=2116 CPUtime=346.59 cores=0-7
/proc/12681/task/12703/stat : 12703 (java) R 12679 12679 12635 0 -1 4202560 1561 0 0 0 34634 25 0 0 20 0 28 0 476764566 29456678912 230485 33554432000 4194304 4196468 140729943995648 140703281639184 140703554081290 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 39612416 140729943999466 140729943999638 140729943999638 140729944002511 0
[pid=12681/tid=12704] ppid=12679 vsize=28766288 memory=12024 CPUtime=346.85 cores=0-7
/proc/12681/task/12704/stat : 12704 (java) R 12679 12679 12635 0 -1 4202560 22242 0 0 0 34663 22 0 0 20 0 28 0 476764566 29456678912 230485 33554432000 4194304 4196468 140729943995648 140703280586768 140703553326263 0 4 0 16800975 0 0 0 -1 4 0 0 2 0 0 6293624 6294260 39612416 140729943999466 140729943999638 140729943999638 140729944002511 0
[pid=12681/tid=12705] ppid=12679 vsize=28766288 memory=1560 CPUtime=346.67 cores=0-7
/proc/12681/task/12705/stat : 12705 (java) R 12679 12679 12635 0 -1 4202560 22607 0 0 0 34645 22 0 0 20 0 28 0 476764566 29456678912 230485 33554432000 4194304 4196468 140729943995648 140703279533712 140703553327014 0 4 0 16800975 0 0 0 -1 2 0 0 1 0 0 6293624 6294260 39612416 140729943999466 140729943999638 140729943999638 140729944002511 0
[pid=12681/tid=12706] ppid=12679 vsize=28766288 memory=500 CPUtime=346.86 cores=0-7
/proc/12681/task/12706/stat : 12706 (java) R 12679 12679 12635 0 -1 4202560 19873 0 0 0 34660 26 0 0 20 0 28 0 476764566 29456678912 230485 33554432000 4194304 4196468 140729943995648 140703278481072 140703553518133 0 4 0 16800975 0 0 0 -1 6 0 0 2 0 0 6293624 6294260 39612416 140729943999466 140729943999638 140729943999638 140729944002511 0
[pid=12681/tid=12707] ppid=12679 vsize=28766288 memory=928 CPUtime=346.49 cores=0-7
/proc/12681/task/12707/stat : 12707 (java) R 12679 12679 12635 0 -1 4202560 1886 0 0 0 34625 24 0 0 20 0 28 0 476764566 29456678912 230485 33554432000 4194304 4196468 140729943995648 140703277428928 140703552672091 0 4 0 16800975 0 0 0 -1 7 0 0 1 0 0 6293624 6294260 39612416 140729943999466 140729943999638 140729943999638 140729944002511 0
[pid=12681/tid=12708] ppid=12679 vsize=28766288 memory=1452 CPUtime=346.88 cores=0-7
/proc/12681/task/12708/stat : 12708 (java) R 12679 12679 12635 0 -1 4202560 26351 0 0 0 34664 24 0 0 20 0 28 0 476764566 29456678912 230485 33554432000 4194304 4196468 140729943995648 140703276372160 140703553324019 0 4 0 16800975 0 0 0 -1 0 0 0 2 0 0 6293624 6294260 39612416 140729943999466 140729943999638 140729943999638 140729944002511 0
Current children cumulated CPU time: 2795.16 s
Current children cumulated vsize: 28879416 KiB
Current children cumulated memory: 923392 KiB

[startup+355.201 s]
/proc/loadavg: 8.08 8.11 7.95 9/217 12738
/proc/meminfo: memFree=24552788/32770624 swapFree=66939160/67108860
[pid=12679] ppid=12676 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/12679/stat : 12679 (xcsp3-exec) S 12676 12679 12635 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 476764505 115843072 363 33554432000 4194304 5098028 140732894986784 140732894984888 140699819131516 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 34598912 140732894995318 140732894995561 140732894995561 140732894998474 0
/proc/12679/statm: 28282 363 304 221 0 87 0
[pid=12681] ppid=12679 vsize=28766288 memory=922984 CPUtime=2807.89 cores=0-7
/proc/12681/stat : 12681 (java) S 12679 12679 12635 0 -1 1077944320 216610 0 0 0 280397 392 0 0 20 0 28 0 476764506 29456678912 230746 33554432000 4194304 4196468 140729943995648 140729943978192 140703917702903 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 39612416 140729943999466 140729943999638 140729943999638 140729944002511 0
/proc/12681/statm: 7191572 230746 3526 1 0 7152672 0
[pid=12681/tid=12682] ppid=12679 vsize=28766288 memory=1452 CPUtime=0.58 cores=0-7
/proc/12681/task/12682/stat : 12682 (java) S 12679 12679 12635 0 -1 1077944384 9078 0 0 0 54 4 0 0 20 0 28 0 476764506 29456678912 230746 33554432000 4194304 4196468 140729943995648 140703921943680 140703917713109 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39612416 140729943999466 140729943999638 140729943999638 140729944002511 0
[pid=12681/tid=12683] ppid=12679 vsize=28766288 memory=6791534058613427641 CPUtime=2.03 cores=0-7
/proc/12681/task/12683/stat : 12683 (java) S 12679 12679 12635 0 -1 1077944384 5649 0 0 0 183 20 0 0 20 0 28 0 476764507 29456678912 230746 33554432000 4194304 4196468 140729943995648 140703870323728 140703917713109 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39612416 140729943999466 140729943999638 140729943999638 140729944002511 0
[pid=12681/tid=12684] ppid=12679 vsize=28766288 memory=932712 CPUtime=1.99 cores=0-7
/proc/12681/task/12684/stat : 12684 (java) S 12679 12679 12635 0 -1 1077944384 4330 0 0 0 180 19 0 0 20 0 28 0 476764507 29456678912 230746 33554432000 4194304 4196468 140729943995648 140703869271184 140703917713109 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39612416 140729943999466 140729943999638 140729943999638 140729944002511 0
[pid=12681/tid=12685] ppid=12679 vsize=28766288 memory=3616 CPUtime=2.03 cores=0-7
/proc/12681/task/12685/stat : 12685 (java) S 12679 12679 12635 0 -1 1077944384 4356 0 0 0 184 19 0 0 20 0 28 0 476764507 29456678912 230746 33554432000 4194304 4196468 140729943995648 140703868218128 140703917713109 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39612416 140729943999466 140729943999638 140729943999638 140729944002511 0
[pid=12681/tid=12686] ppid=12679 vsize=28766288 memory=53856 CPUtime=2 cores=0-7
/proc/12681/task/12686/stat : 12686 (java) S 12679 12679 12635 0 -1 1077944384 4387 0 0 0 183 17 0 0 20 0 28 0 476764507 29456678912 230746 33554432000 4194304 4196468 140729943995648 140703466118032 140703917713109 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39612416 140729943999466 140729943999638 140729943999638 140729944002511 0
[pid=12681/tid=12687] ppid=12679 vsize=28766288 memory=940408 CPUtime=2.01 cores=0-7
/proc/12681/task/12687/stat : 12687 (java) S 12679 12679 12635 0 -1 1077944384 4179 0 0 0 181 20 0 0 20 0 28 0 476764507 29456678912 230746 33554432000 4194304 4196468 140729943995648 140703465064976 140703917713109 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39612416 140729943999466 140729943999638 140729943999638 140729944002511 0
[pid=12681/tid=12688] ppid=12679 vsize=28766288 memory=1412 CPUtime=2.02 cores=0-7
/proc/12681/task/12688/stat : 12688 (java) S 12679 12679 12635 0 -1 1077944384 4877 0 0 0 183 19 0 0 20 0 28 0 476764507 29456678912 230746 33554432000 4194304 4196468 140729943995648 140703464012432 140703917713109 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39612416 140729943999466 140729943999638 140729943999638 140729944002511 0
[pid=12681/tid=12689] ppid=12679 vsize=28766288 memory=3692 CPUtime=2.03 cores=0-7
/proc/12681/task/12689/stat : 12689 (java) S 12679 12679 12635 0 -1 1077944384 4416 0 0 0 184 19 0 0 20 0 28 0 476764507 29456678912 230746 33554432000 4194304 4196468 140729943995648 140703462959376 140703917713109 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39612416 140729943999466 140729943999638 140729943999638 140729944002511 0
[pid=12681/tid=12690] ppid=12679 vsize=28766288 memory=988 CPUtime=2.03 cores=0-7
/proc/12681/task/12690/stat : 12690 (java) S 12679 12679 12635 0 -1 1077944384 3870 0 0 0 184 19 0 0 20 0 28 0 476764507 29456678912 230746 33554432000 4194304 4196468 140729943995648 140703461906832 140703917713109 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39612416 140729943999466 140729943999638 140729943999638 140729944002511 0
[pid=12681/tid=12691] ppid=12679 vsize=28766288 memory=2016 CPUtime=0.97 cores=0-7
/proc/12681/task/12691/stat : 12691 (java) S 12679 12679 12635 0 -1 1077944384 25569 0 0 0 70 27 0 0 20 0 28 0 476764508 29456678912 230746 33554432000 4194304 4196468 140729943995648 140703302433520 140703917714050 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39612416 140729943999466 140729943999638 140729943999638 140729944002511 0
[pid=12681/tid=12692] ppid=12679 vsize=28766288 memory=1416 CPUtime=0 cores=0-7
/proc/12681/task/12692/stat : 12692 (java) S 12679 12679 12635 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 28 0 476764509 29456678912 230746 33554432000 4194304 4196468 140729943995648 140703301379808 140703917713109 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39612416 140729943999466 140729943999638 140729943999638 140729944002511 0
[pid=12681/tid=12693] ppid=12679 vsize=28766288 memory=1452 CPUtime=0 cores=0-7
/proc/12681/task/12693/stat : 12693 (java) S 12679 12679 12635 0 -1 1077944384 78 0 0 0 0 0 0 0 20 0 28 0 476764509 29456678912 230746 33554432000 4194304 4196468 140729943995648 140703300326656 140703917713109 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39612416 140729943999466 140729943999638 140729943999638 140729944002511 0
[pid=12681/tid=12694] ppid=12679 vsize=28766288 memory=918860 CPUtime=0 cores=0-7
/proc/12681/task/12694/stat : 12694 (java) S 12679 12679 12635 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 476764511 29456678912 230746 33554432000 4194304 4196468 140729943995648 140703299275216 140703917721499 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39612416 140729943999466 140729943999638 140729943999638 140729944002511 0
[pid=12681/tid=12695] ppid=12679 vsize=28766288 memory=2832 CPUtime=1.5 cores=0-7
/proc/12681/task/12695/stat : 12695 (java) S 12679 12679 12635 0 -1 1077944384 13739 0 0 0 146 4 0 0 20 0 28 0 476764511 29456678912 230746 33554432000 4194304 4196468 140729943995648 140703298222320 140703917714050 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39612416 140729943999466 140729943999638 140729943999638 140729944002511 0
[pid=12681/tid=12696] ppid=12679 vsize=28766288 memory=784 CPUtime=1.5 cores=0-7
/proc/12681/task/12696/stat : 12696 (java) S 12679 12679 12635 0 -1 1077944384 13227 0 0 0 147 3 0 0 20 0 28 0 476764511 29456678912 230746 33554432000 4194304 4196468 140729943995648 140703297169776 140703917714050 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39612416 140729943999466 140729943999638 140729943999638 140729944002511 0
[pid=12681/tid=12697] ppid=12679 vsize=28766288 memory=1060 CPUtime=1.52 cores=0-7
/proc/12681/task/12697/stat : 12697 (java) S 12679 12679 12635 0 -1 1077944384 9599 0 0 0 148 4 0 0 20 0 28 0 476764511 29456678912 230746 33554432000 4194304 4196468 140729943995648 140703296116720 140703917714050 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39612416 140729943999466 140729943999638 140729943999638 140729944002511 0
[pid=12681/tid=12698] ppid=12679 vsize=28766288 memory=1720 CPUtime=0.53 cores=0-7
/proc/12681/task/12698/stat : 12698 (java) S 12679 12679 12635 0 -1 1077944384 4731 0 0 0 52 1 0 0 20 0 28 0 476764511 29456678912 230746 33554432000 4194304 4196468 140729943995648 140703295064176 140703917714050 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39612416 140729943999466 140729943999638 140729943999638 140729944002511 0
[pid=12681/tid=12699] ppid=12679 vsize=28766288 memory=1096 CPUtime=0 cores=0-7
/proc/12681/task/12699/stat : 12699 (java) S 12679 12679 12635 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 476764512 29456678912 230746 33554432000 4194304 4196468 140729943995648 140703294012384 140703917713109 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39612416 140729943999466 140729943999638 140729943999638 140729944002511 0
[pid=12681/tid=12700] ppid=12679 vsize=28766288 memory=928608 CPUtime=0.07 cores=0-7
/proc/12681/task/12700/stat : 12700 (java) S 12679 12679 12635 0 -1 1077944384 786 0 0 0 2 5 0 0 20 0 28 0 476764512 29456678912 230746 33554432000 4194304 4196468 140729943995648 140703292959920 140703917714050 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39612416 140729943999466 140729943999638 140729943999638 140729944002511 0
[pid=12681/tid=12701] ppid=12679 vsize=28766288 memory=10728 CPUtime=347.44 cores=0-7
/proc/12681/task/12701/stat : 12701 (java) R 12679 12679 12635 0 -1 4202560 1860 0 0 0 34720 24 0 0 20 0 28 0 476764566 29456678912 230746 33554432000 4194304 4196468 140729943995648 140703283743744 140703552670602 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 39612416 140729943999466 140729943999638 140729943999638 140729944002511 0
[pid=12681/tid=12702] ppid=12679 vsize=28766288 memory=1552 CPUtime=347.61 cores=0-7
/proc/12681/task/12702/stat : 12702 (java) R 12679 12679 12635 0 -1 4202560 6050 0 0 0 34730 31 0 0 20 0 28 0 476764566 29456678912 230746 33554432000 4194304 4196468 140729943995648 140703282692728 140703553862328 0 4 0 16800975 0 0 0 -1 7 0 0 2 0 0 6293624 6294260 39612416 140729943999466 140729943999638 140729943999638 140729944002511 0
[pid=12681/tid=12703] ppid=12679 vsize=28766288 memory=3640 CPUtime=348.16 cores=0-7
/proc/12681/task/12703/stat : 12703 (java) R 12679 12679 12635 0 -1 4202560 1561 0 0 0 34791 25 0 0 20 0 28 0 476764566 29456678912 230746 33554432000 4194304 4196468 140729943995648 140703281639184 140703552671261 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 39612416 140729943999466 140729943999638 140729943999638 140729944002511 0
[pid=12681/tid=12704] ppid=12679 vsize=28766288 memory=2832 CPUtime=348.43 cores=0-7
/proc/12681/task/12704/stat : 12704 (java) R 12679 12679 12635 0 -1 4202560 22242 0 0 0 34821 22 0 0 20 0 28 0 476764566 29456678912 230746 33554432000 4194304 4196468 140729943995648 140703280586768 140703552696608 0 4 0 16800975 0 0 0 -1 6 0 0 2 0 0 6293624 6294260 39612416 140729943999466 140729943999638 140729943999638 140729944002511 0
[pid=12681/tid=12705] ppid=12679 vsize=28766288 memory=784 CPUtime=348.25 cores=0-7
/proc/12681/task/12705/stat : 12705 (java) R 12679 12679 12635 0 -1 4202560 22607 0 0 0 34803 22 0 0 20 0 28 0 476764566 29456678912 230746 33554432000 4194304 4196468 140729943995648 140703279533712 140703553252907 0 4 0 16800975 0 0 0 -1 4 0 0 1 0 0 6293624 6294260 39612416 140729943999466 140729943999638 140729943999638 140729944002511 0
[pid=12681/tid=12706] ppid=12679 vsize=28766288 memory=1060 CPUtime=348.44 cores=0-7
/proc/12681/task/12706/stat : 12706 (java) R 12679 12679 12635 0 -1 4202560 19882 0 0 0 34818 26 0 0 20 0 28 0 476764566 29456678912 230746 33554432000 4194304 4196468 140729943995648 140703278480928 140703553534185 0 4 0 16800975 0 0 0 -1 0 0 0 2 0 0 6293624 6294260 39612416 140729943999466 140729943999638 140729943999638 140729944002511 0
[pid=12681/tid=12707] ppid=12679 vsize=28766288 memory=1720 CPUtime=348.04 cores=0-7
/proc/12681/task/12707/stat : 12707 (java) R 12679 12679 12635 0 -1 4202560 1888 0 0 0 34780 24 0 0 20 0 28 0 476764566 29456678912 230746 33554432000 4194304 4196468 140729943995648 140703277429104 140703549199288 0 4 0 16800975 0 0 0 -1 3 0 0 1 0 0 6293624 6294260 39612416 140729943999466 140729943999638 140729943999638 140729944002511 0
[pid=12681/tid=12708] ppid=12679 vsize=28766288 memory=1096 CPUtime=348.46 cores=0-7
/proc/12681/task/12708/stat : 12708 (java) R 12679 12679 12635 0 -1 4202560 26353 0 0 0 34822 24 0 0 20 0 28 0 476764566 29456678912 230746 33554432000 4194304 4196468 140729943995648 140703276372160 140703553325739 0 4 0 16800975 0 0 0 -1 2 0 0 2 0 0 6293624 6294260 39612416 140729943999466 140729943999638 140729943999638 140729944002511 0
Current children cumulated CPU time: 2807.89 s
Current children cumulated vsize: 28879416 KiB
Current children cumulated memory: 924436 KiB

[startup+356.001 s]*
/proc/loadavg: 8.08 8.11 7.95 9/217 12738
/proc/meminfo: memFree=24548972/32770624 swapFree=66939160/67108860
[pid=12679] ppid=12676 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/12679/stat : 12679 (xcsp3-exec) S 12676 12679 12635 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 476764505 115843072 363 33554432000 4194304 5098028 140732894986784 140732894984888 140699819131516 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 34598912 140732894995318 140732894995561 140732894995561 140732894998474 0
/proc/12679/statm: 28282 363 304 221 0 87 0
[pid=12681] ppid=12679 vsize=28766288 memory=922984 CPUtime=2814.33 cores=0-7
/proc/12681/stat : 12681 (java) S 12679 12679 12635 0 -1 1077944320 216611 0 0 0 281041 392 0 0 20 0 28 0 476764506 29456678912 230746 33554432000 4194304 4196468 140729943995648 140729943978192 140703917702903 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 39612416 140729943999466 140729943999638 140729943999638 140729944002511 0
/proc/12681/statm: 7191572 230746 3526 1 0 7152672 0
[pid=12681/tid=12682] ppid=12679 vsize=28766288 memory=1188 CPUtime=0.58 cores=0-7
/proc/12681/task/12682/stat : 12682 (java) S 12679 12679 12635 0 -1 1077944384 9078 0 0 0 54 4 0 0 20 0 28 0 476764506 29456678912 230746 33554432000 4194304 4196468 140729943995648 140703921943680 140703917713109 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39612416 140729943999466 140729943999638 140729943999638 140729944002511 0
[pid=12681/tid=12683] ppid=12679 vsize=28766288 memory=5860 CPUtime=2.03 cores=0-7
/proc/12681/task/12683/stat : 12683 (java) S 12679 12679 12635 0 -1 1077944384 5649 0 0 0 183 20 0 0 20 0 28 0 476764507 29456678912 230746 33554432000 4194304 4196468 140729943995648 140703870323728 140703917713109 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39612416 140729943999466 140729943999638 140729943999638 140729944002511 0
[pid=12681/tid=12684] ppid=12679 vsize=28766288 memory=4126316290023845779 CPUtime=1.99 cores=0-7
/proc/12681/task/12684/stat : 12684 (java) S 12679 12679 12635 0 -1 1077944384 4330 0 0 0 180 19 0 0 20 0 28 0 476764507 29456678912 230746 33554432000 4194304 4196468 140729943995648 140703869271184 140703917713109 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39612416 140729943999466 140729943999638 140729943999638 140729944002511 0
[pid=12681/tid=12685] ppid=12679 vsize=28766288 memory=288230596050944315 CPUtime=2.03 cores=0-7
/proc/12681/task/12685/stat : 12685 (java) S 12679 12679 12635 0 -1 1077944384 4356 0 0 0 184 19 0 0 20 0 28 0 476764507 29456678912 230746 33554432000 4194304 4196468 140729943995648 140703868218128 140703917713109 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39612416 140729943999466 140729943999638 140729943999638 140729944002511 0
[pid=12681/tid=12686] ppid=12679 vsize=28766288 memory=13572582825789998 CPUtime=2 cores=0-7
/proc/12681/task/12686/stat : 12686 (java) S 12679 12679 12635 0 -1 1077944384 4387 0 0 0 183 17 0 0 20 0 28 0 476764507 29456678912 230746 33554432000 4194304 4196468 140729943995648 140703466118032 140703917713109 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39612416 140729943999466 140729943999638 140729943999638 140729944002511 0
[pid=12681/tid=12687] ppid=12679 vsize=28766288 memory=1984 CPUtime=2.01 cores=0-7
/proc/12681/task/12687/stat : 12687 (java) S 12679 12679 12635 0 -1 1077944384 4179 0 0 0 181 20 0 0 20 0 28 0 476764507 29456678912 230746 33554432000 4194304 4196468 140729943995648 140703465064976 140703917713109 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39612416 140729943999466 140729943999638 140729943999638 140729944002511 0
[pid=12681/tid=12688] ppid=12679 vsize=28766288 memory=2364 CPUtime=2.02 cores=0-7
/proc/12681/task/12688/stat : 12688 (java) S 12679 12679 12635 0 -1 1077944384 4877 0 0 0 183 19 0 0 20 0 28 0 476764507 29456678912 230746 33554432000 4194304 4196468 140729943995648 140703464012432 140703917713109 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39612416 140729943999466 140729943999638 140729943999638 140729944002511 0
[pid=12681/tid=12689] ppid=12679 vsize=28766288 memory=1744 CPUtime=2.03 cores=0-7
/proc/12681/task/12689/stat : 12689 (java) S 12679 12679 12635 0 -1 1077944384 4416 0 0 0 184 19 0 0 20 0 28 0 476764507 29456678912 230746 33554432000 4194304 4196468 140729943995648 140703462959376 140703917713109 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39612416 140729943999466 140729943999638 140729943999638 140729944002511 0
[pid=12681/tid=12690] ppid=12679 vsize=28766288 memory=924 CPUtime=2.03 cores=0-7
/proc/12681/task/12690/stat : 12690 (java) S 12679 12679 12635 0 -1 1077944384 3870 0 0 0 184 19 0 0 20 0 28 0 476764507 29456678912 230746 33554432000 4194304 4196468 140729943995648 140703461906832 140703917713109 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39612416 140729943999466 140729943999638 140729943999638 140729944002511 0
[pid=12681/tid=12691] ppid=12679 vsize=28766288 memory=1448 CPUtime=0.97 cores=0-7
/proc/12681/task/12691/stat : 12691 (java) S 12679 12679 12635 0 -1 1077944384 25569 0 0 0 70 27 0 0 20 0 28 0 476764508 29456678912 230746 33554432000 4194304 4196468 140729943995648 140703302433520 140703917714050 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39612416 140729943999466 140729943999638 140729943999638 140729944002511 0
[pid=12681/tid=12692] ppid=12679 vsize=28766288 memory=1748 CPUtime=0 cores=0-7
/proc/12681/task/12692/stat : 12692 (java) S 12679 12679 12635 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 28 0 476764509 29456678912 230746 33554432000 4194304 4196468 140729943995648 140703301379808 140703917713109 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39612416 140729943999466 140729943999638 140729943999638 140729944002511 0
[pid=12681/tid=12693] ppid=12679 vsize=28766288 memory=111632 CPUtime=0 cores=0-7
/proc/12681/task/12693/stat : 12693 (java) S 12679 12679 12635 0 -1 1077944384 78 0 0 0 0 0 0 0 20 0 28 0 476764509 29456678912 230746 33554432000 4194304 4196468 140729943995648 140703300326656 140703917713109 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39612416 140729943999466 140729943999638 140729943999638 140729944002511 0
[pid=12681/tid=12694] ppid=12679 vsize=28766288 memory=1452 CPUtime=0 cores=0-7
/proc/12681/task/12694/stat : 12694 (java) S 12679 12679 12635 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 476764511 29456678912 230746 33554432000 4194304 4196468 140729943995648 140703299275216 140703917721499 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39612416 140729943999466 140729943999638 140729943999638 140729944002511 0
[pid=12681/tid=12695] ppid=12679 vsize=28766288 memory=1017856 CPUtime=1.5 cores=0-7
/proc/12681/task/12695/stat : 12695 (java) S 12679 12679 12635 0 -1 1077944384 13739 0 0 0 146 4 0 0 20 0 28 0 476764511 29456678912 230746 33554432000 4194304 4196468 140729943995648 140703298222320 140703917714050 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39612416 140729943999466 140729943999638 140729943999638 140729944002511 0
[pid=12681/tid=12696] ppid=12679 vsize=28766288 memory=303430223234596890 CPUtime=1.5 cores=0-7
/proc/12681/task/12696/stat : 12696 (java) S 12679 12679 12635 0 -1 1077944384 13227 0 0 0 147 3 0 0 20 0 28 0 476764511 29456678912 230746 33554432000 4194304 4196468 140729943995648 140703297169776 140703917714050 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39612416 140729943999466 140729943999638 140729943999638 140729944002511 0
[pid=12681/tid=12697] ppid=12679 vsize=28766288 memory=303430244793319739 CPUtime=1.52 cores=0-7
/proc/12681/task/12697/stat : 12697 (java) S 12679 12679 12635 0 -1 1077944384 9599 0 0 0 148 4 0 0 20 0 28 0 476764511 29456678912 230746 33554432000 4194304 4196468 140729943995648 140703296116720 140703917714050 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39612416 140729943999466 140729943999638 140729943999638 140729944002511 0
[pid=12681/tid=12698] ppid=12679 vsize=28766288 memory=6791534058613427641 CPUtime=0.53 cores=0-7
/proc/12681/task/12698/stat : 12698 (java) S 12679 12679 12635 0 -1 1077944384 4731 0 0 0 52 1 0 0 20 0 28 0 476764511 29456678912 230746 33554432000 4194304 4196468 140729943995648 140703295064176 140703917714050 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39612416 140729943999466 140729943999638 140729943999638 140729944002511 0
[pid=12681/tid=12699] ppid=12679 vsize=28766288 memory=1448 CPUtime=0 cores=0-7
/proc/12681/task/12699/stat : 12699 (java) S 12679 12679 12635 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 476764512 29456678912 230746 33554432000 4194304 4196468 140729943995648 140703294012384 140703917713109 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39612416 140729943999466 140729943999638 140729943999638 140729944002511 0
[pid=12681/tid=12700] ppid=12679 vsize=28766288 memory=13924 CPUtime=0.07 cores=0-7
/proc/12681/task/12700/stat : 12700 (java) S 12679 12679 12635 0 -1 1077944384 786 0 0 0 2 5 0 0 20 0 28 0 476764512 29456678912 230746 33554432000 4194304 4196468 140729943995648 140703292959920 140703917714050 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39612416 140729943999466 140729943999638 140729943999638 140729944002511 0
[pid=12681/tid=12701] ppid=12679 vsize=28766288 memory=28304 CPUtime=348.25 cores=0-7
/proc/12681/task/12701/stat : 12701 (java) R 12679 12679 12635 0 -1 4202560 1860 0 0 0 34801 24 0 0 20 0 28 0 476764566 29456678912 230746 33554432000 4194304 4196468 140729943995648 140703283743648 140703553289580 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 39612416 140729943999466 140729943999638 140729943999638 140729944002511 0
[pid=12681/tid=12702] ppid=12679 vsize=28766288 memory=2116 CPUtime=348.4 cores=0-7
/proc/12681/task/12702/stat : 12702 (java) R 12679 12679 12635 0 -1 4202560 6050 0 0 0 34809 31 0 0 20 0 28 0 476764566 29456678912 230746 33554432000 4194304 4196468 140729943995648 140703282692160 140703554768955 0 4 0 16800975 0 0 0 -1 7 0 0 2 0 0 6293624 6294260 39612416 140729943999466 140729943999638 140729943999638 140729944002511 0
[pid=12681/tid=12703] ppid=12679 vsize=28766288 memory=12024 CPUtime=348.96 cores=0-7
/proc/12681/task/12703/stat : 12703 (java) R 12679 12679 12635 0 -1 4202560 1561 0 0 0 34871 25 0 0 20 0 28 0 476764566 29456678912 230746 33554432000 4194304 4196468 140729943995648 140703281639184 140703552672213 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 39612416 140729943999466 140729943999638 140729943999638 140729944002511 0
[pid=12681/tid=12704] ppid=12679 vsize=28766288 memory=1560 CPUtime=349.24 cores=0-7
/proc/12681/task/12704/stat : 12704 (java) R 12679 12679 12635 0 -1 4202560 22242 0 0 0 34902 22 0 0 20 0 28 0 476764566 29456678912 230746 33554432000 4194304 4196468 140729943995648 140703280586656 140703553327073 0 4 0 16800975 0 0 0 -1 6 0 0 2 0 0 6293624 6294260 39612416 140729943999466 140729943999638 140729943999638 140729944002511 0
[pid=12681/tid=12705] ppid=12679 vsize=28766288 memory=500 CPUtime=349.06 cores=0-7
/proc/12681/task/12705/stat : 12705 (java) R 12679 12679 12635 0 -1 4202560 22607 0 0 0 34884 22 0 0 20 0 28 0 476764566 29456678912 230746 33554432000 4194304 4196468 140729943995648 140703279533616 140703553325678 0 4 0 16800975 0 0 0 -1 4 0 0 1 0 0 6293624 6294260 39612416 140729943999466 140729943999638 140729943999638 140729944002511 0
[pid=12681/tid=12706] ppid=12679 vsize=28766288 memory=928 CPUtime=349.25 cores=0-7
/proc/12681/task/12706/stat : 12706 (java) R 12679 12679 12635 0 -1 4202560 19882 0 0 0 34899 26 0 0 20 0 28 0 476764566 29456678912 230746 33554432000 4194304 4196468 140729943995648 140703278481072 140703553534192 0 4 0 16800975 0 0 0 -1 0 0 0 2 0 0 6293624 6294260 39612416 140729943999466 140729943999638 140729943999638 140729944002511 0
[pid=12681/tid=12707] ppid=12679 vsize=28766288 memory=1984 CPUtime=348.85 cores=0-7
/proc/12681/task/12707/stat : 12707 (java) R 12679 12679 12635 0 -1 4202560 1888 0 0 0 34861 24 0 0 20 0 28 0 476764566 29456678912 230746 33554432000 4194304 4196468 140729943995648 140703277429104 140703554081863 0 4 0 16800975 0 0 0 -1 3 0 0 1 0 0 6293624 6294260 39612416 140729943999466 140729943999638 140729943999638 140729944002511 0
[pid=12681/tid=12708] ppid=12679 vsize=28766288 memory=2364 CPUtime=349.27 cores=0-7
/proc/12681/task/12708/stat : 12708 (java) R 12679 12679 12635 0 -1 4202560 26354 0 0 0 34903 24 0 0 20 0 28 0 476764566 29456678912 230746 33554432000 4194304 4196468 140729943995648 140703276376496 140703553326590 0 4 0 16800975 0 0 0 -1 2 0 0 2 0 0 6293624 6294260 39612416 140729943999466 140729943999638 140729943999638 140729944002511 0
Current children cumulated CPU time: 2814.33 s
Current children cumulated vsize: 28879416 KiB
Current children cumulated memory: 924436 KiB

[startup+356.201 s]
/proc/loadavg: 8.08 8.11 7.95 9/217 12738
/proc/meminfo: memFree=24548972/32770624 swapFree=66939160/67108860
[pid=12679] ppid=12676 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/12679/stat : 12679 (xcsp3-exec) S 12676 12679 12635 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 476764505 115843072 363 33554432000 4194304 5098028 140732894986784 140732894984888 140699819131516 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 34598912 140732894995318 140732894995561 140732894995561 140732894998474 0
/proc/12679/statm: 28282 363 304 221 0 87 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 113128 KiB
Current children cumulated memory: 1452 KiB

Child status: 0
Real time (s): 356.204
CPU time (s): 2815.78
CPU user time (s): 2811.82
CPU system time (s): 3.95187
CPU usage (%): 790.495
Max. virtual memory (cumulated for all children) (KiB): 28883704
Max. memory (cumulated for all children) (KiB): 1025452

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2811.82
system time used= 3.95187
maximum resident set size= 1025536
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 218647
page faults= 0
swaps= 0
block input operations= 0
block output operations= 792
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 352716
involuntary context switches= 24168


# summary of solver processes directly reported to runsolver:
#   pid: 12679
#   total CPU time (s): 2815.78
#   total CPU user time (s): 2811.82
#   total CPU system time (s): 3.95187

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 3.48658 second user time and 3.53843 second system time

The end

Launcher Data 

Begin job on node139 at 2019-09-20 20:44:30
IDJOB=4404451
IDBENCH=134718
IDSOLVER=2865
FILE ID=node139/4404451-1569004948
RUNJOBID= node139-1569005070-12662
PBS_JOBID= 21704744
Free space on /tmp= 5144 MiB

SOLVER NAME= choco-solver 2019-09-20 parallel
BENCH NAME= XCSP17/PseudoBoolean/PseudoBoolean-dec-fpga/Pb-chnl10-15.xml
COMMAND LINE= xcsp3-exec -dir DIR -tl TIMEOUT -p NBCORE -ml 24000 -tdir TMPDIR -seed RANDOMSEED BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4404451-1569004948/watcher-4404451-1569004948 -o /tmp/evaluation-result-4404451-1569004948/solver-4404451-1569004948 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node139-1569005070-12662 --watchdog 2580  xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 390542218 HOME/instance-4404451-1569004948.xml

TIME LIMIT= 20160 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 8

MD5SUM BENCH= 0275487dddce0dcf34d0f76368ca0063
RANDOM SEED=390542218

node139.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.57
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.57
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.57
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.57
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:        25462828 kB
MemAvailable:   31791616 kB
Buffers:           50920 kB
Cached:          6365900 kB
SwapCached:        65224 kB
Active:          3194004 kB
Inactive:        3292136 kB
Active(anon):       3716 kB
Inactive(anon):   111952 kB
Active(file):    3190288 kB
Inactive(file):  3180184 kB
Unevictable:      107760 kB
Mlocked:          107760 kB
SwapTotal:      67108860 kB
SwapFree:       66939152 kB
Dirty:             26184 kB
Writeback:             0 kB
AnonPages:        112512 kB
Mapped:            50708 kB
Shmem:             37516 kB
Slab:             415884 kB
SReclaimable:     386776 kB
SUnreclaim:        29108 kB
KernelStack:        3264 kB
PageTables:         5560 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     496164 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:     67584 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      107904 kB
DirectMap2M:    33437696 kB

Free space on /tmp at the end= 5116 MiB
End job on node139 at 2019-09-20 20:50:27