Trace number 4280694

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
choco-solver 4.0.5 par (2017-08-18)? (TO) 20063.199 2520.1201

General information on the benchmark

NameColouredQueens/ColouredQueens-m1-s1/
ColouredQueens-12.xml
MD5SUM130c0e53e5c1e074e18659561dd41fce
Bench CategoryCSP (decision 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 variables144
Number of constraints66
Number of domains1
Minimum domain size12
Maximum domain size12
Distribution of domain sizes[{"size":12,"count":144}]
Minimum variable degree3
Maximum variable degree4
Distribution of variable degrees[{"degree":3,"count":4},{"degree":4,"count":140}]
Minimum constraint arity2
Maximum constraint arity12
Distribution of constraint arities[{"arity":2,"count":4},{"arity":3,"count":4},{"arity":4,"count":4},{"arity":5,"count":4},{"arity":6,"count":4},{"arity":7,"count":4},{"arity":8,"count":4},{"arity":9,"count":4},{"arity":10,"count":4},{"arity":11,"count":4},{"arity":12,"count":26}]
Number of extensional constraints0
Number of intensional constraints0
Distribution of constraint types[{"type":"allDifferent","count":66}]
Optimization problemNO
Type of objective

Solver Data

0.00/0.00	c java -server -Xmx22000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4280694-1503113978.xml"  -tl '20160s' -p 8 -x 0
0.12/0.14	c [HOME/instance-4280694-1503113978.xml, -tl, 20160s, -p, 8, -x, 0]
0.12/0.20	c 8 solvers in parallel
0.33/0.27	c parse instance...
0.99/0.58	c solve instance...
20062.36/2520.10	s UNKNOWN
20062.36/2520.10	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 (13021 MiB free)
  memory of node 1: 16384 MiB (12578 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4280694-1503113978/watcher-4280694-1503113978 -o /tmp/evaluation-result-4280694-1503113978/solver-4280694-1503113978 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node112-1503110593-30850 --watchdog 2580 ./xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 22000 -tdir HOME -seed 647757386 HOME/instance-4280694-1503113978.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=32161, runsolver pid=32158
Current StackSize limit: 8192 KiB


[startup+0.10016 s]*
/proc/loadavg: 7.79 8.14 8.17 3/199 32182
/proc/meminfo: memFree=26198988/32770624 swapFree=67108860/67108860
[pid=32161] ppid=32158 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/32161/stat : 32161 (xcsp3-exec) S 32158 32161 30823 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 144485490 9740288 346 33554432000 4194304 5098028 140721838874000 140721838872104 140171108737660 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 37703680 140721838879845 140721838880055 140721838880055 140721838882795 0
/proc/32161/statm: 2378 346 289 221 0 87 0
[pid=32163] ppid=32161 vsize=25999808 memory=27288 CPUtime=0.12 cores=0-7
/proc/32163/stat : 32163 (java) S 32161 32161 30823 0 -1 1077944320 5228 0 0 0 11 1 0 0 20 0 20 0 144485491 26623803392 6822 33554432000 4194304 4196468 140727242265696 140727242248240 139674513436407 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 13135872 140727242269842 140727242270019 140727242270019 140727242272719 0
/proc/32163/statm: 6499952 6822 2840 1 0 6488269 0
[pid=32163/tid=32164] ppid=32161 vsize=25999808 memory=4134930498285298233 CPUtime=0.09 cores=0-7
/proc/32163/task/32164/stat : 32164 (java) R 32161 32161 30823 0 -1 4202560 3193 0 0 0 9 0 0 0 20 0 20 0 144485491 26623803392 6822 33554432000 4194304 4196468 140727242265696 139674517663008 139674513448342 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 13135872 140727242269842 140727242270019 140727242270019 140727242272719 0
[pid=32163/tid=32165] ppid=32161 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/32163/task/32165/stat : 32165 (java) S 32161 32161 30823 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 144485492 26623803392 6822 33554432000 4194304 4196468 140727242265696 139674485279504 139674513446613 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13135872 140727242269842 140727242270019 140727242270019 140727242272719 0
[pid=32163/tid=32166] ppid=32161 vsize=25999808 memory=140128833996416 CPUtime=0 cores=0-7
/proc/32163/task/32166/stat : 32166 (java) S 32161 32161 30823 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 144485492 26623803392 6822 33554432000 4194304 4196468 140727242265696 139674070854544 139674513446613 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13135872 140727242269842 140727242270019 140727242270019 140727242272719 0
[pid=32163/tid=32167] ppid=32161 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/32163/task/32167/stat : 32167 (java) S 32161 32161 30823 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 144485492 26623803392 6822 33554432000 4194304 4196468 140727242265696 139674069802000 139674513446613 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13135872 140727242269842 140727242270019 140727242270019 140727242272719 0
[pid=32163/tid=32168] ppid=32161 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/32163/task/32168/stat : 32168 (java) S 32161 32161 30823 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 144485492 26623803392 6822 33554432000 4194304 4196468 140727242265696 139674068749456 139674513446613 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13135872 140727242269842 140727242270019 140727242270019 140727242272719 0
[pid=32163/tid=32169] ppid=32161 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/32163/task/32169/stat : 32169 (java) S 32161 32161 30823 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 144485492 26623803392 6822 33554432000 4194304 4196468 140727242265696 139674067695888 139674513446613 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13135872 140727242269842 140727242270019 140727242270019 140727242272719 0
[pid=32163/tid=32170] ppid=32161 vsize=25999808 memory=-1 CPUtime=0 cores=0-7
/proc/32163/task/32170/stat : 32170 (java) S 32161 32161 30823 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 144485492 26623803392 6822 33554432000 4194304 4196468 140727242265696 139674066643344 139674513446613 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13135872 140727242269842 140727242270019 140727242270019 140727242272719 0
[pid=32163/tid=32171] ppid=32161 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/32163/task/32171/stat : 32171 (java) S 32161 32161 30823 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 144485492 26623803392 6822 33554432000 4194304 4196468 140727242265696 139674065590800 139674513446613 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13135872 140727242269842 140727242270019 140727242270019 140727242272719 0
[pid=32163/tid=32172] ppid=32161 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/32163/task/32172/stat : 32172 (java) S 32161 32161 30823 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 144485492 26623803392 6822 33554432000 4194304 4196468 140727242265696 139674064538256 139674513446613 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13135872 140727242269842 140727242270019 140727242270019 140727242272719 0
[pid=32163/tid=32173] ppid=32161 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/32163/task/32173/stat : 32173 (java) S 32161 32161 30823 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 144485493 26623803392 6822 33554432000 4194304 4196468 140727242265696 139673640880624 139674513447554 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13135872 140727242269842 140727242270019 140727242270019 140727242272719 0
[pid=32163/tid=32174] ppid=32161 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/32163/task/32174/stat : 32174 (java) S 32161 32161 30823 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 144485494 26623803392 6822 33554432000 4194304 4196468 140727242265696 139673639826848 139674513446613 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13135872 140727242269842 140727242270019 140727242270019 140727242272719 0
[pid=32163/tid=32175] ppid=32161 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/32163/task/32175/stat : 32175 (java) S 32161 32161 30823 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 144485494 26623803392 6822 33554432000 4194304 4196468 140727242265696 139673638774256 139674513446613 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13135872 140727242269842 140727242270019 140727242270019 140727242272719 0
[pid=32163/tid=32176] ppid=32161 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/32163/task/32176/stat : 32176 (java) S 32161 32161 30823 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 144485496 26623803392 6822 33554432000 4194304 4196468 140727242265696 139673637722832 139674513455003 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13135872 140727242269842 140727242270019 140727242270019 140727242272719 0
[pid=32163/tid=32177] ppid=32161 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/32163/task/32177/stat : 32177 (java) S 32161 32161 30823 0 -1 1077944384 28 0 0 0 0 0 0 0 20 0 20 0 144485496 26623803392 6822 33554432000 4194304 4196468 140727242265696 139673636669424 139674513447554 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13135872 140727242269842 140727242270019 140727242270019 140727242272719 0
[pid=32163/tid=32178] ppid=32161 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/32163/task/32178/stat : 32178 (java) S 32161 32161 30823 0 -1 1077944384 124 0 0 0 0 0 0 0 20 0 20 0 144485496 26623803392 6822 33554432000 4194304 4196468 140727242265696 139673635616880 139674513447554 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13135872 140727242269842 140727242270019 140727242270019 140727242272719 0
[pid=32163/tid=32179] ppid=32161 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/32163/task/32179/stat : 32179 (java) S 32161 32161 30823 0 -1 1077944384 291 0 0 0 0 0 0 0 20 0 20 0 144485496 26623803392 6822 33554432000 4194304 4196468 140727242265696 139673634564336 139674513447554 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13135872 140727242269842 140727242270019 140727242270019 140727242272719 0
[pid=32163/tid=32180] ppid=32161 vsize=25999808 memory=0 CPUtime=0.01 cores=0-7
/proc/32163/task/32180/stat : 32180 (java) S 32161 32161 30823 0 -1 1077944384 285 0 0 0 1 0 0 0 20 0 20 0 144485496 26623803392 6822 33554432000 4194304 4196468 140727242265696 139673633511792 139674513447554 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13135872 140727242269842 140727242270019 140727242270019 140727242272719 0
[pid=32163/tid=32181] ppid=32161 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/32163/task/32181/stat : 32181 (java) S 32161 32161 30823 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 144485497 26623803392 6822 33554432000 4194304 4196468 140727242265696 139673632459488 139674513446613 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13135872 140727242269842 140727242270019 140727242270019 140727242272719 0
[pid=32163/tid=32182] ppid=32161 vsize=25999808 memory=-1 CPUtime=0 cores=0-7
/proc/32163/task/32182/stat : 32182 (java) S 32161 32161 30823 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 144485497 26623803392 6822 33554432000 4194304 4196468 140727242265696 139673631407024 139674513447554 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13135872 140727242269842 140727242270019 140727242270019 140727242272719 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 26009320 KiB
Current children cumulated memory: 28672 KiB

[startup+0.210351 s]*
/proc/loadavg: 7.79 8.14 8.17 3/199 32182
/proc/meminfo: memFree=26187452/32770624 swapFree=67108860/67108860
[pid=32161] ppid=32158 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/32161/stat : 32161 (xcsp3-exec) S 32158 32161 30823 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 144485490 9740288 346 33554432000 4194304 5098028 140721838874000 140721838872104 140171108737660 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 37703680 140721838879845 140721838880055 140721838880055 140721838882795 0
/proc/32161/statm: 2378 346 289 221 0 87 0
[pid=32163] ppid=32161 vsize=26004064 memory=40044 CPUtime=0.33 cores=0-7
/proc/32163/stat : 32163 (java) S 32161 32161 30823 0 -1 1077944320 8009 0 0 0 31 2 0 0 20 0 20 0 144485491 26628161536 10011 33554432000 4194304 4196468 140727242265696 140727242248240 139674513436407 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 13135872 140727242269842 140727242270019 140727242270019 140727242272719 0
/proc/32163/statm: 6501016 10011 3080 1 0 6488269 0
[pid=32163/tid=32164] ppid=32161 vsize=26004064 memory=8318255677412212789 CPUtime=0.2 cores=0-7
/proc/32163/task/32164/stat : 32164 (java) R 32161 32161 30823 0 -1 4202560 4924 0 0 0 19 1 0 0 20 0 20 0 144485491 26628161536 10011 33554432000 4194304 4196468 140727242265696 139674517649968 139674506114421 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 13135872 140727242269842 140727242270019 140727242270019 140727242272719 0
[pid=32163/tid=32165] ppid=32161 vsize=26004064 memory=342 CPUtime=0 cores=0-7
/proc/32163/task/32165/stat : 32165 (java) S 32161 32161 30823 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 144485492 26628161536 10011 33554432000 4194304 4196468 140727242265696 139674485279504 139674513446613 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13135872 140727242269842 140727242270019 140727242270019 140727242272719 0
[pid=32163/tid=32166] ppid=32161 vsize=26004064 memory=140128834663814 CPUtime=0 cores=0-7
/proc/32163/task/32166/stat : 32166 (java) S 32161 32161 30823 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 144485492 26628161536 10011 33554432000 4194304 4196468 140727242265696 139674070854544 139674513446613 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13135872 140727242269842 140727242270019 140727242270019 140727242272719 0
[pid=32163/tid=32167] ppid=32161 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/32163/task/32167/stat : 32167 (java) S 32161 32161 30823 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 144485492 26628161536 10011 33554432000 4194304 4196468 140727242265696 139674069802000 139674513446613 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13135872 140727242269842 140727242270019 140727242270019 140727242272719 0
[pid=32163/tid=32168] ppid=32161 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/32163/task/32168/stat : 32168 (java) S 32161 32161 30823 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 144485492 26628161536 10011 33554432000 4194304 4196468 140727242265696 139674068749456 139674513446613 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13135872 140727242269842 140727242270019 140727242270019 140727242272719 0
[pid=32163/tid=32169] ppid=32161 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/32163/task/32169/stat : 32169 (java) S 32161 32161 30823 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 144485492 26628161536 10011 33554432000 4194304 4196468 140727242265696 139674067695888 139674513446613 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13135872 140727242269842 140727242270019 140727242270019 140727242272719 0
[pid=32163/tid=32170] ppid=32161 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/32163/task/32170/stat : 32170 (java) S 32161 32161 30823 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 144485492 26628161536 10011 33554432000 4194304 4196468 140727242265696 139674066643344 139674513446613 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13135872 140727242269842 140727242270019 140727242270019 140727242272719 0
[pid=32163/tid=32171] ppid=32161 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/32163/task/32171/stat : 32171 (java) S 32161 32161 30823 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 144485492 26628161536 10011 33554432000 4194304 4196468 140727242265696 139674065590800 139674513446613 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13135872 140727242269842 140727242270019 140727242270019 140727242272719 0
[pid=32163/tid=32172] ppid=32161 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/32163/task/32172/stat : 32172 (java) S 32161 32161 30823 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 144485492 26628161536 10011 33554432000 4194304 4196468 140727242265696 139674064538256 139674513446613 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13135872 140727242269842 140727242270019 140727242270019 140727242272719 0
[pid=32163/tid=32173] ppid=32161 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/32163/task/32173/stat : 32173 (java) S 32161 32161 30823 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 144485493 26628161536 10011 33554432000 4194304 4196468 140727242265696 139673640880624 139674513447554 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13135872 140727242269842 140727242270019 140727242270019 140727242272719 0
[pid=32163/tid=32174] ppid=32161 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/32163/task/32174/stat : 32174 (java) S 32161 32161 30823 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 144485494 26628161536 10011 33554432000 4194304 4196468 140727242265696 139673639826848 139674513446613 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13135872 140727242269842 140727242270019 140727242270019 140727242272719 0
[pid=32163/tid=32175] ppid=32161 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/32163/task/32175/stat : 32175 (java) S 32161 32161 30823 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 144485494 26628161536 10011 33554432000 4194304 4196468 140727242265696 139673638774256 139674513446613 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13135872 140727242269842 140727242270019 140727242270019 140727242272719 0
[pid=32163/tid=32176] ppid=32161 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/32163/task/32176/stat : 32176 (java) S 32161 32161 30823 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 144485496 26628161536 10011 33554432000 4194304 4196468 140727242265696 139673637722832 139674513455003 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13135872 140727242269842 140727242270019 140727242270019 140727242272719 0
[pid=32163/tid=32177] ppid=32161 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/32163/task/32177/stat : 32177 (java) S 32161 32161 30823 0 -1 1077944384 77 0 0 0 0 0 0 0 20 0 20 0 144485496 26628161536 10011 33554432000 4194304 4196468 140727242265696 139673636669424 139674513447554 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13135872 140727242269842 140727242270019 140727242270019 140727242272719 0
[pid=32163/tid=32178] ppid=32161 vsize=26004064 memory=0 CPUtime=0.01 cores=0-7
/proc/32163/task/32178/stat : 32178 (java) R 32161 32161 30823 0 -1 4202560 349 0 0 0 1 0 0 0 20 0 20 0 144485496 26628161536 10011 33554432000 4194304 4196468 140727242265696 139673635616880 139674513457754 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 13135872 140727242269842 140727242270019 140727242270019 140727242272719 0
[pid=32163/tid=32179] ppid=32161 vsize=26004064 memory=-1 CPUtime=0.02 cores=0-7
/proc/32163/task/32179/stat : 32179 (java) S 32161 32161 30823 0 -1 1077944384 476 0 0 0 2 0 0 0 20 0 20 0 144485496 26628161536 10011 33554432000 4194304 4196468 140727242265696 139673634564336 139674513447554 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13135872 140727242269842 140727242270019 140727242270019 140727242272719 0
[pid=32163/tid=32180] ppid=32161 vsize=26004064 memory=-1 CPUtime=0.07 cores=0-7
/proc/32163/task/32180/stat : 32180 (java) R 32161 32161 30823 0 -1 4202560 873 0 0 0 7 0 0 0 20 0 20 0 144485496 26628161536 10011 33554432000 4194304 4196468 140727242265696 139673633511792 139674513448342 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 13135872 140727242269842 140727242270019 140727242270019 140727242272719 0
[pid=32163/tid=32181] ppid=32161 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/32163/task/32181/stat : 32181 (java) S 32161 32161 30823 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 144485497 26628161536 10011 33554432000 4194304 4196468 140727242265696 139673632459488 139674513446613 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13135872 140727242269842 140727242270019 140727242270019 140727242272719 0
[pid=32163/tid=32182] ppid=32161 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/32163/task/32182/stat : 32182 (java) S 32161 32161 30823 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 144485497 26628161536 10011 33554432000 4194304 4196468 140727242265696 139673631407024 139674513447554 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13135872 140727242269842 140727242270019 140727242270019 140727242272719 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 26013576 KiB
Current children cumulated memory: 41428 KiB

[startup+0.310019 s]*
/proc/loadavg: 7.79 8.14 8.17 3/199 32182
/proc/meminfo: memFree=26180504/32770624 swapFree=67108860/67108860
[pid=32161] ppid=32158 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/32161/stat : 32161 (xcsp3-exec) S 32158 32161 30823 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 144485490 9740288 346 33554432000 4194304 5098028 140721838874000 140721838872104 140171108737660 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 37703680 140721838879845 140721838880055 140721838880055 140721838882795 0
/proc/32161/statm: 2378 346 289 221 0 87 0
[pid=32163] ppid=32161 vsize=26004064 memory=47508 CPUtime=0.5 cores=0-7
/proc/32163/stat : 32163 (java) S 32161 32161 30823 0 -1 1077944320 9054 0 0 0 47 3 0 0 20 0 20 0 144485491 26628161536 11877 33554432000 4194304 4196468 140727242265696 140727242248240 139674513436407 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 13135872 140727242269842 140727242270019 140727242270019 140727242272719 0
/proc/32163/statm: 6501016 11877 3113 1 0 6488269 0
[pid=32163/tid=32164] ppid=32161 vsize=26004064 memory=6791534058613427641 CPUtime=0.29 cores=0-7
/proc/32163/task/32164/stat : 32164 (java) R 32161 32161 30823 0 -1 4202560 5655 0 0 0 27 2 0 0 20 0 20 0 144485491 26628161536 11877 33554432000 4194304 4196468 140727242265696 139674517666416 139674497480037 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 13135872 140727242269842 140727242270019 140727242270019 140727242272719 0
[pid=32163/tid=32165] ppid=32161 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/32163/task/32165/stat : 32165 (java) S 32161 32161 30823 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 144485492 26628161536 11877 33554432000 4194304 4196468 140727242265696 139674485279504 139674513446613 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13135872 140727242269842 140727242270019 140727242270019 140727242272719 0
[pid=32163/tid=32166] ppid=32161 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/32163/task/32166/stat : 32166 (java) S 32161 32161 30823 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 144485492 26628161536 11877 33554432000 4194304 4196468 140727242265696 139674070854544 139674513446613 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13135872 140727242269842 140727242270019 140727242270019 140727242272719 0
[pid=32163/tid=32167] ppid=32161 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/32163/task/32167/stat : 32167 (java) S 32161 32161 30823 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 144485492 26628161536 11877 33554432000 4194304 4196468 140727242265696 139674069802000 139674513446613 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13135872 140727242269842 140727242270019 140727242270019 140727242272719 0
[pid=32163/tid=32168] ppid=32161 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/32163/task/32168/stat : 32168 (java) S 32161 32161 30823 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 144485492 26628161536 11877 33554432000 4194304 4196468 140727242265696 139674068749456 139674513446613 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13135872 140727242269842 140727242270019 140727242270019 140727242272719 0
[pid=32163/tid=32169] ppid=32161 vsize=26004064 memory=2244 CPUtime=0 cores=0-7
/proc/32163/task/32169/stat : 32169 (java) S 32161 32161 30823 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 144485492 26628161536 11877 33554432000 4194304 4196468 140727242265696 139674067695888 139674513446613 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13135872 140727242269842 140727242270019 140727242270019 140727242272719 0
[pid=32163/tid=32170] ppid=32161 vsize=26004064 memory=140128676836271 CPUtime=0 cores=0-7
/proc/32163/task/32170/stat : 32170 (java) S 32161 32161 30823 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 144485492 26628161536 11877 33554432000 4194304 4196468 140727242265696 139674066643344 139674513446613 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13135872 140727242269842 140727242270019 140727242270019 140727242272719 0
[pid=32163/tid=32171] ppid=32161 vsize=26004064 memory=140128676838576 CPUtime=0 cores=0-7
/proc/32163/task/32171/stat : 32171 (java) S 32161 32161 30823 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 144485492 26628161536 11877 33554432000 4194304 4196468 140727242265696 139674065590800 139674513446613 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13135872 140727242269842 140727242270019 140727242270019 140727242272719 0
[pid=32163/tid=32172] ppid=32161 vsize=26004064 memory=140128676840880 CPUtime=0 cores=0-7
/proc/32163/task/32172/stat : 32172 (java) S 32161 32161 30823 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 144485492 26628161536 11877 33554432000 4194304 4196468 140727242265696 139674064538256 139674513446613 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13135872 140727242269842 140727242270019 140727242270019 140727242272719 0
[pid=32163/tid=32173] ppid=32161 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/32163/task/32173/stat : 32173 (java) S 32161 32161 30823 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 144485493 26628161536 11877 33554432000 4194304 4196468 140727242265696 139673640880624 139674513447554 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13135872 140727242269842 140727242270019 140727242270019 140727242272719 0
[pid=32163/tid=32174] ppid=32161 vsize=26004064 memory=280257353688720 CPUtime=0 cores=0-7
/proc/32163/task/32174/stat : 32174 (java) S 32161 32161 30823 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 144485494 26628161536 11877 33554432000 4194304 4196468 140727242265696 139673639826848 139674513446613 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13135872 140727242269842 140727242270019 140727242270019 140727242272719 0
[pid=32163/tid=32175] ppid=32161 vsize=26004064 memory=280257353695632 CPUtime=0 cores=0-7
/proc/32163/task/32175/stat : 32175 (java) S 32161 32161 30823 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 144485494 26628161536 11877 33554432000 4194304 4196468 140727242265696 139673638774256 139674513446613 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13135872 140727242269842 140727242270019 140727242270019 140727242272719 0
[pid=32163/tid=32176] ppid=32161 vsize=26004064 memory=280257353636912 CPUtime=0 cores=0-7
/proc/32163/task/32176/stat : 32176 (java) S 32161 32161 30823 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 144485496 26628161536 11877 33554432000 4194304 4196468 140727242265696 139673637722832 139674513455003 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13135872 140727242269842 140727242270019 140727242270019 140727242272719 0
[pid=32163/tid=32177] ppid=32161 vsize=26004064 memory=280257353709456 CPUtime=0.01 cores=0-7
/proc/32163/task/32177/stat : 32177 (java) S 32161 32161 30823 0 -1 1077944384 141 0 0 0 1 0 0 0 20 0 20 0 144485496 26628161536 11877 33554432000 4194304 4196468 140727242265696 139673636669424 139674513447554 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13135872 140727242269842 140727242270019 140727242270019 140727242272719 0
[pid=32163/tid=32178] ppid=32161 vsize=26004064 memory=280257353716368 CPUtime=0.02 cores=0-7
/proc/32163/task/32178/stat : 32178 (java) S 32161 32161 30823 0 -1 1077944384 364 0 0 0 2 0 0 0 20 0 20 0 144485496 26628161536 11877 33554432000 4194304 4196468 140727242265696 139673635616880 139674513447554 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13135872 140727242269842 140727242270019 140727242270019 140727242272719 0
[pid=32163/tid=32179] ppid=32161 vsize=26004064 memory=280257353714064 CPUtime=0.03 cores=0-7
/proc/32163/task/32179/stat : 32179 (java) S 32161 32161 30823 0 -1 1077944384 547 0 0 0 3 0 0 0 20 0 20 0 144485496 26628161536 11877 33554432000 4194304 4196468 140727242265696 139673634564336 139674513447554 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13135872 140727242269842 140727242270019 140727242270019 140727242272719 0
[pid=32163/tid=32180] ppid=32161 vsize=26004064 memory=280257353730224 CPUtime=0.12 cores=0-7
/proc/32163/task/32180/stat : 32180 (java) R 32161 32161 30823 0 -1 4202560 1039 0 0 0 12 0 0 0 20 0 20 0 144485496 26628161536 11877 33554432000 4194304 4196468 140727242265696 139673633511792 139674513448342 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 13135872 140727242269842 140727242270019 140727242270019 140727242272719 0
[pid=32163/tid=32181] ppid=32161 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/32163/task/32181/stat : 32181 (java) S 32161 32161 30823 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 144485497 26628161536 11877 33554432000 4194304 4196468 140727242265696 139673632459488 139674513446613 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13135872 140727242269842 140727242270019 140727242270019 140727242272719 0
[pid=32163/tid=32182] ppid=32161 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/32163/task/32182/stat : 32182 (java) S 32161 32161 30823 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 144485497 26628161536 11877 33554432000 4194304 4196468 140727242265696 139673631407024 139674513447554 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13135872 140727242269842 140727242270019 140727242270019 140727242272719 0
Current children cumulated CPU time: 0.5 s
Current children cumulated vsize: 26013576 KiB
Current children cumulated memory: 48892 KiB

[startup+0.701994 s]
/proc/loadavg: 7.79 8.14 8.17 3/199 32182
/proc/meminfo: memFree=26167864/32770624 swapFree=67108860/67108860
[pid=32161] ppid=32158 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/32161/stat : 32161 (xcsp3-exec) S 32158 32161 30823 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 144485490 9740288 346 33554432000 4194304 5098028 140721838874000 140721838872104 140171108737660 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 37703680 140721838879845 140721838880055 140721838880055 140721838882795 0
/proc/32161/statm: 2378 346 289 221 0 87 0
[pid=32163] ppid=32161 vsize=26538700 memory=96120 CPUtime=2.1 cores=0-7
/proc/32163/stat : 32163 (java) S 32161 32161 30823 0 -1 1077944320 13498 0 0 0 204 6 0 0 20 0 28 0 144485491 27175628800 24030 33554432000 4194304 4196468 140727242265696 140727242248240 139674513436407 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 13135872 140727242269842 140727242270019 140727242270019 140727242272719 0
/proc/32163/statm: 6634675 24030 3213 1 0 6621909 0
[pid=32163/tid=32164] ppid=32161 vsize=26538700 memory=280257354088112 CPUtime=0.56 cores=0-7
/proc/32163/task/32164/stat : 32164 (java) S 32161 32161 30823 0 -1 1077944384 6276 0 0 0 53 3 0 0 20 0 28 0 144485491 27175628800 24030 33554432000 4194304 4196468 140727242265696 139674517677184 139674513446613 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13135872 140727242269842 140727242270019 140727242270019 140727242272719 0
[pid=32163/tid=32165] ppid=32161 vsize=26538700 memory=140128677045104 CPUtime=0 cores=0-7
/proc/32163/task/32165/stat : 32165 (java) S 32161 32161 30823 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 144485492 27175628800 24030 33554432000 4194304 4196468 140727242265696 139674485279504 139674513446613 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13135872 140727242269842 140727242270019 140727242270019 140727242272719 0
[pid=32163/tid=32166] ppid=32161 vsize=26538700 memory=0 CPUtime=0 cores=0-7
/proc/32163/task/32166/stat : 32166 (java) S 32161 32161 30823 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 28 0 144485492 27175628800 24030 33554432000 4194304 4196468 140727242265696 139674070854544 139674513446613 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13135872 140727242269842 140727242270019 140727242270019 140727242272719 0
[pid=32163/tid=32167] ppid=32161 vsize=26538700 memory=1004 CPUtime=0 cores=0-7
/proc/32163/task/32167/stat : 32167 (java) S 32161 32161 30823 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 144485492 27175628800 24030 33554432000 4194304 4196468 140727242265696 139674069802000 139674513446613 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13135872 140727242269842 140727242270019 140727242270019 140727242272719 0

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

[pid=32163/tid=32190] ppid=32161 vsize=26538700 memory=2332 CPUtime=2426.77 cores=0-7
/proc/32163/task/32190/stat : 32190 (java) R 32161 32161 30823 0 -1 4202560 353881 0 0 0 242389 288 0 0 20 0 28 0 144485550 27175628800 248578 33554432000 4194304 4196468 140727242265696 139673616027808 139674155543965 0 4 0 16800975 0 0 0 -1 1 0 0 4 0 0 6293624 6294260 13135872 140727242269842 140727242270019 140727242270019 140727242272719 0
Current children cumulated CPU time: 19442.7 s
Current children cumulated vsize: 26548212 KiB
Current children cumulated memory: 995696 KiB

[startup+2502.3 s]
/proc/loadavg: 8.09 8.14 8.21 9/207 32249
/proc/meminfo: memFree=25240428/32770624 swapFree=67108860/67108860
[pid=32161] ppid=32158 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/32161/stat : 32161 (xcsp3-exec) S 32158 32161 30823 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 144485490 9740288 346 33554432000 4194304 5098028 140721838874000 140721838872104 140171108737660 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 37703680 140721838879845 140721838880055 140721838880055 140721838882795 0
/proc/32161/statm: 2378 346 289 221 0 87 0
[pid=32163] ppid=32161 vsize=26538700 memory=987132 CPUtime=19921.1 cores=0-7
/proc/32163/stat : 32163 (java) S 32161 32161 30823 0 -1 1077944320 687464 0 0 0 1991479 635 0 0 20 0 28 0 144485491 27175628800 246783 33554432000 4194304 4196468 140727242265696 140727242248240 139674513436407 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 13135872 140727242269842 140727242270019 140727242270019 140727242272719 0
/proc/32163/statm: 6634675 246783 3278 1 0 6621909 0
[pid=32163/tid=32164] ppid=32161 vsize=26538700 memory=987132 CPUtime=0.56 cores=0-7
/proc/32163/task/32164/stat : 32164 (java) S 32161 32161 30823 0 -1 1077944384 6276 0 0 0 53 3 0 0 20 0 28 0 144485491 27175628800 246783 33554432000 4194304 4196468 140727242265696 139674517677184 139674513446613 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13135872 140727242269842 140727242270019 140727242270019 140727242272719 0
[pid=32163/tid=32165] ppid=32161 vsize=26538700 memory=1384 CPUtime=4.05 cores=0-7
/proc/32163/task/32165/stat : 32165 (java) S 32161 32161 30823 0 -1 1077944384 14671 0 0 0 380 25 0 0 20 0 28 0 144485492 27175628800 246783 33554432000 4194304 4196468 140727242265696 139674485279504 139674513446613 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 2 0 0 6293624 6294260 13135872 140727242269842 140727242270019 140727242270019 140727242272719 0
[pid=32163/tid=32166] ppid=32161 vsize=26538700 memory=992776 CPUtime=4.08 cores=0-7
/proc/32163/task/32166/stat : 32166 (java) S 32161 32161 30823 0 -1 1077944384 14028 0 0 0 382 26 0 0 20 0 28 0 144485492 27175628800 246783 33554432000 4194304 4196468 140727242265696 139674070854544 139674513446613 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 2 0 0 6293624 6294260 13135872 140727242269842 140727242270019 140727242270019 140727242272719 0
[pid=32163/tid=32167] ppid=32161 vsize=26538700 memory=1384 CPUtime=4.05 cores=0-7
/proc/32163/task/32167/stat : 32167 (java) S 32161 32161 30823 0 -1 1077944384 12134 0 0 0 379 26 0 0 20 0 28 0 144485492 27175628800 246783 33554432000 4194304 4196468 140727242265696 139674069802000 139674513446613 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 2 0 0 6293624 6294260 13135872 140727242269842 140727242270019 140727242270019 140727242272719 0
[pid=32163/tid=32168] ppid=32161 vsize=26538700 memory=1384 CPUtime=4.03 cores=0-7
/proc/32163/task/32168/stat : 32168 (java) S 32161 32161 30823 0 -1 1077944384 12329 0 0 0 378 25 0 0 20 0 28 0 144485492 27175628800 246783 33554432000 4194304 4196468 140727242265696 139674068749456 139674513446613 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 2 0 0 6293624 6294260 13135872 140727242269842 140727242270019 140727242270019 140727242272719 0
[pid=32163/tid=32169] ppid=32161 vsize=26538700 memory=987132 CPUtime=4.05 cores=0-7
/proc/32163/task/32169/stat : 32169 (java) S 32161 32161 30823 0 -1 1077944384 14396 0 0 0 377 28 0 0 20 0 28 0 144485492 27175628800 246783 33554432000 4194304 4196468 140727242265696 139674067695888 139674513446613 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 1 0 0 6293624 6294260 13135872 140727242269842 140727242270019 140727242270019 140727242272719 0
[pid=32163/tid=32170] ppid=32161 vsize=26538700 memory=1384 CPUtime=4.06 cores=0-7
/proc/32163/task/32170/stat : 32170 (java) S 32161 32161 30823 0 -1 1077944384 13245 0 0 0 378 28 0 0 20 0 28 0 144485492 27175628800 246783 33554432000 4194304 4196468 140727242265696 139674066643344 139674513446613 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 2 0 0 6293624 6294260 13135872 140727242269842 140727242270019 140727242270019 140727242272719 0
[pid=32163/tid=32171] ppid=32161 vsize=26538700 memory=987132 CPUtime=4.03 cores=0-7
/proc/32163/task/32171/stat : 32171 (java) S 32161 32161 30823 0 -1 1077944384 12678 0 0 0 378 25 0 0 20 0 28 0 144485492 27175628800 246783 33554432000 4194304 4196468 140727242265696 139674065590800 139674513446613 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 2 0 0 6293624 6294260 13135872 140727242269842 140727242270019 140727242270019 140727242272719 0
[pid=32163/tid=32172] ppid=32161 vsize=26538700 memory=1384 CPUtime=4.06 cores=0-7
/proc/32163/task/32172/stat : 32172 (java) S 32161 32161 30823 0 -1 1077944384 10641 0 0 0 382 24 0 0 20 0 28 0 144485492 27175628800 246783 33554432000 4194304 4196468 140727242265696 139674064538256 139674513446613 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 2 0 0 6293624 6294260 13135872 140727242269842 140727242270019 140727242270019 140727242272719 0
[pid=32163/tid=32173] ppid=32161 vsize=26538700 memory=988156 CPUtime=2.62 cores=0-7
/proc/32163/task/32173/stat : 32173 (java) S 32161 32161 30823 0 -1 1077944384 25024 0 0 0 200 62 0 0 20 0 28 0 144485493 27175628800 246783 33554432000 4194304 4196468 140727242265696 139673640880624 139674513447554 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13135872 140727242269842 140727242270019 140727242270019 140727242272719 0
[pid=32163/tid=32174] ppid=32161 vsize=26538700 memory=1384 CPUtime=0 cores=0-7
/proc/32163/task/32174/stat : 32174 (java) S 32161 32161 30823 0 -1 1077944384 63 0 0 0 0 0 0 0 20 0 28 0 144485494 27175628800 246783 33554432000 4194304 4196468 140727242265696 139673639826848 139674513446613 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13135872 140727242269842 140727242270019 140727242270019 140727242272719 0
[pid=32163/tid=32175] ppid=32161 vsize=26538700 memory=909500 CPUtime=0 cores=0-7
/proc/32163/task/32175/stat : 32175 (java) S 32161 32161 30823 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 28 0 144485494 27175628800 246783 33554432000 4194304 4196468 140727242265696 139673638774256 139674513446613 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13135872 140727242269842 140727242270019 140727242270019 140727242272719 0
[pid=32163/tid=32176] ppid=32161 vsize=26538700 memory=1384 CPUtime=0 cores=0-7
/proc/32163/task/32176/stat : 32176 (java) S 32161 32161 30823 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 144485496 27175628800 246783 33554432000 4194304 4196468 140727242265696 139673637722832 139674513455003 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13135872 140727242269842 140727242270019 140727242270019 140727242272719 0
[pid=32163/tid=32177] ppid=32161 vsize=26538700 memory=988156 CPUtime=1.21 cores=0-7
/proc/32163/task/32177/stat : 32177 (java) S 32161 32161 30823 0 -1 1077944384 8628 0 0 0 119 2 0 0 20 0 28 0 144485496 27175628800 246783 33554432000 4194304 4196468 140727242265696 139673636669424 139674513447554 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13135872 140727242269842 140727242270019 140727242270019 140727242272719 0
[pid=32163/tid=32178] ppid=32161 vsize=26538700 memory=1384 CPUtime=1.26 cores=0-7
/proc/32163/task/32178/stat : 32178 (java) S 32161 32161 30823 0 -1 1077944384 6129 0 0 0 125 1 0 0 20 0 28 0 144485496 27175628800 246783 33554432000 4194304 4196468 140727242265696 139673635616880 139674513447554 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13135872 140727242269842 140727242270019 140727242270019 140727242272719 0
[pid=32163/tid=32179] ppid=32161 vsize=26538700 memory=987132 CPUtime=1.22 cores=0-7
/proc/32163/task/32179/stat : 32179 (java) S 32161 32161 30823 0 -1 1077944384 7217 0 0 0 121 1 0 0 20 0 28 0 144485496 27175628800 246783 33554432000 4194304 4196468 140727242265696 139673634564336 139674513447554 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13135872 140727242269842 140727242270019 140727242270019 140727242272719 0
[pid=32163/tid=32180] ppid=32161 vsize=26538700 memory=1384 CPUtime=0.6 cores=0-7
/proc/32163/task/32180/stat : 32180 (java) S 32161 32161 30823 0 -1 1077944384 7526 0 0 0 57 3 0 0 20 0 28 0 144485496 27175628800 246783 33554432000 4194304 4196468 140727242265696 139673633511792 139674513447554 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13135872 140727242269842 140727242270019 140727242270019 140727242272719 0
[pid=32163/tid=32181] ppid=32161 vsize=26538700 memory=987132 CPUtime=0 cores=0-7
/proc/32163/task/32181/stat : 32181 (java) S 32161 32161 30823 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 144485497 27175628800 246783 33554432000 4194304 4196468 140727242265696 139673632459488 139674513446613 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13135872 140727242269842 140727242270019 140727242270019 140727242272719 0
[pid=32163/tid=32182] ppid=32161 vsize=26538700 memory=0 CPUtime=0.36 cores=0-7
/proc/32163/task/32182/stat : 32182 (java) S 32161 32161 30823 0 -1 1077944384 2489 0 0 0 0 36 0 0 20 0 28 0 144485497 27175628800 246783 33554432000 4194304 4196468 140727242265696 139673631407024 139674513447554 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13135872 140727242269842 140727242270019 140727242270019 140727242272719 0
[pid=32163/tid=32183] ppid=32161 vsize=26538700 memory=0 CPUtime=2488 cores=0-7
/proc/32163/task/32183/stat : 32183 (java) R 32161 32161 30823 0 -1 4202560 5109 0 0 0 248796 4 0 0 20 0 28 0 144485550 27175628800 246783 33554432000 4194304 4196468 140727242265696 139673623395576 139674155516188 0 4 0 16800975 0 0 0 -1 2 0 0 4 0 0 6293624 6294260 13135872 140727242269842 140727242270019 140727242270019 140727242272719 0
[pid=32163/tid=32184] ppid=32161 vsize=26538700 memory=56 CPUtime=2485.45 cores=0-7
/proc/32163/task/32184/stat : 32184 (java) R 32161 32161 30823 0 -1 4202560 5429 0 0 0 248541 4 0 0 20 0 28 0 144485550 27175628800 246783 33554432000 4194304 4196468 140727242265696 139673622344168 139674155202607 0 4 0 16800975 0 0 0 -1 4 0 0 4 0 0 6293624 6294260 13135872 140727242269842 140727242270019 140727242270019 140727242272719 0
[pid=32163/tid=32185] ppid=32161 vsize=26538700 memory=987132 CPUtime=2481.43 cores=0-7
/proc/32163/task/32185/stat : 32185 (java) R 32161 32161 30823 0 -1 4202560 46405 0 0 0 248120 23 0 0 20 0 28 0 144485550 27175628800 246783 33554432000 4194304 4196468 140727242265696 139673621293520 139674154306536 0 4 0 16800975 0 0 0 -1 1 0 0 5 0 0 6293624 6294260 13135872 140727242269842 140727242270019 140727242270019 140727242272719 0
[pid=32163/tid=32186] ppid=32161 vsize=26538700 memory=1384 CPUtime=2483.16 cores=0-7
/proc/32163/task/32186/stat : 32186 (java) R 32161 32161 30823 0 -1 4202560 75000 0 0 0 248290 26 0 0 20 0 28 0 144485550 27175628800 246783 33554432000 4194304 4196468 140727242265696 139673620237936 139674155543570 0 4 0 16800975 0 0 0 -1 7 0 0 4 0 0 6293624 6294260 13135872 140727242269842 140727242270019 140727242270019 140727242272719 0
[pid=32163/tid=32187] ppid=32161 vsize=26538700 memory=987644 CPUtime=2486.27 cores=0-7
/proc/32163/task/32187/stat : 32187 (java) R 32161 32161 30823 0 -1 4202560 21484 0 0 0 248614 13 0 0 20 0 28 0 144485550 27175628800 246783 33554432000 4194304 4196468 140727242265696 139673619186168 139674155358880 0 4 0 16800975 0 0 0 -1 3 0 0 5 0 0 6293624 6294260 13135872 140727242269842 140727242270019 140727242270019 140727242272719 0
[pid=32163/tid=32188] ppid=32161 vsize=26538700 memory=1384 CPUtime=2485.78 cores=0-7
/proc/32163/task/32188/stat : 32188 (java) R 32161 32161 30823 0 -1 4202560 5549 0 0 0 248574 4 0 0 20 0 28 0 144485550 27175628800 246783 33554432000 4194304 4196468 140727242265696 139673618133000 139674154766316 0 4 0 16800975 0 0 0 -1 6 0 0 5 0 0 6293624 6294260 13135872 140727242269842 140727242270019 140727242270019 140727242272719 0
[pid=32163/tid=32189] ppid=32161 vsize=26538700 memory=988156 CPUtime=2484.03 cores=0-7
/proc/32163/task/32189/stat : 32189 (java) R 32161 32161 30823 0 -1 4202560 4991 0 0 0 248398 5 0 0 20 0 28 0 144485550 27175628800 246783 33554432000 4194304 4196468 140727242265696 139673617080232 139674155140541 0 4 0 16800975 0 0 0 -1 0 0 0 6 0 0 6293624 6294260 13135872 140727242269842 140727242270019 140727242270019 140727242272719 0
[pid=32163/tid=32190] ppid=32161 vsize=26538700 memory=8048 CPUtime=2486.53 cores=0-7
/proc/32163/task/32190/stat : 32190 (java) R 32161 32161 30823 0 -1 4202560 354729 0 0 0 248365 288 0 0 20 0 28 0 144485550 27175628800 246783 33554432000 4194304 4196468 140727242265696 139673616028056 139674154765921 0 4 0 16800975 0 0 0 -1 5 0 0 4 0 0 6293624 6294260 13135872 140727242269842 140727242270019 140727242270019 140727242272719 0
Current children cumulated CPU time: 19921.1 s
Current children cumulated vsize: 26548212 KiB
Current children cumulated memory: 988516 KiB



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+2520 s]*
/proc/loadavg: 8.13 8.14 8.21 9/207 32249
/proc/meminfo: memFree=25240740/32770624 swapFree=67108860/67108860
[pid=32161] ppid=32158 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/32161/stat : 32161 (xcsp3-exec) S 32158 32161 30823 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 144485490 9740288 346 33554432000 4194304 5098028 140721838874000 140721838872104 140171108737660 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 37703680 140721838879845 140721838880055 140721838880055 140721838882795 0
/proc/32161/statm: 2378 346 289 221 0 87 0
[pid=32163] ppid=32161 vsize=26538700 memory=987132 CPUtime=20062.4 cores=0-7
/proc/32163/stat : 32163 (java) S 32161 32161 30823 0 -1 1077944320 687766 0 0 0 2005600 636 0 0 20 0 28 0 144485491 27175628800 246783 33554432000 4194304 4196468 140727242265696 140727242248240 139674513436407 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 13135872 140727242269842 140727242270019 140727242270019 140727242272719 0
/proc/32163/statm: 6634675 246783 3278 1 0 6621909 0
[pid=32163/tid=32164] ppid=32161 vsize=26538700 memory=1398720917958146503 CPUtime=0.56 cores=0-7
/proc/32163/task/32164/stat : 32164 (java) S 32161 32161 30823 0 -1 1077944384 6276 0 0 0 53 3 0 0 20 0 28 0 144485491 27175628800 246783 33554432000 4194304 4196468 140727242265696 139674517677184 139674513446613 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13135872 140727242269842 140727242270019 140727242270019 140727242272719 0
[pid=32163/tid=32165] ppid=32161 vsize=26538700 memory=987132 CPUtime=4.06 cores=0-7
/proc/32163/task/32165/stat : 32165 (java) S 32161 32161 30823 0 -1 1077944384 14673 0 0 0 381 25 0 0 20 0 28 0 144485492 27175628800 246783 33554432000 4194304 4196468 140727242265696 139674485279504 139674513446613 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 2 0 0 6293624 6294260 13135872 140727242269842 140727242270019 140727242270019 140727242272719 0
[pid=32163/tid=32166] ppid=32161 vsize=26538700 memory=18292 CPUtime=4.09 cores=0-7
/proc/32163/task/32166/stat : 32166 (java) S 32161 32161 30823 0 -1 1077944384 14030 0 0 0 383 26 0 0 20 0 28 0 144485492 27175628800 246783 33554432000 4194304 4196468 140727242265696 139674070854544 139674513446613 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 2 0 0 6293624 6294260 13135872 140727242269842 140727242270019 140727242270019 140727242272719 0
[pid=32163/tid=32167] ppid=32161 vsize=26538700 memory=1792 CPUtime=4.06 cores=0-7
/proc/32163/task/32167/stat : 32167 (java) S 32161 32161 30823 0 -1 1077944384 12134 0 0 0 380 26 0 0 20 0 28 0 144485492 27175628800 246783 33554432000 4194304 4196468 140727242265696 139674069802000 139674513446613 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 2 0 0 6293624 6294260 13135872 140727242269842 140727242270019 140727242270019 140727242272719 0
[pid=32163/tid=32168] ppid=32161 vsize=26538700 memory=648 CPUtime=4.04 cores=0-7
/proc/32163/task/32168/stat : 32168 (java) S 32161 32161 30823 0 -1 1077944384 12329 0 0 0 379 25 0 0 20 0 28 0 144485492 27175628800 246783 33554432000 4194304 4196468 140727242265696 139674068749456 139674513446613 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 2 0 0 6293624 6294260 13135872 140727242269842 140727242270019 140727242270019 140727242272719 0
[pid=32163/tid=32169] ppid=32161 vsize=26538700 memory=987132 CPUtime=4.06 cores=0-7
/proc/32163/task/32169/stat : 32169 (java) S 32161 32161 30823 0 -1 1077944384 14396 0 0 0 378 28 0 0 20 0 28 0 144485492 27175628800 246783 33554432000 4194304 4196468 140727242265696 139674067695888 139674513446613 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 1 0 0 6293624 6294260 13135872 140727242269842 140727242270019 140727242270019 140727242272719 0
[pid=32163/tid=32170] ppid=32161 vsize=26538700 memory=5787213852951536729 CPUtime=4.07 cores=0-7
/proc/32163/task/32170/stat : 32170 (java) S 32161 32161 30823 0 -1 1077944384 13245 0 0 0 379 28 0 0 20 0 28 0 144485492 27175628800 246783 33554432000 4194304 4196468 140727242265696 139674066643344 139674513446613 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 2 0 0 6293624 6294260 13135872 140727242269842 140727242270019 140727242270019 140727242272719 0
[pid=32163/tid=32171] ppid=32161 vsize=26538700 memory=5787213840066634841 CPUtime=4.05 cores=0-7
/proc/32163/task/32171/stat : 32171 (java) S 32161 32161 30823 0 -1 1077944384 12681 0 0 0 380 25 0 0 20 0 28 0 144485492 27175628800 246783 33554432000 4194304 4196468 140727242265696 139674065590800 139674513446613 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 2 0 0 6293624 6294260 13135872 140727242269842 140727242270019 140727242270019 140727242272719 0
[pid=32163/tid=32172] ppid=32161 vsize=26538700 memory=5788911563529872472 CPUtime=4.08 cores=0-7
/proc/32163/task/32172/stat : 32172 (java) S 32161 32161 30823 0 -1 1077944384 10643 0 0 0 383 25 0 0 20 0 28 0 144485492 27175628800 246783 33554432000 4194304 4196468 140727242265696 139674064538256 139674513446613 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 2 0 0 6293624 6294260 13135872 140727242269842 140727242270019 140727242270019 140727242272719 0
[pid=32163/tid=32173] ppid=32161 vsize=26538700 memory=7301858164987948385 CPUtime=2.64 cores=0-7
/proc/32163/task/32173/stat : 32173 (java) S 32161 32161 30823 0 -1 1077944384 25024 0 0 0 201 63 0 0 20 0 28 0 144485493 27175628800 246783 33554432000 4194304 4196468 140727242265696 139673640880624 139674513447554 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13135872 140727242269842 140727242270019 140727242270019 140727242272719 0
[pid=32163/tid=32174] ppid=32161 vsize=26538700 memory=5787213827080217956 CPUtime=0 cores=0-7
/proc/32163/task/32174/stat : 32174 (java) S 32161 32161 30823 0 -1 1077944384 63 0 0 0 0 0 0 0 20 0 28 0 144485494 27175628800 246783 33554432000 4194304 4196468 140727242265696 139673639826848 139674513446613 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13135872 140727242269842 140727242270019 140727242270019 140727242272719 0
[pid=32163/tid=32175] ppid=32161 vsize=26538700 memory=5788630088553161816 CPUtime=0 cores=0-7
/proc/32163/task/32175/stat : 32175 (java) S 32161 32161 30823 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 28 0 144485494 27175628800 246783 33554432000 4194304 4196468 140727242265696 139673638774256 139674513446613 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13135872 140727242269842 140727242270019 140727242270019 140727242272719 0
[pid=32163/tid=32176] ppid=32161 vsize=26538700 memory=5788348613576451160 CPUtime=0 cores=0-7
/proc/32163/task/32176/stat : 32176 (java) S 32161 32161 30823 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 144485496 27175628800 246783 33554432000 4194304 4196468 140727242265696 139673637722832 139674513455003 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13135872 140727242269842 140727242270019 140727242270019 140727242272719 0
[pid=32163/tid=32177] ppid=32161 vsize=26538700 memory=5789193038506583128 CPUtime=1.21 cores=0-7
/proc/32163/task/32177/stat : 32177 (java) S 32161 32161 30823 0 -1 1077944384 8628 0 0 0 119 2 0 0 20 0 28 0 144485496 27175628800 246783 33554432000 4194304 4196468 140727242265696 139673636669424 139674513447554 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13135872 140727242269842 140727242270019 140727242270019 140727242272719 0
[pid=32163/tid=32178] ppid=32161 vsize=26538700 memory=5788911563529872472 CPUtime=1.26 cores=0-7
/proc/32163/task/32178/stat : 32178 (java) S 32161 32161 30823 0 -1 1077944384 6129 0 0 0 125 1 0 0 20 0 28 0 144485496 27175628800 246783 33554432000 4194304 4196468 140727242265696 139673635616880 139674513447554 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13135872 140727242269842 140727242270019 140727242270019 140727242272719 0
[pid=32163/tid=32179] ppid=32161 vsize=26538700 memory=288230574492221466 CPUtime=1.22 cores=0-7
/proc/32163/task/32179/stat : 32179 (java) S 32161 32161 30823 0 -1 1077944384 7217 0 0 0 121 1 0 0 20 0 28 0 144485496 27175628800 246783 33554432000 4194304 4196468 140727242265696 139673634564336 139674513447554 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13135872 140727242269842 140727242270019 140727242270019 140727242272719 0
[pid=32163/tid=32180] ppid=32161 vsize=26538700 memory=288230596050944315 CPUtime=0.6 cores=0-7
/proc/32163/task/32180/stat : 32180 (java) S 32161 32161 30823 0 -1 1077944384 7526 0 0 0 57 3 0 0 20 0 28 0 144485496 27175628800 246783 33554432000 4194304 4196468 140727242265696 139673633511792 139674513447554 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13135872 140727242269842 140727242270019 140727242270019 140727242272719 0
[pid=32163/tid=32181] ppid=32161 vsize=26538700 memory=1384 CPUtime=0 cores=0-7
/proc/32163/task/32181/stat : 32181 (java) S 32161 32161 30823 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 144485497 27175628800 246783 33554432000 4194304 4196468 140727242265696 139673632459488 139674513446613 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13135872 140727242269842 140727242270019 140727242270019 140727242272719 0
[pid=32163/tid=32182] ppid=32161 vsize=26538700 memory=987132 CPUtime=0.37 cores=0-7
/proc/32163/task/32182/stat : 32182 (java) S 32161 32161 30823 0 -1 1077944384 2489 0 0 0 0 37 0 0 20 0 28 0 144485497 27175628800 246783 33554432000 4194304 4196468 140727242265696 139673631407024 139674513447554 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13135872 140727242269842 140727242270019 140727242270019 140727242272719 0
[pid=32163/tid=32183] ppid=32161 vsize=26538700 memory=1728 CPUtime=2505.69 cores=0-7
/proc/32163/task/32183/stat : 32183 (java) R 32161 32161 30823 0 -1 4202560 5110 0 0 0 250565 4 0 0 20 0 28 0 144485550 27175628800 246783 33554432000 4194304 4196468 140727242265696 139673623395704 139674155543166 0 4 0 16800975 0 0 0 -1 4 0 0 4 0 0 6293624 6294260 13135872 140727242269842 140727242270019 140727242270019 140727242272719 0
[pid=32163/tid=32184] ppid=32161 vsize=26538700 memory=987132 CPUtime=2503.13 cores=0-7
/proc/32163/task/32184/stat : 32184 (java) R 32161 32161 30823 0 -1 4202560 5431 0 0 0 250309 4 0 0 20 0 28 0 144485550 27175628800 246783 33554432000 4194304 4196468 140727242265696 139673622344296 139674154765886 0 4 0 16800975 0 0 0 -1 0 0 0 4 0 0 6293624 6294260 13135872 140727242269842 140727242270019 140727242270019 140727242272719 0
[pid=32163/tid=32185] ppid=32161 vsize=26538700 memory=4132 CPUtime=2499.06 cores=0-7
/proc/32163/task/32185/stat : 32185 (java) R 32161 32161 30823 0 -1 4202560 46476 0 0 0 249883 23 0 0 20 0 28 0 144485550 27175628800 246783 33554432000 4194304 4196468 140727242265696 139673621290744 139674155585844 0 4 0 16800975 0 0 0 -1 3 0 0 5 0 0 6293624 6294260 13135872 140727242269842 140727242270019 140727242270019 140727242272719 0
[pid=32163/tid=32186] ppid=32161 vsize=26538700 memory=1398720917958146503 CPUtime=2500.79 cores=0-7
/proc/32163/task/32186/stat : 32186 (java) R 32161 32161 30823 0 -1 4202560 75101 0 0 0 250053 26 0 0 20 0 28 0 144485550 27175628800 246783 33554432000 4194304 4196468 140727242265696 139673620237960 139674155543797 0 4 0 16800975 0 0 0 -1 5 0 0 4 0 0 6293624 6294260 13135872 140727242269842 140727242270019 140727242270019 140727242272719 0
[pid=32163/tid=32187] ppid=32161 vsize=26538700 memory=960 CPUtime=2503.88 cores=0-7
/proc/32163/task/32187/stat : 32187 (java) R 32161 32161 30823 0 -1 4202560 21510 0 0 0 250375 13 0 0 20 0 28 0 144485550 27175628800 246783 33554432000 4194304 4196468 140727242265696 139673619188432 139674155516331 0 4 0 16800975 0 0 0 -1 7 0 0 5 0 0 6293624 6294260 13135872 140727242269842 140727242270019 140727242270019 140727242272719 0
[pid=32163/tid=32188] ppid=32161 vsize=26538700 memory=2424 CPUtime=2503.46 cores=0-7
/proc/32163/task/32188/stat : 32188 (java) R 32161 32161 30823 0 -1 4202560 5550 0 0 0 250342 4 0 0 20 0 28 0 144485550 27175628800 246783 33554432000 4194304 4196468 140727242265696 139673618133072 139674154765921 0 4 0 16800975 0 0 0 -1 2 0 0 5 0 0 6293624 6294260 13135872 140727242269842 140727242270019 140727242270019 140727242272719 0
[pid=32163/tid=32189] ppid=32161 vsize=26538700 memory=2236 CPUtime=2501.72 cores=0-7
/proc/32163/task/32189/stat : 32189 (java) R 32161 32161 30823 0 -1 4202560 4991 0 0 0 250167 5 0 0 20 0 28 0 144485550 27175628800 246783 33554432000 4194304 4196468 140727242265696 139673617080424 139674154589725 0 4 0 16800975 0 0 0 -1 6 0 0 6 0 0 6293624 6294260 13135872 140727242269842 140727242270019 140727242270019 140727242272719 0
[pid=32163/tid=32190] ppid=32161 vsize=26538700 memory=6791534058613427641 CPUtime=2504.04 cores=0-7
/proc/32163/task/32190/stat : 32190 (java) R 32161 32161 30823 0 -1 4202560 354820 0 0 0 250115 289 0 0 20 0 28 0 144485550 27175628800 246783 33554432000 4194304 4196468 140727242265696 139673616027776 139674155208664 0 4 0 16800975 0 0 0 -1 1 0 0 4 0 0 6293624 6294260 13135872 140727242269842 140727242270019 140727242270019 140727242272719 0
Current children cumulated CPU time: 20062.4 s
Current children cumulated vsize: 26548212 KiB
Current children cumulated memory: 988516 KiB

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

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

[startup+2520.12 s]
# the end of solver process 32163 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=20056.8 s, system=6.37226 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.12
CPU time (s): 20063.2
CPU user time (s): 20056.8
CPU system time (s): 6.37226
CPU usage (%): 796.119
Max. virtual memory (cumulated for all children) (KiB): 26548212
Max. memory (cumulated for all children) (KiB): 5114680

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 20056.8
system time used= 6.37226
maximum resident set size= 5119532
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 688542
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3152
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 219099
involuntary context switches= 213066


# summary of solver processes directly reported to runsolver:
#   pid: 32161,32163
#   total CPU time (s): 20063.2
#   total CPU user time (s): 20056.8
#   total CPU system time (s): 6.37226

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 19.4349 second user time and 28.2088 second system time

The end

Launcher Data

Begin job on node112 at 2017-08-19 05:25:18
IDJOB=4280694
IDBENCH=115865
IDSOLVER=2675
FILE ID=node112/4280694-1503113978
RUNJOBID= node112-1503110593-30850
PBS_JOBID= 20630756
Free space on /tmp= 61856 MiB

SOLVER NAME= choco-solver 4.0.5 par
BENCH NAME= XCSP17/ColouredQueens/ColouredQueens-m1-s1/ColouredQueens-12.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-4280694-1503113978/watcher-4280694-1503113978 -o /tmp/evaluation-result-4280694-1503113978/solver-4280694-1503113978 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node112-1503110593-30850 --watchdog 2580  ./xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 22000 -tdir HOME -seed 647757386 HOME/instance-4280694-1503113978.xml

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

MD5SUM BENCH= 130c0e53e5c1e074e18659561dd41fce
RANDOM SEED=647757386

node112.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.24
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.24
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.24
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.24
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:        26215256 kB
MemAvailable:   31971388 kB
Buffers:          243436 kB
Cached:          5802548 kB
SwapCached:            0 kB
Active:          1085932 kB
Inactive:        5011844 kB
Active(anon):       3432 kB
Inactive(anon):    84428 kB
Active(file):    1082500 kB
Inactive(file):  4927416 kB
Unevictable:        7840 kB
Mlocked:            7840 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:              7800 kB
Writeback:             0 kB
AnonPages:         59668 kB
Mapped:            50284 kB
Shmem:             33416 kB
Slab:             150696 kB
SReclaimable:     124100 kB
SUnreclaim:        26596 kB
KernelStack:        3152 kB
PageTables:         5044 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     332900 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:      4096 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      116096 kB
DirectMap2M:    33429504 kB

Free space on /tmp at the end= 61848 MiB
End job on node112 at 2017-08-19 06:07:19