Trace number 4271453

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)SAT (TO)7 2006.5699 252.10001

General information on the benchmark

NameBinPacking/BinPacking-sum-skj1/
BinPacking-sum-n1c3w4d.xml
MD5SUMe17d1f270cb1c92567283195f4efc493
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark8
Best CPU time to get the best result obtained on this benchmark75.319504
Satisfiable
(Un)Satisfiability was proved
Number of variables117
Number of constraints61
Number of domains2
Minimum domain size30
Maximum domain size37
Distribution of domain sizes[{"size":30,"count":1},{"size":37,"count":116}]
Minimum variable degree2
Maximum variable degree5
Distribution of variable degrees[{"degree":2,"count":1},{"degree":4,"count":87},{"degree":5,"count":29}]
Minimum constraint arity4
Maximum constraint arity116
Distribution of constraint arities[{"arity":4,"count":58},{"arity":30,"count":1},{"arity":116,"count":2}]
Number of extensional constraints0
Number of intensional constraints0
Distribution of constraint types[{"type":"ordered","count":29},{"type":"lex","count":1},{"type":"sum","count":29},{"type":"count","count":1},{"type":"cardinality","count":1}]
Optimization problemYES
Type of objectivemax VAR

Quality of the solution as a function of time


Download the above graph as a PDF file / as an EPS file

Solver Data 

0.00/0.00	c java -server -Xmx22000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4271453-1502645446.xml"  -tl '2016s' -p 8 -x 0
0.12/0.14	c [HOME/instance-4271453-1502645446.xml, -tl, 2016s, -p, 8, -x, 0]
0.12/0.19	c 8 solvers in parallel
0.33/0.26	c parse instance...
1.04/0.56	c solve instance...
723.24/91.19	o 5 
1121.09/141.03	o 7 
2005.87/252.08	s SATISFIABLE
2005.87/252.08	v <instantiation>
2005.87/252.08	v 	<list>x b[0][0] b[0][1] b[0][2] b[0][3] b[1][0] b[1][1] b[1][2] b[1][3] b[2][0] b[2][1] b[2][2] b[2][3] b[3][0] b[3][1] b[3][2] b[3][3] b[4][0] b[4][1] b[4][2] b[4][3] b[5][0] b[5][1] b[5][2] b[5][3] b[6][0] b[6][1] b[6][2] b[6][3] b[7][0] b[7][1] b[7][2] b[7][3] b[8][0] b[8][1] b[8][2] b[8][3] b[9][0] b[9][1] b[9][2] b[9][3] b[10][0] b[10][1] b[10][2] b[10][3] b[11][0] b[11][1] b[11][2] b[11][3] b[12][0] b[12][1] b[12][2] b[12][3] b[13][0] b[13][1] b[13][2] b[13][3] b[14][0] b[14][1] b[14][2] b[14][3] b[15][0] b[15][1] b[15][2] b[15][3] b[16][0] b[16][1] b[16][2] b[16][3] b[17][0] b[17][1] b[17][2] b[17][3] b[18][0] b[18][1] b[18][2] b[18][3] b[19][0] b[19][1] b[19][2] b[19][3] b[20][0] b[20][1] b[20][2] b[20][3] b[21][0] b[21][1] b[21][2] b[21][3] b[22][0] b[22][1] b[22][2] b[22][3] b[23][0] b[23][1] b[23][2] b[23][3] b[24][0] b[24][1] b[24][2] b[24][3] b[25][0] b[25][1] b[25][2] b[25][3] b[26][0] b[26][1] b[26][2] b[26][3] b[27][0] b[27][1] b[27][2] b[27][3] b[28][0] b[28][1] b[28][2] b[28][3] </list>
2005.87/252.08	v 	<values>7 100 49 0 0 96 54 0 0 93 56 0 0 90 58 0 0 88 61 0 0 88 61 0 0 86 64 0 0 85 58 0 0 84 58 0 0 84 54 0 0 83 67 0 0 83 53 0 0 80 48 0 0 80 47 0 0 79 45 0 0 77 45 0 0 77 44 0 0 74 43 33 0 70 41 37 0 68 41 40 0 51 40 36 0 34 34 33 31 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 </values>
2005.87/252.08	v </instantiation>
2005.87/252.08	c Unexpected resolution interruption!

Verifier Data 

OK	7

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4271453-1502645446/watcher-4271453-1502645446 -o /tmp/evaluation-result-4271453-1502645446/solver-4271453-1502645446 -C 2016 -W 252 -M 31000 --bin-var /tmp/runsolver-exch-node112-1502636672-7612 --watchdog 312 ./xcsp3-exec -dir HOME -tl 2016 -p 8 -ml 22000 -tdir HOME -seed 500845756 HOME/instance-4271453-1502645446.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=24966, runsolver pid=24963

[startup+0.100137 s]*
/proc/loadavg: 8.69 8.28 7.73 2/199 24987
/proc/meminfo: memFree=31680772/32770624 swapFree=67108860/67108860
[pid=24966] ppid=24963 vsize=9512 memory=1380 CPUtime=0 cores=0-7
/proc/24966/stat : 24966 (xcsp3-exec) S 24963 24966 7585 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 97632446 9740288 345 33554432000 4194304 5098028 140726046474320 140726046472424 139867601121916 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 37613568 140726046475371 140726046475580 140726046475580 140726046478315 0
/proc/24966/statm: 2378 345 289 221 0 87 0
[pid=24968] ppid=24966 vsize=25999808 memory=26776 CPUtime=0.12 cores=0-7
/proc/24968/stat : 24968 (java) S 24966 24966 7585 0 -1 1077944320 5641 0 0 0 11 1 0 0 20 0 20 0 97632446 26623803392 6694 33554432000 4194304 4196468 140724872922240 140724872904784 140708088745719 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 9158656 140724872930456 140724872930632 140724872930632 140724872933327 0
/proc/24968/statm: 6499952 6694 2847 1 0 6488269 0
[pid=24968/tid=24969] ppid=24966 vsize=25999808 memory=8329578418449326493 CPUtime=0.09 cores=0-7
/proc/24968/task/24969/stat : 24969 (java) R 24966 24966 7585 0 -1 4202560 3646 0 0 0 8 1 0 0 20 0 20 0 97632446 26623803392 6694 33554432000 4194304 4196468 140724872922240 140708092978992 140708088757654 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 9158656 140724872930456 140724872930632 140724872930632 140724872933327 0
[pid=24968/tid=24970] ppid=24966 vsize=25999808 memory=732369858261732325 CPUtime=0 cores=0-7
/proc/24968/task/24970/stat : 24970 (java) S 24966 24966 7585 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97632447 26623803392 6694 33554432000 4194304 4196468 140724872922240 140708041366672 140708088755925 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9158656 140724872930456 140724872930632 140724872930632 140724872933327 0
[pid=24968/tid=24971] ppid=24966 vsize=25999808 memory=139719924278912 CPUtime=0 cores=0-7
/proc/24968/task/24971/stat : 24971 (java) S 24966 24966 7585 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97632447 26623803392 6694 33554432000 4194304 4196468 140724872922240 140708040313872 140708088755925 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9158656 140724872930456 140724872930632 140724872930632 140724872933327 0
[pid=24968/tid=24972] ppid=24966 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/24968/task/24972/stat : 24972 (java) S 24966 24966 7585 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97632447 26623803392 6694 33554432000 4194304 4196468 140724872922240 140708039261072 140708088755925 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9158656 140724872930456 140724872930632 140724872930632 140724872933327 0
[pid=24968/tid=24973] ppid=24966 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/24968/task/24973/stat : 24973 (java) S 24966 24966 7585 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97632447 26623803392 6694 33554432000 4194304 4196468 140724872922240 140708038208272 140708088755925 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9158656 140724872930456 140724872930632 140724872930632 140724872933327 0
[pid=24968/tid=24974] ppid=24966 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/24968/task/24974/stat : 24974 (java) S 24966 24966 7585 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97632447 26623803392 6694 33554432000 4194304 4196468 140724872922240 140708037155472 140708088755925 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9158656 140724872930456 140724872930632 140724872930632 140724872933327 0
[pid=24968/tid=24975] ppid=24966 vsize=25999808 memory=-1 CPUtime=0 cores=0-7
/proc/24968/task/24975/stat : 24975 (java) S 24966 24966 7585 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97632447 26623803392 6694 33554432000 4194304 4196468 140724872922240 140708036102672 140708088755925 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9158656 140724872930456 140724872930632 140724872930632 140724872933327 0
[pid=24968/tid=24976] ppid=24966 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/24968/task/24976/stat : 24976 (java) S 24966 24966 7585 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97632447 26623803392 6694 33554432000 4194304 4196468 140724872922240 140708035049872 140708088755925 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9158656 140724872930456 140724872930632 140724872930632 140724872933327 0
[pid=24968/tid=24977] ppid=24966 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/24968/task/24977/stat : 24977 (java) S 24966 24966 7585 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 97632447 26623803392 6694 33554432000 4194304 4196468 140724872922240 140708033997072 140708088755925 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9158656 140724872930456 140724872930632 140724872930632 140724872933327 0
[pid=24968/tid=24978] ppid=24966 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/24968/task/24978/stat : 24978 (java) S 24966 24966 7585 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97632448 26623803392 6694 33554432000 4194304 4196468 140724872922240 140707081718640 140708088756866 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9158656 140724872930456 140724872930632 140724872930632 140724872933327 0
[pid=24968/tid=24979] ppid=24966 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/24968/task/24979/stat : 24979 (java) S 24966 24966 7585 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 97632449 26623803392 6694 33554432000 4194304 4196468 140724872922240 140707080664608 140708088755925 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9158656 140724872930456 140724872930632 140724872930632 140724872933327 0
[pid=24968/tid=24980] ppid=24966 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/24968/task/24980/stat : 24980 (java) S 24966 24966 7585 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 97632449 26623803392 6694 33554432000 4194304 4196468 140724872922240 140707079611760 140708088755925 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9158656 140724872930456 140724872930632 140724872930632 140724872933327 0
[pid=24968/tid=24981] ppid=24966 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/24968/task/24981/stat : 24981 (java) S 24966 24966 7585 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97632452 26623803392 6694 33554432000 4194304 4196468 140724872922240 140707078560080 140708088764315 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9158656 140724872930456 140724872930632 140724872930632 140724872933327 0
[pid=24968/tid=24982] ppid=24966 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/24968/task/24982/stat : 24982 (java) S 24966 24966 7585 0 -1 1077944384 307 0 0 0 0 0 0 0 20 0 20 0 97632452 26623803392 6694 33554432000 4194304 4196468 140724872922240 140707077507440 140708088756866 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9158656 140724872930456 140724872930632 140724872930632 140724872933327 0
[pid=24968/tid=24983] ppid=24966 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/24968/task/24983/stat : 24983 (java) S 24966 24966 7585 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 97632452 26623803392 6694 33554432000 4194304 4196468 140724872922240 140707076454640 140708088756866 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9158656 140724872930456 140724872930632 140724872930632 140724872933327 0
[pid=24968/tid=24984] ppid=24966 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/24968/task/24984/stat : 24984 (java) S 24966 24966 7585 0 -1 1077944384 126 0 0 0 0 0 0 0 20 0 20 0 97632452 26623803392 6694 33554432000 4194304 4196468 140724872922240 140707075401840 140708088756866 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9158656 140724872930456 140724872930632 140724872930632 140724872933327 0
[pid=24968/tid=24985] ppid=24966 vsize=25999808 memory=0 CPUtime=0.01 cores=0-7
/proc/24968/task/24985/stat : 24985 (java) R 24966 24966 7585 0 -1 4202560 247 0 0 0 1 0 0 0 20 0 20 0 97632452 26623803392 6694 33554432000 4194304 4196468 140724872922240 140707074349040 140708088757654 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 9158656 140724872930456 140724872930632 140724872930632 140724872933327 0
[pid=24968/tid=24986] ppid=24966 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/24968/task/24986/stat : 24986 (java) S 24966 24966 7585 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 97632452 26623803392 6694 33554432000 4194304 4196468 140724872922240 140707073297504 140708088755925 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9158656 140724872930456 140724872930632 140724872930632 140724872933327 0
[pid=24968/tid=24987] ppid=24966 vsize=25999808 memory=-1 CPUtime=0 cores=0-7
/proc/24968/task/24987/stat : 24987 (java) S 24966 24966 7585 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97632452 26623803392 6694 33554432000 4194304 4196468 140724872922240 140707072244784 140708088756866 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9158656 140724872930456 140724872930632 140724872930632 140724872933327 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 26009320 KiB
Current children cumulated memory: 28156 KiB

[startup+0.210305 s]*
/proc/loadavg: 8.69 8.28 7.73 2/199 24987
/proc/meminfo: memFree=31669964/32770624 swapFree=67108860/67108860
[pid=24966] ppid=24963 vsize=9512 memory=1380 CPUtime=0 cores=0-7
/proc/24966/stat : 24966 (xcsp3-exec) S 24963 24966 7585 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 97632446 9740288 345 33554432000 4194304 5098028 140726046474320 140726046472424 139867601121916 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 37613568 140726046475371 140726046475580 140726046475580 140726046478315 0
/proc/24966/statm: 2378 345 289 221 0 87 0
[pid=24968] ppid=24966 vsize=26004096 memory=39028 CPUtime=0.33 cores=0-7
/proc/24968/stat : 24968 (java) S 24966 24966 7585 0 -1 1077944320 8359 0 0 0 30 3 0 0 20 0 20 0 97632446 26628194304 9757 33554432000 4194304 4196468 140724872922240 140724872904784 140708088745719 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 9158656 140724872930456 140724872930632 140724872930632 140724872933327 0
/proc/24968/statm: 6501024 9757 3077 1 0 6488277 0
[pid=24968/tid=24969] ppid=24966 vsize=26004096 memory=0 CPUtime=0.2 cores=0-7
/proc/24968/task/24969/stat : 24969 (java) R 24966 24966 7585 0 -1 4202560 5463 0 0 0 18 2 0 0 20 0 20 0 97632446 26628194304 9757 33554432000 4194304 4196468 140724872922240 140708092947408 140708081425437 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 9158656 140724872930456 140724872930632 140724872930632 140724872933327 0
[pid=24968/tid=24970] ppid=24966 vsize=26004064 memory=279439706711800 CPUtime=0 cores=0-7
/proc/24968/task/24970/stat : 24970 (java) S 24966 24966 7585 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97632447 26628161536 9757 33554432000 4194304 4196468 140724872922240 140708041366672 140708088755925 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9158656 140724872930456 140724872930632 140724872930632 140724872933327 0
[pid=24968/tid=24971] ppid=24966 vsize=26004064 memory=139719924278912 CPUtime=0 cores=0-7
/proc/24968/task/24971/stat : 24971 (java) S 24966 24966 7585 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97632447 26628161536 9757 33554432000 4194304 4196468 140724872922240 140708040313872 140708088755925 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9158656 140724872930456 140724872930632 140724872930632 140724872933327 0
[pid=24968/tid=24972] ppid=24966 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/24968/task/24972/stat : 24972 (java) S 24966 24966 7585 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97632447 26628161536 9757 33554432000 4194304 4196468 140724872922240 140708039261072 140708088755925 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9158656 140724872930456 140724872930632 140724872930632 140724872933327 0
[pid=24968/tid=24973] ppid=24966 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/24968/task/24973/stat : 24973 (java) S 24966 24966 7585 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97632447 26628161536 9757 33554432000 4194304 4196468 140724872922240 140708038208272 140708088755925 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9158656 140724872930456 140724872930632 140724872930632 140724872933327 0
[pid=24968/tid=24974] ppid=24966 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/24968/task/24974/stat : 24974 (java) S 24966 24966 7585 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97632447 26628161536 9757 33554432000 4194304 4196468 140724872922240 140708037155472 140708088755925 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9158656 140724872930456 140724872930632 140724872930632 140724872933327 0
[pid=24968/tid=24975] ppid=24966 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/24968/task/24975/stat : 24975 (java) S 24966 24966 7585 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97632447 26628161536 9757 33554432000 4194304 4196468 140724872922240 140708036102672 140708088755925 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9158656 140724872930456 140724872930632 140724872930632 140724872933327 0
[pid=24968/tid=24976] ppid=24966 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/24968/task/24976/stat : 24976 (java) S 24966 24966 7585 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97632447 26628161536 9757 33554432000 4194304 4196468 140724872922240 140708035049872 140708088755925 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9158656 140724872930456 140724872930632 140724872930632 140724872933327 0
[pid=24968/tid=24977] ppid=24966 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/24968/task/24977/stat : 24977 (java) S 24966 24966 7585 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 97632447 26628161536 9757 33554432000 4194304 4196468 140724872922240 140708033997072 140708088755925 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9158656 140724872930456 140724872930632 140724872930632 140724872933327 0
[pid=24968/tid=24978] ppid=24966 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/24968/task/24978/stat : 24978 (java) S 24966 24966 7585 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97632448 26628161536 9757 33554432000 4194304 4196468 140724872922240 140707081718640 140708088756866 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9158656 140724872930456 140724872930632 140724872930632 140724872933327 0
[pid=24968/tid=24979] ppid=24966 vsize=26004096 memory=0 CPUtime=0 cores=0-7
/proc/24968/task/24979/stat : 24979 (java) S 24966 24966 7585 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 97632449 26628194304 9757 33554432000 4194304 4196468 140724872922240 140707080664608 140708088755925 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9158656 140724872930456 140724872930632 140724872930632 140724872933327 0
[pid=24968/tid=24980] ppid=24966 vsize=26004096 memory=0 CPUtime=0 cores=0-7
/proc/24968/task/24980/stat : 24980 (java) S 24966 24966 7585 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 97632449 26628194304 9757 33554432000 4194304 4196468 140724872922240 140707079611760 140708088755925 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9158656 140724872930456 140724872930632 140724872930632 140724872933327 0
[pid=24968/tid=24981] ppid=24966 vsize=26004096 memory=0 CPUtime=0 cores=0-7
/proc/24968/task/24981/stat : 24981 (java) S 24966 24966 7585 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97632452 26628194304 9757 33554432000 4194304 4196468 140724872922240 140707078560080 140708088764315 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9158656 140724872930456 140724872930632 140724872930632 140724872933327 0
[pid=24968/tid=24982] ppid=24966 vsize=26004064 memory=0 CPUtime=0.01 cores=0-7
/proc/24968/task/24982/stat : 24982 (java) S 24966 24966 7585 0 -1 1077944384 346 0 0 0 1 0 0 0 20 0 20 0 97632452 26628161536 9757 33554432000 4194304 4196468 140724872922240 140707077507440 140708088756866 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9158656 140724872930456 140724872930632 140724872930632 140724872933327 0
[pid=24968/tid=24983] ppid=24966 vsize=26004064 memory=0 CPUtime=0.01 cores=0-7
/proc/24968/task/24983/stat : 24983 (java) S 24966 24966 7585 0 -1 1077944384 352 0 0 0 1 0 0 0 20 0 20 0 97632452 26628161536 9757 33554432000 4194304 4196468 140724872922240 140707076454640 140708088756866 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9158656 140724872930456 140724872930632 140724872930632 140724872933327 0
[pid=24968/tid=24984] ppid=24966 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/24968/task/24984/stat : 24984 (java) S 24966 24966 7585 0 -1 1077944384 197 0 0 0 0 0 0 0 20 0 20 0 97632452 26628161536 9757 33554432000 4194304 4196468 140724872922240 140707075401840 140708088756866 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9158656 140724872930456 140724872930632 140724872930632 140724872933327 0
[pid=24968/tid=24985] ppid=24966 vsize=26004064 memory=0 CPUtime=0.07 cores=0-7
/proc/24968/task/24985/stat : 24985 (java) S 24966 24966 7585 0 -1 1077944384 697 0 0 0 7 0 0 0 20 0 20 0 97632452 26628161536 9757 33554432000 4194304 4196468 140724872922240 140707074349040 140708088756866 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9158656 140724872930456 140724872930632 140724872930632 140724872933327 0
[pid=24968/tid=24986] ppid=24966 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/24968/task/24986/stat : 24986 (java) S 24966 24966 7585 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 97632452 26628161536 9757 33554432000 4194304 4196468 140724872922240 140707073297504 140708088755925 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9158656 140724872930456 140724872930632 140724872930632 140724872933327 0
[pid=24968/tid=24987] ppid=24966 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/24968/task/24987/stat : 24987 (java) S 24966 24966 7585 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97632452 26628161536 9757 33554432000 4194304 4196468 140724872922240 140707072244784 140708088756866 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9158656 140724872930456 140724872930632 140724872930632 140724872933327 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 26013608 KiB
Current children cumulated memory: 40408 KiB

[startup+0.310081 s]*
/proc/loadavg: 8.69 8.28 7.73 3/199 24987
/proc/meminfo: memFree=31663980/32770624 swapFree=67108860/67108860
[pid=24966] ppid=24963 vsize=9512 memory=1380 CPUtime=0 cores=0-7
/proc/24966/stat : 24966 (xcsp3-exec) S 24963 24966 7585 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 97632446 9740288 345 33554432000 4194304 5098028 140726046474320 140726046472424 139867601121916 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 37613568 140726046475371 140726046475580 140726046475580 140726046478315 0
/proc/24966/statm: 2378 345 289 221 0 87 0
[pid=24968] ppid=24966 vsize=26004140 memory=45936 CPUtime=0.49 cores=0-7
/proc/24968/stat : 24968 (java) S 24966 24966 7585 0 -1 1077944320 9260 0 0 0 46 3 0 0 20 0 20 0 97632446 26628239360 11484 33554432000 4194304 4196468 140724872922240 140724872904784 140708088745719 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 9158656 140724872930456 140724872930632 140724872930632 140724872933327 0
/proc/24968/statm: 6501035 11484 3093 1 0 6488269 0
[pid=24968/tid=24969] ppid=24966 vsize=26004140 memory=6791534058613427641 CPUtime=0.29 cores=0-7
/proc/24968/task/24969/stat : 24969 (java) R 24966 24966 7585 0 -1 4202560 6220 0 0 0 27 2 0 0 20 0 20 0 97632446 26628239360 11484 33554432000 4194304 4196468 140724872922240 140708092978048 140708072826206 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 9158656 140724872930456 140724872930632 140724872930632 140724872933327 0
[pid=24968/tid=24970] ppid=24966 vsize=26004140 memory=0 CPUtime=0 cores=0-7
/proc/24968/task/24970/stat : 24970 (java) S 24966 24966 7585 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97632447 26628239360 11484 33554432000 4194304 4196468 140724872922240 140708041366672 140708088755925 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9158656 140724872930456 140724872930632 140724872930632 140724872933327 0
[pid=24968/tid=24971] ppid=24966 vsize=26004140 memory=0 CPUtime=0 cores=0-7
/proc/24968/task/24971/stat : 24971 (java) S 24966 24966 7585 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97632447 26628239360 11484 33554432000 4194304 4196468 140724872922240 140708040313872 140708088755925 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9158656 140724872930456 140724872930632 140724872930632 140724872933327 0
[pid=24968/tid=24972] ppid=24966 vsize=26004140 memory=0 CPUtime=0 cores=0-7
/proc/24968/task/24972/stat : 24972 (java) S 24966 24966 7585 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97632447 26628239360 11484 33554432000 4194304 4196468 140724872922240 140708039261072 140708088755925 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9158656 140724872930456 140724872930632 140724872930632 140724872933327 0
[pid=24968/tid=24973] ppid=24966 vsize=26004140 memory=0 CPUtime=0 cores=0-7
/proc/24968/task/24973/stat : 24973 (java) S 24966 24966 7585 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97632447 26628239360 11484 33554432000 4194304 4196468 140724872922240 140708038208272 140708088755925 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9158656 140724872930456 140724872930632 140724872930632 140724872933327 0
[pid=24968/tid=24974] ppid=24966 vsize=26004140 memory=2244 CPUtime=0 cores=0-7
/proc/24968/task/24974/stat : 24974 (java) S 24966 24966 7585 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97632447 26628239360 11484 33554432000 4194304 4196468 140724872922240 140708037155472 140708088755925 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9158656 140724872930456 140724872930632 140724872930632 140724872933327 0
[pid=24968/tid=24975] ppid=24966 vsize=26004140 memory=139719782527919 CPUtime=0 cores=0-7
/proc/24968/task/24975/stat : 24975 (java) S 24966 24966 7585 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97632447 26628239360 11484 33554432000 4194304 4196468 140724872922240 140708036102672 140708088755925 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9158656 140724872930456 140724872930632 140724872930632 140724872933327 0
[pid=24968/tid=24976] ppid=24966 vsize=26004140 memory=139719782530224 CPUtime=0 cores=0-7
/proc/24968/task/24976/stat : 24976 (java) S 24966 24966 7585 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97632447 26628239360 11484 33554432000 4194304 4196468 140724872922240 140708035049872 140708088755925 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9158656 140724872930456 140724872930632 140724872930632 140724872933327 0
[pid=24968/tid=24977] ppid=24966 vsize=26004140 memory=139719782532528 CPUtime=0 cores=0-7
/proc/24968/task/24977/stat : 24977 (java) S 24966 24966 7585 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 97632447 26628239360 11484 33554432000 4194304 4196468 140724872922240 140708033997072 140708088755925 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9158656 140724872930456 140724872930632 140724872930632 140724872933327 0
[pid=24968/tid=24978] ppid=24966 vsize=26004140 memory=0 CPUtime=0 cores=0-7
/proc/24968/task/24978/stat : 24978 (java) S 24966 24966 7585 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97632448 26628239360 11484 33554432000 4194304 4196468 140724872922240 140707081718640 140708088756866 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9158656 140724872930456 140724872930632 140724872930632 140724872933327 0
[pid=24968/tid=24979] ppid=24966 vsize=26004140 memory=279439565072016 CPUtime=0 cores=0-7
/proc/24968/task/24979/stat : 24979 (java) S 24966 24966 7585 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 97632449 26628239360 11484 33554432000 4194304 4196468 140724872922240 140707080664608 140708088755925 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9158656 140724872930456 140724872930632 140724872930632 140724872933327 0
[pid=24968/tid=24980] ppid=24966 vsize=26004140 memory=279439565078928 CPUtime=0 cores=0-7
/proc/24968/task/24980/stat : 24980 (java) S 24966 24966 7585 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 97632449 26628239360 11484 33554432000 4194304 4196468 140724872922240 140707079611760 140708088755925 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9158656 140724872930456 140724872930632 140724872930632 140724872933327 0
[pid=24968/tid=24981] ppid=24966 vsize=26004140 memory=279439565020208 CPUtime=0 cores=0-7
/proc/24968/task/24981/stat : 24981 (java) S 24966 24966 7585 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97632452 26628239360 11484 33554432000 4194304 4196468 140724872922240 140707078560080 140708088764315 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9158656 140724872930456 140724872930632 140724872930632 140724872933327 0
[pid=24968/tid=24982] ppid=24966 vsize=26004140 memory=279439565092752 CPUtime=0.02 cores=0-7
/proc/24968/task/24982/stat : 24982 (java) S 24966 24966 7585 0 -1 1077944384 385 0 0 0 2 0 0 0 20 0 20 0 97632452 26628239360 11484 33554432000 4194304 4196468 140724872922240 140707077507440 140708088756866 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9158656 140724872930456 140724872930632 140724872930632 140724872933327 0
[pid=24968/tid=24983] ppid=24966 vsize=26004140 memory=279439565099664 CPUtime=0.02 cores=0-7
/proc/24968/task/24983/stat : 24983 (java) S 24966 24966 7585 0 -1 1077944384 354 0 0 0 2 0 0 0 20 0 20 0 97632452 26628239360 11484 33554432000 4194304 4196468 140724872922240 140707076454640 140708088756866 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9158656 140724872930456 140724872930632 140724872930632 140724872933327 0
[pid=24968/tid=24984] ppid=24966 vsize=26004140 memory=279439565097360 CPUtime=0.01 cores=0-7
/proc/24968/task/24984/stat : 24984 (java) S 24966 24966 7585 0 -1 1077944384 198 0 0 0 1 0 0 0 20 0 20 0 97632452 26628239360 11484 33554432000 4194304 4196468 140724872922240 140707075401840 140708088756866 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9158656 140724872930456 140724872930632 140724872930632 140724872933327 0
[pid=24968/tid=24985] ppid=24966 vsize=26004140 memory=279439565113520 CPUtime=0.12 cores=0-7
/proc/24968/task/24985/stat : 24985 (java) S 24966 24966 7585 0 -1 1077944384 794 0 0 0 12 0 0 0 20 0 20 0 97632452 26628239360 11484 33554432000 4194304 4196468 140724872922240 140707074349040 140708088756866 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9158656 140724872930456 140724872930632 140724872930632 140724872933327 0
[pid=24968/tid=24986] ppid=24966 vsize=26004140 memory=0 CPUtime=0 cores=0-7
/proc/24968/task/24986/stat : 24986 (java) S 24966 24966 7585 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 97632452 26628239360 11484 33554432000 4194304 4196468 140724872922240 140707073297504 140708088755925 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9158656 140724872930456 140724872930632 140724872930632 140724872933327 0
[pid=24968/tid=24987] ppid=24966 vsize=26004140 memory=-1 CPUtime=0 cores=0-7
/proc/24968/task/24987/stat : 24987 (java) S 24966 24966 7585 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97632452 26628239360 11484 33554432000 4194304 4196468 140724872922240 140707072244784 140708088756866 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9158656 140724872930456 140724872930632 140724872930632 140724872933327 0
Current children cumulated CPU time: 0.49 s
Current children cumulated vsize: 26013652 KiB
Current children cumulated memory: 47316 KiB

[startup+0.700945 s]
/proc/loadavg: 8.69 8.28 7.73 4/199 24987
/proc/meminfo: memFree=31646240/32770624 swapFree=67108860/67108860
[pid=24966] ppid=24963 vsize=9512 memory=1380 CPUtime=0 cores=0-7
/proc/24966/stat : 24966 (xcsp3-exec) S 24963 24966 7585 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 97632446 9740288 345 33554432000 4194304 5098028 140726046474320 140726046472424 139867601121916 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 37613568 140726046475371 140726046475580 140726046475580 140726046478315 0
/proc/24966/statm: 2378 345 289 221 0 87 0
[pid=24968] ppid=24966 vsize=26538700 memory=89092 CPUtime=2.17 cores=0-7
/proc/24968/stat : 24968 (java) S 24966 24966 7585 0 -1 1077944320 12622 0 0 0 212 5 0 0 20 0 28 0 97632446 27175628800 22273 33554432000 4194304 4196468 140724872922240 140724872904784 140708088745719 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 9158656 140724872930456 140724872930632 140724872930632 140724872933327 0
/proc/24968/statm: 6634675 22273 3202 1 0 6621909 0
[pid=24968/tid=24969] ppid=24966 vsize=26538700 memory=279439565408384 CPUtime=0.53 cores=0-7
/proc/24968/task/24969/stat : 24969 (java) S 24966 24966 7585 0 -1 1077944384 6839 0 0 0 51 2 0 0 20 0 28 0 97632446 27175628800 22273 33554432000 4194304 4196468 140724872922240 140708092986496 140708088755925 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9158656 140724872930456 140724872930632 140724872930632 140724872933327 0
[pid=24968/tid=24970] ppid=24966 vsize=26538700 memory=5788 CPUtime=0 cores=0-7
/proc/24968/task/24970/stat : 24970 (java) S 24966 24966 7585 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 28 0 97632447 27175628800 22273 33554432000 4194304 4196468 140724872922240 140708041366672 140708088755925 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9158656 140724872930456 140724872930632 140724872930632 140724872933327 0
[pid=24968/tid=24971] ppid=24966 vsize=26538700 memory=1228 CPUtime=0 cores=0-7
/proc/24968/task/24971/stat : 24971 (java) S 24966 24966 7585 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 28 0 97632447 27175628800 22273 33554432000 4194304 4196468 140724872922240 140708040313872 140708088755925 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9158656 140724872930456 140724872930632 140724872930632 140724872933327 0
[pid=24968/tid=24972] ppid=24966 vsize=26538700 memory=796 CPUtime=0 cores=0-7
/proc/24968/task/24972/stat : 24972 (java) S 24966 24966 7585 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 28 0 97632447 27175628800 22273 33554432000 4194304 4196468 140724872922240 140708039261072 140708088755925 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9158656 140724872930456 140724872930632 140724872930632 140724872933327 0

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

[pid=24968/tid=25011] ppid=24966 vsize=26538700 memory=1380 CPUtime=21.13 cores=0-7
/proc/24968/task/25011/stat : 25011 (java) R 24966 24966 7585 0 -1 4202560 331 0 0 0 2113 0 0 0 20 0 28 0 97646549 27175628800 52262 33554432000 4194304 4196468 140724872922240 140707063181152 140707714155027 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 9158656 140724872930456 140724872930632 140724872930632 140724872933327 0
Current children cumulated CPU time: 1290.66 s
Current children cumulated vsize: 26548212 KiB
Current children cumulated memory: 210428 KiB

[startup+222.301 s]
/proc/loadavg: 8.23 8.23 7.83 9/208 25018
/proc/meminfo: memFree=31531980/32770624 swapFree=67108860/67108860
[pid=24966] ppid=24963 vsize=9512 memory=1380 CPUtime=0 cores=0-7
/proc/24966/stat : 24966 (xcsp3-exec) S 24963 24966 7585 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 97632446 9740288 345 33554432000 4194304 5098028 140726046474320 140726046472424 139867601121916 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 37613568 140726046475371 140726046475580 140726046475580 140726046478315 0
/proc/24966/statm: 2378 345 289 221 0 87 0
[pid=24968] ppid=24966 vsize=26538700 memory=178428 CPUtime=1769.11 cores=0-7
/proc/24968/stat : 24968 (java) S 24966 24966 7585 0 -1 1077944320 91938 0 0 0 176868 43 0 0 20 0 28 0 97632446 27175628800 44607 33554432000 4194304 4196468 140724872922240 140724872904784 140708088745719 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 9158656 140724872930456 140724872930632 140724872930632 140724872933327 0
/proc/24968/statm: 6634675 44607 3279 1 0 6621909 0
[pid=24968/tid=24969] ppid=24966 vsize=26538700 memory=178856 CPUtime=0.55 cores=0-7
/proc/24968/task/24969/stat : 24969 (java) S 24966 24966 7585 0 -1 1077944384 7335 0 0 0 52 3 0 0 20 0 28 0 97632446 27175628800 44607 33554432000 4194304 4196468 140724872922240 140708092986496 140708088755925 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9158656 140724872930456 140724872930632 140724872930632 140724872933327 0
[pid=24968/tid=24970] ppid=24966 vsize=26538700 memory=0 CPUtime=0.09 cores=0-7
/proc/24968/task/24970/stat : 24970 (java) S 24966 24966 7585 0 -1 1077944384 1784 0 0 0 8 1 0 0 20 0 28 0 97632447 27175628800 44607 33554432000 4194304 4196468 140724872922240 140708041366672 140708088755925 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9158656 140724872930456 140724872930632 140724872930632 140724872933327 0
[pid=24968/tid=24971] ppid=24966 vsize=26538700 memory=178856 CPUtime=0.08 cores=0-7
/proc/24968/task/24971/stat : 24971 (java) S 24966 24966 7585 0 -1 1077944384 2000 0 0 0 7 1 0 0 20 0 28 0 97632447 27175628800 44607 33554432000 4194304 4196468 140724872922240 140708040313872 140708088755925 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9158656 140724872930456 140724872930632 140724872930632 140724872933327 0
[pid=24968/tid=24972] ppid=24966 vsize=26538700 memory=178428 CPUtime=0.08 cores=0-7
/proc/24968/task/24972/stat : 24972 (java) S 24966 24966 7585 0 -1 1077944384 811 0 0 0 7 1 0 0 20 0 28 0 97632447 27175628800 44607 33554432000 4194304 4196468 140724872922240 140708039261072 140708088755925 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9158656 140724872930456 140724872930632 140724872930632 140724872933327 0
[pid=24968/tid=24973] ppid=24966 vsize=26538700 memory=178428 CPUtime=0.08 cores=0-7
/proc/24968/task/24973/stat : 24973 (java) S 24966 24966 7585 0 -1 1077944384 1860 0 0 0 7 1 0 0 20 0 28 0 97632447 27175628800 44607 33554432000 4194304 4196468 140724872922240 140708038208272 140708088755925 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9158656 140724872930456 140724872930632 140724872930632 140724872933327 0
[pid=24968/tid=24974] ppid=24966 vsize=26538700 memory=178428 CPUtime=0.08 cores=0-7
/proc/24968/task/24974/stat : 24974 (java) S 24966 24966 7585 0 -1 1077944384 2883 0 0 0 6 2 0 0 20 0 28 0 97632447 27175628800 44607 33554432000 4194304 4196468 140724872922240 140708037155472 140708088755925 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9158656 140724872930456 140724872930632 140724872930632 140724872933327 0
[pid=24968/tid=24975] ppid=24966 vsize=26538700 memory=178428 CPUtime=0.08 cores=0-7
/proc/24968/task/24975/stat : 24975 (java) S 24966 24966 7585 0 -1 1077944384 1757 0 0 0 7 1 0 0 20 0 28 0 97632447 27175628800 44607 33554432000 4194304 4196468 140724872922240 140708036102672 140708088755925 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9158656 140724872930456 140724872930632 140724872930632 140724872933327 0
[pid=24968/tid=24976] ppid=24966 vsize=26538700 memory=178428 CPUtime=0.07 cores=0-7
/proc/24968/task/24976/stat : 24976 (java) S 24966 24966 7585 0 -1 1077944384 496 0 0 0 6 1 0 0 20 0 28 0 97632447 27175628800 44607 33554432000 4194304 4196468 140724872922240 140708035049872 140708088755925 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9158656 140724872930456 140724872930632 140724872930632 140724872933327 0
[pid=24968/tid=24977] ppid=24966 vsize=26538700 memory=1380 CPUtime=0.08 cores=0-7
/proc/24968/task/24977/stat : 24977 (java) S 24966 24966 7585 0 -1 1077944384 1503 0 0 0 7 1 0 0 20 0 28 0 97632447 27175628800 44607 33554432000 4194304 4196468 140724872922240 140708033997072 140708088755925 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9158656 140724872930456 140724872930632 140724872930632 140724872933327 0
[pid=24968/tid=24978] ppid=24966 vsize=26538700 memory=139724219246207 CPUtime=0.08 cores=0-7
/proc/24968/task/24978/stat : 24978 (java) S 24966 24966 7585 0 -1 1077944384 4939 0 0 0 5 3 0 0 20 0 28 0 97632448 27175628800 44607 33554432000 4194304 4196468 140724872922240 140707081718640 140708088756866 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9158656 140724872930456 140724872930632 140724872930632 140724872933327 0
[pid=24968/tid=24979] ppid=24966 vsize=26538700 memory=178856 CPUtime=0 cores=0-7
/proc/24968/task/24979/stat : 24979 (java) S 24966 24966 7585 0 -1 1077944384 74 0 0 0 0 0 0 0 20 0 28 0 97632449 27175628800 44607 33554432000 4194304 4196468 140724872922240 140707080664672 140708088755925 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9158656 140724872930456 140724872930632 140724872930632 140724872933327 0
[pid=24968/tid=24980] ppid=24966 vsize=26538700 memory=4132 CPUtime=0 cores=0-7
/proc/24968/task/24980/stat : 24980 (java) S 24966 24966 7585 0 -1 1077944384 63 0 0 0 0 0 0 0 20 0 28 0 97632449 27175628800 44607 33554432000 4194304 4196468 140724872922240 140707079611760 140708088755925 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9158656 140724872930456 140724872930632 140724872930632 140724872933327 0
[pid=24968/tid=24981] ppid=24966 vsize=26538700 memory=97 CPUtime=0 cores=0-7
/proc/24968/task/24981/stat : 24981 (java) S 24966 24966 7585 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 97632452 27175628800 44607 33554432000 4194304 4196468 140724872922240 140707078560080 140708088764315 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9158656 140724872930456 140724872930632 140724872930632 140724872933327 0
[pid=24968/tid=24982] ppid=24966 vsize=26538700 memory=7310734780372032305 CPUtime=1.48 cores=0-7
/proc/24968/task/24982/stat : 24982 (java) S 24966 24966 7585 0 -1 1077944384 12222 0 0 0 146 2 0 0 20 0 28 0 97632452 27175628800 44607 33554432000 4194304 4196468 140724872922240 140707077507440 140708088756866 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9158656 140724872930456 140724872930632 140724872930632 140724872933327 0
[pid=24968/tid=24983] ppid=24966 vsize=26538700 memory=4132 CPUtime=1.38 cores=0-7
/proc/24968/task/24983/stat : 24983 (java) S 24966 24966 7585 0 -1 1077944384 11391 0 0 0 135 3 0 0 20 0 28 0 97632452 27175628800 44607 33554432000 4194304 4196468 140724872922240 140707076454640 140708088756866 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9158656 140724872930456 140724872930632 140724872930632 140724872933327 0
[pid=24968/tid=24984] ppid=24966 vsize=26538700 memory=28408 CPUtime=1.7 cores=0-7
/proc/24968/task/24984/stat : 24984 (java) S 24966 24966 7585 0 -1 1077944384 11568 0 0 0 168 2 0 0 20 0 28 0 97632452 27175628800 44607 33554432000 4194304 4196468 140724872922240 140707075401840 140708088756866 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9158656 140724872930456 140724872930632 140724872930632 140724872933327 0
[pid=24968/tid=24985] ppid=24966 vsize=26538700 memory=184464 CPUtime=0.54 cores=0-7
/proc/24968/task/24985/stat : 24985 (java) S 24966 24966 7585 0 -1 1077944384 7238 0 0 0 53 1 0 0 20 0 28 0 97632452 27175628800 44607 33554432000 4194304 4196468 140724872922240 140707074349040 140708088756866 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 6 0 0 6293624 6294260 9158656 140724872930456 140724872930632 140724872930632 140724872933327 0
[pid=24968/tid=24986] ppid=24966 vsize=26538700 memory=1380 CPUtime=0 cores=0-7
/proc/24968/task/24986/stat : 24986 (java) S 24966 24966 7585 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 97632452 27175628800 44607 33554432000 4194304 4196468 140724872922240 140707073297504 140708088755925 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9158656 140724872930456 140724872930632 140724872930632 140724872933327 0
[pid=24968/tid=24987] ppid=24966 vsize=26538700 memory=0 CPUtime=0.03 cores=0-7
/proc/24968/task/24987/stat : 24987 (java) S 24966 24966 7585 0 -1 1077944384 1869 0 0 0 3 0 0 0 20 0 28 0 97632452 27175628800 44607 33554432000 4194304 4196468 140724872922240 140707072244784 140708088756866 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 9 0 0 6293624 6294260 9158656 140724872930456 140724872930632 140724872930632 140724872933327 0
[pid=24968/tid=25004] ppid=24966 vsize=26538700 memory=3 CPUtime=81.17 cores=0-7
/proc/24968/task/25004/stat : 25004 (java) R 24966 24966 7585 0 -1 4202560 317 0 0 0 8117 0 0 0 20 0 28 0 97646549 27175628800 44607 33554432000 4194304 4196468 140724872922240 140707061075720 140707713053515 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 9158656 140724872930456 140724872930632 140724872930632 140724872933327 0
[pid=24968/tid=25005] ppid=24966 vsize=26538700 memory=28400 CPUtime=81.11 cores=0-7
/proc/24968/task/25005/stat : 25005 (java) R 24966 24966 7585 0 -1 4202560 311 0 0 0 8111 0 0 0 20 0 28 0 97646549 27175628800 44607 33554432000 4194304 4196468 140724872922240 140707060023944 140707713864699 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 9158656 140724872930456 140724872930632 140724872930632 140724872933327 0
[pid=24968/tid=25006] ppid=24966 vsize=26538700 memory=2332 CPUtime=80.83 cores=0-7
/proc/24968/task/25006/stat : 25006 (java) R 24966 24966 7585 0 -1 4202560 213 0 0 0 8083 0 0 0 20 0 28 0 97646549 27175628800 44607 33554432000 4194304 4196468 140724872922240 140707057917880 140707714154863 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 9158656 140724872930456 140724872930632 140724872930632 140724872933327 0
[pid=24968/tid=25007] ppid=24966 vsize=26538700 memory=1380 CPUtime=80.79 cores=0-7
/proc/24968/task/25007/stat : 25007 (java) R 24966 24966 7585 0 -1 4202560 511 0 0 0 8079 0 0 0 20 0 28 0 97646549 27175628800 44607 33554432000 4194304 4196468 140724872922240 140707062129336 140707713202338 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 9158656 140724872930456 140724872930632 140724872930632 140724872933327 0
[pid=24968/tid=25008] ppid=24966 vsize=26538700 memory=932 CPUtime=80.93 cores=0-7
/proc/24968/task/25008/stat : 25008 (java) R 24966 24966 7585 0 -1 4202560 1577 0 0 0 8093 0 0 0 20 0 28 0 97646549 27175628800 44607 33554432000 4194304 4196468 140724872922240 140707056867824 140707713864356 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 9158656 140724872930456 140724872930632 140724872930632 140724872933327 0
[pid=24968/tid=25009] ppid=24966 vsize=26538700 memory=1572 CPUtime=80.6 cores=0-7
/proc/24968/task/25009/stat : 25009 (java) R 24966 24966 7585 0 -1 4202560 202 0 0 0 8060 0 0 0 20 0 28 0 97646549 27175628800 44607 33554432000 4194304 4196468 140724872922240 140707064233592 140707713144231 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 9158656 140724872930456 140724872930632 140724872930632 140724872933327 0
[pid=24968/tid=25010] ppid=24966 vsize=26538700 memory=2200 CPUtime=81.16 cores=0-7
/proc/24968/task/25010/stat : 25010 (java) R 24966 24966 7585 0 -1 4202560 219 0 0 0 8116 0 0 0 20 0 28 0 97646549 27175628800 44607 33554432000 4194304 4196468 140724872922240 140707058970880 140707714154863 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 9158656 140724872930456 140724872930632 140724872930632 140724872933327 0
[pid=24968/tid=25011] ppid=24966 vsize=26538700 memory=6504 CPUtime=80.85 cores=0-7
/proc/24968/task/25011/stat : 25011 (java) R 24966 24966 7585 0 -1 4202560 1110 0 0 0 8085 0 0 0 20 0 28 0 97646549 27175628800 44607 33554432000 4194304 4196468 140724872922240 140707063182200 140707713114682 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 9158656 140724872930456 140724872930632 140724872930632 140724872933327 0
Current children cumulated CPU time: 1769.11 s
Current children cumulated vsize: 26548212 KiB
Current children cumulated memory: 179808 KiB



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+252.001 s]*
/proc/loadavg: 8.53 8.30 7.87 9/208 25018
/proc/meminfo: memFree=31533724/32770624 swapFree=67108860/67108860
[pid=24966] ppid=24963 vsize=9512 memory=1380 CPUtime=0 cores=0-7
/proc/24966/stat : 24966 (xcsp3-exec) S 24963 24966 7585 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 97632446 9740288 345 33554432000 4194304 5098028 140726046474320 140726046472424 139867601121916 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 37613568 140726046475371 140726046475580 140726046475580 140726046478315 0
/proc/24966/statm: 2378 345 289 221 0 87 0
[pid=24968] ppid=24966 vsize=26538700 memory=177424 CPUtime=2005.87 cores=0-7
/proc/24968/stat : 24968 (java) S 24966 24966 7585 0 -1 1077944320 93136 0 0 0 200543 44 0 0 20 0 28 0 97632446 27175628800 44356 33554432000 4194304 4196468 140724872922240 140724872904784 140708088745719 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 9158656 140724872930456 140724872930632 140724872930632 140724872933327 0
/proc/24968/statm: 6634675 44356 3279 1 0 6621909 0
[pid=24968/tid=24969] ppid=24966 vsize=26538700 memory=6791534058613427641 CPUtime=0.55 cores=0-7
/proc/24968/task/24969/stat : 24969 (java) S 24966 24966 7585 0 -1 1077944384 7335 0 0 0 52 3 0 0 20 0 28 0 97632446 27175628800 44356 33554432000 4194304 4196468 140724872922240 140708092986496 140708088755925 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9158656 140724872930456 140724872930632 140724872930632 140724872933327 0
[pid=24968/tid=24970] ppid=24966 vsize=26538700 memory=-7003737579269690708 CPUtime=0.1 cores=0-7
/proc/24968/task/24970/stat : 24970 (java) S 24966 24966 7585 0 -1 1077944384 1791 0 0 0 9 1 0 0 20 0 28 0 97632447 27175628800 44356 33554432000 4194304 4196468 140724872922240 140708041366672 140708088755925 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9158656 140724872930456 140724872930632 140724872930632 140724872933327 0
[pid=24968/tid=24971] ppid=24966 vsize=26538700 memory=648 CPUtime=0.11 cores=0-7
/proc/24968/task/24971/stat : 24971 (java) S 24966 24966 7585 0 -1 1077944384 2303 0 0 0 9 2 0 0 20 0 28 0 97632447 27175628800 44356 33554432000 4194304 4196468 140724872922240 140708040313872 140708088755925 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9158656 140724872930456 140724872930632 140724872930632 140724872933327 0
[pid=24968/tid=24972] ppid=24966 vsize=26538700 memory=1236 CPUtime=0.1 cores=0-7
/proc/24968/task/24972/stat : 24972 (java) S 24966 24966 7585 0 -1 1077944384 860 0 0 0 9 1 0 0 20 0 28 0 97632447 27175628800 44356 33554432000 4194304 4196468 140724872922240 140708039261072 140708088755925 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9158656 140724872930456 140724872930632 140724872930632 140724872933327 0
[pid=24968/tid=24973] ppid=24966 vsize=26538700 memory=960 CPUtime=0.1 cores=0-7
/proc/24968/task/24973/stat : 24973 (java) S 24966 24966 7585 0 -1 1077944384 1905 0 0 0 8 2 0 0 20 0 28 0 97632447 27175628800 44356 33554432000 4194304 4196468 140724872922240 140708038208272 140708088755925 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9158656 140724872930456 140724872930632 140724872930632 140724872933327 0
[pid=24968/tid=24974] ppid=24966 vsize=26538700 memory=1720 CPUtime=0.11 cores=0-7
/proc/24968/task/24974/stat : 24974 (java) S 24966 24966 7585 0 -1 1077944384 2902 0 0 0 9 2 0 0 20 0 28 0 97632447 27175628800 44356 33554432000 4194304 4196468 140724872922240 140708037155472 140708088755925 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9158656 140724872930456 140724872930632 140724872930632 140724872933327 0
[pid=24968/tid=24975] ppid=24966 vsize=26538700 memory=1004 CPUtime=0.09 cores=0-7
/proc/24968/task/24975/stat : 24975 (java) S 24966 24966 7585 0 -1 1077944384 1779 0 0 0 8 1 0 0 20 0 28 0 97632447 27175628800 44356 33554432000 4194304 4196468 140724872922240 140708036102672 140708088755925 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9158656 140724872930456 140724872930632 140724872930632 140724872933327 0
[pid=24968/tid=24976] ppid=24966 vsize=26538700 memory=1380 CPUtime=0.09 cores=0-7
/proc/24968/task/24976/stat : 24976 (java) S 24966 24966 7585 0 -1 1077944384 562 0 0 0 8 1 0 0 20 0 28 0 97632447 27175628800 44356 33554432000 4194304 4196468 140724872922240 140708035049872 140708088755925 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9158656 140724872930456 140724872930632 140724872930632 140724872933327 0
[pid=24968/tid=24977] ppid=24966 vsize=26538700 memory=177424 CPUtime=0.1 cores=0-7
/proc/24968/task/24977/stat : 24977 (java) S 24966 24966 7585 0 -1 1077944384 1511 0 0 0 9 1 0 0 20 0 28 0 97632447 27175628800 44356 33554432000 4194304 4196468 140724872922240 140708033997072 140708088755925 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9158656 140724872930456 140724872930632 140724872930632 140724872933327 0
[pid=24968/tid=24978] ppid=24966 vsize=26538700 memory=15872 CPUtime=0.09 cores=0-7
/proc/24968/task/24978/stat : 24978 (java) S 24966 24966 7585 0 -1 1077944384 5153 0 0 0 6 3 0 0 20 0 28 0 97632448 27175628800 44356 33554432000 4194304 4196468 140724872922240 140707081718640 140708088756866 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9158656 140724872930456 140724872930632 140724872930632 140724872933327 0
[pid=24968/tid=24979] ppid=24966 vsize=26538700 memory=1572 CPUtime=0 cores=0-7
/proc/24968/task/24979/stat : 24979 (java) S 24966 24966 7585 0 -1 1077944384 74 0 0 0 0 0 0 0 20 0 28 0 97632449 27175628800 44356 33554432000 4194304 4196468 140724872922240 140707080664672 140708088755925 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9158656 140724872930456 140724872930632 140724872930632 140724872933327 0
[pid=24968/tid=24980] ppid=24966 vsize=26538700 memory=2200 CPUtime=0 cores=0-7
/proc/24968/task/24980/stat : 24980 (java) S 24966 24966 7585 0 -1 1077944384 63 0 0 0 0 0 0 0 20 0 28 0 97632449 27175628800 44356 33554432000 4194304 4196468 140724872922240 140707079611760 140708088755925 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9158656 140724872930456 140724872930632 140724872930632 140724872933327 0
[pid=24968/tid=24981] ppid=24966 vsize=26538700 memory=6504 CPUtime=0 cores=0-7
/proc/24968/task/24981/stat : 24981 (java) S 24966 24966 7585 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 97632452 27175628800 44356 33554432000 4194304 4196468 140724872922240 140707078560080 140708088764315 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9158656 140724872930456 140724872930632 140724872930632 140724872933327 0
[pid=24968/tid=24982] ppid=24966 vsize=26538700 memory=177424 CPUtime=1.48 cores=0-7
/proc/24968/task/24982/stat : 24982 (java) S 24966 24966 7585 0 -1 1077944384 12222 0 0 0 146 2 0 0 20 0 28 0 97632452 27175628800 44356 33554432000 4194304 4196468 140724872922240 140707077507440 140708088756866 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9158656 140724872930456 140724872930632 140724872930632 140724872933327 0
[pid=24968/tid=24983] ppid=24966 vsize=26538700 memory=177424 CPUtime=1.38 cores=0-7
/proc/24968/task/24983/stat : 24983 (java) S 24966 24966 7585 0 -1 1077944384 11391 0 0 0 135 3 0 0 20 0 28 0 97632452 27175628800 44356 33554432000 4194304 4196468 140724872922240 140707076454640 140708088756866 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9158656 140724872930456 140724872930632 140724872930632 140724872933327 0
[pid=24968/tid=24984] ppid=24966 vsize=26538700 memory=1380 CPUtime=1.7 cores=0-7
/proc/24968/task/24984/stat : 24984 (java) S 24966 24966 7585 0 -1 1077944384 11568 0 0 0 168 2 0 0 20 0 28 0 97632452 27175628800 44356 33554432000 4194304 4196468 140724872922240 140707075401840 140708088756866 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9158656 140724872930456 140724872930632 140724872930632 140724872933327 0
[pid=24968/tid=24985] ppid=24966 vsize=26538700 memory=177936 CPUtime=0.54 cores=0-7
/proc/24968/task/24985/stat : 24985 (java) S 24966 24966 7585 0 -1 1077944384 7238 0 0 0 53 1 0 0 20 0 28 0 97632452 27175628800 44356 33554432000 4194304 4196468 140724872922240 140707074349040 140708088756866 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 6 0 0 6293624 6294260 9158656 140724872930456 140724872930632 140724872930632 140724872933327 0
[pid=24968/tid=24986] ppid=24966 vsize=26538700 memory=4100 CPUtime=0 cores=0-7
/proc/24968/task/24986/stat : 24986 (java) S 24966 24966 7585 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 97632452 27175628800 44356 33554432000 4194304 4196468 140724872922240 140707073297504 140708088755925 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9158656 140724872930456 140724872930632 140724872930632 140724872933327 0
[pid=24968/tid=24987] ppid=24966 vsize=26538700 memory=1380 CPUtime=0.03 cores=0-7
/proc/24968/task/24987/stat : 24987 (java) S 24966 24966 7585 0 -1 1077944384 1871 0 0 0 3 0 0 0 20 0 28 0 97632452 27175628800 44356 33554432000 4194304 4196468 140724872922240 140707072244784 140708088756866 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 9 0 0 6293624 6294260 9158656 140724872930456 140724872930632 140724872930632 140724872933327 0
[pid=24968/tid=25004] ppid=24966 vsize=26538700 memory=177424 CPUtime=110.83 cores=0-7
/proc/24968/task/25004/stat : 25004 (java) R 24966 24966 7585 0 -1 4202560 331 0 0 0 11083 0 0 0 20 0 28 0 97646549 27175628800 44356 33554432000 4194304 4196468 140724872922240 140707061075016 140707713415483 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 9158656 140724872930456 140724872930632 140724872930632 140724872933327 0
[pid=24968/tid=25005] ppid=24966 vsize=26538700 memory=15540704344541588 CPUtime=110.76 cores=0-7
/proc/24968/task/25005/stat : 25005 (java) R 24966 24966 7585 0 -1 4202560 323 0 0 0 11076 0 0 0 20 0 28 0 97646549 27175628800 44356 33554432000 4194304 4196468 140724872922240 140707060024248 140707713201857 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 9158656 140724872930456 140724872930632 140724872930632 140724872933327 0
[pid=24968/tid=25006] ppid=24966 vsize=26538700 memory=6791534058613427641 CPUtime=110.49 cores=0-7
/proc/24968/task/25006/stat : 25006 (java) R 24966 24966 7585 0 -1 4202560 217 0 0 0 11049 0 0 0 20 0 28 0 97646549 27175628800 44356 33554432000 4194304 4196468 140724872922240 140707057917880 140707714155465 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 9158656 140724872930456 140724872930632 140724872930632 140724872933327 0
[pid=24968/tid=25007] ppid=24966 vsize=26538700 memory=4040 CPUtime=110.22 cores=0-7
/proc/24968/task/25007/stat : 25007 (java) R 24966 24966 7585 0 -1 4202560 595 0 0 0 11022 0 0 0 20 0 28 0 97646549 27175628800 44356 33554432000 4194304 4196468 140724872922240 140707062128096 140707713201802 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 9158656 140724872930456 140724872930632 140724872930632 140724872933327 0
[pid=24968/tid=25008] ppid=24966 vsize=26538700 memory=16780 CPUtime=110.41 cores=0-7
/proc/24968/task/25008/stat : 25008 (java) R 24966 24966 7585 0 -1 4202560 1613 0 0 0 11041 0 0 0 20 0 28 0 97646549 27175628800 44356 33554432000 4194304 4196468 140724872922240 140707056865528 140707714154863 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 9158656 140724872930456 140724872930632 140724872930632 140724872933327 0
[pid=24968/tid=25009] ppid=24966 vsize=26538700 memory=18292 CPUtime=110.13 cores=0-7
/proc/24968/task/25009/stat : 25009 (java) R 24966 24966 7585 0 -1 4202560 206 0 0 0 11013 0 0 0 20 0 28 0 97646549 27175628800 44356 33554432000 4194304 4196468 140724872922240 140707064233592 140707712875874 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 9158656 140724872930456 140724872930632 140724872930632 140724872933327 0
[pid=24968/tid=25010] ppid=24966 vsize=26538700 memory=177936 CPUtime=110.82 cores=0-7
/proc/24968/task/25010/stat : 25010 (java) R 24966 24966 7585 0 -1 4202560 250 0 0 0 11082 0 0 0 20 0 28 0 97646549 27175628800 44356 33554432000 4194304 4196468 140724872922240 140707058971128 140707713053709 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 9158656 140724872930456 140724872930632 140724872930632 140724872933327 0
[pid=24968/tid=25011] ppid=24966 vsize=26538700 memory=288230621803970871 CPUtime=110.38 cores=0-7
/proc/24968/task/25011/stat : 25011 (java) R 24966 24966 7585 0 -1 4202560 1388 0 0 0 11038 0 0 0 20 0 28 0 97646549 27175628800 44356 33554432000 4194304 4196468 140724872922240 140707063184272 140707714154886 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 9158656 140724872930456 140724872930632 140724872930632 140724872933327 0
Current children cumulated CPU time: 2005.87 s
Current children cumulated vsize: 26548212 KiB
Current children cumulated memory: 178804 KiB

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

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

[startup+252.1 s]
# the end of solver process 24968 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2006.11 s, system=0.451488 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.1
CPU time (s): 2006.57
CPU user time (s): 2006.11
CPU system time (s): 0.451488
CPU usage (%): 795.941
Max. virtual memory (cumulated for all children) (KiB): 26548212
Max. memory (cumulated for all children) (KiB): 244468

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2006.11
system time used= 0.451488
maximum resident set size= 243088
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 94043
page faults= 0
swaps= 0
block input operations= 0
block output operations= 504
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 15376
involuntary context switches= 21489


# summary of solver processes directly reported to runsolver:
#   pid: 24966,24968
#   total CPU time (s): 2006.57
#   total CPU user time (s): 2006.11
#   total CPU system time (s): 0.451488

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.8505 second user time and 2.83633 second system time

The end

Launcher Data 

Begin job on node112 at 2017-08-13 19:16:28
IDJOB=4271453
IDBENCH=136757
IDSOLVER=2663
FILE ID=node112/4271453-1502645446
RUNJOBID= node112-1502636672-7612
PBS_JOBID= 20628326
Free space on /tmp= 61788 MiB

SOLVER NAME= choco-solver 4.0.5 par
BENCH NAME= XCSP17/BinPacking/BinPacking-sum-skj1/BinPacking-sum-n1c3w4d.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-4271453-1502645446/watcher-4271453-1502645446 -o /tmp/evaluation-result-4271453-1502645446/solver-4271453-1502645446 -C 2016 -W 252 -M 31000 --bin-var /tmp/runsolver-exch-node112-1502636672-7612 --watchdog 312  ./xcsp3-exec -dir HOME -tl 2016 -p 8 -ml 22000 -tdir HOME -seed 500845756 HOME/instance-4271453-1502645446.xml

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

MD5SUM BENCH= e17d1f270cb1c92567283195f4efc493
RANDOM SEED=500845756

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:        31698172 kB
MemAvailable:   31980696 kB
Buffers:          131116 kB
Cached:           431860 kB
SwapCached:            0 kB
Active:           457912 kB
Inactive:         160540 kB
Active(anon):       6756 kB
Inactive(anon):    76476 kB
Active(file):     451156 kB
Inactive(file):    84064 kB
Unevictable:        6276 kB
Mlocked:            6276 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:              7840 kB
Writeback:             0 kB
AnonPages:         97960 kB
Mapped:            43500 kB
Shmem:             25224 kB
Slab:             152376 kB
SReclaimable:     126280 kB
SUnreclaim:        26096 kB
KernelStack:        3520 kB
PageTables:         4812 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     326952 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:     40960 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= 61780 MiB
End job on node112 at 2017-08-13 19:20:40