Trace number 4244548

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 4.0.5 (2017-07-05)? (TO) 2400.43 303.212

General information on the benchmark

NameScheduling/Scheduling-js-taillard/
Taillard-js-020-15-1.xml
MD5SUMaac981b64b3d0bc7b0997201d0c57f9b
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkSAT TO
Best value of the objective obtained on this benchmark1389
Best CPU time to get the best result obtained on this benchmark2400.05
Satisfiable
(Un)Satisfiability was proved
Number of variables320
Number of constraints335
Number of domains1
Minimum domain size1477
Maximum domain size1477
Distribution of domain sizes[{"size":1477,"count":320}]
Minimum variable degree2
Maximum variable degree3
Distribution of variable degrees[{"degree":2,"count":20},{"degree":3,"count":300}]
Minimum constraint arity1
Maximum constraint arity20
Distribution of constraint arities[{"arity":1,"count":20},{"arity":2,"count":300},{"arity":20,"count":15}]
Number of extensional constraints0
Number of intensional constraints320
Distribution of constraint types[{"type":"intension","count":320},{"type":"noOverlap","count":15}]
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-4244548-1500683451.xml"  -tl '2400s' -p 8 -x 0
0.00/0.20	c [HOME/instance-4244548-1500683451.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.95	c solve instance...
2400.43/303.24	s UNKNOWN
2400.43/303.24	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-4244548-1500683451/watcher-4244548-1500683451 -o /tmp/evaluation-result-4244548-1500683451/solver-4244548-1500683451 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node132-1500682387-18842 --watchdog 2560 ./xcsp3-exec -dir HOME -tl 2400 -p 8 -ml 10000 -tdir HOME -seed 1776462282 HOME/instance-4244548-1500683451.xml 

pid=19791
running on 8 cores: 4-7,12-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: 16.13 14.98 10.82 9/276 19794
/proc/meminfo: memFree=31734248/32770624 swapFree=5944/210680
[pid=19794] ppid=19791 vsize=9512 CPUtime=0 cores=4-7,12-15
/proc/19794/stat : 19794 (xcsp3-exec) S 19791 19794 18810 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 3612302 9740288 346 33554432000 4194304 5098028 140730111165184 140730111163288 140157571957372 0 65536 4100 65538 18446744071579417331 0 0 17 14 0 0 0 0 0 7196144 7232144 33619968 140730111169678 140730111169888 140730111169888 140730111172587 0
/proc/19794/statm: 2378 346 289 221 0 87 0

[startup+0.100129 s]
/proc/loadavg: 16.13 14.98 10.82 9/276 19794
/proc/meminfo: memFree=31734248/32770624 swapFree=5944/210680
[pid=19794] ppid=19791 vsize=9512 CPUtime=0 cores=4-7,12-15
/proc/19794/stat : 19794 (xcsp3-exec) S 19791 19794 18810 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 3612302 9740288 346 33554432000 4194304 5098028 140730111165184 140730111163288 140157571957372 0 65536 4100 65538 18446744071579417331 0 0 17 14 0 0 0 0 0 7196144 7232144 33619968 140730111169678 140730111169888 140730111169888 140730111172587 0
/proc/19794/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512

[startup+0.200318 s]
/proc/loadavg: 16.13 14.98 10.82 9/276 19794
/proc/meminfo: memFree=31734248/32770624 swapFree=5944/210680
[pid=19794] ppid=19791 vsize=9512 CPUtime=0 cores=4-7,12-15
/proc/19794/stat : 19794 (xcsp3-exec) S 19791 19794 18810 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 3612302 9740288 346 33554432000 4194304 5098028 140730111165184 140730111163288 140157571957372 0 65536 4100 65538 18446744071579417331 0 0 17 14 0 0 0 0 0 7196144 7232144 33619968 140730111169678 140730111169888 140730111169888 140730111172587 0
/proc/19794/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512

[startup+0.300284 s]
/proc/loadavg: 16.13 14.98 10.82 9/276 19794
/proc/meminfo: memFree=31734248/32770624 swapFree=5944/210680
[pid=19794] ppid=19791 vsize=9512 CPUtime=0 cores=4-7,12-15
/proc/19794/stat : 19794 (xcsp3-exec) S 19791 19794 18810 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 3612302 9740288 346 33554432000 4194304 5098028 140730111165184 140730111163288 140157571957372 0 65536 4100 65538 18446744071579417331 0 0 17 14 0 0 0 0 0 7196144 7232144 33619968 140730111169678 140730111169888 140730111169888 140730111172587 0
/proc/19794/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512

[startup+0.700215 s]
/proc/loadavg: 16.13 14.98 10.82 9/276 19794
/proc/meminfo: memFree=31734248/32770624 swapFree=5944/210680
[pid=19794] ppid=19791 vsize=9512 CPUtime=0 cores=4-7,12-15
/proc/19794/stat : 19794 (xcsp3-exec) S 19791 19794 18810 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 3612302 9740288 346 33554432000 4194304 5098028 140730111165184 140730111163288 140157571957372 0 65536 4100 65538 18446744071579417331 0 0 17 14 0 0 0 0 0 7196144 7232144 33619968 140730111169678 140730111169888 140730111169888 140730111172587 0
/proc/19794/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512

[startup+1.5014 s]
/proc/loadavg: 16.13 14.98 10.82 20/305 19823
/proc/meminfo: memFree=31582472/32770624 swapFree=5944/210712
[pid=19794] ppid=19791 vsize=9512 CPUtime=0 cores=4-7,12-15
/proc/19794/stat : 19794 (xcsp3-exec) S 19791 19794 18810 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 3612302 9740288 346 33554432000 4194304 5098028 140730111165184 140730111163288 140157571957372 0 65536 4100 65538 18446744071579417331 0 0 17 14 0 0 0 0 0 7196144 7232144 33619968 140730111169678 140730111169888 140730111169888 140730111172587 0
/proc/19794/statm: 2378 346 289 221 0 87 0
[pid=19795] ppid=19794 vsize=13801768 CPUtime=6.9 cores=4-7,12-15
/proc/19795/stat : 19795 (java) S 19794 19794 18810 0 -1 1077944320 23035 0 0 0 679 11 0 0 20 0 28 0 3612303 14133010432 48401 33554432000 4194304 4196468 140733994259584 140733994242128 140575353765623 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 36438016 140733994263740 140733994263916 140733994263916 140733994266575 0
/proc/19795/statm: 3450442 48401 3221 1 0 3437675 0
[pid=19795/tid=19796] ppid=19794 vsize=13801768 CPUtime=0.94 cores=4-7,12-15
/proc/19795/task/19796/stat : 19796 (java) S 19794 19794 18810 0 -1 1077944384 7067 0 0 0 89 5 0 0 20 0 28 0 3612303 14133010432 48401 33554432000 4194304 4196468 140733994259584 140575358006400 140575353775829 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 36438016 140733994263740 140733994263916 140733994263916 140733994266575 0
[pid=19795/tid=19798] ppid=19794 vsize=13801768 CPUtime=0 cores=4-7,12-15
/proc/19795/task/19798/stat : 19798 (java) S 19794 19794 18810 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 28 0 3612304 14133010432 48401 33554432000 4194304 4196468 140733994259584 140575292730128 140575353775829 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36438016 140733994263740 140733994263916 140733994263916 140733994266575 0
[pid=19795/tid=19799] ppid=19794 vsize=13801768 CPUtime=0 cores=4-7,12-15
/proc/19795/task/19799/stat : 19799 (java) S 19794 19794 18810 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 3612304 14133010432 48401 33554432000 4194304 4196468 140733994259584 140575291677584 140575353775829 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36438016 140733994263740 140733994263916 140733994263916 140733994266575 0
[pid=19795/tid=19800] ppid=19794 vsize=13801768 CPUtime=0 cores=4-7,12-15
/proc/19795/task/19800/stat : 19800 (java) S 19794 19794 18810 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 3612304 14133010432 48401 33554432000 4194304 4196468 140733994259584 140575290625040 140575353775829 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36438016 140733994263740 140733994263916 140733994263916 140733994266575 0
[pid=19795/tid=19801] ppid=19794 vsize=13801768 CPUtime=0 cores=4-7,12-15
/proc/19795/task/19801/stat : 19801 (java) S 19794 19794 18810 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 28 0 3612304 14133010432 48401 33554432000 4194304 4196468 140733994259584 140575289572496 140575353775829 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36438016 140733994263740 140733994263916 140733994263916 140733994266575 0
[pid=19795/tid=19802] ppid=19794 vsize=13801768 CPUtime=0 cores=4-7,12-15
/proc/19795/task/19802/stat : 19802 (java) S 19794 19794 18810 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 28 0 3612304 14133010432 48401 33554432000 4194304 4196468 140733994259584 140575288518928 140575353775829 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 36438016 140733994263740 140733994263916 140733994263916 140733994266575 0
[pid=19795/tid=19803] ppid=19794 vsize=13801768 CPUtime=0 cores=4-7,12-15
/proc/19795/task/19803/stat : 19803 (java) S 19794 19794 18810 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 28 0 3612304 14133010432 48401 33554432000 4194304 4196468 140733994259584 140575287466384 140575353775829 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 36438016 140733994263740 140733994263916 140733994263916 140733994266575 0
[pid=19795/tid=19804] ppid=19794 vsize=13801768 CPUtime=0 cores=4-7,12-15
/proc/19795/task/19804/stat : 19804 (java) S 19794 19794 18810 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 3612304 14133010432 48401 33554432000 4194304 4196468 140733994259584 140574946974224 140575353775829 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36438016 140733994263740 140733994263916 140733994263916 140733994266575 0
[pid=19795/tid=19805] ppid=19794 vsize=13801768 CPUtime=0 cores=4-7,12-15
/proc/19795/task/19805/stat : 19805 (java) S 19794 19794 18810 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 3612304 14133010432 48401 33554432000 4194304 4196468 140733994259584 140574945921680 140575353775829 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 36438016 140733994263740 140733994263916 140733994263916 140733994266575 0
[pid=19795/tid=19806] ppid=19794 vsize=13801768 CPUtime=0 cores=4-7,12-15
/proc/19795/task/19806/stat : 19806 (java) S 19794 19794 18810 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 28 0 3612306 14133010432 48401 33554432000 4194304 4196468 140733994259584 140574815410672 140575353776770 0 0 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 36438016 140733994263740 140733994263916 140733994263916 140733994266575 0
[pid=19795/tid=19807] ppid=19794 vsize=13801768 CPUtime=0 cores=4-7,12-15
/proc/19795/task/19807/stat : 19807 (java) S 19794 19794 18810 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 28 0 3612307 14133010432 48401 33554432000 4194304 4196468 140733994259584 140574814356896 140575353775829 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 36438016 140733994263740 140733994263916 140733994263916 140733994266575 0
[pid=19795/tid=19808] ppid=19794 vsize=13801768 CPUtime=0 cores=4-7,12-15
/proc/19795/task/19808/stat : 19808 (java) S 19794 19794 18810 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 28 0 3612307 14133010432 48401 33554432000 4194304 4196468 140733994259584 140574813304304 140575353775829 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 36438016 140733994263740 140733994263916 140733994263916 140733994266575 0
[pid=19795/tid=19809] ppid=19794 vsize=13801768 CPUtime=0 cores=4-7,12-15
/proc/19795/task/19809/stat : 19809 (java) S 19794 19794 18810 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 3612311 14133010432 48401 33554432000 4194304 4196468 140733994259584 140574812252880 140575353784219 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 36438016 140733994263740 140733994263916 140733994263916 140733994266575 0
[pid=19795/tid=19810] ppid=19794 vsize=13801768 CPUtime=0.79 cores=4-7,12-15
/proc/19795/task/19810/stat : 19810 (java) R 19794 19794 18810 0 -1 4202560 3890 0 0 0 79 0 0 0 20 0 28 0 3612311 14133010432 48401 33554432000 4194304 4196468 140733994259584 140574811183976 140575338868066 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 36438016 140733994263740 140733994263916 140733994263916 140733994266575 0
[pid=19795/tid=19811] ppid=19794 vsize=13801768 CPUtime=0.82 cores=4-7,12-15
/proc/19795/task/19811/stat : 19811 (java) R 19794 19794 18810 0 -1 4202560 3279 0 0 0 81 1 0 0 20 0 28 0 3612311 14133010432 48401 33554432000 4194304 4196468 140733994259584 140574810127400 140575333004032 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 36438016 140733994263740 140733994263916 140733994263916 140733994266575 0
[pid=19795/tid=19812] ppid=19794 vsize=13801768 CPUtime=0.78 cores=4-7,12-15
/proc/19795/task/19812/stat : 19812 (java) R 19794 19794 18810 0 -1 4202560 3555 0 0 0 77 1 0 0 20 0 28 0 3612311 14133010432 48401 33554432000 4194304 4196468 140733994259584 140574809079864 140575346482775 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 36438016 140733994263740 140733994263916 140733994263916 140733994266575 0
[pid=19795/tid=19813] ppid=19794 vsize=13801768 CPUtime=0.69 cores=4-7,12-15
/proc/19795/task/19813/stat : 19813 (java) S 19794 19794 18810 0 -1 1077944384 3457 0 0 0 68 1 0 0 20 0 28 0 3612311 14133010432 48401 33554432000 4194304 4196468 140733994259584 140574808041840 140575353776770 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36438016 140733994263740 140733994263916 140733994263916 140733994266575 0
[pid=19795/tid=19814] ppid=19794 vsize=13801768 CPUtime=0 cores=4-7,12-15
/proc/19795/task/19814/stat : 19814 (java) S 19794 19794 18810 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 3612312 14133010432 48401 33554432000 4194304 4196468 140733994259584 140574806989536 140575353775829 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 36438016 140733994263740 140733994263916 140733994263916 140733994266575 0
[pid=19795/tid=19815] ppid=19794 vsize=13801768 CPUtime=0 cores=4-7,12-15
/proc/19795/task/19815/stat : 19815 (java) S 19794 19794 18810 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 3612312 14133010432 48401 33554432000 4194304 4196468 140733994259584 140574805937072 140575353776770 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36438016 140733994263740 140733994263916 140733994263916 140733994266575 0
[pid=19795/tid=19816] ppid=19794 vsize=13801768 CPUtime=0.25 cores=4-7,12-15
/proc/19795/task/19816/stat : 19816 (java) R 19794 19794 18810 0 -1 4202560 114 0 0 0 25 0 0 0 20 0 28 0 3612399 14133010432 48401 33554432000 4194304 4196468 140733994259584 140574798420440 140574973965726 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 36438016 140733994263740 140733994263916 140733994263916 140733994266575 0
[pid=19795/tid=19817] ppid=19794 vsize=13801768 CPUtime=0.34 cores=4-7,12-15
/proc/19795/task/19817/stat : 19817 (java) R 19794 19794 18810 0 -1 4202560 50 0 0 0 34 0 0 0 20 0 28 0 3612399 14133010432 48401 33554432000 4194304 4196468 140733994259584 140574797368760 140574973965348 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 36438016 140733994263740 140733994263916 140733994263916 140733994266575 0
[pid=19795/tid=19818] ppid=19794 vsize=13801768 CPUtime=0.39 cores=4-7,12-15
/proc/19795/task/19818/stat : 19818 (java) R 19794 19794 18810 0 -1 4202560 46 0 0 0 39 0 0 0 20 0 28 0 3612399 14133010432 48401 33554432000 4194304 4196468 140733994259584 140574796315712 140574973964731 0 4 0 16800975 0 0 0 -1 14 0 0 0 0 0 6293624 6294260 36438016 140733994263740 140733994263916 140733994263916 140733994266575 0
[pid=19795/tid=19819] ppid=19794 vsize=13801768 CPUtime=0.37 cores=4-7,12-15
/proc/19795/task/19819/stat : 19819 (java) R 19794 19794 18810 0 -1 4202560 80 0 0 0 37 0 0 0 20 0 28 0 3612399 14133010432 48401 33554432000 4194304 4196468 140733994259584 140574795265552 140574973965233 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 36438016 140733994263740 140733994263916 140733994263916 140733994266575 0
[pid=19795/tid=19820] ppid=19794 vsize=13801768 CPUtime=0.39 cores=4-7,12-15
/proc/19795/task/19820/stat : 19820 (java) R 19794 19794 18810 0 -1 4202560 78 0 0 0 39 0 0 0 20 0 28 0 3612399 14133010432 48401 33554432000 4194304 4196468 140733994259584 140574794211056 140575353786970 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 36438016 140733994263740 140733994263916 140733994263916 140733994266575 0
[pid=19795/tid=19821] ppid=19794 vsize=13801768 CPUtime=0.34 cores=4-7,12-15
/proc/19795/task/19821/stat : 19821 (java) R 19794 19794 18810 0 -1 4202560 45 0 0 0 34 0 0 0 20 0 28 0 3612399 14133010432 48401 33554432000 4194304 4196468 140733994259584 140574793158880 140574973966241 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 36438016 140733994263740 140733994263916 140733994263916 140733994266575 0
[pid=19795/tid=19822] ppid=19794 vsize=13801768 CPUtime=0.41 cores=4-7,12-15
/proc/19795/task/19822/stat : 19822 (java) R 19794 19794 18810 0 -1 4202560 33 0 0 0 41 0 0 0 20 0 28 0 3612399 14133010432 48401 33554432000 4194304 4196468 140733994259584 140574792108328 140574973965758 0 4 0 16800975 0 0 0 -1 15 0 0 0 0 0 6293624 6294260 36438016 140733994263740 140733994263916 140733994263916 140733994266575 0
[pid=19795/tid=19823] ppid=19794 vsize=13801768 CPUtime=0.3 cores=4-7,12-15
/proc/19795/task/19823/stat : 19823 (java) R 19794 19794 18810 0 -1 4202560 48 0 0 0 30 0 0 0 20 0 28 0 3612399 14133010432 48401 33554432000 4194304 4196468 140733994259584 140574791038928 140574973966165 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 36438016 140733994263740 140733994263916 140733994263916 140733994266575 0
Current children cumulated CPU time (s) 6.9
Current children cumulated vsize (KiB) 13811280

[startup+3.10139 s]
/proc/loadavg: 16.13 14.98 10.82 20/305 19823
/proc/meminfo: memFree=31528304/32770624 swapFree=5944/210712
[pid=19794] ppid=19791 vsize=9512 CPUtime=0 cores=4-7,12-15
/proc/19794/stat : 19794 (xcsp3-exec) S 19791 19794 18810 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 3612302 9740288 346 33554432000 4194304 5098028 140730111165184 140730111163288 140157571957372 0 65536 4100 65538 18446744071579417331 0 0 17 14 0 0 0 0 0 7196144 7232144 33619968 140730111169678 140730111169888 140730111169888 140730111172587 0
/proc/19794/statm: 2378 346 289 221 0 87 0
[pid=19795] ppid=19794 vsize=13801768 CPUtime=19.63 cores=4-7,12-15
/proc/19795/stat : 19795 (java) S 19794 19794 18810 0 -1 1077944320 48168 0 0 0 1948 15 0 0 20 0 28 0 3612303 14133010432 55829 33554432000 4194304 4196468 140733994259584 140733994242128 140575353765623 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 36438016 140733994263740 140733994263916 140733994263916 140733994266575 0
/proc/19795/statm: 3450442 55829 3225 1 0 3437675 0
[pid=19795/tid=19796] ppid=19794 vsize=13801768 CPUtime=0.94 cores=4-7,12-15
/proc/19795/task/19796/stat : 19796 (java) S 19794 19794 18810 0 -1 1077944384 7067 0 0 0 89 5 0 0 20 0 28 0 3612303 14133010432 55829 33554432000 4194304 4196468 140733994259584 140575358006400 140575353775829 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 36438016 140733994263740 140733994263916 140733994263916 140733994266575 0
[pid=19795/tid=19798] ppid=19794 vsize=13801768 CPUtime=0 cores=4-7,12-15
/proc/19795/task/19798/stat : 19798 (java) S 19794 19794 18810 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 28 0 3612304 14133010432 55829 33554432000 4194304 4196468 140733994259584 140575292730128 140575353775829 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36438016 140733994263740 140733994263916 140733994263916 140733994266575 0
[pid=19795/tid=19799] ppid=19794 vsize=13801768 CPUtime=0 cores=4-7,12-15
/proc/19795/task/19799/stat : 19799 (java) S 19794 19794 18810 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 3612304 14133010432 55829 33554432000 4194304 4196468 140733994259584 140575291677584 140575353775829 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36438016 140733994263740 140733994263916 140733994263916 140733994266575 0
[pid=19795/tid=19800] ppid=19794 vsize=13801768 CPUtime=0 cores=4-7,12-15
/proc/19795/task/19800/stat : 19800 (java) S 19794 19794 18810 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 3612304 14133010432 55829 33554432000 4194304 4196468 140733994259584 140575290625040 140575353775829 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36438016 140733994263740 140733994263916 140733994263916 140733994266575 0
[pid=19795/tid=19801] ppid=19794 vsize=13801768 CPUtime=0 cores=4-7,12-15
/proc/19795/task/19801/stat : 19801 (java) S 19794 19794 18810 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 28 0 3612304 14133010432 55829 33554432000 4194304 4196468 140733994259584 140575289572496 140575353775829 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36438016 140733994263740 140733994263916 140733994263916 140733994266575 0
[pid=19795/tid=19802] ppid=19794 vsize=13801768 CPUtime=0 cores=4-7,12-15
/proc/19795/task/19802/stat : 19802 (java) S 19794 19794 18810 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 28 0 3612304 14133010432 55829 33554432000 4194304 4196468 140733994259584 140575288518928 140575353775829 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 36438016 140733994263740 140733994263916 140733994263916 140733994266575 0
[pid=19795/tid=19803] ppid=19794 vsize=13801768 CPUtime=0 cores=4-7,12-15
/proc/19795/task/19803/stat : 19803 (java) S 19794 19794 18810 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 28 0 3612304 14133010432 55829 33554432000 4194304 4196468 140733994259584 140575287466384 140575353775829 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 36438016 140733994263740 140733994263916 140733994263916 140733994266575 0
[pid=19795/tid=19804] ppid=19794 vsize=13801768 CPUtime=0 cores=4-7,12-15
/proc/19795/task/19804/stat : 19804 (java) S 19794 19794 18810 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 3612304 14133010432 55829 33554432000 4194304 4196468 140733994259584 140574946974224 140575353775829 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36438016 140733994263740 140733994263916 140733994263916 140733994266575 0
[pid=19795/tid=19805] ppid=19794 vsize=13801768 CPUtime=0 cores=4-7,12-15
/proc/19795/task/19805/stat : 19805 (java) S 19794 19794 18810 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 3612304 14133010432 55829 33554432000 4194304 4196468 140733994259584 140574945921680 140575353775829 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 36438016 140733994263740 140733994263916 140733994263916 140733994266575 0
[pid=19795/tid=19806] ppid=19794 vsize=13801768 CPUtime=0 cores=4-7,12-15
/proc/19795/task/19806/stat : 19806 (java) S 19794 19794 18810 0 -1 1077944384 28 0 0 0 0 0 0 0 20 0 28 0 3612306 14133010432 55829 33554432000 4194304 4196468 140733994259584 140574815410672 140575353776770 0 0 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 36438016 140733994263740 140733994263916 140733994263916 140733994266575 0
[pid=19795/tid=19807] ppid=19794 vsize=13801768 CPUtime=0 cores=4-7,12-15
/proc/19795/task/19807/stat : 19807 (java) S 19794 19794 18810 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 28 0 3612307 14133010432 55829 33554432000 4194304 4196468 140733994259584 140574814356896 140575353775829 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 36438016 140733994263740 140733994263916 140733994263916 140733994266575 0
[pid=19795/tid=19808] ppid=19794 vsize=13801768 CPUtime=0 cores=4-7,12-15
/proc/19795/task/19808/stat : 19808 (java) S 19794 19794 18810 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 28 0 3612307 14133010432 55829 33554432000 4194304 4196468 140733994259584 140574813304304 140575353775829 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 36438016 140733994263740 140733994263916 140733994263916 140733994266575 0
[pid=19795/tid=19809] ppid=19794 vsize=13801768 CPUtime=0 cores=4-7,12-15
/proc/19795/task/19809/stat : 19809 (java) S 19794 19794 18810 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 3612311 14133010432 55829 33554432000 4194304 4196468 140733994259584 140574812252880 140575353784219 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 36438016 140733994263740 140733994263916 140733994263916 140733994266575 0
[pid=19795/tid=19810] ppid=19794 vsize=13801768 CPUtime=1.93 cores=4-7,12-15
/proc/19795/task/19810/stat : 19810 (java) R 19794 19794 18810 0 -1 4202560 12301 0 0 0 192 1 0 0 20 0 28 0 3612311 14133010432 55829 33554432000 4194304 4196468 140733994259584 140574811185488 140575332181946 0 4 0 16800975 0 0 0 -1 14 0 0 0 0 0 6293624 6294260 36438016 140733994263740 140733994263916 140733994263916 140733994266575 0
[pid=19795/tid=19811] ppid=19794 vsize=13801768 CPUtime=1.9 cores=4-7,12-15
/proc/19795/task/19811/stat : 19811 (java) R 19794 19794 18810 0 -1 4202560 10268 0 0 0 188 2 0 0 20 0 28 0 3612311 14133010432 55829 33554432000 4194304 4196468 140733994259584 140574810133280 140575333455988 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 36438016 140733994263740 140733994263916 140733994263916 140733994266575 0
[pid=19795/tid=19812] ppid=19794 vsize=13801768 CPUtime=1.92 cores=4-7,12-15
/proc/19795/task/19812/stat : 19812 (java) R 19794 19794 18810 0 -1 4202560 11880 0 0 0 191 1 0 0 20 0 28 0 3612311 14133010432 55829 33554432000 4194304 4196468 140733994259584 140574809080264 140575335313201 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 36438016 140733994263740 140733994263916 140733994263916 140733994266575 0
[pid=19795/tid=19813] ppid=19794 vsize=13801768 CPUtime=0.74 cores=4-7,12-15
/proc/19795/task/19813/stat : 19813 (java) S 19794 19794 18810 0 -1 1077944384 4279 0 0 0 73 1 0 0 20 0 28 0 3612311 14133010432 55829 33554432000 4194304 4196468 140733994259584 140574808041840 140575353776770 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36438016 140733994263740 140733994263916 140733994263916 140733994266575 0
[pid=19795/tid=19814] ppid=19794 vsize=13801768 CPUtime=0 cores=4-7,12-15
/proc/19795/task/19814/stat : 19814 (java) S 19794 19794 18810 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 3612312 14133010432 55829 33554432000 4194304 4196468 140733994259584 140574806989536 140575353775829 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 36438016 140733994263740 140733994263916 140733994263916 140733994266575 0
[pid=19795/tid=19815] ppid=19794 vsize=13801768 CPUtime=0 cores=4-7,12-15
/proc/19795/task/19815/stat : 19815 (java) S 19794 19794 18810 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 3612312 14133010432 55829 33554432000 4194304 4196468 140733994259584 140574805937072 140575353776770 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36438016 140733994263740 140733994263916 140733994263916 140733994266575 0
[pid=19795/tid=19816] ppid=19794 vsize=13801768 CPUtime=1.47 cores=4-7,12-15
/proc/19795/task/19816/stat : 19816 (java) R 19794 19794 18810 0 -1 4202560 155 0 0 0 147 0 0 0 20 0 28 0 3612399 14133010432 55829 33554432000 4194304 4196468 140733994259584 140574798424168 140574973964812 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 36438016 140733994263740 140733994263916 140733994263916 140733994266575 0
[pid=19795/tid=19817] ppid=19794 vsize=13801768 CPUtime=1.43 cores=4-7,12-15
/proc/19795/task/19817/stat : 19817 (java) R 19794 19794 18810 0 -1 4202560 98 0 0 0 143 0 0 0 20 0 28 0 3612399 14133010432 55829 33554432000 4194304 4196468 140733994259584 140574797365104 140574973965933 0 4 0 16800975 0 0 0 -1 15 0 0 0 0 0 6293624 6294260 36438016 140733994263740 140733994263916 140733994263916 140733994266575 0
[pid=19795/tid=19818] ppid=19794 vsize=13801768 CPUtime=1.41 cores=4-7,12-15
/proc/19795/task/19818/stat : 19818 (java) R 19794 19794 18810 0 -1 4202560 146 0 0 0 141 0 0 0 20 0 28 0 3612399 14133010432 55829 33554432000 4194304 4196468 140733994259584 140574796312896 140574967614768 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 36438016 140733994263740 140733994263916 140733994263916 140733994266575 0
[pid=19795/tid=19819] ppid=19794 vsize=13801768 CPUtime=1.45 cores=4-7,12-15
/proc/19795/task/19819/stat : 19819 (java) R 19794 19794 18810 0 -1 4202560 139 0 0 0 145 0 0 0 20 0 28 0 3612399 14133010432 55829 33554432000 4194304 4196468 140733994259584 140574795261960 140574974083456 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 36438016 140733994263740 140733994263916 140733994263916 140733994266575 0
[pid=19795/tid=19820] ppid=19794 vsize=13801768 CPUtime=1.62 cores=4-7,12-15
/proc/19795/task/19820/stat : 19820 (java) R 19794 19794 18810 0 -1 4202560 118 0 0 0 162 0 0 0 20 0 28 0 3612399 14133010432 55829 33554432000 4194304 4196468 140733994259584 140574794206448 140574971285875 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 36438016 140733994263740 140733994263916 140733994263916 140733994266575 0
[pid=19795/tid=19821] ppid=19794 vsize=13801768 CPUtime=1.55 cores=4-7,12-15
/proc/19795/task/19821/stat : 19821 (java) R 19794 19794 18810 0 -1 4202560 141 0 0 0 155 0 0 0 20 0 28 0 3612399 14133010432 55829 33554432000 4194304 4196468 140733994259584 140574793156984 140574973966072 0 4 0 16800975 0 0 0 -1 15 0 0 0 0 0 6293624 6294260 36438016 140733994263740 140733994263916 140733994263916 140733994266575 0
[pid=19795/tid=19822] ppid=19794 vsize=13801768 CPUtime=1.58 cores=4-7,12-15
/proc/19795/task/19822/stat : 19822 (java) R 19794 19794 18810 0 -1 4202560 76 0 0 0 158 0 0 0 20 0 28 0 3612399 14133010432 55829 33554432000 4194304 4196468 140733994259584 140574792101472 140574973132423 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 36438016 140733994263740 140733994263916 140733994263916 140733994266575 0
[pid=19795/tid=19823] ppid=19794 vsize=13801768 CPUtime=1.57 cores=4-7,12-15
/proc/19795/task/19823/stat : 19823 (java) R 19794 19794 18810 0 -1 4202560 162 0 0 0 157 0 0 0 20 0 28 0 3612399 14133010432 55829 33554432000 4194304 4196468 140733994259584 140574791052064 140574973966347 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 36438016 140733994263740 140733994263916 140733994263916 140733994266575 0
Current children cumulated CPU time (s) 19.63
Current children cumulated vsize (KiB) 13811280

[startup+6.30156 s]
/proc/loadavg: 16.36 15.04 10.86 21/305 19823
/proc/meminfo: memFree=31482080/32770624 swapFree=5944/210720

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

[pid=19795/tid=19822] ppid=19794 vsize=13801768 CPUtime=217.04 cores=4-7,12-15
/proc/19795/task/19822/stat : 19822 (java) R 19794 19794 18810 0 -1 4202560 1215 0 0 0 21703 1 0 0 20 0 28 0 3612399 14133010432 78025 33554432000 4194304 4196468 140733994259584 140574792106120 140574979487172 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 36438016 140733994263740 140733994263916 140733994263916 140733994266575 0
[pid=19795/tid=19823] ppid=19794 vsize=13801768 CPUtime=217.87 cores=4-7,12-15
/proc/19795/task/19823/stat : 19823 (java) R 19794 19794 18810 0 -1 4202560 988 0 0 0 21787 0 0 0 20 0 28 0 3612399 14133010432 78025 33554432000 4194304 4196468 140733994259584 140574791053304 140574979574945 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 36438016 140733994263740 140733994263916 140733994263916 140733994266575 0
Current children cumulated CPU time (s) 1759.86
Current children cumulated vsize (KiB) 13811280

[startup+282.302 s]
/proc/loadavg: 16.12 15.77 12.25 17/302 19923
/proc/meminfo: memFree=31175300/32770624 swapFree=5944/211064
[pid=19794] ppid=19791 vsize=9512 CPUtime=0 cores=4-7,12-15
/proc/19794/stat : 19794 (xcsp3-exec) S 19791 19794 18810 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 3612302 9740288 346 33554432000 4194304 5098028 140730111165184 140730111163288 140157571957372 0 65536 4100 65538 18446744071579417331 0 0 17 14 0 0 0 0 0 7196144 7232144 33619968 140730111169678 140730111169888 140730111169888 140730111172587 0
/proc/19794/statm: 2378 346 289 221 0 87 0
[pid=19795] ppid=19794 vsize=13801768 CPUtime=2235.01 cores=4-7,12-15
/proc/19795/stat : 19795 (java) S 19794 19794 18810 0 -1 1077944320 131811 0 0 0 223333 168 0 0 20 0 28 0 3612303 14133010432 90145 33554432000 4194304 4196468 140733994259584 140733994242128 140575353765623 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 36438016 140733994263740 140733994263916 140733994263916 140733994266575 0
/proc/19795/statm: 3450442 90145 3286 1 0 3437675 0
[pid=19795/tid=19796] ppid=19794 vsize=13801768 CPUtime=0.94 cores=4-7,12-15
/proc/19795/task/19796/stat : 19796 (java) S 19794 19794 18810 0 -1 1077944384 7067 0 0 0 89 5 0 0 20 0 28 0 3612303 14133010432 90145 33554432000 4194304 4196468 140733994259584 140575358006400 140575353775829 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 36438016 140733994263740 140733994263916 140733994263916 140733994266575 0
[pid=19795/tid=19798] ppid=19794 vsize=13801768 CPUtime=0.43 cores=4-7,12-15
/proc/19795/task/19798/stat : 19798 (java) S 19794 19794 18810 0 -1 1077944384 1457 0 0 0 35 8 0 0 20 0 28 0 3612304 14133010432 90145 33554432000 4194304 4196468 140733994259584 140575292730128 140575353775829 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 36438016 140733994263740 140733994263916 140733994263916 140733994266575 0
[pid=19795/tid=19799] ppid=19794 vsize=13801768 CPUtime=0.41 cores=4-7,12-15
/proc/19795/task/19799/stat : 19799 (java) S 19794 19794 18810 0 -1 1077944384 1762 0 0 0 34 7 0 0 20 0 28 0 3612304 14133010432 90145 33554432000 4194304 4196468 140733994259584 140575291677584 140575353775829 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36438016 140733994263740 140733994263916 140733994263916 140733994266575 0
[pid=19795/tid=19800] ppid=19794 vsize=13801768 CPUtime=0.44 cores=4-7,12-15
/proc/19795/task/19800/stat : 19800 (java) S 19794 19794 18810 0 -1 1077944384 892 0 0 0 35 9 0 0 20 0 28 0 3612304 14133010432 90145 33554432000 4194304 4196468 140733994259584 140575290625040 140575353775829 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36438016 140733994263740 140733994263916 140733994263916 140733994266575 0
[pid=19795/tid=19801] ppid=19794 vsize=13801768 CPUtime=0.43 cores=4-7,12-15
/proc/19795/task/19801/stat : 19801 (java) S 19794 19794 18810 0 -1 1077944384 653 0 0 0 35 8 0 0 20 0 28 0 3612304 14133010432 90145 33554432000 4194304 4196468 140733994259584 140575289572496 140575353775829 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 36438016 140733994263740 140733994263916 140733994263916 140733994266575 0
[pid=19795/tid=19802] ppid=19794 vsize=13801768 CPUtime=0.45 cores=4-7,12-15
/proc/19795/task/19802/stat : 19802 (java) S 19794 19794 18810 0 -1 1077944384 1084 0 0 0 37 8 0 0 20 0 28 0 3612304 14133010432 90145 33554432000 4194304 4196468 140733994259584 140575288518928 140575353775829 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36438016 140733994263740 140733994263916 140733994263916 140733994266575 0
[pid=19795/tid=19803] ppid=19794 vsize=13801768 CPUtime=0.44 cores=4-7,12-15
/proc/19795/task/19803/stat : 19803 (java) S 19794 19794 18810 0 -1 1077944384 1003 0 0 0 35 9 0 0 20 0 28 0 3612304 14133010432 90145 33554432000 4194304 4196468 140733994259584 140575287466384 140575353775829 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36438016 140733994263740 140733994263916 140733994263916 140733994266575 0
[pid=19795/tid=19804] ppid=19794 vsize=13801768 CPUtime=0.43 cores=4-7,12-15
/proc/19795/task/19804/stat : 19804 (java) S 19794 19794 18810 0 -1 1077944384 877 0 0 0 34 9 0 0 20 0 28 0 3612304 14133010432 90145 33554432000 4194304 4196468 140733994259584 140574946974224 140575353775829 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36438016 140733994263740 140733994263916 140733994263916 140733994266575 0
[pid=19795/tid=19805] ppid=19794 vsize=13801768 CPUtime=0.43 cores=4-7,12-15
/proc/19795/task/19805/stat : 19805 (java) S 19794 19794 18810 0 -1 1077944384 1458 0 0 0 35 8 0 0 20 0 28 0 3612304 14133010432 90145 33554432000 4194304 4196468 140733994259584 140574945921680 140575353775829 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 36438016 140733994263740 140733994263916 140733994263916 140733994266575 0
[pid=19795/tid=19806] ppid=19794 vsize=13801768 CPUtime=1.09 cores=4-7,12-15
/proc/19795/task/19806/stat : 19806 (java) S 19794 19794 18810 0 -1 1077944384 2758 0 0 0 51 58 0 0 20 0 28 0 3612306 14133010432 90145 33554432000 4194304 4196468 140733994259584 140574815410672 140575353776770 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36438016 140733994263740 140733994263916 140733994263916 140733994266575 0
[pid=19795/tid=19807] ppid=19794 vsize=13801768 CPUtime=0 cores=4-7,12-15
/proc/19795/task/19807/stat : 19807 (java) S 19794 19794 18810 0 -1 1077944384 65 0 0 0 0 0 0 0 20 0 28 0 3612307 14133010432 90145 33554432000 4194304 4196468 140733994259584 140574814356960 140575353775829 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36438016 140733994263740 140733994263916 140733994263916 140733994266575 0
[pid=19795/tid=19808] ppid=19794 vsize=13801768 CPUtime=0 cores=4-7,12-15
/proc/19795/task/19808/stat : 19808 (java) S 19794 19794 18810 0 -1 1077944384 68 0 0 0 0 0 0 0 20 0 28 0 3612307 14133010432 90145 33554432000 4194304 4196468 140733994259584 140574813304320 140575353775829 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 36438016 140733994263740 140733994263916 140733994263916 140733994266575 0
[pid=19795/tid=19809] ppid=19794 vsize=13801768 CPUtime=0 cores=4-7,12-15
/proc/19795/task/19809/stat : 19809 (java) S 19794 19794 18810 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 3612311 14133010432 90145 33554432000 4194304 4196468 140733994259584 140574812252880 140575353784219 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 36438016 140733994263740 140733994263916 140733994263916 140733994266575 0
[pid=19795/tid=19810] ppid=19794 vsize=13801768 CPUtime=5.61 cores=4-7,12-15
/proc/19795/task/19810/stat : 19810 (java) S 19794 19794 18810 0 -1 1077944384 30876 0 0 0 558 3 0 0 20 0 28 0 3612311 14133010432 90145 33554432000 4194304 4196468 140733994259584 140574811199472 140575353776770 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36438016 140733994263740 140733994263916 140733994263916 140733994266575 0
[pid=19795/tid=19811] ppid=19794 vsize=13801768 CPUtime=5.17 cores=4-7,12-15
/proc/19795/task/19811/stat : 19811 (java) S 19794 19794 18810 0 -1 1077944384 24858 0 0 0 513 4 0 0 20 0 28 0 3612311 14133010432 90145 33554432000 4194304 4196468 140733994259584 140574810146928 140575353776770 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 36438016 140733994263740 140733994263916 140733994263916 140733994266575 0
[pid=19795/tid=19812] ppid=19794 vsize=13801768 CPUtime=6.48 cores=4-7,12-15
/proc/19795/task/19812/stat : 19812 (java) S 19794 19794 18810 0 -1 1077944384 28488 0 0 0 645 3 0 0 20 0 28 0 3612311 14133010432 90145 33554432000 4194304 4196468 140733994259584 140574809094384 140575353776770 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36438016 140733994263740 140733994263916 140733994263916 140733994266575 0
[pid=19795/tid=19813] ppid=19794 vsize=13801768 CPUtime=1.18 cores=4-7,12-15
/proc/19795/task/19813/stat : 19813 (java) S 19794 19794 18810 0 -1 1077944384 13941 0 0 0 116 2 0 0 20 0 28 0 3612311 14133010432 90145 33554432000 4194304 4196468 140733994259584 140574808041840 140575353776770 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36438016 140733994263740 140733994263916 140733994263916 140733994266575 0
[pid=19795/tid=19814] ppid=19794 vsize=13801768 CPUtime=0 cores=4-7,12-15
/proc/19795/task/19814/stat : 19814 (java) S 19794 19794 18810 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 3612312 14133010432 90145 33554432000 4194304 4196468 140733994259584 140574806989536 140575353775829 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 36438016 140733994263740 140733994263916 140733994263916 140733994266575 0
[pid=19795/tid=19815] ppid=19794 vsize=13801768 CPUtime=0.12 cores=4-7,12-15
/proc/19795/task/19815/stat : 19815 (java) S 19794 19794 18810 0 -1 1077944384 1067 0 0 0 5 7 0 0 20 0 28 0 3612312 14133010432 90145 33554432000 4194304 4196468 140733994259584 140574805937072 140575353776770 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36438016 140733994263740 140733994263916 140733994263916 140733994266575 0
[pid=19795/tid=19816] ppid=19794 vsize=13801768 CPUtime=275.7 cores=4-7,12-15
/proc/19795/task/19816/stat : 19816 (java) R 19794 19794 18810 0 -1 4202560 1417 0 0 0 27568 2 0 0 20 0 28 0 3612399 14133010432 90145 33554432000 4194304 4196468 140733994259584 140574798421240 140574979574757 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 36438016 140733994263740 140733994263916 140733994263916 140733994266575 0
[pid=19795/tid=19817] ppid=19794 vsize=13801768 CPUtime=276.65 cores=4-7,12-15
/proc/19795/task/19817/stat : 19817 (java) R 19794 19794 18810 0 -1 4202560 1627 0 0 0 27664 1 0 0 20 0 28 0 3612399 14133010432 90145 33554432000 4194304 4196468 140733994259584 140574797369864 140574979574093 0 4 0 16800975 0 0 0 -1 14 0 0 0 0 0 6293624 6294260 36438016 140733994263740 140733994263916 140733994263916 140733994266575 0
[pid=19795/tid=19818] ppid=19794 vsize=13801768 CPUtime=277.02 cores=4-7,12-15
/proc/19795/task/19818/stat : 19818 (java) R 19794 19794 18810 0 -1 4202560 1661 0 0 0 27701 1 0 0 20 0 28 0 3612399 14133010432 90145 33554432000 4194304 4196468 140733994259584 140574796315840 140574979487159 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 36438016 140733994263740 140733994263916 140733994263916 140733994266575 0
[pid=19795/tid=19819] ppid=19794 vsize=13801768 CPUtime=276.48 cores=4-7,12-15
/proc/19795/task/19819/stat : 19819 (java) R 19794 19794 18810 0 -1 4202560 2808 0 0 0 27647 1 0 0 20 0 28 0 3612399 14133010432 90145 33554432000 4194304 4196468 140733994259584 140574795266656 140574979575043 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 36438016 140733994263740 140733994263916 140733994263916 140733994266575 0
[pid=19795/tid=19820] ppid=19794 vsize=13801768 CPUtime=276.45 cores=4-7,12-15
/proc/19795/task/19820/stat : 19820 (java) R 19794 19794 18810 0 -1 4202560 1408 0 0 0 27644 1 0 0 20 0 28 0 3612399 14133010432 90145 33554432000 4194304 4196468 140733994259584 140574794211048 140574979487165 0 4 0 16800975 0 0 0 -1 15 0 0 0 0 0 6293624 6294260 36438016 140733994263740 140733994263916 140733994263916 140733994266575 0
[pid=19795/tid=19821] ppid=19794 vsize=13801768 CPUtime=274.99 cores=4-7,12-15
/proc/19795/task/19821/stat : 19821 (java) R 19794 19794 18810 0 -1 4202560 817 0 0 0 27498 1 0 0 20 0 28 0 3612399 14133010432 90145 33554432000 4194304 4196468 140733994259584 140574793158232 140574979574865 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 36438016 140733994263740 140733994263916 140733994263916 140733994266575 0
[pid=19795/tid=19822] ppid=19794 vsize=13801768 CPUtime=276.2 cores=4-7,12-15
/proc/19795/task/19822/stat : 19822 (java) R 19794 19794 18810 0 -1 4202560 1377 0 0 0 27619 1 0 0 20 0 28 0 3612399 14133010432 90145 33554432000 4194304 4196468 140733994259584 140574792106120 140574979574731 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 36438016 140733994263740 140733994263916 140733994263916 140733994266575 0
[pid=19795/tid=19823] ppid=19794 vsize=13801768 CPUtime=277.23 cores=4-7,12-15
/proc/19795/task/19823/stat : 19823 (java) R 19794 19794 18810 0 -1 4202560 1083 0 0 0 27723 0 0 0 20 0 28 0 3612399 14133010432 90145 33554432000 4194304 4196468 140733994259584 140574791053464 140574979574636 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 36438016 140733994263740 140733994263916 140733994263916 140733994266575 0
Current children cumulated CPU time (s) 2235.01
Current children cumulated vsize (KiB) 13811280



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+303.201 s]
/proc/loadavg: 16.15 15.80 12.34 17/303 19924
/proc/meminfo: memFree=31135172/32770624 swapFree=5944/211104
[pid=19794] ppid=19791 vsize=9512 CPUtime=0 cores=4-7,12-15
/proc/19794/stat : 19794 (xcsp3-exec) S 19791 19794 18810 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 3612302 9740288 346 33554432000 4194304 5098028 140730111165184 140730111163288 140157571957372 0 65536 4100 65538 18446744071579417331 0 0 17 14 0 0 0 0 0 7196144 7232144 33619968 140730111169678 140730111169888 140730111169888 140730111172587 0
/proc/19794/statm: 2378 346 289 221 0 87 0
[pid=19795] ppid=19794 vsize=13801768 CPUtime=2400.43 cores=4-7,12-15
/proc/19795/stat : 19795 (java) S 19794 19794 18810 0 -1 1077944320 132469 0 0 0 239860 183 0 0 20 0 28 0 3612303 14133010432 94268 33554432000 4194304 4196468 140733994259584 140733994242128 140575353765623 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 36438016 140733994263740 140733994263916 140733994263916 140733994266575 0
/proc/19795/statm: 3450442 94268 3286 1 0 3437675 0
[pid=19795/tid=19796] ppid=19794 vsize=13801768 CPUtime=0.94 cores=4-7,12-15
/proc/19795/task/19796/stat : 19796 (java) S 19794 19794 18810 0 -1 1077944384 7067 0 0 0 89 5 0 0 20 0 28 0 3612303 14133010432 94268 33554432000 4194304 4196468 140733994259584 140575358006400 140575353775829 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 36438016 140733994263740 140733994263916 140733994263916 140733994266575 0
[pid=19795/tid=19798] ppid=19794 vsize=13801768 CPUtime=0.46 cores=4-7,12-15
/proc/19795/task/19798/stat : 19798 (java) S 19794 19794 18810 0 -1 1077944384 1469 0 0 0 38 8 0 0 20 0 28 0 3612304 14133010432 94268 33554432000 4194304 4196468 140733994259584 140575292730128 140575353775829 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36438016 140733994263740 140733994263916 140733994263916 140733994266575 0
[pid=19795/tid=19799] ppid=19794 vsize=13801768 CPUtime=0.45 cores=4-7,12-15
/proc/19795/task/19799/stat : 19799 (java) S 19794 19794 18810 0 -1 1077944384 1774 0 0 0 37 8 0 0 20 0 28 0 3612304 14133010432 94268 33554432000 4194304 4196468 140733994259584 140575291677584 140575353775829 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 36438016 140733994263740 140733994263916 140733994263916 140733994266575 0
[pid=19795/tid=19800] ppid=19794 vsize=13801768 CPUtime=0.47 cores=4-7,12-15
/proc/19795/task/19800/stat : 19800 (java) S 19794 19794 18810 0 -1 1077944384 901 0 0 0 38 9 0 0 20 0 28 0 3612304 14133010432 94268 33554432000 4194304 4196468 140733994259584 140575290625040 140575353775829 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36438016 140733994263740 140733994263916 140733994263916 140733994266575 0
[pid=19795/tid=19801] ppid=19794 vsize=13801768 CPUtime=0.47 cores=4-7,12-15
/proc/19795/task/19801/stat : 19801 (java) S 19794 19794 18810 0 -1 1077944384 662 0 0 0 38 9 0 0 20 0 28 0 3612304 14133010432 94268 33554432000 4194304 4196468 140733994259584 140575289572496 140575353775829 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 36438016 140733994263740 140733994263916 140733994263916 140733994266575 0
[pid=19795/tid=19802] ppid=19794 vsize=13801768 CPUtime=0.49 cores=4-7,12-15
/proc/19795/task/19802/stat : 19802 (java) S 19794 19794 18810 0 -1 1077944384 1092 0 0 0 40 9 0 0 20 0 28 0 3612304 14133010432 94268 33554432000 4194304 4196468 140733994259584 140575288518928 140575353775829 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 36438016 140733994263740 140733994263916 140733994263916 140733994266575 0
[pid=19795/tid=19803] ppid=19794 vsize=13801768 CPUtime=0.48 cores=4-7,12-15
/proc/19795/task/19803/stat : 19803 (java) S 19794 19794 18810 0 -1 1077944384 1010 0 0 0 38 10 0 0 20 0 28 0 3612304 14133010432 94268 33554432000 4194304 4196468 140733994259584 140575287466384 140575353775829 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36438016 140733994263740 140733994263916 140733994263916 140733994266575 0
[pid=19795/tid=19804] ppid=19794 vsize=13801768 CPUtime=0.48 cores=4-7,12-15
/proc/19795/task/19804/stat : 19804 (java) S 19794 19794 18810 0 -1 1077944384 886 0 0 0 38 10 0 0 20 0 28 0 3612304 14133010432 94268 33554432000 4194304 4196468 140733994259584 140574946974224 140575353775829 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36438016 140733994263740 140733994263916 140733994263916 140733994266575 0
[pid=19795/tid=19805] ppid=19794 vsize=13801768 CPUtime=0.47 cores=4-7,12-15
/proc/19795/task/19805/stat : 19805 (java) S 19794 19794 18810 0 -1 1077944384 1465 0 0 0 38 9 0 0 20 0 28 0 3612304 14133010432 94268 33554432000 4194304 4196468 140733994259584 140574945921680 140575353775829 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 36438016 140733994263740 140733994263916 140733994263916 140733994266575 0
[pid=19795/tid=19806] ppid=19794 vsize=13801768 CPUtime=1.26 cores=4-7,12-15
/proc/19795/task/19806/stat : 19806 (java) S 19794 19794 18810 0 -1 1077944384 2762 0 0 0 59 67 0 0 20 0 28 0 3612306 14133010432 94268 33554432000 4194304 4196468 140733994259584 140574815410672 140575353776770 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36438016 140733994263740 140733994263916 140733994263916 140733994266575 0
[pid=19795/tid=19807] ppid=19794 vsize=13801768 CPUtime=0 cores=4-7,12-15
/proc/19795/task/19807/stat : 19807 (java) S 19794 19794 18810 0 -1 1077944384 65 0 0 0 0 0 0 0 20 0 28 0 3612307 14133010432 94268 33554432000 4194304 4196468 140733994259584 140574814356960 140575353775829 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36438016 140733994263740 140733994263916 140733994263916 140733994266575 0
[pid=19795/tid=19808] ppid=19794 vsize=13801768 CPUtime=0 cores=4-7,12-15
/proc/19795/task/19808/stat : 19808 (java) S 19794 19794 18810 0 -1 1077944384 68 0 0 0 0 0 0 0 20 0 28 0 3612307 14133010432 94268 33554432000 4194304 4196468 140733994259584 140574813304320 140575353775829 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 36438016 140733994263740 140733994263916 140733994263916 140733994266575 0
[pid=19795/tid=19809] ppid=19794 vsize=13801768 CPUtime=0 cores=4-7,12-15
/proc/19795/task/19809/stat : 19809 (java) S 19794 19794 18810 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 3612311 14133010432 94268 33554432000 4194304 4196468 140733994259584 140574812252880 140575353784219 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 36438016 140733994263740 140733994263916 140733994263916 140733994266575 0
[pid=19795/tid=19810] ppid=19794 vsize=13801768 CPUtime=5.61 cores=4-7,12-15
/proc/19795/task/19810/stat : 19810 (java) S 19794 19794 18810 0 -1 1077944384 30876 0 0 0 558 3 0 0 20 0 28 0 3612311 14133010432 94268 33554432000 4194304 4196468 140733994259584 140574811199472 140575353776770 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36438016 140733994263740 140733994263916 140733994263916 140733994266575 0
[pid=19795/tid=19811] ppid=19794 vsize=13801768 CPUtime=5.17 cores=4-7,12-15
/proc/19795/task/19811/stat : 19811 (java) S 19794 19794 18810 0 -1 1077944384 24858 0 0 0 513 4 0 0 20 0 28 0 3612311 14133010432 94268 33554432000 4194304 4196468 140733994259584 140574810146928 140575353776770 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 36438016 140733994263740 140733994263916 140733994263916 140733994266575 0
[pid=19795/tid=19812] ppid=19794 vsize=13801768 CPUtime=6.48 cores=4-7,12-15
/proc/19795/task/19812/stat : 19812 (java) S 19794 19794 18810 0 -1 1077944384 28488 0 0 0 645 3 0 0 20 0 28 0 3612311 14133010432 94268 33554432000 4194304 4196468 140733994259584 140574809094384 140575353776770 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36438016 140733994263740 140733994263916 140733994263916 140733994266575 0
[pid=19795/tid=19813] ppid=19794 vsize=13801768 CPUtime=1.19 cores=4-7,12-15
/proc/19795/task/19813/stat : 19813 (java) S 19794 19794 18810 0 -1 1077944384 14424 0 0 0 117 2 0 0 20 0 28 0 3612311 14133010432 94268 33554432000 4194304 4196468 140733994259584 140574808041840 140575353776770 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36438016 140733994263740 140733994263916 140733994263916 140733994266575 0
[pid=19795/tid=19814] ppid=19794 vsize=13801768 CPUtime=0 cores=4-7,12-15
/proc/19795/task/19814/stat : 19814 (java) S 19794 19794 18810 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 3612312 14133010432 94268 33554432000 4194304 4196468 140733994259584 140574806989536 140575353775829 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 36438016 140733994263740 140733994263916 140733994263916 140733994266575 0
[pid=19795/tid=19815] ppid=19794 vsize=13801768 CPUtime=0.13 cores=4-7,12-15
/proc/19795/task/19815/stat : 19815 (java) S 19794 19794 18810 0 -1 1077944384 1069 0 0 0 5 8 0 0 20 0 28 0 3612312 14133010432 94268 33554432000 4194304 4196468 140733994259584 140574805937072 140575353776770 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36438016 140733994263740 140733994263916 140733994263916 140733994266575 0
[pid=19795/tid=19816] ppid=19794 vsize=13801768 CPUtime=296.25 cores=4-7,12-15
/proc/19795/task/19816/stat : 19816 (java) R 19794 19794 18810 0 -1 4202560 1443 0 0 0 29623 2 0 0 20 0 28 0 3612399 14133010432 94268 33554432000 4194304 4196468 140733994259584 140574798421240 140574979575006 0 4 0 16800975 0 0 0 -1 15 0 0 0 0 0 6293624 6294260 36438016 140733994263740 140733994263916 140733994263916 140733994266575 0
[pid=19795/tid=19817] ppid=19794 vsize=13801768 CPUtime=297.17 cores=4-7,12-15
/proc/19795/task/19817/stat : 19817 (java) R 19794 19794 18810 0 -1 4202560 1674 0 0 0 29716 1 0 0 20 0 28 0 3612399 14133010432 94268 33554432000 4194304 4196468 140733994259584 140574797369592 140574978956463 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 36438016 140733994263740 140733994263916 140733994263916 140733994266575 0
[pid=19795/tid=19818] ppid=19794 vsize=13801768 CPUtime=297.62 cores=4-7,12-15
/proc/19795/task/19818/stat : 19818 (java) R 19794 19794 18810 0 -1 4202560 1671 0 0 0 29761 1 0 0 20 0 28 0 3612399 14133010432 94268 33554432000 4194304 4196468 140733994259584 140574796315840 140574979487197 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 36438016 140733994263740 140733994263916 140733994263916 140733994266575 0
[pid=19795/tid=19819] ppid=19794 vsize=13801768 CPUtime=297.22 cores=4-7,12-15
/proc/19795/task/19819/stat : 19819 (java) R 19794 19794 18810 0 -1 4202560 2812 0 0 0 29721 1 0 0 20 0 28 0 3612399 14133010432 94268 33554432000 4194304 4196468 140733994259584 140574795263592 140574979487057 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 36438016 140733994263740 140733994263916 140733994263916 140733994266575 0
[pid=19795/tid=19820] ppid=19794 vsize=13801768 CPUtime=297 cores=4-7,12-15
/proc/19795/task/19820/stat : 19820 (java) R 19794 19794 18810 0 -1 4202560 1409 0 0 0 29699 1 0 0 20 0 28 0 3612399 14133010432 94268 33554432000 4194304 4196468 140733994259584 140574794211048 140574979574299 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 36438016 140733994263740 140733994263916 140733994263916 140733994266575 0
[pid=19795/tid=19821] ppid=19794 vsize=13801768 CPUtime=295.63 cores=4-7,12-15
/proc/19795/task/19821/stat : 19821 (java) R 19794 19794 18810 0 -1 4202560 818 0 0 0 29562 1 0 0 20 0 28 0 3612399 14133010432 94268 33554432000 4194304 4196468 140733994259584 140574793158664 140574979574757 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 36438016 140733994263740 140733994263916 140733994263916 140733994266575 0
[pid=19795/tid=19822] ppid=19794 vsize=13801768 CPUtime=296.88 cores=4-7,12-15
/proc/19795/task/19822/stat : 19822 (java) R 19794 19794 18810 0 -1 4202560 1380 0 0 0 29687 1 0 0 20 0 28 0 3612399 14133010432 94268 33554432000 4194304 4196468 140733994259584 140574792109024 140574977130795 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 36438016 140733994263740 140733994263916 140733994263916 140733994266575 0
[pid=19795/tid=19823] ppid=19794 vsize=13801768 CPUtime=297.89 cores=4-7,12-15
/proc/19795/task/19823/stat : 19823 (java) R 19794 19794 18810 0 -1 4202560 1087 0 0 0 29789 0 0 0 20 0 28 0 3612399 14133010432 94268 33554432000 4194304 4196468 140733994259584 140574791053464 140574975601689 0 4 0 16800975 0 0 0 -1 14 0 0 0 0 0 6293624 6294260 36438016 140733994263740 140733994263916 140733994263916 140733994266575 0
Current children cumulated CPU time (s) 2400.43
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 19795 sig 9
??? kill 19794 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 19794 and gives
#  childrusage.ru_utime.tv_sec=0
#  childrusage.ru_utime.tv_usec=1025
#  childrusage.ru_stime.tv_sec=0
#  childrusage.ru_stime.tv_usec=2051
# CPU time returned by wait4() is 0.003076
# while last known CPU time is 2400.43
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...

Real time (s): 303.212
CPU time (s): 2400.43
CPU user time (s): 2398.6
CPU system time (s): 1.83
CPU usage (%): 791.667
Max. virtual memory (cumulated for all children) (KiB): 13814104

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.001025
system time used= 0.002051
maximum resident set size= 1388
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 518
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= 1

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 3.65169 second user time and 4.27149 second system time

The end

Launcher Data 

Begin job on node132 at 2017-07-22 02:30:51
IDJOB=4244548
IDBENCH=115776
IDSOLVER=2625
FILE ID=node132/4244548-1500683451
RUNJOBID= node132-1500682387-18842
PBS_JOBID= 20623322
Free space on /tmp= 61760 MiB

SOLVER NAME= choco-solver 4.0.5
BENCH NAME= XCSP17/Scheduling/Scheduling-js-taillard/Taillard-js-020-15-1.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-4244548-1500683451/watcher-4244548-1500683451 -o /tmp/evaluation-result-4244548-1500683451/solver-4244548-1500683451 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node132-1500682387-18842 --watchdog 2560  ./xcsp3-exec -dir HOME -tl 2400 -p 8 -ml 10000 -tdir HOME -seed 1776462282 HOME/instance-4244548-1500683451.xml

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

MD5SUM BENCH= aac981b64b3d0bc7b0997201d0c57f9b
RANDOM SEED=1776462282

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

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 8
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.61
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		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.61
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 8
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.61
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		: 1733.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	: 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		: 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	: 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	: 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	: 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		: 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	: 5333.61
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 9
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 8
core id		: 1
cpu cores	: 4
apicid		: 3
initial apicid	: 3
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.61
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		: 2
cpu cores	: 4
apicid		: 5
initial apicid	: 5
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.61
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 11
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 8
core id		: 3
cpu cores	: 4
apicid		: 7
initial apicid	: 7
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.61
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		: 1867.000
cache size	: 8192 KB
physical id	: 1
siblings	: 8
core id		: 0
cpu cores	: 4
apicid		: 17
initial apicid	: 17
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
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		: 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	: 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	: 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	: 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.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32770624 kB
MemFree:        31733984 kB
MemAvailable:   31782100 kB
Buffers:           46628 kB
Cached:           310468 kB
SwapCached:            0 kB
Active:           437744 kB
Inactive:         219296 kB
Active(anon):     302732 kB
Inactive(anon):     8616 kB
Active(file):     135012 kB
Inactive(file):   210680 kB
Unevictable:        5944 kB
Mlocked:            5944 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:              7860 kB
Writeback:             0 kB
AnonPages:        309544 kB
Mapped:            43020 kB
Shmem:              8872 kB
Slab:              70496 kB
SReclaimable:      36520 kB
SUnreclaim:        33976 kB
KernelStack:        5088 kB
PageTables:         6412 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    1140648 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    157696 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      140672 kB
DirectMap2M:    33404928 kB

Free space on /tmp at the end= 61752 MiB
End job on node132 at 2017-07-22 02:35:55