Trace number 4271459

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 4.0.5 par (2017-08-09)? (TO) 2006.6899 252.08299

General information on the benchmark

NameBinPacking/BinPacking-sum-skj2/
BinPacking-sum-n1w4b3r4.xml
MD5SUMe6d791e594f9eaa90e121e32c21c79c6
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 variables101
Number of constraints13
Number of domains2
Minimum domain size6
Maximum domain size47
Distribution of domain sizes[{"size":6,"count":1},{"size":47,"count":100}]
Minimum variable degree2
Maximum variable degree5
Distribution of variable degrees[{"degree":2,"count":1},{"degree":4,"count":95},{"degree":5,"count":5}]
Minimum constraint arity6
Maximum constraint arity100
Distribution of constraint arities[{"arity":6,"count":1},{"arity":20,"count":10},{"arity":100,"count":2}]
Number of extensional constraints0
Number of intensional constraints0
Distribution of constraint types[{"type":"ordered","count":5},{"type":"lex","count":1},{"type":"sum","count":5},{"type":"count","count":1},{"type":"cardinality","count":1}]
Optimization problemYES
Type of objectivemax VAR

Solver Data 

0.00/0.00	c java -server -Xmx22000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4271459-1502646200.xml"  -tl '2016s' -p 8 -x 0
0.11/0.14	c [HOME/instance-4271459-1502646200.xml, -tl, 2016s, -p, 8, -x, 0]
0.11/0.20	c 8 solvers in parallel
0.33/0.26	c parse instance...
0.72/0.51	c solve instance...
2006.14/252.06	s UNKNOWN
2006.14/252.06	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 (12295 MiB free)
  memory of node 1: 16384 MiB (13585 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4271459-1502646200/watcher-4271459-1502646200 -o /tmp/evaluation-result-4271459-1502646200/solver-4271459-1502646200 -C 2016 -W 252 -M 31000 --bin-var /tmp/runsolver-exch-node105-1502638143-6791 --watchdog 312 ./xcsp3-exec -dir HOME -tl 2016 -p 8 -ml 22000 -tdir HOME -seed 1025976845 HOME/instance-4271459-1502646200.xml 

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

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2016 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2046 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 252 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
Current StackSize limit: 8192 KiB

solver pid=25779, runsolver pid=25776

[startup+0.100095 s]*
/proc/loadavg: 0.99 3.39 5.60 3/199 25800
/proc/meminfo: memFree=26486792/32770624 swapFree=67108860/67108860
[pid=25779] ppid=25776 vsize=9512 memory=1380 CPUtime=0 cores=0-7
/proc/25779/stat : 25779 (xcsp3-exec) S 25776 25779 6764 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 97691626 9740288 345 33554432000 4194304 5098028 140724609433264 140724609431368 139629058126460 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 39170048 140724609434730 140724609434940 140724609434940 140724609437675 0
/proc/25779/statm: 2378 345 289 221 0 87 0
[pid=25781] ppid=25779 vsize=25999808 memory=26756 CPUtime=0.11 cores=0-7
/proc/25781/stat : 25781 (java) S 25779 25779 6764 0 -1 1077944320 5631 0 0 0 10 1 0 0 20 0 20 0 97691626 26623803392 6689 33554432000 4194304 4196468 140727114459280 140727114441824 139654409068279 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 7122944 140727114466456 140727114466632 140727114466632 140727114469327 0
/proc/25781/statm: 6499952 6689 2840 1 0 6488269 0
[pid=25781/tid=25782] ppid=25779 vsize=25999808 memory=4134930498285298233 CPUtime=0.09 cores=0-7
/proc/25781/task/25782/stat : 25782 (java) R 25779 25779 6764 0 -1 4202560 3629 0 0 0 8 1 0 0 20 0 20 0 97691626 26623803392 6689 33554432000 4194304 4196468 140727114459280 139654413291728 139654393111909 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 7122944 140727114466456 140727114466632 140727114466632 140727114469327 0
[pid=25781/tid=25783] ppid=25779 vsize=25999808 memory=4872558044660077418 CPUtime=0 cores=0-7
/proc/25781/task/25783/stat : 25783 (java) S 25779 25779 6764 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97691627 26623803392 6689 33554432000 4194304 4196468 140727114459280 139654361688592 139654409078485 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7122944 140727114466456 140727114466632 140727114466632 140727114469327 0
[pid=25781/tid=25784] ppid=25779 vsize=25999808 memory=139935345067648 CPUtime=0 cores=0-7
/proc/25781/task/25784/stat : 25784 (java) S 25779 25779 6764 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97691627 26623803392 6689 33554432000 4194304 4196468 140727114459280 139654360636048 139654409078485 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7122944 140727114466456 140727114466632 140727114466632 140727114469327 0
[pid=25781/tid=25785] ppid=25779 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/25781/task/25785/stat : 25785 (java) S 25779 25779 6764 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97691627 26623803392 6689 33554432000 4194304 4196468 140727114459280 139654359582992 139654409078485 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7122944 140727114466456 140727114466632 140727114466632 140727114469327 0
[pid=25781/tid=25786] ppid=25779 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/25781/task/25786/stat : 25786 (java) S 25779 25779 6764 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97691627 26623803392 6689 33554432000 4194304 4196468 140727114459280 139654358530448 139654409078485 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7122944 140727114466456 140727114466632 140727114466632 140727114469327 0
[pid=25781/tid=25787] ppid=25779 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/25781/task/25787/stat : 25787 (java) S 25779 25779 6764 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97691627 26623803392 6689 33554432000 4194304 4196468 140727114459280 139654357478416 139654409078485 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7122944 140727114466456 140727114466632 140727114466632 140727114469327 0
[pid=25781/tid=25788] ppid=25779 vsize=25999808 memory=-1 CPUtime=0 cores=0-7
/proc/25781/task/25788/stat : 25788 (java) S 25779 25779 6764 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97691627 26623803392 6689 33554432000 4194304 4196468 140727114459280 139654356425872 139654409078485 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7122944 140727114466456 140727114466632 140727114466632 140727114469327 0
[pid=25781/tid=25789] ppid=25779 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/25781/task/25789/stat : 25789 (java) S 25779 25779 6764 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97691627 26623803392 6689 33554432000 4194304 4196468 140727114459280 139654355372816 139654409078485 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7122944 140727114466456 140727114466632 140727114466632 140727114469327 0
[pid=25781/tid=25790] ppid=25779 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/25781/task/25790/stat : 25790 (java) S 25779 25779 6764 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 97691627 26623803392 6689 33554432000 4194304 4196468 140727114459280 139654354320272 139654409078485 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7122944 140727114466456 140727114466632 140727114466632 140727114469327 0
[pid=25781/tid=25791] ppid=25779 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/25781/task/25791/stat : 25791 (java) S 25779 25779 6764 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97691629 26623803392 6689 33554432000 4194304 4196468 140727114459280 139653603477744 139654409079426 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7122944 140727114466456 140727114466632 140727114466632 140727114469327 0
[pid=25781/tid=25792] ppid=25779 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/25781/task/25792/stat : 25792 (java) S 25779 25779 6764 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 97691629 26623803392 6689 33554432000 4194304 4196468 140727114459280 139653602423968 139654409078485 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7122944 140727114466456 140727114466632 140727114466632 140727114469327 0
[pid=25781/tid=25793] ppid=25779 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/25781/task/25793/stat : 25793 (java) S 25779 25779 6764 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 97691629 26623803392 6689 33554432000 4194304 4196468 140727114459280 139653601370864 139654409078485 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7122944 140727114466456 140727114466632 140727114466632 140727114469327 0
[pid=25781/tid=25794] ppid=25779 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/25781/task/25794/stat : 25794 (java) S 25779 25779 6764 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97691632 26623803392 6689 33554432000 4194304 4196468 140727114459280 139653600319440 139654409086875 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7122944 140727114466456 140727114466632 140727114466632 140727114469327 0
[pid=25781/tid=25795] ppid=25779 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/25781/task/25795/stat : 25795 (java) S 25779 25779 6764 0 -1 1077944384 313 0 0 0 0 0 0 0 20 0 20 0 97691632 26623803392 6689 33554432000 4194304 4196468 140727114459280 139653599267568 139654409079426 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7122944 140727114466456 140727114466632 140727114466632 140727114469327 0
[pid=25781/tid=25796] ppid=25779 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/25781/task/25796/stat : 25796 (java) S 25779 25779 6764 0 -1 1077944384 123 0 0 0 0 0 0 0 20 0 20 0 97691632 26623803392 6689 33554432000 4194304 4196468 140727114459280 139653598215024 139654409079426 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7122944 140727114466456 140727114466632 140727114466632 140727114469327 0
[pid=25781/tid=25797] ppid=25779 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/25781/task/25797/stat : 25797 (java) S 25779 25779 6764 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 97691632 26623803392 6689 33554432000 4194304 4196468 140727114459280 139653597161968 139654409079426 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7122944 140727114466456 140727114466632 140727114466632 140727114469327 0
[pid=25781/tid=25798] ppid=25779 vsize=25999808 memory=0 CPUtime=0.01 cores=0-7
/proc/25781/task/25798/stat : 25798 (java) S 25779 25779 6764 0 -1 1077944384 253 0 0 0 1 0 0 0 20 0 20 0 97691632 26623803392 6689 33554432000 4194304 4196468 140727114459280 139653596109424 139654409079426 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7122944 140727114466456 140727114466632 140727114466632 140727114469327 0
[pid=25781/tid=25799] ppid=25779 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/25781/task/25799/stat : 25799 (java) S 25779 25779 6764 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 97691632 26623803392 6689 33554432000 4194304 4196468 140727114459280 139653595056608 139654409078485 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7122944 140727114466456 140727114466632 140727114466632 140727114469327 0
[pid=25781/tid=25800] ppid=25779 vsize=25999808 memory=-1 CPUtime=0 cores=0-7
/proc/25781/task/25800/stat : 25800 (java) S 25779 25779 6764 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97691632 26623803392 6689 33554432000 4194304 4196468 140727114459280 139653594004144 139654409079426 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7122944 140727114466456 140727114466632 140727114466632 140727114469327 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 26009320 KiB
Current children cumulated memory: 28136 KiB

[startup+0.210206 s]*
/proc/loadavg: 0.99 3.39 5.60 2/199 25800
/proc/meminfo: memFree=26475320/32770624 swapFree=67108860/67108860
[pid=25779] ppid=25776 vsize=9512 memory=1380 CPUtime=0 cores=0-7
/proc/25779/stat : 25779 (xcsp3-exec) S 25776 25779 6764 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 97691626 9740288 345 33554432000 4194304 5098028 140724609433264 140724609431368 139629058126460 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 39170048 140724609434730 140724609434940 140724609434940 140724609437675 0
/proc/25779/statm: 2378 345 289 221 0 87 0
[pid=25781] ppid=25779 vsize=26004064 memory=38948 CPUtime=0.33 cores=0-7
/proc/25781/stat : 25781 (java) S 25779 25779 6764 0 -1 1077944320 8340 0 0 0 31 2 0 0 20 0 20 0 97691626 26628161536 9737 33554432000 4194304 4196468 140727114459280 140727114441824 139654409068279 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 7122944 140727114466456 140727114466632 140727114466632 140727114469327 0
/proc/25781/statm: 6501016 9737 3029 1 0 6488269 0
[pid=25781/tid=25782] ppid=25779 vsize=26004064 memory=8318255677412212789 CPUtime=0.19 cores=0-7
/proc/25781/task/25782/stat : 25782 (java) R 25779 25779 6764 0 -1 4202560 5424 0 0 0 18 1 0 0 20 0 20 0 97691626 26628161536 9737 33554432000 4194304 4196468 140727114459280 139654413282288 139654401746293 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 7122944 140727114466456 140727114466632 140727114466632 140727114469327 0
[pid=25781/tid=25783] ppid=25779 vsize=26004064 memory=329 CPUtime=0 cores=0-7
/proc/25781/task/25783/stat : 25783 (java) S 25779 25779 6764 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97691627 26628161536 9737 33554432000 4194304 4196468 140727114459280 139654361688592 139654409078485 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7122944 140727114466456 140727114466632 140727114466632 140727114469327 0
[pid=25781/tid=25784] ppid=25779 vsize=26004064 memory=4122679864489461408 CPUtime=0 cores=0-7
/proc/25781/task/25784/stat : 25784 (java) S 25779 25779 6764 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97691627 26628161536 9737 33554432000 4194304 4196468 140727114459280 139654360636048 139654409078485 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7122944 140727114466456 140727114466632 140727114466632 140727114469327 0
[pid=25781/tid=25785] ppid=25779 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/25781/task/25785/stat : 25785 (java) S 25779 25779 6764 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97691627 26628161536 9737 33554432000 4194304 4196468 140727114459280 139654359582992 139654409078485 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7122944 140727114466456 140727114466632 140727114466632 140727114469327 0
[pid=25781/tid=25786] ppid=25779 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/25781/task/25786/stat : 25786 (java) S 25779 25779 6764 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97691627 26628161536 9737 33554432000 4194304 4196468 140727114459280 139654358530448 139654409078485 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7122944 140727114466456 140727114466632 140727114466632 140727114469327 0
[pid=25781/tid=25787] ppid=25779 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/25781/task/25787/stat : 25787 (java) S 25779 25779 6764 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97691627 26628161536 9737 33554432000 4194304 4196468 140727114459280 139654357478416 139654409078485 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7122944 140727114466456 140727114466632 140727114466632 140727114469327 0
[pid=25781/tid=25788] ppid=25779 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/25781/task/25788/stat : 25788 (java) S 25779 25779 6764 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97691627 26628161536 9737 33554432000 4194304 4196468 140727114459280 139654356425872 139654409078485 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7122944 140727114466456 140727114466632 140727114466632 140727114469327 0
[pid=25781/tid=25789] ppid=25779 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/25781/task/25789/stat : 25789 (java) S 25779 25779 6764 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97691627 26628161536 9737 33554432000 4194304 4196468 140727114459280 139654355372816 139654409078485 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7122944 140727114466456 140727114466632 140727114466632 140727114469327 0
[pid=25781/tid=25790] ppid=25779 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/25781/task/25790/stat : 25790 (java) S 25779 25779 6764 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 97691627 26628161536 9737 33554432000 4194304 4196468 140727114459280 139654354320272 139654409078485 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7122944 140727114466456 140727114466632 140727114466632 140727114469327 0
[pid=25781/tid=25791] ppid=25779 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/25781/task/25791/stat : 25791 (java) S 25779 25779 6764 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97691629 26628161536 9737 33554432000 4194304 4196468 140727114459280 139653603477744 139654409079426 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7122944 140727114466456 140727114466632 140727114466632 140727114469327 0
[pid=25781/tid=25792] ppid=25779 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/25781/task/25792/stat : 25792 (java) S 25779 25779 6764 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 97691629 26628161536 9737 33554432000 4194304 4196468 140727114459280 139653602423968 139654409078485 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7122944 140727114466456 140727114466632 140727114466632 140727114469327 0
[pid=25781/tid=25793] ppid=25779 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/25781/task/25793/stat : 25793 (java) S 25779 25779 6764 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 97691629 26628161536 9737 33554432000 4194304 4196468 140727114459280 139653601370864 139654409078485 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7122944 140727114466456 140727114466632 140727114466632 140727114469327 0
[pid=25781/tid=25794] ppid=25779 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/25781/task/25794/stat : 25794 (java) S 25779 25779 6764 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97691632 26628161536 9737 33554432000 4194304 4196468 140727114459280 139653600319440 139654409086875 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7122944 140727114466456 140727114466632 140727114466632 140727114469327 0
[pid=25781/tid=25795] ppid=25779 vsize=26004064 memory=0 CPUtime=0.02 cores=0-7
/proc/25781/task/25795/stat : 25795 (java) S 25779 25779 6764 0 -1 1077944384 661 0 0 0 2 0 0 0 20 0 20 0 97691632 26628161536 9737 33554432000 4194304 4196468 140727114459280 139653599267568 139654409079426 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7122944 140727114466456 140727114466632 140727114466632 140727114469327 0
[pid=25781/tid=25796] ppid=25779 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/25781/task/25796/stat : 25796 (java) S 25779 25779 6764 0 -1 1077944384 123 0 0 0 0 0 0 0 20 0 20 0 97691632 26628161536 9737 33554432000 4194304 4196468 140727114459280 139653598215024 139654409079426 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7122944 140727114466456 140727114466632 140727114466632 140727114469327 0
[pid=25781/tid=25797] ppid=25779 vsize=26004064 memory=-1 CPUtime=0.01 cores=0-7
/proc/25781/task/25797/stat : 25797 (java) S 25779 25779 6764 0 -1 1077944384 109 0 0 0 1 0 0 0 20 0 20 0 97691632 26628161536 9737 33554432000 4194304 4196468 140727114459280 139653597161968 139654409079426 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7122944 140727114466456 140727114466632 140727114466632 140727114469327 0
[pid=25781/tid=25798] ppid=25779 vsize=26004064 memory=-1 CPUtime=0.07 cores=0-7
/proc/25781/task/25798/stat : 25798 (java) S 25779 25779 6764 0 -1 1077944384 712 0 0 0 7 0 0 0 20 0 20 0 97691632 26628161536 9737 33554432000 4194304 4196468 140727114459280 139653596109424 139654409079426 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7122944 140727114466456 140727114466632 140727114466632 140727114469327 0
[pid=25781/tid=25799] ppid=25779 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/25781/task/25799/stat : 25799 (java) S 25779 25779 6764 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 97691632 26628161536 9737 33554432000 4194304 4196468 140727114459280 139653595056608 139654409078485 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7122944 140727114466456 140727114466632 140727114466632 140727114469327 0
[pid=25781/tid=25800] ppid=25779 vsize=26004096 memory=-1 CPUtime=0 cores=0-7
/proc/25781/task/25800/stat : 25800 (java) S 25779 25779 6764 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97691632 26628194304 9737 33554432000 4194304 4196468 140727114459280 139653594004144 139654409079426 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7122944 140727114466456 140727114466632 140727114466632 140727114469327 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 26013576 KiB
Current children cumulated memory: 40328 KiB

[startup+0.310019 s]*
/proc/loadavg: 0.99 3.39 5.60 2/199 25800
/proc/meminfo: memFree=26469780/32770624 swapFree=67108860/67108860
[pid=25779] ppid=25776 vsize=9512 memory=1380 CPUtime=0 cores=0-7
/proc/25779/stat : 25779 (xcsp3-exec) S 25776 25779 6764 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 97691626 9740288 345 33554432000 4194304 5098028 140724609433264 140724609431368 139629058126460 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 39170048 140724609434730 140724609434940 140724609434940 140724609437675 0
/proc/25779/statm: 2378 345 289 221 0 87 0
[pid=25781] ppid=25779 vsize=26004064 memory=45980 CPUtime=0.5 cores=0-7
/proc/25781/stat : 25781 (java) S 25779 25779 6764 0 -1 1077944320 9190 0 0 0 47 3 0 0 20 0 20 0 97691626 26628161536 11495 33554432000 4194304 4196468 140727114459280 140727114441824 139654409068279 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 7122944 140727114466456 140727114466632 140727114466632 140727114469327 0
/proc/25781/statm: 6501016 11495 3104 1 0 6488269 0
[pid=25781/tid=25782] ppid=25779 vsize=26004140 memory=6791534058613427641 CPUtime=0.29 cores=0-7
/proc/25781/task/25782/stat : 25782 (java) R 25779 25779 6764 0 -1 4202560 6201 0 0 0 27 2 0 0 20 0 20 0 97691626 26628239360 11495 33554432000 4194304 4196468 140727114459280 139654413300640 139654409090205 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 7122944 140727114466456 140727114466632 140727114466632 140727114469327 0
[pid=25781/tid=25783] ppid=25779 vsize=26004140 memory=0 CPUtime=0 cores=0-7
/proc/25781/task/25783/stat : 25783 (java) S 25779 25779 6764 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97691627 26628239360 11495 33554432000 4194304 4196468 140727114459280 139654361688592 139654409078485 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7122944 140727114466456 140727114466632 140727114466632 140727114469327 0
[pid=25781/tid=25784] ppid=25779 vsize=26004140 memory=0 CPUtime=0 cores=0-7
/proc/25781/task/25784/stat : 25784 (java) S 25779 25779 6764 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97691627 26628239360 11495 33554432000 4194304 4196468 140727114459280 139654360636048 139654409078485 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7122944 140727114466456 140727114466632 140727114466632 140727114469327 0
[pid=25781/tid=25785] ppid=25779 vsize=26004140 memory=0 CPUtime=0 cores=0-7
/proc/25781/task/25785/stat : 25785 (java) S 25779 25779 6764 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97691627 26628239360 11495 33554432000 4194304 4196468 140727114459280 139654359582992 139654409078485 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7122944 140727114466456 140727114466632 140727114466632 140727114469327 0
[pid=25781/tid=25786] ppid=25779 vsize=26004140 memory=0 CPUtime=0 cores=0-7
/proc/25781/task/25786/stat : 25786 (java) S 25779 25779 6764 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97691627 26628239360 11495 33554432000 4194304 4196468 140727114459280 139654358530448 139654409078485 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7122944 140727114466456 140727114466632 140727114466632 140727114469327 0
[pid=25781/tid=25787] ppid=25779 vsize=26004140 memory=2244 CPUtime=0 cores=0-7
/proc/25781/task/25787/stat : 25787 (java) S 25779 25779 6764 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97691627 26628239360 11495 33554432000 4194304 4196468 140727114459280 139654357478416 139654409078485 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7122944 140727114466456 140727114466632 140727114466632 140727114469327 0
[pid=25781/tid=25788] ppid=25779 vsize=26004140 memory=139935201981359 CPUtime=0 cores=0-7
/proc/25781/task/25788/stat : 25788 (java) S 25779 25779 6764 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97691627 26628239360 11495 33554432000 4194304 4196468 140727114459280 139654356425872 139654409078485 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7122944 140727114466456 140727114466632 140727114466632 140727114469327 0
[pid=25781/tid=25789] ppid=25779 vsize=26004140 memory=139935201983664 CPUtime=0 cores=0-7
/proc/25781/task/25789/stat : 25789 (java) S 25779 25779 6764 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97691627 26628239360 11495 33554432000 4194304 4196468 140727114459280 139654355372816 139654409078485 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7122944 140727114466456 140727114466632 140727114466632 140727114469327 0
[pid=25781/tid=25790] ppid=25779 vsize=26004140 memory=139935201985968 CPUtime=0 cores=0-7
/proc/25781/task/25790/stat : 25790 (java) S 25779 25779 6764 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 97691627 26628239360 11495 33554432000 4194304 4196468 140727114459280 139654354320272 139654409078485 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7122944 140727114466456 140727114466632 140727114466632 140727114469327 0
[pid=25781/tid=25791] ppid=25779 vsize=26004140 memory=0 CPUtime=0 cores=0-7
/proc/25781/task/25791/stat : 25791 (java) S 25779 25779 6764 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97691629 26628239360 11495 33554432000 4194304 4196468 140727114459280 139653603477744 139654409079426 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7122944 140727114466456 140727114466632 140727114466632 140727114469327 0
[pid=25781/tid=25792] ppid=25779 vsize=26004140 memory=279870403978896 CPUtime=0 cores=0-7
/proc/25781/task/25792/stat : 25792 (java) S 25779 25779 6764 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 97691629 26628239360 11495 33554432000 4194304 4196468 140727114459280 139653602423968 139654409078485 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7122944 140727114466456 140727114466632 140727114466632 140727114469327 0
[pid=25781/tid=25793] ppid=25779 vsize=26004140 memory=279870403985808 CPUtime=0 cores=0-7
/proc/25781/task/25793/stat : 25793 (java) S 25779 25779 6764 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 97691629 26628239360 11495 33554432000 4194304 4196468 140727114459280 139653601370864 139654409078485 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7122944 140727114466456 140727114466632 140727114466632 140727114469327 0
[pid=25781/tid=25794] ppid=25779 vsize=26004140 memory=279870403927088 CPUtime=0 cores=0-7
/proc/25781/task/25794/stat : 25794 (java) S 25779 25779 6764 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97691632 26628239360 11495 33554432000 4194304 4196468 140727114459280 139653600319440 139654409086875 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7122944 140727114466456 140727114466632 140727114466632 140727114469327 0
[pid=25781/tid=25795] ppid=25779 vsize=26004140 memory=279870403999632 CPUtime=0.03 cores=0-7
/proc/25781/task/25795/stat : 25795 (java) S 25779 25779 6764 0 -1 1077944384 661 0 0 0 3 0 0 0 20 0 20 0 97691632 26628239360 11495 33554432000 4194304 4196468 140727114459280 139653599267568 139654409079426 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7122944 140727114466456 140727114466632 140727114466632 140727114469327 0
[pid=25781/tid=25796] ppid=25779 vsize=26004140 memory=279870404006544 CPUtime=0.01 cores=0-7
/proc/25781/task/25796/stat : 25796 (java) S 25779 25779 6764 0 -1 1077944384 151 0 0 0 1 0 0 0 20 0 20 0 97691632 26628239360 11495 33554432000 4194304 4196468 140727114459280 139653598215024 139654409079426 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7122944 140727114466456 140727114466632 140727114466632 140727114469327 0
[pid=25781/tid=25797] ppid=25779 vsize=26004140 memory=279870404004240 CPUtime=0.02 cores=0-7
/proc/25781/task/25797/stat : 25797 (java) S 25779 25779 6764 0 -1 1077944384 113 0 0 0 2 0 0 0 20 0 20 0 97691632 26628239360 11495 33554432000 4194304 4196468 140727114459280 139653597161968 139654409079426 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7122944 140727114466456 140727114466632 140727114466632 140727114469327 0
[pid=25781/tid=25798] ppid=25779 vsize=26004140 memory=279870404020400 CPUtime=0.12 cores=0-7
/proc/25781/task/25798/stat : 25798 (java) S 25779 25779 6764 0 -1 1077944384 772 0 0 0 12 0 0 0 20 0 20 0 97691632 26628239360 11495 33554432000 4194304 4196468 140727114459280 139653596109424 139654409079426 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7122944 140727114466456 140727114466632 140727114466632 140727114469327 0
[pid=25781/tid=25799] ppid=25779 vsize=26004140 memory=0 CPUtime=0 cores=0-7
/proc/25781/task/25799/stat : 25799 (java) S 25779 25779 6764 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 97691632 26628239360 11495 33554432000 4194304 4196468 140727114459280 139653595056608 139654409078485 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7122944 140727114466456 140727114466632 140727114466632 140727114469327 0
[pid=25781/tid=25800] ppid=25779 vsize=26004140 memory=-1 CPUtime=0 cores=0-7
/proc/25781/task/25800/stat : 25800 (java) S 25779 25779 6764 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97691632 26628239360 11495 33554432000 4194304 4196468 140727114459280 139653594004144 139654409079426 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7122944 140727114466456 140727114466632 140727114466632 140727114469327 0
Current children cumulated CPU time: 0.5 s
Current children cumulated vsize: 26013576 KiB
Current children cumulated memory: 47360 KiB

[startup+0.701556 s]
/proc/loadavg: 0.99 3.39 5.60 5/199 25800
/proc/meminfo: memFree=26450900/32770624 swapFree=67108860/67108860
[pid=25779] ppid=25776 vsize=9512 memory=1380 CPUtime=0 cores=0-7
/proc/25779/stat : 25779 (xcsp3-exec) S 25776 25779 6764 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 97691626 9740288 345 33554432000 4194304 5098028 140724609433264 140724609431368 139629058126460 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 39170048 140724609434730 140724609434940 140724609434940 140724609437675 0
/proc/25779/statm: 2378 345 289 221 0 87 0
[pid=25781] ppid=25779 vsize=26538700 memory=90280 CPUtime=2.41 cores=0-7
/proc/25781/stat : 25781 (java) S 25779 25779 6764 0 -1 1077944320 13426 0 0 0 236 5 0 0 20 0 28 0 97691626 27175628800 22570 33554432000 4194304 4196468 140727114459280 140727114441824 139654409068279 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 7122944 140727114466456 140727114466632 140727114466632 140727114469327 0
/proc/25781/statm: 6634675 22570 3205 1 0 6621909 0
[pid=25781/tid=25782] ppid=25779 vsize=26538700 memory=0 CPUtime=0.48 cores=0-7
/proc/25781/task/25782/stat : 25782 (java) S 25779 25779 6764 0 -1 1077944384 6808 0 0 0 46 2 0 0 20 0 28 0 97691626 27175628800 22570 33554432000 4194304 4196468 140727114459280 139654413309056 139654409078485 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7122944 140727114466456 140727114466632 140727114466632 140727114469327 0
[pid=25781/tid=25783] ppid=25779 vsize=26538700 memory=279870404378288 CPUtime=0 cores=0-7
/proc/25781/task/25783/stat : 25783 (java) S 25779 25779 6764 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 28 0 97691627 27175628800 22570 33554432000 4194304 4196468 140727114459280 139654361688592 139654409078485 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7122944 140727114466456 140727114466632 140727114466632 140727114469327 0
[pid=25781/tid=25784] ppid=25779 vsize=26538700 memory=139935202190192 CPUtime=0 cores=0-7
/proc/25781/task/25784/stat : 25784 (java) S 25779 25779 6764 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 28 0 97691627 27175628800 22570 33554432000 4194304 4196468 140727114459280 139654360636048 139654409078485 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7122944 140727114466456 140727114466632 140727114466632 140727114469327 0
[pid=25781/tid=25785] ppid=25779 vsize=26538700 memory=0 CPUtime=0 cores=0-7
/proc/25781/task/25785/stat : 25785 (java) S 25779 25779 6764 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 97691627 27175628800 22570 33554432000 4194304 4196468 140727114459280 139654359582992 139654409078485 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7122944 140727114466456 140727114466632 140727114466632 140727114469327 0

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

[pid=25781/tid=25808] ppid=25779 vsize=26538700 memory=165480 CPUtime=160.98 cores=0-7
/proc/25781/task/25808/stat : 25808 (java) R 25779 25779 6764 0 -1 4202560 4255 0 0 0 16095 3 0 0 20 0 28 0 97691678 27175628800 41370 33554432000 4194304 4196468 140727114459280 139653578627776 139654037404080 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 7122944 140727114466456 140727114466632 140727114466632 140727114469327 0
Current children cumulated CPU time: 1290.88 s
Current children cumulated vsize: 26548212 KiB
Current children cumulated memory: 166860 KiB

[startup+222.302 s]
/proc/loadavg: 8.41 5.94 6.15 9/208 25816
/proc/meminfo: memFree=26367940/32770624 swapFree=67108860/67108860
[pid=25779] ppid=25776 vsize=9512 memory=1380 CPUtime=0 cores=0-7
/proc/25779/stat : 25779 (xcsp3-exec) S 25776 25779 6764 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 97691626 9740288 345 33554432000 4194304 5098028 140724609433264 140724609431368 139629058126460 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 39170048 140724609434730 140724609434940 140724609434940 140724609437675 0
/proc/25779/statm: 2378 345 289 221 0 87 0
[pid=25781] ppid=25779 vsize=26538700 memory=149096 CPUtime=1769.39 cores=0-7
/proc/25781/stat : 25781 (java) S 25779 25779 6764 0 -1 1077944320 76392 0 0 0 176900 39 0 0 20 0 28 0 97691626 27175628800 37274 33554432000 4194304 4196468 140727114459280 140727114441824 139654409068279 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 7122944 140727114466456 140727114466632 140727114466632 140727114469327 0
/proc/25781/statm: 6634675 37274 3279 1 0 6621909 0
[pid=25781/tid=25782] ppid=25779 vsize=26538700 memory=1380 CPUtime=0.48 cores=0-7
/proc/25781/task/25782/stat : 25782 (java) S 25779 25779 6764 0 -1 1077944384 6808 0 0 0 46 2 0 0 20 0 28 0 97691626 27175628800 37274 33554432000 4194304 4196468 140727114459280 139654413309056 139654409078485 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7122944 140727114466456 140727114466632 140727114466632 140727114469327 0
[pid=25781/tid=25783] ppid=25779 vsize=26538700 memory=149608 CPUtime=0.08 cores=0-7
/proc/25781/task/25783/stat : 25783 (java) S 25779 25779 6764 0 -1 1077944384 1823 0 0 0 7 1 0 0 20 0 28 0 97691627 27175628800 37274 33554432000 4194304 4196468 140727114459280 139654361688592 139654409078485 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7122944 140727114466456 140727114466632 140727114466632 140727114469327 0
[pid=25781/tid=25784] ppid=25779 vsize=26538700 memory=149608 CPUtime=0.09 cores=0-7
/proc/25781/task/25784/stat : 25784 (java) S 25779 25779 6764 0 -1 1077944384 1438 0 0 0 7 2 0 0 20 0 28 0 97691627 27175628800 37274 33554432000 4194304 4196468 140727114459280 139654360636048 139654409078485 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7122944 140727114466456 140727114466632 140727114466632 140727114469327 0
[pid=25781/tid=25785] ppid=25779 vsize=26538700 memory=1380 CPUtime=0.09 cores=0-7
/proc/25781/task/25785/stat : 25785 (java) S 25779 25779 6764 0 -1 1077944384 704 0 0 0 8 1 0 0 20 0 28 0 97691627 27175628800 37274 33554432000 4194304 4196468 140727114459280 139654359582992 139654409078485 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7122944 140727114466456 140727114466632 140727114466632 140727114469327 0
[pid=25781/tid=25786] ppid=25779 vsize=26538700 memory=2257 CPUtime=0.09 cores=0-7
/proc/25781/task/25786/stat : 25786 (java) S 25779 25779 6764 0 -1 1077944384 1473 0 0 0 8 1 0 0 20 0 28 0 97691627 27175628800 37274 33554432000 4194304 4196468 140727114459280 139654358530448 139654409078485 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7122944 140727114466456 140727114466632 140727114466632 140727114469327 0
[pid=25781/tid=25787] ppid=25779 vsize=26538700 memory=17668 CPUtime=0.09 cores=0-7
/proc/25781/task/25787/stat : 25787 (java) S 25779 25779 6764 0 -1 1077944384 1314 0 0 0 7 2 0 0 20 0 28 0 97691627 27175628800 37274 33554432000 4194304 4196468 140727114459280 139654357478416 139654409078485 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7122944 140727114466456 140727114466632 140727114466632 140727114469327 0
[pid=25781/tid=25788] ppid=25779 vsize=26538700 memory=1380 CPUtime=0.07 cores=0-7
/proc/25781/task/25788/stat : 25788 (java) S 25779 25779 6764 0 -1 1077944384 1175 0 0 0 7 0 0 0 20 0 28 0 97691627 27175628800 37274 33554432000 4194304 4196468 140727114459280 139654356425872 139654409078485 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7122944 140727114466456 140727114466632 140727114466632 140727114469327 0
[pid=25781/tid=25789] ppid=25779 vsize=26538700 memory=149608 CPUtime=0.08 cores=0-7
/proc/25781/task/25789/stat : 25789 (java) S 25779 25779 6764 0 -1 1077944384 1476 0 0 0 7 1 0 0 20 0 28 0 97691627 27175628800 37274 33554432000 4194304 4196468 140727114459280 139654355372816 139654409078485 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7122944 140727114466456 140727114466632 140727114466632 140727114469327 0
[pid=25781/tid=25790] ppid=25779 vsize=26538700 memory=149096 CPUtime=0.09 cores=0-7
/proc/25781/task/25790/stat : 25790 (java) S 25779 25779 6764 0 -1 1077944384 2427 0 0 0 7 2 0 0 20 0 28 0 97691627 27175628800 37274 33554432000 4194304 4196468 140727114459280 139654354320272 139654409078485 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7122944 140727114466456 140727114466632 140727114466632 140727114469327 0
[pid=25781/tid=25791] ppid=25779 vsize=26538700 memory=1296 CPUtime=0.08 cores=0-7
/proc/25781/task/25791/stat : 25791 (java) S 25779 25779 6764 0 -1 1077944384 4761 0 0 0 5 3 0 0 20 0 28 0 97691629 27175628800 37274 33554432000 4194304 4196468 140727114459280 139653603477744 139654409079426 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7122944 140727114466456 140727114466632 140727114466632 140727114469327 0
[pid=25781/tid=25792] ppid=25779 vsize=26538700 memory=2400 CPUtime=0 cores=0-7
/proc/25781/task/25792/stat : 25792 (java) S 25779 25779 6764 0 -1 1077944384 88 0 0 0 0 0 0 0 20 0 28 0 97691629 27175628800 37274 33554432000 4194304 4196468 140727114459280 139653602424032 139654409078485 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7122944 140727114466456 140727114466632 140727114466632 140727114469327 0
[pid=25781/tid=25793] ppid=25779 vsize=26538700 memory=279870404385248 CPUtime=0 cores=0-7
/proc/25781/task/25793/stat : 25793 (java) S 25779 25779 6764 0 -1 1077944384 68 0 0 0 0 0 0 0 20 0 28 0 97691629 27175628800 37274 33554432000 4194304 4196468 140727114459280 139653601370864 139654409078485 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7122944 140727114466456 140727114466632 140727114466632 140727114469327 0
[pid=25781/tid=25794] ppid=25779 vsize=26538700 memory=6944652177228980320 CPUtime=0 cores=0-7
/proc/25781/task/25794/stat : 25794 (java) S 25779 25779 6764 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 97691632 27175628800 37274 33554432000 4194304 4196468 140727114459280 139653600319440 139654409086875 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7122944 140727114466456 140727114466632 140727114466632 140727114469327 0
[pid=25781/tid=25795] ppid=25779 vsize=26538700 memory=0 CPUtime=1.19 cores=0-7
/proc/25781/task/25795/stat : 25795 (java) S 25779 25779 6764 0 -1 1077944384 7993 0 0 0 118 1 0 0 20 0 28 0 97691632 27175628800 37274 33554432000 4194304 4196468 140727114459280 139653599267568 139654409079426 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7122944 140727114466456 140727114466632 140727114466632 140727114469327 0
[pid=25781/tid=25796] ppid=25779 vsize=26538700 memory=250654291420339 CPUtime=1.26 cores=0-7
/proc/25781/task/25796/stat : 25796 (java) S 25779 25779 6764 0 -1 1077944384 8297 0 0 0 124 2 0 0 20 0 28 0 97691632 27175628800 37274 33554432000 4194304 4196468 140727114459280 139653598215024 139654409079426 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7122944 140727114466456 140727114466632 140727114466632 140727114469327 0
[pid=25781/tid=25797] ppid=25779 vsize=26538700 memory=0 CPUtime=1.45 cores=0-7
/proc/25781/task/25797/stat : 25797 (java) S 25779 25779 6764 0 -1 1077944384 11464 0 0 0 143 2 0 0 20 0 28 0 97691632 27175628800 37274 33554432000 4194304 4196468 140727114459280 139653597161968 139654409079426 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7122944 140727114466456 140727114466632 140727114466632 140727114469327 0
[pid=25781/tid=25798] ppid=25779 vsize=26538700 memory=-8311738553153378854 CPUtime=0.45 cores=0-7
/proc/25781/task/25798/stat : 25798 (java) S 25779 25779 6764 0 -1 1077944384 5249 0 0 0 44 1 0 0 20 0 28 0 97691632 27175628800 37274 33554432000 4194304 4196468 140727114459280 139653596109424 139654409079426 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 10 0 0 6293624 6294260 7122944 140727114466456 140727114466632 140727114466632 140727114469327 0
[pid=25781/tid=25799] ppid=25779 vsize=26538700 memory=1380 CPUtime=0 cores=0-7
/proc/25781/task/25799/stat : 25799 (java) S 25779 25779 6764 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 97691632 27175628800 37274 33554432000 4194304 4196468 140727114459280 139653595056608 139654409078485 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7122944 140727114466456 140727114466632 140727114466632 140727114469327 0
[pid=25781/tid=25800] ppid=25779 vsize=26538700 memory=27996 CPUtime=0.02 cores=0-7
/proc/25781/task/25800/stat : 25800 (java) S 25779 25779 6764 0 -1 1077944384 1134 0 0 0 0 2 0 0 20 0 28 0 97691632 27175628800 37274 33554432000 4194304 4196468 140727114459280 139653594004144 139654409079426 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 9 0 0 6293624 6294260 7122944 140727114466456 140727114466632 140727114466632 140727114469327 0
[pid=25781/tid=25801] ppid=25779 vsize=26538700 memory=1296 CPUtime=220.02 cores=0-7
/proc/25781/task/25801/stat : 25801 (java) R 25779 25779 6764 0 -1 4202560 972 0 0 0 22002 0 0 0 20 0 28 0 97691678 27175628800 37274 33554432000 4194304 4196468 140727114459280 139653585992392 139654037005446 0 4 0 16800975 0 0 0 -1 3 0 0 1 0 0 6293624 6294260 7122944 140727114466456 140727114466632 140727114466632 140727114469327 0
[pid=25781/tid=25802] ppid=25779 vsize=26538700 memory=1380 CPUtime=220.22 cores=0-7
/proc/25781/task/25802/stat : 25802 (java) R 25779 25779 6764 0 -1 4202560 1005 0 0 0 22022 0 0 0 20 0 28 0 97691678 27175628800 37274 33554432000 4194304 4196468 140727114459280 139653584940936 139654037005640 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 7122944 140727114466456 140727114466632 140727114466632 140727114469327 0
[pid=25781/tid=25803] ppid=25779 vsize=26538700 memory=4012 CPUtime=220.63 cores=0-7
/proc/25781/task/25803/stat : 25803 (java) R 25779 25779 6764 0 -1 4202560 1246 0 0 0 22063 0 0 0 20 0 28 0 97691678 27175628800 37274 33554432000 4194304 4196468 140727114459280 139653583888904 139654037005652 0 4 0 16800975 0 0 0 -1 2 0 0 1 0 0 6293624 6294260 7122944 140727114466456 140727114466632 140727114466632 140727114469327 0
[pid=25781/tid=25804] ppid=25779 vsize=26538700 memory=27996 CPUtime=220.72 cores=0-7
/proc/25781/task/25804/stat : 25804 (java) R 25779 25779 6764 0 -1 4202560 2626 0 0 0 22071 1 0 0 20 0 28 0 97691678 27175628800 37274 33554432000 4194304 4196468 140727114459280 139653582835984 139654036089369 0 4 0 16800975 0 0 0 -1 7 0 0 1 0 0 6293624 6294260 7122944 140727114466456 140727114466632 140727114466632 140727114469327 0
[pid=25781/tid=25805] ppid=25779 vsize=26538700 memory=840 CPUtime=220.47 cores=0-7
/proc/25781/task/25805/stat : 25805 (java) R 25779 25779 6764 0 -1 4202560 4428 0 0 0 22044 3 0 0 20 0 28 0 97691678 27175628800 37274 33554432000 4194304 4196468 140727114459280 139653581783680 139654037362274 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 7122944 140727114466456 140727114466632 140727114466632 140727114469327 0
[pid=25781/tid=25806] ppid=25779 vsize=26538700 memory=1692 CPUtime=219.59 cores=0-7
/proc/25781/task/25806/stat : 25806 (java) R 25779 25779 6764 0 -1 4202560 797 0 0 0 21958 1 0 0 20 0 28 0 97691678 27175628800 37274 33554432000 4194304 4196468 140727114459280 139653580730760 139654036375814 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 7122944 140727114466456 140727114466632 140727114466632 140727114469327 0
[pid=25781/tid=25807] ppid=25779 vsize=26538700 memory=916 CPUtime=221 cores=0-7
/proc/25781/task/25807/stat : 25807 (java) R 25779 25779 6764 0 -1 4202560 1046 0 0 0 22100 0 0 0 20 0 28 0 97691678 27175628800 37274 33554432000 4194304 4196468 140727114459280 139653579677704 139654037006003 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 7122944 140727114466456 140727114466632 140727114466632 140727114469327 0
[pid=25781/tid=25808] ppid=25779 vsize=26538700 memory=6944 CPUtime=220.92 cores=0-7
/proc/25781/task/25808/stat : 25808 (java) R 25779 25779 6764 0 -1 4202560 5340 0 0 0 22088 4 0 0 20 0 28 0 97691678 27175628800 37274 33554432000 4194304 4196468 140727114459280 139653578627696 139654037007399 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 7122944 140727114466456 140727114466632 140727114466632 140727114469327 0
Current children cumulated CPU time: 1769.39 s
Current children cumulated vsize: 26548212 KiB
Current children cumulated memory: 150476 KiB



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+252.002 s]*
/proc/loadavg: 8.59 6.21 6.23 9/208 25816
/proc/meminfo: memFree=26368020/32770624 swapFree=67108860/67108860
[pid=25779] ppid=25776 vsize=9512 memory=1380 CPUtime=0 cores=0-7
/proc/25779/stat : 25779 (xcsp3-exec) S 25776 25779 6764 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 97691626 9740288 345 33554432000 4194304 5098028 140724609433264 140724609431368 139629058126460 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 39170048 140724609434730 140724609434940 140724609434940 140724609437675 0
/proc/25779/statm: 2378 345 289 221 0 87 0
[pid=25781] ppid=25779 vsize=26538700 memory=149344 CPUtime=2006.14 cores=0-7
/proc/25781/stat : 25781 (java) S 25779 25779 6764 0 -1 1077944320 83713 0 0 0 200573 41 0 0 20 0 28 0 97691626 27175628800 37336 33554432000 4194304 4196468 140727114459280 140727114441824 139654409068279 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 7122944 140727114466456 140727114466632 140727114466632 140727114469327 0
/proc/25781/statm: 6634675 37336 3279 1 0 6621909 0
[pid=25781/tid=25782] ppid=25779 vsize=26538700 memory=6791534058613427641 CPUtime=0.48 cores=0-7
/proc/25781/task/25782/stat : 25782 (java) S 25779 25779 6764 0 -1 1077944384 6808 0 0 0 46 2 0 0 20 0 28 0 97691626 27175628800 37336 33554432000 4194304 4196468 140727114459280 139654413309056 139654409078485 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7122944 140727114466456 140727114466632 140727114466632 140727114469327 0
[pid=25781/tid=25783] ppid=25779 vsize=26538700 memory=4872558044660077418 CPUtime=0.09 cores=0-7
/proc/25781/task/25783/stat : 25783 (java) S 25779 25779 6764 0 -1 1077944384 1999 0 0 0 8 1 0 0 20 0 28 0 97691627 27175628800 37336 33554432000 4194304 4196468 140727114459280 139654361688592 139654409078485 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7122944 140727114466456 140727114466632 140727114466632 140727114469327 0
[pid=25781/tid=25784] ppid=25779 vsize=26538700 memory=6944 CPUtime=0.1 cores=0-7
/proc/25781/task/25784/stat : 25784 (java) S 25779 25779 6764 0 -1 1077944384 1978 0 0 0 8 2 0 0 20 0 28 0 97691627 27175628800 37336 33554432000 4194304 4196468 140727114459280 139654360636048 139654409078485 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7122944 140727114466456 140727114466632 140727114466632 140727114469327 0
[pid=25781/tid=25785] ppid=25779 vsize=26538700 memory=4100 CPUtime=0.09 cores=0-7
/proc/25781/task/25785/stat : 25785 (java) S 25779 25779 6764 0 -1 1077944384 865 0 0 0 8 1 0 0 20 0 28 0 97691627 27175628800 37336 33554432000 4194304 4196468 140727114459280 139654359582992 139654409078485 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7122944 140727114466456 140727114466632 140727114466632 140727114469327 0
[pid=25781/tid=25786] ppid=25779 vsize=26538700 memory=1156 CPUtime=0.1 cores=0-7
/proc/25781/task/25786/stat : 25786 (java) S 25779 25779 6764 0 -1 1077944384 1937 0 0 0 9 1 0 0 20 0 28 0 97691627 27175628800 37336 33554432000 4194304 4196468 140727114459280 139654358530448 139654409078485 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7122944 140727114466456 140727114466632 140727114466632 140727114469327 0
[pid=25781/tid=25787] ppid=25779 vsize=26538700 memory=3632 CPUtime=0.1 cores=0-7
/proc/25781/task/25787/stat : 25787 (java) S 25779 25779 6764 0 -1 1077944384 1859 0 0 0 8 2 0 0 20 0 28 0 97691627 27175628800 37336 33554432000 4194304 4196468 140727114459280 139654357478416 139654409078485 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7122944 140727114466456 140727114466632 140727114466632 140727114469327 0
[pid=25781/tid=25788] ppid=25779 vsize=26538700 memory=1380 CPUtime=0.09 cores=0-7
/proc/25781/task/25788/stat : 25788 (java) S 25779 25779 6764 0 -1 1077944384 1615 0 0 0 8 1 0 0 20 0 28 0 97691627 27175628800 37336 33554432000 4194304 4196468 140727114459280 139654356425872 139654409078485 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7122944 140727114466456 140727114466632 140727114466632 140727114469327 0
[pid=25781/tid=25789] ppid=25779 vsize=26538700 memory=147268 CPUtime=0.09 cores=0-7
/proc/25781/task/25789/stat : 25789 (java) S 25779 25779 6764 0 -1 1077944384 1634 0 0 0 8 1 0 0 20 0 28 0 97691627 27175628800 37336 33554432000 4194304 4196468 140727114459280 139654355372816 139654409078485 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7122944 140727114466456 140727114466632 140727114466632 140727114469327 0
[pid=25781/tid=25790] ppid=25779 vsize=26538700 memory=1380 CPUtime=0.1 cores=0-7
/proc/25781/task/25790/stat : 25790 (java) S 25779 25779 6764 0 -1 1077944384 2599 0 0 0 8 2 0 0 20 0 28 0 97691627 27175628800 37336 33554432000 4194304 4196468 140727114459280 139654354320272 139654409078485 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7122944 140727114466456 140727114466632 140727114466632 140727114469327 0
[pid=25781/tid=25791] ppid=25779 vsize=26538700 memory=147268 CPUtime=0.09 cores=0-7
/proc/25781/task/25791/stat : 25791 (java) S 25779 25779 6764 0 -1 1077944384 5867 0 0 0 6 3 0 0 20 0 28 0 97691629 27175628800 37336 33554432000 4194304 4196468 140727114459280 139653603477744 139654409079426 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7122944 140727114466456 140727114466632 140727114466632 140727114469327 0
[pid=25781/tid=25792] ppid=25779 vsize=26538700 memory=7598824234097836114 CPUtime=0 cores=0-7
/proc/25781/task/25792/stat : 25792 (java) S 25779 25779 6764 0 -1 1077944384 88 0 0 0 0 0 0 0 20 0 28 0 97691629 27175628800 37336 33554432000 4194304 4196468 140727114459280 139653602424032 139654409078485 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7122944 140727114466456 140727114466632 140727114466632 140727114469327 0
[pid=25781/tid=25793] ppid=25779 vsize=26538700 memory=7598824234097836114 CPUtime=0 cores=0-7
/proc/25781/task/25793/stat : 25793 (java) S 25779 25779 6764 0 -1 1077944384 68 0 0 0 0 0 0 0 20 0 28 0 97691629 27175628800 37336 33554432000 4194304 4196468 140727114459280 139653601370864 139654409078485 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7122944 140727114466456 140727114466632 140727114466632 140727114469327 0
[pid=25781/tid=25794] ppid=25779 vsize=26538700 memory=15643 CPUtime=0 cores=0-7
/proc/25781/task/25794/stat : 25794 (java) S 25779 25779 6764 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 97691632 27175628800 37336 33554432000 4194304 4196468 140727114459280 139653600319440 139654409086875 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7122944 140727114466456 140727114466632 140727114466632 140727114469327 0
[pid=25781/tid=25795] ppid=25779 vsize=26538700 memory=4279073131472642624 CPUtime=1.19 cores=0-7
/proc/25781/task/25795/stat : 25795 (java) S 25779 25779 6764 0 -1 1077944384 7999 0 0 0 118 1 0 0 20 0 28 0 97691632 27175628800 37336 33554432000 4194304 4196468 140727114459280 139653599267568 139654409079426 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7122944 140727114466456 140727114466632 140727114466632 140727114469327 0
[pid=25781/tid=25796] ppid=25779 vsize=26538700 memory=7517440509289394796 CPUtime=1.26 cores=0-7
/proc/25781/task/25796/stat : 25796 (java) S 25779 25779 6764 0 -1 1077944384 8679 0 0 0 124 2 0 0 20 0 28 0 97691632 27175628800 37336 33554432000 4194304 4196468 140727114459280 139653598215024 139654409079426 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7122944 140727114466456 140727114466632 140727114466632 140727114469327 0
[pid=25781/tid=25797] ppid=25779 vsize=26538700 memory=7598824234097836114 CPUtime=1.45 cores=0-7
/proc/25781/task/25797/stat : 25797 (java) S 25779 25779 6764 0 -1 1077944384 11470 0 0 0 143 2 0 0 20 0 28 0 97691632 27175628800 37336 33554432000 4194304 4196468 140727114459280 139653597161968 139654409079426 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7122944 140727114466456 140727114466632 140727114466632 140727114469327 0
[pid=25781/tid=25798] ppid=25779 vsize=26538700 memory=15643 CPUtime=0.45 cores=0-7
/proc/25781/task/25798/stat : 25798 (java) S 25779 25779 6764 0 -1 1077944384 5255 0 0 0 44 1 0 0 20 0 28 0 97691632 27175628800 37336 33554432000 4194304 4196468 140727114459280 139653596109424 139654409079426 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 10 0 0 6293624 6294260 7122944 140727114466456 140727114466632 140727114466632 140727114469327 0
[pid=25781/tid=25799] ppid=25779 vsize=26538700 memory=6153995551932181615 CPUtime=0 cores=0-7
/proc/25781/task/25799/stat : 25799 (java) S 25779 25779 6764 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 97691632 27175628800 37336 33554432000 4194304 4196468 140727114459280 139653595056608 139654409078485 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7122944 140727114466456 140727114466632 140727114466632 140727114469327 0
[pid=25781/tid=25800] ppid=25779 vsize=26538700 memory=0 CPUtime=0.03 cores=0-7
/proc/25781/task/25800/stat : 25800 (java) S 25779 25779 6764 0 -1 1077944384 1211 0 0 0 0 3 0 0 20 0 28 0 97691632 27175628800 37336 33554432000 4194304 4196468 140727114459280 139653594004144 139654409079426 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 9 0 0 6293624 6294260 7122944 140727114466456 140727114466632 140727114466632 140727114469327 0
[pid=25781/tid=25801] ppid=25779 vsize=26538700 memory=1012 CPUtime=249.48 cores=0-7
/proc/25781/task/25801/stat : 25801 (java) R 25779 25779 6764 0 -1 4202560 1139 0 0 0 24948 0 0 0 20 0 28 0 97691678 27175628800 37336 33554432000 4194304 4196468 140727114459280 139653585992392 139654037005652 0 4 0 16800975 0 0 0 -1 1 0 0 1 0 0 6293624 6294260 7122944 140727114466456 140727114466632 140727114466632 140727114469327 0
[pid=25781/tid=25802] ppid=25779 vsize=26538700 memory=796 CPUtime=249.83 cores=0-7
/proc/25781/task/25802/stat : 25802 (java) R 25779 25779 6764 0 -1 4202560 1168 0 0 0 24983 0 0 0 20 0 28 0 97691678 27175628800 37336 33554432000 4194304 4196468 140727114459280 139653584940936 139654037007447 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 7122944 140727114466456 140727114466632 140727114466632 140727114469327 0
[pid=25781/tid=25803] ppid=25779 vsize=26538700 memory=1228 CPUtime=250.3 cores=0-7
/proc/25781/task/25803/stat : 25803 (java) R 25779 25779 6764 0 -1 4202560 1457 0 0 0 25030 0 0 0 20 0 28 0 97691678 27175628800 37336 33554432000 4194304 4196468 140727114459280 139653583888888 139654036089566 0 4 0 16800975 0 0 0 -1 0 0 0 2 0 0 6293624 6294260 7122944 140727114466456 140727114466632 140727114466632 140727114469327 0
[pid=25781/tid=25804] ppid=25779 vsize=26538700 memory=5300 CPUtime=250.26 cores=0-7
/proc/25781/task/25804/stat : 25804 (java) R 25779 25779 6764 0 -1 4202560 3031 0 0 0 25025 1 0 0 20 0 28 0 97691678 27175628800 37336 33554432000 4194304 4196468 140727114459280 139653582835984 139654036241034 0 4 0 16800975 0 0 0 -1 4 0 0 1 0 0 6293624 6294260 7122944 140727114466456 140727114466632 140727114466632 140727114469327 0
[pid=25781/tid=25805] ppid=25779 vsize=26538700 memory=4616 CPUtime=250.08 cores=0-7
/proc/25781/task/25805/stat : 25805 (java) R 25779 25779 6764 0 -1 4202560 4863 0 0 0 25005 3 0 0 20 0 28 0 97691678 27175628800 37336 33554432000 4194304 4196468 140727114459280 139653581786080 139654036089575 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 7122944 140727114466456 140727114466632 140727114466632 140727114469327 0
[pid=25781/tid=25806] ppid=25779 vsize=26538700 memory=1928 CPUtime=249.16 cores=0-7
/proc/25781/task/25806/stat : 25806 (java) R 25779 25779 6764 0 -1 4202560 898 0 0 0 24915 1 0 0 20 0 28 0 97691678 27175628800 37336 33554432000 4194304 4196468 140727114459280 139653580730760 139654037005411 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 7122944 140727114466456 140727114466632 140727114466632 140727114469327 0
[pid=25781/tid=25807] ppid=25779 vsize=26538700 memory=1428 CPUtime=250.5 cores=0-7
/proc/25781/task/25807/stat : 25807 (java) R 25779 25779 6764 0 -1 4202560 1211 0 0 0 25050 0 0 0 20 0 28 0 97691678 27175628800 37336 33554432000 4194304 4196468 140727114459280 139653579677704 139654036546543 0 4 0 16800975 0 0 0 -1 7 0 0 1 0 0 6293624 6294260 7122944 140727114466456 140727114466632 140727114466632 140727114469327 0
[pid=25781/tid=25808] ppid=25779 vsize=26538700 memory=1196 CPUtime=250.58 cores=0-7
/proc/25781/task/25808/stat : 25808 (java) R 25779 25779 6764 0 -1 4202560 6775 0 0 0 25054 4 0 0 20 0 28 0 97691678 27175628800 37336 33554432000 4194304 4196468 140727114459280 139653578624488 139654036089312 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 7122944 140727114466456 140727114466632 140727114466632 140727114469327 0
Current children cumulated CPU time: 2006.14 s
Current children cumulated vsize: 26548212 KiB
Current children cumulated memory: 150724 KiB

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

[startup+252.039 s]
# the end of solver process 25779 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=0.00096 s, system=0.00096 s

[startup+252.083 s]
# the end of solver process 25781 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2006.26 s, system=0.425506 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): 252.083
CPU time (s): 2006.69
CPU user time (s): 2006.26
CPU system time (s): 0.425506
CPU usage (%): 796.045
Max. virtual memory (cumulated for all children) (KiB): 26548212
Max. memory (cumulated for all children) (KiB): 239372

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2006.26
system time used= 0.425506
maximum resident set size= 237992
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 84731
page faults= 0
swaps= 0
block input operations= 0
block output operations= 512
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 13971
involuntary context switches= 21498


# summary of solver processes directly reported to runsolver:
#   pid: 25779,25781
#   total CPU time (s): 2006.69
#   total CPU user time (s): 2006.26
#   total CPU system time (s): 0.425506

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.80232 second user time and 2.89372 second system time

The end

Launcher Data 

Begin job on node105 at 2017-08-13 19:29:02
IDJOB=4271459
IDBENCH=137636
IDSOLVER=2663
FILE ID=node105/4271459-1502646200
RUNJOBID= node105-1502638143-6791
PBS_JOBID= 20628331
Free space on /tmp= 60664 MiB

SOLVER NAME= choco-solver 4.0.5 par
BENCH NAME= XCSP17/BinPacking/BinPacking-sum-skj2/BinPacking-sum-n1w4b3r4.xml
COMMAND LINE= ./xcsp3-exec -dir DIR -tl TIMEOUT -p NBCORE -ml 22000 -tdir TMPDIR -seed RANDOMSEED BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4271459-1502646200/watcher-4271459-1502646200 -o /tmp/evaluation-result-4271459-1502646200/solver-4271459-1502646200 -C 2016 -W 252 -M 31000 --bin-var /tmp/runsolver-exch-node105-1502638143-6791 --watchdog 312  ./xcsp3-exec -dir HOME -tl 2016 -p 8 -ml 22000 -tdir HOME -seed 1025976845 HOME/instance-4271459-1502646200.xml

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

MD5SUM BENCH= e6d791e594f9eaa90e121e32c21c79c6
RANDOM SEED=1025976845

node105.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.17
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.17
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.17
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.17
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:        26504168 kB
MemAvailable:   31972784 kB
Buffers:          178880 kB
Cached:          5564624 kB
SwapCached:            0 kB
Active:           728896 kB
Inactive:        5071092 kB
Active(anon):      59264 kB
Inactive(anon):    25060 kB
Active(file):     669632 kB
Inactive(file):  5046032 kB
Unevictable:        6248 kB
Mlocked:            6248 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:              7800 kB
Writeback:             8 kB
AnonPages:         62388 kB
Mapped:            43600 kB
Shmem:             25228 kB
Slab:             163728 kB
SReclaimable:     137572 kB
SUnreclaim:        26156 kB
KernelStack:        3168 kB
PageTables:         4644 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     326756 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:      8192 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= 60656 MiB
End job on node105 at 2017-08-13 19:33:14