Trace number 4394599

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) 20069 2520.13

General information on the benchmark

NameBinPacking/BinPacking-sum-skj1/
BinPacking-sum-n3c3w2d.xml
MD5SUM3d635ffc1c83223a36f997090f45a603
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 variables764
Number of constraints221
Number of domains2
Minimum domain size76
Maximum domain size110
Distribution of domain sizes[{"size":76,"count":763},{"size":110,"count":1}]
Minimum variable degree2
Maximum variable degree5
Distribution of variable degrees[{"degree":2,"count":1},{"degree":4,"count":654},{"degree":5,"count":109}]
Minimum constraint arity7
Maximum constraint arity763
Distribution of constraint arities[{"arity":7,"count":218},{"arity":110,"count":1},{"arity":763,"count":2}]
Number of extensional constraints0
Number of intensional constraints0
Distribution of constraint types[{"type":"ordered","count":109},{"type":"lex","count":1},{"type":"sum","count":109},{"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-4394599-1568439934.xml"  -tl '20160s' -p 8
0.12/0.18	c Choco e747e1e
0.12/0.18	c [HOME/instance-4394599-1568439934.xml, -tl, 20160s, -p, 8]
0.33/0.22	c 8 solvers in parallel
0.33/0.28	c parse instance...
1.75/0.76	c solve instance...
20068.38/2520.07	s UNKNOWN
20068.38/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 (15409 MiB free)
  memory of node 1: 16384 MiB (13458 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4394599-1568439934/watcher-4394599-1568439934 -o /tmp/evaluation-result-4394599-1568439934/solver-4394599-1568439934 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node145-1568439892-3694 --watchdog 2580 xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 271839416 HOME/instance-4394599-1568439934.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=3711, runsolver pid=3708
Current StackSize limit: 8192 KiB


[startup+0.100134 s]*
/proc/loadavg: 7.52 7.64 7.59 2/212 3732
/proc/meminfo: memFree=29543248/32770624 swapFree=66958248/67108860
[pid=3711] ppid=3708 vsize=113128 memory=1456 CPUtime=0 cores=0-7
/proc/3711/stat : 3711 (xcsp3-exec) S 3708 3711 3667 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 419929901 115843072 364 33554432000 4194304 5098028 140726440625568 140726440623672 140438198735484 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 26300416 140726440633206 140726440633449 140726440633449 140726440636362 0
/proc/3711/statm: 28282 364 305 221 0 87 0
[pid=3713] ppid=3711 vsize=28227388 memory=30488 CPUtime=0.12 cores=0-7
/proc/3713/stat : 3713 (java) S 3711 3711 3667 0 -1 1077944320 5512 0 0 0 11 1 0 0 20 0 20 0 419929901 28904845312 7622 33554432000 4194304 4196468 140733665686576 140733665669120 140409968373495 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 9080832 140733665690602 140733665690774 140733665690774 140733665693647 0
/proc/3713/statm: 7056847 7622 3155 1 0 7019032 0
[pid=3713/tid=3714] ppid=3711 vsize=28227388 memory=1398722017469774279 CPUtime=0.09 cores=0-7
/proc/3713/task/3714/stat : 3714 (java) R 3711 3711 3667 0 -1 4202560 3437 0 0 0 8 1 0 0 20 0 20 0 419929902 28904845312 7622 33554432000 4194304 4196468 140733665686576 140409972605760 140409968385430 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 9080832 140733665690602 140733665690774 140733665690774 140733665693647 0
[pid=3713/tid=3715] ppid=3711 vsize=28227388 memory=4872558044660077418 CPUtime=0 cores=0-7
/proc/3713/task/3715/stat : 3715 (java) S 3711 3711 3667 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419929903 28904845312 7622 33554432000 4194304 4196468 140733665686576 140409931480080 140409968383701 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9080832 140733665690602 140733665690774 140733665690774 140733665693647 0
[pid=3713/tid=3716] ppid=3711 vsize=28227388 memory=140506765837952 CPUtime=0 cores=0-7
/proc/3713/task/3716/stat : 3716 (java) S 3711 3711 3667 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419929903 28904845312 7622 33554432000 4194304 4196468 140733665686576 140409518808208 140409968383701 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9080832 140733665690602 140733665690774 140733665690774 140733665693647 0
[pid=3713/tid=3717] ppid=3711 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/3713/task/3717/stat : 3717 (java) S 3711 3711 3667 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419929903 28904845312 7622 33554432000 4194304 4196468 140733665686576 140409517755152 140409968383701 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9080832 140733665690602 140733665690774 140733665690774 140733665693647 0
[pid=3713/tid=3718] ppid=3711 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/3713/task/3718/stat : 3718 (java) S 3711 3711 3667 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419929903 28904845312 7622 33554432000 4194304 4196468 140733665686576 140409516702608 140409968383701 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9080832 140733665690602 140733665690774 140733665690774 140733665693647 0
[pid=3713/tid=3719] ppid=3711 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/3713/task/3719/stat : 3719 (java) S 3711 3711 3667 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419929903 28904845312 7622 33554432000 4194304 4196468 140733665686576 140409515649552 140409968383701 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9080832 140733665690602 140733665690774 140733665690774 140733665693647 0
[pid=3713/tid=3720] ppid=3711 vsize=28227388 memory=-1 CPUtime=0 cores=0-7
/proc/3713/task/3720/stat : 3720 (java) S 3711 3711 3667 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419929903 28904845312 7622 33554432000 4194304 4196468 140733665686576 140409514597008 140409968383701 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9080832 140733665690602 140733665690774 140733665690774 140733665693647 0
[pid=3713/tid=3721] ppid=3711 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/3713/task/3721/stat : 3721 (java) S 3711 3711 3667 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419929903 28904845312 7622 33554432000 4194304 4196468 140733665686576 140409513543952 140409968383701 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9080832 140733665690602 140733665690774 140733665690774 140733665693647 0
[pid=3713/tid=3722] ppid=3711 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/3713/task/3722/stat : 3722 (java) S 3711 3711 3667 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419929903 28904845312 7622 33554432000 4194304 4196468 140733665686576 140409512491408 140409968383701 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9080832 140733665690602 140733665690774 140733665690774 140733665693647 0
[pid=3713/tid=3723] ppid=3711 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/3713/task/3723/stat : 3723 (java) S 3711 3711 3667 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419929904 28904845312 7622 33554432000 4194304 4196468 140733665686576 140409084771056 140409968384642 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9080832 140733665690602 140733665690774 140733665690774 140733665693647 0
[pid=3713/tid=3724] ppid=3711 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/3713/task/3724/stat : 3724 (java) S 3711 3711 3667 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 419929905 28904845312 7622 33554432000 4194304 4196468 140733665686576 140409083717280 140409968383701 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9080832 140733665690602 140733665690774 140733665690774 140733665693647 0
[pid=3713/tid=3725] ppid=3711 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/3713/task/3725/stat : 3725 (java) S 3711 3711 3667 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 419929905 28904845312 7622 33554432000 4194304 4196468 140733665686576 140409082664176 140409968383701 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9080832 140733665690602 140733665690774 140733665690774 140733665693647 0
[pid=3713/tid=3726] ppid=3711 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/3713/task/3726/stat : 3726 (java) S 3711 3711 3667 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419929907 28904845312 7622 33554432000 4194304 4196468 140733665686576 140409081612752 140409968392091 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9080832 140733665690602 140733665690774 140733665690774 140733665693647 0
[pid=3713/tid=3727] ppid=3711 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/3713/task/3727/stat : 3727 (java) S 3711 3711 3667 0 -1 1077944384 412 0 0 0 0 0 0 0 20 0 20 0 419929907 28904845312 7622 33554432000 4194304 4196468 140733665686576 140409080559856 140409968384642 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9080832 140733665690602 140733665690774 140733665690774 140733665693647 0
[pid=3713/tid=3728] ppid=3711 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/3713/task/3728/stat : 3728 (java) S 3711 3711 3667 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419929907 28904845312 7622 33554432000 4194304 4196468 140733665686576 140409079507312 140409968384642 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9080832 140733665690602 140733665690774 140733665690774 140733665693647 0
[pid=3713/tid=3729] ppid=3711 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/3713/task/3729/stat : 3729 (java) S 3711 3711 3667 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419929907 28904845312 7622 33554432000 4194304 4196468 140733665686576 140409078454256 140409968384642 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9080832 140733665690602 140733665690774 140733665690774 140733665693647 0
[pid=3713/tid=3730] ppid=3711 vsize=28227388 memory=0 CPUtime=0.02 cores=0-7
/proc/3713/task/3730/stat : 3730 (java) S 3711 3711 3667 0 -1 1077944384 347 0 0 0 2 0 0 0 20 0 20 0 419929907 28904845312 7622 33554432000 4194304 4196468 140733665686576 140409077401712 140409968384642 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9080832 140733665690602 140733665690774 140733665690774 140733665693647 0
[pid=3713/tid=3731] ppid=3711 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/3713/task/3731/stat : 3731 (java) S 3711 3711 3667 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419929907 28904845312 7622 33554432000 4194304 4196468 140733665686576 140409076349920 140409968383701 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9080832 140733665690602 140733665690774 140733665690774 140733665693647 0
[pid=3713/tid=3732] ppid=3711 vsize=28227388 memory=-1 CPUtime=0 cores=0-7
/proc/3713/task/3732/stat : 3732 (java) S 3711 3711 3667 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419929908 28904845312 7622 33554432000 4194304 4196468 140733665686576 140409075297456 140409968384642 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9080832 140733665690602 140733665690774 140733665690774 140733665693647 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 28340516 KiB
Current children cumulated memory: 31944 KiB

[startup+0.210798 s]*
/proc/loadavg: 7.52 7.64 7.59 2/212 3732
/proc/meminfo: memFree=29531100/32770624 swapFree=66958248/67108860
[pid=3711] ppid=3708 vsize=113128 memory=1456 CPUtime=0 cores=0-7
/proc/3711/stat : 3711 (xcsp3-exec) S 3708 3711 3667 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 419929901 115843072 364 33554432000 4194304 5098028 140726440625568 140726440623672 140438198735484 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 26300416 140726440633206 140726440633449 140726440633449 140726440636362 0
/proc/3711/statm: 28282 364 305 221 0 87 0
[pid=3713] ppid=3711 vsize=28227388 memory=41340 CPUtime=0.33 cores=0-7
/proc/3713/stat : 3713 (java) S 3711 3711 3667 0 -1 1077944320 9055 0 0 0 30 3 0 0 20 0 20 0 419929901 28904845312 10335 33554432000 4194304 4196468 140733665686576 140733665669120 140409968373495 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 9080832 140733665690602 140733665690774 140733665690774 140733665693647 0
/proc/3713/statm: 7056847 10335 3300 1 0 7019032 0
[pid=3713/tid=3714] ppid=3711 vsize=28227388 memory=8318255677412212789 CPUtime=0.19 cores=0-7
/proc/3713/task/3714/stat : 3714 (java) R 3711 3711 3667 0 -1 4202560 6249 0 0 0 17 2 0 0 20 0 20 0 419929902 28904845312 10335 33554432000 4194304 4196468 140733665686576 140409972607552 140409968385430 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 9080832 140733665690602 140733665690774 140733665690774 140733665693647 0
[pid=3713/tid=3715] ppid=3711 vsize=28227388 memory=329 CPUtime=0 cores=0-7
/proc/3713/task/3715/stat : 3715 (java) S 3711 3711 3667 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419929903 28904845312 10335 33554432000 4194304 4196468 140733665686576 140409931480080 140409968383701 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9080832 140733665690602 140733665690774 140733665690774 140733665693647 0
[pid=3713/tid=3716] ppid=3711 vsize=28227388 memory=288370882917549696 CPUtime=0 cores=0-7
/proc/3713/task/3716/stat : 3716 (java) S 3711 3711 3667 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419929903 28904845312 10335 33554432000 4194304 4196468 140733665686576 140409518808208 140409968383701 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9080832 140733665690602 140733665690774 140733665690774 140733665693647 0
[pid=3713/tid=3717] ppid=3711 vsize=28227388 memory=-1 CPUtime=0 cores=0-7
/proc/3713/task/3717/stat : 3717 (java) S 3711 3711 3667 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419929903 28904845312 10335 33554432000 4194304 4196468 140733665686576 140409517755152 140409968383701 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9080832 140733665690602 140733665690774 140733665690774 140733665693647 0
[pid=3713/tid=3718] ppid=3711 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/3713/task/3718/stat : 3718 (java) S 3711 3711 3667 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419929903 28904845312 10335 33554432000 4194304 4196468 140733665686576 140409516702608 140409968383701 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9080832 140733665690602 140733665690774 140733665690774 140733665693647 0
[pid=3713/tid=3719] ppid=3711 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/3713/task/3719/stat : 3719 (java) S 3711 3711 3667 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419929903 28904845312 10335 33554432000 4194304 4196468 140733665686576 140409515649552 140409968383701 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9080832 140733665690602 140733665690774 140733665690774 140733665693647 0
[pid=3713/tid=3720] ppid=3711 vsize=28227388 memory=-1 CPUtime=0 cores=0-7
/proc/3713/task/3720/stat : 3720 (java) S 3711 3711 3667 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419929903 28904845312 10335 33554432000 4194304 4196468 140733665686576 140409514597008 140409968383701 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9080832 140733665690602 140733665690774 140733665690774 140733665693647 0
[pid=3713/tid=3721] ppid=3711 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/3713/task/3721/stat : 3721 (java) S 3711 3711 3667 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419929903 28904845312 10335 33554432000 4194304 4196468 140733665686576 140409513543952 140409968383701 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9080832 140733665690602 140733665690774 140733665690774 140733665693647 0
[pid=3713/tid=3722] ppid=3711 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/3713/task/3722/stat : 3722 (java) S 3711 3711 3667 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419929903 28904845312 10335 33554432000 4194304 4196468 140733665686576 140409512491408 140409968383701 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9080832 140733665690602 140733665690774 140733665690774 140733665693647 0
[pid=3713/tid=3723] ppid=3711 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/3713/task/3723/stat : 3723 (java) S 3711 3711 3667 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 419929904 28904845312 10335 33554432000 4194304 4196468 140733665686576 140409084771056 140409968384642 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9080832 140733665690602 140733665690774 140733665690774 140733665693647 0
[pid=3713/tid=3724] ppid=3711 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/3713/task/3724/stat : 3724 (java) S 3711 3711 3667 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 419929905 28904845312 10335 33554432000 4194304 4196468 140733665686576 140409083717280 140409968383701 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9080832 140733665690602 140733665690774 140733665690774 140733665693647 0
[pid=3713/tid=3725] ppid=3711 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/3713/task/3725/stat : 3725 (java) S 3711 3711 3667 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 419929905 28904845312 10335 33554432000 4194304 4196468 140733665686576 140409082664176 140409968383701 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9080832 140733665690602 140733665690774 140733665690774 140733665693647 0
[pid=3713/tid=3726] ppid=3711 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/3713/task/3726/stat : 3726 (java) S 3711 3711 3667 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419929907 28904845312 10335 33554432000 4194304 4196468 140733665686576 140409081612752 140409968392091 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9080832 140733665690602 140733665690774 140733665690774 140733665693647 0
[pid=3713/tid=3727] ppid=3711 vsize=28227388 memory=0 CPUtime=0.02 cores=0-7
/proc/3713/task/3727/stat : 3727 (java) S 3711 3711 3667 0 -1 1077944384 548 0 0 0 2 0 0 0 20 0 20 0 419929907 28904845312 10335 33554432000 4194304 4196468 140733665686576 140409080559856 140409968384642 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9080832 140733665690602 140733665690774 140733665690774 140733665693647 0
[pid=3713/tid=3728] ppid=3711 vsize=28227388 memory=0 CPUtime=0.01 cores=0-7
/proc/3713/task/3728/stat : 3728 (java) S 3711 3711 3667 0 -1 1077944384 196 0 0 0 1 0 0 0 20 0 20 0 419929907 28904845312 10335 33554432000 4194304 4196468 140733665686576 140409079507312 140409968384642 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9080832 140733665690602 140733665690774 140733665690774 140733665693647 0
[pid=3713/tid=3729] ppid=3711 vsize=28227388 memory=-1 CPUtime=0 cores=0-7
/proc/3713/task/3729/stat : 3729 (java) S 3711 3711 3667 0 -1 1077944384 10 0 0 0 0 0 0 0 20 0 20 0 419929907 28904845312 10335 33554432000 4194304 4196468 140733665686576 140409078454256 140409968384642 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9080832 140733665690602 140733665690774 140733665690774 140733665693647 0
[pid=3713/tid=3730] ppid=3711 vsize=28227388 memory=-1 CPUtime=0.07 cores=0-7
/proc/3713/task/3730/stat : 3730 (java) R 3711 3711 3667 0 -1 4202560 740 0 0 0 7 0 0 0 20 0 20 0 419929907 28904845312 10335 33554432000 4194304 4196468 140733665686576 140409077401712 140409947298542 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 9080832 140733665690602 140733665690774 140733665690774 140733665693647 0
[pid=3713/tid=3731] ppid=3711 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/3713/task/3731/stat : 3731 (java) S 3711 3711 3667 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419929907 28904845312 10335 33554432000 4194304 4196468 140733665686576 140409076349920 140409968383701 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9080832 140733665690602 140733665690774 140733665690774 140733665693647 0
[pid=3713/tid=3732] ppid=3711 vsize=28227388 memory=-1 CPUtime=0 cores=0-7
/proc/3713/task/3732/stat : 3732 (java) S 3711 3711 3667 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419929908 28904845312 10335 33554432000 4194304 4196468 140733665686576 140409075297456 140409968384642 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9080832 140733665690602 140733665690774 140733665690774 140733665693647 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 28340516 KiB
Current children cumulated memory: 42796 KiB

[startup+0.312382 s]*
/proc/loadavg: 7.52 7.64 7.59 4/212 3732
/proc/meminfo: memFree=29524076/32770624 swapFree=66958248/67108860
[pid=3711] ppid=3708 vsize=113128 memory=1456 CPUtime=0 cores=0-7
/proc/3711/stat : 3711 (xcsp3-exec) S 3708 3711 3667 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 419929901 115843072 364 33554432000 4194304 5098028 140726440625568 140726440623672 140438198735484 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 26300416 140726440633206 140726440633449 140726440633449 140726440636362 0
/proc/3711/statm: 28282 364 305 221 0 87 0
[pid=3713] ppid=3711 vsize=28231644 memory=50444 CPUtime=0.52 cores=0-7
/proc/3713/stat : 3713 (java) S 3711 3711 3667 0 -1 1077944320 10389 0 0 0 48 4 0 0 20 0 20 0 419929901 28909203456 12611 33554432000 4194304 4196468 140733665686576 140733665669120 140409968373495 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 9080832 140733665690602 140733665690774 140733665690774 140733665693647 0
/proc/3713/statm: 7057911 12611 3359 1 0 7019032 0
[pid=3713/tid=3714] ppid=3711 vsize=28231644 memory=1398722017469774279 CPUtime=0.3 cores=0-7
/proc/3713/task/3714/stat : 3714 (java) R 3711 3711 3667 0 -1 4202560 7355 0 0 0 27 3 0 0 20 0 20 0 419929902 28909203456 12611 33554432000 4194304 4196468 140733665686576 140409972606800 140409952453982 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 9080832 140733665690602 140733665690774 140733665690774 140733665693647 0
[pid=3713/tid=3715] ppid=3711 vsize=28231644 memory=0 CPUtime=0 cores=0-7
/proc/3713/task/3715/stat : 3715 (java) S 3711 3711 3667 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419929903 28909203456 12611 33554432000 4194304 4196468 140733665686576 140409931480080 140409968383701 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9080832 140733665690602 140733665690774 140733665690774 140733665693647 0
[pid=3713/tid=3716] ppid=3711 vsize=28231644 memory=0 CPUtime=0 cores=0-7
/proc/3713/task/3716/stat : 3716 (java) S 3711 3711 3667 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419929903 28909203456 12611 33554432000 4194304 4196468 140733665686576 140409518808208 140409968383701 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9080832 140733665690602 140733665690774 140733665690774 140733665693647 0
[pid=3713/tid=3717] ppid=3711 vsize=28231644 memory=0 CPUtime=0 cores=0-7
/proc/3713/task/3717/stat : 3717 (java) S 3711 3711 3667 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419929903 28909203456 12611 33554432000 4194304 4196468 140733665686576 140409517755152 140409968383701 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9080832 140733665690602 140733665690774 140733665690774 140733665693647 0
[pid=3713/tid=3718] ppid=3711 vsize=28231644 memory=0 CPUtime=0 cores=0-7
/proc/3713/task/3718/stat : 3718 (java) S 3711 3711 3667 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419929903 28909203456 12611 33554432000 4194304 4196468 140733665686576 140409516702608 140409968383701 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9080832 140733665690602 140733665690774 140733665690774 140733665693647 0
[pid=3713/tid=3719] ppid=3711 vsize=28231644 memory=0 CPUtime=0 cores=0-7
/proc/3713/task/3719/stat : 3719 (java) S 3711 3711 3667 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419929903 28909203456 12611 33554432000 4194304 4196468 140733665686576 140409515649552 140409968383701 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9080832 140733665690602 140733665690774 140733665690774 140733665693647 0
[pid=3713/tid=3720] ppid=3711 vsize=28231644 memory=140506633956015 CPUtime=0 cores=0-7
/proc/3713/task/3720/stat : 3720 (java) S 3711 3711 3667 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419929903 28909203456 12611 33554432000 4194304 4196468 140733665686576 140409514597008 140409968383701 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9080832 140733665690602 140733665690774 140733665690774 140733665693647 0
[pid=3713/tid=3721] ppid=3711 vsize=28231644 memory=140506633958320 CPUtime=0 cores=0-7
/proc/3713/task/3721/stat : 3721 (java) S 3711 3711 3667 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419929903 28909203456 12611 33554432000 4194304 4196468 140733665686576 140409513543952 140409968383701 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9080832 140733665690602 140733665690774 140733665690774 140733665693647 0
[pid=3713/tid=3722] ppid=3711 vsize=28231644 memory=140506633960624 CPUtime=0 cores=0-7
/proc/3713/task/3722/stat : 3722 (java) S 3711 3711 3667 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419929903 28909203456 12611 33554432000 4194304 4196468 140733665686576 140409512491408 140409968383701 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9080832 140733665690602 140733665690774 140733665690774 140733665693647 0
[pid=3713/tid=3723] ppid=3711 vsize=28231644 memory=0 CPUtime=0 cores=0-7
/proc/3713/task/3723/stat : 3723 (java) S 3711 3711 3667 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 419929904 28909203456 12611 33554432000 4194304 4196468 140733665686576 140409084771056 140409968384642 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9080832 140733665690602 140733665690774 140733665690774 140733665693647 0
[pid=3713/tid=3724] ppid=3711 vsize=28231644 memory=281013267935120 CPUtime=0 cores=0-7
/proc/3713/task/3724/stat : 3724 (java) S 3711 3711 3667 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 419929905 28909203456 12611 33554432000 4194304 4196468 140733665686576 140409083717280 140409968383701 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9080832 140733665690602 140733665690774 140733665690774 140733665693647 0
[pid=3713/tid=3725] ppid=3711 vsize=28231644 memory=281013267932816 CPUtime=0 cores=0-7
/proc/3713/task/3725/stat : 3725 (java) S 3711 3711 3667 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 419929905 28909203456 12611 33554432000 4194304 4196468 140733665686576 140409082664176 140409968383701 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9080832 140733665690602 140733665690774 140733665690774 140733665693647 0
[pid=3713/tid=3726] ppid=3711 vsize=28231644 memory=281013267939728 CPUtime=0 cores=0-7
/proc/3713/task/3726/stat : 3726 (java) S 3711 3711 3667 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419929907 28909203456 12611 33554432000 4194304 4196468 140733665686576 140409081612752 140409968392091 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9080832 140733665690602 140733665690774 140733665690774 140733665693647 0
[pid=3713/tid=3727] ppid=3711 vsize=28231644 memory=281013267880976 CPUtime=0.03 cores=0-7
/proc/3713/task/3727/stat : 3727 (java) S 3711 3711 3667 0 -1 1077944384 554 0 0 0 3 0 0 0 20 0 20 0 419929907 28909203456 12611 33554432000 4194304 4196468 140733665686576 140409080559856 140409968384642 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9080832 140733665690602 140733665690774 140733665690774 140733665693647 0
[pid=3713/tid=3728] ppid=3711 vsize=28231644 memory=281013267953552 CPUtime=0.01 cores=0-7
/proc/3713/task/3728/stat : 3728 (java) S 3711 3711 3667 0 -1 1077944384 213 0 0 0 1 0 0 0 20 0 20 0 419929907 28909203456 12611 33554432000 4194304 4196468 140733665686576 140409079507312 140409968384642 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9080832 140733665690602 140733665690774 140733665690774 140733665693647 0
[pid=3713/tid=3729] ppid=3711 vsize=28231644 memory=281013267960464 CPUtime=0.02 cores=0-7
/proc/3713/task/3729/stat : 3729 (java) R 3711 3711 3667 0 -1 4202560 139 0 0 0 2 0 0 0 20 0 20 0 419929907 28909203456 12611 33554432000 4194304 4196468 140733665686576 140409078435272 140409949896078 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 9080832 140733665690602 140733665690774 140733665690774 140733665693647 0
[pid=3713/tid=3730] ppid=3711 vsize=28231644 memory=281013267958160 CPUtime=0.12 cores=0-7
/proc/3713/task/3730/stat : 3730 (java) S 3711 3711 3667 0 -1 1077944384 834 0 0 0 12 0 0 0 20 0 20 0 419929907 28909203456 12611 33554432000 4194304 4196468 140733665686576 140409077401712 140409968384642 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9080832 140733665690602 140733665690774 140733665690774 140733665693647 0
[pid=3713/tid=3731] ppid=3711 vsize=28231644 memory=0 CPUtime=0 cores=0-7
/proc/3713/task/3731/stat : 3731 (java) S 3711 3711 3667 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419929907 28909203456 12611 33554432000 4194304 4196468 140733665686576 140409076349920 140409968383701 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9080832 140733665690602 140733665690774 140733665690774 140733665693647 0
[pid=3713/tid=3732] ppid=3711 vsize=28231644 memory=-1 CPUtime=0 cores=0-7
/proc/3713/task/3732/stat : 3732 (java) S 3711 3711 3667 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419929908 28909203456 12611 33554432000 4194304 4196468 140733665686576 140409075297456 140409968384642 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9080832 140733665690602 140733665690774 140733665690774 140733665693647 0
Current children cumulated CPU time: 0.52 s
Current children cumulated vsize: 28344772 KiB
Current children cumulated memory: 51900 KiB

[startup+0.701624 s]
/proc/loadavg: 7.52 7.64 7.59 2/212 3732
/proc/meminfo: memFree=29513100/32770624 swapFree=66958248/67108860
[pid=3711] ppid=3708 vsize=113128 memory=1456 CPUtime=0 cores=0-7
/proc/3711/stat : 3711 (xcsp3-exec) S 3708 3711 3667 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 419929901 115843072 364 33554432000 4194304 5098028 140726440625568 140726440623672 140438198735484 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 26300416 140726440633206 140726440633449 140726440633449 140726440636362 0
/proc/3711/statm: 28282 364 305 221 0 87 0
[pid=3713] ppid=3711 vsize=28233768 memory=91724 CPUtime=1.75 cores=0-7
/proc/3713/stat : 3713 (java) S 3711 3711 3667 0 -1 1077944320 14681 0 0 0 168 7 0 0 20 0 20 0 419929901 28911378432 22931 33554432000 4194304 4196468 140733665686576 140733665669120 140409968373495 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 9080832 140733665690602 140733665690774 140733665690774 140733665693647 0
/proc/3713/statm: 7058442 22931 3457 1 0 7019544 0
[pid=3713/tid=3714] ppid=3711 vsize=28233768 memory=0 CPUtime=0.67 cores=0-7
/proc/3713/task/3714/stat : 3714 (java) R 3711 3711 3667 0 -1 4202560 8702 0 0 0 63 4 0 0 20 0 20 0 419929902 28911378432 22931 33554432000 4194304 4196468 140733665686576 140409972610392 140409950286512 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 9080832 140733665690602 140733665690774 140733665690774 140733665693647 0
[pid=3713/tid=3715] ppid=3711 vsize=28233768 memory=140506634167152 CPUtime=0 cores=0-7
/proc/3713/task/3715/stat : 3715 (java) S 3711 3711 3667 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419929903 28911378432 22931 33554432000 4194304 4196468 140733665686576 140409931480080 140409968383701 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9080832 140733665690602 140733665690774 140733665690774 140733665693647 0
[pid=3713/tid=3716] ppid=3711 vsize=28233768 memory=0 CPUtime=0 cores=0-7
/proc/3713/task/3716/stat : 3716 (java) S 3711 3711 3667 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419929903 28911378432 22931 33554432000 4194304 4196468 140733665686576 140409518808208 140409968383701 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9080832 140733665690602 140733665690774 140733665690774 140733665693647 0
[pid=3713/tid=3717] ppid=3711 vsize=28233768 memory=8004 CPUtime=0 cores=0-7
/proc/3713/task/3717/stat : 3717 (java) S 3711 3711 3667 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419929903 28911378432 22931 33554432000 4194304 4196468 140733665686576 140409517755152 140409968383701 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9080832 140733665690602 140733665690774 140733665690774 140733665693647 0

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

[pid=3713/tid=3740] ppid=3711 vsize=28768328 memory=3612 CPUtime=2420.94 cores=0-7
/proc/3713/task/3740/stat : 3740 (java) R 3711 3711 3667 0 -1 4202560 14348 0 0 0 242064 30 0 0 20 0 28 0 419929981 29458767872 1606394 33554432000 4194304 4196468 140733665686576 140409058718088 140409610218380 0 4 0 16800975 0 0 0 -1 5 0 0 4 0 0 6293624 6294260 9080832 140733665690602 140733665690774 140733665690774 140733665693647 0
Current children cumulated CPU time: 19448.5 s
Current children cumulated vsize: 28881456 KiB
Current children cumulated memory: 6427032 KiB

[startup+2502.3 s]
/proc/loadavg: 8.10 8.30 8.31 9/220 3949
/proc/meminfo: memFree=23071512/32770624 swapFree=66958252/67108860
[pid=3711] ppid=3708 vsize=113128 memory=1456 CPUtime=0 cores=0-7
/proc/3711/stat : 3711 (xcsp3-exec) S 3708 3711 3667 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 419929901 115843072 364 33554432000 4194304 5098028 140726440625568 140726440623672 140438198735484 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 26300416 140726440633206 140726440633449 140726440633449 140726440636362 0
/proc/3711/statm: 28282 364 305 221 0 87 0
[pid=3713] ppid=3711 vsize=28768328 memory=6493252 CPUtime=19927.1 cores=0-7
/proc/3713/stat : 3713 (java) S 3711 3711 3667 0 -1 1077944320 640385 0 0 0 1990556 2154 0 0 20 0 28 0 419929901 29458767872 1623313 33554432000 4194304 4196468 140733665686576 140733665669120 140409968373495 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 9080832 140733665690602 140733665690774 140733665690774 140733665693647 0
/proc/3713/statm: 7192082 1623313 3546 1 0 7153184 0
[pid=3713/tid=3714] ppid=3711 vsize=28768328 memory=6493252 CPUtime=0.77 cores=0-7
/proc/3713/task/3714/stat : 3714 (java) S 3711 3711 3667 0 -1 1077944384 8881 0 0 0 72 5 0 0 20 0 28 0 419929902 29458767872 1623313 33554432000 4194304 4196468 140733665686576 140409972614272 140409968383701 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9080832 140733665690602 140733665690774 140733665690774 140733665693647 0
[pid=3713/tid=3715] ppid=3711 vsize=28768328 memory=6433768 CPUtime=8.9 cores=0-7
/proc/3713/task/3715/stat : 3715 (java) S 3711 3711 3667 0 -1 1077944384 20531 0 0 0 728 162 0 0 20 0 28 0 419929903 29458767872 1623313 33554432000 4194304 4196468 140733665686576 140409931480080 140409968383701 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 18 0 0 6293624 6294260 9080832 140733665690602 140733665690774 140733665690774 140733665693647 0
[pid=3713/tid=3716] ppid=3711 vsize=28768328 memory=6433768 CPUtime=8.85 cores=0-7
/proc/3713/task/3716/stat : 3716 (java) S 3711 3711 3667 0 -1 1077944384 17301 0 0 0 734 151 0 0 20 0 28 0 419929903 29458767872 1623313 33554432000 4194304 4196468 140733665686576 140409518808208 140409968383701 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 23 0 0 6293624 6294260 9080832 140733665690602 140733665690774 140733665690774 140733665693647 0
[pid=3713/tid=3717] ppid=3711 vsize=28768328 memory=6493252 CPUtime=8.86 cores=0-7
/proc/3713/task/3717/stat : 3717 (java) S 3711 3711 3667 0 -1 1077944384 17770 0 0 0 724 162 0 0 20 0 28 0 419929903 29458767872 1623313 33554432000 4194304 4196468 140733665686576 140409517755152 140409968383701 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 19 0 0 6293624 6294260 9080832 140733665690602 140733665690774 140733665690774 140733665693647 0
[pid=3713/tid=3718] ppid=3711 vsize=28768328 memory=6433768 CPUtime=8.9 cores=0-7
/proc/3713/task/3718/stat : 3718 (java) S 3711 3711 3667 0 -1 1077944384 18208 0 0 0 735 155 0 0 20 0 28 0 419929903 29458767872 1623313 33554432000 4194304 4196468 140733665686576 140409516702608 140409968383701 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 21 0 0 6293624 6294260 9080832 140733665690602 140733665690774 140733665690774 140733665693647 0
[pid=3713/tid=3719] ppid=3711 vsize=28768328 memory=1556 CPUtime=8.81 cores=0-7
/proc/3713/task/3719/stat : 3719 (java) S 3711 3711 3667 0 -1 1077944384 14849 0 0 0 720 161 0 0 20 0 28 0 419929903 29458767872 1623313 33554432000 4194304 4196468 140733665686576 140409515649552 140409968383701 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 19 0 0 6293624 6294260 9080832 140733665690602 140733665690774 140733665690774 140733665693647 0
[pid=3713/tid=3720] ppid=3711 vsize=28768328 memory=1196 CPUtime=8.89 cores=0-7
/proc/3713/task/3720/stat : 3720 (java) S 3711 3711 3667 0 -1 1077944384 18506 0 0 0 729 160 0 0 20 0 28 0 419929903 29458767872 1623313 33554432000 4194304 4196468 140733665686576 140409514597008 140409968383701 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 21 0 0 6293624 6294260 9080832 140733665690602 140733665690774 140733665690774 140733665693647 0
[pid=3713/tid=3721] ppid=3711 vsize=28768328 memory=4483714592788737328 CPUtime=8.86 cores=0-7
/proc/3713/task/3721/stat : 3721 (java) S 3711 3711 3667 0 -1 1077944384 14808 0 0 0 735 151 0 0 20 0 28 0 419929903 29458767872 1623313 33554432000 4194304 4196468 140733665686576 140409513543952 140409968383701 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 23 0 0 6293624 6294260 9080832 140733665690602 140733665690774 140733665690774 140733665693647 0
[pid=3713/tid=3722] ppid=3711 vsize=28768328 memory=4206450456085027872 CPUtime=8.9 cores=0-7
/proc/3713/task/3722/stat : 3722 (java) S 3711 3711 3667 0 -1 1077944384 19726 0 0 0 732 158 0 0 20 0 28 0 419929903 29458767872 1623313 33554432000 4194304 4196468 140733665686576 140409512491408 140409968383701 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 18 0 0 6293624 6294260 9080832 140733665690602 140733665690774 140733665690774 140733665693647 0
[pid=3713/tid=3723] ppid=3711 vsize=28768328 memory=1456 CPUtime=4.24 cores=0-7
/proc/3713/task/3723/stat : 3723 (java) S 3711 3711 3667 0 -1 1077944384 36412 0 0 0 411 13 0 0 20 0 28 0 419929904 29458767872 1623313 33554432000 4194304 4196468 140733665686576 140409084771056 140409968384642 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9080832 140733665690602 140733665690774 140733665690774 140733665693647 0
[pid=3713/tid=3724] ppid=3711 vsize=28768328 memory=6433768 CPUtime=0 cores=0-7
/proc/3713/task/3724/stat : 3724 (java) S 3711 3711 3667 0 -1 1077944384 66 0 0 0 0 0 0 0 20 0 28 0 419929905 29458767872 1623313 33554432000 4194304 4196468 140733665686576 140409083717344 140409968383701 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9080832 140733665690602 140733665690774 140733665690774 140733665693647 0
[pid=3713/tid=3725] ppid=3711 vsize=28768328 memory=872 CPUtime=0 cores=0-7
/proc/3713/task/3725/stat : 3725 (java) S 3711 3711 3667 0 -1 1077944384 104 0 0 0 0 0 0 0 20 0 28 0 419929905 29458767872 1623313 33554432000 4194304 4196468 140733665686576 140409082664192 140409968383701 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9080832 140733665690602 140733665690774 140733665690774 140733665693647 0
[pid=3713/tid=3726] ppid=3711 vsize=28768328 memory=872 CPUtime=0 cores=0-7
/proc/3713/task/3726/stat : 3726 (java) S 3711 3711 3667 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 419929907 29458767872 1623313 33554432000 4194304 4196468 140733665686576 140409081612752 140409968392091 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9080832 140733665690602 140733665690774 140733665690774 140733665693647 0
[pid=3713/tid=3727] ppid=3711 vsize=28768328 memory=1456 CPUtime=3.03 cores=0-7
/proc/3713/task/3727/stat : 3727 (java) S 3711 3711 3667 0 -1 1077944384 23874 0 0 0 299 4 0 0 20 0 28 0 419929907 29458767872 1623313 33554432000 4194304 4196468 140733665686576 140409080559856 140409968384642 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9080832 140733665690602 140733665690774 140733665690774 140733665693647 0
[pid=3713/tid=3728] ppid=3711 vsize=28768328 memory=6433768 CPUtime=3.25 cores=0-7
/proc/3713/task/3728/stat : 3728 (java) S 3711 3711 3667 0 -1 1077944384 29507 0 0 0 320 5 0 0 20 0 28 0 419929907 29458767872 1623313 33554432000 4194304 4196468 140733665686576 140409079507312 140409968384642 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9080832 140733665690602 140733665690774 140733665690774 140733665693647 0
[pid=3713/tid=3729] ppid=3711 vsize=28768328 memory=1456 CPUtime=2.77 cores=0-7
/proc/3713/task/3729/stat : 3729 (java) S 3711 3711 3667 0 -1 1077944384 20541 0 0 0 272 5 0 0 20 0 28 0 419929907 29458767872 1623313 33554432000 4194304 4196468 140733665686576 140409078454256 140409968384642 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9080832 140733665690602 140733665690774 140733665690774 140733665693647 0
[pid=3713/tid=3730] ppid=3711 vsize=28768328 memory=6433768 CPUtime=1.06 cores=0-7
/proc/3713/task/3730/stat : 3730 (java) S 3711 3711 3667 0 -1 1077944384 18460 0 0 0 102 4 0 0 20 0 28 0 419929907 29458767872 1623313 33554432000 4194304 4196468 140733665686576 140409077401712 140409968384642 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9080832 140733665690602 140733665690774 140733665690774 140733665693647 0
[pid=3713/tid=3731] ppid=3711 vsize=28768328 memory=3612 CPUtime=0 cores=0-7
/proc/3713/task/3731/stat : 3731 (java) S 3711 3711 3667 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 419929907 29458767872 1623313 33554432000 4194304 4196468 140733665686576 140409076349920 140409968383701 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9080832 140733665690602 140733665690774 140733665690774 140733665693647 0
[pid=3713/tid=3732] ppid=3711 vsize=28768328 memory=40676 CPUtime=0.67 cores=0-7
/proc/3713/task/3732/stat : 3732 (java) S 3711 3711 3667 0 -1 1077944384 4008 0 0 0 21 46 0 0 20 0 28 0 419929908 29458767872 1623313 33554432000 4194304 4196468 140733665686576 140409075297456 140409968384642 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9080832 140733665690602 140733665690774 140733665690774 140733665693647 0
[pid=3713/tid=3733] ppid=3711 vsize=28768328 memory=1456 CPUtime=2483.13 cores=0-7
/proc/3713/task/3733/stat : 3733 (java) R 3711 3711 3667 0 -1 4202560 12241 0 0 0 248302 11 0 0 20 0 28 0 419929980 29458767872 1623313 33554432000 4194304 4196468 140733665686576 140409066088352 140409611424416 0 4 0 16800975 0 0 0 -1 6 0 0 7 0 0 6293624 6294260 9080832 140733665690602 140733665690774 140733665690774 140733665693647 0
[pid=3713/tid=3734] ppid=3711 vsize=28768328 memory=6417164 CPUtime=2481.75 cores=0-7
/proc/3713/task/3734/stat : 3734 (java) R 3711 3711 3667 0 -1 4202560 10500 0 0 0 248160 15 0 0 20 0 28 0 419929981 29458767872 1623313 33554432000 4194304 4196468 140733665686576 140409065034088 140409610218421 0 4 0 16800975 0 0 0 -1 4 0 0 5 0 0 6293624 6294260 9080832 140733665690602 140733665690774 140733665690774 140733665693647 0
[pid=3713/tid=3735] ppid=3711 vsize=28768328 memory=1456 CPUtime=2477.6 cores=0-7
/proc/3713/task/3735/stat : 3735 (java) R 3711 3711 3667 0 -1 4202560 241669 0 0 0 247144 616 0 0 20 0 28 0 419929981 29458767872 1623313 33554432000 4194304 4196468 140733665686576 140409063980632 140409611251002 0 4 0 16800975 0 0 0 -1 1 0 0 5 0 0 6293624 6294260 9080832 140733665690602 140733665690774 140733665690774 140733665693647 0
[pid=3713/tid=3736] ppid=3711 vsize=28768328 memory=6433768 CPUtime=2480.91 cores=0-7
/proc/3713/task/3736/stat : 3736 (java) R 3711 3711 3667 0 -1 4202560 29471 0 0 0 248016 75 0 0 20 0 28 0 419929981 29458767872 1623313 33554432000 4194304 4196468 140733665686576 140409062928376 140409610218421 0 4 0 16800975 0 0 0 -1 3 0 0 5 0 0 6293624 6294260 9080832 140733665690602 140733665690774 140733665690774 140733665693647 0
[pid=3713/tid=3737] ppid=3711 vsize=28768328 memory=6433768 CPUtime=2478.35 cores=0-7
/proc/3713/task/3737/stat : 3737 (java) R 3711 3711 3667 0 -1 4202560 23622 0 0 0 247775 60 0 0 20 0 28 0 419929981 29458767872 1623313 33554432000 4194304 4196468 140733665686576 140409061875432 140409608899042 0 4 0 16800975 0 0 0 -1 2 0 0 7 0 0 6293624 6294260 9080832 140733665690602 140733665690774 140733665690774 140733665693647 0
[pid=3713/tid=3738] ppid=3711 vsize=28768328 memory=1056 CPUtime=2479.61 cores=0-7
/proc/3713/task/3738/stat : 3738 (java) R 3711 3711 3667 0 -1 4202560 12600 0 0 0 247934 27 0 0 20 0 28 0 419929981 29458767872 1623313 33554432000 4194304 4196468 140733665686576 140409060822536 140409611393891 0 4 0 16800975 0 0 0 -1 7 0 0 3 0 0 6293624 6294260 9080832 140733665690602 140733665690774 140733665690774 140733665693647 0
[pid=3713/tid=3739] ppid=3711 vsize=28768328 memory=4000 CPUtime=2477.96 cores=0-7
/proc/3713/task/3739/stat : 3739 (java) R 3711 3711 3667 0 -1 4202560 10952 0 0 0 247778 18 0 0 20 0 28 0 419929981 29458767872 1623313 33554432000 4194304 4196468 140733665686576 140409059770856 140409610338637 0 4 0 16800975 0 0 0 -1 0 0 0 5 0 0 6293624 6294260 9080832 140733665690602 140733665690774 140733665690774 140733665693647 0
[pid=3713/tid=3740] ppid=3711 vsize=28768328 memory=1552 CPUtime=2480.83 cores=0-7
/proc/3713/task/3740/stat : 3740 (java) R 3711 3711 3667 0 -1 4202560 14538 0 0 0 248053 30 0 0 20 0 28 0 419929981 29458767872 1623313 33554432000 4194304 4196468 140733665686576 140409058717632 140409610338581 0 4 0 16800975 0 0 0 -1 5 0 0 4 0 0 6293624 6294260 9080832 140733665690602 140733665690774 140733665690774 140733665693647 0
Current children cumulated CPU time: 19927.1 s
Current children cumulated vsize: 28881456 KiB
Current children cumulated memory: 6494708 KiB



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+2520 s]*
/proc/loadavg: 8.08 8.28 8.30 9/219 3949
/proc/meminfo: memFree=23071716/32770624 swapFree=66958252/67108860
[pid=3711] ppid=3708 vsize=113128 memory=1456 CPUtime=0 cores=0-7
/proc/3711/stat : 3711 (xcsp3-exec) S 3708 3711 3667 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 419929901 115843072 364 33554432000 4194304 5098028 140726440625568 140726440623672 140438198735484 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 26300416 140726440633206 140726440633449 140726440633449 140726440636362 0
/proc/3711/statm: 28282 364 305 221 0 87 0
[pid=3713] ppid=3711 vsize=28768328 memory=6493252 CPUtime=20068.4 cores=0-7
/proc/3713/stat : 3713 (java) S 3711 3711 3667 0 -1 1077944320 641858 0 0 0 2004683 2155 0 0 20 0 28 0 419929901 29458767872 1623313 33554432000 4194304 4196468 140733665686576 140733665669120 140409968373495 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 9080832 140733665690602 140733665690774 140733665690774 140733665693647 0
/proc/3713/statm: 7192082 1623313 3546 1 0 7153184 0
[pid=3713/tid=3714] ppid=3711 vsize=28768328 memory=1456 CPUtime=0.77 cores=0-7
/proc/3713/task/3714/stat : 3714 (java) S 3711 3711 3667 0 -1 1077944384 8881 0 0 0 72 5 0 0 20 0 28 0 419929902 29458767872 1623313 33554432000 4194304 4196468 140733665686576 140409972614272 140409968383701 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9080832 140733665690602 140733665690774 140733665690774 140733665693647 0
[pid=3713/tid=3715] ppid=3711 vsize=28768328 memory=3612 CPUtime=8.9 cores=0-7
/proc/3713/task/3715/stat : 3715 (java) S 3711 3711 3667 0 -1 1077944384 20531 0 0 0 728 162 0 0 20 0 28 0 419929903 29458767872 1623313 33554432000 4194304 4196468 140733665686576 140409931480080 140409968383701 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 18 0 0 6293624 6294260 9080832 140733665690602 140733665690774 140733665690774 140733665693647 0
[pid=3713/tid=3716] ppid=3711 vsize=28768328 memory=40676 CPUtime=8.85 cores=0-7
/proc/3713/task/3716/stat : 3716 (java) S 3711 3711 3667 0 -1 1077944384 17301 0 0 0 734 151 0 0 20 0 28 0 419929903 29458767872 1623313 33554432000 4194304 4196468 140733665686576 140409518808208 140409968383701 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 23 0 0 6293624 6294260 9080832 140733665690602 140733665690774 140733665690774 140733665693647 0
[pid=3713/tid=3717] ppid=3711 vsize=28768328 memory=4872558044660077418 CPUtime=8.86 cores=0-7
/proc/3713/task/3717/stat : 3717 (java) S 3711 3711 3667 0 -1 1077944384 17770 0 0 0 724 162 0 0 20 0 28 0 419929903 29458767872 1623313 33554432000 4194304 4196468 140733665686576 140409517755152 140409968383701 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 19 0 0 6293624 6294260 9080832 140733665690602 140733665690774 140733665690774 140733665693647 0
[pid=3713/tid=3718] ppid=3711 vsize=28768328 memory=6493252 CPUtime=8.9 cores=0-7
/proc/3713/task/3718/stat : 3718 (java) S 3711 3711 3667 0 -1 1077944384 18208 0 0 0 735 155 0 0 20 0 28 0 419929903 29458767872 1623313 33554432000 4194304 4196468 140733665686576 140409516702608 140409968383701 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 21 0 0 6293624 6294260 9080832 140733665690602 140733665690774 140733665690774 140733665693647 0
[pid=3713/tid=3719] ppid=3711 vsize=28768328 memory=6655300316396806240 CPUtime=8.81 cores=0-7
/proc/3713/task/3719/stat : 3719 (java) S 3711 3711 3667 0 -1 1077944384 14849 0 0 0 720 161 0 0 20 0 28 0 419929903 29458767872 1623313 33554432000 4194304 4196468 140733665686576 140409515649552 140409968383701 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 19 0 0 6293624 6294260 9080832 140733665690602 140733665690774 140733665690774 140733665693647 0
[pid=3713/tid=3720] ppid=3711 vsize=28768328 memory=6944656592455359580 CPUtime=8.89 cores=0-7
/proc/3713/task/3720/stat : 3720 (java) S 3711 3711 3667 0 -1 1077944384 18506 0 0 0 729 160 0 0 20 0 28 0 419929903 29458767872 1623313 33554432000 4194304 4196468 140733665686576 140409514597008 140409968383701 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 21 0 0 6293624 6294260 9080832 140733665690602 140733665690774 140733665690774 140733665693647 0
[pid=3713/tid=3721] ppid=3711 vsize=28768328 memory=6943526294502006880 CPUtime=8.86 cores=0-7
/proc/3713/task/3721/stat : 3721 (java) S 3711 3711 3667 0 -1 1077944384 14808 0 0 0 735 151 0 0 20 0 28 0 419929903 29458767872 1623313 33554432000 4194304 4196468 140733665686576 140409513543952 140409968383701 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 23 0 0 6293624 6294260 9080832 140733665690602 140733665690774 140733665690774 140733665693647 0
[pid=3713/tid=3722] ppid=3711 vsize=28768328 memory=6944652177228980320 CPUtime=8.9 cores=0-7
/proc/3713/task/3722/stat : 3722 (java) S 3711 3711 3667 0 -1 1077944384 19726 0 0 0 732 158 0 0 20 0 28 0 419929903 29458767872 1623313 33554432000 4194304 4196468 140733665686576 140409512491408 140409968383701 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 18 0 0 6293624 6294260 9080832 140733665690602 140733665690774 140733665690774 140733665693647 0
[pid=3713/tid=3723] ppid=3711 vsize=28768328 memory=6944656592387989600 CPUtime=4.24 cores=0-7
/proc/3713/task/3723/stat : 3723 (java) S 3711 3711 3667 0 -1 1077944384 36412 0 0 0 411 13 0 0 20 0 28 0 419929904 29458767872 1623313 33554432000 4194304 4196468 140733665686576 140409084771056 140409968384642 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9080832 140733665690602 140733665690774 140733665690774 140733665693647 0
[pid=3713/tid=3724] ppid=3711 vsize=28768328 memory=6944656592455359580 CPUtime=0 cores=0-7
/proc/3713/task/3724/stat : 3724 (java) S 3711 3711 3667 0 -1 1077944384 66 0 0 0 0 0 0 0 20 0 28 0 419929905 29458767872 1623313 33554432000 4194304 4196468 140733665686576 140409083717344 140409968383701 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9080832 140733665690602 140733665690774 140733665690774 140733665693647 0
[pid=3713/tid=3725] ppid=3711 vsize=28768328 memory=10428 CPUtime=0 cores=0-7
/proc/3713/task/3725/stat : 3725 (java) S 3711 3711 3667 0 -1 1077944384 104 0 0 0 0 0 0 0 20 0 28 0 419929905 29458767872 1623313 33554432000 4194304 4196468 140733665686576 140409082664192 140409968383701 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9080832 140733665690602 140733665690774 140733665690774 140733665693647 0
[pid=3713/tid=3726] ppid=3711 vsize=28768328 memory=14012 CPUtime=0 cores=0-7
/proc/3713/task/3726/stat : 3726 (java) S 3711 3711 3667 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 419929907 29458767872 1623313 33554432000 4194304 4196468 140733665686576 140409081612752 140409968392091 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9080832 140733665690602 140733665690774 140733665690774 140733665693647 0
[pid=3713/tid=3727] ppid=3711 vsize=28768328 memory=14080 CPUtime=3.03 cores=0-7
/proc/3713/task/3727/stat : 3727 (java) S 3711 3711 3667 0 -1 1077944384 23874 0 0 0 299 4 0 0 20 0 28 0 419929907 29458767872 1623313 33554432000 4194304 4196468 140733665686576 140409080559856 140409968384642 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9080832 140733665690602 140733665690774 140733665690774 140733665693647 0
[pid=3713/tid=3728] ppid=3711 vsize=28768328 memory=22116 CPUtime=3.25 cores=0-7
/proc/3713/task/3728/stat : 3728 (java) S 3711 3711 3667 0 -1 1077944384 29507 0 0 0 320 5 0 0 20 0 28 0 419929907 29458767872 1623313 33554432000 4194304 4196468 140733665686576 140409079507312 140409968384642 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9080832 140733665690602 140733665690774 140733665690774 140733665693647 0
[pid=3713/tid=3729] ppid=3711 vsize=28768328 memory=2120 CPUtime=2.77 cores=0-7
/proc/3713/task/3729/stat : 3729 (java) S 3711 3711 3667 0 -1 1077944384 20541 0 0 0 272 5 0 0 20 0 28 0 419929907 29458767872 1623313 33554432000 4194304 4196468 140733665686576 140409078454256 140409968384642 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9080832 140733665690602 140733665690774 140733665690774 140733665693647 0
[pid=3713/tid=3730] ppid=3711 vsize=28768328 memory=508 CPUtime=1.06 cores=0-7
/proc/3713/task/3730/stat : 3730 (java) S 3711 3711 3667 0 -1 1077944384 18460 0 0 0 102 4 0 0 20 0 28 0 419929907 29458767872 1623313 33554432000 4194304 4196468 140733665686576 140409077401712 140409968384642 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9080832 140733665690602 140733665690774 140733665690774 140733665693647 0
[pid=3713/tid=3731] ppid=3711 vsize=28768328 memory=1560 CPUtime=0 cores=0-7
/proc/3713/task/3731/stat : 3731 (java) S 3711 3711 3667 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 419929907 29458767872 1623313 33554432000 4194304 4196468 140733665686576 140409076349920 140409968383701 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9080832 140733665690602 140733665690774 140733665690774 140733665693647 0
[pid=3713/tid=3732] ppid=3711 vsize=28768328 memory=932 CPUtime=0.67 cores=0-7
/proc/3713/task/3732/stat : 3732 (java) S 3711 3711 3667 0 -1 1077944384 4010 0 0 0 21 46 0 0 20 0 28 0 419929908 29458767872 1623313 33554432000 4194304 4196468 140733665686576 140409075297456 140409968384642 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9080832 140733665690602 140733665690774 140733665690774 140733665693647 0
[pid=3713/tid=3733] ppid=3711 vsize=28768328 memory=1568 CPUtime=2500.84 cores=0-7
/proc/3713/task/3733/stat : 3733 (java) R 3711 3711 3667 0 -1 4202560 12246 0 0 0 250073 11 0 0 20 0 28 0 419929980 29458767872 1623313 33554432000 4194304 4196468 140733665686576 140409066088352 140409610218639 0 4 0 16800975 0 0 0 -1 6 0 0 7 0 0 6293624 6294260 9080832 140733665690602 140733665690774 140733665690774 140733665693647 0
[pid=3713/tid=3734] ppid=3711 vsize=28768328 memory=8112282956445269571 CPUtime=2499.46 cores=0-7
/proc/3713/task/3734/stat : 3734 (java) R 3711 3711 3667 0 -1 4202560 10516 0 0 0 249931 15 0 0 20 0 28 0 419929981 29458767872 1623313 33554432000 4194304 4196468 140733665686576 140409065034088 140409608899075 0 4 0 16800975 0 0 0 -1 4 0 0 5 0 0 6293624 6294260 9080832 140733665690602 140733665690774 140733665690774 140733665693647 0
[pid=3713/tid=3735] ppid=3711 vsize=28768328 memory=8112282956445269571 CPUtime=2495.31 cores=0-7
/proc/3713/task/3735/stat : 3735 (java) R 3711 3711 3667 0 -1 4202560 243001 0 0 0 248914 617 0 0 20 0 28 0 419929981 29458767872 1623313 33554432000 4194304 4196468 140733665686576 140409063980632 140409611227592 0 4 0 16800975 0 0 0 -1 1 0 0 5 0 0 6293624 6294260 9080832 140733665690602 140733665690774 140733665690774 140733665693647 0
[pid=3713/tid=3736] ppid=3711 vsize=28768328 memory=1552 CPUtime=2498.62 cores=0-7
/proc/3713/task/3736/stat : 3736 (java) R 3711 3711 3667 0 -1 4202560 29530 0 0 0 249787 75 0 0 20 0 28 0 419929981 29458767872 1623313 33554432000 4194304 4196468 140733665686576 140409062928376 140409610338637 0 4 0 16800975 0 0 0 -1 3 0 0 5 0 0 6293624 6294260 9080832 140733665690602 140733665690774 140733665690774 140733665693647 0
[pid=3713/tid=3737] ppid=3711 vsize=28768328 memory=1556 CPUtime=2496.06 cores=0-7
/proc/3713/task/3737/stat : 3737 (java) R 3711 3711 3667 0 -1 4202560 23637 0 0 0 249546 60 0 0 20 0 28 0 419929981 29458767872 1623313 33554432000 4194304 4196468 140733665686576 140409061875432 140409612299839 0 4 0 16800975 0 0 0 -1 2 0 0 7 0 0 6293624 6294260 9080832 140733665690602 140733665690774 140733665690774 140733665693647 0
[pid=3713/tid=3738] ppid=3711 vsize=28768328 memory=1196 CPUtime=2496.95 cores=0-7
/proc/3713/task/3738/stat : 3738 (java) R 3711 3711 3667 0 -1 4202560 12618 0 0 0 249668 27 0 0 20 0 28 0 419929981 29458767872 1623313 33554432000 4194304 4196468 140733665686576 140409060822536 140409611108267 0 4 0 16800975 0 0 0 -1 7 0 0 3 0 0 6293624 6294260 9080832 140733665690602 140733665690774 140733665690774 140733665693647 0
[pid=3713/tid=3739] ppid=3711 vsize=28768328 memory=1044 CPUtime=2495.67 cores=0-7
/proc/3713/task/3739/stat : 3739 (java) R 3711 3711 3667 0 -1 4202560 10969 0 0 0 249549 18 0 0 20 0 28 0 419929981 29458767872 1623313 33554432000 4194304 4196468 140733665686576 140409059770856 140409611423352 0 4 0 16800975 0 0 0 -1 0 0 0 5 0 0 6293624 6294260 9080832 140733665690602 140733665690774 140733665690774 140733665693647 0
[pid=3713/tid=3740] ppid=3711 vsize=28768328 memory=712 CPUtime=2498.52 cores=0-7
/proc/3713/task/3740/stat : 3740 (java) R 3711 3711 3667 0 -1 4202560 14547 0 0 0 249822 30 0 0 20 0 28 0 419929981 29458767872 1623313 33554432000 4194304 4196468 140733665686576 140409058717632 140409610338581 0 4 0 16800975 0 0 0 -1 5 0 0 4 0 0 6293624 6294260 9080832 140733665690602 140733665690774 140733665690774 140733665693647 0
Current children cumulated CPU time: 20068.4 s
Current children cumulated vsize: 28881456 KiB
Current children cumulated memory: 6494708 KiB

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

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

[startup+2520.13 s]
# the end of solver process 3713 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=20047.5 s, system=21.5919 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

Child status: 143
Real time (s): 2520.13
CPU time (s): 20069
CPU user time (s): 20047.5
CPU system time (s): 21.5919
CPU usage (%): 796.351
Max. virtual memory (cumulated for all children) (KiB): 28881456
Max. memory (cumulated for all children) (KiB): 6494708

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 20047.5
system time used= 21.5919
maximum resident set size= 6493728
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 642920
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3264
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 73573
involuntary context switches= 223981


# summary of solver processes directly reported to runsolver:
#   pid: 3711,3713
#   total CPU time (s): 20069
#   total CPU user time (s): 20047.5
#   total CPU system time (s): 21.5919

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 24.0586 second user time and 25.9295 second system time

The end

Launcher Data 

Begin job on node145 at 2019-09-14 07:44:52
IDJOB=4394599
IDBENCH=136787
IDSOLVER=2843
FILE ID=node145/4394599-1568439934
RUNJOBID= node145-1568439892-3694
PBS_JOBID= 21702338
Free space on /tmp= 59508 MiB

SOLVER NAME= choco-solver parallel 2019-06-14
BENCH NAME= XCSP17/BinPacking/BinPacking-sum-skj1/BinPacking-sum-n3c3w2d.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-4394599-1568439934/watcher-4394599-1568439934 -o /tmp/evaluation-result-4394599-1568439934/solver-4394599-1568439934 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node145-1568439892-3694 --watchdog 2580  xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 271839416 HOME/instance-4394599-1568439934.xml

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

MD5SUM BENCH= 3d635ffc1c83223a36f997090f45a603
RANDOM SEED=271839416

node145.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.59
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.59
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.59
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.59
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:        29561020 kB
MemAvailable:   31857396 kB
Buffers:          138460 kB
Cached:          2442044 kB
SwapCached:        41100 kB
Active:          1242512 kB
Inactive:        1381864 kB
Active(anon):       6308 kB
Inactive(anon):    78756 kB
Active(file):    1236204 kB
Inactive(file):  1303108 kB
Unevictable:      109424 kB
Mlocked:          109424 kB
SwapTotal:      67108860 kB
SwapFree:       66958248 kB
Dirty:             26140 kB
Writeback:             0 kB
AnonPages:        112356 kB
Mapped:            43600 kB
Shmem:             32364 kB
Slab:             173832 kB
SReclaimable:     145796 kB
SUnreclaim:        28036 kB
KernelStack:        3296 kB
PageTables:         5196 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     497464 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:      120192 kB
DirectMap2M:    33425408 kB

Free space on /tmp at the end= 59480 MiB
End job on node145 at 2019-09-14 08:26:53