Trace number 4244326

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
R1: choco-solver 5a (2017-07-05)? (TO) 2400.06 302.412

General information on the benchmark

NameScheduling/Scheduling-fs-taillard/
Taillard-fs-100-10-5.xml
MD5SUM4d2827b08c954056751687426186d54f
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmark
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Satisfiable
(Un)Satisfiability was proved
Number of variables1100
Number of constraints1110
Number of domains1
Minimum domain size5403
Maximum domain size5403
Distribution of domain sizes[{"size":5403,"count":1100}]
Minimum variable degree2
Maximum variable degree3
Distribution of variable degrees[{"degree":2,"count":100},{"degree":3,"count":1000}]
Minimum constraint arity1
Maximum constraint arity100
Distribution of constraint arities[{"arity":1,"count":100},{"arity":2,"count":1000},{"arity":100,"count":10}]
Number of extensional constraints0
Number of intensional constraints1100
Distribution of constraint types[{"type":"intension","count":1100},{"type":"noOverlap","count":10}]
Optimization problemYES
Type of objectivemin MAXIMUM

Solver Data 

0.00/0.00	c java -server -Xmx10000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4244326-1500682620.xml"  -tl '2400s' -p 8 -x 3
0.00/0.20	c [HOME/instance-4244326-1500682620.xml, -tl, 2400s, -p, 8, -x, 3]
0.00/0.27	c 8 solvers in parallel
0.00/0.36	c parse instance...
4.28/1.36	c solve instance...
2400.06/302.44	s UNKNOWN
2400.06/302.44	c Unexpected resolution interruption!

Verifier Data


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-4244326-1500682620/watcher-4244326-1500682620 -o /tmp/evaluation-result-4244326-1500682620/solver-4244326-1500682620 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node131-1500682620-7801 --watchdog 2560 ./xcsp3-exec -dir HOME -tl 2400 -p 8 -ml 10000 -tdir HOME -seed 2101506297 HOME/instance-4244326-1500682620.xml 

pid=7820
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: 15.17 12.85 7.99 3/238 7823
/proc/meminfo: memFree=32001824/32770624 swapFree=5860/235996
[pid=7823] ppid=7820 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/7823/stat : 7823 (xcsp3-exec) S 7820 7823 7411 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 3529413 9740288 345 33554432000 4194304 5098028 140731008801808 140731008799912 140507781534332 0 65536 4100 65538 18446744071579417331 0 0 17 8 0 0 0 0 0 7196144 7232144 23695360 140731008808078 140731008808288 140731008808288 140731008810987 0
/proc/7823/statm: 2378 345 289 221 0 87 0

[startup+0.100139 s]
/proc/loadavg: 15.17 12.85 7.99 3/238 7823
/proc/meminfo: memFree=32001824/32770624 swapFree=5860/235996
[pid=7823] ppid=7820 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/7823/stat : 7823 (xcsp3-exec) S 7820 7823 7411 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 3529413 9740288 345 33554432000 4194304 5098028 140731008801808 140731008799912 140507781534332 0 65536 4100 65538 18446744071579417331 0 0 17 8 0 0 0 0 0 7196144 7232144 23695360 140731008808078 140731008808288 140731008808288 140731008810987 0
/proc/7823/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512

[startup+0.200263 s]
/proc/loadavg: 15.17 12.85 7.99 3/238 7823
/proc/meminfo: memFree=32001824/32770624 swapFree=5860/235996
[pid=7823] ppid=7820 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/7823/stat : 7823 (xcsp3-exec) S 7820 7823 7411 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 3529413 9740288 345 33554432000 4194304 5098028 140731008801808 140731008799912 140507781534332 0 65536 4100 65538 18446744071579417331 0 0 17 8 0 0 0 0 0 7196144 7232144 23695360 140731008808078 140731008808288 140731008808288 140731008810987 0
/proc/7823/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512

[startup+0.300294 s]
/proc/loadavg: 15.17 12.85 7.99 3/238 7823
/proc/meminfo: memFree=32001824/32770624 swapFree=5860/235996
[pid=7823] ppid=7820 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/7823/stat : 7823 (xcsp3-exec) S 7820 7823 7411 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 3529413 9740288 345 33554432000 4194304 5098028 140731008801808 140731008799912 140507781534332 0 65536 4100 65538 18446744071579417331 0 0 17 8 0 0 0 0 0 7196144 7232144 23695360 140731008808078 140731008808288 140731008808288 140731008810987 0
/proc/7823/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512

[startup+0.700164 s]
/proc/loadavg: 15.17 12.85 7.99 3/238 7823
/proc/meminfo: memFree=32001824/32770624 swapFree=5860/235996
[pid=7823] ppid=7820 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/7823/stat : 7823 (xcsp3-exec) S 7820 7823 7411 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 3529413 9740288 345 33554432000 4194304 5098028 140731008801808 140731008799912 140507781534332 0 65536 4100 65538 18446744071579417331 0 0 17 8 0 0 0 0 0 7196144 7232144 23695360 140731008808078 140731008808288 140731008808288 140731008810987 0
/proc/7823/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512

[startup+1.50115 s]
/proc/loadavg: 15.17 12.85 7.99 19/293 7882
/proc/meminfo: memFree=31700116/32770624 swapFree=5860/231456
[pid=7823] ppid=7820 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/7823/stat : 7823 (xcsp3-exec) S 7820 7823 7411 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 3529413 9740288 345 33554432000 4194304 5098028 140731008801808 140731008799912 140507781534332 0 65536 4100 65538 18446744071579417331 0 0 17 8 0 0 0 0 0 7196144 7232144 23695360 140731008808078 140731008808288 140731008808288 140731008810987 0
/proc/7823/statm: 2378 345 289 221 0 87 0
[pid=7824] ppid=7823 vsize=13801768 CPUtime=5.57 cores=0,2,4,6,8,10,12,14
/proc/7824/stat : 7824 (java) S 7823 7823 7411 0 -1 1077944320 23736 0 1 0 535 22 0 0 20 0 28 0 3529413 14133010432 55612 33554432000 4194304 4196468 140730660391360 140730660373904 140293175017207 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 11689984 140730660398268 140730660398444 140730660398444 140730660401103 0
/proc/7824/statm: 3450442 55612 3251 1 0 3437675 0
[pid=7824/tid=7825] ppid=7823 vsize=13801768 CPUtime=1.27 cores=0,2,4,6,8,10,12,14
/proc/7824/task/7825/stat : 7825 (java) S 7823 7823 7411 0 -1 1077944384 8290 0 1 0 123 4 0 0 20 0 28 0 3529414 14133010432 55612 33554432000 4194304 4196468 140730660391360 140293179257984 140293175027413 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 2 0 0 6293624 6294260 11689984 140730660398268 140730660398444 140730660398444 140730660401103 0
[pid=7824/tid=7827] ppid=7823 vsize=13801768 CPUtime=0.02 cores=0,2,4,6,8,10,12,14
/proc/7824/task/7827/stat : 7827 (java) S 7823 7823 7411 0 -1 1077944384 38 0 0 0 1 1 0 0 20 0 28 0 3529415 14133010432 55612 33554432000 4194304 4196468 140730660391360 140292774685840 140293175027413 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11689984 140730660398268 140730660398444 140730660398444 140730660401103 0
[pid=7824/tid=7828] ppid=7823 vsize=13801768 CPUtime=0.02 cores=0,2,4,6,8,10,12,14
/proc/7824/task/7828/stat : 7828 (java) S 7823 7823 7411 0 -1 1077944384 31 0 0 0 1 1 0 0 20 0 28 0 3529415 14133010432 55612 33554432000 4194304 4196468 140730660391360 140292773633040 140293175027413 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 11689984 140730660398268 140730660398444 140730660398444 140730660401103 0
[pid=7824/tid=7829] ppid=7823 vsize=13801768 CPUtime=0.02 cores=0,2,4,6,8,10,12,14
/proc/7824/task/7829/stat : 7829 (java) S 7823 7823 7411 0 -1 1077944384 49 0 0 0 1 1 0 0 20 0 28 0 3529415 14133010432 55612 33554432000 4194304 4196468 140730660391360 140292772580240 140293175027413 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 11689984 140730660398268 140730660398444 140730660398444 140730660401103 0
[pid=7824/tid=7830] ppid=7823 vsize=13801768 CPUtime=0.02 cores=0,2,4,6,8,10,12,14
/proc/7824/task/7830/stat : 7830 (java) S 7823 7823 7411 0 -1 1077944384 33 0 0 0 1 1 0 0 20 0 28 0 3529415 14133010432 55612 33554432000 4194304 4196468 140730660391360 140292771527440 140293175027413 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11689984 140730660398268 140730660398444 140730660398444 140730660401103 0
[pid=7824/tid=7831] ppid=7823 vsize=13801768 CPUtime=0.02 cores=0,2,4,6,8,10,12,14
/proc/7824/task/7831/stat : 7831 (java) S 7823 7823 7411 0 -1 1077944384 66 0 0 0 1 1 0 0 20 0 28 0 3529415 14133010432 55612 33554432000 4194304 4196468 140730660391360 140292770474640 140293175027413 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 11689984 140730660398268 140730660398444 140730660398444 140730660401103 0
[pid=7824/tid=7832] ppid=7823 vsize=13801768 CPUtime=0.01 cores=0,2,4,6,8,10,12,14
/proc/7824/task/7832/stat : 7832 (java) S 7823 7823 7411 0 -1 1077944384 25 0 0 0 1 0 0 0 20 0 28 0 3529415 14133010432 55612 33554432000 4194304 4196468 140730660391360 140292769421840 140293175027413 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 11689984 140730660398268 140730660398444 140730660398444 140730660401103 0
[pid=7824/tid=7833] ppid=7823 vsize=13801768 CPUtime=0.02 cores=0,2,4,6,8,10,12,14
/proc/7824/task/7833/stat : 7833 (java) S 7823 7823 7411 0 -1 1077944384 122 0 0 0 1 1 0 0 20 0 28 0 3529415 14133010432 55612 33554432000 4194304 4196468 140730660391360 140292768369040 140293175027413 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 11689984 140730660398268 140730660398444 140730660398444 140730660401103 0
[pid=7824/tid=7834] ppid=7823 vsize=13801768 CPUtime=0.02 cores=0,2,4,6,8,10,12,14
/proc/7824/task/7834/stat : 7834 (java) S 7823 7823 7411 0 -1 1077944384 22 0 0 0 1 1 0 0 20 0 28 0 3529415 14133010432 55612 33554432000 4194304 4196468 140730660391360 140292767316240 140293175027413 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11689984 140730660398268 140730660398444 140730660398444 140730660401103 0
[pid=7824/tid=7839] ppid=7823 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/7824/task/7839/stat : 7839 (java) S 7823 7823 7411 0 -1 1077944384 113 0 0 0 0 0 0 0 20 0 28 0 3529417 14133010432 55612 33554432000 4194304 4196468 140730660391360 140292637313904 140293175028354 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11689984 140730660398268 140730660398444 140730660398444 140730660401103 0
[pid=7824/tid=7841] ppid=7823 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/7824/task/7841/stat : 7841 (java) S 7823 7823 7411 0 -1 1077944384 58 0 0 0 0 0 0 0 20 0 28 0 3529418 14133010432 55612 33554432000 4194304 4196468 140730660391360 140292636259872 140293175027413 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 11689984 140730660398268 140730660398444 140730660398444 140730660401103 0
[pid=7824/tid=7843] ppid=7823 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/7824/task/7843/stat : 7843 (java) S 7823 7823 7411 0 -1 1077944384 52 0 0 0 0 0 0 0 20 0 28 0 3529418 14133010432 55612 33554432000 4194304 4196468 140730660391360 140292635207024 140293175027413 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11689984 140730660398268 140730660398444 140730660398444 140730660401103 0
[pid=7824/tid=7858] ppid=7823 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/7824/task/7858/stat : 7858 (java) S 7823 7823 7411 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 3529422 14133010432 55612 33554432000 4194304 4196468 140730660391360 140292634155344 140293175035803 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 11689984 140730660398268 140730660398444 140730660398444 140730660401103 0
[pid=7824/tid=7859] ppid=7823 vsize=13801768 CPUtime=0.82 cores=0,2,4,6,8,10,12,14
/proc/7824/task/7859/stat : 7859 (java) R 7823 7823 7411 0 -1 4202560 3370 0 0 0 81 1 0 0 20 0 28 0 3529422 14133010432 55612 33554432000 4194304 4196468 140730660391360 140292633089248 140293156538329 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 11689984 140730660398268 140730660398444 140730660398444 140730660401103 0
[pid=7824/tid=7860] ppid=7823 vsize=13801768 CPUtime=0.94 cores=0,2,4,6,8,10,12,14
/proc/7824/task/7860/stat : 7860 (java) R 7823 7823 7411 0 -1 4202560 2925 0 0 0 94 0 0 0 20 0 28 0 3529422 14133010432 55612 33554432000 4194304 4196468 140730660391360 140292632036472 140293156561306 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 11689984 140730660398268 140730660398444 140730660398444 140730660401103 0
[pid=7824/tid=7861] ppid=7823 vsize=13801768 CPUtime=0.88 cores=0,2,4,6,8,10,12,14
/proc/7824/task/7861/stat : 7861 (java) R 7823 7823 7411 0 -1 4202560 3549 0 0 0 88 0 0 0 20 0 28 0 3529422 14133010432 55612 33554432000 4194304 4196468 140730660391360 140292630983200 140293158403995 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 11689984 140730660398268 140730660398444 140730660398444 140730660401103 0
[pid=7824/tid=7862] ppid=7823 vsize=13801768 CPUtime=0.71 cores=0,2,4,6,8,10,12,14
/proc/7824/task/7862/stat : 7862 (java) S 7823 7823 7411 0 -1 1077944384 3444 0 0 0 70 1 0 0 20 0 28 0 3529422 14133010432 55612 33554432000 4194304 4196468 140730660391360 140292629944304 140293175028354 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 11689984 140730660398268 140730660398444 140730660398444 140730660401103 0
[pid=7824/tid=7863] ppid=7823 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/7824/task/7863/stat : 7863 (java) S 7823 7823 7411 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 3529423 14133010432 55612 33554432000 4194304 4196468 140730660391360 140292628892768 140293175027413 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 11689984 140730660398268 140730660398444 140730660398444 140730660401103 0
[pid=7824/tid=7865] ppid=7823 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/7824/task/7865/stat : 7865 (java) S 7823 7823 7411 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 3529423 14133010432 55612 33554432000 4194304 4196468 140730660391360 140292627840048 140293175028354 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 11689984 140730660398268 140730660398444 140730660398444 140730660401103 0
Current children cumulated CPU time (s) 5.57
Current children cumulated vsize (KiB) 13811280

[startup+3.10142 s]
/proc/loadavg: 15.17 12.85 7.99 23/301 7890
/proc/meminfo: memFree=31549064/32770624 swapFree=5860/231564
[pid=7823] ppid=7820 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/7823/stat : 7823 (xcsp3-exec) S 7820 7823 7411 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 3529413 9740288 345 33554432000 4194304 5098028 140731008801808 140731008799912 140507781534332 0 65536 4100 65538 18446744071579417331 0 0 17 8 0 0 0 0 0 7196144 7232144 23695360 140731008808078 140731008808288 140731008808288 140731008810987 0
/proc/7823/statm: 2378 345 289 221 0 87 0
[pid=7824] ppid=7823 vsize=13801768 CPUtime=18.23 cores=0,2,4,6,8,10,12,14
/proc/7824/stat : 7824 (java) S 7823 7823 7411 0 -1 1077944320 31300 0 1 0 1778 45 0 0 20 0 28 0 3529413 14133010432 77379 33554432000 4194304 4196468 140730660391360 140730660373904 140293175017207 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 11689984 140730660398268 140730660398444 140730660398444 140730660401103 0
/proc/7824/statm: 3450442 77379 3265 1 0 3437675 0
[pid=7824/tid=7825] ppid=7823 vsize=13801768 CPUtime=1.27 cores=0,2,4,6,8,10,12,14
/proc/7824/task/7825/stat : 7825 (java) S 7823 7823 7411 0 -1 1077944384 8290 0 1 0 123 4 0 0 20 0 28 0 3529414 14133010432 77379 33554432000 4194304 4196468 140730660391360 140293179257984 140293175027413 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 2 0 0 6293624 6294260 11689984 140730660398268 140730660398444 140730660398444 140730660401103 0
[pid=7824/tid=7827] ppid=7823 vsize=13801768 CPUtime=0.07 cores=0,2,4,6,8,10,12,14
/proc/7824/task/7827/stat : 7827 (java) S 7823 7823 7411 0 -1 1077944384 63 0 0 0 4 3 0 0 20 0 28 0 3529415 14133010432 77379 33554432000 4194304 4196468 140730660391360 140292774685840 140293175027413 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 11689984 140730660398268 140730660398444 140730660398444 140730660401103 0
[pid=7824/tid=7828] ppid=7823 vsize=13801768 CPUtime=0.05 cores=0,2,4,6,8,10,12,14
/proc/7824/task/7828/stat : 7828 (java) S 7823 7823 7411 0 -1 1077944384 55 0 0 0 3 2 0 0 20 0 28 0 3529415 14133010432 77379 33554432000 4194304 4196468 140730660391360 140292773633040 140293175027413 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 11689984 140730660398268 140730660398444 140730660398444 140730660401103 0
[pid=7824/tid=7829] ppid=7823 vsize=13801768 CPUtime=0.09 cores=0,2,4,6,8,10,12,14
/proc/7824/task/7829/stat : 7829 (java) S 7823 7823 7411 0 -1 1077944384 77 0 0 0 4 5 0 0 20 0 28 0 3529415 14133010432 77379 33554432000 4194304 4196468 140730660391360 140292772580240 140293175027413 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 11689984 140730660398268 140730660398444 140730660398444 140730660401103 0
[pid=7824/tid=7830] ppid=7823 vsize=13801768 CPUtime=0.1 cores=0,2,4,6,8,10,12,14
/proc/7824/task/7830/stat : 7830 (java) S 7823 7823 7411 0 -1 1077944384 71 0 0 0 5 5 0 0 20 0 28 0 3529415 14133010432 77379 33554432000 4194304 4196468 140730660391360 140292771527440 140293175027413 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11689984 140730660398268 140730660398444 140730660398444 140730660401103 0
[pid=7824/tid=7831] ppid=7823 vsize=13801768 CPUtime=0.08 cores=0,2,4,6,8,10,12,14
/proc/7824/task/7831/stat : 7831 (java) S 7823 7823 7411 0 -1 1077944384 91 0 0 0 4 4 0 0 20 0 28 0 3529415 14133010432 77379 33554432000 4194304 4196468 140730660391360 140292770474640 140293175027413 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11689984 140730660398268 140730660398444 140730660398444 140730660401103 0
[pid=7824/tid=7832] ppid=7823 vsize=13801768 CPUtime=0.09 cores=0,2,4,6,8,10,12,14
/proc/7824/task/7832/stat : 7832 (java) S 7823 7823 7411 0 -1 1077944384 68 0 0 0 5 4 0 0 20 0 28 0 3529415 14133010432 77379 33554432000 4194304 4196468 140730660391360 140292769421840 140293175027413 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 11689984 140730660398268 140730660398444 140730660398444 140730660401103 0
[pid=7824/tid=7833] ppid=7823 vsize=13801768 CPUtime=0.1 cores=0,2,4,6,8,10,12,14
/proc/7824/task/7833/stat : 7833 (java) S 7823 7823 7411 0 -1 1077944384 160 0 0 0 5 5 0 0 20 0 28 0 3529415 14133010432 77379 33554432000 4194304 4196468 140730660391360 140292768369040 140293175027413 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11689984 140730660398268 140730660398444 140730660398444 140730660401103 0
[pid=7824/tid=7834] ppid=7823 vsize=13801768 CPUtime=0.06 cores=0,2,4,6,8,10,12,14
/proc/7824/task/7834/stat : 7834 (java) S 7823 7823 7411 0 -1 1077944384 48 0 0 0 3 3 0 0 20 0 28 0 3529415 14133010432 77379 33554432000 4194304 4196468 140730660391360 140292767316240 140293175027413 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11689984 140730660398268 140730660398444 140730660398444 140730660401103 0
[pid=7824/tid=7839] ppid=7823 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/7824/task/7839/stat : 7839 (java) S 7823 7823 7411 0 -1 1077944384 113 0 0 0 0 0 0 0 20 0 28 0 3529417 14133010432 77379 33554432000 4194304 4196468 140730660391360 140292637313904 140293175028354 0 0 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 11689984 140730660398268 140730660398444 140730660398444 140730660401103 0
[pid=7824/tid=7841] ppid=7823 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/7824/task/7841/stat : 7841 (java) S 7823 7823 7411 0 -1 1077944384 58 0 0 0 0 0 0 0 20 0 28 0 3529418 14133010432 77379 33554432000 4194304 4196468 140730660391360 140292636259936 140293175027413 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 11689984 140730660398268 140730660398444 140730660398444 140730660401103 0
[pid=7824/tid=7843] ppid=7823 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/7824/task/7843/stat : 7843 (java) S 7823 7823 7411 0 -1 1077944384 52 0 0 0 0 0 0 0 20 0 28 0 3529418 14133010432 77379 33554432000 4194304 4196468 140730660391360 140292635207024 140293175027413 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11689984 140730660398268 140730660398444 140730660398444 140730660401103 0
[pid=7824/tid=7858] ppid=7823 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/7824/task/7858/stat : 7858 (java) S 7823 7823 7411 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 3529422 14133010432 77379 33554432000 4194304 4196468 140730660391360 140292634155344 140293175035803 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 11689984 140730660398268 140730660398444 140730660398444 140730660401103 0
[pid=7824/tid=7859] ppid=7823 vsize=13801768 CPUtime=1.87 cores=0,2,4,6,8,10,12,14
/proc/7824/task/7859/stat : 7859 (java) R 7823 7823 7411 0 -1 1077944384 4685 0 0 0 186 1 0 0 20 0 28 0 3529422 14133010432 77379 33554432000 4194304 4196468 140730660391360 140292633091200 140293175027413 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 11689984 140730660398268 140730660398444 140730660398444 140730660401103 0
[pid=7824/tid=7860] ppid=7823 vsize=13801768 CPUtime=1.97 cores=0,2,4,6,8,10,12,14
/proc/7824/task/7860/stat : 7860 (java) R 7823 7823 7411 0 -1 4202560 5331 0 0 0 196 1 0 0 20 0 28 0 3529422 14133010432 77379 33554432000 4194304 4196468 140730660391360 140292632042392 140293159406064 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 11689984 140730660398268 140730660398444 140730660398444 140730660401103 0
[pid=7824/tid=7861] ppid=7823 vsize=13801768 CPUtime=2.02 cores=0,2,4,6,8,10,12,14
/proc/7824/task/7861/stat : 7861 (java) S 7823 7823 7411 0 -1 1077944384 5120 0 0 0 202 0 0 0 20 0 28 0 3529422 14133010432 77379 33554432000 4194304 4196468 140730660391360 140292630988432 140293175027413 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 11689984 140730660398268 140730660398444 140730660398444 140730660401103 0
[pid=7824/tid=7862] ppid=7823 vsize=13801768 CPUtime=0.98 cores=0,2,4,6,8,10,12,14
/proc/7824/task/7862/stat : 7862 (java) S 7823 7823 7411 0 -1 1077944384 4868 0 0 0 97 1 0 0 20 0 28 0 3529422 14133010432 77379 33554432000 4194304 4196468 140730660391360 140292629942704 140293175027413 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 11689984 140730660398268 140730660398444 140730660398444 140730660401103 0
[pid=7824/tid=7863] ppid=7823 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/7824/task/7863/stat : 7863 (java) S 7823 7823 7411 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 3529423 14133010432 77379 33554432000 4194304 4196468 140730660391360 140292628892768 140293175027413 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 11689984 140730660398268 140730660398444 140730660398444 140730660401103 0
[pid=7824/tid=7865] ppid=7823 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/7824/task/7865/stat : 7865 (java) S 7823 7823 7411 0 -1 1077944384 14 0 0 0 0 0 0 0 20 0 28 0 3529423 14133010432 77379 33554432000 4194304 4196468 140730660391360 140292627840048 140293175028354 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 11689984 140730660398268 140730660398444 140730660398444 140730660401103 0
[pid=7824/tid=7883] ppid=7823 vsize=13801768 CPUtime=1.14 cores=0,2,4,6,8,10,12,14
/proc/7824/task/7883/stat : 7883 (java) R 7823 7823 7411 0 -1 4202560 107 0 0 0 114 0 0 0 20 0 28 0 3529551 14133010432 77379 33554432000 4194304 4196468 140730660391360 140292485178536 140292782264037 0 4 0 16800975 0 0 0 -1 14 0 0 0 0 0 6293624 6294260 11689984 140730660398268 140730660398444 140730660398444 140730660401103 0
[pid=7824/tid=7884] ppid=7823 vsize=13801768 CPUtime=1.22 cores=0,2,4,6,8,10,12,14
/proc/7824/task/7884/stat : 7884 (java) R 7823 7823 7411 0 -1 4202560 71 0 0 0 122 0 0 0 20 0 28 0 3529551 14133010432 77379 33554432000 4194304 4196468 140730660391360 140292484124200 140292782215495 0 4 0 16800975 0 0 0 -1 14 0 0 0 0 0 6293624 6294260 11689984 140730660398268 140730660398444 140730660398444 140730660401103 0
[pid=7824/tid=7885] ppid=7823 vsize=13801768 CPUtime=1.02 cores=0,2,4,6,8,10,12,14
/proc/7824/task/7885/stat : 7885 (java) R 7823 7823 7411 0 -1 4202560 92 0 0 0 102 0 0 0 20 0 28 0 3529551 14133010432 77379 33554432000 4194304 4196468 140730660391360 140292483074568 140292781634520 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 11689984 140730660398268 140730660398444 140730660398444 140730660401103 0
[pid=7824/tid=7886] ppid=7823 vsize=13801768 CPUtime=1.3 cores=0,2,4,6,8,10,12,14
/proc/7824/task/7886/stat : 7886 (java) R 7823 7823 7411 0 -1 4202560 250 0 0 0 130 0 0 0 20 0 28 0 3529551 14133010432 77379 33554432000 4194304 4196468 140730660391360 140292482018976 140292782686067 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 11689984 140730660398268 140730660398444 140730660398444 140730660401103 0
[pid=7824/tid=7887] ppid=7823 vsize=13801768 CPUtime=1.37 cores=0,2,4,6,8,10,12,14
/proc/7824/task/7887/stat : 7887 (java) R 7823 7823 7411 0 -1 4202560 65 0 0 0 137 0 0 0 20 0 28 0 3529551 14133010432 77379 33554432000 4194304 4196468 140730660391360 140292480968248 140292782819129 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 11689984 140730660398268 140730660398444 140730660398444 140730660401103 0
[pid=7824/tid=7888] ppid=7823 vsize=13801768 CPUtime=1.16 cores=0,2,4,6,8,10,12,14
/proc/7824/task/7888/stat : 7888 (java) R 7823 7823 7411 0 -1 4202560 113 0 0 0 116 0 0 0 20 0 28 0 3529551 14133010432 77379 33554432000 4194304 4196468 140730660391360 140292479911976 140292781440661 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 11689984 140730660398268 140730660398444 140730660398444 140730660401103 0
[pid=7824/tid=7889] ppid=7823 vsize=13801768 CPUtime=1.09 cores=0,2,4,6,8,10,12,14
/proc/7824/task/7889/stat : 7889 (java) R 7823 7823 7411 0 -1 4202560 51 0 0 0 109 0 0 0 20 0 28 0 3529551 14133010432 77379 33554432000 4194304 4196468 140730660391360 140292478862184 140292782819295 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 11689984 140730660398268 140730660398444 140730660398444 140730660401103 0
[pid=7824/tid=7890] ppid=7823 vsize=13801768 CPUtime=1.04 cores=0,2,4,6,8,10,12,14
/proc/7824/task/7890/stat : 7890 (java) R 7823 7823 7411 0 -1 4202560 148 0 0 0 104 0 0 0 20 0 28 0 3529551 14133010432 77379 33554432000 4194304 4196468 140730660391360 140292477811528 140292782356163 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 11689984 140730660398268 140730660398444 140730660398444 140730660401103 0
Current children cumulated CPU time (s) 18.23
Current children cumulated vsize (KiB) 13811280

[startup+6.30155 s]
/proc/loadavg: 15.39 12.93 8.05 23/301 7890
/proc/meminfo: memFree=31500776/32770624 swapFree=5860/231560
[pid=7823] ppid=7820 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/7823/stat : 7823 (xcsp3-exec) S 7820 7823 7411 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 3529413 9740288 345 33554432000 4194304 5098028 140731008801808 140731008799912 140507781534332 0 65536 4100 65538 18446744071579417331 0 0 17 8 0 0 0 0 0 7196144 7232144 23695360 140731008808078 140731008808288 140731008808288 140731008810987 0
/proc/7823/statm: 2378 345 289 221 0 87 0
[pid=7824] ppid=7823 vsize=13801768 CPUtime=43.64 cores=0,2,4,6,8,10,12,14
/proc/7824/stat : 7824 (java) S 7823 7823 7411 0 -1 1077944320 39713 0 1 0 4315 49 0 0 20 0 28 0 3529413 14133010432 77838 33554432000 4194304 4196468 140730660391360 140730660373904 140293175017207 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 11689984 140730660398268 140730660398444 140730660398444 140730660401103 0
/proc/7824/statm: 3450442 77838 3269 1 0 3437675 0
[pid=7824/tid=7825] ppid=7823 vsize=13801768 CPUtime=1.27 cores=0,2,4,6,8,10,12,14
/proc/7824/task/7825/stat : 7825 (java) S 7823 7823 7411 0 -1 1077944384 8290 0 1 0 123 4 0 0 20 0 28 0 3529414 14133010432 77838 33554432000 4194304 4196468 140730660391360 140293179257984 140293175027413 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 2 0 0 6293624 6294260 11689984 140730660398268 140730660398444 140730660398444 140730660401103 0
[pid=7824/tid=7827] ppid=7823 vsize=13801768 CPUtime=0.07 cores=0,2,4,6,8,10,12,14
/proc/7824/task/7827/stat : 7827 (java) S 7823 7823 7411 0 -1 1077944384 63 0 0 0 4 3 0 0 20 0 28 0 3529415 14133010432 77838 33554432000 4194304 4196468 140730660391360 140292774685840 140293175027413 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 11689984 140730660398268 140730660398444 140730660398444 140730660401103 0
[pid=7824/tid=7828] ppid=7823 vsize=13801768 CPUtime=0.05 cores=0,2,4,6,8,10,12,14
/proc/7824/task/7828/stat : 7828 (java) S 7823 7823 7411 0 -1 1077944384 55 0 0 0 3 2 0 0 20 0 28 0 3529415 14133010432 77838 33554432000 4194304 4196468 140730660391360 140292773633040 140293175027413 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 11689984 140730660398268 140730660398444 140730660398444 140730660401103 0
[pid=7824/tid=7829] ppid=7823 vsize=13801768 CPUtime=0.09 cores=0,2,4,6,8,10,12,14
/proc/7824/task/7829/stat : 7829 (java) S 7823 7823 7411 0 -1 1077944384 77 0 0 0 4 5 0 0 20 0 28 0 3529415 14133010432 77838 33554432000 4194304 4196468 140730660391360 140292772580240 140293175027413 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 11689984 140730660398268 140730660398444 140730660398444 140730660401103 0
[pid=7824/tid=7830] ppid=7823 vsize=13801768 CPUtime=0.1 cores=0,2,4,6,8,10,12,14
/proc/7824/task/7830/stat : 7830 (java) S 7823 7823 7411 0 -1 1077944384 71 0 0 0 5 5 0 0 20 0 28 0 3529415 14133010432 77838 33554432000 4194304 4196468 140730660391360 140292771527440 140293175027413 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11689984 140730660398268 140730660398444 140730660398444 140730660401103 0

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

[pid=7824/tid=7889] ppid=7823 vsize=13801768 CPUtime=217.82 cores=0,2,4,6,8,10,12,14
/proc/7824/task/7889/stat : 7889 (java) R 7823 7823 7411 0 -1 4202560 757 0 0 0 21782 0 0 0 20 0 28 0 3529551 14133010432 639118 33554432000 4194304 4196468 140730660391360 140292478861384 140292786763843 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 11689984 140730660398268 140730660398444 140730660398444 140730660401103 0
[pid=7824/tid=7890] ppid=7823 vsize=13801768 CPUtime=215.51 cores=0,2,4,6,8,10,12,14
/proc/7824/task/7890/stat : 7890 (java) R 7823 7823 7411 0 -1 4202560 1417 0 0 0 21549 2 0 0 20 0 28 0 3529551 14133010432 639118 33554432000 4194304 4196468 140730660391360 140292477808792 140292785552055 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 11689984 140730660398268 140730660398444 140730660398444 140730660401103 0
Current children cumulated CPU time (s) 1763.54
Current children cumulated vsize (KiB) 13811280

[startup+282.301 s]
/proc/loadavg: 15.56 14.76 10.09 17/302 7901
/proc/meminfo: memFree=29192880/32770624 swapFree=5860/231812
[pid=7823] ppid=7820 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/7823/stat : 7823 (xcsp3-exec) S 7820 7823 7411 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 3529413 9740288 345 33554432000 4194304 5098028 140731008801808 140731008799912 140507781534332 0 65536 4100 65538 18446744071579417331 0 0 17 8 0 0 0 0 0 7196144 7232144 23695360 140731008808078 140731008808288 140731008808288 140731008810987 0
/proc/7823/statm: 2378 345 289 221 0 87 0
[pid=7824] ppid=7823 vsize=13801768 CPUtime=2239.9 cores=0,2,4,6,8,10,12,14
/proc/7824/stat : 7824 (java) S 7823 7823 7411 0 -1 1077944320 103340 0 1 0 223674 316 0 0 20 0 28 0 3529413 14133010432 645941 33554432000 4194304 4196468 140730660391360 140730660373904 140293175017207 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 11689984 140730660398268 140730660398444 140730660398444 140730660401103 0
/proc/7824/statm: 3450442 645941 3295 1 0 3437675 0
[pid=7824/tid=7825] ppid=7823 vsize=13801768 CPUtime=1.27 cores=0,2,4,6,8,10,12,14
/proc/7824/task/7825/stat : 7825 (java) S 7823 7823 7411 0 -1 1077944384 8290 0 1 0 123 4 0 0 20 0 28 0 3529414 14133010432 645941 33554432000 4194304 4196468 140730660391360 140293179257984 140293175027413 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 2 0 0 6293624 6294260 11689984 140730660398268 140730660398444 140730660398444 140730660401103 0
[pid=7824/tid=7827] ppid=7823 vsize=13801768 CPUtime=0.86 cores=0,2,4,6,8,10,12,14
/proc/7824/task/7827/stat : 7827 (java) S 7823 7823 7411 0 -1 1077944384 3700 0 0 0 56 30 0 0 20 0 28 0 3529415 14133010432 645941 33554432000 4194304 4196468 140730660391360 140292774685840 140293175027413 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 11689984 140730660398268 140730660398444 140730660398444 140730660401103 0
[pid=7824/tid=7828] ppid=7823 vsize=13801768 CPUtime=0.86 cores=0,2,4,6,8,10,12,14
/proc/7824/task/7828/stat : 7828 (java) S 7823 7823 7411 0 -1 1077944384 881 0 0 0 56 30 0 0 20 0 28 0 3529415 14133010432 645941 33554432000 4194304 4196468 140730660391360 140292773633040 140293175027413 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11689984 140730660398268 140730660398444 140730660398444 140730660401103 0
[pid=7824/tid=7829] ppid=7823 vsize=13801768 CPUtime=0.87 cores=0,2,4,6,8,10,12,14
/proc/7824/task/7829/stat : 7829 (java) S 7823 7823 7411 0 -1 1077944384 721 0 0 0 57 30 0 0 20 0 28 0 3529415 14133010432 645941 33554432000 4194304 4196468 140730660391360 140292772580240 140293175027413 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11689984 140730660398268 140730660398444 140730660398444 140730660401103 0
[pid=7824/tid=7830] ppid=7823 vsize=13801768 CPUtime=0.88 cores=0,2,4,6,8,10,12,14
/proc/7824/task/7830/stat : 7830 (java) S 7823 7823 7411 0 -1 1077944384 1235 0 0 0 57 31 0 0 20 0 28 0 3529415 14133010432 645941 33554432000 4194304 4196468 140730660391360 140292771527440 140293175027413 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11689984 140730660398268 140730660398444 140730660398444 140730660401103 0
[pid=7824/tid=7831] ppid=7823 vsize=13801768 CPUtime=0.86 cores=0,2,4,6,8,10,12,14
/proc/7824/task/7831/stat : 7831 (java) S 7823 7823 7411 0 -1 1077944384 2047 0 0 0 57 29 0 0 20 0 28 0 3529415 14133010432 645941 33554432000 4194304 4196468 140730660391360 140292770474640 140293175027413 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 11689984 140730660398268 140730660398444 140730660398444 140730660401103 0
[pid=7824/tid=7832] ppid=7823 vsize=13801768 CPUtime=0.89 cores=0,2,4,6,8,10,12,14
/proc/7824/task/7832/stat : 7832 (java) S 7823 7823 7411 0 -1 1077944384 1245 0 0 0 59 30 0 0 20 0 28 0 3529415 14133010432 645941 33554432000 4194304 4196468 140730660391360 140292769421840 140293175027413 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 11689984 140730660398268 140730660398444 140730660398444 140730660401103 0
[pid=7824/tid=7833] ppid=7823 vsize=13801768 CPUtime=0.9 cores=0,2,4,6,8,10,12,14
/proc/7824/task/7833/stat : 7833 (java) S 7823 7823 7411 0 -1 1077944384 634 0 0 0 57 33 0 0 20 0 28 0 3529415 14133010432 645941 33554432000 4194304 4196468 140730660391360 140292768369040 140293175027413 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11689984 140730660398268 140730660398444 140730660398444 140730660401103 0
[pid=7824/tid=7834] ppid=7823 vsize=13801768 CPUtime=0.85 cores=0,2,4,6,8,10,12,14
/proc/7824/task/7834/stat : 7834 (java) S 7823 7823 7411 0 -1 1077944384 682 0 0 0 54 31 0 0 20 0 28 0 3529415 14133010432 645941 33554432000 4194304 4196468 140730660391360 140292767316240 140293175027413 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11689984 140730660398268 140730660398444 140730660398444 140730660401103 0
[pid=7824/tid=7839] ppid=7823 vsize=13801768 CPUtime=0.36 cores=0,2,4,6,8,10,12,14
/proc/7824/task/7839/stat : 7839 (java) S 7823 7823 7411 0 -1 1077944384 7714 0 0 0 27 9 0 0 20 0 28 0 3529417 14133010432 645941 33554432000 4194304 4196468 140730660391360 140292637313904 140293175028354 0 0 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 11689984 140730660398268 140730660398444 140730660398444 140730660401103 0
[pid=7824/tid=7841] ppid=7823 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/7824/task/7841/stat : 7841 (java) S 7823 7823 7411 0 -1 1077944384 68 0 0 0 0 0 0 0 20 0 28 0 3529418 14133010432 645941 33554432000 4194304 4196468 140730660391360 140292636259936 140293175027413 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11689984 140730660398268 140730660398444 140730660398444 140730660401103 0
[pid=7824/tid=7843] ppid=7823 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/7824/task/7843/stat : 7843 (java) S 7823 7823 7411 0 -1 1077944384 106 0 0 0 0 0 0 0 20 0 28 0 3529418 14133010432 645941 33554432000 4194304 4196468 140730660391360 140292635207040 140293175027413 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 11689984 140730660398268 140730660398444 140730660398444 140730660401103 0
[pid=7824/tid=7858] ppid=7823 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/7824/task/7858/stat : 7858 (java) S 7823 7823 7411 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 3529422 14133010432 645941 33554432000 4194304 4196468 140730660391360 140292634155344 140293175035803 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 11689984 140730660398268 140730660398444 140730660398444 140730660401103 0
[pid=7824/tid=7859] ppid=7823 vsize=13801768 CPUtime=5.31 cores=0,2,4,6,8,10,12,14
/proc/7824/task/7859/stat : 7859 (java) S 7823 7823 7411 0 -1 1077944384 16302 0 0 0 528 3 0 0 20 0 28 0 3529422 14133010432 645941 33554432000 4194304 4196468 140730660391360 140292633102704 140293175028354 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11689984 140730660398268 140730660398444 140730660398444 140730660401103 0
[pid=7824/tid=7860] ppid=7823 vsize=13801768 CPUtime=5.48 cores=0,2,4,6,8,10,12,14
/proc/7824/task/7860/stat : 7860 (java) S 7823 7823 7411 0 -1 1077944384 14177 0 0 0 546 2 0 0 20 0 28 0 3529422 14133010432 645941 33554432000 4194304 4196468 140730660391360 140292632049904 140293175028354 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 11689984 140730660398268 140730660398444 140730660398444 140730660401103 0
[pid=7824/tid=7861] ppid=7823 vsize=13801768 CPUtime=5.79 cores=0,2,4,6,8,10,12,14
/proc/7824/task/7861/stat : 7861 (java) S 7823 7823 7411 0 -1 1077944384 16328 0 0 0 577 2 0 0 20 0 28 0 3529422 14133010432 645941 33554432000 4194304 4196468 140730660391360 140292630997104 140293175028354 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 11689984 140730660398268 140730660398444 140730660398444 140730660401103 0
[pid=7824/tid=7862] ppid=7823 vsize=13801768 CPUtime=1.41 cores=0,2,4,6,8,10,12,14
/proc/7824/task/7862/stat : 7862 (java) S 7823 7823 7411 0 -1 1077944384 10426 0 0 0 139 2 0 0 20 0 28 0 3529422 14133010432 645941 33554432000 4194304 4196468 140730660391360 140292629944304 140293175028354 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11689984 140730660398268 140730660398444 140730660398444 140730660401103 0
[pid=7824/tid=7863] ppid=7823 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/7824/task/7863/stat : 7863 (java) S 7823 7823 7411 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 3529423 14133010432 645941 33554432000 4194304 4196468 140730660391360 140292628892768 140293175027413 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 11689984 140730660398268 140730660398444 140730660398444 140730660401103 0
[pid=7824/tid=7865] ppid=7823 vsize=13801768 CPUtime=0.11 cores=0,2,4,6,8,10,12,14
/proc/7824/task/7865/stat : 7865 (java) S 7823 7823 7411 0 -1 1077944384 785 0 0 0 6 5 0 0 20 0 28 0 3529423 14133010432 645941 33554432000 4194304 4196468 140730660391360 140292627840048 140293175028354 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 11689984 140730660398268 140730660398444 140730660398444 140730660401103 0
[pid=7824/tid=7883] ppid=7823 vsize=13801768 CPUtime=275.33 cores=0,2,4,6,8,10,12,14
/proc/7824/task/7883/stat : 7883 (java) R 7823 7823 7411 0 -1 4202560 3191 0 0 0 27524 9 0 0 20 0 28 0 3529551 14133010432 645941 33554432000 4194304 4196468 140730660391360 140292485176424 140292786952052 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 11689984 140730660398268 140730660398444 140730660398444 140730660401103 0
[pid=7824/tid=7884] ppid=7823 vsize=13801768 CPUtime=277.4 cores=0,2,4,6,8,10,12,14
/proc/7824/task/7884/stat : 7884 (java) R 7823 7823 7411 0 -1 4202560 1372 0 0 0 27738 2 0 0 20 0 28 0 3529551 14133010432 645941 33554432000 4194304 4196468 140730660391360 140292484124104 140292782276528 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 11689984 140730660398268 140730660398444 140730660398444 140730660401103 0
[pid=7824/tid=7885] ppid=7823 vsize=13801768 CPUtime=276.39 cores=0,2,4,6,8,10,12,14
/proc/7824/task/7885/stat : 7885 (java) R 7823 7823 7411 0 -1 4202560 2991 0 0 0 27629 10 0 0 20 0 28 0 3529551 14133010432 645941 33554432000 4194304 4196468 140730660391360 140292483071720 140292778075027 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 11689984 140730660398268 140730660398444 140730660398444 140730660401103 0
[pid=7824/tid=7886] ppid=7823 vsize=13801768 CPUtime=276.31 cores=0,2,4,6,8,10,12,14
/proc/7824/task/7886/stat : 7886 (java) R 7823 7823 7411 0 -1 4202560 3244 0 0 0 27625 6 0 0 20 0 28 0 3529551 14133010432 645941 33554432000 4194304 4196468 140730660391360 140292482018784 140292786951999 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 11689984 140730660398268 140730660398444 140730660398444 140730660401103 0
[pid=7824/tid=7887] ppid=7823 vsize=13801768 CPUtime=277.73 cores=0,2,4,6,8,10,12,14
/proc/7824/task/7887/stat : 7887 (java) R 7823 7823 7411 0 -1 4202560 2423 0 0 0 27769 4 0 0 20 0 28 0 3529551 14133010432 645941 33554432000 4194304 4196468 140730660391360 140292480966232 140292786951755 0 4 0 16800975 0 0 0 -1 14 0 0 0 0 0 6293624 6294260 11689984 140730660398268 140730660398444 140730660398444 140730660401103 0
[pid=7824/tid=7888] ppid=7823 vsize=13801768 CPUtime=277.73 cores=0,2,4,6,8,10,12,14
/proc/7824/task/7888/stat : 7888 (java) R 7823 7823 7411 0 -1 4202560 1144 0 0 0 27771 2 0 0 20 0 28 0 3529551 14133010432 645941 33554432000 4194304 4196468 140730660391360 140292479913288 140292786764448 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 11689984 140730660398268 140730660398444 140730660398444 140730660401103 0
[pid=7824/tid=7889] ppid=7823 vsize=13801768 CPUtime=277.2 cores=0,2,4,6,8,10,12,14
/proc/7824/task/7889/stat : 7889 (java) R 7823 7823 7411 0 -1 4202560 831 0 0 0 27720 0 0 0 20 0 28 0 3529551 14133010432 645941 33554432000 4194304 4196468 140730660391360 140292478861592 140292783904568 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 11689984 140730660398268 140730660398444 140730660398444 140730660401103 0
[pid=7824/tid=7890] ppid=7823 vsize=13801768 CPUtime=274.89 cores=0,2,4,6,8,10,12,14
/proc/7824/task/7890/stat : 7890 (java) R 7823 7823 7411 0 -1 4202560 1564 0 0 0 27487 2 0 0 20 0 28 0 3529551 14133010432 645941 33554432000 4194304 4196468 140730660391360 140292477808792 140292778075149 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 11689984 140730660398268 140730660398444 140730660398444 140730660401103 0
Current children cumulated CPU time (s) 2239.9
Current children cumulated vsize (KiB) 13811280



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+302.401 s]
/proc/loadavg: 15.49 14.79 10.20 17/300 7902
/proc/meminfo: memFree=29193436/32770624 swapFree=5860/231852
[pid=7823] ppid=7820 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/7823/stat : 7823 (xcsp3-exec) S 7820 7823 7411 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 3529413 9740288 345 33554432000 4194304 5098028 140731008801808 140731008799912 140507781534332 0 65536 4100 65538 18446744071579417331 0 0 17 8 0 0 0 0 0 7196144 7232144 23695360 140731008808078 140731008808288 140731008808288 140731008810987 0
/proc/7823/statm: 2378 345 289 221 0 87 0
[pid=7824] ppid=7823 vsize=13801768 CPUtime=2400.06 cores=0,2,4,6,8,10,12,14
/proc/7824/stat : 7824 (java) S 7823 7823 7411 0 -1 1077944320 104253 0 1 0 239689 317 0 0 20 0 28 0 3529413 14133010432 645941 33554432000 4194304 4196468 140730660391360 140730660373904 140293175017207 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 11689984 140730660398268 140730660398444 140730660398444 140730660401103 0
/proc/7824/statm: 3450442 645941 3295 1 0 3437675 0
[pid=7824/tid=7825] ppid=7823 vsize=13801768 CPUtime=1.27 cores=0,2,4,6,8,10,12,14
/proc/7824/task/7825/stat : 7825 (java) S 7823 7823 7411 0 -1 1077944384 8290 0 1 0 123 4 0 0 20 0 28 0 3529414 14133010432 645941 33554432000 4194304 4196468 140730660391360 140293179257984 140293175027413 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 2 0 0 6293624 6294260 11689984 140730660398268 140730660398444 140730660398444 140730660401103 0
[pid=7824/tid=7827] ppid=7823 vsize=13801768 CPUtime=0.86 cores=0,2,4,6,8,10,12,14
/proc/7824/task/7827/stat : 7827 (java) S 7823 7823 7411 0 -1 1077944384 3700 0 0 0 56 30 0 0 20 0 28 0 3529415 14133010432 645941 33554432000 4194304 4196468 140730660391360 140292774685840 140293175027413 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 11689984 140730660398268 140730660398444 140730660398444 140730660401103 0
[pid=7824/tid=7828] ppid=7823 vsize=13801768 CPUtime=0.86 cores=0,2,4,6,8,10,12,14
/proc/7824/task/7828/stat : 7828 (java) S 7823 7823 7411 0 -1 1077944384 881 0 0 0 56 30 0 0 20 0 28 0 3529415 14133010432 645941 33554432000 4194304 4196468 140730660391360 140292773633040 140293175027413 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11689984 140730660398268 140730660398444 140730660398444 140730660401103 0
[pid=7824/tid=7829] ppid=7823 vsize=13801768 CPUtime=0.87 cores=0,2,4,6,8,10,12,14
/proc/7824/task/7829/stat : 7829 (java) S 7823 7823 7411 0 -1 1077944384 721 0 0 0 57 30 0 0 20 0 28 0 3529415 14133010432 645941 33554432000 4194304 4196468 140730660391360 140292772580240 140293175027413 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11689984 140730660398268 140730660398444 140730660398444 140730660401103 0
[pid=7824/tid=7830] ppid=7823 vsize=13801768 CPUtime=0.88 cores=0,2,4,6,8,10,12,14
/proc/7824/task/7830/stat : 7830 (java) S 7823 7823 7411 0 -1 1077944384 1235 0 0 0 57 31 0 0 20 0 28 0 3529415 14133010432 645941 33554432000 4194304 4196468 140730660391360 140292771527440 140293175027413 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11689984 140730660398268 140730660398444 140730660398444 140730660401103 0
[pid=7824/tid=7831] ppid=7823 vsize=13801768 CPUtime=0.86 cores=0,2,4,6,8,10,12,14
/proc/7824/task/7831/stat : 7831 (java) S 7823 7823 7411 0 -1 1077944384 2047 0 0 0 57 29 0 0 20 0 28 0 3529415 14133010432 645941 33554432000 4194304 4196468 140730660391360 140292770474640 140293175027413 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 11689984 140730660398268 140730660398444 140730660398444 140730660401103 0
[pid=7824/tid=7832] ppid=7823 vsize=13801768 CPUtime=0.89 cores=0,2,4,6,8,10,12,14
/proc/7824/task/7832/stat : 7832 (java) S 7823 7823 7411 0 -1 1077944384 1245 0 0 0 59 30 0 0 20 0 28 0 3529415 14133010432 645941 33554432000 4194304 4196468 140730660391360 140292769421840 140293175027413 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 11689984 140730660398268 140730660398444 140730660398444 140730660401103 0
[pid=7824/tid=7833] ppid=7823 vsize=13801768 CPUtime=0.9 cores=0,2,4,6,8,10,12,14
/proc/7824/task/7833/stat : 7833 (java) S 7823 7823 7411 0 -1 1077944384 634 0 0 0 57 33 0 0 20 0 28 0 3529415 14133010432 645941 33554432000 4194304 4196468 140730660391360 140292768369040 140293175027413 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11689984 140730660398268 140730660398444 140730660398444 140730660401103 0
[pid=7824/tid=7834] ppid=7823 vsize=13801768 CPUtime=0.85 cores=0,2,4,6,8,10,12,14
/proc/7824/task/7834/stat : 7834 (java) S 7823 7823 7411 0 -1 1077944384 682 0 0 0 54 31 0 0 20 0 28 0 3529415 14133010432 645941 33554432000 4194304 4196468 140730660391360 140292767316240 140293175027413 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11689984 140730660398268 140730660398444 140730660398444 140730660401103 0
[pid=7824/tid=7839] ppid=7823 vsize=13801768 CPUtime=0.36 cores=0,2,4,6,8,10,12,14
/proc/7824/task/7839/stat : 7839 (java) S 7823 7823 7411 0 -1 1077944384 7714 0 0 0 27 9 0 0 20 0 28 0 3529417 14133010432 645941 33554432000 4194304 4196468 140730660391360 140292637313904 140293175028354 0 0 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 11689984 140730660398268 140730660398444 140730660398444 140730660401103 0
[pid=7824/tid=7841] ppid=7823 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/7824/task/7841/stat : 7841 (java) S 7823 7823 7411 0 -1 1077944384 68 0 0 0 0 0 0 0 20 0 28 0 3529418 14133010432 645941 33554432000 4194304 4196468 140730660391360 140292636259936 140293175027413 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11689984 140730660398268 140730660398444 140730660398444 140730660401103 0
[pid=7824/tid=7843] ppid=7823 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/7824/task/7843/stat : 7843 (java) S 7823 7823 7411 0 -1 1077944384 106 0 0 0 0 0 0 0 20 0 28 0 3529418 14133010432 645941 33554432000 4194304 4196468 140730660391360 140292635207040 140293175027413 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 11689984 140730660398268 140730660398444 140730660398444 140730660401103 0
[pid=7824/tid=7858] ppid=7823 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/7824/task/7858/stat : 7858 (java) S 7823 7823 7411 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 3529422 14133010432 645941 33554432000 4194304 4196468 140730660391360 140292634155344 140293175035803 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 11689984 140730660398268 140730660398444 140730660398444 140730660401103 0
[pid=7824/tid=7859] ppid=7823 vsize=13801768 CPUtime=5.31 cores=0,2,4,6,8,10,12,14
/proc/7824/task/7859/stat : 7859 (java) S 7823 7823 7411 0 -1 1077944384 16302 0 0 0 528 3 0 0 20 0 28 0 3529422 14133010432 645941 33554432000 4194304 4196468 140730660391360 140292633102704 140293175028354 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11689984 140730660398268 140730660398444 140730660398444 140730660401103 0
[pid=7824/tid=7860] ppid=7823 vsize=13801768 CPUtime=5.48 cores=0,2,4,6,8,10,12,14
/proc/7824/task/7860/stat : 7860 (java) S 7823 7823 7411 0 -1 1077944384 14177 0 0 0 546 2 0 0 20 0 28 0 3529422 14133010432 645941 33554432000 4194304 4196468 140730660391360 140292632049904 140293175028354 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 11689984 140730660398268 140730660398444 140730660398444 140730660401103 0
[pid=7824/tid=7861] ppid=7823 vsize=13801768 CPUtime=5.79 cores=0,2,4,6,8,10,12,14
/proc/7824/task/7861/stat : 7861 (java) S 7823 7823 7411 0 -1 1077944384 16328 0 0 0 577 2 0 0 20 0 28 0 3529422 14133010432 645941 33554432000 4194304 4196468 140730660391360 140292630997104 140293175028354 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 11689984 140730660398268 140730660398444 140730660398444 140730660401103 0
[pid=7824/tid=7862] ppid=7823 vsize=13801768 CPUtime=1.41 cores=0,2,4,6,8,10,12,14
/proc/7824/task/7862/stat : 7862 (java) S 7823 7823 7411 0 -1 1077944384 10426 0 0 0 139 2 0 0 20 0 28 0 3529422 14133010432 645941 33554432000 4194304 4196468 140730660391360 140292629944304 140293175028354 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11689984 140730660398268 140730660398444 140730660398444 140730660401103 0
[pid=7824/tid=7863] ppid=7823 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/7824/task/7863/stat : 7863 (java) S 7823 7823 7411 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 3529423 14133010432 645941 33554432000 4194304 4196468 140730660391360 140292628892768 140293175027413 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 11689984 140730660398268 140730660398444 140730660398444 140730660401103 0
[pid=7824/tid=7865] ppid=7823 vsize=13801768 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/7824/task/7865/stat : 7865 (java) S 7823 7823 7411 0 -1 1077944384 785 0 0 0 7 5 0 0 20 0 28 0 3529423 14133010432 645941 33554432000 4194304 4196468 140730660391360 140292627840048 140293175028354 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 11689984 140730660398268 140730660398444 140730660398444 140730660401103 0
[pid=7824/tid=7883] ppid=7823 vsize=13801768 CPUtime=295.19 cores=0,2,4,6,8,10,12,14
/proc/7824/task/7883/stat : 7883 (java) R 7823 7823 7411 0 -1 4202560 3230 0 0 0 29510 9 0 0 20 0 28 0 3529551 14133010432 645941 33554432000 4194304 4196468 140730660391360 140292485176424 140292785374968 0 4 0 16800975 0 0 0 -1 14 0 0 0 0 0 6293624 6294260 11689984 140730660398268 140730660398444 140730660398444 140730660401103 0
[pid=7824/tid=7884] ppid=7823 vsize=13801768 CPUtime=297.46 cores=0,2,4,6,8,10,12,14
/proc/7824/task/7884/stat : 7884 (java) R 7823 7823 7411 0 -1 4202560 1377 0 0 0 29744 2 0 0 20 0 28 0 3529551 14133010432 645941 33554432000 4194304 4196468 140730660391360 140292484124104 140292778075109 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 11689984 140730660398268 140730660398444 140730660398444 140730660401103 0
[pid=7824/tid=7885] ppid=7823 vsize=13801768 CPUtime=296.47 cores=0,2,4,6,8,10,12,14
/proc/7824/task/7885/stat : 7885 (java) R 7823 7823 7411 0 -1 4202560 3302 0 0 0 29637 10 0 0 20 0 28 0 3529551 14133010432 645941 33554432000 4194304 4196468 140730660391360 140292483071720 140292786951963 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 11689984 140730660398268 140730660398444 140730660398444 140730660401103 0
[pid=7824/tid=7886] ppid=7823 vsize=13801768 CPUtime=296.39 cores=0,2,4,6,8,10,12,14
/proc/7824/task/7886/stat : 7886 (java) R 7823 7823 7411 0 -1 4202560 3418 0 0 0 29633 6 0 0 20 0 28 0 3529551 14133010432 645941 33554432000 4194304 4196468 140730660391360 140292482018784 140292786951969 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 11689984 140730660398268 140730660398444 140730660398444 140730660401103 0
[pid=7824/tid=7887] ppid=7823 vsize=13801768 CPUtime=297.56 cores=0,2,4,6,8,10,12,14
/proc/7824/task/7887/stat : 7887 (java) R 7823 7823 7411 0 -1 4202560 2787 0 0 0 29752 4 0 0 20 0 28 0 3529551 14133010432 645941 33554432000 4194304 4196468 140730660391360 140292480966232 140292783281970 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 11689984 140730660398268 140730660398444 140730660398444 140730660401103 0
[pid=7824/tid=7888] ppid=7823 vsize=13801768 CPUtime=297.81 cores=0,2,4,6,8,10,12,14
/proc/7824/task/7888/stat : 7888 (java) R 7823 7823 7411 0 -1 4202560 1153 0 0 0 29779 2 0 0 20 0 28 0 3529551 14133010432 645941 33554432000 4194304 4196468 140730660391360 140292479913288 140292782069273 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 11689984 140730660398268 140730660398444 140730660398444 140730660401103 0
[pid=7824/tid=7889] ppid=7823 vsize=13801768 CPUtime=297.29 cores=0,2,4,6,8,10,12,14
/proc/7824/task/7889/stat : 7889 (java) R 7823 7823 7411 0 -1 4202560 838 0 0 0 29728 1 0 0 20 0 28 0 3529551 14133010432 645941 33554432000 4194304 4196468 140730660391360 140292478861592 140292782216452 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 11689984 140730660398268 140730660398444 140730660398444 140730660401103 0
[pid=7824/tid=7890] ppid=7823 vsize=13801768 CPUtime=294.97 cores=0,2,4,6,8,10,12,14
/proc/7824/task/7890/stat : 7890 (java) R 7823 7823 7411 0 -1 4202560 1568 0 0 0 29495 2 0 0 20 0 28 0 3529551 14133010432 645941 33554432000 4194304 4196468 140730660391360 140292477808792 140292785631991 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 11689984 140730660398268 140730660398444 140730660398444 140730660401103 0
Current children cumulated CPU time (s) 2400.06
Current children cumulated vsize (KiB) 13811280

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

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

Child ended because it received signal 15 (SIGTERM)

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 7823 and gives
#  childrusage.ru_utime.tv_sec=0
#  childrusage.ru_utime.tv_usec=1994
#  childrusage.ru_stime.tv_sec=0
#  childrusage.ru_stime.tv_usec=1567
# CPU time returned by wait4() is 0.003561
# while last known CPU time is 2400.06
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...

Real time (s): 302.412
CPU time (s): 2400.06
CPU user time (s): 2396.89
CPU system time (s): 3.17
CPU usage (%): 793.638
Max. virtual memory (cumulated for all children) (KiB): 13811280

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.001994
system time used= 0.001567
maximum resident set size= 1384
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 516
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 3
involuntary context switches= 2

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 3.4783 second user time and 4.07302 second system time

The end

Launcher Data 

Begin job on node131 at 2017-07-22 02:17:00
IDJOB=4244326
IDBENCH=115575
IDSOLVER=2626
FILE ID=node131/4244326-1500682620
RUNJOBID= node131-1500682620-7801
PBS_JOBID= 20623041
Free space on /tmp= 62020 MiB

SOLVER NAME= choco-solver 5a
BENCH NAME= XCSP17/Scheduling/Scheduling-fs-taillard/Taillard-fs-100-10-5.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-4244326-1500682620/watcher-4244326-1500682620 -o /tmp/evaluation-result-4244326-1500682620/solver-4244326-1500682620 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node131-1500682620-7801 --watchdog 2560  ./xcsp3-exec -dir HOME -tl 2400 -p 8 -ml 10000 -tdir HOME -seed 2101506297 HOME/instance-4244326-1500682620.xml

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

MD5SUM BENCH= 4d2827b08c954056751687426186d54f
RANDOM SEED=2101506297

node131.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	: 5334.06
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	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 1600.000
cache size	: 8192 KB
physical id	: 0
siblings	: 8
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5334.06
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	: 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	: 5334.06
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	: 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	: 5334.06
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		: 1600.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	: 5334.06
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		: 1600.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	: 5334.06
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	: 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	: 5334.06
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		: 1600.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	: 5334.06
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		: 1733.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:        32009644 kB
MemAvailable:   32033372 kB
Buffers:           43968 kB
Cached:           291644 kB
SwapCached:            0 kB
Active:           139364 kB
Inactive:         246304 kB
Active(anon):      53016 kB
Inactive(anon):     8680 kB
Active(file):      86348 kB
Inactive(file):   237624 kB
Unevictable:        5860 kB
Mlocked:            5860 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:              7904 kB
Writeback:            12 kB
AnonPages:         55492 kB
Mapped:            29472 kB
Shmem:              8844 kB
Slab:              63864 kB
SReclaimable:      31184 kB
SUnreclaim:        32680 kB
KernelStack:        4096 kB
PageTables:         5708 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     309604 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:      2048 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      124288 kB
DirectMap2M:    33421312 kB

Free space on /tmp at the end= 62004 MiB
End job on node131 at 2017-07-22 02:22:02