Trace number 4247554

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 4.0.5 (2017-07-05)SAT 42.9761 5.96675

General information on the benchmark

NameRectPacking/RectPacking-m1-perf/
RectPacking-perfect-129.xml
MD5SUM98286cf95bf5397e70229f7335ae5343
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 benchmark2.92555
Satisfiable
(Un)Satisfiability was proved
Number of variables50
Number of constraints53
Number of domains1
Minimum domain size404
Maximum domain size404
Distribution of domain sizes[{"size":404,"count":50}]
Minimum variable degree2
Maximum variable degree4
Distribution of variable degrees[{"degree":2,"count":48},{"degree":3,"count":1},{"degree":4,"count":1}]
Minimum constraint arity1
Maximum constraint arity50
Distribution of constraint arities[{"arity":1,"count":51},{"arity":2,"count":1},{"arity":50,"count":1}]
Number of extensional constraints0
Number of intensional constraints52
Distribution of constraint types[{"type":"intension","count":52},{"type":"noOverlap","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-4247554-1500690232.xml"  -tl '2400s' -p 8 -x 0
0.00/0.18	c [HOME/instance-4247554-1500690232.xml, -tl, 2400s, -p, 8, -x, 0]
0.00/0.24	c 8 solvers in parallel
0.00/0.31	c parse instance...
0.00/0.64	c solve instance...
42.75/5.93	s SATISFIABLE
42.75/5.93	v <instantiation>
42.75/5.93	v 	<list>x[0] x[1] x[2] x[3] x[4] x[5] x[6] x[7] x[8] x[9] x[10] x[11] x[12] x[13] x[14] x[15] x[16] x[17] x[18] x[19] x[20] x[21] x[22] x[23] x[24] y[0] y[1] y[2] y[3] y[4] y[5] y[6] y[7] y[8] y[9] y[10] y[11] y[12] y[13] y[14] y[15] y[16] y[17] y[18] y[19] y[20] y[21] y[22] y[23] y[24] </list>
42.75/5.93	v 	<values>112 128 153 124 112 290 96 135 96 93 128 96 124 96 116 153 93 215 0 0 303 290 163 215 0 287 240 277 247 275 277 275 240 291 311 215 247 258 215 287 215 334 189 311 215 189 290 277 0 0 </values>
42.75/5.93	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-4247554-1500690232/watcher-4247554-1500690232 -o /tmp/evaluation-result-4247554-1500690232/solver-4247554-1500690232 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node133-1500682387-16944 --watchdog 2560 ./xcsp3-exec -dir HOME -tl 2400 -p 8 -ml 10000 -tdir HOME -seed 290031637 HOME/instance-4247554-1500690232.xml 

pid=14199
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: 8.25 8.47 8.96 2/265 14202
/proc/meminfo: memFree=29558000/32770624 swapFree=5900/262288
[pid=14202] ppid=14199 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/14202/stat : 14202 (xcsp3-exec) S 14199 14202 16913 0 -1 4202496 519 0 0 0 0 0 0 0 20 0 1 0 4290187 9740288 346 33554432000 4194304 5098028 140733649061952 140733649060056 140086578115196 0 65536 4100 65538 18446744071579417331 0 0 17 8 0 0 0 0 0 7196144 7232144 9441280 140733649069199 140733649069408 140733649069408 140733649072107 0
/proc/14202/statm: 2378 346 289 221 0 87 0

[startup+0.100132 s]
/proc/loadavg: 8.25 8.47 8.96 2/265 14202
/proc/meminfo: memFree=29558000/32770624 swapFree=5900/262288
[pid=14202] ppid=14199 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/14202/stat : 14202 (xcsp3-exec) S 14199 14202 16913 0 -1 4202496 519 0 0 0 0 0 0 0 20 0 1 0 4290187 9740288 346 33554432000 4194304 5098028 140733649061952 140733649060056 140086578115196 0 65536 4100 65538 18446744071579417331 0 0 17 8 0 0 0 0 0 7196144 7232144 9441280 140733649069199 140733649069408 140733649069408 140733649072107 0
/proc/14202/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512

[startup+0.200442 s]
/proc/loadavg: 8.25 8.47 8.96 2/265 14202
/proc/meminfo: memFree=29558000/32770624 swapFree=5900/262288
[pid=14202] ppid=14199 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/14202/stat : 14202 (xcsp3-exec) S 14199 14202 16913 0 -1 4202496 519 0 0 0 0 0 0 0 20 0 1 0 4290187 9740288 346 33554432000 4194304 5098028 140733649061952 140733649060056 140086578115196 0 65536 4100 65538 18446744071579417331 0 0 17 8 0 0 0 0 0 7196144 7232144 9441280 140733649069199 140733649069408 140733649069408 140733649072107 0
/proc/14202/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512

[startup+0.30028 s]
/proc/loadavg: 8.25 8.47 8.96 2/265 14202
/proc/meminfo: memFree=29558000/32770624 swapFree=5900/262288
[pid=14202] ppid=14199 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/14202/stat : 14202 (xcsp3-exec) S 14199 14202 16913 0 -1 4202496 519 0 0 0 0 0 0 0 20 0 1 0 4290187 9740288 346 33554432000 4194304 5098028 140733649061952 140733649060056 140086578115196 0 65536 4100 65538 18446744071579417331 0 0 17 8 0 0 0 0 0 7196144 7232144 9441280 140733649069199 140733649069408 140733649069408 140733649072107 0
/proc/14202/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512

[startup+0.700185 s]
/proc/loadavg: 8.25 8.47 8.96 2/265 14202
/proc/meminfo: memFree=29558000/32770624 swapFree=5900/262288
[pid=14202] ppid=14199 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/14202/stat : 14202 (xcsp3-exec) S 14199 14202 16913 0 -1 4202496 519 0 0 0 0 0 0 0 20 0 1 0 4290187 9740288 346 33554432000 4194304 5098028 140733649061952 140733649060056 140086578115196 0 65536 4100 65538 18446744071579417331 0 0 17 8 0 0 0 0 0 7196144 7232144 9441280 140733649069199 140733649069408 140733649069408 140733649072107 0
/proc/14202/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512

[startup+1.50149 s]
/proc/loadavg: 8.25 8.47 8.96 13/294 14231
/proc/meminfo: memFree=29447044/32770624 swapFree=5900/262340
[pid=14202] ppid=14199 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/14202/stat : 14202 (xcsp3-exec) S 14199 14202 16913 0 -1 4202496 519 0 0 0 0 0 0 0 20 0 1 0 4290187 9740288 346 33554432000 4194304 5098028 140733649061952 140733649060056 140086578115196 0 65536 4100 65538 18446744071579417331 0 0 17 8 0 0 0 0 0 7196144 7232144 9441280 140733649069199 140733649069408 140733649069408 140733649072107 0
/proc/14202/statm: 2378 346 289 221 0 87 0
[pid=14203] ppid=14202 vsize=13804072 CPUtime=7.94 cores=0,2,4,6,8,10,12,14
/proc/14203/stat : 14203 (java) S 14202 14202 16913 0 -1 1077944320 26233 0 0 0 784 10 0 0 20 0 28 0 4290187 14135369728 40349 33554432000 4194304 4196468 140731343630096 140731343612640 140662931754743 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 22433792 140731343631548 140731343631724 140731343631724 140731343634383 0
/proc/14203/statm: 3451018 40349 3206 1 0 3438251 0
[pid=14203/tid=14204] ppid=14202 vsize=13804072 CPUtime=0.62 cores=0,2,4,6,8,10,12,14
/proc/14203/task/14204/stat : 14204 (java) S 14202 14202 16913 0 -1 1077944384 6977 0 0 0 59 3 0 0 20 0 28 0 4290187 14135369728 40349 33554432000 4194304 4196468 140731343630096 140662935995520 140662931764949 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22433792 140731343631548 140731343631724 140731343631724 140731343634383 0
[pid=14203/tid=14206] ppid=14202 vsize=13804072 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/14203/task/14206/stat : 14206 (java) S 14202 14202 16913 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 28 0 4290188 14135369728 40349 33554432000 4194304 4196468 140731343630096 140662530870032 140662931764949 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 22433792 140731343631548 140731343631724 140731343631724 140731343634383 0
[pid=14203/tid=14207] ppid=14202 vsize=13804072 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/14203/task/14207/stat : 14207 (java) S 14202 14202 16913 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 4290188 14135369728 40349 33554432000 4194304 4196468 140731343630096 140662529817488 140662931764949 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 22433792 140731343631548 140731343631724 140731343631724 140731343634383 0
[pid=14203/tid=14208] ppid=14202 vsize=13804072 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/14203/task/14208/stat : 14208 (java) S 14202 14202 16913 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4290188 14135369728 40349 33554432000 4194304 4196468 140731343630096 140662528764944 140662931764949 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22433792 140731343631548 140731343631724 140731343631724 140731343634383 0
[pid=14203/tid=14209] ppid=14202 vsize=13804072 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/14203/task/14209/stat : 14209 (java) S 14202 14202 16913 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 28 0 4290188 14135369728 40349 33554432000 4194304 4196468 140731343630096 140662527712400 140662931764949 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 22433792 140731343631548 140731343631724 140731343631724 140731343634383 0
[pid=14203/tid=14210] ppid=14202 vsize=13804072 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/14203/task/14210/stat : 14210 (java) S 14202 14202 16913 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4290188 14135369728 40349 33554432000 4194304 4196468 140731343630096 140662526658832 140662931764949 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 22433792 140731343631548 140731343631724 140731343631724 140731343634383 0
[pid=14203/tid=14211] ppid=14202 vsize=13804072 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/14203/task/14211/stat : 14211 (java) S 14202 14202 16913 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 28 0 4290188 14135369728 40349 33554432000 4194304 4196468 140731343630096 140662525606288 140662931764949 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 22433792 140731343631548 140731343631724 140731343631724 140731343634383 0
[pid=14203/tid=14212] ppid=14202 vsize=13804072 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/14203/task/14212/stat : 14212 (java) S 14202 14202 16913 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4290188 14135369728 40349 33554432000 4194304 4196468 140731343630096 140662524553744 140662931764949 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22433792 140731343631548 140731343631724 140731343631724 140731343634383 0
[pid=14203/tid=14213] ppid=14202 vsize=13804072 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/14203/task/14213/stat : 14213 (java) S 14202 14202 16913 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 28 0 4290188 14135369728 40349 33554432000 4194304 4196468 140731343630096 140662523501200 140662931764949 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22433792 140731343631548 140731343631724 140731343631724 140731343634383 0
[pid=14203/tid=14214] ppid=14202 vsize=13804072 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/14203/task/14214/stat : 14214 (java) S 14202 14202 16913 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 28 0 4290190 14135369728 40349 33554432000 4194304 4196468 140731343630096 140662125095408 140662931765890 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22433792 140731343631548 140731343631724 140731343631724 140731343634383 0
[pid=14203/tid=14215] ppid=14202 vsize=13804072 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/14203/task/14215/stat : 14215 (java) S 14202 14202 16913 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 28 0 4290191 14135369728 40349 33554432000 4194304 4196468 140731343630096 140662124041632 140662931764949 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 22433792 140731343631548 140731343631724 140731343631724 140731343634383 0
[pid=14203/tid=14216] ppid=14202 vsize=13804072 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/14203/task/14216/stat : 14216 (java) S 14202 14202 16913 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 28 0 4290191 14135369728 40349 33554432000 4194304 4196468 140731343630096 140662122989040 140662931764949 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 22433792 140731343631548 140731343631724 140731343631724 140731343634383 0
[pid=14203/tid=14217] ppid=14202 vsize=13804072 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/14203/task/14217/stat : 14217 (java) S 14202 14202 16913 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4290194 14135369728 40349 33554432000 4194304 4196468 140731343630096 140662121937616 140662931773339 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 22433792 140731343631548 140731343631724 140731343631724 140731343634383 0
[pid=14203/tid=14218] ppid=14202 vsize=13804072 CPUtime=0.54 cores=0,2,4,6,8,10,12,14
/proc/14203/task/14218/stat : 14218 (java) R 14202 14202 16913 0 -1 4202560 4641 0 0 0 53 1 0 0 20 0 28 0 4290194 14135369728 40349 33554432000 4194304 4196468 140731343630096 140662120868680 140662924471895 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 22433792 140731343631548 140731343631724 140731343631724 140731343634383 0
[pid=14203/tid=14219] ppid=14202 vsize=13804072 CPUtime=0.57 cores=0,2,4,6,8,10,12,14
/proc/14203/task/14219/stat : 14219 (java) R 14202 14202 16913 0 -1 4202560 3027 0 0 0 57 0 0 0 20 0 28 0 4290194 14135369728 40349 33554432000 4194304 4196468 140731343630096 140662119812680 140662916146720 0 4 0 16800975 0 0 0 -1 14 0 0 0 0 0 6293624 6294260 22433792 140731343631548 140731343631724 140731343631724 140731343634383 0
[pid=14203/tid=14220] ppid=14202 vsize=13804072 CPUtime=0.58 cores=0,2,4,6,8,10,12,14
/proc/14203/task/14220/stat : 14220 (java) D 14202 14202 16913 0 -1 4202560 5265 0 0 0 57 1 0 0 20 0 28 0 4290194 14135369728 40349 33554432000 4194304 4196468 140731343630096 140662118764168 140662923991870 0 4 0 16800975 18446744071582151416 0 0 -1 4 0 0 0 0 0 6293624 6294260 22433792 140731343631548 140731343631724 140731343631724 140731343634383 0
[pid=14203/tid=14221] ppid=14202 vsize=13804072 CPUtime=0.68 cores=0,2,4,6,8,10,12,14
/proc/14203/task/14221/stat : 14221 (java) S 14202 14202 16913 0 -1 1077944384 4462 0 0 0 67 1 0 0 20 0 28 0 4290194 14135369728 40349 33554432000 4194304 4196468 140731343630096 140662117726576 140662931765890 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 22433792 140731343631548 140731343631724 140731343631724 140731343634383 0
[pid=14203/tid=14222] ppid=14202 vsize=13804072 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/14203/task/14222/stat : 14222 (java) S 14202 14202 16913 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 4290194 14135369728 40349 33554432000 4194304 4196468 140731343630096 140662116674272 140662931764949 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 22433792 140731343631548 140731343631724 140731343631724 140731343634383 0
[pid=14203/tid=14223] ppid=14202 vsize=13804072 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/14203/task/14223/stat : 14223 (java) S 14202 14202 16913 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4290194 14135369728 40349 33554432000 4194304 4196468 140731343630096 140662115621808 140662931765890 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 22433792 140731343631548 140731343631724 140731343631724 140731343634383 0
[pid=14203/tid=14224] ppid=14202 vsize=13804072 CPUtime=0.72 cores=0,2,4,6,8,10,12,14
/proc/14203/task/14224/stat : 14224 (java) R 14202 14202 16913 0 -1 4202560 145 0 0 0 72 0 0 0 20 0 28 0 4290252 14135369728 40349 33554432000 4194304 4196468 140731343630096 140662108105368 140662548834855 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 22433792 140731343631548 140731343631724 140731343631724 140731343634383 0
[pid=14203/tid=14225] ppid=14202 vsize=13804072 CPUtime=0.53 cores=0,2,4,6,8,10,12,14
/proc/14203/task/14225/stat : 14225 (java) R 14202 14202 16913 0 -1 4202560 96 0 0 0 53 0 0 0 20 0 28 0 4290253 14135369728 40349 33554432000 4194304 4196468 140731343630096 140662107053512 140662548875397 0 4 0 16800975 0 0 0 -1 14 0 0 0 0 0 6293624 6294260 22433792 140731343631548 140731343631724 140731343631724 140731343634383 0
[pid=14203/tid=14226] ppid=14202 vsize=13804072 CPUtime=0.52 cores=0,2,4,6,8,10,12,14
/proc/14203/task/14226/stat : 14226 (java) R 14202 14202 16913 0 -1 4202560 58 0 0 0 52 0 0 0 20 0 28 0 4290253 14135369728 40349 33554432000 4194304 4196468 140731343630096 140662106000216 140662548719599 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 22433792 140731343631548 140731343631724 140731343631724 140731343634383 0
[pid=14203/tid=14227] ppid=14202 vsize=13804072 CPUtime=0.72 cores=0,2,4,6,8,10,12,14
/proc/14203/task/14227/stat : 14227 (java) R 14202 14202 16913 0 -1 4202560 79 0 0 0 72 0 0 0 20 0 28 0 4290253 14135369728 40349 33554432000 4194304 4196468 140731343630096 140662104950176 140662548985687 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 22433792 140731343631548 140731343631724 140731343631724 140731343634383 0
[pid=14203/tid=14228] ppid=14202 vsize=13804072 CPUtime=0.66 cores=0,2,4,6,8,10,12,14
/proc/14203/task/14228/stat : 14228 (java) R 14202 14202 16913 0 -1 4202560 40 0 0 0 66 0 0 0 20 0 28 0 4290253 14135369728 40349 33554432000 4194304 4196468 140731343630096 140662103894376 140662548939900 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 22433792 140731343631548 140731343631724 140731343631724 140731343634383 0
[pid=14203/tid=14229] ppid=14202 vsize=13804072 CPUtime=0.59 cores=0,2,4,6,8,10,12,14
/proc/14203/task/14229/stat : 14229 (java) R 14202 14202 16913 0 -1 4202560 51 0 0 0 59 0 0 0 20 0 28 0 4290253 14135369728 40349 33554432000 4194304 4196468 140731343630096 140662102844312 140662548719546 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 22433792 140731343631548 140731343631724 140731343631724 140731343634383 0
[pid=14203/tid=14230] ppid=14202 vsize=13804072 CPUtime=0.69 cores=0,2,4,6,8,10,12,14
/proc/14203/task/14230/stat : 14230 (java) R 14202 14202 16913 0 -1 4202560 37 0 0 0 69 0 0 0 20 0 28 0 4290253 14135369728 40349 33554432000 4194304 4196468 140731343630096 140662101790368 140662548909317 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 22433792 140731343631548 140731343631724 140731343631724 140731343634383 0
[pid=14203/tid=14231] ppid=14202 vsize=13804072 CPUtime=0.41 cores=0,2,4,6,8,10,12,14
/proc/14203/task/14231/stat : 14231 (java) R 14202 14202 16913 0 -1 4202560 41 0 0 0 41 0 0 0 20 0 28 0 4290253 14135369728 40349 33554432000 4194304 4196468 140731343630096 140662100736744 140662549762050 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 22433792 140731343631548 140731343631724 140731343631724 140731343634383 0
Current children cumulated CPU time (s) 7.94
Current children cumulated vsize (KiB) 13813584

[startup+3.10156 s]
/proc/loadavg: 8.55 8.53 8.98 23/302 14239
/proc/meminfo: memFree=29347364/32770624 swapFree=5900/262344
[pid=14202] ppid=14199 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/14202/stat : 14202 (xcsp3-exec) S 14199 14202 16913 0 -1 4202496 519 0 0 0 0 0 0 0 20 0 1 0 4290187 9740288 346 33554432000 4194304 5098028 140733649061952 140733649060056 140086578115196 0 65536 4100 65538 18446744071579417331 0 0 17 8 0 0 0 0 0 7196144 7232144 9441280 140733649069199 140733649069408 140733649069408 140733649072107 0
/proc/14202/statm: 2378 346 289 221 0 87 0
[pid=14203] ppid=14202 vsize=13801768 CPUtime=20.68 cores=0,2,4,6,8,10,12,14
/proc/14203/stat : 14203 (java) S 14202 14202 16913 0 -1 1077944320 61145 0 0 0 2053 15 0 0 20 0 28 0 4290187 14133010432 64008 33554432000 4194304 4196468 140731343630096 140731343612640 140662931754743 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 22433792 140731343631548 140731343631724 140731343631724 140731343634383 0
/proc/14203/statm: 3450442 64008 3208 1 0 3437675 0
[pid=14203/tid=14204] ppid=14202 vsize=13801768 CPUtime=0.62 cores=0,2,4,6,8,10,12,14
/proc/14203/task/14204/stat : 14204 (java) S 14202 14202 16913 0 -1 1077944384 6977 0 0 0 59 3 0 0 20 0 28 0 4290187 14133010432 64008 33554432000 4194304 4196468 140731343630096 140662935995520 140662931764949 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22433792 140731343631548 140731343631724 140731343631724 140731343634383 0
[pid=14203/tid=14206] ppid=14202 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/14203/task/14206/stat : 14206 (java) S 14202 14202 16913 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 28 0 4290188 14133010432 64008 33554432000 4194304 4196468 140731343630096 140662530870032 140662931764949 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 22433792 140731343631548 140731343631724 140731343631724 140731343634383 0
[pid=14203/tid=14207] ppid=14202 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/14203/task/14207/stat : 14207 (java) S 14202 14202 16913 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 4290188 14133010432 64008 33554432000 4194304 4196468 140731343630096 140662529817488 140662931764949 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 22433792 140731343631548 140731343631724 140731343631724 140731343634383 0
[pid=14203/tid=14208] ppid=14202 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/14203/task/14208/stat : 14208 (java) S 14202 14202 16913 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4290188 14133010432 64008 33554432000 4194304 4196468 140731343630096 140662528764944 140662931764949 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22433792 140731343631548 140731343631724 140731343631724 140731343634383 0
[pid=14203/tid=14209] ppid=14202 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/14203/task/14209/stat : 14209 (java) S 14202 14202 16913 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 28 0 4290188 14133010432 64008 33554432000 4194304 4196468 140731343630096 140662527712400 140662931764949 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 22433792 140731343631548 140731343631724 140731343631724 140731343634383 0
[pid=14203/tid=14210] ppid=14202 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/14203/task/14210/stat : 14210 (java) S 14202 14202 16913 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4290188 14133010432 64008 33554432000 4194304 4196468 140731343630096 140662526658832 140662931764949 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 22433792 140731343631548 140731343631724 140731343631724 140731343634383 0
[pid=14203/tid=14211] ppid=14202 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/14203/task/14211/stat : 14211 (java) S 14202 14202 16913 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 28 0 4290188 14133010432 64008 33554432000 4194304 4196468 140731343630096 140662525606288 140662931764949 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 22433792 140731343631548 140731343631724 140731343631724 140731343634383 0
[pid=14203/tid=14212] ppid=14202 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/14203/task/14212/stat : 14212 (java) S 14202 14202 16913 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4290188 14133010432 64008 33554432000 4194304 4196468 140731343630096 140662524553744 140662931764949 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22433792 140731343631548 140731343631724 140731343631724 140731343634383 0
[pid=14203/tid=14213] ppid=14202 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/14203/task/14213/stat : 14213 (java) S 14202 14202 16913 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 28 0 4290188 14133010432 64008 33554432000 4194304 4196468 140731343630096 140662523501200 140662931764949 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22433792 140731343631548 140731343631724 140731343631724 140731343634383 0
[pid=14203/tid=14214] ppid=14202 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/14203/task/14214/stat : 14214 (java) S 14202 14202 16913 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 28 0 4290190 14133010432 64008 33554432000 4194304 4196468 140731343630096 140662125095408 140662931765890 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22433792 140731343631548 140731343631724 140731343631724 140731343634383 0
[pid=14203/tid=14215] ppid=14202 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/14203/task/14215/stat : 14215 (java) S 14202 14202 16913 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 28 0 4290191 14133010432 64008 33554432000 4194304 4196468 140731343630096 140662124041632 140662931764949 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 22433792 140731343631548 140731343631724 140731343631724 140731343634383 0
[pid=14203/tid=14216] ppid=14202 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/14203/task/14216/stat : 14216 (java) S 14202 14202 16913 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 28 0 4290191 14133010432 64008 33554432000 4194304 4196468 140731343630096 140662122989040 140662931764949 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 22433792 140731343631548 140731343631724 140731343631724 140731343634383 0
[pid=14203/tid=14217] ppid=14202 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/14203/task/14217/stat : 14217 (java) S 14202 14202 16913 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4290194 14133010432 64008 33554432000 4194304 4196468 140731343630096 140662121937616 140662931773339 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 22433792 140731343631548 140731343631724 140731343631724 140731343634383 0
[pid=14203/tid=14218] ppid=14202 vsize=13801768 CPUtime=1.68 cores=0,2,4,6,8,10,12,14
/proc/14203/task/14218/stat : 14218 (java) R 14202 14202 16913 0 -1 4202560 15367 0 0 0 166 2 0 0 20 0 28 0 4290194 14133010432 64008 33554432000 4194304 4196468 140731343630096 140662120869552 140662916635005 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 22433792 140731343631548 140731343631724 140731343631724 140731343634383 0
[pid=14203/tid=14219] ppid=14202 vsize=13801768 CPUtime=1.72 cores=0,2,4,6,8,10,12,14
/proc/14203/task/14219/stat : 14219 (java) R 14202 14202 16913 0 -1 4202560 11397 0 0 0 171 1 0 0 20 0 28 0 4290194 14133010432 64008 33554432000 4194304 4196468 140731343630096 140662119828032 140662916652327 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 22433792 140731343631548 140731343631724 140731343631724 140731343634383 0
[pid=14203/tid=14220] ppid=14202 vsize=13801768 CPUtime=1.74 cores=0,2,4,6,8,10,12,14
/proc/14203/task/14220/stat : 14220 (java) R 14202 14202 16913 0 -1 4202560 19056 0 0 0 171 3 0 0 20 0 28 0 4290194 14133010432 64008 33554432000 4194304 4196468 140731343630096 140662118767696 140662916881151 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 22433792 140731343631548 140731343631724 140731343631724 140731343634383 0
[pid=14203/tid=14221] ppid=14202 vsize=13801768 CPUtime=0.73 cores=0,2,4,6,8,10,12,14
/proc/14203/task/14221/stat : 14221 (java) S 14202 14202 16913 0 -1 1077944384 5406 0 0 0 72 1 0 0 20 0 28 0 4290194 14133010432 64008 33554432000 4194304 4196468 140731343630096 140662117726576 140662931765890 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 22433792 140731343631548 140731343631724 140731343631724 140731343634383 0
[pid=14203/tid=14222] ppid=14202 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/14203/task/14222/stat : 14222 (java) S 14202 14202 16913 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 4290194 14133010432 64008 33554432000 4194304 4196468 140731343630096 140662116674272 140662931764949 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 22433792 140731343631548 140731343631724 140731343631724 140731343634383 0
[pid=14203/tid=14223] ppid=14202 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/14203/task/14223/stat : 14223 (java) S 14202 14202 16913 0 -1 1077944384 17 0 0 0 0 0 0 0 20 0 28 0 4290194 14133010432 64008 33554432000 4194304 4196468 140731343630096 140662115621808 140662931765890 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22433792 140731343631548 140731343631724 140731343631724 140731343634383 0
[pid=14203/tid=14224] ppid=14202 vsize=13801768 CPUtime=1.71 cores=0,2,4,6,8,10,12,14
/proc/14203/task/14224/stat : 14224 (java) R 14202 14202 16913 0 -1 4202560 235 0 0 0 171 0 0 0 20 0 28 0 4290252 14133010432 64008 33554432000 4194304 4196468 140731343630096 140662108107120 140662550138596 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 22433792 140731343631548 140731343631724 140731343631724 140731343634383 0
[pid=14203/tid=14225] ppid=14202 vsize=13801768 CPUtime=1.55 cores=0,2,4,6,8,10,12,14
/proc/14203/task/14225/stat : 14225 (java) R 14202 14202 16913 0 -1 4202560 314 0 0 0 155 0 0 0 20 0 28 0 4290253 14133010432 64008 33554432000 4194304 4196468 140731343630096 140662107054952 140662548799698 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 22433792 140731343631548 140731343631724 140731343631724 140731343634383 0
[pid=14203/tid=14226] ppid=14202 vsize=13801768 CPUtime=1.69 cores=0,2,4,6,8,10,12,14
/proc/14203/task/14226/stat : 14226 (java) R 14202 14202 16913 0 -1 4202560 221 0 0 0 169 0 0 0 20 0 28 0 4290253 14133010432 64008 33554432000 4194304 4196468 140731343630096 140662106000392 140662548734593 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 22433792 140731343631548 140731343631724 140731343631724 140731343634383 0
[pid=14203/tid=14227] ppid=14202 vsize=13801768 CPUtime=1.78 cores=0,2,4,6,8,10,12,14
/proc/14203/task/14227/stat : 14227 (java) R 14202 14202 16913 0 -1 4202560 288 0 0 0 178 0 0 0 20 0 28 0 4290253 14133010432 64008 33554432000 4194304 4196468 140731343630096 140662104949384 140662549274522 0 4 0 16800975 0 0 0 -1 14 0 0 0 0 0 6293624 6294260 22433792 140731343631548 140731343631724 140731343631724 140731343634383 0
[pid=14203/tid=14228] ppid=14202 vsize=13801768 CPUtime=2.02 cores=0,2,4,6,8,10,12,14
/proc/14203/task/14228/stat : 14228 (java) R 14202 14202 16913 0 -1 4202560 110 0 0 0 202 0 0 0 20 0 28 0 4290253 14133010432 64008 33554432000 4194304 4196468 140731343630096 140662103896552 140662548933998 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 22433792 140731343631548 140731343631724 140731343631724 140731343634383 0
[pid=14203/tid=14229] ppid=14202 vsize=13801768 CPUtime=1.85 cores=0,2,4,6,8,10,12,14
/proc/14203/task/14229/stat : 14229 (java) R 14202 14202 16913 0 -1 4202560 126 0 0 0 185 0 0 0 20 0 28 0 4290253 14133010432 64008 33554432000 4194304 4196468 140731343630096 140662102842600 140662548719538 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 22433792 140731343631548 140731343631724 140731343631724 140731343634383 0
[pid=14203/tid=14230] ppid=14202 vsize=13801768 CPUtime=1.81 cores=0,2,4,6,8,10,12,14
/proc/14203/task/14230/stat : 14230 (java) R 14202 14202 16913 0 -1 4202560 188 0 0 0 181 0 0 0 20 0 28 0 4290253 14133010432 64008 33554432000 4194304 4196468 140731343630096 140662101790632 140662549183107 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 22433792 140731343631548 140731343631724 140731343631724 140731343634383 0
[pid=14203/tid=14231] ppid=14202 vsize=13801768 CPUtime=1.67 cores=0,2,4,6,8,10,12,14
/proc/14203/task/14231/stat : 14231 (java) R 14202 14202 16913 0 -1 4202560 102 0 0 0 167 0 0 0 20 0 28 0 4290253 14133010432 64008 33554432000 4194304 4196468 140731343630096 140662100738184 140662548865668 0 4 0 16800975 0 0 0 -1 14 0 0 0 0 0 6293624 6294260 22433792 140731343631548 140731343631724 140731343631724 140731343634383 0
Current children cumulated CPU time (s) 20.68
Current children cumulated vsize (KiB) 13811280

Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop

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

/proc/14203/task/14215/stat : 14215 (java) S 14202 14202 16913 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 28 0 4290191 14133010432 75316 33554432000 4194304 4196468 140731343630096 140662124041696 140662931764949 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 22433792 140731343631548 140731343631724 140731343631724 140731343634383 0
[pid=14203/tid=14216] ppid=14202 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/14203/task/14216/stat : 14216 (java) S 14202 14202 16913 0 -1 1077944384 47 0 0 0 0 0 0 0 20 0 28 0 4290191 14133010432 75316 33554432000 4194304 4196468 140731343630096 140662122989056 140662931764949 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 22433792 140731343631548 140731343631724 140731343631724 140731343634383 0
[pid=14203/tid=14217] ppid=14202 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/14203/task/14217/stat : 14217 (java) S 14202 14202 16913 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4290194 14133010432 75316 33554432000 4194304 4196468 140731343630096 140662121937616 140662931773339 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 22433792 140731343631548 140731343631724 140731343631724 140731343634383 0
[pid=14203/tid=14218] ppid=14202 vsize=13801768 CPUtime=3.97 cores=0,2,4,6,8,10,12,14
/proc/14203/task/14218/stat : 14218 (java) S 14202 14202 16913 0 -1 1077944384 16058 0 0 0 395 2 0 0 20 0 28 0 4290194 14133010432 75316 33554432000 4194304 4196468 140731343630096 140662120884208 140662931765890 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22433792 140731343631548 140731343631724 140731343631724 140731343634383 0
[pid=14203/tid=14219] ppid=14202 vsize=13801768 CPUtime=3.34 cores=0,2,4,6,8,10,12,14
/proc/14203/task/14219/stat : 14219 (java) S 14202 14202 16913 0 -1 1077944384 11847 0 0 0 333 1 0 0 20 0 28 0 4290194 14133010432 75316 33554432000 4194304 4196468 140731343630096 140662119831664 140662931765890 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 13 0 0 6293624 6294260 22433792 140731343631548 140731343631724 140731343631724 140731343634383 0
[pid=14203/tid=14220] ppid=14202 vsize=13801768 CPUtime=3.75 cores=0,2,4,6,8,10,12,14
/proc/14203/task/14220/stat : 14220 (java) R 14202 14202 16913 0 -1 4202560 20058 0 0 0 372 3 0 0 20 0 28 0 4290194 14133010432 75316 33554432000 4194304 4196468 140731343630096 140662118770528 140662916146640 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 22433792 140731343631548 140731343631724 140731343631724 140731343634383 0
[pid=14203/tid=14221] ppid=14202 vsize=13801768 CPUtime=0.81 cores=0,2,4,6,8,10,12,14
/proc/14203/task/14221/stat : 14221 (java) R 14202 14202 16913 0 -1 4202560 6492 0 0 0 79 2 0 0 20 0 28 0 4290194 14133010432 75316 33554432000 4194304 4196468 140731343630096 140662117726576 140662931766678 0 4 0 16800975 0 0 0 -1 8 0 0 14 0 0 6293624 6294260 22433792 140731343631548 140731343631724 140731343631724 140731343634383 0
[pid=14203/tid=14222] ppid=14202 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/14203/task/14222/stat : 14222 (java) S 14202 14202 16913 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 4290194 14133010432 75316 33554432000 4194304 4196468 140731343630096 140662116674272 140662931764949 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 22433792 140731343631548 140731343631724 140731343631724 140731343634383 0
[pid=14203/tid=14223] ppid=14202 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/14203/task/14223/stat : 14223 (java) S 14202 14202 16913 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 28 0 4290194 14133010432 75316 33554432000 4194304 4196468 140731343630096 140662115621808 140662931765890 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 10 0 0 6293624 6294260 22433792 140731343631548 140731343631724 140731343631724 140731343634383 0
[pid=14203/tid=14224] ppid=14202 vsize=13801768 CPUtime=3.28 cores=0,2,4,6,8,10,12,14
/proc/14203/task/14224/stat : 14224 (java) R 14202 14202 16913 0 -1 4202560 267 0 0 0 328 0 0 0 20 0 28 0 4290252 14133010432 75316 33554432000 4194304 4196468 140731343630096 140662108105632 140662550702724 0 4 0 16800975 0 0 0 -1 14 0 0 0 0 0 6293624 6294260 22433792 140731343631548 140731343631724 140731343631724 140731343634383 0
[pid=14203/tid=14225] ppid=14202 vsize=13801768 CPUtime=3.19 cores=0,2,4,6,8,10,12,14
/proc/14203/task/14225/stat : 14225 (java) R 14202 14202 16913 0 -1 4202560 327 0 0 0 319 0 0 0 20 0 28 0 4290253 14133010432 75316 33554432000 4194304 4196468 140731343630096 140662107053968 140662551371641 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 22433792 140731343631548 140731343631724 140731343631724 140731343634383 0
[pid=14203/tid=14226] ppid=14202 vsize=13801768 CPUtime=3.42 cores=0,2,4,6,8,10,12,14
/proc/14203/task/14226/stat : 14226 (java) R 14202 14202 16913 0 -1 4202560 270 0 0 0 342 0 0 0 20 0 28 0 4290253 14133010432 75316 33554432000 4194304 4196468 140731343630096 140662105999760 140662552169132 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 22433792 140731343631548 140731343631724 140731343631724 140731343634383 0
[pid=14203/tid=14227] ppid=14202 vsize=13801768 CPUtime=3.54 cores=0,2,4,6,8,10,12,14
/proc/14203/task/14227/stat : 14227 (java) R 14202 14202 16913 0 -1 4202560 352 0 0 0 354 0 0 0 20 0 28 0 4290253 14133010432 75316 33554432000 4194304 4196468 140731343630096 140662104948912 140662551826589 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 22433792 140731343631548 140731343631724 140731343631724 140731343634383 0
[pid=14203/tid=14228] ppid=14202 vsize=13801768 CPUtime=3.87 cores=0,2,4,6,8,10,12,14
/proc/14203/task/14228/stat : 14228 (java) R 14202 14202 16913 0 -1 4202560 169 0 0 0 387 0 0 0 20 0 28 0 4290253 14133010432 75316 33554432000 4194304 4196468 140731343630096 140662103897272 140662931766678 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 22433792 140731343631548 140731343631724 140731343631724 140731343634383 0
[pid=14203/tid=14229] ppid=14202 vsize=13801768 CPUtime=3.4 cores=0,2,4,6,8,10,12,14
/proc/14203/task/14229/stat : 14229 (java) R 14202 14202 16913 0 -1 4202560 154 0 0 0 340 0 0 0 20 0 28 0 4290253 14133010432 75316 33554432000 4194304 4196468 140731343630096 140662102843928 140662552168663 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 22433792 140731343631548 140731343631724 140731343631724 140731343634383 0
[pid=14203/tid=14230] ppid=14202 vsize=13801768 CPUtime=3.73 cores=0,2,4,6,8,10,12,14
/proc/14203/task/14230/stat : 14230 (java) R 14202 14202 16913 0 -1 4202560 203 0 0 0 373 0 0 0 20 0 28 0 4290253 14133010432 75316 33554432000 4194304 4196468 140731343630096 140662101790448 140662549282072 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 22433792 140731343631548 140731343631724 140731343631724 140731343634383 0
[pid=14203/tid=14231] ppid=14202 vsize=13801768 CPUtime=3.31 cores=0,2,4,6,8,10,12,14
/proc/14203/task/14231/stat : 14231 (java) R 14202 14202 16913 0 -1 4202560 112 0 0 0 331 0 0 0 20 0 28 0 4290253 14133010432 75316 33554432000 4194304 4196468 140731343630096 140662100737520 140662931766678 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 22433792 140731343631548 140731343631724 140731343631724 140731343634383 0
Current children cumulated CPU time (s) 40.48
Current children cumulated vsize (KiB) 13811280

[startup+5.80152 s]
/proc/loadavg: 8.55 8.53 8.98 23/302 14239
/proc/meminfo: memFree=29253212/32770624 swapFree=5900/262352
[pid=14202] ppid=14199 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/14202/stat : 14202 (xcsp3-exec) S 14199 14202 16913 0 -1 4202496 519 0 0 0 0 0 0 0 20 0 1 0 4290187 9740288 346 33554432000 4194304 5098028 140733649061952 140733649060056 140086578115196 0 65536 4100 65538 18446744071579417331 0 0 17 8 0 0 0 0 0 7196144 7232144 9441280 140733649069199 140733649069408 140733649069408 140733649072107 0
/proc/14202/statm: 2378 346 289 221 0 87 0
[pid=14203] ppid=14202 vsize=13801768 CPUtime=41.95 cores=0,2,4,6,8,10,12,14
/proc/14203/stat : 14203 (java) S 14202 14202 16913 0 -1 1077944320 66137 0 0 0 4172 23 0 0 20 0 28 0 4290187 14133010432 75356 33554432000 4194304 4196468 140731343630096 140731343612640 140662931754743 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 22433792 140731343631548 140731343631724 140731343631724 140731343634383 0
/proc/14203/statm: 3450442 75356 3261 1 0 3437675 0
[pid=14203/tid=14204] ppid=14202 vsize=13801768 CPUtime=0.62 cores=0,2,4,6,8,10,12,14
/proc/14203/task/14204/stat : 14204 (java) S 14202 14202 16913 0 -1 1077944384 6977 0 0 0 59 3 0 0 20 0 28 0 4290187 14133010432 75356 33554432000 4194304 4196468 140731343630096 140662935995520 140662931764949 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22433792 140731343631548 140731343631724 140731343631724 140731343634383 0
[pid=14203/tid=14206] ppid=14202 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/14203/task/14206/stat : 14206 (java) S 14202 14202 16913 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 28 0 4290188 14133010432 75356 33554432000 4194304 4196468 140731343630096 140662530870032 140662931764949 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22433792 140731343631548 140731343631724 140731343631724 140731343634383 0
[pid=14203/tid=14207] ppid=14202 vsize=13801768 CPUtime=0.01 cores=0,2,4,6,8,10,12,14
/proc/14203/task/14207/stat : 14207 (java) S 14202 14202 16913 0 -1 1077944384 599 0 0 0 1 0 0 0 20 0 28 0 4290188 14133010432 75356 33554432000 4194304 4196468 140731343630096 140662529817488 140662931764949 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22433792 140731343631548 140731343631724 140731343631724 140731343634383 0
[pid=14203/tid=14208] ppid=14202 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/14203/task/14208/stat : 14208 (java) S 14202 14202 16913 0 -1 1077944384 18 0 0 0 0 0 0 0 20 0 28 0 4290188 14133010432 75356 33554432000 4194304 4196468 140731343630096 140662528764944 140662931764949 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22433792 140731343631548 140731343631724 140731343631724 140731343634383 0
[pid=14203/tid=14209] ppid=14202 vsize=13801768 CPUtime=0.01 cores=0,2,4,6,8,10,12,14
/proc/14203/task/14209/stat : 14209 (java) S 14202 14202 16913 0 -1 1077944384 335 0 0 0 0 1 0 0 20 0 28 0 4290188 14133010432 75356 33554432000 4194304 4196468 140731343630096 140662527712400 140662931764949 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 22433792 140731343631548 140731343631724 140731343631724 140731343634383 0
[pid=14203/tid=14210] ppid=14202 vsize=13801768 CPUtime=0.01 cores=0,2,4,6,8,10,12,14
/proc/14203/task/14210/stat : 14210 (java) S 14202 14202 16913 0 -1 1077944384 76 0 0 0 1 0 0 0 20 0 28 0 4290188 14133010432 75356 33554432000 4194304 4196468 140731343630096 140662526658832 140662931764949 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 22433792 140731343631548 140731343631724 140731343631724 140731343634383 0
[pid=14203/tid=14211] ppid=14202 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/14203/task/14211/stat : 14211 (java) S 14202 14202 16913 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 28 0 4290188 14133010432 75356 33554432000 4194304 4196468 140731343630096 140662525606288 140662931764949 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22433792 140731343631548 140731343631724 140731343631724 140731343634383 0
[pid=14203/tid=14212] ppid=14202 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/14203/task/14212/stat : 14212 (java) S 14202 14202 16913 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 28 0 4290188 14133010432 75356 33554432000 4194304 4196468 140731343630096 140662524553744 140662931764949 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22433792 140731343631548 140731343631724 140731343631724 140731343634383 0
[pid=14203/tid=14213] ppid=14202 vsize=13801768 CPUtime=0.01 cores=0,2,4,6,8,10,12,14
/proc/14203/task/14213/stat : 14213 (java) S 14202 14202 16913 0 -1 1077944384 37 0 0 0 0 1 0 0 20 0 28 0 4290188 14133010432 75356 33554432000 4194304 4196468 140731343630096 140662523501200 140662931764949 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22433792 140731343631548 140731343631724 140731343631724 140731343634383 0
[pid=14203/tid=14214] ppid=14202 vsize=13801768 CPUtime=0.02 cores=0,2,4,6,8,10,12,14
/proc/14203/task/14214/stat : 14214 (java) S 14202 14202 16913 0 -1 1077944384 247 0 0 0 1 1 0 0 20 0 28 0 4290190 14133010432 75356 33554432000 4194304 4196468 140731343630096 140662125095408 140662931765890 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22433792 140731343631548 140731343631724 140731343631724 140731343634383 0
[pid=14203/tid=14215] ppid=14202 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/14203/task/14215/stat : 14215 (java) S 14202 14202 16913 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 28 0 4290191 14133010432 75356 33554432000 4194304 4196468 140731343630096 140662124041696 140662931764949 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 22433792 140731343631548 140731343631724 140731343631724 140731343634383 0
[pid=14203/tid=14216] ppid=14202 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/14203/task/14216/stat : 14216 (java) S 14202 14202 16913 0 -1 1077944384 47 0 0 0 0 0 0 0 20 0 28 0 4290191 14133010432 75356 33554432000 4194304 4196468 140731343630096 140662122989056 140662931764949 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 22433792 140731343631548 140731343631724 140731343631724 140731343634383 0
[pid=14203/tid=14217] ppid=14202 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/14203/task/14217/stat : 14217 (java) S 14202 14202 16913 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4290194 14133010432 75356 33554432000 4194304 4196468 140731343630096 140662121937616 140662931773339 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 22433792 140731343631548 140731343631724 140731343631724 140731343634383 0
[pid=14203/tid=14218] ppid=14202 vsize=13801768 CPUtime=4.06 cores=0,2,4,6,8,10,12,14
/proc/14203/task/14218/stat : 14218 (java) R 14202 14202 16913 0 -1 4202560 16070 0 0 0 404 2 0 0 20 0 28 0 4290194 14133010432 75356 33554432000 4194304 4196468 140731343630096 140662120872448 140662915286226 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 22433792 140731343631548 140731343631724 140731343631724 140731343634383 0
[pid=14203/tid=14219] ppid=14202 vsize=13801768 CPUtime=3.41 cores=0,2,4,6,8,10,12,14
/proc/14203/task/14219/stat : 14219 (java) R 14202 14202 16913 0 -1 4202560 11875 0 0 0 340 1 0 0 20 0 28 0 4290194 14133010432 75356 33554432000 4194304 4196468 140731343630096 140662119831584 140662915658632 0 4 0 16800975 0 0 0 -1 4 0 0 13 0 0 6293624 6294260 22433792 140731343631548 140731343631724 140731343631724 140731343634383 0
[pid=14203/tid=14220] ppid=14202 vsize=13801768 CPUtime=3.84 cores=0,2,4,6,8,10,12,14
/proc/14203/task/14220/stat : 14220 (java) R 14202 14202 16913 0 -1 4202560 20071 0 0 0 381 3 0 0 20 0 28 0 4290194 14133010432 75356 33554432000 4194304 4196468 140731343630096 140662118779040 140662909349984 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 22433792 140731343631548 140731343631724 140731343631724 140731343634383 0
[pid=14203/tid=14221] ppid=14202 vsize=13801768 CPUtime=0.83 cores=0,2,4,6,8,10,12,14
/proc/14203/task/14221/stat : 14221 (java) S 14202 14202 16913 0 -1 1077944384 6508 0 0 0 81 2 0 0 20 0 28 0 4290194 14133010432 75356 33554432000 4194304 4196468 140731343630096 140662117726576 140662931765890 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 14 0 0 6293624 6294260 22433792 140731343631548 140731343631724 140731343631724 140731343634383 0
[pid=14203/tid=14222] ppid=14202 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/14203/task/14222/stat : 14222 (java) S 14202 14202 16913 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 4290194 14133010432 75356 33554432000 4194304 4196468 140731343630096 140662116674272 140662931764949 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 22433792 140731343631548 140731343631724 140731343631724 140731343634383 0
[pid=14203/tid=14223] ppid=14202 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/14203/task/14223/stat : 14223 (java) S 14202 14202 16913 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 28 0 4290194 14133010432 75356 33554432000 4194304 4196468 140731343630096 140662115621808 140662931765890 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 10 0 0 6293624 6294260 22433792 140731343631548 140731343631724 140731343631724 140731343634383 0
[pid=14203/tid=14224] ppid=14202 vsize=13801768 CPUtime=3.46 cores=0,2,4,6,8,10,12,14
/proc/14203/task/14224/stat : 14224 (java) R 14202 14202 16913 0 -1 4202560 267 0 0 0 346 0 0 0 20 0 28 0 4290252 14133010432 75356 33554432000 4194304 4196468 140731343630096 140662108106216 140662550702388 0 4 0 16800975 0 0 0 -1 14 0 0 0 0 0 6293624 6294260 22433792 140731343631548 140731343631724 140731343631724 140731343634383 0
[pid=14203/tid=14225] ppid=14202 vsize=13801768 CPUtime=3.28 cores=0,2,4,6,8,10,12,14
/proc/14203/task/14225/stat : 14225 (java) R 14202 14202 16913 0 -1 4202560 327 0 0 0 328 0 0 0 20 0 28 0 4290253 14133010432 75356 33554432000 4194304 4196468 140731343630096 140662107055128 140662550576699 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 22433792 140731343631548 140731343631724 140731343631724 140731343634383 0
[pid=14203/tid=14226] ppid=14202 vsize=13801768 CPUtime=3.56 cores=0,2,4,6,8,10,12,14
/proc/14203/task/14226/stat : 14226 (java) R 14202 14202 16913 0 -1 4202560 270 0 0 0 356 0 0 0 20 0 28 0 4290253 14133010432 75356 33554432000 4194304 4196468 140731343630096 140662106000824 140662552168919 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 22433792 140731343631548 140731343631724 140731343631724 140731343634383 0
[pid=14203/tid=14227] ppid=14202 vsize=13801768 CPUtime=3.7 cores=0,2,4,6,8,10,12,14
/proc/14203/task/14227/stat : 14227 (java) R 14202 14202 16913 0 -1 4202560 352 0 0 0 370 0 0 0 20 0 28 0 4290253 14133010432 75356 33554432000 4194304 4196468 140731343630096 140662104948128 140662914044078 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 22433792 140731343631548 140731343631724 140731343631724 140731343634383 0
[pid=14203/tid=14228] ppid=14202 vsize=13801768 CPUtime=4 cores=0,2,4,6,8,10,12,14
/proc/14203/task/14228/stat : 14228 (java) R 14202 14202 16913 0 -1 4202560 169 0 0 0 400 0 0 0 20 0 28 0 4290253 14133010432 75356 33554432000 4194304 4196468 140731343630096 140662103896720 140662549281746 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 22433792 140731343631548 140731343631724 140731343631724 140731343634383 0
[pid=14203/tid=14229] ppid=14202 vsize=13801768 CPUtime=3.55 cores=0,2,4,6,8,10,12,14
/proc/14203/task/14229/stat : 14229 (java) R 14202 14202 16913 0 -1 4202560 154 0 0 0 355 0 0 0 20 0 28 0 4290253 14133010432 75356 33554432000 4194304 4196468 140731343630096 140662102844312 140662552168955 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 22433792 140731343631548 140731343631724 140731343631724 140731343634383 0
[pid=14203/tid=14230] ppid=14202 vsize=13801768 CPUtime=3.89 cores=0,2,4,6,8,10,12,14
/proc/14203/task/14230/stat : 14230 (java) R 14202 14202 16913 0 -1 4202560 203 0 0 0 389 0 0 0 20 0 28 0 4290253 14133010432 75356 33554432000 4194304 4196468 140731343630096 140662101791528 140662552039872 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 22433792 140731343631548 140731343631724 140731343631724 140731343634383 0
[pid=14203/tid=14231] ppid=14202 vsize=13801768 CPUtime=3.5 cores=0,2,4,6,8,10,12,14
/proc/14203/task/14231/stat : 14231 (java) R 14202 14202 16913 0 -1 4202560 112 0 0 0 350 0 0 0 20 0 28 0 4290253 14133010432 75356 33554432000 4194304 4196468 140731343630096 140662100738984 140662551553705 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 22433792 140731343631548 140731343631724 140731343631724 140731343634383 0
Current children cumulated CPU time (s) 41.95
Current children cumulated vsize (KiB) 13811280

[startup+5.90151 s]
/proc/loadavg: 8.55 8.53 8.98 23/302 14239
/proc/meminfo: memFree=29253212/32770624 swapFree=5900/262352
[pid=14202] ppid=14199 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/14202/stat : 14202 (xcsp3-exec) S 14199 14202 16913 0 -1 4202496 519 0 0 0 0 0 0 0 20 0 1 0 4290187 9740288 346 33554432000 4194304 5098028 140733649061952 140733649060056 140086578115196 0 65536 4100 65538 18446744071579417331 0 0 17 8 0 0 0 0 0 7196144 7232144 9441280 140733649069199 140733649069408 140733649069408 140733649072107 0
/proc/14202/statm: 2378 346 289 221 0 87 0
[pid=14203] ppid=14202 vsize=13801768 CPUtime=42.75 cores=0,2,4,6,8,10,12,14
/proc/14203/stat : 14203 (java) S 14202 14202 16913 0 -1 1077944320 66184 0 0 0 4251 24 0 0 20 0 28 0 4290187 14133010432 75383 33554432000 4194304 4196468 140731343630096 140731343612640 140662931754743 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 22433792 140731343631548 140731343631724 140731343631724 140731343634383 0
/proc/14203/statm: 3450442 75383 3263 1 0 3437675 0
[pid=14203/tid=14204] ppid=14202 vsize=13801768 CPUtime=0.62 cores=0,2,4,6,8,10,12,14
/proc/14203/task/14204/stat : 14204 (java) S 14202 14202 16913 0 -1 1077944384 6977 0 0 0 59 3 0 0 20 0 28 0 4290187 14133010432 75383 33554432000 4194304 4196468 140731343630096 140662935995520 140662931764949 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22433792 140731343631548 140731343631724 140731343631724 140731343634383 0
[pid=14203/tid=14206] ppid=14202 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/14203/task/14206/stat : 14206 (java) S 14202 14202 16913 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 28 0 4290188 14133010432 75383 33554432000 4194304 4196468 140731343630096 140662530870032 140662931764949 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22433792 140731343631548 140731343631724 140731343631724 140731343634383 0
[pid=14203/tid=14207] ppid=14202 vsize=13801768 CPUtime=0.01 cores=0,2,4,6,8,10,12,14
/proc/14203/task/14207/stat : 14207 (java) S 14202 14202 16913 0 -1 1077944384 599 0 0 0 1 0 0 0 20 0 28 0 4290188 14133010432 75383 33554432000 4194304 4196468 140731343630096 140662529817488 140662931764949 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22433792 140731343631548 140731343631724 140731343631724 140731343634383 0
[pid=14203/tid=14208] ppid=14202 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/14203/task/14208/stat : 14208 (java) S 14202 14202 16913 0 -1 1077944384 18 0 0 0 0 0 0 0 20 0 28 0 4290188 14133010432 75383 33554432000 4194304 4196468 140731343630096 140662528764944 140662931764949 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22433792 140731343631548 140731343631724 140731343631724 140731343634383 0
[pid=14203/tid=14209] ppid=14202 vsize=13801768 CPUtime=0.01 cores=0,2,4,6,8,10,12,14
/proc/14203/task/14209/stat : 14209 (java) S 14202 14202 16913 0 -1 1077944384 335 0 0 0 0 1 0 0 20 0 28 0 4290188 14133010432 75383 33554432000 4194304 4196468 140731343630096 140662527712400 140662931764949 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 22433792 140731343631548 140731343631724 140731343631724 140731343634383 0
[pid=14203/tid=14210] ppid=14202 vsize=13801768 CPUtime=0.01 cores=0,2,4,6,8,10,12,14
/proc/14203/task/14210/stat : 14210 (java) S 14202 14202 16913 0 -1 1077944384 76 0 0 0 1 0 0 0 20 0 28 0 4290188 14133010432 75383 33554432000 4194304 4196468 140731343630096 140662526658832 140662931764949 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 22433792 140731343631548 140731343631724 140731343631724 140731343634383 0
[pid=14203/tid=14211] ppid=14202 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/14203/task/14211/stat : 14211 (java) S 14202 14202 16913 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 28 0 4290188 14133010432 75383 33554432000 4194304 4196468 140731343630096 140662525606288 140662931764949 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22433792 140731343631548 140731343631724 140731343631724 140731343634383 0
[pid=14203/tid=14212] ppid=14202 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/14203/task/14212/stat : 14212 (java) S 14202 14202 16913 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 28 0 4290188 14133010432 75383 33554432000 4194304 4196468 140731343630096 140662524553744 140662931764949 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22433792 140731343631548 140731343631724 140731343631724 140731343634383 0
[pid=14203/tid=14213] ppid=14202 vsize=13801768 CPUtime=0.01 cores=0,2,4,6,8,10,12,14
/proc/14203/task/14213/stat : 14213 (java) S 14202 14202 16913 0 -1 1077944384 37 0 0 0 0 1 0 0 20 0 28 0 4290188 14133010432 75383 33554432000 4194304 4196468 140731343630096 140662523501200 140662931764949 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22433792 140731343631548 140731343631724 140731343631724 140731343634383 0
[pid=14203/tid=14214] ppid=14202 vsize=13801768 CPUtime=0.02 cores=0,2,4,6,8,10,12,14
/proc/14203/task/14214/stat : 14214 (java) S 14202 14202 16913 0 -1 1077944384 247 0 0 0 1 1 0 0 20 0 28 0 4290190 14133010432 75383 33554432000 4194304 4196468 140731343630096 140662125095408 140662931765890 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22433792 140731343631548 140731343631724 140731343631724 140731343634383 0
[pid=14203/tid=14215] ppid=14202 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/14203/task/14215/stat : 14215 (java) S 14202 14202 16913 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 28 0 4290191 14133010432 75383 33554432000 4194304 4196468 140731343630096 140662124041696 140662931764949 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 22433792 140731343631548 140731343631724 140731343631724 140731343634383 0
[pid=14203/tid=14216] ppid=14202 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/14203/task/14216/stat : 14216 (java) S 14202 14202 16913 0 -1 1077944384 47 0 0 0 0 0 0 0 20 0 28 0 4290191 14133010432 75383 33554432000 4194304 4196468 140731343630096 140662122989056 140662931764949 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 22433792 140731343631548 140731343631724 140731343631724 140731343634383 0
[pid=14203/tid=14217] ppid=14202 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/14203/task/14217/stat : 14217 (java) S 14202 14202 16913 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4290194 14133010432 75383 33554432000 4194304 4196468 140731343630096 140662121937616 140662931773339 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 22433792 140731343631548 140731343631724 140731343631724 140731343634383 0
[pid=14203/tid=14218] ppid=14202 vsize=13801768 CPUtime=4.13 cores=0,2,4,6,8,10,12,14
/proc/14203/task/14218/stat : 14218 (java) R 14202 14202 16913 0 -1 4202560 16079 0 0 0 411 2 0 0 20 0 28 0 4290194 14133010432 75383 33554432000 4194304 4196468 140731343630096 140662120884208 140662917781900 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 22433792 140731343631548 140731343631724 140731343631724 140731343634383 0
[pid=14203/tid=14219] ppid=14202 vsize=13801768 CPUtime=3.46 cores=0,2,4,6,8,10,12,14
/proc/14203/task/14219/stat : 14219 (java) R 14202 14202 16913 0 -1 4202560 11890 0 0 0 345 1 0 0 20 0 28 0 4290194 14133010432 75383 33554432000 4194304 4196468 140731343630096 140662119817760 140662912940766 0 4 0 16800975 0 0 0 -1 4 0 0 13 0 0 6293624 6294260 22433792 140731343631548 140731343631724 140731343631724 140731343634383 0
[pid=14203/tid=14220] ppid=14202 vsize=13801768 CPUtime=3.94 cores=0,2,4,6,8,10,12,14
/proc/14203/task/14220/stat : 14220 (java) R 14202 14202 16913 0 -1 4202560 20085 0 0 0 391 3 0 0 20 0 28 0 4290194 14133010432 75383 33554432000 4194304 4196468 140731343630096 140662118765552 140662913298831 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 22433792 140731343631548 140731343631724 140731343631724 140731343634383 0
[pid=14203/tid=14221] ppid=14202 vsize=13801768 CPUtime=0.84 cores=0,2,4,6,8,10,12,14
/proc/14203/task/14221/stat : 14221 (java) S 14202 14202 16913 0 -1 1077944384 6512 0 0 0 82 2 0 0 20 0 28 0 4290194 14133010432 75383 33554432000 4194304 4196468 140731343630096 140662117726576 140662931765890 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 14 0 0 6293624 6294260 22433792 140731343631548 140731343631724 140731343631724 140731343634383 0
[pid=14203/tid=14222] ppid=14202 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/14203/task/14222/stat : 14222 (java) S 14202 14202 16913 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 4290194 14133010432 75383 33554432000 4194304 4196468 140731343630096 140662116674272 140662931764949 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 22433792 140731343631548 140731343631724 140731343631724 140731343634383 0
[pid=14203/tid=14223] ppid=14202 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/14203/task/14223/stat : 14223 (java) S 14202 14202 16913 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 28 0 4290194 14133010432 75383 33554432000 4194304 4196468 140731343630096 140662115621808 140662931765890 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 10 0 0 6293624 6294260 22433792 140731343631548 140731343631724 140731343631724 140731343634383 0
[pid=14203/tid=14224] ppid=14202 vsize=13801768 CPUtime=3.56 cores=0,2,4,6,8,10,12,14
/proc/14203/task/14224/stat : 14224 (java) R 14202 14202 16913 0 -1 4202560 267 0 0 0 356 0 0 0 20 0 28 0 4290252 14133010432 75383 33554432000 4194304 4196468 140731343630096 140662108107528 140662549282063 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 22433792 140731343631548 140731343631724 140731343631724 140731343634383 0
[pid=14203/tid=14225] ppid=14202 vsize=13801768 CPUtime=3.33 cores=0,2,4,6,8,10,12,14
/proc/14203/task/14225/stat : 14225 (java) R 14202 14202 16913 0 -1 4202560 327 0 0 0 333 0 0 0 20 0 28 0 4290253 14133010432 75383 33554432000 4194304 4196468 140731343630096 140662107055368 140662552168919 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 22433792 140731343631548 140731343631724 140731343631724 140731343634383 0
[pid=14203/tid=14226] ppid=14202 vsize=13801768 CPUtime=3.64 cores=0,2,4,6,8,10,12,14
/proc/14203/task/14226/stat : 14226 (java) R 14202 14202 16913 0 -1 4202560 270 0 0 0 364 0 0 0 20 0 28 0 4290253 14133010432 75383 33554432000 4194304 4196468 140731343630096 140662106001048 140662552168946 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 22433792 140731343631548 140731343631724 140731343631724 140731343634383 0
[pid=14203/tid=14227] ppid=14202 vsize=13801768 CPUtime=3.75 cores=0,2,4,6,8,10,12,14
/proc/14203/task/14227/stat : 14227 (java) R 14202 14202 16913 0 -1 4202560 352 0 0 0 375 0 0 0 20 0 28 0 4290253 14133010432 75383 33554432000 4194304 4196468 140731343630096 140662104948624 140662551778203 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 22433792 140731343631548 140731343631724 140731343631724 140731343634383 0
[pid=14203/tid=14228] ppid=14202 vsize=13801768 CPUtime=4.09 cores=0,2,4,6,8,10,12,14
/proc/14203/task/14228/stat : 14228 (java) S 14202 14202 16913 0 -1 1077944384 173 0 0 0 409 0 0 0 20 0 28 0 4290253 14133010432 75383 33554432000 4194304 4196468 140731343630096 140662103900320 140662931764949 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 22433792 140731343631548 140731343631724 140731343631724 140731343634383 0
[pid=14203/tid=14229] ppid=14202 vsize=13801768 CPUtime=3.6 cores=0,2,4,6,8,10,12,14
/proc/14203/task/14229/stat : 14229 (java) R 14202 14202 16913 0 -1 4202560 154 0 0 0 360 0 0 0 20 0 28 0 4290253 14133010432 75383 33554432000 4194304 4196468 140731343630096 140662102844312 140662552168912 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 22433792 140731343631548 140731343631724 140731343631724 140731343634383 0
[pid=14203/tid=14230] ppid=14202 vsize=13801768 CPUtime=3.94 cores=0,2,4,6,8,10,12,14
/proc/14203/task/14230/stat : 14230 (java) R 14202 14202 16913 0 -1 1077944384 205 0 0 0 394 0 0 0 20 0 28 0 4290253 14133010432 75383 33554432000 4194304 4196468 140731343630096 140662101795232 140662931764949 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 22433792 140731343631548 140731343631724 140731343631724 140731343634383 0
[pid=14203/tid=14231] ppid=14202 vsize=13801768 CPUtime=3.6 cores=0,2,4,6,8,10,12,14
/proc/14203/task/14231/stat : 14231 (java) S 14202 14202 16913 0 -1 1077944384 125 0 0 0 360 0 0 0 20 0 28 0 4290253 14133010432 75383 33554432000 4194304 4196468 140731343630096 140662100743504 140662931764949 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22433792 140731343631548 140731343631724 140731343631724 140731343634383 0
Current children cumulated CPU time (s) 42.75
Current children cumulated vsize (KiB) 13811280

Child status: 0
Real time (s): 5.96675
CPU time (s): 42.9761
CPU user time (s): 42.7198
CPU system time (s): 0.256307
CPU usage (%): 720.26
Max. virtual memory (cumulated for all children) (KiB): 13816396

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 42.7198
system time used= 0.256307
maximum resident set size= 308232
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 67212
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= 4110
involuntary context switches= 3791

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.074661 second user time and 0.087645 second system time

The end

Launcher Data 

Begin job on node133 at 2017-07-22 04:23:52
IDJOB=4247554
IDBENCH=127922
IDSOLVER=2625
FILE ID=node133/4247554-1500690232
RUNJOBID= node133-1500682387-16944
PBS_JOBID= 20623321
Free space on /tmp= 62004 MiB

SOLVER NAME= choco-solver 4.0.5
BENCH NAME= XCSP17/RectPacking/RectPacking-m1-perf/RectPacking-perfect-129.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-4247554-1500690232/watcher-4247554-1500690232 -o /tmp/evaluation-result-4247554-1500690232/solver-4247554-1500690232 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node133-1500682387-16944 --watchdog 2560  ./xcsp3-exec -dir HOME -tl 2400 -p 8 -ml 10000 -tdir HOME -seed 290031637 HOME/instance-4247554-1500690232.xml

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

MD5SUM BENCH= 98286cf95bf5397e70229f7335ae5343
RANDOM SEED=290031637

node133.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		: 1867.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	: 5334.13
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		: 1600.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	: 5229.85
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	: 5334.13
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		: 1600.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	: 5229.85
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	: 5334.13
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		: 1600.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	: 5229.85
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		: 2000.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	: 5334.13
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	: 5229.85
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		: 2533.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	: 5334.13
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		: 1867.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	: 5229.85
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		: 2267.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	: 5334.13
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		: 1600.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	: 5229.85
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		: 2668.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	: 5334.13
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	: 5229.85
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	: 5334.13
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		: 1600.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	: 5229.85
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32770624 kB
MemFree:        29558824 kB
MemAvailable:   29729552 kB
Buffers:          113564 kB
Cached:           337892 kB
SwapCached:            0 kB
Active:          2505572 kB
Inactive:         271044 kB
Active(anon):    2327768 kB
Inactive(anon):     8756 kB
Active(file):     177804 kB
Inactive(file):   262288 kB
Unevictable:        5900 kB
Mlocked:            5900 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:              7616 kB
Writeback:             8 kB
AnonPages:       2331072 kB
Mapped:            42948 kB
Shmem:              8872 kB
Slab:             127120 kB
SReclaimable:      92944 kB
SUnreclaim:        34176 kB
KernelStack:        4576 kB
PageTables:        10232 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    4023616 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:   2224128 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      116096 kB
DirectMap2M:    33429504 kB

Free space on /tmp at the end= 61996 MiB
End job on node133 at 2017-07-22 04:23:58