Trace number 4248197

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 19.3486 2.93956

General information on the benchmark

NameMagicSquare/MagicSquare-m1-gp/
MagicSquare-9-f10-13.xml
MD5SUM748c50a37a644f843fb6cdaa8347be41
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 benchmark1.34524
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":58},{"degree":4,"count":19},{"degree":5,"count":4}]
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-4248197-1500691741.xml"  -tl '2400s' -p 8 -x 3
0.00/0.21	c [HOME/instance-4248197-1500691741.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...
19.19/2.92	s SATISFIABLE
19.19/2.92	v <instantiation>
19.19/2.92	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>
19.19/2.92	v 	<values>55 40 52 30 13 20 7 72 80 63 17 47 50 43 24 69 5 51 58 19 38 23 9 32 73 68 49 36 35 26 79 61 2 57 25 48 53 66 21 4 46 41 12 64 62 1 15 6 74 56 76 29 81 31 18 71 42 65 44 54 28 37 10 77 39 78 33 27 45 34 14 22 8 67 59 11 70 75 60 3 16 </values>
19.19/2.92	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-4248197-1500691741/watcher-4248197-1500691741 -o /tmp/evaluation-result-4248197-1500691741/solver-4248197-1500691741 -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 1061479162 HOME/instance-4248197-1500691741.xml 

pid=5034
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: 13.83 14.49 14.89 11/271 5037
/proc/meminfo: memFree=28506288/32770624 swapFree=5808/117680
[pid=5037] ppid=5034 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/5037/stat : 5037 (xcsp3-exec) S 5034 5037 15196 0 -1 4202496 519 0 0 0 0 0 0 0 20 0 1 0 4439235 9740288 346 33554432000 4194304 5098028 140722364700256 140722364698360 139709784597116 0 65536 4100 65538 18446744071579417331 0 0 17 8 0 0 0 0 0 7196144 7232144 29835264 140722364703886 140722364704096 140722364704096 140722364706795 0
/proc/5037/statm: 2378 346 289 221 0 87 0

[startup+0.100132 s]
/proc/loadavg: 13.83 14.49 14.89 11/271 5037
/proc/meminfo: memFree=28506288/32770624 swapFree=5808/117680
[pid=5037] ppid=5034 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/5037/stat : 5037 (xcsp3-exec) S 5034 5037 15196 0 -1 4202496 519 0 0 0 0 0 0 0 20 0 1 0 4439235 9740288 346 33554432000 4194304 5098028 140722364700256 140722364698360 139709784597116 0 65536 4100 65538 18446744071579417331 0 0 17 8 0 0 0 0 0 7196144 7232144 29835264 140722364703886 140722364704096 140722364704096 140722364706795 0
/proc/5037/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512

[startup+0.200309 s]
/proc/loadavg: 13.83 14.49 14.89 11/271 5037
/proc/meminfo: memFree=28506288/32770624 swapFree=5808/117680
[pid=5037] ppid=5034 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/5037/stat : 5037 (xcsp3-exec) S 5034 5037 15196 0 -1 4202496 519 0 0 0 0 0 0 0 20 0 1 0 4439235 9740288 346 33554432000 4194304 5098028 140722364700256 140722364698360 139709784597116 0 65536 4100 65538 18446744071579417331 0 0 17 8 0 0 0 0 0 7196144 7232144 29835264 140722364703886 140722364704096 140722364704096 140722364706795 0
/proc/5037/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512

[startup+0.300287 s]
/proc/loadavg: 13.83 14.49 14.89 11/271 5037
/proc/meminfo: memFree=28506288/32770624 swapFree=5808/117680
[pid=5037] ppid=5034 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/5037/stat : 5037 (xcsp3-exec) S 5034 5037 15196 0 -1 4202496 519 0 0 0 0 0 0 0 20 0 1 0 4439235 9740288 346 33554432000 4194304 5098028 140722364700256 140722364698360 139709784597116 0 65536 4100 65538 18446744071579417331 0 0 17 8 0 0 0 0 0 7196144 7232144 29835264 140722364703886 140722364704096 140722364704096 140722364706795 0
/proc/5037/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512

[startup+0.700172 s]
/proc/loadavg: 13.83 14.49 14.89 11/271 5037
/proc/meminfo: memFree=28506288/32770624 swapFree=5808/117680
[pid=5037] ppid=5034 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/5037/stat : 5037 (xcsp3-exec) S 5034 5037 15196 0 -1 4202496 519 0 0 0 0 0 0 0 20 0 1 0 4439235 9740288 346 33554432000 4194304 5098028 140722364700256 140722364698360 139709784597116 0 65536 4100 65538 18446744071579417331 0 0 17 8 0 0 0 0 0 7196144 7232144 29835264 140722364703886 140722364704096 140722364704096 140722364706795 0
/proc/5037/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512

[startup+1.50147 s]
/proc/loadavg: 13.83 14.49 14.89 19/300 5066
/proc/meminfo: memFree=28414484/32770624 swapFree=5808/117716
[pid=5037] ppid=5034 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/5037/stat : 5037 (xcsp3-exec) S 5034 5037 15196 0 -1 4202496 519 0 0 0 0 0 0 0 20 0 1 0 4439235 9740288 346 33554432000 4194304 5098028 140722364700256 140722364698360 139709784597116 0 65536 4100 65538 18446744071579417331 0 0 17 8 0 0 0 0 0 7196144 7232144 29835264 140722364703886 140722364704096 140722364704096 140722364706795 0
/proc/5037/statm: 2378 346 289 221 0 87 0
[pid=5038] ppid=5037 vsize=13801768 CPUtime=8.12 cores=0,2,4,6,8,10,12,14
/proc/5038/stat : 5038 (java) S 5037 5037 15196 0 -1 1077944320 16949 0 0 0 804 8 0 0 20 0 28 0 4439235 14133010432 31507 33554432000 4194304 4196468 140730770756816 140730770739360 140141171642103 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 6365184 140730770764988 140730770765164 140730770765164 140730770767823 0
/proc/5038/statm: 3450442 31507 3209 1 0 3437675 0
[pid=5038/tid=5039] ppid=5037 vsize=13801768 CPUtime=0.57 cores=0,2,4,6,8,10,12,14
/proc/5038/task/5039/stat : 5039 (java) S 5037 5037 15196 0 -1 1077944384 6870 0 0 0 55 2 0 0 20 0 28 0 4439236 14133010432 31507 33554432000 4194304 4196468 140730770756816 140141175882880 140141171652309 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6365184 140730770764988 140730770765164 140730770765164 140730770767823 0
[pid=5038/tid=5041] ppid=5037 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/5038/task/5041/stat : 5041 (java) S 5037 5037 15196 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 4439237 14133010432 31507 33554432000 4194304 4196468 140730770756816 140141103778192 140141171652309 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 6365184 140730770764988 140730770765164 140730770765164 140730770767823 0
[pid=5038/tid=5042] ppid=5037 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/5038/task/5042/stat : 5042 (java) S 5037 5037 15196 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 4439237 14133010432 31507 33554432000 4194304 4196468 140730770756816 140141102725392 140141171652309 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 6365184 140730770764988 140730770765164 140730770765164 140730770767823 0
[pid=5038/tid=5043] ppid=5037 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/5038/task/5043/stat : 5043 (java) S 5037 5037 15196 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4439237 14133010432 31507 33554432000 4194304 4196468 140730770756816 140141101673104 140141171652309 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6365184 140730770764988 140730770765164 140730770765164 140730770767823 0
[pid=5038/tid=5044] ppid=5037 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/5038/task/5044/stat : 5044 (java) S 5037 5037 15196 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 28 0 4439237 14133010432 31507 33554432000 4194304 4196468 140730770756816 140141100620304 140141171652309 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6365184 140730770764988 140730770765164 140730770765164 140730770767823 0
[pid=5038/tid=5045] ppid=5037 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/5038/task/5045/stat : 5045 (java) S 5037 5037 15196 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 28 0 4439237 14133010432 31507 33554432000 4194304 4196468 140730770756816 140141099568016 140141171652309 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6365184 140730770764988 140730770765164 140730770765164 140730770767823 0
[pid=5038/tid=5046] ppid=5037 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/5038/task/5046/stat : 5046 (java) S 5037 5037 15196 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 28 0 4439237 14133010432 31507 33554432000 4194304 4196468 140730770756816 140141098515216 140141171652309 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 6365184 140730770764988 140730770765164 140730770765164 140730770767823 0
[pid=5038/tid=5047] ppid=5037 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/5038/task/5047/stat : 5047 (java) S 5037 5037 15196 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4439237 14133010432 31507 33554432000 4194304 4196468 140730770756816 140141097462928 140141171652309 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6365184 140730770764988 140730770765164 140730770765164 140730770767823 0
[pid=5038/tid=5048] ppid=5037 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/5038/task/5048/stat : 5048 (java) S 5037 5037 15196 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 28 0 4439237 14133010432 31507 33554432000 4194304 4196468 140730770756816 140141096410128 140141171652309 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 6365184 140730770764988 140730770765164 140730770765164 140730770767823 0
[pid=5038/tid=5049] ppid=5037 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/5038/task/5049/stat : 5049 (java) S 5037 5037 15196 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 28 0 4439239 14133010432 31507 33554432000 4194304 4196468 140730770756816 140140633901168 140141171653250 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6365184 140730770764988 140730770765164 140730770765164 140730770767823 0
[pid=5038/tid=5050] ppid=5037 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/5038/task/5050/stat : 5050 (java) S 5037 5037 15196 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 28 0 4439240 14133010432 31507 33554432000 4194304 4196468 140730770756816 140140632847136 140141171652309 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 6365184 140730770764988 140730770765164 140730770765164 140730770767823 0
[pid=5038/tid=5051] ppid=5037 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/5038/task/5051/stat : 5051 (java) S 5037 5037 15196 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 28 0 4439240 14133010432 31507 33554432000 4194304 4196468 140730770756816 140140631794800 140141171652309 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 6365184 140730770764988 140730770765164 140730770765164 140730770767823 0
[pid=5038/tid=5052] ppid=5037 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/5038/task/5052/stat : 5052 (java) S 5037 5037 15196 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4439244 14133010432 31507 33554432000 4194304 4196468 140730770756816 140140630743120 140141171660699 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 6365184 140730770764988 140730770765164 140730770765164 140730770767823 0
[pid=5038/tid=5053] ppid=5037 vsize=13801768 CPUtime=0.77 cores=0,2,4,6,8,10,12,14
/proc/5038/task/5053/stat : 5053 (java) R 5037 5037 15196 0 -1 4202560 1975 0 0 0 76 1 0 0 20 0 28 0 4439244 14133010432 31507 33554432000 4194304 4196468 140730770756816 140140629680608 140141151295968 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 6365184 140730770764988 140730770765164 140730770765164 140730770767823 0
[pid=5038/tid=5054] ppid=5037 vsize=13801768 CPUtime=0.81 cores=0,2,4,6,8,10,12,14
/proc/5038/task/5054/stat : 5054 (java) R 5037 5037 15196 0 -1 4202560 1740 0 0 0 81 0 0 0 20 0 28 0 4439244 14133010432 31507 33554432000 4194304 4196468 140730770756816 140140628619760 140141153227616 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 6365184 140730770764988 140730770765164 140730770765164 140730770767823 0
[pid=5038/tid=5055] ppid=5037 vsize=13801768 CPUtime=0.72 cores=0,2,4,6,8,10,12,14
/proc/5038/task/5055/stat : 5055 (java) R 5037 5037 15196 0 -1 4202560 2341 0 0 0 72 0 0 0 20 0 28 0 4439244 14133010432 31507 33554432000 4194304 4196468 140730770756816 140140627571784 140141153163395 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 6365184 140730770764988 140730770765164 140730770765164 140730770767823 0
[pid=5038/tid=5056] ppid=5037 vsize=13801768 CPUtime=0.55 cores=0,2,4,6,8,10,12,14
/proc/5038/task/5056/stat : 5056 (java) S 5037 5037 15196 0 -1 1077944384 2181 0 0 0 55 0 0 0 20 0 28 0 4439244 14133010432 31507 33554432000 4194304 4196468 140730770756816 140140626533104 140141171653250 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 6365184 140730770764988 140730770765164 140730770765164 140730770767823 0
[pid=5038/tid=5057] ppid=5037 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/5038/task/5057/stat : 5057 (java) S 5037 5037 15196 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 4439245 14133010432 31507 33554432000 4194304 4196468 140730770756816 140140625480032 140141171652309 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 6365184 140730770764988 140730770765164 140730770765164 140730770767823 0
[pid=5038/tid=5058] ppid=5037 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/5038/task/5058/stat : 5058 (java) S 5037 5037 15196 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 4439245 14133010432 31507 33554432000 4194304 4196468 140730770756816 140140624427312 140141171653250 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6365184 140730770764988 140730770765164 140730770765164 140730770767823 0
[pid=5038/tid=5059] ppid=5037 vsize=13801768 CPUtime=0.55 cores=0,2,4,6,8,10,12,14
/proc/5038/task/5059/stat : 5059 (java) S 5037 5037 15196 0 -1 1077944384 85 0 0 0 55 0 0 0 20 0 28 0 4439295 14133010432 31507 33554432000 4194304 4196468 140730770756816 140140548540272 140141171652309 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6365184 140730770764988 140730770765164 140730770765164 140730770767823 0
[pid=5038/tid=5060] ppid=5037 vsize=13801768 CPUtime=0.52 cores=0,2,4,6,8,10,12,14
/proc/5038/task/5060/stat : 5060 (java) R 5037 5037 15196 0 -1 1077944384 66 0 0 0 52 0 0 0 20 0 28 0 4439295 14133010432 31507 33554432000 4194304 4196468 140730770756816 140140547488592 140141171652309 0 4 0 16800975 0 0 0 -1 14 0 0 0 0 0 6293624 6294260 6365184 140730770764988 140730770765164 140730770765164 140730770767823 0
[pid=5038/tid=5061] ppid=5037 vsize=13801768 CPUtime=0.53 cores=0,2,4,6,8,10,12,14
/proc/5038/task/5061/stat : 5061 (java) R 5037 5037 15196 0 -1 4202560 69 0 0 0 53 0 0 0 20 0 28 0 4439295 14133010432 31507 33554432000 4194304 4196468 140730770756816 140140546436304 140140776915880 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 6365184 140730770764988 140730770765164 140730770765164 140730770767823 0
[pid=5038/tid=5062] ppid=5037 vsize=13801768 CPUtime=0.6 cores=0,2,4,6,8,10,12,14
/proc/5038/task/5062/stat : 5062 (java) R 5037 5037 15196 0 -1 4202560 86 0 0 0 60 0 0 0 20 0 28 0 4439295 14133010432 31507 33554432000 4194304 4196468 140730770756816 140140545380672 140140776623381 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 6365184 140730770764988 140730770765164 140730770765164 140730770767823 0
[pid=5038/tid=5063] ppid=5037 vsize=13801768 CPUtime=0.52 cores=0,2,4,6,8,10,12,14
/proc/5038/task/5063/stat : 5063 (java) R 5037 5037 15196 0 -1 4202560 39 0 0 0 52 0 0 0 20 0 28 0 4439295 14133010432 31507 33554432000 4194304 4196468 140730770756816 140140544331216 140140777717390 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 6365184 140730770764988 140730770765164 140730770765164 140730770767823 0
[pid=5038/tid=5064] ppid=5037 vsize=13801768 CPUtime=0.65 cores=0,2,4,6,8,10,12,14
/proc/5038/task/5064/stat : 5064 (java) R 5037 5037 15196 0 -1 4202560 63 0 0 0 65 0 0 0 20 0 28 0 4439295 14133010432 31507 33554432000 4194304 4196468 140730770756816 140140543278416 140140776784968 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 6365184 140730770764988 140730770765164 140730770765164 140730770767823 0
[pid=5038/tid=5065] ppid=5037 vsize=13801768 CPUtime=0.58 cores=0,2,4,6,8,10,12,14
/proc/5038/task/5065/stat : 5065 (java) S 5037 5037 15196 0 -1 1077944384 52 0 0 0 58 0 0 0 20 0 28 0 4439295 14133010432 31507 33554432000 4194304 4196468 140730770756816 140140542225104 140141171652309 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6365184 140730770764988 140730770765164 140730770765164 140730770767823 0
[pid=5038/tid=5066] ppid=5037 vsize=13801768 CPUtime=0.66 cores=0,2,4,6,8,10,12,14
/proc/5038/task/5066/stat : 5066 (java) R 5037 5037 15196 0 -1 4202560 64 0 0 0 66 0 0 0 20 0 28 0 4439295 14133010432 31507 33554432000 4194304 4196468 140730770756816 140140541172440 140140776786944 0 4 0 16800975 0 0 0 -1 14 0 0 0 0 0 6293624 6294260 6365184 140730770764988 140730770765164 140730770765164 140730770767823 0
Current children cumulated CPU time (s) 8.12
Current children cumulated vsize (KiB) 13811280

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

[startup+1.60182 s]
/proc/loadavg: 13.83 14.49 14.89 19/300 5066
/proc/meminfo: memFree=28414484/32770624 swapFree=5808/117716
[pid=5037] ppid=5034 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/5037/stat : 5037 (xcsp3-exec) S 5034 5037 15196 0 -1 4202496 519 0 0 0 0 0 0 0 20 0 1 0 4439235 9740288 346 33554432000 4194304 5098028 140722364700256 140722364698360 139709784597116 0 65536 4100 65538 18446744071579417331 0 0 17 8 0 0 0 0 0 7196144 7232144 29835264 140722364703886 140722364704096 140722364704096 140722364706795 0
/proc/5037/statm: 2378 346 289 221 0 87 0
[pid=5038] ppid=5037 vsize=13801768 CPUtime=8.89 cores=0,2,4,6,8,10,12,14
/proc/5038/stat : 5038 (java) S 5037 5037 15196 0 -1 1077944320 17459 0 0 0 881 8 0 0 20 0 28 0 4439235 14133010432 32598 33554432000 4194304 4196468 140730770756816 140730770739360 140141171642103 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 6365184 140730770764988 140730770765164 140730770765164 140730770767823 0
/proc/5038/statm: 3450442 32598 3210 1 0 3437675 0
[pid=5038/tid=5039] ppid=5037 vsize=13801768 CPUtime=0.57 cores=0,2,4,6,8,10,12,14
/proc/5038/task/5039/stat : 5039 (java) S 5037 5037 15196 0 -1 1077944384 6870 0 0 0 55 2 0 0 20 0 28 0 4439236 14133010432 32598 33554432000 4194304 4196468 140730770756816 140141175882880 140141171652309 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6365184 140730770764988 140730770765164 140730770765164 140730770767823 0
[pid=5038/tid=5041] ppid=5037 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/5038/task/5041/stat : 5041 (java) S 5037 5037 15196 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 4439237 14133010432 32598 33554432000 4194304 4196468 140730770756816 140141103778192 140141171652309 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 6365184 140730770764988 140730770765164 140730770765164 140730770767823 0
[pid=5038/tid=5042] ppid=5037 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/5038/task/5042/stat : 5042 (java) S 5037 5037 15196 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 4439237 14133010432 32598 33554432000 4194304 4196468 140730770756816 140141102725392 140141171652309 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 6365184 140730770764988 140730770765164 140730770765164 140730770767823 0
[pid=5038/tid=5043] ppid=5037 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/5038/task/5043/stat : 5043 (java) S 5037 5037 15196 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4439237 14133010432 32598 33554432000 4194304 4196468 140730770756816 140141101673104 140141171652309 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6365184 140730770764988 140730770765164 140730770765164 140730770767823 0
[pid=5038/tid=5044] ppid=5037 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/5038/task/5044/stat : 5044 (java) S 5037 5037 15196 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 28 0 4439237 14133010432 32598 33554432000 4194304 4196468 140730770756816 140141100620304 140141171652309 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6365184 140730770764988 140730770765164 140730770765164 140730770767823 0
[pid=5038/tid=5045] ppid=5037 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/5038/task/5045/stat : 5045 (java) S 5037 5037 15196 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 28 0 4439237 14133010432 32598 33554432000 4194304 4196468 140730770756816 140141099568016 140141171652309 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6365184 140730770764988 140730770765164 140730770765164 140730770767823 0
[pid=5038/tid=5046] ppid=5037 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/5038/task/5046/stat : 5046 (java) S 5037 5037 15196 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 28 0 4439237 14133010432 32598 33554432000 4194304 4196468 140730770756816 140141098515216 140141171652309 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 6365184 140730770764988 140730770765164 140730770765164 140730770767823 0
[pid=5038/tid=5047] ppid=5037 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/5038/task/5047/stat : 5047 (java) S 5037 5037 15196 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4439237 14133010432 32598 33554432000 4194304 4196468 140730770756816 140141097462928 140141171652309 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6365184 140730770764988 140730770765164 140730770765164 140730770767823 0
[pid=5038/tid=5048] ppid=5037 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/5038/task/5048/stat : 5048 (java) S 5037 5037 15196 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 28 0 4439237 14133010432 32598 33554432000 4194304 4196468 140730770756816 140141096410128 140141171652309 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 6365184 140730770764988 140730770765164 140730770765164 140730770767823 0
[pid=5038/tid=5049] ppid=5037 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/5038/task/5049/stat : 5049 (java) S 5037 5037 15196 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 28 0 4439239 14133010432 32598 33554432000 4194304 4196468 140730770756816 140140633901168 140141171653250 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6365184 140730770764988 140730770765164 140730770765164 140730770767823 0
[pid=5038/tid=5050] ppid=5037 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/5038/task/5050/stat : 5050 (java) S 5037 5037 15196 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 28 0 4439240 14133010432 32656 33554432000 4194304 4196468 140730770756816 140140632847136 140141171652309 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 6365184 140730770764988 140730770765164 140730770765164 140730770767823 0
[pid=5038/tid=5051] ppid=5037 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/5038/task/5051/stat : 5051 (java) S 5037 5037 15196 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 28 0 4439240 14133010432 32656 33554432000 4194304 4196468 140730770756816 140140631794800 140141171652309 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 6365184 140730770764988 140730770765164 140730770765164 140730770767823 0
[pid=5038/tid=5052] ppid=5037 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/5038/task/5052/stat : 5052 (java) S 5037 5037 15196 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4439244 14133010432 32656 33554432000 4194304 4196468 140730770756816 140140630743120 140141171660699 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 6365184 140730770764988 140730770765164 140730770765164 140730770767823 0
[pid=5038/tid=5053] ppid=5037 vsize=13801768 CPUtime=0.82 cores=0,2,4,6,8,10,12,14
/proc/5038/task/5053/stat : 5053 (java) R 5037 5037 15196 0 -1 4202560 2172 0 0 0 81 1 0 0 20 0 28 0 4439244 14133010432 32656 33554432000 4194304 4196468 140730770756816 140140629677016 140141163879230 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 6365184 140730770764988 140730770765164 140730770765164 140730770767823 0
[pid=5038/tid=5054] ppid=5037 vsize=13801768 CPUtime=0.87 cores=0,2,4,6,8,10,12,14
/proc/5038/task/5054/stat : 5054 (java) R 5037 5037 15196 0 -1 4202560 1944 0 0 0 87 0 0 0 20 0 28 0 4439244 14133010432 32656 33554432000 4194304 4196468 140730770756816 140140628619208 140141156521569 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 6365184 140730770764988 140730770765164 140730770765164 140730770767823 0
[pid=5038/tid=5055] ppid=5037 vsize=13801768 CPUtime=0.77 cores=0,2,4,6,8,10,12,14
/proc/5038/task/5055/stat : 5055 (java) R 5037 5037 15196 0 -1 4202560 2385 0 0 0 77 0 0 0 20 0 28 0 4439244 14133010432 32656 33554432000 4194304 4196468 140730770756816 140140627571784 140141153185398 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 6365184 140730770764988 140730770765164 140730770765164 140730770767823 0
[pid=5038/tid=5056] ppid=5037 vsize=13801768 CPUtime=0.55 cores=0,2,4,6,8,10,12,14
/proc/5038/task/5056/stat : 5056 (java) S 5037 5037 15196 0 -1 1077944384 2182 0 0 0 55 0 0 0 20 0 28 0 4439244 14133010432 32656 33554432000 4194304 4196468 140730770756816 140140626533104 140141171653250 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6365184 140730770764988 140730770765164 140730770765164 140730770767823 0
[pid=5038/tid=5057] ppid=5037 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/5038/task/5057/stat : 5057 (java) S 5037 5037 15196 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 4439245 14133010432 32656 33554432000 4194304 4196468 140730770756816 140140625480032 140141171652309 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 6365184 140730770764988 140730770765164 140730770765164 140730770767823 0
[pid=5038/tid=5058] ppid=5037 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/5038/task/5058/stat : 5058 (java) S 5037 5037 15196 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 4439245 14133010432 32656 33554432000 4194304 4196468 140730770756816 140140624427312 140141171653250 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6365184 140730770764988 140730770765164 140730770765164 140730770767823 0
[pid=5038/tid=5059] ppid=5037 vsize=13801768 CPUtime=0.61 cores=0,2,4,6,8,10,12,14
/proc/5038/task/5059/stat : 5059 (java) R 5037 5037 15196 0 -1 4202560 92 0 0 0 61 0 0 0 20 0 28 0 4439295 14133010432 32656 33554432000 4194304 4196468 140730770756816 140140548537144 140141163879230 0 4 0 16800975 0 0 0 -1 14 0 0 0 0 0 6293624 6294260 6365184 140730770764988 140730770765164 140730770765164 140730770767823 0
[pid=5038/tid=5060] ppid=5037 vsize=13801768 CPUtime=0.59 cores=0,2,4,6,8,10,12,14
/proc/5038/task/5060/stat : 5060 (java) R 5037 5037 15196 0 -1 4202560 74 0 0 0 59 0 0 0 20 0 28 0 4439295 14133010432 32656 33554432000 4194304 4196468 140730770756816 140140547485464 140141163879230 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 6365184 140730770764988 140730770765164 140730770765164 140730770767823 0
[pid=5038/tid=5061] ppid=5037 vsize=13801768 CPUtime=0.62 cores=0,2,4,6,8,10,12,14
/proc/5038/task/5061/stat : 5061 (java) R 5037 5037 15196 0 -1 4202560 69 0 0 0 62 0 0 0 20 0 28 0 4439295 14133010432 32656 33554432000 4194304 4196468 140730770756816 140140546436440 140140777625631 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 6365184 140730770764988 140730770765164 140730770765164 140730770767823 0
[pid=5038/tid=5062] ppid=5037 vsize=13801768 CPUtime=0.69 cores=0,2,4,6,8,10,12,14
/proc/5038/task/5062/stat : 5062 (java) R 5037 5037 15196 0 -1 4202560 98 0 0 0 69 0 0 0 20 0 28 0 4439295 14133010432 32656 33554432000 4194304 4196468 140730770756816 140140545380376 140141157087196 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 6365184 140730770764988 140730770765164 140730770765164 140730770767823 0
[pid=5038/tid=5063] ppid=5037 vsize=13801768 CPUtime=0.6 cores=0,2,4,6,8,10,12,14
/proc/5038/task/5063/stat : 5063 (java) R 5037 5037 15196 0 -1 4202560 43 0 0 0 60 0 0 0 20 0 28 0 4439295 14133010432 32656 33554432000 4194304 4196468 140730770756816 140140544331352 140140776612614 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 6365184 140730770764988 140730770765164 140730770765164 140730770767823 0
[pid=5038/tid=5064] ppid=5037 vsize=13801768 CPUtime=0.71 cores=0,2,4,6,8,10,12,14
/proc/5038/task/5064/stat : 5064 (java) R 5037 5037 15196 0 -1 4202560 75 0 0 0 71 0 0 0 20 0 28 0 4439295 14133010432 32656 33554432000 4194304 4196468 140730770756816 140140543275584 140140776612140 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 6365184 140730770764988 140730770765164 140730770765164 140730770767823 0
[pid=5038/tid=5065] ppid=5037 vsize=13801768 CPUtime=0.67 cores=0,2,4,6,8,10,12,14
/proc/5038/task/5065/stat : 5065 (java) R 5037 5037 15196 0 -1 4202560 66 0 0 0 67 0 0 0 20 0 28 0 4439295 14133010432 32656 33554432000 4194304 4196468 140730770756816 140140542225104 140140777717560 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 6365184 140730770764988 140730770765164 140730770765164 140730770767823 0

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

/proc/5038/task/5050/stat : 5050 (java) S 5037 5037 15196 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 28 0 4439240 14133010432 45461 33554432000 4194304 4196468 140730770756816 140140632847136 140141171652309 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 6365184 140730770764988 140730770765164 140730770765164 140730770767823 0
[pid=5038/tid=5051] ppid=5037 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/5038/task/5051/stat : 5051 (java) S 5037 5037 15196 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 28 0 4439240 14133010432 45461 33554432000 4194304 4196468 140730770756816 140140631794800 140141171652309 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 6365184 140730770764988 140730770765164 140730770765164 140730770767823 0
[pid=5038/tid=5052] ppid=5037 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/5038/task/5052/stat : 5052 (java) S 5037 5037 15196 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4439244 14133010432 45461 33554432000 4194304 4196468 140730770756816 140140630743120 140141171660699 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 6365184 140730770764988 140730770765164 140730770765164 140730770767823 0
[pid=5038/tid=5053] ppid=5037 vsize=13801768 CPUtime=1.32 cores=0,2,4,6,8,10,12,14
/proc/5038/task/5053/stat : 5053 (java) R 5037 5037 15196 0 -1 4202560 4396 0 0 0 131 1 0 0 20 0 28 0 4439244 14133010432 45461 33554432000 4194304 4196468 140730770756816 140140629677216 140141156768377 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 6365184 140730770764988 140730770765164 140730770765164 140730770767823 0
[pid=5038/tid=5054] ppid=5037 vsize=13801768 CPUtime=1.4 cores=0,2,4,6,8,10,12,14
/proc/5038/task/5054/stat : 5054 (java) R 5037 5037 15196 0 -1 4202560 5759 0 0 0 139 1 0 0 20 0 28 0 4439244 14133010432 45461 33554432000 4194304 4196468 140730770756816 140140628623152 140141153186193 0 4 0 16800975 0 0 0 -1 14 0 0 0 0 0 6293624 6294260 6365184 140730770764988 140730770765164 140730770765164 140730770767823 0
[pid=5038/tid=5055] ppid=5037 vsize=13801768 CPUtime=1.37 cores=0,2,4,6,8,10,12,14
/proc/5038/task/5055/stat : 5055 (java) R 5037 5037 15196 0 -1 4202560 5312 0 0 0 136 1 0 0 20 0 28 0 4439244 14133010432 45461 33554432000 4194304 4196468 140730770756816 140140627571872 140141155128053 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 6365184 140730770764988 140730770765164 140730770765164 140730770767823 0
[pid=5038/tid=5056] ppid=5037 vsize=13801768 CPUtime=0.58 cores=0,2,4,6,8,10,12,14
/proc/5038/task/5056/stat : 5056 (java) S 5037 5037 15196 0 -1 1077944384 3059 0 0 0 58 0 0 0 20 0 28 0 4439244 14133010432 45461 33554432000 4194304 4196468 140730770756816 140140626533104 140141171653250 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 6365184 140730770764988 140730770765164 140730770765164 140730770767823 0
[pid=5038/tid=5057] ppid=5037 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/5038/task/5057/stat : 5057 (java) S 5037 5037 15196 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 4439245 14133010432 45461 33554432000 4194304 4196468 140730770756816 140140625480032 140141171652309 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 6365184 140730770764988 140730770765164 140730770765164 140730770767823 0
[pid=5038/tid=5058] ppid=5037 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/5038/task/5058/stat : 5058 (java) S 5037 5037 15196 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 28 0 4439245 14133010432 45461 33554432000 4194304 4196468 140730770756816 140140624427312 140141171653250 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6365184 140730770764988 140730770765164 140730770765164 140730770767823 0
[pid=5038/tid=5059] ppid=5037 vsize=13801768 CPUtime=1.25 cores=0,2,4,6,8,10,12,14
/proc/5038/task/5059/stat : 5059 (java) R 5037 5037 15196 0 -1 4202560 148 0 0 0 125 0 0 0 20 0 28 0 4439295 14133010432 45461 33554432000 4194304 4196468 140730770756816 140140548540064 140140778240420 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 6365184 140730770764988 140730770765164 140730770765164 140730770767823 0
[pid=5038/tid=5060] ppid=5037 vsize=13801768 CPUtime=1.08 cores=0,2,4,6,8,10,12,14
/proc/5038/task/5060/stat : 5060 (java) R 5037 5037 15196 0 -1 4202560 121 0 0 0 108 0 0 0 20 0 28 0 4439295 14133010432 45461 33554432000 4194304 4196468 140730770756816 140140547488512 140140776986740 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 6365184 140730770764988 140730770765164 140730770765164 140730770767823 0
[pid=5038/tid=5061] ppid=5037 vsize=13801768 CPUtime=1.1 cores=0,2,4,6,8,10,12,14
/proc/5038/task/5061/stat : 5061 (java) R 5037 5037 15196 0 -1 4202560 192 0 0 0 110 0 0 0 20 0 28 0 4439295 14133010432 45461 33554432000 4194304 4196468 140730770756816 140140546437320 140140778342146 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 6365184 140730770764988 140730770765164 140730770765164 140730770767823 0
[pid=5038/tid=5062] ppid=5037 vsize=13801768 CPUtime=1.27 cores=0,2,4,6,8,10,12,14
/proc/5038/task/5062/stat : 5062 (java) R 5037 5037 15196 0 -1 4202560 284 0 0 0 127 0 0 0 20 0 28 0 4439295 14133010432 45461 33554432000 4194304 4196468 140730770756816 140140545384344 140141163662431 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 6365184 140730770764988 140730770765164 140730770765164 140730770767823 0
[pid=5038/tid=5063] ppid=5037 vsize=13801768 CPUtime=1.2 cores=0,2,4,6,8,10,12,14
/proc/5038/task/5063/stat : 5063 (java) R 5037 5037 15196 0 -1 4202560 102 0 0 0 120 0 0 0 20 0 28 0 4439295 14133010432 45461 33554432000 4194304 4196468 140730770756816 140140544328288 140140778347484 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 6365184 140730770764988 140730770765164 140730770765164 140730770767823 0
[pid=5038/tid=5064] ppid=5037 vsize=13801768 CPUtime=1.35 cores=0,2,4,6,8,10,12,14
/proc/5038/task/5064/stat : 5064 (java) R 5037 5037 15196 0 -1 4202560 180 0 0 0 135 0 0 0 20 0 28 0 4439295 14133010432 45461 33554432000 4194304 4196468 140730770756816 140140543278208 140140777238658 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 6365184 140730770764988 140730770765164 140730770765164 140730770767823 0
[pid=5038/tid=5065] ppid=5037 vsize=13801768 CPUtime=1.25 cores=0,2,4,6,8,10,12,14
/proc/5038/task/5065/stat : 5065 (java) R 5037 5037 15196 0 -1 4202560 120 0 0 0 125 0 0 0 20 0 28 0 4439295 14133010432 45461 33554432000 4194304 4196468 140730770756816 140140542225480 140140777662823 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 6365184 140730770764988 140730770765164 140730770765164 140730770767823 0
[pid=5038/tid=5066] ppid=5037 vsize=13801768 CPUtime=1.41 cores=0,2,4,6,8,10,12,14
/proc/5038/task/5066/stat : 5066 (java) R 5037 5037 15196 0 -1 4202560 117 0 0 0 141 0 0 0 20 0 28 0 4439295 14133010432 45461 33554432000 4194304 4196468 140730770756816 140140541172096 140140778344826 0 4 0 16800975 0 0 0 -1 14 0 0 0 0 0 6293624 6294260 6365184 140730770764988 140730770765164 140730770765164 140730770767823 0
Current children cumulated CPU time (s) 15.23
Current children cumulated vsize (KiB) 13811280

[startup+2.80155 s]
/proc/loadavg: 14.25 14.56 14.91 20/300 5066
/proc/meminfo: memFree=28345812/32770624 swapFree=5808/117724
[pid=5037] ppid=5034 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/5037/stat : 5037 (xcsp3-exec) S 5034 5037 15196 0 -1 4202496 519 0 0 0 0 0 0 0 20 0 1 0 4439235 9740288 346 33554432000 4194304 5098028 140722364700256 140722364698360 139709784597116 0 65536 4100 65538 18446744071579417331 0 0 17 8 0 0 0 0 0 7196144 7232144 29835264 140722364703886 140722364704096 140722364704096 140722364706795 0
/proc/5037/statm: 2378 346 289 221 0 87 0
[pid=5038] ppid=5037 vsize=13801768 CPUtime=18.39 cores=0,2,4,6,8,10,12,14
/proc/5038/stat : 5038 (java) S 5037 5037 15196 0 -1 1077944320 29477 0 0 0 1827 12 0 0 20 0 28 0 4439235 14133010432 53745 33554432000 4194304 4196468 140730770756816 140730770739360 140141171642103 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 6365184 140730770764988 140730770765164 140730770765164 140730770767823 0
/proc/5038/statm: 3450442 53745 3233 1 0 3437675 0
[pid=5038/tid=5039] ppid=5037 vsize=13801768 CPUtime=0.57 cores=0,2,4,6,8,10,12,14
/proc/5038/task/5039/stat : 5039 (java) S 5037 5037 15196 0 -1 1077944384 6870 0 0 0 55 2 0 0 20 0 28 0 4439236 14133010432 53745 33554432000 4194304 4196468 140730770756816 140141175882880 140141171652309 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6365184 140730770764988 140730770765164 140730770765164 140730770767823 0
[pid=5038/tid=5041] ppid=5037 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/5038/task/5041/stat : 5041 (java) S 5037 5037 15196 0 -1 1077944384 12 0 0 0 0 0 0 0 20 0 28 0 4439237 14133010432 53745 33554432000 4194304 4196468 140730770756816 140141103778192 140141171652309 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6365184 140730770764988 140730770765164 140730770765164 140730770767823 0
[pid=5038/tid=5042] ppid=5037 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/5038/task/5042/stat : 5042 (java) S 5037 5037 15196 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 4439237 14133010432 53745 33554432000 4194304 4196468 140730770756816 140141102725392 140141171652309 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 6365184 140730770764988 140730770765164 140730770765164 140730770767823 0
[pid=5038/tid=5043] ppid=5037 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/5038/task/5043/stat : 5043 (java) S 5037 5037 15196 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4439237 14133010432 53745 33554432000 4194304 4196468 140730770756816 140141101673104 140141171652309 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 6365184 140730770764988 140730770765164 140730770765164 140730770767823 0
[pid=5038/tid=5044] ppid=5037 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/5038/task/5044/stat : 5044 (java) S 5037 5037 15196 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 28 0 4439237 14133010432 53745 33554432000 4194304 4196468 140730770756816 140141100620304 140141171652309 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6365184 140730770764988 140730770765164 140730770765164 140730770767823 0
[pid=5038/tid=5045] ppid=5037 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/5038/task/5045/stat : 5045 (java) S 5037 5037 15196 0 -1 1077944384 374 0 0 0 0 0 0 0 20 0 28 0 4439237 14133010432 53745 33554432000 4194304 4196468 140730770756816 140141099568016 140141171652309 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6365184 140730770764988 140730770765164 140730770765164 140730770767823 0
[pid=5038/tid=5046] ppid=5037 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/5038/task/5046/stat : 5046 (java) S 5037 5037 15196 0 -1 1077944384 69 0 0 0 0 0 0 0 20 0 28 0 4439237 14133010432 53745 33554432000 4194304 4196468 140730770756816 140141098515216 140141171652309 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 6365184 140730770764988 140730770765164 140730770765164 140730770767823 0
[pid=5038/tid=5047] ppid=5037 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/5038/task/5047/stat : 5047 (java) S 5037 5037 15196 0 -1 1077944384 9 0 0 0 0 0 0 0 20 0 28 0 4439237 14133010432 53745 33554432000 4194304 4196468 140730770756816 140141097462928 140141171652309 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6365184 140730770764988 140730770765164 140730770765164 140730770767823 0
[pid=5038/tid=5048] ppid=5037 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/5038/task/5048/stat : 5048 (java) S 5037 5037 15196 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 28 0 4439237 14133010432 53745 33554432000 4194304 4196468 140730770756816 140141096410128 140141171652309 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6365184 140730770764988 140730770765164 140730770765164 140730770767823 0
[pid=5038/tid=5049] ppid=5037 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/5038/task/5049/stat : 5049 (java) S 5037 5037 15196 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 28 0 4439239 14133010432 53745 33554432000 4194304 4196468 140730770756816 140140633901168 140141171653250 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6365184 140730770764988 140730770765164 140730770765164 140730770767823 0
[pid=5038/tid=5050] ppid=5037 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/5038/task/5050/stat : 5050 (java) S 5037 5037 15196 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 28 0 4439240 14133010432 53745 33554432000 4194304 4196468 140730770756816 140140632847200 140141171652309 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6365184 140730770764988 140730770765164 140730770765164 140730770767823 0
[pid=5038/tid=5051] ppid=5037 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/5038/task/5051/stat : 5051 (java) S 5037 5037 15196 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 28 0 4439240 14133010432 53745 33554432000 4194304 4196468 140730770756816 140140631794800 140141171652309 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 6365184 140730770764988 140730770765164 140730770765164 140730770767823 0
[pid=5038/tid=5052] ppid=5037 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/5038/task/5052/stat : 5052 (java) S 5037 5037 15196 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4439244 14133010432 53745 33554432000 4194304 4196468 140730770756816 140140630743120 140141171660699 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 6365184 140730770764988 140730770765164 140730770765164 140730770767823 0
[pid=5038/tid=5053] ppid=5037 vsize=13801768 CPUtime=1.7 cores=0,2,4,6,8,10,12,14
/proc/5038/task/5053/stat : 5053 (java) R 5037 5037 15196 0 -1 4202560 4462 0 0 0 169 1 0 0 20 0 28 0 4439244 14133010432 53745 33554432000 4194304 4196468 140730770756816 140140629677088 140141153164686 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 6365184 140730770764988 140730770765164 140730770765164 140730770767823 0
[pid=5038/tid=5054] ppid=5037 vsize=13801768 CPUtime=1.69 cores=0,2,4,6,8,10,12,14
/proc/5038/task/5054/stat : 5054 (java) R 5037 5037 15196 0 -1 4202560 5853 0 0 0 168 1 0 0 20 0 28 0 4439244 14133010432 53745 33554432000 4194304 4196468 140730770756816 140140628624288 140141156521921 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 6365184 140730770764988 140730770765164 140730770765164 140730770767823 0
[pid=5038/tid=5055] ppid=5037 vsize=13801768 CPUtime=1.71 cores=0,2,4,6,8,10,12,14
/proc/5038/task/5055/stat : 5055 (java) R 5037 5037 15196 0 -1 4202560 5338 0 0 0 170 1 0 0 20 0 28 0 4439244 14133010432 53745 33554432000 4194304 4196468 140730770756816 140140627572160 140141153186198 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 6365184 140730770764988 140730770765164 140730770765164 140730770767823 0
[pid=5038/tid=5056] ppid=5037 vsize=13801768 CPUtime=0.6 cores=0,2,4,6,8,10,12,14
/proc/5038/task/5056/stat : 5056 (java) S 5037 5037 15196 0 -1 1077944384 3680 0 0 0 60 0 0 0 20 0 28 0 4439244 14133010432 53745 33554432000 4194304 4196468 140730770756816 140140626533104 140141171653250 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 6365184 140730770764988 140730770765164 140730770765164 140730770767823 0
[pid=5038/tid=5057] ppid=5037 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/5038/task/5057/stat : 5057 (java) S 5037 5037 15196 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 4439245 14133010432 53745 33554432000 4194304 4196468 140730770756816 140140625480032 140141171652309 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 6365184 140730770764988 140730770765164 140730770765164 140730770767823 0
[pid=5038/tid=5058] ppid=5037 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/5038/task/5058/stat : 5058 (java) S 5037 5037 15196 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 28 0 4439245 14133010432 53745 33554432000 4194304 4196468 140730770756816 140140624427312 140141171653250 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 6365184 140730770764988 140730770765164 140730770765164 140730770767823 0
[pid=5038/tid=5059] ppid=5037 vsize=13801768 CPUtime=1.55 cores=0,2,4,6,8,10,12,14
/proc/5038/task/5059/stat : 5059 (java) R 5037 5037 15196 0 -1 4202560 195 0 0 0 155 0 0 0 20 0 28 0 4439295 14133010432 53745 33554432000 4194304 4196468 140730770756816 140140548542072 140140778303385 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 6365184 140730770764988 140730770765164 140730770765164 140730770767823 0
[pid=5038/tid=5060] ppid=5037 vsize=13801768 CPUtime=1.41 cores=0,2,4,6,8,10,12,14
/proc/5038/task/5060/stat : 5060 (java) R 5037 5037 15196 0 -1 4202560 122 0 0 0 141 0 0 0 20 0 28 0 4439295 14133010432 53745 33554432000 4194304 4196468 140730770756816 140140547491544 140140778256487 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 6365184 140730770764988 140730770765164 140730770765164 140730770767823 0
[pid=5038/tid=5061] ppid=5037 vsize=13801768 CPUtime=1.36 cores=0,2,4,6,8,10,12,14
/proc/5038/task/5061/stat : 5061 (java) R 5037 5037 15196 0 -1 4202560 196 0 0 0 136 0 0 0 20 0 28 0 4439295 14133010432 53745 33554432000 4194304 4196468 140730770756816 140140546437192 140140778715554 0 4 0 16800975 0 0 0 -1 14 0 0 0 0 0 6293624 6294260 6365184 140730770764988 140730770765164 140730770765164 140730770767823 0
[pid=5038/tid=5062] ppid=5037 vsize=13801768 CPUtime=1.5 cores=0,2,4,6,8,10,12,14
/proc/5038/task/5062/stat : 5062 (java) R 5037 5037 15196 0 -1 4202560 284 0 0 0 150 0 0 0 20 0 28 0 4439295 14133010432 53745 33554432000 4194304 4196468 140730770756816 140140545384424 140140778247938 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 6365184 140730770764988 140730770765164 140730770765164 140730770767823 0
[pid=5038/tid=5063] ppid=5037 vsize=13801768 CPUtime=1.43 cores=0,2,4,6,8,10,12,14
/proc/5038/task/5063/stat : 5063 (java) R 5037 5037 15196 0 -1 4202560 104 0 0 0 143 0 0 0 20 0 28 0 4439295 14133010432 53745 33554432000 4194304 4196468 140730770756816 140140544334440 140140778248581 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 6365184 140730770764988 140730770765164 140730770765164 140730770767823 0
[pid=5038/tid=5064] ppid=5037 vsize=13801768 CPUtime=1.56 cores=0,2,4,6,8,10,12,14
/proc/5038/task/5064/stat : 5064 (java) R 5037 5037 15196 0 -1 4202560 181 0 0 0 156 0 0 0 20 0 28 0 4439295 14133010432 53745 33554432000 4194304 4196468 140730770756816 140140543280040 140140778219126 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 6365184 140730770764988 140730770765164 140730770765164 140730770767823 0
[pid=5038/tid=5065] ppid=5037 vsize=13801768 CPUtime=1.55 cores=0,2,4,6,8,10,12,14
/proc/5038/task/5065/stat : 5065 (java) R 5037 5037 15196 0 -1 4202560 121 0 0 0 155 0 0 0 20 0 28 0 4439295 14133010432 53745 33554432000 4194304 4196468 140730770756816 140140542226328 140140778973769 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 6365184 140730770764988 140730770765164 140730770765164 140730770767823 0
[pid=5038/tid=5066] ppid=5037 vsize=13801768 CPUtime=1.61 cores=0,2,4,6,8,10,12,14
/proc/5038/task/5066/stat : 5066 (java) R 5037 5037 15196 0 -1 4202560 118 0 0 0 161 0 0 0 20 0 28 0 4439295 14133010432 53745 33554432000 4194304 4196468 140730770756816 140140541172696 140140778305079 0 4 0 16800975 0 0 0 -1 14 0 0 0 0 0 6293624 6294260 6365184 140730770764988 140730770765164 140730770765164 140730770767823 0
Current children cumulated CPU time (s) 18.39
Current children cumulated vsize (KiB) 13811280

[startup+2.90148 s]
/proc/loadavg: 14.25 14.56 14.91 20/300 5066
/proc/meminfo: memFree=28345812/32770624 swapFree=5808/117724
[pid=5037] ppid=5034 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/5037/stat : 5037 (xcsp3-exec) S 5034 5037 15196 0 -1 4202496 519 0 0 0 0 0 0 0 20 0 1 0 4439235 9740288 346 33554432000 4194304 5098028 140722364700256 140722364698360 139709784597116 0 65536 4100 65538 18446744071579417331 0 0 17 8 0 0 0 0 0 7196144 7232144 29835264 140722364703886 140722364704096 140722364704096 140722364706795 0
/proc/5037/statm: 2378 346 289 221 0 87 0
[pid=5038] ppid=5037 vsize=13801768 CPUtime=19.19 cores=0,2,4,6,8,10,12,14
/proc/5038/stat : 5038 (java) S 5037 5037 15196 0 -1 1077944320 29516 0 0 0 1906 13 0 0 20 0 28 0 4439235 14133010432 53780 33554432000 4194304 4196468 140730770756816 140730770739360 140141171642103 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 6365184 140730770764988 140730770765164 140730770765164 140730770767823 0
/proc/5038/statm: 3450442 53780 3236 1 0 3437675 0
[pid=5038/tid=5039] ppid=5037 vsize=13801768 CPUtime=0.57 cores=0,2,4,6,8,10,12,14
/proc/5038/task/5039/stat : 5039 (java) S 5037 5037 15196 0 -1 1077944384 6870 0 0 0 55 2 0 0 20 0 28 0 4439236 14133010432 53780 33554432000 4194304 4196468 140730770756816 140141175882880 140141171652309 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6365184 140730770764988 140730770765164 140730770765164 140730770767823 0
[pid=5038/tid=5041] ppid=5037 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/5038/task/5041/stat : 5041 (java) S 5037 5037 15196 0 -1 1077944384 12 0 0 0 0 0 0 0 20 0 28 0 4439237 14133010432 53780 33554432000 4194304 4196468 140730770756816 140141103778192 140141171652309 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6365184 140730770764988 140730770765164 140730770765164 140730770767823 0
[pid=5038/tid=5042] ppid=5037 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/5038/task/5042/stat : 5042 (java) S 5037 5037 15196 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 4439237 14133010432 53780 33554432000 4194304 4196468 140730770756816 140141102725392 140141171652309 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 6365184 140730770764988 140730770765164 140730770765164 140730770767823 0
[pid=5038/tid=5043] ppid=5037 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/5038/task/5043/stat : 5043 (java) S 5037 5037 15196 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4439237 14133010432 53780 33554432000 4194304 4196468 140730770756816 140141101673104 140141171652309 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 6365184 140730770764988 140730770765164 140730770765164 140730770767823 0
[pid=5038/tid=5044] ppid=5037 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/5038/task/5044/stat : 5044 (java) S 5037 5037 15196 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 28 0 4439237 14133010432 53780 33554432000 4194304 4196468 140730770756816 140141100620304 140141171652309 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6365184 140730770764988 140730770765164 140730770765164 140730770767823 0
[pid=5038/tid=5045] ppid=5037 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/5038/task/5045/stat : 5045 (java) S 5037 5037 15196 0 -1 1077944384 374 0 0 0 0 0 0 0 20 0 28 0 4439237 14133010432 53780 33554432000 4194304 4196468 140730770756816 140141099568016 140141171652309 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6365184 140730770764988 140730770765164 140730770765164 140730770767823 0
[pid=5038/tid=5046] ppid=5037 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/5038/task/5046/stat : 5046 (java) S 5037 5037 15196 0 -1 1077944384 69 0 0 0 0 0 0 0 20 0 28 0 4439237 14133010432 53780 33554432000 4194304 4196468 140730770756816 140141098515216 140141171652309 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 6365184 140730770764988 140730770765164 140730770765164 140730770767823 0
[pid=5038/tid=5047] ppid=5037 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/5038/task/5047/stat : 5047 (java) S 5037 5037 15196 0 -1 1077944384 9 0 0 0 0 0 0 0 20 0 28 0 4439237 14133010432 53780 33554432000 4194304 4196468 140730770756816 140141097462928 140141171652309 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6365184 140730770764988 140730770765164 140730770765164 140730770767823 0
[pid=5038/tid=5048] ppid=5037 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/5038/task/5048/stat : 5048 (java) S 5037 5037 15196 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 28 0 4439237 14133010432 53780 33554432000 4194304 4196468 140730770756816 140141096410128 140141171652309 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6365184 140730770764988 140730770765164 140730770765164 140730770767823 0
[pid=5038/tid=5049] ppid=5037 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/5038/task/5049/stat : 5049 (java) S 5037 5037 15196 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 28 0 4439239 14133010432 53780 33554432000 4194304 4196468 140730770756816 140140633901168 140141171653250 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6365184 140730770764988 140730770765164 140730770765164 140730770767823 0
[pid=5038/tid=5050] ppid=5037 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/5038/task/5050/stat : 5050 (java) S 5037 5037 15196 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 28 0 4439240 14133010432 53780 33554432000 4194304 4196468 140730770756816 140140632847200 140141171652309 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6365184 140730770764988 140730770765164 140730770765164 140730770767823 0
[pid=5038/tid=5051] ppid=5037 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/5038/task/5051/stat : 5051 (java) S 5037 5037 15196 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 28 0 4439240 14133010432 53780 33554432000 4194304 4196468 140730770756816 140140631794800 140141171652309 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 6365184 140730770764988 140730770765164 140730770765164 140730770767823 0
[pid=5038/tid=5052] ppid=5037 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/5038/task/5052/stat : 5052 (java) S 5037 5037 15196 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4439244 14133010432 53780 33554432000 4194304 4196468 140730770756816 140140630743120 140141171660699 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 6365184 140730770764988 140730770765164 140730770765164 140730770767823 0
[pid=5038/tid=5053] ppid=5037 vsize=13801768 CPUtime=1.79 cores=0,2,4,6,8,10,12,14
/proc/5038/task/5053/stat : 5053 (java) R 5037 5037 15196 0 -1 4202560 4474 0 0 0 178 1 0 0 20 0 28 0 4439244 14133010432 53780 33554432000 4194304 4196468 140730770756816 140140629676144 140141157706285 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 6365184 140730770764988 140730770765164 140730770765164 140730770767823 0
[pid=5038/tid=5054] ppid=5037 vsize=13801768 CPUtime=1.78 cores=0,2,4,6,8,10,12,14
/proc/5038/task/5054/stat : 5054 (java) R 5037 5037 15196 0 -1 1077944384 5859 0 0 0 177 1 0 0 20 0 28 0 4439244 14133010432 53780 33554432000 4194304 4196468 140730770756816 140140628638320 140141171652309 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 6365184 140730770764988 140730770765164 140730770765164 140730770767823 0
[pid=5038/tid=5055] ppid=5037 vsize=13801768 CPUtime=1.81 cores=0,2,4,6,8,10,12,14
/proc/5038/task/5055/stat : 5055 (java) R 5037 5037 15196 0 -1 4202560 5355 0 0 0 180 1 0 0 20 0 28 0 4439244 14133010432 53780 33554432000 4194304 4196468 140730770756816 140140627578808 140141152341646 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 6365184 140730770764988 140730770765164 140730770765164 140730770767823 0
[pid=5038/tid=5056] ppid=5037 vsize=13801768 CPUtime=0.6 cores=0,2,4,6,8,10,12,14
/proc/5038/task/5056/stat : 5056 (java) S 5037 5037 15196 0 -1 1077944384 3684 0 0 0 60 0 0 0 20 0 28 0 4439244 14133010432 53780 33554432000 4194304 4196468 140730770756816 140140626533104 140141171653250 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6365184 140730770764988 140730770765164 140730770765164 140730770767823 0
[pid=5038/tid=5057] ppid=5037 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/5038/task/5057/stat : 5057 (java) S 5037 5037 15196 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 4439245 14133010432 53780 33554432000 4194304 4196468 140730770756816 140140625480032 140141171652309 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 6365184 140730770764988 140730770765164 140730770765164 140730770767823 0
[pid=5038/tid=5058] ppid=5037 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/5038/task/5058/stat : 5058 (java) S 5037 5037 15196 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 28 0 4439245 14133010432 53780 33554432000 4194304 4196468 140730770756816 140140624427312 140141171653250 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 6365184 140730770764988 140730770765164 140730770765164 140730770767823 0
[pid=5038/tid=5059] ppid=5037 vsize=13801768 CPUtime=1.65 cores=0,2,4,6,8,10,12,14
/proc/5038/task/5059/stat : 5059 (java) R 5037 5037 15196 0 -1 4202560 195 0 0 0 165 0 0 0 20 0 28 0 4439295 14133010432 53780 33554432000 4194304 4196468 140730770756816 140140548542616 140140779171368 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 6365184 140730770764988 140730770765164 140730770765164 140730770767823 0
[pid=5038/tid=5060] ppid=5037 vsize=13801768 CPUtime=1.51 cores=0,2,4,6,8,10,12,14
/proc/5038/task/5060/stat : 5060 (java) R 5037 5037 15196 0 -1 4202560 122 0 0 0 151 0 0 0 20 0 28 0 4439295 14133010432 53780 33554432000 4194304 4196468 140730770756816 140140547488944 140140777837690 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 6365184 140730770764988 140730770765164 140730770765164 140730770767823 0
[pid=5038/tid=5061] ppid=5037 vsize=13801768 CPUtime=1.42 cores=0,2,4,6,8,10,12,14
/proc/5038/task/5061/stat : 5061 (java) R 5037 5037 15196 0 -1 4202560 196 0 0 0 142 0 0 0 20 0 28 0 4439295 14133010432 53780 33554432000 4194304 4196468 140730770756816 140140546437096 140140778247872 0 4 0 16800975 0 0 0 -1 14 0 0 0 0 0 6293624 6294260 6365184 140730770764988 140730770765164 140730770765164 140730770767823 0
[pid=5038/tid=5062] ppid=5037 vsize=13801768 CPUtime=1.56 cores=0,2,4,6,8,10,12,14
/proc/5038/task/5062/stat : 5062 (java) R 5037 5037 15196 0 -1 4202560 284 0 0 0 156 0 0 0 20 0 28 0 4439295 14133010432 53780 33554432000 4194304 4196468 140730770756816 140140545384424 140140778248595 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 6365184 140730770764988 140730770765164 140730770765164 140730770767823 0
[pid=5038/tid=5063] ppid=5037 vsize=13801768 CPUtime=1.47 cores=0,2,4,6,8,10,12,14
/proc/5038/task/5063/stat : 5063 (java) R 5037 5037 15196 0 -1 4202560 104 0 0 0 147 0 0 0 20 0 28 0 4439295 14133010432 53780 33554432000 4194304 4196468 140730770756816 140140544334440 140140778973254 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 6365184 140730770764988 140730770765164 140730770765164 140730770767823 0
[pid=5038/tid=5064] ppid=5037 vsize=13801768 CPUtime=1.61 cores=0,2,4,6,8,10,12,14
/proc/5038/task/5064/stat : 5064 (java) R 5037 5037 15196 0 -1 4202560 181 0 0 0 161 0 0 0 20 0 28 0 4439295 14133010432 53780 33554432000 4194304 4196468 140730770756816 140140543280040 140140778973377 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 6365184 140730770764988 140730770765164 140730770765164 140730770767823 0
[pid=5038/tid=5065] ppid=5037 vsize=13801768 CPUtime=1.61 cores=0,2,4,6,8,10,12,14
/proc/5038/task/5065/stat : 5065 (java) R 5037 5037 15196 0 -1 4202560 121 0 0 0 161 0 0 0 20 0 28 0 4439295 14133010432 53780 33554432000 4194304 4196468 140730770756816 140140542226496 140140773452528 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 6365184 140730770764988 140730770765164 140730770765164 140730770767823 0
[pid=5038/tid=5066] ppid=5037 vsize=13801768 CPUtime=1.65 cores=0,2,4,6,8,10,12,14
/proc/5038/task/5066/stat : 5066 (java) R 5037 5037 15196 0 -1 4202560 118 0 0 0 165 0 0 0 20 0 28 0 4439295 14133010432 53780 33554432000 4194304 4196468 140730770756816 140140541172696 140140778248403 0 4 0 16800975 0 0 0 -1 14 0 0 0 0 0 6293624 6294260 6365184 140730770764988 140730770765164 140730770765164 140730770767823 0
Current children cumulated CPU time (s) 19.19
Current children cumulated vsize (KiB) 13811280

Child status: 0
Real time (s): 2.93956
CPU time (s): 19.3486
CPU user time (s): 19.205
CPU system time (s): 0.143601
CPU usage (%): 658.215
Max. virtual memory (cumulated for all children) (KiB): 13811280

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 19.205
system time used= 0.143601
maximum resident set size= 215460
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 30327
page faults= 0
swaps= 0
block input operations= 0
block output operations= 112
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 3430
involuntary context switches= 1857

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.039625 second user time and 0.035222 second system time

The end

Launcher Data 

Begin job on node145 at 2017-07-22 04:49:01
IDJOB=4248197
IDBENCH=133187
IDSOLVER=2626
FILE ID=node145/4248197-1500691741
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-13.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-4248197-1500691741/watcher-4248197-1500691741 -o /tmp/evaluation-result-4248197-1500691741/solver-4248197-1500691741 -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 1061479162 HOME/instance-4248197-1500691741.xml

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

MD5SUM BENCH= 748c50a37a644f843fb6cdaa8347be41
RANDOM SEED=1061479162

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		: 1600.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		: 1733.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		: 1600.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		: 1600.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:        28507800 kB
MemAvailable:   28576124 kB
Buffers:          133536 kB
Cached:           207152 kB
SwapCached:            0 kB
Active:          3623292 kB
Inactive:         185512 kB
Active(anon):    3412152 kB
Inactive(anon):    67832 kB
Active(file):     211140 kB
Inactive(file):   117680 kB
Unevictable:        5808 kB
Mlocked:            5808 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:              8104 kB
Writeback:             0 kB
AnonPages:       3480644 kB
Mapped:            43228 kB
Shmem:              8852 kB
Slab:             146120 kB
SReclaimable:     110676 kB
SUnreclaim:        35444 kB
KernelStack:        5008 kB
PageTables:        12400 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    4439888 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:   3358720 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:04