Trace number 4244717

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)? (TO) 2400.15 303.412

General information on the benchmark

NameColouredQueens/ColouredQueens-m1-s1/
ColouredQueens-12.xml
MD5SUM130c0e53e5c1e074e18659561dd41fce
Bench CategoryCSP (decision 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 variables144
Number of constraints66
Number of domains1
Minimum domain size12
Maximum domain size12
Distribution of domain sizes[{"size":12,"count":144}]
Minimum variable degree3
Maximum variable degree4
Distribution of variable degrees[{"degree":3,"count":4},{"degree":4,"count":140}]
Minimum constraint arity2
Maximum constraint arity12
Distribution of constraint arities[{"arity":2,"count":4},{"arity":3,"count":4},{"arity":4,"count":4},{"arity":5,"count":4},{"arity":6,"count":4},{"arity":7,"count":4},{"arity":8,"count":4},{"arity":9,"count":4},{"arity":10,"count":4},{"arity":11,"count":4},{"arity":12,"count":26}]
Number of extensional constraints0
Number of intensional constraints0
Distribution of constraint types[{"type":"allDifferent","count":66}]
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-4244717-1500684129.xml"  -tl '2400s' -p 8 -x 0
0.00/0.20	c [HOME/instance-4244717-1500684129.xml, -tl, 2400s, -p, 8, -x, 0]
0.00/0.25	c 8 solvers in parallel
0.00/0.32	c parse instance...
0.00/0.64	c solve instance...
2400.15/303.43	s UNKNOWN
2400.15/303.43	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-4244717-1500684129/watcher-4244717-1500684129 -o /tmp/evaluation-result-4244717-1500684129/solver-4244717-1500684129 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node104-1500684128-16797 --watchdog 2560 ./xcsp3-exec -dir HOME -tl 2400 -p 8 -ml 10000 -tdir HOME -seed 26531578 HOME/instance-4244717-1500684129.xml 

pid=16949
running on 8 cores: 1,3,5,7,9,11,13,15

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: 1.36 1.83 2.02 14/274 16952
/proc/meminfo: memFree=31922512/32770624 swapFree=5892/64276
[pid=16952] ppid=16949 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/16952/stat : 16952 (xcsp3-exec) S 16949 16952 15667 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 3682602 9740288 346 33554432000 4194304 5098028 140736219952000 140736219950104 140535648068220 0 65536 4100 65538 18446744071579417331 0 0 17 9 0 0 0 0 0 7196144 7232144 14516224 140736219956368 140736219956576 140736219956576 140736219959275 0
/proc/16952/statm: 2378 346 289 221 0 87 0

[startup+0.100064 s]
/proc/loadavg: 1.36 1.83 2.02 14/274 16952
/proc/meminfo: memFree=31922512/32770624 swapFree=5892/64276
[pid=16952] ppid=16949 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/16952/stat : 16952 (xcsp3-exec) S 16949 16952 15667 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 3682602 9740288 346 33554432000 4194304 5098028 140736219952000 140736219950104 140535648068220 0 65536 4100 65538 18446744071579417331 0 0 17 9 0 0 0 0 0 7196144 7232144 14516224 140736219956368 140736219956576 140736219956576 140736219959275 0
/proc/16952/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512

[startup+0.200262 s]
/proc/loadavg: 1.36 1.83 2.02 14/274 16952
/proc/meminfo: memFree=31922512/32770624 swapFree=5892/64276
[pid=16952] ppid=16949 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/16952/stat : 16952 (xcsp3-exec) S 16949 16952 15667 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 3682602 9740288 346 33554432000 4194304 5098028 140736219952000 140736219950104 140535648068220 0 65536 4100 65538 18446744071579417331 0 0 17 9 0 0 0 0 0 7196144 7232144 14516224 140736219956368 140736219956576 140736219956576 140736219959275 0
/proc/16952/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512

[startup+0.300252 s]
/proc/loadavg: 1.36 1.83 2.02 14/274 16952
/proc/meminfo: memFree=31922512/32770624 swapFree=5892/64276
[pid=16952] ppid=16949 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/16952/stat : 16952 (xcsp3-exec) S 16949 16952 15667 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 3682602 9740288 346 33554432000 4194304 5098028 140736219952000 140736219950104 140535648068220 0 65536 4100 65538 18446744071579417331 0 0 17 9 0 0 0 0 0 7196144 7232144 14516224 140736219956368 140736219956576 140736219956576 140736219959275 0
/proc/16952/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512

[startup+0.700221 s]
/proc/loadavg: 1.36 1.83 2.02 14/274 16952
/proc/meminfo: memFree=31922512/32770624 swapFree=5892/64276
[pid=16952] ppid=16949 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/16952/stat : 16952 (xcsp3-exec) S 16949 16952 15667 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 3682602 9740288 346 33554432000 4194304 5098028 140736219952000 140736219950104 140535648068220 0 65536 4100 65538 18446744071579417331 0 0 17 9 0 0 0 0 0 7196144 7232144 14516224 140736219956368 140736219956576 140736219956576 140736219959275 0
/proc/16952/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512

[startup+1.50144 s]
/proc/loadavg: 1.36 1.83 2.02 22/303 16981
/proc/meminfo: memFree=31769292/32770624 swapFree=5892/64296
[pid=16952] ppid=16949 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/16952/stat : 16952 (xcsp3-exec) S 16949 16952 15667 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 3682602 9740288 346 33554432000 4194304 5098028 140736219952000 140736219950104 140535648068220 0 65536 4100 65538 18446744071579417331 0 0 17 9 0 0 0 0 0 7196144 7232144 14516224 140736219956368 140736219956576 140736219956576 140736219959275 0
/proc/16952/statm: 2378 346 289 221 0 87 0
[pid=16953] ppid=16952 vsize=13801768 CPUtime=7.98 cores=1,3,5,7,9,11,13,15
/proc/16953/stat : 16953 (java) S 16952 16952 15667 0 -1 1077944320 19894 0 0 0 790 8 0 0 20 0 28 0 3682602 14133010432 32537 33554432000 4194304 4196468 140731077905600 140731077888144 140546293931767 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 36171776 140731077907644 140731077907820 140731077907820 140731077910479 0
/proc/16953/statm: 3450442 32537 3222 1 0 3437675 0
[pid=16953/tid=16954] ppid=16952 vsize=13801768 CPUtime=0.62 cores=1,3,5,7,9,11,13,15
/proc/16953/task/16954/stat : 16954 (java) S 16952 16952 15667 0 -1 1077944384 6818 0 0 0 59 3 0 0 20 0 28 0 3682603 14133010432 32537 33554432000 4194304 4196468 140731077905600 140546298172544 140546293941973 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36171776 140731077907644 140731077907820 140731077907820 140731077910479 0
[pid=16953/tid=16956] ppid=16952 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/16953/task/16956/stat : 16956 (java) S 16952 16952 15667 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 28 0 3682604 14133010432 32537 33554432000 4194304 4196468 140731077905600 140546232896528 140546293941973 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 36171776 140731077907644 140731077907820 140731077907820 140731077910479 0
[pid=16953/tid=16957] ppid=16952 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/16953/task/16957/stat : 16957 (java) S 16952 16952 15667 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 3682604 14133010432 32537 33554432000 4194304 4196468 140731077905600 140546231843984 140546293941973 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36171776 140731077907644 140731077907820 140731077907820 140731077910479 0
[pid=16953/tid=16958] ppid=16952 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/16953/task/16958/stat : 16958 (java) S 16952 16952 15667 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 3682604 14133010432 32537 33554432000 4194304 4196468 140731077905600 140546230790928 140546293941973 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 36171776 140731077907644 140731077907820 140731077907820 140731077910479 0
[pid=16953/tid=16959] ppid=16952 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/16953/task/16959/stat : 16959 (java) S 16952 16952 15667 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 3682604 14133010432 32537 33554432000 4194304 4196468 140731077905600 140546229738384 140546293941973 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36171776 140731077907644 140731077907820 140731077907820 140731077910479 0
[pid=16953/tid=16960] ppid=16952 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/16953/task/16960/stat : 16960 (java) S 16952 16952 15667 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 28 0 3682604 14133010432 32537 33554432000 4194304 4196468 140731077905600 140545888836112 140546293941973 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 36171776 140731077907644 140731077907820 140731077907820 140731077910479 0
[pid=16953/tid=16961] ppid=16952 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/16953/task/16961/stat : 16961 (java) S 16952 16952 15667 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 28 0 3682604 14133010432 32537 33554432000 4194304 4196468 140731077905600 140545887783568 140546293941973 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36171776 140731077907644 140731077907820 140731077907820 140731077910479 0
[pid=16953/tid=16962] ppid=16952 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/16953/task/16962/stat : 16962 (java) S 16952 16952 15667 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 3682604 14133010432 32537 33554432000 4194304 4196468 140731077905600 140545886730512 140546293941973 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 36171776 140731077907644 140731077907820 140731077907820 140731077910479 0
[pid=16953/tid=16963] ppid=16952 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/16953/task/16963/stat : 16963 (java) S 16952 16952 15667 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 3682604 14133010432 32537 33554432000 4194304 4196468 140731077905600 140545885677968 140546293941973 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36171776 140731077907644 140731077907820 140731077907820 140731077910479 0
[pid=16953/tid=16964] ppid=16952 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/16953/task/16964/stat : 16964 (java) S 16952 16952 15667 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 28 0 3682606 14133010432 32537 33554432000 4194304 4196468 140731077905600 140545756220144 140546293942914 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36171776 140731077907644 140731077907820 140731077907820 140731077910479 0
[pid=16953/tid=16965] ppid=16952 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/16953/task/16965/stat : 16965 (java) S 16952 16952 15667 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 28 0 3682607 14133010432 32537 33554432000 4194304 4196468 140731077905600 140545755166368 140546293941973 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 36171776 140731077907644 140731077907820 140731077907820 140731077910479 0
[pid=16953/tid=16966] ppid=16952 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/16953/task/16966/stat : 16966 (java) S 16952 16952 15667 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 28 0 3682607 14133010432 32537 33554432000 4194304 4196468 140731077905600 140545754113264 140546293941973 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 36171776 140731077907644 140731077907820 140731077907820 140731077910479 0
[pid=16953/tid=16967] ppid=16952 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/16953/task/16967/stat : 16967 (java) S 16952 16952 15667 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 3682611 14133010432 32537 33554432000 4194304 4196468 140731077905600 140545753061840 140546293950363 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 36171776 140731077907644 140731077907820 140731077907820 140731077910479 0
[pid=16953/tid=16968] ppid=16952 vsize=13801768 CPUtime=0.71 cores=1,3,5,7,9,11,13,15
/proc/16953/task/16968/stat : 16968 (java) R 16952 16952 15667 0 -1 4202560 2584 0 0 0 71 0 0 0 20 0 28 0 3682611 14133010432 32537 33554432000 4194304 4196468 140731077905600 140545751994784 140546273586986 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 36171776 140731077907644 140731077907820 140731077907820 140731077910479 0
[pid=16953/tid=16969] ppid=16952 vsize=13801768 CPUtime=0.59 cores=1,3,5,7,9,11,13,15
/proc/16953/task/16969/stat : 16969 (java) R 16952 16952 15667 0 -1 4202560 3005 0 0 0 59 0 0 0 20 0 28 0 3682611 14133010432 32537 33554432000 4194304 4196468 140731077905600 140545750942304 140546273624867 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 36171776 140731077907644 140731077907820 140731077907820 140731077910479 0
[pid=16953/tid=16970] ppid=16952 vsize=13801768 CPUtime=0.63 cores=1,3,5,7,9,11,13,15
/proc/16953/task/16970/stat : 16970 (java) R 16952 16952 15667 0 -1 4202560 2555 0 0 0 63 0 0 0 20 0 28 0 3682611 14133010432 32537 33554432000 4194304 4196468 140731077905600 140545749888848 140546275475985 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 36171776 140731077907644 140731077907820 140731077907820 140731077910479 0
[pid=16953/tid=16971] ppid=16952 vsize=13801768 CPUtime=0.56 cores=1,3,5,7,9,11,13,15
/proc/16953/task/16971/stat : 16971 (java) S 16952 16952 15667 0 -1 1077944384 2861 0 0 0 55 1 0 0 20 0 28 0 3682611 14133010432 32537 33554432000 4194304 4196468 140731077905600 140545748850800 140546293942914 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 36171776 140731077907644 140731077907820 140731077907820 140731077910479 0
[pid=16953/tid=16972] ppid=16952 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/16953/task/16972/stat : 16972 (java) S 16952 16952 15667 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 3682611 14133010432 32537 33554432000 4194304 4196468 140731077905600 140545747799008 140546293941973 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 36171776 140731077907644 140731077907820 140731077907820 140731077910479 0
[pid=16953/tid=16973] ppid=16952 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/16953/task/16973/stat : 16973 (java) S 16952 16952 15667 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 28 0 3682612 14133010432 32537 33554432000 4194304 4196468 140731077905600 140545746746544 140546293942914 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 36171776 140731077907644 140731077907820 140731077907820 140731077910479 0
[pid=16953/tid=16974] ppid=16952 vsize=13801768 CPUtime=0.6 cores=1,3,5,7,9,11,13,15
/proc/16953/task/16974/stat : 16974 (java) R 16952 16952 15667 0 -1 4202560 114 0 0 0 60 0 0 0 20 0 28 0 3682667 14133010432 32537 33554432000 4194304 4196468 140731077905600 140545738727232 140545913470858 0 4 0 16800975 0 0 0 -1 15 0 0 0 0 0 6293624 6294260 36171776 140731077907644 140731077907820 140731077907820 140731077910479 0
[pid=16953/tid=16975] ppid=16952 vsize=13801768 CPUtime=0.67 cores=1,3,5,7,9,11,13,15
/proc/16953/task/16975/stat : 16975 (java) R 16952 16952 15667 0 -1 4202560 98 0 0 0 67 0 0 0 20 0 28 0 3682667 14133010432 32537 33554432000 4194304 4196468 140731077905600 140545737675168 140545913460368 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 36171776 140731077907644 140731077907820 140731077907820 140731077910479 0
[pid=16953/tid=16976] ppid=16952 vsize=13801768 CPUtime=0.54 cores=1,3,5,7,9,11,13,15
/proc/16953/task/16976/stat : 16976 (java) R 16952 16952 15667 0 -1 4202560 107 0 0 0 54 0 0 0 20 0 28 0 3682667 14133010432 32537 33554432000 4194304 4196468 140731077905600 140545736628072 140545913319239 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 36171776 140731077907644 140731077907820 140731077907820 140731077910479 0
[pid=16953/tid=16977] ppid=16952 vsize=13801768 CPUtime=0.53 cores=1,3,5,7,9,11,13,15
/proc/16953/task/16977/stat : 16977 (java) R 16952 16952 15667 0 -1 4202560 95 0 0 0 53 0 0 0 20 0 28 0 3682667 14133010432 32537 33554432000 4194304 4196468 140731077905600 140545735572992 140545914206562 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 36171776 140731077907644 140731077907820 140731077907820 140731077910479 0
[pid=16953/tid=16978] ppid=16952 vsize=13801768 CPUtime=0.56 cores=1,3,5,7,9,11,13,15
/proc/16953/task/16978/stat : 16978 (java) R 16952 16952 15667 0 -1 4202560 63 0 0 0 56 0 0 0 20 0 28 0 3682667 14133010432 32537 33554432000 4194304 4196468 140731077905600 140545734521016 140545913278610 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 36171776 140731077907644 140731077907820 140731077907820 140731077910479 0
[pid=16953/tid=16979] ppid=16952 vsize=13801768 CPUtime=0.65 cores=1,3,5,7,9,11,13,15
/proc/16953/task/16979/stat : 16979 (java) R 16952 16952 15667 0 -1 4202560 88 0 0 0 65 0 0 0 20 0 28 0 3682667 14133010432 32537 33554432000 4194304 4196468 140731077905600 140545733463968 140545913277499 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 36171776 140731077907644 140731077907820 140731077907820 140731077910479 0
[pid=16953/tid=16980] ppid=16952 vsize=13801768 CPUtime=0.63 cores=1,3,5,7,9,11,13,15
/proc/16953/task/16980/stat : 16980 (java) R 16952 16952 15667 0 -1 4202560 100 0 0 0 63 0 0 0 20 0 28 0 3682667 14133010432 32537 33554432000 4194304 4196468 140731077905600 140545732415360 140545913278713 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 36171776 140731077907644 140731077907820 140731077907820 140731077910479 0
[pid=16953/tid=16981] ppid=16952 vsize=13801768 CPUtime=0.59 cores=1,3,5,7,9,11,13,15
/proc/16953/task/16981/stat : 16981 (java) R 16952 16952 15667 0 -1 4202560 88 0 0 0 59 0 0 0 20 0 28 0 3682667 14133010432 32537 33554432000 4194304 4196468 140731077905600 140545731362360 140545913278773 0 4 0 16800975 0 0 0 -1 15 0 0 0 0 0 6293624 6294260 36171776 140731077907644 140731077907820 140731077907820 140731077910479 0
Current children cumulated CPU time (s) 7.98
Current children cumulated vsize (KiB) 13811280

[startup+3.1015 s]
/proc/loadavg: 2.69 2.10 2.10 20/303 16981
/proc/meminfo: memFree=31700304/32770624 swapFree=5892/64296
[pid=16952] ppid=16949 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/16952/stat : 16952 (xcsp3-exec) S 16949 16952 15667 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 3682602 9740288 346 33554432000 4194304 5098028 140736219952000 140736219950104 140535648068220 0 65536 4100 65538 18446744071579417331 0 0 17 9 0 0 0 0 0 7196144 7232144 14516224 140736219956368 140736219956576 140736219956576 140736219959275 0
/proc/16952/statm: 2378 346 289 221 0 87 0
[pid=16953] ppid=16952 vsize=13801768 CPUtime=20.64 cores=1,3,5,7,9,11,13,15
/proc/16953/stat : 16953 (java) S 16952 16952 15667 0 -1 1077944320 35735 0 0 0 2053 11 0 0 20 0 28 0 3682602 14133010432 41363 33554432000 4194304 4196468 140731077905600 140731077888144 140546293931767 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 36171776 140731077907644 140731077907820 140731077907820 140731077910479 0
/proc/16953/statm: 3450442 41363 3232 1 0 3437675 0
[pid=16953/tid=16954] ppid=16952 vsize=13801768 CPUtime=0.62 cores=1,3,5,7,9,11,13,15
/proc/16953/task/16954/stat : 16954 (java) S 16952 16952 15667 0 -1 1077944384 6818 0 0 0 59 3 0 0 20 0 28 0 3682603 14133010432 41363 33554432000 4194304 4196468 140731077905600 140546298172544 140546293941973 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36171776 140731077907644 140731077907820 140731077907820 140731077910479 0
[pid=16953/tid=16956] ppid=16952 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/16953/task/16956/stat : 16956 (java) S 16952 16952 15667 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 28 0 3682604 14133010432 41363 33554432000 4194304 4196468 140731077905600 140546232896528 140546293941973 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 36171776 140731077907644 140731077907820 140731077907820 140731077910479 0
[pid=16953/tid=16957] ppid=16952 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/16953/task/16957/stat : 16957 (java) S 16952 16952 15667 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 3682604 14133010432 41363 33554432000 4194304 4196468 140731077905600 140546231843984 140546293941973 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36171776 140731077907644 140731077907820 140731077907820 140731077910479 0
[pid=16953/tid=16958] ppid=16952 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/16953/task/16958/stat : 16958 (java) S 16952 16952 15667 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 3682604 14133010432 41363 33554432000 4194304 4196468 140731077905600 140546230790928 140546293941973 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 36171776 140731077907644 140731077907820 140731077907820 140731077910479 0
[pid=16953/tid=16959] ppid=16952 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/16953/task/16959/stat : 16959 (java) S 16952 16952 15667 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 3682604 14133010432 41363 33554432000 4194304 4196468 140731077905600 140546229738384 140546293941973 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36171776 140731077907644 140731077907820 140731077907820 140731077910479 0
[pid=16953/tid=16960] ppid=16952 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/16953/task/16960/stat : 16960 (java) S 16952 16952 15667 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 28 0 3682604 14133010432 41363 33554432000 4194304 4196468 140731077905600 140545888836112 140546293941973 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 36171776 140731077907644 140731077907820 140731077907820 140731077910479 0
[pid=16953/tid=16961] ppid=16952 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/16953/task/16961/stat : 16961 (java) S 16952 16952 15667 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 28 0 3682604 14133010432 41363 33554432000 4194304 4196468 140731077905600 140545887783568 140546293941973 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36171776 140731077907644 140731077907820 140731077907820 140731077910479 0
[pid=16953/tid=16962] ppid=16952 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/16953/task/16962/stat : 16962 (java) S 16952 16952 15667 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 3682604 14133010432 41363 33554432000 4194304 4196468 140731077905600 140545886730512 140546293941973 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 36171776 140731077907644 140731077907820 140731077907820 140731077910479 0
[pid=16953/tid=16963] ppid=16952 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/16953/task/16963/stat : 16963 (java) S 16952 16952 15667 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 3682604 14133010432 41363 33554432000 4194304 4196468 140731077905600 140545885677968 140546293941973 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36171776 140731077907644 140731077907820 140731077907820 140731077910479 0
[pid=16953/tid=16964] ppid=16952 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/16953/task/16964/stat : 16964 (java) S 16952 16952 15667 0 -1 1077944384 26 0 0 0 0 0 0 0 20 0 28 0 3682606 14133010432 41363 33554432000 4194304 4196468 140731077905600 140545756220144 140546293942914 0 0 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 36171776 140731077907644 140731077907820 140731077907820 140731077910479 0
[pid=16953/tid=16965] ppid=16952 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/16953/task/16965/stat : 16965 (java) S 16952 16952 15667 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 28 0 3682607 14133010432 41363 33554432000 4194304 4196468 140731077905600 140545755166368 140546293941973 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 36171776 140731077907644 140731077907820 140731077907820 140731077910479 0
[pid=16953/tid=16966] ppid=16952 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/16953/task/16966/stat : 16966 (java) S 16952 16952 15667 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 28 0 3682607 14133010432 41363 33554432000 4194304 4196468 140731077905600 140545754113264 140546293941973 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 36171776 140731077907644 140731077907820 140731077907820 140731077910479 0
[pid=16953/tid=16967] ppid=16952 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/16953/task/16967/stat : 16967 (java) S 16952 16952 15667 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 3682611 14133010432 41363 33554432000 4194304 4196468 140731077905600 140545753061840 140546293950363 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 36171776 140731077907644 140731077907820 140731077907820 140731077910479 0
[pid=16953/tid=16968] ppid=16952 vsize=13801768 CPUtime=1.65 cores=1,3,5,7,9,11,13,15
/proc/16953/task/16968/stat : 16968 (java) R 16952 16952 15667 0 -1 4202560 5324 0 0 0 164 1 0 0 20 0 28 0 3682611 14133010432 41363 33554432000 4194304 4196468 140731077905600 140545751994968 140546275475967 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 36171776 140731077907644 140731077907820 140731077907820 140731077910479 0
[pid=16953/tid=16969] ppid=16952 vsize=13801768 CPUtime=1.67 cores=1,3,5,7,9,11,13,15
/proc/16953/task/16969/stat : 16969 (java) S 16952 16952 15667 0 -1 1077944384 13060 0 0 0 166 1 0 0 20 0 28 0 3682611 14133010432 41363 33554432000 4194304 4196468 140731077905600 140545750956400 140546293942914 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 36171776 140731077907644 140731077907820 140731077907820 140731077910479 0
[pid=16953/tid=16970] ppid=16952 vsize=13801768 CPUtime=1.7 cores=1,3,5,7,9,11,13,15
/proc/16953/task/16970/stat : 16970 (java) S 16952 16952 15667 0 -1 1077944384 4342 0 0 0 169 1 0 0 20 0 28 0 3682611 14133010432 41363 33554432000 4194304 4196468 140731077905600 140545749903344 140546293942914 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36171776 140731077907644 140731077907820 140731077907820 140731077910479 0
[pid=16953/tid=16971] ppid=16952 vsize=13801768 CPUtime=0.67 cores=1,3,5,7,9,11,13,15
/proc/16953/task/16971/stat : 16971 (java) S 16952 16952 15667 0 -1 1077944384 3534 0 0 0 66 1 0 0 20 0 28 0 3682611 14133010432 41363 33554432000 4194304 4196468 140731077905600 140545748850800 140546293942914 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 36171776 140731077907644 140731077907820 140731077907820 140731077910479 0
[pid=16953/tid=16972] ppid=16952 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/16953/task/16972/stat : 16972 (java) S 16952 16952 15667 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 3682611 14133010432 41363 33554432000 4194304 4196468 140731077905600 140545747799008 140546293941973 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 36171776 140731077907644 140731077907820 140731077907820 140731077910479 0
[pid=16953/tid=16973] ppid=16952 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/16953/task/16973/stat : 16973 (java) S 16952 16952 15667 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 28 0 3682612 14133010432 41363 33554432000 4194304 4196468 140731077905600 140545746746544 140546293942914 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 36171776 140731077907644 140731077907820 140731077907820 140731077910479 0
[pid=16953/tid=16974] ppid=16952 vsize=13801768 CPUtime=1.78 cores=1,3,5,7,9,11,13,15
/proc/16953/task/16974/stat : 16974 (java) R 16952 16952 15667 0 -1 4202560 165 0 0 0 178 0 0 0 20 0 28 0 3682667 14133010432 41363 33554432000 4194304 4196468 140731077905600 140545738731208 140545913527072 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 36171776 140731077907644 140731077907820 140731077907820 140731077910479 0
[pid=16953/tid=16975] ppid=16952 vsize=13801768 CPUtime=1.87 cores=1,3,5,7,9,11,13,15
/proc/16953/task/16975/stat : 16975 (java) R 16952 16952 15667 0 -1 4202560 152 0 0 0 187 0 0 0 20 0 28 0 3682667 14133010432 41363 33554432000 4194304 4196468 140731077905600 140545737679320 140545913789687 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 36171776 140731077907644 140731077907820 140731077907820 140731077910479 0
[pid=16953/tid=16976] ppid=16952 vsize=13801768 CPUtime=1.63 cores=1,3,5,7,9,11,13,15
/proc/16953/task/16976/stat : 16976 (java) R 16952 16952 15667 0 -1 4202560 191 0 0 0 163 0 0 0 20 0 28 0 3682667 14133010432 41363 33554432000 4194304 4196468 140731077905600 140545736628152 140545914667047 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 36171776 140731077907644 140731077907820 140731077907820 140731077910479 0
[pid=16953/tid=16977] ppid=16952 vsize=13801768 CPUtime=1.81 cores=1,3,5,7,9,11,13,15
/proc/16953/task/16977/stat : 16977 (java) R 16952 16952 15667 0 -1 4202560 181 0 0 0 181 0 0 0 20 0 28 0 3682667 14133010432 41363 33554432000 4194304 4196468 140731077905600 140545735573864 140545914027303 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 36171776 140731077907644 140731077907820 140731077907820 140731077910479 0
[pid=16953/tid=16978] ppid=16952 vsize=13801768 CPUtime=1.69 cores=1,3,5,7,9,11,13,15
/proc/16953/task/16978/stat : 16978 (java) R 16952 16952 15667 0 -1 4202560 113 0 0 0 169 0 0 0 20 0 28 0 3682667 14133010432 41363 33554432000 4194304 4196468 140731077905600 140545734520744 140545915104813 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 36171776 140731077907644 140731077907820 140731077907820 140731077910479 0
[pid=16953/tid=16979] ppid=16952 vsize=13801768 CPUtime=1.81 cores=1,3,5,7,9,11,13,15
/proc/16953/task/16979/stat : 16979 (java) R 16952 16952 15667 0 -1 4202560 166 0 0 0 181 0 0 0 20 0 28 0 3682667 14133010432 41363 33554432000 4194304 4196468 140731077905600 140545733468408 140545914550164 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 36171776 140731077907644 140731077907820 140731077907820 140731077910479 0
[pid=16953/tid=16980] ppid=16952 vsize=13801768 CPUtime=1.92 cores=1,3,5,7,9,11,13,15
/proc/16953/task/16980/stat : 16980 (java) R 16952 16952 15667 0 -1 4202560 167 0 0 0 192 0 0 0 20 0 28 0 3682667 14133010432 41363 33554432000 4194304 4196468 140731077905600 140545732417208 140545914285114 0 4 0 16800975 0 0 0 -1 15 0 0 0 0 0 6293624 6294260 36171776 140731077907644 140731077907820 140731077907820 140731077910479 0
[pid=16953/tid=16981] ppid=16952 vsize=13801768 CPUtime=1.7 cores=1,3,5,7,9,11,13,15
/proc/16953/task/16981/stat : 16981 (java) R 16952 16952 15667 0 -1 4202560 179 0 0 0 170 0 0 0 20 0 28 0 3682667 14133010432 41363 33554432000 4194304 4196468 140731077905600 140545731364016 140546274774732 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 36171776 140731077907644 140731077907820 140731077907820 140731077910479 0
Current children cumulated CPU time (s) 20.64
Current children cumulated vsize (KiB) 13811280

[startup+6.30156 s]
/proc/loadavg: 2.69 2.10 2.10 17/303 16981
/proc/meminfo: memFree=31612656/32770624 swapFree=5892/64308

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

[pid=16953/tid=16980] ppid=16952 vsize=13801768 CPUtime=217.1 cores=1,3,5,7,9,11,13,15
/proc/16953/task/16980/stat : 16980 (java) R 16952 16952 15667 0 -1 4202560 794 0 0 0 21710 0 0 0 20 0 28 0 3682667 14133010432 96302 33554432000 4194304 4196468 140731077905600 140545732416024 140545914631824 0 4 0 16800975 0 0 0 -1 15 0 0 0 0 0 6293624 6294260 36171776 140731077907644 140731077907820 140731077907820 140731077910479 0
[pid=16953/tid=16981] ppid=16952 vsize=13801768 CPUtime=218.47 cores=1,3,5,7,9,11,13,15
/proc/16953/task/16981/stat : 16981 (java) R 16952 16952 15667 0 -1 4202560 1006 0 0 0 21846 1 0 0 20 0 28 0 3682667 14133010432 96302 33554432000 4194304 4196468 140731077905600 140545731363208 140545913789313 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 36171776 140731077907644 140731077907820 140731077907820 140731077910479 0
Current children cumulated CPU time (s) 1758.52
Current children cumulated vsize (KiB) 13811280

[startup+282.302 s]
/proc/loadavg: 16.04 10.60 5.74 17/303 16985
/proc/meminfo: memFree=31518044/32770624 swapFree=5892/64544
[pid=16952] ppid=16949 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/16952/stat : 16952 (xcsp3-exec) S 16949 16952 15667 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 3682602 9740288 346 33554432000 4194304 5098028 140736219952000 140736219950104 140535648068220 0 65536 4100 65538 18446744071579417331 0 0 17 9 0 0 0 0 0 7196144 7232144 14516224 140736219956368 140736219956576 140736219956576 140736219959275 0
/proc/16952/statm: 2378 346 289 221 0 87 0
[pid=16953] ppid=16952 vsize=13801768 CPUtime=2233.37 cores=1,3,5,7,9,11,13,15
/proc/16953/stat : 16953 (java) S 16952 16952 15667 0 -1 1077944320 73157 0 0 0 223164 173 0 0 20 0 28 0 3682602 14133010432 80735 33554432000 4194304 4196468 140731077905600 140731077888144 140546293931767 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 36171776 140731077907644 140731077907820 140731077907820 140731077910479 0
/proc/16953/statm: 3450442 80735 3277 1 0 3437675 0
[pid=16953/tid=16954] ppid=16952 vsize=13801768 CPUtime=0.62 cores=1,3,5,7,9,11,13,15
/proc/16953/task/16954/stat : 16954 (java) S 16952 16952 15667 0 -1 1077944384 6818 0 0 0 59 3 0 0 20 0 28 0 3682603 14133010432 80735 33554432000 4194304 4196468 140731077905600 140546298172544 140546293941973 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36171776 140731077907644 140731077907820 140731077907820 140731077910479 0
[pid=16953/tid=16956] ppid=16952 vsize=13801768 CPUtime=0.63 cores=1,3,5,7,9,11,13,15
/proc/16953/task/16956/stat : 16956 (java) S 16952 16952 15667 0 -1 1077944384 618 0 0 0 52 11 0 0 20 0 28 0 3682604 14133010432 80735 33554432000 4194304 4196468 140731077905600 140546232896528 140546293941973 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 36171776 140731077907644 140731077907820 140731077907820 140731077910479 0
[pid=16953/tid=16957] ppid=16952 vsize=13801768 CPUtime=0.63 cores=1,3,5,7,9,11,13,15
/proc/16953/task/16957/stat : 16957 (java) S 16952 16952 15667 0 -1 1077944384 2058 0 0 0 52 11 0 0 20 0 28 0 3682604 14133010432 80735 33554432000 4194304 4196468 140731077905600 140546231843984 140546293941973 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36171776 140731077907644 140731077907820 140731077907820 140731077910479 0
[pid=16953/tid=16958] ppid=16952 vsize=13801768 CPUtime=0.64 cores=1,3,5,7,9,11,13,15
/proc/16953/task/16958/stat : 16958 (java) S 16952 16952 15667 0 -1 1077944384 1255 0 0 0 53 11 0 0 20 0 28 0 3682604 14133010432 80735 33554432000 4194304 4196468 140731077905600 140546230790928 140546293941973 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 36171776 140731077907644 140731077907820 140731077907820 140731077910479 0
[pid=16953/tid=16959] ppid=16952 vsize=13801768 CPUtime=0.63 cores=1,3,5,7,9,11,13,15
/proc/16953/task/16959/stat : 16959 (java) S 16952 16952 15667 0 -1 1077944384 674 0 0 0 51 12 0 0 20 0 28 0 3682604 14133010432 80735 33554432000 4194304 4196468 140731077905600 140546229738384 140546293941973 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36171776 140731077907644 140731077907820 140731077907820 140731077910479 0
[pid=16953/tid=16960] ppid=16952 vsize=13801768 CPUtime=0.62 cores=1,3,5,7,9,11,13,15
/proc/16953/task/16960/stat : 16960 (java) S 16952 16952 15667 0 -1 1077944384 512 0 0 0 50 12 0 0 20 0 28 0 3682604 14133010432 80735 33554432000 4194304 4196468 140731077905600 140545888836112 140546293941973 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 36171776 140731077907644 140731077907820 140731077907820 140731077910479 0
[pid=16953/tid=16961] ppid=16952 vsize=13801768 CPUtime=0.63 cores=1,3,5,7,9,11,13,15
/proc/16953/task/16961/stat : 16961 (java) S 16952 16952 15667 0 -1 1077944384 1237 0 0 0 52 11 0 0 20 0 28 0 3682604 14133010432 80735 33554432000 4194304 4196468 140731077905600 140545887783568 140546293941973 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36171776 140731077907644 140731077907820 140731077907820 140731077910479 0
[pid=16953/tid=16962] ppid=16952 vsize=13801768 CPUtime=0.62 cores=1,3,5,7,9,11,13,15
/proc/16953/task/16962/stat : 16962 (java) S 16952 16952 15667 0 -1 1077944384 1550 0 0 0 51 11 0 0 20 0 28 0 3682604 14133010432 80735 33554432000 4194304 4196468 140731077905600 140545886730512 140546293941973 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36171776 140731077907644 140731077907820 140731077907820 140731077910479 0
[pid=16953/tid=16963] ppid=16952 vsize=13801768 CPUtime=0.64 cores=1,3,5,7,9,11,13,15
/proc/16953/task/16963/stat : 16963 (java) S 16952 16952 15667 0 -1 1077944384 1174 0 0 0 52 12 0 0 20 0 28 0 3682604 14133010432 80735 33554432000 4194304 4196468 140731077905600 140545885677968 140546293941973 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 36171776 140731077907644 140731077907820 140731077907820 140731077910479 0
[pid=16953/tid=16964] ppid=16952 vsize=13801768 CPUtime=1.04 cores=1,3,5,7,9,11,13,15
/proc/16953/task/16964/stat : 16964 (java) S 16952 16952 15667 0 -1 1077944384 4875 0 0 0 50 54 0 0 20 0 28 0 3682606 14133010432 80735 33554432000 4194304 4196468 140731077905600 140545756220144 140546293942914 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36171776 140731077907644 140731077907820 140731077907820 140731077910479 0
[pid=16953/tid=16965] ppid=16952 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/16953/task/16965/stat : 16965 (java) S 16952 16952 15667 0 -1 1077944384 63 0 0 0 0 0 0 0 20 0 28 0 3682607 14133010432 80735 33554432000 4194304 4196468 140731077905600 140545755166368 140546293941973 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 36171776 140731077907644 140731077907820 140731077907820 140731077910479 0
[pid=16953/tid=16966] ppid=16952 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/16953/task/16966/stat : 16966 (java) S 16952 16952 15667 0 -1 1077944384 47 0 0 0 0 0 0 0 20 0 28 0 3682607 14133010432 80735 33554432000 4194304 4196468 140731077905600 140545754113264 140546293941973 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 36171776 140731077907644 140731077907820 140731077907820 140731077910479 0
[pid=16953/tid=16967] ppid=16952 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/16953/task/16967/stat : 16967 (java) S 16952 16952 15667 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 3682611 14133010432 80735 33554432000 4194304 4196468 140731077905600 140545753061840 140546293950363 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 36171776 140731077907644 140731077907820 140731077907820 140731077910479 0
[pid=16953/tid=16968] ppid=16952 vsize=13801768 CPUtime=1.85 cores=1,3,5,7,9,11,13,15
/proc/16953/task/16968/stat : 16968 (java) S 16952 16952 15667 0 -1 1077944384 7693 0 0 0 184 1 0 0 20 0 28 0 3682611 14133010432 80735 33554432000 4194304 4196468 140731077905600 140545752008944 140546293942914 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 36171776 140731077907644 140731077907820 140731077907820 140731077910479 0
[pid=16953/tid=16969] ppid=16952 vsize=13801768 CPUtime=1.9 cores=1,3,5,7,9,11,13,15
/proc/16953/task/16969/stat : 16969 (java) S 16952 16952 15667 0 -1 1077944384 17749 0 0 0 189 1 0 0 20 0 28 0 3682611 14133010432 80735 33554432000 4194304 4196468 140731077905600 140545750956400 140546293942914 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 36171776 140731077907644 140731077907820 140731077907820 140731077910479 0
[pid=16953/tid=16970] ppid=16952 vsize=13801768 CPUtime=2.02 cores=1,3,5,7,9,11,13,15
/proc/16953/task/16970/stat : 16970 (java) S 16952 16952 15667 0 -1 1077944384 8997 0 0 0 201 1 0 0 20 0 28 0 3682611 14133010432 80735 33554432000 4194304 4196468 140731077905600 140545749903344 140546293942914 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 36171776 140731077907644 140731077907820 140731077907820 140731077910479 0
[pid=16953/tid=16971] ppid=16952 vsize=13801768 CPUtime=0.72 cores=1,3,5,7,9,11,13,15
/proc/16953/task/16971/stat : 16971 (java) S 16952 16952 15667 0 -1 1077944384 5810 0 0 0 70 2 0 0 20 0 28 0 3682611 14133010432 80735 33554432000 4194304 4196468 140731077905600 140545748850800 140546293942914 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36171776 140731077907644 140731077907820 140731077907820 140731077910479 0
[pid=16953/tid=16972] ppid=16952 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/16953/task/16972/stat : 16972 (java) S 16952 16952 15667 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 3682611 14133010432 80735 33554432000 4194304 4196468 140731077905600 140545747799008 140546293941973 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 36171776 140731077907644 140731077907820 140731077907820 140731077910479 0
[pid=16953/tid=16973] ppid=16952 vsize=13801768 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/16953/task/16973/stat : 16973 (java) S 16952 16952 15667 0 -1 1077944384 1400 0 0 0 6 6 0 0 20 0 28 0 3682612 14133010432 80735 33554432000 4194304 4196468 140731077905600 140545746746544 140546293942914 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36171776 140731077907644 140731077907820 140731077907820 140731077910479 0
[pid=16953/tid=16974] ppid=16952 vsize=13801768 CPUtime=277.88 cores=1,3,5,7,9,11,13,15
/proc/16953/task/16974/stat : 16974 (java) R 16952 16952 15667 0 -1 4202560 1140 0 0 0 27787 1 0 0 20 0 28 0 3682667 14133010432 80735 33554432000 4194304 4196468 140731077905600 140545738730552 140545914285661 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 36171776 140731077907644 140731077907820 140731077907820 140731077910479 0
[pid=16953/tid=16975] ppid=16952 vsize=13801768 CPUtime=277.4 cores=1,3,5,7,9,11,13,15
/proc/16953/task/16975/stat : 16975 (java) R 16952 16952 15667 0 -1 4202560 1062 0 0 0 27740 0 0 0 20 0 28 0 3682667 14133010432 80735 33554432000 4194304 4196468 140731077905600 140545737678632 140545914550062 0 4 0 16800975 0 0 0 -1 15 0 0 0 0 0 6293624 6294260 36171776 140731077907644 140731077907820 140731077907820 140731077910479 0
[pid=16953/tid=16976] ppid=16952 vsize=13801768 CPUtime=277.12 cores=1,3,5,7,9,11,13,15
/proc/16953/task/16976/stat : 16976 (java) R 16952 16952 15667 0 -1 4202560 1854 0 0 0 27711 1 0 0 20 0 28 0 3682667 14133010432 80735 33554432000 4194304 4196468 140731077905600 140545736625952 140545915317304 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 36171776 140731077907644 140731077907820 140731077907820 140731077910479 0
[pid=16953/tid=16977] ppid=16952 vsize=13801768 CPUtime=277.87 cores=1,3,5,7,9,11,13,15
/proc/16953/task/16977/stat : 16977 (java) R 16952 16952 15667 0 -1 4202560 1263 0 0 0 27786 1 0 0 20 0 28 0 3682667 14133010432 80735 33554432000 4194304 4196468 140731077905600 140545735576448 140545914028065 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 36171776 140731077907644 140731077907820 140731077907820 140731077910479 0
[pid=16953/tid=16978] ppid=16952 vsize=13801768 CPUtime=277.7 cores=1,3,5,7,9,11,13,15
/proc/16953/task/16978/stat : 16978 (java) R 16952 16952 15667 0 -1 4202560 1542 0 0 0 27770 0 0 0 20 0 28 0 3682667 14133010432 80735 33554432000 4194304 4196468 140731077905600 140545734519976 140545914550188 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 36171776 140731077907644 140731077907820 140731077907820 140731077910479 0
[pid=16953/tid=16979] ppid=16952 vsize=13801768 CPUtime=277.84 cores=1,3,5,7,9,11,13,15
/proc/16953/task/16979/stat : 16979 (java) R 16952 16952 15667 0 -1 4202560 648 0 0 0 27784 0 0 0 20 0 28 0 3682667 14133010432 80735 33554432000 4194304 4196468 140731077905600 140545733467976 140545914550052 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 36171776 140731077907644 140731077907820 140731077907820 140731077910479 0
[pid=16953/tid=16980] ppid=16952 vsize=13801768 CPUtime=276.35 cores=1,3,5,7,9,11,13,15
/proc/16953/task/16980/stat : 16980 (java) R 16952 16952 15667 0 -1 4202560 814 0 0 0 27634 1 0 0 20 0 28 0 3682667 14133010432 80735 33554432000 4194304 4196468 140731077905600 140545732416024 140545913800095 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 36171776 140731077907644 140731077907820 140731077907820 140731077910479 0
[pid=16953/tid=16981] ppid=16952 vsize=13801768 CPUtime=277.65 cores=1,3,5,7,9,11,13,15
/proc/16953/task/16981/stat : 16981 (java) R 16952 16952 15667 0 -1 4202560 1064 0 0 0 27764 1 0 0 20 0 28 0 3682667 14133010432 80735 33554432000 4194304 4196468 140731077905600 140545731363112 140545914402558 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 36171776 140731077907644 140731077907820 140731077907820 140731077910479 0
Current children cumulated CPU time (s) 2233.37
Current children cumulated vsize (KiB) 13811280



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+303.401 s]
/proc/loadavg: 16.11 10.97 5.96 9/291 17074
/proc/meminfo: memFree=31710848/32770624 swapFree=5892/64508
[pid=16952] ppid=16949 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/16952/stat : 16952 (xcsp3-exec) S 16949 16952 15667 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 3682602 9740288 346 33554432000 4194304 5098028 140736219952000 140736219950104 140535648068220 0 65536 4100 65538 18446744071579417331 0 0 17 9 0 0 0 0 0 7196144 7232144 14516224 140736219956368 140736219956576 140736219956576 140736219959275 0
/proc/16952/statm: 2378 346 289 221 0 87 0
[pid=16953] ppid=16952 vsize=13801768 CPUtime=2400.15 cores=1,3,5,7,9,11,13,15
/proc/16953/stat : 16953 (java) S 16952 16952 15667 0 -1 1077944320 75130 0 0 0 239832 183 0 0 20 0 28 0 3682602 14133010432 79894 33554432000 4194304 4196468 140731077905600 140731077888144 140546293931767 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 36171776 140731077907644 140731077907820 140731077907820 140731077910479 0
/proc/16953/statm: 3450442 79894 3278 1 0 3437675 0
[pid=16953/tid=16954] ppid=16952 vsize=13801768 CPUtime=0.62 cores=1,3,5,7,9,11,13,15
/proc/16953/task/16954/stat : 16954 (java) S 16952 16952 15667 0 -1 1077944384 6818 0 0 0 59 3 0 0 20 0 28 0 3682603 14133010432 79894 33554432000 4194304 4196468 140731077905600 140546298172544 140546293941973 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36171776 140731077907644 140731077907820 140731077907820 140731077910479 0
[pid=16953/tid=16956] ppid=16952 vsize=13801768 CPUtime=0.73 cores=1,3,5,7,9,11,13,15
/proc/16953/task/16956/stat : 16956 (java) S 16952 16952 15667 0 -1 1077944384 943 0 0 0 62 11 0 0 20 0 28 0 3682604 14133010432 79894 33554432000 4194304 4196468 140731077905600 140546232896528 140546293941973 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 36171776 140731077907644 140731077907820 140731077907820 140731077910479 0
[pid=16953/tid=16957] ppid=16952 vsize=13801768 CPUtime=0.73 cores=1,3,5,7,9,11,13,15
/proc/16953/task/16957/stat : 16957 (java) S 16952 16952 15667 0 -1 1077944384 2144 0 0 0 62 11 0 0 20 0 28 0 3682604 14133010432 79894 33554432000 4194304 4196468 140731077905600 140546231843984 140546293941973 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36171776 140731077907644 140731077907820 140731077907820 140731077910479 0
[pid=16953/tid=16958] ppid=16952 vsize=13801768 CPUtime=0.74 cores=1,3,5,7,9,11,13,15
/proc/16953/task/16958/stat : 16958 (java) S 16952 16952 15667 0 -1 1077944384 1371 0 0 0 63 11 0 0 20 0 28 0 3682604 14133010432 79894 33554432000 4194304 4196468 140731077905600 140546230790928 140546293941973 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 36171776 140731077907644 140731077907820 140731077907820 140731077910479 0
[pid=16953/tid=16959] ppid=16952 vsize=13801768 CPUtime=0.72 cores=1,3,5,7,9,11,13,15
/proc/16953/task/16959/stat : 16959 (java) S 16952 16952 15667 0 -1 1077944384 769 0 0 0 60 12 0 0 20 0 28 0 3682604 14133010432 79894 33554432000 4194304 4196468 140731077905600 140546229738384 140546293941973 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 36171776 140731077907644 140731077907820 140731077907820 140731077910479 0
[pid=16953/tid=16960] ppid=16952 vsize=13801768 CPUtime=0.72 cores=1,3,5,7,9,11,13,15
/proc/16953/task/16960/stat : 16960 (java) S 16952 16952 15667 0 -1 1077944384 594 0 0 0 60 12 0 0 20 0 28 0 3682604 14133010432 79894 33554432000 4194304 4196468 140731077905600 140545888836112 140546293941973 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36171776 140731077907644 140731077907820 140731077907820 140731077910479 0
[pid=16953/tid=16961] ppid=16952 vsize=13801768 CPUtime=0.73 cores=1,3,5,7,9,11,13,15
/proc/16953/task/16961/stat : 16961 (java) S 16952 16952 15667 0 -1 1077944384 1322 0 0 0 62 11 0 0 20 0 28 0 3682604 14133010432 79894 33554432000 4194304 4196468 140731077905600 140545887783568 140546293941973 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36171776 140731077907644 140731077907820 140731077907820 140731077910479 0
[pid=16953/tid=16962] ppid=16952 vsize=13801768 CPUtime=0.72 cores=1,3,5,7,9,11,13,15
/proc/16953/task/16962/stat : 16962 (java) S 16952 16952 15667 0 -1 1077944384 1644 0 0 0 61 11 0 0 20 0 28 0 3682604 14133010432 79894 33554432000 4194304 4196468 140731077905600 140545886730512 140546293941973 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 36171776 140731077907644 140731077907820 140731077907820 140731077910479 0
[pid=16953/tid=16963] ppid=16952 vsize=13801768 CPUtime=0.74 cores=1,3,5,7,9,11,13,15
/proc/16953/task/16963/stat : 16963 (java) S 16952 16952 15667 0 -1 1077944384 1259 0 0 0 62 12 0 0 20 0 28 0 3682604 14133010432 79894 33554432000 4194304 4196468 140731077905600 140545885677968 140546293941973 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36171776 140731077907644 140731077907820 140731077907820 140731077910479 0
[pid=16953/tid=16964] ppid=16952 vsize=13801768 CPUtime=1.16 cores=1,3,5,7,9,11,13,15
/proc/16953/task/16964/stat : 16964 (java) S 16952 16952 15667 0 -1 1077944384 4961 0 0 0 56 60 0 0 20 0 28 0 3682606 14133010432 79894 33554432000 4194304 4196468 140731077905600 140545756220144 140546293942914 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36171776 140731077907644 140731077907820 140731077907820 140731077910479 0
[pid=16953/tid=16965] ppid=16952 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/16953/task/16965/stat : 16965 (java) S 16952 16952 15667 0 -1 1077944384 63 0 0 0 0 0 0 0 20 0 28 0 3682607 14133010432 79894 33554432000 4194304 4196468 140731077905600 140545755166368 140546293941973 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 36171776 140731077907644 140731077907820 140731077907820 140731077910479 0
[pid=16953/tid=16966] ppid=16952 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/16953/task/16966/stat : 16966 (java) S 16952 16952 15667 0 -1 1077944384 47 0 0 0 0 0 0 0 20 0 28 0 3682607 14133010432 79894 33554432000 4194304 4196468 140731077905600 140545754113264 140546293941973 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 36171776 140731077907644 140731077907820 140731077907820 140731077910479 0
[pid=16953/tid=16967] ppid=16952 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/16953/task/16967/stat : 16967 (java) S 16952 16952 15667 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 3682611 14133010432 79894 33554432000 4194304 4196468 140731077905600 140545753061840 140546293950363 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 36171776 140731077907644 140731077907820 140731077907820 140731077910479 0
[pid=16953/tid=16968] ppid=16952 vsize=13801768 CPUtime=1.85 cores=1,3,5,7,9,11,13,15
/proc/16953/task/16968/stat : 16968 (java) S 16952 16952 15667 0 -1 1077944384 7693 0 0 0 184 1 0 0 20 0 28 0 3682611 14133010432 79894 33554432000 4194304 4196468 140731077905600 140545752008944 140546293942914 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 36171776 140731077907644 140731077907820 140731077907820 140731077910479 0
[pid=16953/tid=16969] ppid=16952 vsize=13801768 CPUtime=1.9 cores=1,3,5,7,9,11,13,15
/proc/16953/task/16969/stat : 16969 (java) S 16952 16952 15667 0 -1 1077944384 17749 0 0 0 189 1 0 0 20 0 28 0 3682611 14133010432 79894 33554432000 4194304 4196468 140731077905600 140545750956400 140546293942914 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 36171776 140731077907644 140731077907820 140731077907820 140731077910479 0
[pid=16953/tid=16970] ppid=16952 vsize=13801768 CPUtime=2.02 cores=1,3,5,7,9,11,13,15
/proc/16953/task/16970/stat : 16970 (java) S 16952 16952 15667 0 -1 1077944384 8997 0 0 0 201 1 0 0 20 0 28 0 3682611 14133010432 79894 33554432000 4194304 4196468 140731077905600 140545749903344 140546293942914 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 36171776 140731077907644 140731077907820 140731077907820 140731077910479 0
[pid=16953/tid=16971] ppid=16952 vsize=13801768 CPUtime=0.72 cores=1,3,5,7,9,11,13,15
/proc/16953/task/16971/stat : 16971 (java) S 16952 16952 15667 0 -1 1077944384 5810 0 0 0 70 2 0 0 20 0 28 0 3682611 14133010432 79894 33554432000 4194304 4196468 140731077905600 140545748850800 140546293942914 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36171776 140731077907644 140731077907820 140731077907820 140731077910479 0
[pid=16953/tid=16972] ppid=16952 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/16953/task/16972/stat : 16972 (java) S 16952 16952 15667 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 3682611 14133010432 79894 33554432000 4194304 4196468 140731077905600 140545747799008 140546293941973 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 36171776 140731077907644 140731077907820 140731077907820 140731077910479 0
[pid=16953/tid=16973] ppid=16952 vsize=13801768 CPUtime=0.13 cores=1,3,5,7,9,11,13,15
/proc/16953/task/16973/stat : 16973 (java) S 16952 16952 15667 0 -1 1077944384 1408 0 0 0 6 7 0 0 20 0 28 0 3682612 14133010432 79894 33554432000 4194304 4196468 140731077905600 140545746746544 140546293942914 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 36171776 140731077907644 140731077907820 140731077907820 140731077910479 0
[pid=16953/tid=16974] ppid=16952 vsize=13801768 CPUtime=298.61 cores=1,3,5,7,9,11,13,15
/proc/16953/task/16974/stat : 16974 (java) R 16952 16952 15667 0 -1 4202560 1188 0 0 0 29860 1 0 0 20 0 28 0 3682667 14133010432 79894 33554432000 4194304 4196468 140731077905600 140545738731048 140545913789334 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 36171776 140731077907644 140731077907820 140731077907820 140731077910479 0
[pid=16953/tid=16975] ppid=16952 vsize=13801768 CPUtime=298.22 cores=1,3,5,7,9,11,13,15
/proc/16953/task/16975/stat : 16975 (java) R 16952 16952 15667 0 -1 4202560 1352 0 0 0 29821 1 0 0 20 0 28 0 3682667 14133010432 79894 33554432000 4194304 4196468 140731077905600 140545737679144 140545913528133 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 36171776 140731077907644 140731077907820 140731077907820 140731077910479 0
[pid=16953/tid=16976] ppid=16952 vsize=13801768 CPUtime=297.84 cores=1,3,5,7,9,11,13,15
/proc/16953/task/16976/stat : 16976 (java) R 16952 16952 15667 0 -1 4202560 1968 0 0 0 29782 2 0 0 20 0 28 0 3682667 14133010432 79894 33554432000 4194304 4196468 140731077905600 140545736626200 140545914285221 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 36171776 140731077907644 140731077907820 140731077907820 140731077910479 0
[pid=16953/tid=16977] ppid=16952 vsize=13801768 CPUtime=298.47 cores=1,3,5,7,9,11,13,15
/proc/16953/task/16977/stat : 16977 (java) R 16952 16952 15667 0 -1 4202560 1505 0 0 0 29846 1 0 0 20 0 28 0 3682667 14133010432 79894 33554432000 4194304 4196468 140731077905600 140545735573256 140545914285226 0 4 0 16800975 0 0 0 -1 15 0 0 0 0 0 6293624 6294260 36171776 140731077907644 140731077907820 140731077907820 140731077910479 0
[pid=16953/tid=16978] ppid=16952 vsize=13801768 CPUtime=298.46 cores=1,3,5,7,9,11,13,15
/proc/16953/task/16978/stat : 16978 (java) R 16952 16952 15667 0 -1 4202560 1594 0 0 0 29845 1 0 0 20 0 28 0 3682667 14133010432 79894 33554432000 4194304 4196468 140731077905600 140545734523392 140546278270544 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 36171776 140731077907644 140731077907820 140731077907820 140731077910479 0
[pid=16953/tid=16979] ppid=16952 vsize=13801768 CPUtime=298.62 cores=1,3,5,7,9,11,13,15
/proc/16953/task/16979/stat : 16979 (java) R 16952 16952 15667 0 -1 4202560 662 0 0 0 29862 0 0 0 20 0 28 0 3682667 14133010432 79894 33554432000 4194304 4196468 140731077905600 140545733467616 140545913527182 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 36171776 140731077907644 140731077907820 140731077907820 140731077910479 0
[pid=16953/tid=16980] ppid=16952 vsize=13801768 CPUtime=297.05 cores=1,3,5,7,9,11,13,15
/proc/16953/task/16980/stat : 16980 (java) R 16952 16952 15667 0 -1 4202560 844 0 0 0 29704 1 0 0 20 0 28 0 3682667 14133010432 79894 33554432000 4194304 4196468 140731077905600 140545732415656 140545915099427 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 36171776 140731077907644 140731077907820 140731077907820 140731077910479 0
[pid=16953/tid=16981] ppid=16952 vsize=13801768 CPUtime=298.4 cores=1,3,5,7,9,11,13,15
/proc/16953/task/16981/stat : 16981 (java) R 16952 16952 15667 0 -1 4202560 1185 0 0 0 29838 2 0 0 20 0 28 0 3682667 14133010432 79894 33554432000 4194304 4196468 140731077905600 140545731363352 140545914284487 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 36171776 140731077907644 140731077907820 140731077907820 140731077910479 0
Current children cumulated CPU time (s) 2400.15
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 16953 sig 9
??? kill 16952 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 16952 and gives
#  childrusage.ru_utime.tv_sec=0
#  childrusage.ru_utime.tv_usec=1142
#  childrusage.ru_stime.tv_sec=0
#  childrusage.ru_stime.tv_usec=2285
# CPU time returned by wait4() is 0.003427
# while last known CPU time is 2400.15
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...

Real time (s): 303.412
CPU time (s): 2400.15
CPU user time (s): 2398.32
CPU system time (s): 1.83
CPU usage (%): 791.052
Max. virtual memory (cumulated for all children) (KiB): 13813088

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.001142
system time used= 0.002285
maximum resident set size= 2672
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 517
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.76932 second user time and 4.50374 second system time

The end

Launcher Data 

Begin job on node104 at 2017-07-22 02:42:09
IDJOB=4244717
IDBENCH=115865
IDSOLVER=2625
FILE ID=node104/4244717-1500684129
RUNJOBID= node104-1500684128-16797
PBS_JOBID= 20623031
Free space on /tmp= 62008 MiB

SOLVER NAME= choco-solver 4.0.5
BENCH NAME= XCSP17/ColouredQueens/ColouredQueens-m1-s1/ColouredQueens-12.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-4244717-1500684129/watcher-4244717-1500684129 -o /tmp/evaluation-result-4244717-1500684129/solver-4244717-1500684129 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node104-1500684128-16797 --watchdog 2560  ./xcsp3-exec -dir HOME -tl 2400 -p 8 -ml 10000 -tdir HOME -seed 26531578 HOME/instance-4244717-1500684129.xml

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

MD5SUM BENCH= 130c0e53e5c1e074e18659561dd41fce
RANDOM SEED=26531578

node104.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		: 2668.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.12
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.57
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

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

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

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 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.12
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.57
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		: 2668.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.12
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.57
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		: 2668.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.12
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.57
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.12
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.57
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		: 2668.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.12
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	: 5332.57
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32770624 kB
MemFree:        31926476 kB
MemAvailable:   31888076 kB
Buffers:           92756 kB
Cached:           157864 kB
SwapCached:          256 kB
Active:           305412 kB
Inactive:         120648 kB
Active(anon):     130536 kB
Inactive(anon):    56372 kB
Active(file):     174876 kB
Inactive(file):    64276 kB
Unevictable:        5892 kB
Mlocked:            5892 kB
SwapTotal:      67108860 kB
SwapFree:       67105468 kB
Dirty:             15968 kB
Writeback:             0 kB
AnonPages:        184280 kB
Mapped:            42148 kB
Shmem:              8772 kB
Slab:             109688 kB
SReclaimable:      76564 kB
SUnreclaim:        33124 kB
KernelStack:        5056 kB
PageTables:         6032 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    1260336 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:     79872 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      132480 kB
DirectMap2M:    33413120 kB

Free space on /tmp at the end= 62000 MiB
End job on node104 at 2017-07-22 02:47:13