Trace number 4394596

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 NameAnswerobjective functionCPU timeWall clock time
choco-solver 2019-06-14 parallel? (TO) 18790.2 2520.22

General information on the benchmark

NameBinPacking/
BinPacking-mdd-fu/BinPacking-mdd-fu1000-02.xml
MD5SUM81a54afd524339631fcda48b56d1b2da
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmark
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Satisfiable
(Un)Satisfiability was proved
Number of variables4061
Number of constraints583
Number of domains2
Minimum domain size82
Maximum domain size581
Distribution of domain sizes[{"size":82,"count":4060},{"size":581,"count":1}]
Minimum variable degree2
Maximum variable degree4
Distribution of variable degrees[{"degree":2,"count":1},{"degree":3,"count":3480},{"degree":4,"count":580}]
Minimum constraint arity7
Maximum constraint arity4060
Distribution of constraint arities[{"arity":7,"count":580},{"arity":581,"count":1},{"arity":4060,"count":2}]
Number of extensional constraints0
Number of intensional constraints0
Distribution of constraint types[{"type":"mdd","count":580},{"type":"lex","count":1},{"type":"count","count":1},{"type":"cardinality","count":1}]
Optimization problemYES
Type of objectivemax VAR

Solver Data 

0.00/0.00	c java -server -Xmx24000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4394596-1568441052.xml"  -tl '20160s' -p 8
0.12/0.18	c Choco e747e1e
0.12/0.18	c [HOME/instance-4394596-1568441052.xml, -tl, 20160s, -p, 8]
0.33/0.22	c 8 solvers in parallel
0.33/0.28	c parse instance...
125.95/100.86	c solve instance...
18789.48/2520.07	s UNKNOWN
18789.48/2520.07	c Unexpected resolution interruption!

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 (14133 MiB free)
  memory of node 1: 16384 MiB (15721 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4394596-1568441052/watcher-4394596-1568441052 -o /tmp/evaluation-result-4394596-1568441052/solver-4394596-1568441052 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node150-1568441012-2984 --watchdog 2580 xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 645613404 HOME/instance-4394596-1568441052.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=3001, runsolver pid=2998
Current StackSize limit: 8192 KiB


[startup+0.100161 s]*
/proc/loadavg: 8.59 8.34 8.24 3/213 3022
/proc/meminfo: memFree=30555456/32770624 swapFree=67022052/67108860
[pid=3001] ppid=2998 vsize=113128 memory=1456 CPUtime=0 cores=0-7
/proc/3001/stat : 3001 (xcsp3-exec) S 2998 3001 2957 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 420377818 115843072 364 33554432000 4194304 5098028 140735517357856 140735517355960 140631380316796 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 38436864 140735517365110 140735517365353 140735517365353 140735517368266 0
/proc/3001/statm: 28282 364 305 221 0 87 0
[pid=3003] ppid=3001 vsize=28227388 memory=28948 CPUtime=0.12 cores=0-7
/proc/3003/stat : 3003 (java) S 3001 3001 2957 0 -1 1077944320 5703 0 0 0 11 1 0 0 20 0 20 0 420377819 28904845312 7237 33554432000 4194304 4196468 140734939676912 140734939659456 140581486804727 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 14770176 140734939685866 140734939686038 140734939686038 140734939688911 0
/proc/3003/statm: 7056847 7237 3114 1 0 7019032 0
[pid=3003/tid=3004] ppid=3001 vsize=28227388 memory=4134692831991783777 CPUtime=0.08 cores=0-7
/proc/3003/task/3004/stat : 3004 (java) R 3001 3001 2957 0 -1 4202560 3627 0 0 0 8 0 0 0 20 0 20 0 420377819 28904845312 7237 33554432000 4194304 4196468 140734939676912 140581491030688 140581470848357 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 14770176 140734939685866 140734939686038 140734939686038 140734939688911 0
[pid=3003/tid=3005] ppid=3001 vsize=28227388 memory=4126316290023845779 CPUtime=0 cores=0-7
/proc/3003/task/3005/stat : 3005 (java) S 3001 3001 2957 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420377820 28904845312 7237 33554432000 4194304 4196468 140734939676912 140581406657296 140581486814933 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14770176 140734939685866 140734939686038 140734939686038 140734939688911 0
[pid=3003/tid=3006] ppid=3001 vsize=28227388 memory=140444124853888 CPUtime=0 cores=0-7
/proc/3003/task/3006/stat : 3006 (java) S 3001 3001 2957 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420377820 28904845312 7237 33554432000 4194304 4196468 140734939676912 140581405604752 140581486814933 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14770176 140734939685866 140734939686038 140734939686038 140734939688911 0
[pid=3003/tid=3007] ppid=3001 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/3003/task/3007/stat : 3007 (java) S 3001 3001 2957 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420377820 28904845312 7237 33554432000 4194304 4196468 140734939676912 140581404552208 140581486814933 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14770176 140734939685866 140734939686038 140734939686038 140734939688911 0
[pid=3003/tid=3008] ppid=3001 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/3003/task/3008/stat : 3008 (java) S 3001 3001 2957 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420377820 28904845312 7237 33554432000 4194304 4196468 140734939676912 140581403499664 140581486814933 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14770176 140734939685866 140734939686038 140734939686038 140734939688911 0
[pid=3003/tid=3009] ppid=3001 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/3003/task/3009/stat : 3009 (java) S 3001 3001 2957 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420377820 28904845312 7237 33554432000 4194304 4196468 140734939676912 140581402446096 140581486814933 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14770176 140734939685866 140734939686038 140734939686038 140734939688911 0
[pid=3003/tid=3010] ppid=3001 vsize=28227388 memory=-1 CPUtime=0 cores=0-7
/proc/3003/task/3010/stat : 3010 (java) S 3001 3001 2957 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 420377820 28904845312 7237 33554432000 4194304 4196468 140734939676912 140581401393552 140581486814933 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14770176 140734939685866 140734939686038 140734939686038 140734939688911 0
[pid=3003/tid=3011] ppid=3001 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/3003/task/3011/stat : 3011 (java) S 3001 3001 2957 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420377820 28904845312 7237 33554432000 4194304 4196468 140734939676912 140581400341008 140581486814933 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14770176 140734939685866 140734939686038 140734939686038 140734939688911 0
[pid=3003/tid=3012] ppid=3001 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/3003/task/3012/stat : 3012 (java) S 3001 3001 2957 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420377820 28904845312 7237 33554432000 4194304 4196468 140734939676912 140581399288464 140581486814933 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14770176 140734939685866 140734939686038 140734939686038 140734939688911 0
[pid=3003/tid=3013] ppid=3001 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/3003/task/3013/stat : 3013 (java) S 3001 3001 2957 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420377821 28904845312 7237 33554432000 4194304 4196468 140734939676912 140580871059952 140581486815874 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14770176 140734939685866 140734939686038 140734939686038 140734939688911 0
[pid=3003/tid=3014] ppid=3001 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/3003/task/3014/stat : 3014 (java) S 3001 3001 2957 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 420377822 28904845312 7237 33554432000 4194304 4196468 140734939676912 140580870006176 140581486814933 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14770176 140734939685866 140734939686038 140734939686038 140734939688911 0
[pid=3003/tid=3015] ppid=3001 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/3003/task/3015/stat : 3015 (java) S 3001 3001 2957 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 420377822 28904845312 7237 33554432000 4194304 4196468 140734939676912 140580868953584 140581486814933 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14770176 140734939685866 140734939686038 140734939686038 140734939688911 0
[pid=3003/tid=3016] ppid=3001 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/3003/task/3016/stat : 3016 (java) S 3001 3001 2957 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420377824 28904845312 7237 33554432000 4194304 4196468 140734939676912 140580867902160 140581486823323 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14770176 140734939685866 140734939686038 140734939686038 140734939688911 0
[pid=3003/tid=3017] ppid=3001 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/3003/task/3017/stat : 3017 (java) S 3001 3001 2957 0 -1 1077944384 293 0 0 0 0 0 0 0 20 0 20 0 420377824 28904845312 7237 33554432000 4194304 4196468 140734939676912 140580866848752 140581486815874 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14770176 140734939685866 140734939686038 140734939686038 140734939688911 0
[pid=3003/tid=3018] ppid=3001 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/3003/task/3018/stat : 3018 (java) S 3001 3001 2957 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420377824 28904845312 7237 33554432000 4194304 4196468 140734939676912 140580865796208 140581486815874 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14770176 140734939685866 140734939686038 140734939686038 140734939688911 0
[pid=3003/tid=3019] ppid=3001 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/3003/task/3019/stat : 3019 (java) R 3001 3001 2957 0 -1 4202560 123 0 0 0 0 0 0 0 20 0 20 0 420377824 28904845312 7237 33554432000 4194304 4196468 140734939676912 140580864743664 140581479789769 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 14770176 140734939685866 140734939686038 140734939686038 140734939688911 0
[pid=3003/tid=3020] ppid=3001 vsize=28227388 memory=0 CPUtime=0.02 cores=0-7
/proc/3003/task/3020/stat : 3020 (java) R 3001 3001 2957 0 -1 4202560 351 0 0 0 2 0 0 0 20 0 20 0 420377824 28904845312 7237 33554432000 4194304 4196468 140734939676912 140580863691120 140581486816662 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 14770176 140734939685866 140734939686038 140734939686038 140734939688911 0
[pid=3003/tid=3021] ppid=3001 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/3003/task/3021/stat : 3021 (java) S 3001 3001 2957 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 420377825 28904845312 7237 33554432000 4194304 4196468 140734939676912 140580862638816 140581486814933 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14770176 140734939685866 140734939686038 140734939686038 140734939688911 0
[pid=3003/tid=3022] ppid=3001 vsize=28227388 memory=-1 CPUtime=0 cores=0-7
/proc/3003/task/3022/stat : 3022 (java) S 3001 3001 2957 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420377825 28904845312 7237 33554432000 4194304 4196468 140734939676912 140580861586352 140581486815874 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14770176 140734939685866 140734939686038 140734939686038 140734939688911 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 28340516 KiB
Current children cumulated memory: 30404 KiB

[startup+0.20991 s]*
/proc/loadavg: 8.59 8.34 8.24 3/213 3022
/proc/meminfo: memFree=30543268/32770624 swapFree=67022052/67108860
[pid=3001] ppid=2998 vsize=113128 memory=1456 CPUtime=0 cores=0-7
/proc/3001/stat : 3001 (xcsp3-exec) S 2998 3001 2957 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 420377818 115843072 364 33554432000 4194304 5098028 140735517357856 140735517355960 140631380316796 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 38436864 140735517365110 140735517365353 140735517365353 140735517368266 0
/proc/3001/statm: 28282 364 305 221 0 87 0
[pid=3003] ppid=3001 vsize=28227388 memory=40400 CPUtime=0.33 cores=0-7
/proc/3003/stat : 3003 (java) S 3001 3001 2957 0 -1 1077944320 9331 0 0 0 31 2 0 0 20 0 20 0 420377819 28904845312 10100 33554432000 4194304 4196468 140734939676912 140734939659456 140581486804727 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 14770176 140734939685866 140734939686038 140734939686038 140734939688911 0
/proc/3003/statm: 7056847 10100 3264 1 0 7019032 0
[pid=3003/tid=3004] ppid=3001 vsize=28227388 memory=8318255677412212789 CPUtime=0.19 cores=0-7
/proc/3003/task/3004/stat : 3004 (java) R 3001 3001 2957 0 -1 4202560 6605 0 0 0 18 1 0 0 20 0 20 0 420377819 28904845312 10100 33554432000 4194304 4196468 140734939676912 140581491035968 140581486816662 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 14770176 140734939685866 140734939686038 140734939686038 140734939688911 0
[pid=3003/tid=3005] ppid=3001 vsize=28227388 memory=331 CPUtime=0 cores=0-7
/proc/3003/task/3005/stat : 3005 (java) S 3001 3001 2957 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420377820 28904845312 10100 33554432000 4194304 4196468 140734939676912 140581406657296 140581486814933 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14770176 140734939685866 140734939686038 140734939686038 140734939688911 0
[pid=3003/tid=3006] ppid=3001 vsize=28227388 memory=140444124859670 CPUtime=0 cores=0-7
/proc/3003/task/3006/stat : 3006 (java) S 3001 3001 2957 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420377820 28904845312 10100 33554432000 4194304 4196468 140734939676912 140581405604752 140581486814933 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14770176 140734939685866 140734939686038 140734939686038 140734939688911 0
[pid=3003/tid=3007] ppid=3001 vsize=28227388 memory=-1 CPUtime=0 cores=0-7
/proc/3003/task/3007/stat : 3007 (java) S 3001 3001 2957 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420377820 28904845312 10100 33554432000 4194304 4196468 140734939676912 140581404552208 140581486814933 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14770176 140734939685866 140734939686038 140734939686038 140734939688911 0
[pid=3003/tid=3008] ppid=3001 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/3003/task/3008/stat : 3008 (java) S 3001 3001 2957 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420377820 28904845312 10100 33554432000 4194304 4196468 140734939676912 140581403499664 140581486814933 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14770176 140734939685866 140734939686038 140734939686038 140734939688911 0
[pid=3003/tid=3009] ppid=3001 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/3003/task/3009/stat : 3009 (java) S 3001 3001 2957 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420377820 28904845312 10100 33554432000 4194304 4196468 140734939676912 140581402446096 140581486814933 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14770176 140734939685866 140734939686038 140734939686038 140734939688911 0
[pid=3003/tid=3010] ppid=3001 vsize=28227388 memory=-1 CPUtime=0 cores=0-7
/proc/3003/task/3010/stat : 3010 (java) S 3001 3001 2957 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 420377820 28904845312 10100 33554432000 4194304 4196468 140734939676912 140581401393552 140581486814933 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14770176 140734939685866 140734939686038 140734939686038 140734939688911 0
[pid=3003/tid=3011] ppid=3001 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/3003/task/3011/stat : 3011 (java) S 3001 3001 2957 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420377820 28904845312 10100 33554432000 4194304 4196468 140734939676912 140581400341008 140581486814933 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14770176 140734939685866 140734939686038 140734939686038 140734939688911 0
[pid=3003/tid=3012] ppid=3001 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/3003/task/3012/stat : 3012 (java) S 3001 3001 2957 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420377820 28904845312 10100 33554432000 4194304 4196468 140734939676912 140581399288464 140581486814933 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14770176 140734939685866 140734939686038 140734939686038 140734939688911 0
[pid=3003/tid=3013] ppid=3001 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/3003/task/3013/stat : 3013 (java) S 3001 3001 2957 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 420377821 28904845312 10100 33554432000 4194304 4196468 140734939676912 140580871059952 140581486815874 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14770176 140734939685866 140734939686038 140734939686038 140734939688911 0
[pid=3003/tid=3014] ppid=3001 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/3003/task/3014/stat : 3014 (java) S 3001 3001 2957 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 420377822 28904845312 10100 33554432000 4194304 4196468 140734939676912 140580870006176 140581486814933 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14770176 140734939685866 140734939686038 140734939686038 140734939688911 0
[pid=3003/tid=3015] ppid=3001 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/3003/task/3015/stat : 3015 (java) S 3001 3001 2957 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 420377822 28904845312 10100 33554432000 4194304 4196468 140734939676912 140580868953584 140581486814933 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14770176 140734939685866 140734939686038 140734939686038 140734939688911 0
[pid=3003/tid=3016] ppid=3001 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/3003/task/3016/stat : 3016 (java) S 3001 3001 2957 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420377824 28904845312 10100 33554432000 4194304 4196468 140734939676912 140580867902160 140581486823323 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14770176 140734939685866 140734939686038 140734939686038 140734939688911 0
[pid=3003/tid=3017] ppid=3001 vsize=28227388 memory=0 CPUtime=0.02 cores=0-7
/proc/3003/task/3017/stat : 3017 (java) S 3001 3001 2957 0 -1 1077944384 400 0 0 0 2 0 0 0 20 0 20 0 420377824 28904845312 10100 33554432000 4194304 4196468 140734939676912 140580866848752 140581486815874 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14770176 140734939685866 140734939686038 140734939686038 140734939688911 0
[pid=3003/tid=3018] ppid=3001 vsize=28227388 memory=0 CPUtime=0.01 cores=0-7
/proc/3003/task/3018/stat : 3018 (java) S 3001 3001 2957 0 -1 1077944384 56 0 0 0 1 0 0 0 20 0 20 0 420377824 28904845312 10100 33554432000 4194304 4196468 140734939676912 140580865796208 140581486815874 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14770176 140734939685866 140734939686038 140734939686038 140734939688911 0
[pid=3003/tid=3019] ppid=3001 vsize=28227388 memory=-1 CPUtime=0.01 cores=0-7
/proc/3003/task/3019/stat : 3019 (java) S 3001 3001 2957 0 -1 1077944384 164 0 0 0 1 0 0 0 20 0 20 0 420377824 28904845312 10100 33554432000 4194304 4196468 140734939676912 140580864743664 140581486815874 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14770176 140734939685866 140734939686038 140734939686038 140734939688911 0
[pid=3003/tid=3020] ppid=3001 vsize=28227388 memory=-1 CPUtime=0.07 cores=0-7
/proc/3003/task/3020/stat : 3020 (java) R 3001 3001 2957 0 -1 4202560 795 0 0 0 7 0 0 0 20 0 20 0 420377824 28904845312 10100 33554432000 4194304 4196468 140734939676912 140580863690928 140581465484897 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 14770176 140734939685866 140734939686038 140734939686038 140734939688911 0
[pid=3003/tid=3021] ppid=3001 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/3003/task/3021/stat : 3021 (java) S 3001 3001 2957 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 420377825 28904845312 10100 33554432000 4194304 4196468 140734939676912 140580862638816 140581486814933 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14770176 140734939685866 140734939686038 140734939686038 140734939688911 0
[pid=3003/tid=3022] ppid=3001 vsize=28227388 memory=-1 CPUtime=0 cores=0-7
/proc/3003/task/3022/stat : 3022 (java) S 3001 3001 2957 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420377825 28904845312 10100 33554432000 4194304 4196468 140734939676912 140580861586352 140581486815874 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14770176 140734939685866 140734939686038 140734939686038 140734939688911 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 28340516 KiB
Current children cumulated memory: 41856 KiB

[startup+0.309673 s]*
/proc/loadavg: 8.59 8.34 8.24 3/213 3022
/proc/meminfo: memFree=30536368/32770624 swapFree=67022052/67108860
[pid=3001] ppid=2998 vsize=113128 memory=1456 CPUtime=0 cores=0-7
/proc/3001/stat : 3001 (xcsp3-exec) S 2998 3001 2957 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 420377818 115843072 364 33554432000 4194304 5098028 140735517357856 140735517355960 140631380316796 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 38436864 140735517365110 140735517365353 140735517365353 140735517368266 0
/proc/3001/statm: 28282 364 305 221 0 87 0
[pid=3003] ppid=3001 vsize=28231644 memory=49896 CPUtime=0.52 cores=0-7
/proc/3003/stat : 3003 (java) S 3001 3001 2957 0 -1 1077944320 10829 0 0 0 49 3 0 0 20 0 20 0 420377819 28909203456 12474 33554432000 4194304 4196468 140734939676912 140734939659456 140581486804727 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 14770176 140734939685866 140734939686038 140734939686038 140734939688911 0
/proc/3003/statm: 7057911 12474 3371 1 0 7019032 0
[pid=3003/tid=3004] ppid=3001 vsize=28231644 memory=8112282956445269571 CPUtime=0.29 cores=0-7
/proc/3003/task/3004/stat : 3004 (java) R 3001 3001 2957 0 -1 4202560 7791 0 0 0 27 2 0 0 20 0 20 0 420377819 28909203456 12539 33554432000 4194304 4196468 140734939676912 140581491038592 140581486826653 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 14770176 140734939685866 140734939686038 140734939686038 140734939688911 0
[pid=3003/tid=3005] ppid=3001 vsize=28231644 memory=0 CPUtime=0 cores=0-7
/proc/3003/task/3005/stat : 3005 (java) S 3001 3001 2957 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420377820 28909203456 12539 33554432000 4194304 4196468 140734939676912 140581406657296 140581486814933 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14770176 140734939685866 140734939686038 140734939686038 140734939688911 0
[pid=3003/tid=3006] ppid=3001 vsize=28231644 memory=0 CPUtime=0 cores=0-7
/proc/3003/task/3006/stat : 3006 (java) S 3001 3001 2957 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420377820 28909203456 12539 33554432000 4194304 4196468 140734939676912 140581405604752 140581486814933 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14770176 140734939685866 140734939686038 140734939686038 140734939688911 0
[pid=3003/tid=3007] ppid=3001 vsize=28231644 memory=0 CPUtime=0 cores=0-7
/proc/3003/task/3007/stat : 3007 (java) S 3001 3001 2957 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420377820 28909203456 12539 33554432000 4194304 4196468 140734939676912 140581404552208 140581486814933 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14770176 140734939685866 140734939686038 140734939686038 140734939688911 0
[pid=3003/tid=3008] ppid=3001 vsize=28231644 memory=0 CPUtime=0 cores=0-7
/proc/3003/task/3008/stat : 3008 (java) S 3001 3001 2957 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420377820 28909203456 12539 33554432000 4194304 4196468 140734939676912 140581403499664 140581486814933 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14770176 140734939685866 140734939686038 140734939686038 140734939688911 0
[pid=3003/tid=3009] ppid=3001 vsize=28231644 memory=2244 CPUtime=0 cores=0-7
/proc/3003/task/3009/stat : 3009 (java) S 3001 3001 2957 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420377820 28909203456 12543 33554432000 4194304 4196468 140734939676912 140581402446096 140581486814933 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14770176 140734939685866 140734939686038 140734939686038 140734939688911 0
[pid=3003/tid=3010] ppid=3001 vsize=28231644 memory=140444021388207 CPUtime=0 cores=0-7
/proc/3003/task/3010/stat : 3010 (java) S 3001 3001 2957 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 420377820 28909203456 12543 33554432000 4194304 4196468 140734939676912 140581401393552 140581486814933 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14770176 140734939685866 140734939686038 140734939686038 140734939688911 0
[pid=3003/tid=3011] ppid=3001 vsize=28231644 memory=140444021390512 CPUtime=0 cores=0-7
/proc/3003/task/3011/stat : 3011 (java) S 3001 3001 2957 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420377820 28909203456 12543 33554432000 4194304 4196468 140734939676912 140581400341008 140581486814933 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14770176 140734939685866 140734939686038 140734939686038 140734939688911 0
[pid=3003/tid=3012] ppid=3001 vsize=28231644 memory=140444021392816 CPUtime=0 cores=0-7
/proc/3003/task/3012/stat : 3012 (java) S 3001 3001 2957 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420377820 28909203456 12543 33554432000 4194304 4196468 140734939676912 140581399288464 140581486814933 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14770176 140734939685866 140734939686038 140734939686038 140734939688911 0
[pid=3003/tid=3013] ppid=3001 vsize=28231644 memory=0 CPUtime=0 cores=0-7
/proc/3003/task/3013/stat : 3013 (java) S 3001 3001 2957 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 420377821 28909203456 12543 33554432000 4194304 4196468 140734939676912 140580871059952 140581486815874 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14770176 140734939685866 140734939686038 140734939686038 140734939688911 0
[pid=3003/tid=3014] ppid=3001 vsize=28231644 memory=280888042792592 CPUtime=0 cores=0-7
/proc/3003/task/3014/stat : 3014 (java) S 3001 3001 2957 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 420377822 28909203456 12543 33554432000 4194304 4196468 140734939676912 140580870006176 140581486814933 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14770176 140734939685866 140734939686038 140734939686038 140734939688911 0
[pid=3003/tid=3015] ppid=3001 vsize=28231644 memory=280888042799504 CPUtime=0 cores=0-7
/proc/3003/task/3015/stat : 3015 (java) S 3001 3001 2957 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 420377822 28909203456 12543 33554432000 4194304 4196468 140734939676912 140580868953584 140581486814933 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14770176 140734939685866 140734939686038 140734939686038 140734939688911 0
[pid=3003/tid=3016] ppid=3001 vsize=28231644 memory=280888042740784 CPUtime=0 cores=0-7
/proc/3003/task/3016/stat : 3016 (java) S 3001 3001 2957 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420377824 28909203456 12543 33554432000 4194304 4196468 140734939676912 140580867902160 140581486823323 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14770176 140734939685866 140734939686038 140734939686038 140734939688911 0
[pid=3003/tid=3017] ppid=3001 vsize=28231644 memory=280888042813328 CPUtime=0.04 cores=0-7
/proc/3003/task/3017/stat : 3017 (java) R 3001 3001 2957 0 -1 4202560 486 0 0 0 4 0 0 0 20 0 20 0 420377824 28909203456 12543 33554432000 4194304 4196468 140734939676912 140580866829768 140581464065984 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 14770176 140734939685866 140734939686038 140734939686038 140734939688911 0
[pid=3003/tid=3018] ppid=3001 vsize=28231644 memory=280888042820240 CPUtime=0.02 cores=0-7
/proc/3003/task/3018/stat : 3018 (java) S 3001 3001 2957 0 -1 1077944384 86 0 0 0 2 0 0 0 20 0 20 0 420377824 28909203456 12543 33554432000 4194304 4196468 140734939676912 140580865796208 140581486815874 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14770176 140734939685866 140734939686038 140734939686038 140734939688911 0
[pid=3003/tid=3019] ppid=3001 vsize=28231644 memory=280888042817936 CPUtime=0.02 cores=0-7
/proc/3003/task/3019/stat : 3019 (java) S 3001 3001 2957 0 -1 1077944384 222 0 0 0 2 0 0 0 20 0 20 0 420377824 28909203456 12543 33554432000 4194304 4196468 140734939676912 140580864743664 140581486815874 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14770176 140734939685866 140734939686038 140734939686038 140734939688911 0
[pid=3003/tid=3020] ppid=3001 vsize=28231644 memory=280888042834096 CPUtime=0.12 cores=0-7
/proc/3003/task/3020/stat : 3020 (java) S 3001 3001 2957 0 -1 1077944384 952 0 0 0 12 0 0 0 20 0 20 0 420377824 28909203456 12543 33554432000 4194304 4196468 140734939676912 140580863691120 140581486815874 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14770176 140734939685866 140734939686038 140734939686038 140734939688911 0
[pid=3003/tid=3021] ppid=3001 vsize=28231644 memory=0 CPUtime=0 cores=0-7
/proc/3003/task/3021/stat : 3021 (java) S 3001 3001 2957 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 420377825 28909203456 12543 33554432000 4194304 4196468 140734939676912 140580862638816 140581486814933 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14770176 140734939685866 140734939686038 140734939686038 140734939688911 0
[pid=3003/tid=3022] ppid=3001 vsize=28231644 memory=-1 CPUtime=0 cores=0-7
/proc/3003/task/3022/stat : 3022 (java) S 3001 3001 2957 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420377825 28909203456 12543 33554432000 4194304 4196468 140734939676912 140580861586352 140581486815874 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14770176 140734939685866 140734939686038 140734939686038 140734939688911 0
Current children cumulated CPU time: 0.52 s
Current children cumulated vsize: 28344772 KiB
Current children cumulated memory: 51352 KiB

[startup+0.700959 s]
/proc/loadavg: 8.59 8.34 8.24 7/213 3022
/proc/meminfo: memFree=30514340/32770624 swapFree=67022052/67108860
[pid=3001] ppid=2998 vsize=113128 memory=1456 CPUtime=0 cores=0-7
/proc/3001/stat : 3001 (xcsp3-exec) S 2998 3001 2957 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 420377818 115843072 364 33554432000 4194304 5098028 140735517357856 140735517355960 140631380316796 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 38436864 140735517365110 140735517365353 140735517365353 140735517368266 0
/proc/3001/statm: 28282 364 305 221 0 87 0
[pid=3003] ppid=3001 vsize=28233768 memory=112024 CPUtime=1.87 cores=0-7
/proc/3003/stat : 3003 (java) S 3001 3001 2957 0 -1 1077944320 14103 0 0 0 182 5 0 0 20 0 20 0 420377819 28911378432 28006 33554432000 4194304 4196468 140734939676912 140734939659456 140581486804727 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 14770176 140734939685866 140734939686038 140734939686038 140734939688911 0
/proc/3003/statm: 7058442 28006 3456 1 0 7019544 0
[pid=3003/tid=3004] ppid=3001 vsize=28233768 memory=280888043191984 CPUtime=0.68 cores=0-7
/proc/3003/task/3004/stat : 3004 (java) R 3001 3001 2957 0 -1 4202560 8395 0 0 0 65 3 0 0 20 0 20 0 420377819 28911378432 28006 33554432000 4194304 4196468 140734939676912 140581491041568 140581078439234 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 14770176 140734939685866 140734939686038 140734939686038 140734939688911 0
[pid=3003/tid=3005] ppid=3001 vsize=28233768 memory=140444021597040 CPUtime=0 cores=0-7
/proc/3003/task/3005/stat : 3005 (java) S 3001 3001 2957 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420377820 28911378432 28006 33554432000 4194304 4196468 140734939676912 140581406657296 140581486814933 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14770176 140734939685866 140734939686038 140734939686038 140734939688911 0
[pid=3003/tid=3006] ppid=3001 vsize=28233768 memory=0 CPUtime=0 cores=0-7
/proc/3003/task/3006/stat : 3006 (java) S 3001 3001 2957 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420377820 28911378432 28006 33554432000 4194304 4196468 140734939676912 140581405604752 140581486814933 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14770176 140734939685866 140734939686038 140734939686038 140734939688911 0
[pid=3003/tid=3007] ppid=3001 vsize=28233768 memory=1224 CPUtime=0 cores=0-7
/proc/3003/task/3007/stat : 3007 (java) S 3001 3001 2957 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420377820 28911378432 28006 33554432000 4194304 4196468 140734939676912 140581404552208 140581486814933 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14770176 140734939685866 140734939686038 140734939686038 140734939688911 0

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

/proc/meminfo: memFree=5681548/32770624 swapFree=67022120/67108860
[pid=3001] ppid=2998 vsize=113128 memory=1456 CPUtime=0 cores=0-7
/proc/3001/stat : 3001 (xcsp3-exec) S 2998 3001 2957 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 420377818 115843072 364 33554432000 4194304 5098028 140735517357856 140735517355960 140631380316796 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 38436864 140735517365110 140735517365353 140735517365353 140735517368266 0
/proc/3001/statm: 28282 364 305 221 0 87 0
[pid=3003] ppid=3001 vsize=28768328 memory=24863040 CPUtime=18648.2 cores=0-7
/proc/3003/stat : 3003 (java) S 3001 3001 2957 0 -1 1077944320 5237822 0 0 0 1858052 6769 0 0 20 0 28 0 420377819 29458767872 6215760 33554432000 4194304 4196468 140734939676912 140734939659456 140581486804727 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 14770176 140734939685866 140734939686038 140734939686038 140734939688911 0
/proc/3003/statm: 7192082 6215760 3559 1 0 7153184 0
[pid=3003/tid=3004] ppid=3001 vsize=28768328 memory=24863040 CPUtime=97.89 cores=0-7
/proc/3003/task/3004/stat : 3004 (java) S 3001 3001 2957 0 -1 1077944384 22647 0 0 0 9706 83 0 0 20 0 28 0 420377819 29458767872 6215760 33554432000 4194304 4196468 140734939676912 140581491045504 140581486814933 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14770176 140734939685866 140734939686038 140734939686038 140734939688911 0
[pid=3003/tid=3005] ppid=3001 vsize=28768328 memory=24863040 CPUtime=45.64 cores=0-7
/proc/3003/task/3005/stat : 3005 (java) S 3001 3001 2957 0 -1 1077944384 158899 0 0 0 4358 206 0 0 20 0 28 0 420377820 29458767872 6215760 33554432000 4194304 4196468 140734939676912 140581406657296 140581486814933 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 3 0 0 6293624 6294260 14770176 140734939685866 140734939686038 140734939686038 140734939688911 0
[pid=3003/tid=3006] ppid=3001 vsize=28768328 memory=1456 CPUtime=45.81 cores=0-7
/proc/3003/task/3006/stat : 3006 (java) S 3001 3001 2957 0 -1 1077944384 143963 0 0 0 4365 216 0 0 20 0 28 0 420377820 29458767872 6215760 33554432000 4194304 4196468 140734939676912 140581405604752 140581486814933 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 6 0 0 6293624 6294260 14770176 140734939685866 140734939686038 140734939686038 140734939688911 0
[pid=3003/tid=3007] ppid=3001 vsize=28768328 memory=24863040 CPUtime=45.65 cores=0-7
/proc/3003/task/3007/stat : 3007 (java) S 3001 3001 2957 0 -1 1077944384 134798 0 0 0 4355 210 0 0 20 0 28 0 420377820 29458767872 6215760 33554432000 4194304 4196468 140734939676912 140581404552208 140581486814933 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 6 0 0 6293624 6294260 14770176 140734939685866 140734939686038 140734939686038 140734939688911 0
[pid=3003/tid=3008] ppid=3001 vsize=28768328 memory=0 CPUtime=45.78 cores=0-7
/proc/3003/task/3008/stat : 3008 (java) S 3001 3001 2957 0 -1 1077944384 147712 0 0 0 4251 327 0 0 20 0 28 0 420377820 29458767872 6215760 33554432000 4194304 4196468 140734939676912 140581403499664 140581486814933 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 2 0 0 6293624 6294260 14770176 140734939685866 140734939686038 140734939686038 140734939688911 0
[pid=3003/tid=3009] ppid=3001 vsize=28768328 memory=1456 CPUtime=45.77 cores=0-7
/proc/3003/task/3009/stat : 3009 (java) S 3001 3001 2957 0 -1 1077944384 146798 0 0 0 4382 195 0 0 20 0 28 0 420377820 29458767872 6215760 33554432000 4194304 4196468 140734939676912 140581402446096 140581486814933 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 5 0 0 6293624 6294260 14770176 140734939685866 140734939686038 140734939686038 140734939688911 0
[pid=3003/tid=3010] ppid=3001 vsize=28768328 memory=1456 CPUtime=45.8 cores=0-7
/proc/3003/task/3010/stat : 3010 (java) S 3001 3001 2957 0 -1 1077944384 160553 0 0 0 4368 212 0 0 20 0 28 0 420377820 29458767872 6215760 33554432000 4194304 4196468 140734939676912 140581401393552 140581486814933 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 4 0 0 6293624 6294260 14770176 140734939685866 140734939686038 140734939686038 140734939688911 0
[pid=3003/tid=3011] ppid=3001 vsize=28768328 memory=7661589893946828906 CPUtime=45.71 cores=0-7
/proc/3003/task/3011/stat : 3011 (java) S 3001 3001 2957 0 -1 1077944384 162356 0 0 0 4330 241 0 0 20 0 28 0 420377820 29458767872 6215760 33554432000 4194304 4196468 140734939676912 140581400341008 140581486814933 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 3 0 0 6293624 6294260 14770176 140734939685866 140734939686038 140734939686038 140734939688911 0
[pid=3003/tid=3012] ppid=3001 vsize=28768328 memory=6012141037175728746 CPUtime=45.78 cores=0-7
/proc/3003/task/3012/stat : 3012 (java) S 3001 3001 2957 0 -1 1077944384 145431 0 0 0 4350 228 0 0 20 0 28 0 420377820 29458767872 6215760 33554432000 4194304 4196468 140734939676912 140581399288464 140581486814933 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 6 0 0 6293624 6294260 14770176 140734939685866 140734939686038 140734939686038 140734939688911 0
[pid=3003/tid=3013] ppid=3001 vsize=28768328 memory=280888043608480 CPUtime=93.39 cores=0-7
/proc/3003/task/3013/stat : 3013 (java) S 3001 3001 2957 0 -1 1077944384 103500 0 0 0 8139 1200 0 0 20 0 28 0 420377821 29458767872 6215760 33554432000 4194304 4196468 140734939676912 140580871059952 140581486815874 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14770176 140734939685866 140734939686038 140734939686038 140734939688911 0
[pid=3003/tid=3014] ppid=3001 vsize=28768328 memory=6943526294502006880 CPUtime=0 cores=0-7
/proc/3003/task/3014/stat : 3014 (java) S 3001 3001 2957 0 -1 1077944384 92 0 0 0 0 0 0 0 20 0 28 0 420377822 29458767872 6215760 33554432000 4194304 4196468 140734939676912 140580870006240 140581486814933 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14770176 140734939685866 140734939686038 140734939686038 140734939688911 0
[pid=3003/tid=3015] ppid=3001 vsize=28768328 memory=26061861558194 CPUtime=0 cores=0-7
/proc/3003/task/3015/stat : 3015 (java) S 3001 3001 2957 0 -1 1077944384 138 0 0 0 0 0 0 0 20 0 28 0 420377822 29458767872 6215760 33554432000 4194304 4196468 140734939676912 140580868953600 140581486814933 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14770176 140734939685866 140734939686038 140734939686038 140734939688911 0
[pid=3003/tid=3016] ppid=3001 vsize=28768328 memory=7661589893946828906 CPUtime=0 cores=0-7
/proc/3003/task/3016/stat : 3016 (java) S 3001 3001 2957 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 420377824 29458767872 6215760 33554432000 4194304 4196468 140734939676912 140580867902160 140581486823323 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14770176 140734939685866 140734939686038 140734939686038 140734939688911 0
[pid=3003/tid=3017] ppid=3001 vsize=28768328 memory=1456 CPUtime=4.42 cores=0-7
/proc/3003/task/3017/stat : 3017 (java) S 3001 3001 2957 0 -1 1077944384 35000 0 0 0 436 6 0 0 20 0 28 0 420377824 29458767872 6215760 33554432000 4194304 4196468 140734939676912 140580866848752 140581486815874 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14770176 140734939685866 140734939686038 140734939686038 140734939688911 0
[pid=3003/tid=3018] ppid=3001 vsize=28768328 memory=1360 CPUtime=4.61 cores=0-7
/proc/3003/task/3018/stat : 3018 (java) S 3001 3001 2957 0 -1 1077944384 39456 0 0 0 451 10 0 0 20 0 28 0 420377824 29458767872 6215760 33554432000 4194304 4196468 140734939676912 140580865796208 140581486815874 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14770176 140734939685866 140734939686038 140734939686038 140734939688911 0
[pid=3003/tid=3019] ppid=3001 vsize=28768328 memory=1572 CPUtime=5.08 cores=0-7
/proc/3003/task/3019/stat : 3019 (java) S 3001 3001 2957 0 -1 1077944384 38064 0 0 0 504 4 0 0 20 0 28 0 420377824 29458767872 6215760 33554432000 4194304 4196468 140734939676912 140580864743664 140581486815874 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14770176 140734939685866 140734939686038 140734939686038 140734939688911 0
[pid=3003/tid=3020] ppid=3001 vsize=28768328 memory=868 CPUtime=1.33 cores=0-7
/proc/3003/task/3020/stat : 3020 (java) S 3001 3001 2957 0 -1 1077944384 34788 0 0 0 125 8 0 0 20 0 28 0 420377824 29458767872 6215760 33554432000 4194304 4196468 140734939676912 140580863691120 140581486815874 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14770176 140734939685866 140734939686038 140734939686038 140734939688911 0
[pid=3003/tid=3021] ppid=3001 vsize=28768328 memory=8112282956445269571 CPUtime=0 cores=0-7
/proc/3003/task/3021/stat : 3021 (java) S 3001 3001 2957 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 420377825 29458767872 6215760 33554432000 4194304 4196468 140734939676912 140580862638816 140581486814933 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14770176 140734939685866 140734939686038 140734939686038 140734939688911 0
[pid=3003/tid=3022] ppid=3001 vsize=28768328 memory=1456 CPUtime=1.2 cores=0-7
/proc/3003/task/3022/stat : 3022 (java) S 3001 3001 2957 0 -1 1077944384 4140 0 0 0 62 58 0 0 20 0 28 0 420377825 29458767872 6215760 33554432000 4194304 4196468 140734939676912 140580861586352 140581486815874 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 51 0 0 6293624 6294260 14770176 140734939685866 140734939686038 140734939686038 140734939688911 0
[pid=3003/tid=3031] ppid=3001 vsize=28768328 memory=2184 CPUtime=2249.22 cores=0-7
/proc/3003/task/3031/stat : 3031 (java) R 3001 3001 2957 0 -1 4202560 198828 0 0 0 224512 410 0 0 20 0 28 0 420387910 29458767872 6215760 33554432000 4194304 4196468 140734939676912 140579595771144 140581079863765 0 4 0 16800975 0 0 0 -1 7 0 0 2 0 0 6293624 6294260 14770176 140734939685866 140734939686038 140734939686038 140734939688911 0
[pid=3003/tid=3032] ppid=3001 vsize=28768328 memory=1844 CPUtime=2261.59 cores=0-7
/proc/3003/task/3032/stat : 3032 (java) R 3001 3001 2957 0 -1 4202560 134743 0 0 0 225895 264 0 0 20 0 28 0 420387910 29458767872 6215760 33554432000 4194304 4196468 140734939676912 140579594719224 140581079900064 0 4 0 16800975 0 0 0 -1 5 0 0 1 0 0 6293624 6294260 14770176 140734939685866 140734939686038 140734939686038 140734939688911 0
[pid=3003/tid=3033] ppid=3001 vsize=28768328 memory=24863040 CPUtime=2258.59 cores=0-7
/proc/3003/task/3033/stat : 3033 (java) R 3001 3001 2957 0 -1 4202560 759622 0 0 0 225154 705 0 0 20 0 28 0 420387910 29458767872 6215760 33554432000 4194304 4196468 140734939676912 140579593666344 140581083259833 0 4 0 16800975 0 0 0 -1 3 0 0 2 0 0 6293624 6294260 14770176 140734939685866 140734939686038 140734939686038 140734939688911 0
[pid=3003/tid=3034] ppid=3001 vsize=28768328 memory=24863040 CPUtime=2257.46 cores=0-7
/proc/3003/task/3034/stat : 3034 (java) R 3001 3001 2957 0 -1 4202560 360888 0 0 0 225232 514 0 0 20 0 28 0 420387910 29458767872 6215760 33554432000 4194304 4196468 140734939676912 140579592613272 140581079865362 0 4 0 16800975 0 0 0 -1 1 0 0 2 0 0 6293624 6294260 14770176 140734939685866 140734939686038 140734939686038 140734939688911 0
[pid=3003/tid=3035] ppid=3001 vsize=28768328 memory=1612 CPUtime=2260.98 cores=0-7
/proc/3003/task/3035/stat : 3035 (java) R 3001 3001 2957 0 -1 4202560 1102964 0 0 0 225696 402 0 0 20 0 28 0 420387910 29458767872 6215760 33554432000 4194304 4196468 140734939676912 140579591561064 140581077395713 0 4 0 16800975 0 0 0 -1 0 0 0 2 0 0 6293624 6294260 14770176 140734939685866 140734939686038 140734939686038 140734939688911 0
[pid=3003/tid=3036] ppid=3001 vsize=28768328 memory=1224 CPUtime=2270.98 cores=0-7
/proc/3003/task/3036/stat : 3036 (java) R 3001 3001 2957 0 -1 4202560 95850 0 0 0 226779 319 0 0 20 0 28 0 420387910 29458767872 6215760 33554432000 4194304 4196468 140734939676912 140579590508184 140581079865043 0 4 0 16800975 0 0 0 -1 4 0 0 1 0 0 6293624 6294260 14770176 140734939685866 140734939686038 140734939686038 140734939688911 0
[pid=3003/tid=3037] ppid=3001 vsize=28768328 memory=3824 CPUtime=2262.38 cores=0-7
/proc/3003/task/3037/stat : 3037 (java) R 3001 3001 2957 0 -1 4202560 737921 0 0 0 225766 472 0 0 20 0 28 0 420387910 29458767872 6215760 33554432000 4194304 4196468 140734939676912 140579589455256 140581079863207 0 4 0 16800975 0 0 0 -1 6 0 0 1 0 0 6293624 6294260 14770176 140734939685866 140734939686038 140734939686038 140734939688911 0
[pid=3003/tid=3038] ppid=3001 vsize=28768328 memory=1456 CPUtime=2252.92 cores=0-7
/proc/3003/task/3038/stat : 3038 (java) R 3001 3001 2957 0 -1 4202560 367430 0 0 0 224765 527 0 0 20 0 28 0 420387910 29458767872 6215760 33554432000 4194304 4196468 140734939676912 140579588405712 140581079867807 0 4 0 16800975 0 0 0 -1 2 0 0 2 0 0 6293624 6294260 14770176 140734939685866 140734939686038 140734939686038 140734939688911 0
Current children cumulated CPU time: 18648.2 s
Current children cumulated vsize: 28881456 KiB
Current children cumulated memory: 24864496 KiB



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+2520 s]*
/proc/loadavg: 7.15 7.56 7.85 10/219 3217
/proc/meminfo: memFree=5682136/32770624 swapFree=67022120/67108860
[pid=3001] ppid=2998 vsize=113128 memory=1456 CPUtime=0 cores=0-7
/proc/3001/stat : 3001 (xcsp3-exec) S 2998 3001 2957 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 420377818 115843072 364 33554432000 4194304 5098028 140735517357856 140735517355960 140631380316796 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 38436864 140735517365110 140735517365353 140735517365353 140735517368266 0
/proc/3001/statm: 28282 364 305 221 0 87 0
[pid=3003] ppid=3001 vsize=28768328 memory=24863040 CPUtime=18789.5 cores=0-7
/proc/3003/stat : 3003 (java) S 3001 3001 2957 0 -1 1077944320 5242093 0 0 0 1872177 6771 0 0 20 0 28 0 420377819 29458767872 6215760 33554432000 4194304 4196468 140734939676912 140734939659456 140581486804727 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 14770176 140734939685866 140734939686038 140734939686038 140734939688911 0
/proc/3003/statm: 7192082 6215760 3559 1 0 7153184 0
[pid=3003/tid=3004] ppid=3001 vsize=28768328 memory=8112282956445269571 CPUtime=97.89 cores=0-7
/proc/3003/task/3004/stat : 3004 (java) S 3001 3001 2957 0 -1 1077944384 22647 0 0 0 9706 83 0 0 20 0 28 0 420377819 29458767872 6215760 33554432000 4194304 4196468 140734939676912 140581491045504 140581486814933 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14770176 140734939685866 140734939686038 140734939686038 140734939688911 0
[pid=3003/tid=3005] ppid=3001 vsize=28768328 memory=4126316290023845779 CPUtime=45.64 cores=0-7
/proc/3003/task/3005/stat : 3005 (java) S 3001 3001 2957 0 -1 1077944384 158899 0 0 0 4358 206 0 0 20 0 28 0 420377820 29458767872 6215760 33554432000 4194304 4196468 140734939676912 140581406657296 140581486814933 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 3 0 0 6293624 6294260 14770176 140734939685866 140734939686038 140734939686038 140734939688911 0
[pid=3003/tid=3006] ppid=3001 vsize=28768328 memory=916 CPUtime=45.81 cores=0-7
/proc/3003/task/3006/stat : 3006 (java) S 3001 3001 2957 0 -1 1077944384 143963 0 0 0 4365 216 0 0 20 0 28 0 420377820 29458767872 6215760 33554432000 4194304 4196468 140734939676912 140581405604752 140581486814933 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 6 0 0 6293624 6294260 14770176 140734939685866 140734939686038 140734939686038 140734939688911 0
[pid=3003/tid=3007] ppid=3001 vsize=28768328 memory=3908 CPUtime=45.65 cores=0-7
/proc/3003/task/3007/stat : 3007 (java) S 3001 3001 2957 0 -1 1077944384 134798 0 0 0 4355 210 0 0 20 0 28 0 420377820 29458767872 6215760 33554432000 4194304 4196468 140734939676912 140581404552208 140581486814933 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 6 0 0 6293624 6294260 14770176 140734939685866 140734939686038 140734939686038 140734939688911 0
[pid=3003/tid=3008] ppid=3001 vsize=28768328 memory=1412 CPUtime=45.78 cores=0-7
/proc/3003/task/3008/stat : 3008 (java) S 3001 3001 2957 0 -1 1077944384 147712 0 0 0 4251 327 0 0 20 0 28 0 420377820 29458767872 6215760 33554432000 4194304 4196468 140734939676912 140581403499664 140581486814933 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 2 0 0 6293624 6294260 14770176 140734939685866 140734939686038 140734939686038 140734939688911 0
[pid=3003/tid=3009] ppid=3001 vsize=28768328 memory=8112282956445269571 CPUtime=45.77 cores=0-7
/proc/3003/task/3009/stat : 3009 (java) S 3001 3001 2957 0 -1 1077944384 146798 0 0 0 4382 195 0 0 20 0 28 0 420377820 29458767872 6215760 33554432000 4194304 4196468 140734939676912 140581402446096 140581486814933 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 5 0 0 6293624 6294260 14770176 140734939685866 140734939686038 140734939686038 140734939688911 0
[pid=3003/tid=3010] ppid=3001 vsize=28768328 memory=24863040 CPUtime=45.8 cores=0-7
/proc/3003/task/3010/stat : 3010 (java) S 3001 3001 2957 0 -1 1077944384 160553 0 0 0 4368 212 0 0 20 0 28 0 420377820 29458767872 6215760 33554432000 4194304 4196468 140734939676912 140581401393552 140581486814933 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 4 0 0 6293624 6294260 14770176 140734939685866 140734939686038 140734939686038 140734939688911 0
[pid=3003/tid=3011] ppid=3001 vsize=28768328 memory=8112282956445269571 CPUtime=45.71 cores=0-7
/proc/3003/task/3011/stat : 3011 (java) S 3001 3001 2957 0 -1 1077944384 162356 0 0 0 4330 241 0 0 20 0 28 0 420377820 29458767872 6215760 33554432000 4194304 4196468 140734939676912 140581400341008 140581486814933 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 3 0 0 6293624 6294260 14770176 140734939685866 140734939686038 140734939686038 140734939688911 0
[pid=3003/tid=3012] ppid=3001 vsize=28768328 memory=2184 CPUtime=45.78 cores=0-7
/proc/3003/task/3012/stat : 3012 (java) S 3001 3001 2957 0 -1 1077944384 145431 0 0 0 4350 228 0 0 20 0 28 0 420377820 29458767872 6215760 33554432000 4194304 4196468 140734939676912 140581399288464 140581486814933 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 6 0 0 6293624 6294260 14770176 140734939685866 140734939686038 140734939686038 140734939688911 0
[pid=3003/tid=3013] ppid=3001 vsize=28768328 memory=1844 CPUtime=93.39 cores=0-7
/proc/3003/task/3013/stat : 3013 (java) S 3001 3001 2957 0 -1 1077944384 103500 0 0 0 8139 1200 0 0 20 0 28 0 420377821 29458767872 6215760 33554432000 4194304 4196468 140734939676912 140580871059952 140581486815874 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14770176 140734939685866 140734939686038 140734939686038 140734939688911 0
[pid=3003/tid=3014] ppid=3001 vsize=28768328 memory=4956 CPUtime=0 cores=0-7
/proc/3003/task/3014/stat : 3014 (java) S 3001 3001 2957 0 -1 1077944384 92 0 0 0 0 0 0 0 20 0 28 0 420377822 29458767872 6215760 33554432000 4194304 4196468 140734939676912 140580870006240 140581486814933 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14770176 140734939685866 140734939686038 140734939686038 140734939688911 0
[pid=3003/tid=3015] ppid=3001 vsize=28768328 memory=1456 CPUtime=0 cores=0-7
/proc/3003/task/3015/stat : 3015 (java) S 3001 3001 2957 0 -1 1077944384 138 0 0 0 0 0 0 0 20 0 28 0 420377822 29458767872 6215760 33554432000 4194304 4196468 140734939676912 140580868953600 140581486814933 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14770176 140734939685866 140734939686038 140734939686038 140734939688911 0
[pid=3003/tid=3016] ppid=3001 vsize=28768328 memory=2676 CPUtime=0 cores=0-7
/proc/3003/task/3016/stat : 3016 (java) S 3001 3001 2957 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 420377824 29458767872 6215760 33554432000 4194304 4196468 140734939676912 140580867902160 140581486823323 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14770176 140734939685866 140734939686038 140734939686038 140734939688911 0
[pid=3003/tid=3017] ppid=3001 vsize=28768328 memory=13240 CPUtime=4.42 cores=0-7
/proc/3003/task/3017/stat : 3017 (java) S 3001 3001 2957 0 -1 1077944384 35000 0 0 0 436 6 0 0 20 0 28 0 420377824 29458767872 6215760 33554432000 4194304 4196468 140734939676912 140580866848752 140581486815874 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14770176 140734939685866 140734939686038 140734939686038 140734939688911 0
[pid=3003/tid=3018] ppid=3001 vsize=28768328 memory=504 CPUtime=4.71 cores=0-7
/proc/3003/task/3018/stat : 3018 (java) S 3001 3001 2957 0 -1 1077944384 40942 0 0 0 461 10 0 0 20 0 28 0 420377824 29458767872 6215760 33554432000 4194304 4196468 140734939676912 140580865796208 140581486815874 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14770176 140734939685866 140734939686038 140734939686038 140734939688911 0
[pid=3003/tid=3019] ppid=3001 vsize=28768328 memory=1736 CPUtime=5.08 cores=0-7
/proc/3003/task/3019/stat : 3019 (java) S 3001 3001 2957 0 -1 1077944384 38064 0 0 0 504 4 0 0 20 0 28 0 420377824 29458767872 6215760 33554432000 4194304 4196468 140734939676912 140580864743664 140581486815874 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14770176 140734939685866 140734939686038 140734939686038 140734939688911 0
[pid=3003/tid=3020] ppid=3001 vsize=28768328 memory=1772 CPUtime=1.33 cores=0-7
/proc/3003/task/3020/stat : 3020 (java) S 3001 3001 2957 0 -1 1077944384 34788 0 0 0 125 8 0 0 20 0 28 0 420377824 29458767872 6215760 33554432000 4194304 4196468 140734939676912 140580863691120 140581486815874 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14770176 140734939685866 140734939686038 140734939686038 140734939688911 0
[pid=3003/tid=3021] ppid=3001 vsize=28768328 memory=8112282956445269571 CPUtime=0 cores=0-7
/proc/3003/task/3021/stat : 3021 (java) S 3001 3001 2957 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 420377825 29458767872 6215760 33554432000 4194304 4196468 140734939676912 140580862638816 140581486814933 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14770176 140734939685866 140734939686038 140734939686038 140734939688911 0
[pid=3003/tid=3022] ppid=3001 vsize=28768328 memory=24863040 CPUtime=1.2 cores=0-7
/proc/3003/task/3022/stat : 3022 (java) S 3001 3001 2957 0 -1 1077944384 4142 0 0 0 62 58 0 0 20 0 28 0 420377825 29458767872 6215760 33554432000 4194304 4196468 140734939676912 140580861586352 140581486815874 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 51 0 0 6293624 6294260 14770176 140734939685866 140734939686038 140734939686038 140734939688911 0
[pid=3003/tid=3031] ppid=3001 vsize=28768328 memory=1360 CPUtime=2266.55 cores=0-7
/proc/3003/task/3031/stat : 3031 (java) R 3001 3001 2957 0 -1 4202560 199036 0 0 0 226245 410 0 0 20 0 28 0 420387910 29458767872 6215760 33554432000 4194304 4196468 140734939676912 140579595771144 140581077370757 0 4 0 16800975 0 0 0 -1 7 0 0 2 0 0 6293624 6294260 14770176 140734939685866 140734939686038 140734939686038 140734939688911 0
[pid=3003/tid=3032] ppid=3001 vsize=28768328 memory=7428 CPUtime=2279.29 cores=0-7
/proc/3003/task/3032/stat : 3032 (java) R 3001 3001 2957 0 -1 4202560 134869 0 0 0 227665 264 0 0 20 0 28 0 420387910 29458767872 6215760 33554432000 4194304 4196468 140734939676912 140579594719224 140581077370859 0 4 0 16800975 0 0 0 -1 5 0 0 1 0 0 6293624 6294260 14770176 140734939685866 140734939686038 140734939686038 140734939688911 0
[pid=3003/tid=3033] ppid=3001 vsize=28768328 memory=24863040 CPUtime=2276.3 cores=0-7
/proc/3003/task/3033/stat : 3033 (java) R 3001 3001 2957 0 -1 4202560 760384 0 0 0 226925 705 0 0 20 0 28 0 420387910 29458767872 6215760 33554432000 4194304 4196468 140734939676912 140579593666440 140581079503995 0 4 0 16800975 0 0 0 -1 3 0 0 2 0 0 6293624 6294260 14770176 140734939685866 140734939686038 140734939686038 140734939688911 0
[pid=3003/tid=3034] ppid=3001 vsize=28768328 memory=24863040 CPUtime=2275.07 cores=0-7
/proc/3003/task/3034/stat : 3034 (java) R 3001 3001 2957 0 -1 4202560 361053 0 0 0 226993 514 0 0 20 0 28 0 420387910 29458767872 6215760 33554432000 4194304 4196468 140734939676912 140579592613272 140581079863959 0 4 0 16800975 0 0 0 -1 1 0 0 2 0 0 6293624 6294260 14770176 140734939685866 140734939686038 140734939686038 140734939688911 0
[pid=3003/tid=3035] ppid=3001 vsize=28768328 memory=1612 CPUtime=2278.69 cores=0-7
/proc/3003/task/3035/stat : 3035 (java) R 3001 3001 2957 0 -1 4202560 1103113 0 0 0 227466 403 0 0 20 0 28 0 420387910 29458767872 6215760 33554432000 4194304 4196468 140734939676912 140579591561064 140581078748963 0 4 0 16800975 0 0 0 -1 0 0 0 2 0 0 6293624 6294260 14770176 140734939685866 140734939686038 140734939686038 140734939688911 0
[pid=3003/tid=3036] ppid=3001 vsize=28768328 memory=1224 CPUtime=2288.68 cores=0-7
/proc/3003/task/3036/stat : 3036 (java) R 3001 3001 2957 0 -1 4202560 95977 0 0 0 228549 319 0 0 20 0 28 0 420387910 29458767872 6215760 33554432000 4194304 4196468 140734939676912 140579590508184 140581079863205 0 4 0 16800975 0 0 0 -1 4 0 0 1 0 0 6293624 6294260 14770176 140734939685866 140734939686038 140734939686038 140734939688911 0
[pid=3003/tid=3037] ppid=3001 vsize=28768328 memory=3824 CPUtime=2280.09 cores=0-7
/proc/3003/task/3037/stat : 3037 (java) R 3001 3001 2957 0 -1 4202560 738712 0 0 0 227536 473 0 0 20 0 28 0 420387910 29458767872 6215760 33554432000 4194304 4196468 140734939676912 140579589455256 140581079864142 0 4 0 16800975 0 0 0 -1 6 0 0 1 0 0 6293624 6294260 14770176 140734939685866 140734939686038 140734939686038 140734939688911 0
[pid=3003/tid=3038] ppid=3001 vsize=28768328 memory=1384 CPUtime=2270.63 cores=0-7
/proc/3003/task/3038/stat : 3038 (java) R 3001 3001 2957 0 -1 4202560 367885 0 0 0 226536 527 0 0 20 0 28 0 420387910 29458767872 6215760 33554432000 4194304 4196468 140734939676912 140579588405712 140581079864214 0 4 0 16800975 0 0 0 -1 2 0 0 2 0 0 6293624 6294260 14770176 140734939685866 140734939686038 140734939686038 140734939688911 0
Current children cumulated CPU time: 18789.5 s
Current children cumulated vsize: 28881456 KiB
Current children cumulated memory: 24864496 KiB

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

[startup+2520.04 s]
# the end of solver process 3001 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=0.002452 s, system=0 s

[startup+2520.22 s]
# the end of solver process 3003 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=18722.4 s, system=67.8355 s
# this solver process was not waited by its parent and was adopted by runsolver

Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples

[startup+2520.21 s]
/proc/loadavg: 7.15 7.56 7.85 2/192 3219
/proc/meminfo: memFree=11875376/32770624 swapFree=67022120/67108860
Current cumulated CPU time of completed processes: 0.002452 s
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB

Child status: 143
Real time (s): 2520.22
CPU time (s): 18790.2
CPU user time (s): 18722.4
CPU system time (s): 67.8355
CPU usage (%): 745.581
Max. virtual memory (cumulated for all children) (KiB): 28881456
Max. memory (cumulated for all children) (KiB): 24864496

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 18722.4
system time used= 67.8355
maximum resident set size= 24863448
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 5242805
page faults= 0
swaps= 0
block input operations= 8
block output operations= 3048
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 82331
involuntary context switches= 211939


# summary of solver processes directly reported to runsolver:
#   pid: 3001,3003
#   total CPU time (s): 18790.2
#   total CPU user time (s): 18722.4
#   total CPU system time (s): 67.8355

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 22.346 second user time and 33.3726 second system time

The end

Launcher Data 

Begin job on node150 at 2019-09-14 08:03:32
IDJOB=4394596
IDBENCH=138227
IDSOLVER=2843
FILE ID=node150/4394596-1568441052
RUNJOBID= node150-1568441012-2984
PBS_JOBID= 21702341
Free space on /tmp= 59360 MiB

SOLVER NAME= choco-solver parallel 2019-06-14
BENCH NAME= XCSP17/BinPacking/BinPacking-mdd-fu/BinPacking-mdd-fu1000-02.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-4394596-1568441052/watcher-4394596-1568441052 -o /tmp/evaluation-result-4394596-1568441052/solver-4394596-1568441052 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node150-1568441012-2984 --watchdog 2580  xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 645613404 HOME/instance-4394596-1568441052.xml

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

MD5SUM BENCH= 81a54afd524339631fcda48b56d1b2da
RANDOM SEED=645613404

node150.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.79
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.79
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.79
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.79
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:        30571948 kB
MemAvailable:   31845604 kB
Buffers:          156500 kB
Cached:          1362316 kB
SwapCached:        13560 kB
Active:           766392 kB
Inactive:         799088 kB
Active(anon):       4624 kB
Inactive(anon):    68508 kB
Active(file):     761768 kB
Inactive(file):   730580 kB
Unevictable:      109388 kB
Mlocked:          109388 kB
SwapTotal:      67108860 kB
SwapFree:       67022052 kB
Dirty:             26504 kB
Writeback:             0 kB
AnonPages:        143132 kB
Mapped:            39348 kB
Shmem:             17384 kB
Slab:             223784 kB
SReclaimable:     194284 kB
SUnreclaim:        29500 kB
KernelStack:        3312 kB
PageTables:         4868 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     497636 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:       99712 kB
DirectMap2M:    33445888 kB

Free space on /tmp at the end= 59332 MiB
End job on node150 at 2019-09-14 08:45:33