Trace number 4248222

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
R1: choco-solver 5a (2017-07-05)SAT 12.8733 2.18854

General information on the benchmark

NameMagicSquare/MagicSquare-m1-gp/
MagicSquare-9-f10-20.xml
MD5SUMc5ec4491a591197ab616d829bf389d5e
Bench CategoryCSP (decision problem)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark0.47480899
Satisfiable
(Un)Satisfiability was proved
Number of variables81
Number of constraints22
Number of domains1
Minimum domain size81
Maximum domain size81
Distribution of domain sizes[{"size":81,"count":81}]
Minimum variable degree3
Maximum variable degree5
Distribution of variable degrees[{"degree":3,"count":56},{"degree":4,"count":23},{"degree":5,"count":2}]
Minimum constraint arity9
Maximum constraint arity81
Distribution of constraint arities[{"arity":9,"count":21},{"arity":81,"count":1}]
Number of extensional constraints0
Number of intensional constraints0
Distribution of constraint types[{"type":"allDifferent","count":1},{"type":"sum","count":20},{"type":"instantiation","count":1}]
Optimization problemNO
Type of objective

Solver Data 

0.00/0.00	c java -server -Xmx10000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4248222-1500691762.xml"  -tl '2400s' -p 8 -x 3
0.00/0.20	c [HOME/instance-4248222-1500691762.xml, -tl, 2400s, -p, 8, -x, 3]
0.00/0.26	c 8 solvers in parallel
0.00/0.33	c parse instance...
0.00/0.59	c solve instance...
12.18/2.08	s SATISFIABLE
12.18/2.08	v <instantiation>
12.18/2.08	v 	<list>x[0][0] x[0][1] x[0][2] x[0][3] x[0][4] x[0][5] x[0][6] x[0][7] x[0][8] x[1][0] x[1][1] x[1][2] x[1][3] x[1][4] x[1][5] x[1][6] x[1][7] x[1][8] x[2][0] x[2][1] x[2][2] x[2][3] x[2][4] x[2][5] x[2][6] x[2][7] x[2][8] x[3][0] x[3][1] x[3][2] x[3][3] x[3][4] x[3][5] x[3][6] x[3][7] x[3][8] x[4][0] x[4][1] x[4][2] x[4][3] x[4][4] x[4][5] x[4][6] x[4][7] x[4][8] x[5][0] x[5][1] x[5][2] x[5][3] x[5][4] x[5][5] x[5][6] x[5][7] x[5][8] x[6][0] x[6][1] x[6][2] x[6][3] x[6][4] x[6][5] x[6][6] x[6][7] x[6][8] x[7][0] x[7][1] x[7][2] x[7][3] x[7][4] x[7][5] x[7][6] x[7][7] x[7][8] x[8][0] x[8][1] x[8][2] x[8][3] x[8][4] x[8][5] x[8][6] x[8][7] x[8][8] </list>
12.18/2.08	v 	<values>7 62 19 2 28 48 65 72 66 26 81 71 60 36 1 30 49 15 68 27 25 76 52 64 21 31 5 47 51 34 59 73 53 35 14 3 45 63 9 22 44 54 41 11 80 46 58 79 20 16 8 42 23 77 55 13 43 29 24 67 70 56 12 6 4 39 40 78 57 33 38 74 69 10 50 61 18 17 32 75 37 </values>
12.18/2.08	v </instantiation>

Verifier Data 

OK

Watcher Data 

runsolver Copyright (C) 2010-2013 Olivier ROUSSEL

This is runsolver version 3.3.7 (svn: 2553)

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.

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4248222-1500691762/watcher-4248222-1500691762 -o /tmp/evaluation-result-4248222-1500691762/solver-4248222-1500691762 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node145-1500682809-15227 --watchdog 2560 ./xcsp3-exec -dir HOME -tl 2400 -p 8 -ml 10000 -tdir HOME -seed 185360011 HOME/instance-4248222-1500691762.xml 

pid=5504
running on 8 cores: 0,2,4,6,8,10,12,14

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 8192 KiB


[startup+0 s]
/proc/loadavg: 14.26 14.55 14.90 9/271 5507
/proc/meminfo: memFree=28514704/32770624 swapFree=5812/117884
[pid=5507] ppid=5504 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/5507/stat : 5507 (xcsp3-exec) S 5504 5507 15196 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4441263 9740288 346 33554432000 4194304 5098028 140727947202944 140727947201048 140612560855676 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 8798208 140727947207823 140727947208032 140727947208032 140727947210731 0
/proc/5507/statm: 2378 346 289 221 0 87 0

[startup+0.1001 s]
/proc/loadavg: 14.26 14.55 14.90 9/271 5507
/proc/meminfo: memFree=28514704/32770624 swapFree=5812/117884
[pid=5507] ppid=5504 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/5507/stat : 5507 (xcsp3-exec) S 5504 5507 15196 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4441263 9740288 346 33554432000 4194304 5098028 140727947202944 140727947201048 140612560855676 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 8798208 140727947207823 140727947208032 140727947208032 140727947210731 0
/proc/5507/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512

[startup+0.20033 s]
/proc/loadavg: 14.26 14.55 14.90 9/271 5507
/proc/meminfo: memFree=28514704/32770624 swapFree=5812/117884
[pid=5507] ppid=5504 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/5507/stat : 5507 (xcsp3-exec) S 5504 5507 15196 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4441263 9740288 346 33554432000 4194304 5098028 140727947202944 140727947201048 140612560855676 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 8798208 140727947207823 140727947208032 140727947208032 140727947210731 0
/proc/5507/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512

[startup+0.300332 s]
/proc/loadavg: 14.26 14.55 14.90 9/271 5507
/proc/meminfo: memFree=28514704/32770624 swapFree=5812/117884
[pid=5507] ppid=5504 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/5507/stat : 5507 (xcsp3-exec) S 5504 5507 15196 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4441263 9740288 346 33554432000 4194304 5098028 140727947202944 140727947201048 140612560855676 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 8798208 140727947207823 140727947208032 140727947208032 140727947210731 0
/proc/5507/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512

[startup+0.70016 s]
/proc/loadavg: 14.26 14.55 14.90 9/271 5507
/proc/meminfo: memFree=28514704/32770624 swapFree=5812/117884
[pid=5507] ppid=5504 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/5507/stat : 5507 (xcsp3-exec) S 5504 5507 15196 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4441263 9740288 346 33554432000 4194304 5098028 140727947202944 140727947201048 140612560855676 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 8798208 140727947207823 140727947208032 140727947208032 140727947210731 0
/proc/5507/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512

[startup+1.50145 s]
/proc/loadavg: 14.26 14.55 14.90 20/300 5536
/proc/meminfo: memFree=28429840/32770624 swapFree=5812/117916
[pid=5507] ppid=5504 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/5507/stat : 5507 (xcsp3-exec) S 5504 5507 15196 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4441263 9740288 346 33554432000 4194304 5098028 140727947202944 140727947201048 140612560855676 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 8798208 140727947207823 140727947208032 140727947208032 140727947210731 0
/proc/5507/statm: 2378 346 289 221 0 87 0
[pid=5508] ppid=5507 vsize=13801768 CPUtime=8.2 cores=0,2,4,6,8,10,12,14
/proc/5508/stat : 5508 (java) S 5507 5507 15196 0 -1 1077944320 15355 0 0 0 813 7 0 0 20 0 28 0 4441264 14133010432 29504 33554432000 4194304 4196468 140737152965808 140737152948352 140456136044279 0 0 0 16800975 18446744073709551615 0 0 17 10 0 0 0 0 0 6293624 6294260 37228544 140737152971964 140737152972140 140737152972140 140737152974799 0
/proc/5508/statm: 3450442 29504 3230 1 0 3437675 0
[pid=5508/tid=5509] ppid=5507 vsize=13801768 CPUtime=0.57 cores=0,2,4,6,8,10,12,14
/proc/5508/task/5509/stat : 5509 (java) S 5507 5507 15196 0 -1 1077944384 6414 0 0 0 55 2 0 0 20 0 28 0 4441264 14133010432 29504 33554432000 4194304 4196468 140737152965808 140456140285056 140456136054485 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37228544 140737152971964 140737152972140 140737152972140 140737152974799 0
[pid=5508/tid=5511] ppid=5507 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/5508/task/5511/stat : 5511 (java) S 5507 5507 15196 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 28 0 4441265 14133010432 29504 33554432000 4194304 4196468 140737152965808 140455735315088 140456136054485 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 37228544 140737152971964 140737152972140 140737152972140 140737152974799 0
[pid=5508/tid=5512] ppid=5507 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/5508/task/5512/stat : 5512 (java) S 5507 5507 15196 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4441265 14133010432 29504 33554432000 4194304 4196468 140737152965808 140455734262288 140456136054485 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37228544 140737152971964 140737152972140 140737152972140 140737152974799 0
[pid=5508/tid=5513] ppid=5507 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/5508/task/5513/stat : 5513 (java) S 5507 5507 15196 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4441265 14133010432 29504 33554432000 4194304 4196468 140737152965808 140455733209488 140456136054485 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37228544 140737152971964 140737152972140 140737152972140 140737152974799 0
[pid=5508/tid=5514] ppid=5507 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/5508/task/5514/stat : 5514 (java) S 5507 5507 15196 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4441265 14133010432 29504 33554432000 4194304 4196468 140737152965808 140455732156688 140456136054485 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37228544 140737152971964 140737152972140 140737152972140 140737152974799 0
[pid=5508/tid=5515] ppid=5507 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/5508/task/5515/stat : 5515 (java) S 5507 5507 15196 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 4441265 14133010432 29504 33554432000 4194304 4196468 140737152965808 140455731104912 140456136054485 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 37228544 140737152971964 140737152972140 140737152972140 140737152974799 0
[pid=5508/tid=5516] ppid=5507 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/5508/task/5516/stat : 5516 (java) S 5507 5507 15196 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4441265 14133010432 29504 33554432000 4194304 4196468 140737152965808 140455730052112 140456136054485 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 37228544 140737152971964 140737152972140 140737152972140 140737152974799 0
[pid=5508/tid=5517] ppid=5507 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/5508/task/5517/stat : 5517 (java) S 5507 5507 15196 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4441265 14133010432 29504 33554432000 4194304 4196468 140737152965808 140455728999312 140456136054485 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37228544 140737152971964 140737152972140 140737152972140 140737152974799 0
[pid=5508/tid=5518] ppid=5507 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/5508/task/5518/stat : 5518 (java) S 5507 5507 15196 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4441265 14133010432 29504 33554432000 4194304 4196468 140737152965808 140455727946512 140456136054485 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37228544 140737152971964 140737152972140 140737152972140 140737152974799 0
[pid=5508/tid=5519] ppid=5507 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/5508/task/5519/stat : 5519 (java) S 5507 5507 15196 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 28 0 4441268 14133010432 29504 33554432000 4194304 4196468 140737152965808 140455598385520 140456136055426 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37228544 140737152971964 140737152972140 140737152972140 140737152974799 0
[pid=5508/tid=5520] ppid=5507 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/5508/task/5520/stat : 5520 (java) S 5507 5507 15196 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 28 0 4441268 14133010432 29504 33554432000 4194304 4196468 140737152965808 140455597331488 140456136054485 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 37228544 140737152971964 140737152972140 140737152972140 140737152974799 0
[pid=5508/tid=5521] ppid=5507 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/5508/task/5521/stat : 5521 (java) S 5507 5507 15196 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 28 0 4441269 14133010432 29504 33554432000 4194304 4196468 140737152965808 140455596278640 140456136054485 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 37228544 140737152971964 140737152972140 140737152972140 140737152974799 0
[pid=5508/tid=5522] ppid=5507 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/5508/task/5522/stat : 5522 (java) S 5507 5507 15196 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4441273 14133010432 29504 33554432000 4194304 4196468 140737152965808 140455595226960 140456136062875 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 37228544 140737152971964 140737152972140 140737152972140 140737152974799 0
[pid=5508/tid=5523] ppid=5507 vsize=13801768 CPUtime=0.71 cores=0,2,4,6,8,10,12,14
/proc/5508/task/5523/stat : 5523 (java) R 5507 5507 15196 0 -1 4202560 1794 0 0 0 71 0 0 0 20 0 28 0 4441273 14133010432 29504 33554432000 4194304 4196468 140737152965808 140455594160112 140456117588368 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 37228544 140737152971964 140737152972140 140737152972140 140737152974799 0
[pid=5508/tid=5524] ppid=5507 vsize=13801768 CPUtime=0.78 cores=0,2,4,6,8,10,12,14
/proc/5508/task/5524/stat : 5524 (java) R 5507 5507 15196 0 -1 4202560 1869 0 0 0 78 0 0 0 20 0 28 0 4441273 14133010432 29504 33554432000 4194304 4196468 140737152965808 140455593108424 140456136058161 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 37228544 140737152971964 140737152972140 140737152972140 140737152974799 0
[pid=5508/tid=5525] ppid=5507 vsize=13801768 CPUtime=0.72 cores=0,2,4,6,8,10,12,14
/proc/5508/task/5525/stat : 5525 (java) R 5507 5507 15196 0 -1 4202560 1527 0 0 0 72 0 0 0 20 0 28 0 4441273 14133010432 29504 33554432000 4194304 4196468 140737152965808 140455592056560 140456120807426 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 37228544 140737152971964 140737152972140 140737152972140 140737152974799 0
[pid=5508/tid=5526] ppid=5507 vsize=13801768 CPUtime=0.55 cores=0,2,4,6,8,10,12,14
/proc/5508/task/5526/stat : 5526 (java) S 5507 5507 15196 0 -1 1077944384 2058 0 0 0 54 1 0 0 20 0 28 0 4441273 14133010432 29504 33554432000 4194304 4196468 140737152965808 140455591016944 140456136055426 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37228544 140737152971964 140737152972140 140737152972140 140737152974799 0
[pid=5508/tid=5527] ppid=5507 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/5508/task/5527/stat : 5527 (java) S 5507 5507 15196 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 4441273 14133010432 29504 33554432000 4194304 4196468 140737152965808 140455589964384 140456136054485 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 37228544 140737152971964 140737152972140 140737152972140 140737152974799 0
[pid=5508/tid=5528] ppid=5507 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/5508/task/5528/stat : 5528 (java) S 5507 5507 15196 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4441273 14133010432 29504 33554432000 4194304 4196468 140737152965808 140455588911664 140456136055426 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 37228544 140737152971964 140737152972140 140737152972140 140737152974799 0
[pid=5508/tid=5529] ppid=5507 vsize=13801768 CPUtime=0.75 cores=0,2,4,6,8,10,12,14
/proc/5508/task/5529/stat : 5529 (java) R 5507 5507 15196 0 -1 4202560 57 0 0 0 75 0 0 0 20 0 28 0 4441324 14133010432 29504 33554432000 4194304 4196468 140737152965808 140455580896264 140456120383221 0 4 0 16800975 0 0 0 -1 14 0 0 0 0 0 6293624 6294260 37228544 140737152971964 140737152972140 140737152972140 140737152974799 0
[pid=5508/tid=5530] ppid=5507 vsize=13801768 CPUtime=0.57 cores=0,2,4,6,8,10,12,14
/proc/5508/task/5530/stat : 5530 (java) R 5507 5507 15196 0 -1 4202560 44 0 0 0 57 0 0 0 20 0 28 0 4441324 14133010432 29504 33554432000 4194304 4196468 140737152965808 140455579845656 140455777227185 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 37228544 140737152971964 140737152972140 140737152972140 140737152974799 0
[pid=5508/tid=5531] ppid=5507 vsize=13801768 CPUtime=0.6 cores=0,2,4,6,8,10,12,14
/proc/5508/task/5531/stat : 5531 (java) R 5507 5507 15196 0 -1 4202560 44 0 0 0 60 0 0 0 20 0 28 0 4441324 14133010432 29504 33554432000 4194304 4196468 140737152965808 140455578791568 140456136065626 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 37228544 140737152971964 140737152972140 140737152972140 140737152974799 0
[pid=5508/tid=5532] ppid=5507 vsize=13801768 CPUtime=0.59 cores=0,2,4,6,8,10,12,14
/proc/5508/task/5532/stat : 5532 (java) R 5507 5507 15196 0 -1 4202560 67 0 0 0 59 0 0 0 20 0 28 0 4441324 14133010432 29504 33554432000 4194304 4196468 140737152965808 140455577741208 140455778120192 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 37228544 140737152971964 140737152972140 140737152972140 140737152974799 0
[pid=5508/tid=5533] ppid=5507 vsize=13801768 CPUtime=0.48 cores=0,2,4,6,8,10,12,14
/proc/5508/task/5533/stat : 5533 (java) R 5507 5507 15196 0 -1 4202560 31 0 0 0 48 0 0 0 20 0 28 0 4441324 14133010432 29504 33554432000 4194304 4196468 140737152965808 140455576686632 140455777226871 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 37228544 140737152971964 140737152972140 140737152972140 140737152974799 0
[pid=5508/tid=5534] ppid=5507 vsize=13801768 CPUtime=0.64 cores=0,2,4,6,8,10,12,14
/proc/5508/task/5534/stat : 5534 (java) R 5507 5507 15196 0 -1 4202560 50 0 0 0 64 0 0 0 20 0 28 0 4441324 14133010432 29504 33554432000 4194304 4196468 140737152965808 140455575637896 140455777226927 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 37228544 140737152971964 140737152972140 140737152972140 140737152974799 0
[pid=5508/tid=5535] ppid=5507 vsize=13801768 CPUtime=0.54 cores=0,2,4,6,8,10,12,14
/proc/5508/task/5535/stat : 5535 (java) R 5507 5507 15196 0 -1 4202560 46 0 0 0 54 0 0 0 20 0 28 0 4441324 14133010432 29504 33554432000 4194304 4196468 140737152965808 140455574580592 140456136056214 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 37228544 140737152971964 140737152972140 140737152972140 140737152974799 0
[pid=5508/tid=5536] ppid=5507 vsize=13801768 CPUtime=0.59 cores=0,2,4,6,8,10,12,14
/proc/5508/task/5536/stat : 5536 (java) R 5507 5507 15196 0 -1 4202560 43 0 0 0 59 0 0 0 20 0 28 0 4441324 14133010432 29504 33554432000 4194304 4196468 140737152965808 140455573528408 140455777227393 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 37228544 140737152971964 140737152972140 140737152972140 140737152974799 0
Current children cumulated CPU time (s) 8.2
Current children cumulated vsize (KiB) 13811280

Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 5508 sig 9
??? kill 5507 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

[startup+1.60182 s]
/proc/loadavg: 14.26 14.55 14.90 20/300 5536
/proc/meminfo: memFree=28429840/32770624 swapFree=5812/117916
[pid=5507] ppid=5504 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/5507/stat : 5507 (xcsp3-exec) S 5504 5507 15196 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4441263 9740288 346 33554432000 4194304 5098028 140727947202944 140727947201048 140612560855676 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 8798208 140727947207823 140727947208032 140727947208032 140727947210731 0
/proc/5507/statm: 2378 346 289 221 0 87 0
[pid=5508] ppid=5507 vsize=13801768 CPUtime=9 cores=0,2,4,6,8,10,12,14
/proc/5508/stat : 5508 (java) S 5507 5507 15196 0 -1 1077944320 15625 0 0 0 892 8 0 0 20 0 28 0 4441264 14133010432 30841 33554432000 4194304 4196468 140737152965808 140737152948352 140456136044279 0 0 0 16800975 18446744073709551615 0 0 17 10 0 0 0 0 0 6293624 6294260 37228544 140737152971964 140737152972140 140737152972140 140737152974799 0
/proc/5508/statm: 3450442 30841 3231 1 0 3437675 0
[pid=5508/tid=5509] ppid=5507 vsize=13801768 CPUtime=0.57 cores=0,2,4,6,8,10,12,14
/proc/5508/task/5509/stat : 5509 (java) S 5507 5507 15196 0 -1 1077944384 6414 0 0 0 55 2 0 0 20 0 28 0 4441264 14133010432 30841 33554432000 4194304 4196468 140737152965808 140456140285056 140456136054485 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37228544 140737152971964 140737152972140 140737152972140 140737152974799 0
[pid=5508/tid=5511] ppid=5507 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/5508/task/5511/stat : 5511 (java) S 5507 5507 15196 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 28 0 4441265 14133010432 30841 33554432000 4194304 4196468 140737152965808 140455735315088 140456136054485 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 37228544 140737152971964 140737152972140 140737152972140 140737152974799 0
[pid=5508/tid=5512] ppid=5507 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/5508/task/5512/stat : 5512 (java) S 5507 5507 15196 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4441265 14133010432 30841 33554432000 4194304 4196468 140737152965808 140455734262288 140456136054485 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37228544 140737152971964 140737152972140 140737152972140 140737152974799 0
[pid=5508/tid=5513] ppid=5507 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/5508/task/5513/stat : 5513 (java) S 5507 5507 15196 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4441265 14133010432 30841 33554432000 4194304 4196468 140737152965808 140455733209488 140456136054485 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37228544 140737152971964 140737152972140 140737152972140 140737152974799 0
[pid=5508/tid=5514] ppid=5507 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/5508/task/5514/stat : 5514 (java) S 5507 5507 15196 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4441265 14133010432 30841 33554432000 4194304 4196468 140737152965808 140455732156688 140456136054485 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37228544 140737152971964 140737152972140 140737152972140 140737152974799 0
[pid=5508/tid=5515] ppid=5507 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/5508/task/5515/stat : 5515 (java) S 5507 5507 15196 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 4441265 14133010432 30841 33554432000 4194304 4196468 140737152965808 140455731104912 140456136054485 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 37228544 140737152971964 140737152972140 140737152972140 140737152974799 0
[pid=5508/tid=5516] ppid=5507 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/5508/task/5516/stat : 5516 (java) S 5507 5507 15196 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4441265 14133010432 30841 33554432000 4194304 4196468 140737152965808 140455730052112 140456136054485 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 37228544 140737152971964 140737152972140 140737152972140 140737152974799 0
[pid=5508/tid=5517] ppid=5507 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/5508/task/5517/stat : 5517 (java) S 5507 5507 15196 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4441265 14133010432 30841 33554432000 4194304 4196468 140737152965808 140455728999312 140456136054485 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37228544 140737152971964 140737152972140 140737152972140 140737152974799 0
[pid=5508/tid=5518] ppid=5507 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/5508/task/5518/stat : 5518 (java) S 5507 5507 15196 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4441265 14133010432 30841 33554432000 4194304 4196468 140737152965808 140455727946512 140456136054485 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37228544 140737152971964 140737152972140 140737152972140 140737152974799 0
[pid=5508/tid=5519] ppid=5507 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/5508/task/5519/stat : 5519 (java) S 5507 5507 15196 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 28 0 4441268 14133010432 30841 33554432000 4194304 4196468 140737152965808 140455598385520 140456136055426 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37228544 140737152971964 140737152972140 140737152972140 140737152974799 0
[pid=5508/tid=5520] ppid=5507 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/5508/task/5520/stat : 5520 (java) S 5507 5507 15196 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 28 0 4441268 14133010432 30841 33554432000 4194304 4196468 140737152965808 140455597331488 140456136054485 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 37228544 140737152971964 140737152972140 140737152972140 140737152974799 0
[pid=5508/tid=5521] ppid=5507 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/5508/task/5521/stat : 5521 (java) S 5507 5507 15196 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 28 0 4441269 14133010432 30841 33554432000 4194304 4196468 140737152965808 140455596278640 140456136054485 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 37228544 140737152971964 140737152972140 140737152972140 140737152974799 0
[pid=5508/tid=5522] ppid=5507 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/5508/task/5522/stat : 5522 (java) S 5507 5507 15196 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4441273 14133010432 30841 33554432000 4194304 4196468 140737152965808 140455595226960 140456136062875 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 37228544 140737152971964 140737152972140 140737152972140 140737152974799 0
[pid=5508/tid=5523] ppid=5507 vsize=13801768 CPUtime=0.77 cores=0,2,4,6,8,10,12,14
/proc/5508/task/5523/stat : 5523 (java) R 5507 5507 15196 0 -1 4202560 1808 0 0 0 77 0 0 0 20 0 28 0 4441273 14133010432 30841 33554432000 4194304 4196468 140737152965808 140455594168536 140456113639056 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 37228544 140737152971964 140737152972140 140737152972140 140737152974799 0
[pid=5508/tid=5524] ppid=5507 vsize=13801768 CPUtime=0.86 cores=0,2,4,6,8,10,12,14
/proc/5508/task/5524/stat : 5524 (java) R 5507 5507 15196 0 -1 4202560 2105 0 0 0 85 1 0 0 20 0 28 0 4441273 14133010432 30841 33554432000 4194304 4196468 140737152965808 140455593108336 140456117564352 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 37228544 140737152971964 140737152972140 140737152972140 140737152974799 0
[pid=5508/tid=5525] ppid=5507 vsize=13801768 CPUtime=0.79 cores=0,2,4,6,8,10,12,14
/proc/5508/task/5525/stat : 5525 (java) R 5507 5507 15196 0 -1 4202560 1534 0 0 0 79 0 0 0 20 0 28 0 4441273 14133010432 30841 33554432000 4194304 4196468 140737152965808 140455592052560 140456117565513 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 37228544 140737152971964 140737152972140 140737152972140 140737152974799 0
[pid=5508/tid=5526] ppid=5507 vsize=13801768 CPUtime=0.56 cores=0,2,4,6,8,10,12,14
/proc/5508/task/5526/stat : 5526 (java) S 5507 5507 15196 0 -1 1077944384 2066 0 0 0 55 1 0 0 20 0 28 0 4441273 14133010432 30841 33554432000 4194304 4196468 140737152965808 140455591016944 140456136055426 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 37228544 140737152971964 140737152972140 140737152972140 140737152974799 0
[pid=5508/tid=5527] ppid=5507 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/5508/task/5527/stat : 5527 (java) S 5507 5507 15196 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 4441273 14133010432 30841 33554432000 4194304 4196468 140737152965808 140455589964384 140456136054485 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 37228544 140737152971964 140737152972140 140737152972140 140737152974799 0
[pid=5508/tid=5528] ppid=5507 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/5508/task/5528/stat : 5528 (java) S 5507 5507 15196 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4441273 14133010432 30841 33554432000 4194304 4196468 140737152965808 140455588911664 140456136055426 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 37228544 140737152971964 140737152972140 140737152972140 140737152974799 0
[pid=5508/tid=5529] ppid=5507 vsize=13801768 CPUtime=0.8 cores=0,2,4,6,8,10,12,14
/proc/5508/task/5529/stat : 5529 (java) R 5507 5507 15196 0 -1 4202560 57 0 0 0 80 0 0 0 20 0 28 0 4441324 14133010432 30841 33554432000 4194304 4196468 140737152965808 140455580896264 140456120615246 0 4 0 16800975 0 0 0 -1 14 0 0 0 0 0 6293624 6294260 37228544 140737152971964 140737152972140 140737152972140 140737152974799 0
[pid=5508/tid=5530] ppid=5507 vsize=13801768 CPUtime=0.67 cores=0,2,4,6,8,10,12,14
/proc/5508/task/5530/stat : 5530 (java) R 5507 5507 15196 0 -1 4202560 44 0 0 0 67 0 0 0 20 0 28 0 4441324 14133010432 30841 33554432000 4194304 4196468 140737152965808 140455579843960 140455773801081 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 37228544 140737152971964 140737152972140 140737152972140 140737152974799 0
[pid=5508/tid=5531] ppid=5507 vsize=13801768 CPUtime=0.66 cores=0,2,4,6,8,10,12,14
/proc/5508/task/5531/stat : 5531 (java) R 5507 5507 15196 0 -1 4202560 47 0 0 0 66 0 0 0 20 0 28 0 4441324 14133010432 30841 33554432000 4194304 4196468 140737152965808 140455578794568 140455777227298 0 4 0 16800975 0 0 0 -1 14 0 0 0 0 0 6293624 6294260 37228544 140737152971964 140737152972140 140737152972140 140737152974799 0
[pid=5508/tid=5532] ppid=5507 vsize=13801768 CPUtime=0.64 cores=0,2,4,6,8,10,12,14
/proc/5508/task/5532/stat : 5532 (java) R 5507 5507 15196 0 -1 4202560 68 0 0 0 64 0 0 0 20 0 28 0 4441324 14133010432 30841 33554432000 4194304 4196468 140737152965808 140455577739560 140455776797116 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 37228544 140737152971964 140737152972140 140737152972140 140737152974799 0
[pid=5508/tid=5533] ppid=5507 vsize=13801768 CPUtime=0.58 cores=0,2,4,6,8,10,12,14
/proc/5508/task/5533/stat : 5533 (java) R 5507 5507 15196 0 -1 4202560 31 0 0 0 58 0 0 0 20 0 28 0 4441324 14133010432 30841 33554432000 4194304 4196468 140737152965808 140455576688032 140455778471104 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 37228544 140737152971964 140737152972140 140737152972140 140737152974799 0
[pid=5508/tid=5534] ppid=5507 vsize=13801768 CPUtime=0.73 cores=0,2,4,6,8,10,12,14
/proc/5508/task/5534/stat : 5534 (java) R 5507 5507 15196 0 -1 4202560 51 0 0 0 73 0 0 0 20 0 28 0 4441324 14133010432 30841 33554432000 4194304 4196468 140737152965808 140455575633848 140455778345824 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 37228544 140737152971964 140737152972140 140737152972140 140737152974799 0
[pid=5508/tid=5535] ppid=5507 vsize=13801768 CPUtime=0.64 cores=0,2,4,6,8,10,12,14
/proc/5508/task/5535/stat : 5535 (java) R 5507 5507 15196 0 -1 4202560 46 0 0 0 64 0 0 0 20 0 28 0 4441324 14133010432 30841 33554432000 4194304 4196468 140737152965808 140455574581672 140455776971920 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 37228544 140737152971964 140737152972140 140737152972140 140737152974799 0
[pid=5508/tid=5536] ppid=5507 vsize=13801768 CPUtime=0.65 cores=0,2,4,6,8,10,12,14
/proc/5508/task/5536/stat : 5536 (java) R 5507 5507 15196 0 -1 4202560 43 0 0 0 65 0 0 0 20 0 28 0 4441324 14133010432 30841 33554432000 4194304 4196468 140737152965808 140455573529760 140455778270689 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 37228544 140737152971964 140737152972140 140737152972140 140737152974799 0
Current children cumulated CPU time (s) 9
Current children cumulated vsize (KiB) 13811280

[startup+2.00144 s]
/proc/loadavg: 14.26 14.55 14.90 20/300 5536
/proc/meminfo: memFree=28429840/32770624 swapFree=5812/117916
[pid=5507] ppid=5504 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/5507/stat : 5507 (xcsp3-exec) S 5504 5507 15196 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4441263 9740288 346 33554432000 4194304 5098028 140727947202944 140727947201048 140612560855676 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 8798208 140727947207823 140727947208032 140727947208032 140727947210731 0
/proc/5507/statm: 2378 346 289 221 0 87 0
[pid=5508] ppid=5507 vsize=13801768 CPUtime=12.18 cores=0,2,4,6,8,10,12,14
/proc/5508/stat : 5508 (java) S 5507 5507 15196 0 -1 1077944320 20998 0 0 0 1209 9 0 0 20 0 28 0 4441264 14133010432 38353 33554432000 4194304 4196468 140737152965808 140737152948352 140456136044279 0 0 0 16800975 18446744073709551615 0 0 17 10 0 0 0 0 0 6293624 6294260 37228544 140737152971964 140737152972140 140737152972140 140737152974799 0
/proc/5508/statm: 3450442 38353 3239 1 0 3437675 0
[pid=5508/tid=5509] ppid=5507 vsize=13801768 CPUtime=0.57 cores=0,2,4,6,8,10,12,14
/proc/5508/task/5509/stat : 5509 (java) S 5507 5507 15196 0 -1 1077944384 6414 0 0 0 55 2 0 0 20 0 28 0 4441264 14133010432 38353 33554432000 4194304 4196468 140737152965808 140456140285056 140456136054485 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37228544 140737152971964 140737152972140 140737152972140 140737152974799 0
[pid=5508/tid=5511] ppid=5507 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/5508/task/5511/stat : 5511 (java) S 5507 5507 15196 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 28 0 4441265 14133010432 38353 33554432000 4194304 4196468 140737152965808 140455735315088 140456136054485 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 37228544 140737152971964 140737152972140 140737152972140 140737152974799 0
[pid=5508/tid=5512] ppid=5507 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/5508/task/5512/stat : 5512 (java) S 5507 5507 15196 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4441265 14133010432 38353 33554432000 4194304 4196468 140737152965808 140455734262288 140456136054485 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37228544 140737152971964 140737152972140 140737152972140 140737152974799 0
[pid=5508/tid=5513] ppid=5507 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/5508/task/5513/stat : 5513 (java) S 5507 5507 15196 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4441265 14133010432 38353 33554432000 4194304 4196468 140737152965808 140455733209488 140456136054485 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37228544 140737152971964 140737152972140 140737152972140 140737152974799 0
[pid=5508/tid=5514] ppid=5507 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/5508/task/5514/stat : 5514 (java) S 5507 5507 15196 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4441265 14133010432 38353 33554432000 4194304 4196468 140737152965808 140455732156688 140456136054485 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37228544 140737152971964 140737152972140 140737152972140 140737152974799 0
[pid=5508/tid=5515] ppid=5507 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/5508/task/5515/stat : 5515 (java) S 5507 5507 15196 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 4441265 14133010432 38353 33554432000 4194304 4196468 140737152965808 140455731104912 140456136054485 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 37228544 140737152971964 140737152972140 140737152972140 140737152974799 0
[pid=5508/tid=5516] ppid=5507 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/5508/task/5516/stat : 5516 (java) S 5507 5507 15196 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4441265 14133010432 38353 33554432000 4194304 4196468 140737152965808 140455730052112 140456136054485 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 37228544 140737152971964 140737152972140 140737152972140 140737152974799 0
[pid=5508/tid=5517] ppid=5507 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/5508/task/5517/stat : 5517 (java) S 5507 5507 15196 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4441265 14133010432 38353 33554432000 4194304 4196468 140737152965808 140455728999312 140456136054485 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37228544 140737152971964 140737152972140 140737152972140 140737152974799 0
[pid=5508/tid=5518] ppid=5507 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/5508/task/5518/stat : 5518 (java) S 5507 5507 15196 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4441265 14133010432 38353 33554432000 4194304 4196468 140737152965808 140455727946512 140456136054485 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37228544 140737152971964 140737152972140 140737152972140 140737152974799 0
[pid=5508/tid=5519] ppid=5507 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/5508/task/5519/stat : 5519 (java) S 5507 5507 15196 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 28 0 4441268 14133010432 38353 33554432000 4194304 4196468 140737152965808 140455598385520 140456136055426 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37228544 140737152971964 140737152972140 140737152972140 140737152974799 0
[pid=5508/tid=5520] ppid=5507 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/5508/task/5520/stat : 5520 (java) S 5507 5507 15196 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 28 0 4441268 14133010432 38353 33554432000 4194304 4196468 140737152965808 140455597331488 140456136054485 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 37228544 140737152971964 140737152972140 140737152972140 140737152974799 0
[pid=5508/tid=5521] ppid=5507 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/5508/task/5521/stat : 5521 (java) S 5507 5507 15196 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 28 0 4441269 14133010432 38353 33554432000 4194304 4196468 140737152965808 140455596278640 140456136054485 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 37228544 140737152971964 140737152972140 140737152972140 140737152974799 0
[pid=5508/tid=5522] ppid=5507 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/5508/task/5522/stat : 5522 (java) S 5507 5507 15196 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4441273 14133010432 38353 33554432000 4194304 4196468 140737152965808 140455595226960 140456136062875 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 37228544 140737152971964 140737152972140 140737152972140 140737152974799 0
[pid=5508/tid=5523] ppid=5507 vsize=13801768 CPUtime=1.07 cores=0,2,4,6,8,10,12,14
/proc/5508/task/5523/stat : 5523 (java) R 5507 5507 15196 0 -1 4202560 3189 0 0 0 107 0 0 0 20 0 28 0 4441273 14133010432 38353 33554432000 4194304 4196468 140737152965808 140455594161440 140456120432827 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 37228544 140737152971964 140737152972140 140737152972140 140737152974799 0
[pid=5508/tid=5524] ppid=5507 vsize=13801768 CPUtime=1.06 cores=0,2,4,6,8,10,12,14
/proc/5508/task/5524/stat : 5524 (java) R 5507 5507 15196 0 -1 4202560 3484 0 0 0 105 1 0 0 20 0 28 0 4441273 14133010432 38353 33554432000 4194304 4196468 140737152965808 140455593109360 140456119544360 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 37228544 140737152971964 140737152972140 140737152972140 140737152974799 0
[pid=5508/tid=5525] ppid=5507 vsize=13801768 CPUtime=1.15 cores=0,2,4,6,8,10,12,14
/proc/5508/task/5525/stat : 5525 (java) R 5507 5507 15196 0 -1 4202560 3100 0 0 0 115 0 0 0 20 0 28 0 4441273 14133010432 38353 33554432000 4194304 4196468 140737152965808 140455592055840 140456117568152 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 37228544 140737152971964 140737152972140 140737152972140 140737152974799 0
[pid=5508/tid=5526] ppid=5507 vsize=13801768 CPUtime=0.6 cores=0,2,4,6,8,10,12,14
/proc/5508/task/5526/stat : 5526 (java) S 5507 5507 15196 0 -1 1077944384 2537 0 0 0 59 1 0 0 20 0 28 0 4441273 14133010432 38353 33554432000 4194304 4196468 140737152965808 140455591016944 140456136055426 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 37228544 140737152971964 140737152972140 140737152972140 140737152974799 0
[pid=5508/tid=5527] ppid=5507 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/5508/task/5527/stat : 5527 (java) S 5507 5507 15196 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 4441273 14133010432 38353 33554432000 4194304 4196468 140737152965808 140455589964384 140456136054485 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 37228544 140737152971964 140737152972140 140737152972140 140737152974799 0
[pid=5508/tid=5528] ppid=5507 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/5508/task/5528/stat : 5528 (java) S 5507 5507 15196 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 4441273 14133010432 38353 33554432000 4194304 4196468 140737152965808 140455588911664 140456136055426 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 37228544 140737152971964 140737152972140 140737152972140 140737152974799 0
[pid=5508/tid=5529] ppid=5507 vsize=13801768 CPUtime=1.02 cores=0,2,4,6,8,10,12,14
/proc/5508/task/5529/stat : 5529 (java) R 5507 5507 15196 0 -1 4202560 107 0 0 0 102 0 0 0 20 0 28 0 4441324 14133010432 38353 33554432000 4194304 4196468 140737152965808 140455580897896 140455778344142 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 37228544 140737152971964 140737152972140 140737152972140 140737152974799 0
[pid=5508/tid=5530] ppid=5507 vsize=13801768 CPUtime=0.94 cores=0,2,4,6,8,10,12,14
/proc/5508/task/5530/stat : 5530 (java) R 5507 5507 15196 0 -1 4202560 105 0 0 0 94 0 0 0 20 0 28 0 4441324 14133010432 38353 33554432000 4194304 4196468 140737152965808 140455579844472 140455778896189 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 37228544 140737152971964 140737152972140 140737152972140 140737152974799 0
[pid=5508/tid=5531] ppid=5507 vsize=13801768 CPUtime=0.95 cores=0,2,4,6,8,10,12,14
/proc/5508/task/5531/stat : 5531 (java) R 5507 5507 15196 0 -1 4202560 132 0 0 0 95 0 0 0 20 0 28 0 4441324 14133010432 38353 33554432000 4194304 4196468 140737152965808 140455578792216 140455778724964 0 4 0 16800975 0 0 0 -1 14 0 0 0 0 0 6293624 6294260 37228544 140737152971964 140737152972140 140737152972140 140737152974799 0
[pid=5508/tid=5532] ppid=5507 vsize=13801768 CPUtime=0.97 cores=0,2,4,6,8,10,12,14
/proc/5508/task/5532/stat : 5532 (java) R 5507 5507 15196 0 -1 4202560 198 0 0 0 97 0 0 0 20 0 28 0 4441324 14133010432 38353 33554432000 4194304 4196468 140737152965808 140455577741376 140455777045240 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 37228544 140737152971964 140737152972140 140737152972140 140737152974799 0
[pid=5508/tid=5533] ppid=5507 vsize=13801768 CPUtime=0.93 cores=0,2,4,6,8,10,12,14
/proc/5508/task/5533/stat : 5533 (java) R 5507 5507 15196 0 -1 4202560 75 0 0 0 93 0 0 0 20 0 28 0 4441324 14133010432 38353 33554432000 4194304 4196468 140737152965808 140455576687352 140455773528770 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 37228544 140737152971964 140737152972140 140737152972140 140737152974799 0
[pid=5508/tid=5534] ppid=5507 vsize=13801768 CPUtime=0.98 cores=0,2,4,6,8,10,12,14
/proc/5508/task/5534/stat : 5534 (java) R 5507 5507 15196 0 -1 4202560 80 0 0 0 98 0 0 0 20 0 28 0 4441324 14133010432 38353 33554432000 4194304 4196468 140737152965808 140455575633944 140455777432864 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 37228544 140737152971964 140737152972140 140737152972140 140737152974799 0
[pid=5508/tid=5535] ppid=5507 vsize=13801768 CPUtime=0.95 cores=0,2,4,6,8,10,12,14
/proc/5508/task/5535/stat : 5535 (java) R 5507 5507 15196 0 -1 4202560 101 0 0 0 95 0 0 0 20 0 28 0 4441324 14133010432 38353 33554432000 4194304 4196468 140737152965808 140455574580552 140455778345914 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 37228544 140737152971964 140737152972140 140737152972140 140737152974799 0
[pid=5508/tid=5536] ppid=5507 vsize=13801768 CPUtime=0.89 cores=0,2,4,6,8,10,12,14
/proc/5508/task/5536/stat : 5536 (java) R 5507 5507 15196 0 -1 4202560 163 0 0 0 89 0 0 0 20 0 28 0 4441324 14133010432 38353 33554432000 4194304 4196468 140737152965808 140455573530440 140455778296002 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 37228544 140737152971964 140737152972140 140737152972140 140737152974799 0
Current children cumulated CPU time (s) 12.18
Current children cumulated vsize (KiB) 13811280

[startup+2.10153 s]
/proc/loadavg: 14.26 14.55 14.90 20/300 5536
/proc/meminfo: memFree=28429840/32770624 swapFree=5812/117916
[pid=5507] ppid=5504 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/5507/stat : 5507 (xcsp3-exec) S 5504 5507 15196 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4441263 9740288 346 33554432000 4194304 5098028 140727947202944 140727947201048 140612560855676 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 8798208 140727947207823 140727947208032 140727947208032 140727947210731 0
/proc/5507/statm: 2378 346 289 221 0 87 0
[pid=5508] ppid=5507 vsize=13801768 CPUtime=12.85 cores=0,2,4,6,8,10,12,14
/proc/5508/stat : 5508 (java) S 5507 5507 15196 0 -1 1077944320 21447 0 0 0 1276 9 0 0 20 0 18 0 4441264 14133010432 41842 33554432000 4194304 4196468 140737152965808 140737152948352 140456136044279 0 0 0 16800975 18446744073709551615 0 0 17 10 0 0 0 0 0 6293624 6294260 37228544 140737152971964 140737152972140 140737152972140 140737152974799 0
/proc/5508/statm: 3450442 41842 3245 1 0 3437675 0
[pid=5508/tid=5509] ppid=5507 vsize=13801768 CPUtime=0.57 cores=0,2,4,6,8,10,12,14
/proc/5508/task/5509/stat : 5509 (java) D 5507 5507 15196 0 -1 4202560 6600 0 0 0 55 2 0 0 20 0 18 0 4441264 14133010432 41842 33554432000 4194304 4196468 140737152965808 140456140287288 140456128729911 0 0 0 16800975 18446744072099691653 0 0 -1 0 0 0 0 0 0 6293624 6294260 37228544 140737152971964 140737152972140 140737152972140 140737152974799 0
[pid=5508/tid=5511] ppid=5507 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/5508/task/5511/stat : 5511 (java) S 5507 5507 15196 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 18 0 4441265 14133010432 41842 33554432000 4194304 4196468 140737152965808 140455735315088 140456136054485 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 37228544 140737152971964 140737152972140 140737152972140 140737152974799 0
[pid=5508/tid=5512] ppid=5507 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/5508/task/5512/stat : 5512 (java) S 5507 5507 15196 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 18 0 4441265 14133010432 41842 33554432000 4194304 4196468 140737152965808 140455734262288 140456136054485 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37228544 140737152971964 140737152972140 140737152972140 140737152974799 0
[pid=5508/tid=5513] ppid=5507 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/5508/task/5513/stat : 5513 (java) S 5507 5507 15196 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 18 0 4441265 14133010432 41842 33554432000 4194304 4196468 140737152965808 140455733209488 140456136054485 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37228544 140737152971964 140737152972140 140737152972140 140737152974799 0
[pid=5508/tid=5514] ppid=5507 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/5508/task/5514/stat : 5514 (java) S 5507 5507 15196 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 18 0 4441265 14133010432 41842 33554432000 4194304 4196468 140737152965808 140455732156688 140456136054485 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37228544 140737152971964 140737152972140 140737152972140 140737152974799 0
[pid=5508/tid=5515] ppid=5507 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/5508/task/5515/stat : 5515 (java) S 5507 5507 15196 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 18 0 4441265 14133010432 41842 33554432000 4194304 4196468 140737152965808 140455731104912 140456136054485 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 37228544 140737152971964 140737152972140 140737152972140 140737152974799 0
[pid=5508/tid=5516] ppid=5507 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/5508/task/5516/stat : 5516 (java) S 5507 5507 15196 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 18 0 4441265 14133010432 41842 33554432000 4194304 4196468 140737152965808 140455730052112 140456136054485 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 37228544 140737152971964 140737152972140 140737152972140 140737152974799 0
[pid=5508/tid=5517] ppid=5507 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/5508/task/5517/stat : 5517 (java) S 5507 5507 15196 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 18 0 4441265 14133010432 41842 33554432000 4194304 4196468 140737152965808 140455728999312 140456136054485 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37228544 140737152971964 140737152972140 140737152972140 140737152974799 0
[pid=5508/tid=5518] ppid=5507 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/5508/task/5518/stat : 5518 (java) S 5507 5507 15196 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 18 0 4441265 14133010432 41842 33554432000 4194304 4196468 140737152965808 140455727946512 140456136054485 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37228544 140737152971964 140737152972140 140737152972140 140737152974799 0
[pid=5508/tid=5520] ppid=5507 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/5508/task/5520/stat : 5520 (java) S 5507 5507 15196 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 18 0 4441268 14133010432 41842 33554432000 4194304 4196468 140737152965808 140455597331488 140456136054485 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 37228544 140737152971964 140737152972140 140737152972140 140737152974799 0
[pid=5508/tid=5521] ppid=5507 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/5508/task/5521/stat : 5521 (java) S 5507 5507 15196 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 18 0 4441269 14133010432 41842 33554432000 4194304 4196468 140737152965808 140455596278640 140456136054485 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 37228544 140737152971964 140737152972140 140737152972140 140737152974799 0
[pid=5508/tid=5522] ppid=5507 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/5508/task/5522/stat : 5522 (java) S 5507 5507 15196 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 18 0 4441273 14133010432 41842 33554432000 4194304 4196468 140737152965808 140455595226608 140456136054485 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 37228544 140737152971964 140737152972140 140737152972140 140737152974799 0
[pid=5508/tid=5523] ppid=5507 vsize=13801768 CPUtime=1.15 cores=0,2,4,6,8,10,12,14
/proc/5508/task/5523/stat : 5523 (java) S 5507 5507 15196 0 -1 1077944384 3217 0 0 0 115 0 0 0 20 0 18 0 4441273 14133010432 41842 33554432000 4194304 4196468 140737152965808 140455594160416 140456136054485 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37228544 140737152971964 140737152972140 140737152972140 140737152974799 0
[pid=5508/tid=5524] ppid=5507 vsize=13801768 CPUtime=1.1 cores=0,2,4,6,8,10,12,14
/proc/5508/task/5524/stat : 5524 (java) S 5507 5507 15196 0 -1 1077944384 3509 0 0 0 109 1 0 0 20 0 18 0 4441273 14133010432 41842 33554432000 4194304 4196468 140737152965808 140455593107536 140456136054485 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37228544 140737152971964 140737152972140 140737152972140 140737152974799 0
[pid=5508/tid=5525] ppid=5507 vsize=13801768 CPUtime=1.2 cores=0,2,4,6,8,10,12,14
/proc/5508/task/5525/stat : 5525 (java) S 5507 5507 15196 0 -1 1077944384 3110 0 0 0 120 0 0 0 20 0 18 0 4441273 14133010432 41842 33554432000 4194304 4196468 140737152965808 140455592050144 140456136054485 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37228544 140737152971964 140737152972140 140737152972140 140737152974799 0
[pid=5508/tid=5526] ppid=5507 vsize=13801768 CPUtime=0.6 cores=0,2,4,6,8,10,12,14
/proc/5508/task/5526/stat : 5526 (java) S 5507 5507 15196 0 -1 1077944384 2548 0 0 0 59 1 0 0 20 0 18 0 4441273 14133010432 41842 33554432000 4194304 4196468 140737152965808 140455591016944 140456136055426 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 37228544 140737152971964 140737152972140 140737152972140 140737152974799 0
[pid=5508/tid=5527] ppid=5507 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/5508/task/5527/stat : 5527 (java) S 5507 5507 15196 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 18 0 4441273 14133010432 41842 33554432000 4194304 4196468 140737152965808 140455589964384 140456136054485 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 37228544 140737152971964 140737152972140 140737152972140 140737152974799 0
Current children cumulated CPU time (s) 12.85
Current children cumulated vsize (KiB) 13811280

Child status: 0
Real time (s): 2.18854
CPU time (s): 12.8733
CPU user time (s): 12.769
CPU system time (s): 0.104259
CPU usage (%): 588.211
Max. virtual memory (cumulated for all children) (KiB): 13811280

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 12.769
system time used= 0.104259
maximum resident set size= 167752
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 21985
page faults= 0
swaps= 0
block input operations= 0
block output operations= 104
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 2901
involuntary context switches= 1271

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.028191 second user time and 0.030089 second system time

The end

Launcher Data 

Begin job on node145 at 2017-07-22 04:49:22
IDJOB=4248222
IDBENCH=133221
IDSOLVER=2626
FILE ID=node145/4248222-1500691762
RUNJOBID= node145-1500682809-15227
PBS_JOBID= 20623333
Free space on /tmp= 61856 MiB

SOLVER NAME= choco-solver 5a
BENCH NAME= XCSP17/MagicSquare/MagicSquare-m1-gp/MagicSquare-9-f10-20.xml
COMMAND LINE= ./xcsp3-exec -dir DIR -tl TIMEOUT -p NBCORE -ml 10000 -tdir TMPDIR -seed RANDOMSEED BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4248222-1500691762/watcher-4248222-1500691762 -o /tmp/evaluation-result-4248222-1500691762/solver-4248222-1500691762 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node145-1500682809-15227 --watchdog 2560  ./xcsp3-exec -dir HOME -tl 2400 -p 8 -ml 10000 -tdir HOME -seed 185360011 HOME/instance-4248222-1500691762.xml

TIME LIMIT= 2400 seconds
MEMORY LIMIT= 15500 MiB
NBCORE= 8

MD5SUM BENCH= c5ec4491a591197ab616d829bf389d5e
RANDOM SEED=185360011

node145.alineos.net Linux 3.10.0-514.16.1.el7.x86_64 #1 SMP Wed Apr 12 15:04:24 UTC 2017

/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		: 1733.000
cache size	: 8192 KB
physical id	: 0
siblings	: 8
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.43
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	: 8
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		: 1600.000
cache size	: 8192 KB
physical id	: 0
siblings	: 8
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.43
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	: 8
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		: 1600.000
cache size	: 8192 KB
physical id	: 0
siblings	: 8
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.43
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	: 8
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		: 1600.000
cache size	: 8192 KB
physical id	: 0
siblings	: 8
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.43
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	: 8
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:

processor	: 8
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 1600.000
cache size	: 8192 KB
physical id	: 0
siblings	: 8
core id		: 0
cpu cores	: 4
apicid		: 1
initial apicid	: 1
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.43
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 9
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	: 8
core id		: 0
cpu cores	: 4
apicid		: 17
initial apicid	: 17
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	: 10
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 1600.000
cache size	: 8192 KB
physical id	: 0
siblings	: 8
core id		: 1
cpu cores	: 4
apicid		: 3
initial apicid	: 3
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.43
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 11
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	: 8
core id		: 1
cpu cores	: 4
apicid		: 19
initial apicid	: 19
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	: 12
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 1733.000
cache size	: 8192 KB
physical id	: 0
siblings	: 8
core id		: 2
cpu cores	: 4
apicid		: 5
initial apicid	: 5
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.43
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 13
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	: 8
core id		: 2
cpu cores	: 4
apicid		: 21
initial apicid	: 21
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	: 14
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 1733.000
cache size	: 8192 KB
physical id	: 0
siblings	: 8
core id		: 3
cpu cores	: 4
apicid		: 7
initial apicid	: 7
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.43
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 15
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	: 8
core id		: 3
cpu cores	: 4
apicid		: 23
initial apicid	: 23
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:        28515860 kB
MemAvailable:   28584776 kB
Buffers:          133636 kB
Cached:           206664 kB
SwapCached:            0 kB
Active:          3612448 kB
Inactive:         185716 kB
Active(anon):    3400968 kB
Inactive(anon):    67832 kB
Active(file):     211480 kB
Inactive(file):   117884 kB
Unevictable:        5812 kB
Mlocked:            5812 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:              8316 kB
Writeback:             0 kB
AnonPages:       3532396 kB
Mapped:            43188 kB
Shmem:              8852 kB
Slab:             146364 kB
SReclaimable:     110776 kB
SUnreclaim:        35588 kB
KernelStack:        5168 kB
PageTables:        12284 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    4364428 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:   3409920 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      136576 kB
DirectMap2M:    33409024 kB

Free space on /tmp at the end= 61848 MiB
End job on node145 at 2017-07-22 04:49:24