Trace number 4403060

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
Concrete 3.12.3OPT2 10.1638 4.27402

General information on the benchmark

NameChessboardColoration/ChessboardColoration-int-s2/
ChessboardColoration-int-05-07.xml
MD5SUM91a6e92a2ae9197e0e5abb82e178125f
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark2
Best CPU time to get the best result obtained on this benchmark0.310586
Satisfiable
(Un)Satisfiability was proved
Number of variables35
Number of constraints211
Number of domains1
Minimum domain size35
Maximum domain size35
Distribution of domain sizes[{"size":35,"count":35}]
Minimum variable degree26
Maximum variable degree26
Distribution of variable degrees[{"degree":26,"count":35}]
Minimum constraint arity4
Maximum constraint arity35
Distribution of constraint arities[{"arity":4,"count":210},{"arity":35,"count":1}]
Number of extensional constraints0
Number of intensional constraints210
Distribution of constraint types[{"type":"intension","count":210},{"type":"lex","count":1}]
Optimization problemYES
Type of objectivemin MAXIMUM

Quality of the solution as a function of time


Download the above graph as a PDF file / as an EPS file

Solver Data 

0.78/0.56	c Concrete v3.12.3.1568965526260 running
8.64/3.78	o 34
8.97/3.83	o 33
8.97/3.89	o 32
9.30/3.92	o 31
9.30/3.93	o 30
9.30/3.97	o 29
9.30/4.00	o 4
9.62/4.02	o 3
9.62/4.06	o 2
9.99/4.15	v <instantiation
9.99/4.15	v         cost = '2'>
9.99/4.15	v       <list>
9.99/4.15	v         x[0][0] x[0][1] x[0][2] x[0][3] x[0][4] x[0][5] x[0][6] x[1][0] x[1][1] x[1][2] x[1][3] x[1][4] x[1][5] x[1][6] x[2][0] x[2][1] x[2][2] x[2][3] x[2][4] x[2][5] x[2][6] x[3][0] x[3][1] x[3][2] x[3][3] x[3][4] x[3][5] x[3][6] x[4][0] x[4][1] x[4][2] x[4][3] x[4][4] x[4][5] x[4][6]
9.99/4.15	v       </list>
9.99/4.15	v       <values>
9.99/4.15	v         0 0 2 2 2 2 2 0 1 0 1 1 1 2 0 1 1 0 0 2 1 0 2 1 1 2 0 0 2 2 2 1 0 0 1
9.99/4.15	v       </values>
9.99/4.15	v     </instantiation>
9.99/4.15	s OPTIMUM FOUND

Verifier Data 

OK	2

Watcher Data 

runsolver version 3.4.0 (svn: 3012) Copyright (C) 2010-2013 Olivier ROUSSEL

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.

NUMA information:
  number of nodes: 2
  memory of node 0: 16374 MiB (3768 MiB free)
  memory of node 1: 16384 MiB (1299 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /var/tmp/evaluation-result-4403060-1568984239/watcher-4403060-1568984239 -o /var/tmp/evaluation-result-4403060-1568984239/solver-4403060-1568984239 -C 2400 -W 2500 -M 15500 --bin-var /var/tmp/runsolver-exch-node107-1568963918-28492 --watchdog 2560 bin/xcsp-3-concrete -J-Xss32M -randomseed=99636543 HOME/instance-4403060-1568984239.xml 

running on 4 cores: 0,2,4,6

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
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB

solver pid=889, runsolver pid=886

[startup+0.100132 s]*
/proc/loadavg: 1.57 1.54 1.57 3/217 954
/proc/meminfo: memFree=5183712/32770624 swapFree=66952548/67108860
[pid=889] ppid=886 vsize=9972712 memory=16640 CPUtime=0.08 cores=0,2,4,6
/proc/889/stat : 889 (java) S 886 889 28461 0 -1 1077944320 4381 13260 0 0 0 1 5 2 20 0 6 0 474679502 10212057088 4160 33554432000 4194304 4196468 140731042407824 140731042390368 140377526079223 0 0 0 16784584 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 7323648 140731042413157 140731042415797 140731042415797 140731042418639 0
/proc/889/statm: 2493178 4160 1932 1 0 2481616 0
[pid=889/tid=949] ppid=886 vsize=9972712 memory=8389772277269004345 CPUtime=0.08 cores=0,2,4,6
/proc/889/task/949/stat : 949 (java) R 886 889 28461 0 -1 4202560 2252 13260 0 0 1 0 5 2 20 0 6 0 474679511 10212057088 4738 33554432000 4194304 4196468 140731042407824 140377497915984 140377511761749 0 4 0 16784584 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 7323648 140731042413157 140731042415797 140731042415797 140731042418639 0
[pid=889/tid=950] ppid=886 vsize=9972712 memory=4294967661 CPUtime=0.07 cores=0,2,4,6
/proc/889/task/950/stat : 950 (java) S 886 889 28461 0 -1 1077944384 1 13260 0 0 0 0 5 2 20 0 6 0 474679512 10212057088 4738 33554432000 4194304 4196468 140731042407824 140377530321936 140377526089429 0 4 0 16784584 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7323648 140731042413157 140731042415797 140731042415797 140731042418639 0
[pid=889/tid=951] ppid=886 vsize=9972712 memory=139773154712536 CPUtime=0.07 cores=0,2,4,6
/proc/889/task/951/stat : 951 (java) S 886 889 28461 0 -1 1077944384 1 13260 0 0 0 0 5 2 20 0 6 0 474679512 10212057088 4738 33554432000 4194304 4196468 140731042407824 140377451281552 140377526089429 0 4 0 16784584 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7323648 140731042413157 140731042415797 140731042415797 140731042418639 0
[pid=889/tid=952] ppid=886 vsize=9972712 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/889/task/952/stat : 952 (java) S 886 889 28461 0 -1 1077944384 1 13260 0 0 0 0 5 2 20 0 6 0 474679512 10212057088 4738 33554432000 4194304 4196468 140731042407824 140377097841424 140377526089429 0 4 0 16784584 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7323648 140731042413157 140731042415797 140731042415797 140731042418639 0
[pid=889/tid=954] ppid=886 vsize=9972712 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/889/task/954/stat : 954 (java) S 886 889 28461 0 -1 1077944384 2 13260 0 0 0 0 5 2 20 0 6 0 474679512 10212057088 4738 33554432000 4194304 4196468 140731042407824 140377096788880 140377526089429 0 4 0 16784584 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7323648 140731042413157 140731042415797 140731042415797 140731042418639 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 9972712 KiB
Current children cumulated memory: 16640 KiB

[startup+0.21082 s]*
/proc/loadavg: 1.57 1.54 1.57 3/226 964
/proc/meminfo: memFree=5165000/32770624 swapFree=66952548/67108860
[pid=889] ppid=886 vsize=10819716 memory=41024 CPUtime=0.26 cores=0,2,4,6
/proc/889/stat : 889 (java) S 886 889 28461 0 -1 1077944320 7056 13260 0 0 17 2 5 2 20 0 15 0 474679502 11079389184 10256 33554432000 4194304 4196468 140731042407824 140731042390368 140377526079223 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 7323648 140731042413157 140731042415797 140731042415797 140731042418639 0
/proc/889/statm: 2704929 10256 3186 1 0 2667149 0
[pid=889/tid=949] ppid=886 vsize=10820164 memory=8389772277269004345 CPUtime=0.19 cores=0,2,4,6
/proc/889/task/949/stat : 949 (java) R 886 889 28461 0 -1 4202560 3831 13260 0 0 11 1 5 2 20 0 15 0 474679511 11079847936 10418 33554432000 4194304 4196468 140731042407824 140377497890256 140377129472900 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 7323648 140731042413157 140731042415797 140731042415797 140731042418639 0
[pid=889/tid=950] ppid=886 vsize=10820164 memory=4294967661 CPUtime=0.07 cores=0,2,4,6
/proc/889/task/950/stat : 950 (java) S 886 889 28461 0 -1 1077944384 1 13260 0 0 0 0 5 2 20 0 15 0 474679512 11079847936 10418 33554432000 4194304 4196468 140731042407824 140377530321936 140377526089429 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7323648 140731042413157 140731042415797 140731042415797 140731042418639 0
[pid=889/tid=951] ppid=886 vsize=10820164 memory=139773154712536 CPUtime=0.07 cores=0,2,4,6
/proc/889/task/951/stat : 951 (java) S 886 889 28461 0 -1 1077944384 1 13260 0 0 0 0 5 2 20 0 15 0 474679512 11079847936 10418 33554432000 4194304 4196468 140731042407824 140377451281552 140377526089429 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7323648 140731042413157 140731042415797 140731042415797 140731042418639 0
[pid=889/tid=952] ppid=886 vsize=10820176 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/889/task/952/stat : 952 (java) S 886 889 28461 0 -1 1077944384 1 13260 0 0 0 0 5 2 20 0 15 0 474679512 11079860224 10418 33554432000 4194304 4196468 140731042407824 140377097841424 140377526089429 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7323648 140731042413157 140731042415797 140731042415797 140731042418639 0
[pid=889/tid=954] ppid=886 vsize=10820176 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/889/task/954/stat : 954 (java) S 886 889 28461 0 -1 1077944384 2 13260 0 0 0 0 5 2 20 0 15 0 474679512 11079860224 10418 33554432000 4194304 4196468 140731042407824 140377096788880 140377526089429 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7323648 140731042413157 140731042415797 140731042415797 140731042418639 0
[pid=889/tid=955] ppid=886 vsize=10820176 memory=139773151372928 CPUtime=0.07 cores=0,2,4,6
/proc/889/task/955/stat : 955 (java) S 886 889 28461 0 -1 1077944384 2 13260 0 0 0 0 5 2 20 0 15 0 474679513 11079860224 10418 33554432000 4194304 4196468 140731042407824 140377052694768 140377526090370 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7323648 140731042413157 140731042415797 140731042415797 140731042418639 0
[pid=889/tid=956] ppid=886 vsize=10820176 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/889/task/956/stat : 956 (java) S 886 889 28461 0 -1 1077944384 13 13260 0 0 0 0 5 2 20 0 15 0 474679514 11079860224 10418 33554432000 4194304 4196468 140731042407824 140376979530912 140377526089429 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7323648 140731042413157 140731042415797 140731042415797 140731042418639 0
[pid=889/tid=957] ppid=886 vsize=10820176 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/889/task/957/stat : 957 (java) S 886 889 28461 0 -1 1077944384 1 13260 0 0 0 0 5 2 20 0 15 0 474679514 11079860224 10418 33554432000 4194304 4196468 140731042407824 140376375550704 140377526089429 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7323648 140731042413157 140731042415797 140731042415797 140731042418639 0
[pid=889/tid=958] ppid=886 vsize=10820176 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/889/task/958/stat : 958 (java) S 886 889 28461 0 -1 1077944384 3 13260 0 0 0 0 5 2 20 0 15 0 474679517 11079860224 10418 33554432000 4194304 4196468 140731042407824 140376068151248 140377526097819 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7323648 140731042413157 140731042415797 140731042415797 140731042418639 0
[pid=889/tid=959] ppid=886 vsize=10820184 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/889/task/959/stat : 959 (java) R 886 889 28461 0 -1 4202560 352 13260 0 0 1 0 5 2 20 0 15 0 474679517 11079868416 10418 33554432000 4194304 4196468 140731042407824 140377051642608 140377505576509 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 7323648 140731042413157 140731042415797 140731042415797 140731042418639 0
[pid=889/tid=961] ppid=886 vsize=10820184 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/889/task/961/stat : 961 (java) S 886 889 28461 0 -1 1077944384 297 13260 0 0 1 0 5 2 20 0 15 0 474679517 11079868416 10418 33554432000 4194304 4196468 140731042407824 140377050590064 140377526090370 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7323648 140731042413157 140731042415797 140731042415797 140731042418639 0
[pid=889/tid=962] ppid=886 vsize=10820184 memory=139773151372928 CPUtime=0.1 cores=0,2,4,6
/proc/889/task/962/stat : 962 (java) R 886 889 28461 0 -1 1077944384 617 13260 0 0 3 0 5 2 20 0 15 0 474679517 11079868416 10418 33554432000 4194304 4196468 140731042407824 140377049537008 140377526090370 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 7323648 140731042413157 140731042415797 140731042415797 140731042418639 0
[pid=889/tid=963] ppid=886 vsize=10820184 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/889/task/963/stat : 963 (java) S 886 889 28461 0 -1 1077944384 3 13260 0 0 0 0 5 2 20 0 15 0 474679517 11079868416 10418 33554432000 4194304 4196468 140731042407824 140376034593632 140377526089429 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7323648 140731042413157 140731042415797 140731042415797 140731042418639 0
[pid=889/tid=964] ppid=886 vsize=10820184 memory=139773151372928 CPUtime=0.07 cores=0,2,4,6
/proc/889/task/964/stat : 964 (java) S 886 889 28461 0 -1 1077944384 1 13260 0 0 0 0 5 2 20 0 15 0 474679517 11079868416 10418 33554432000 4194304 4196468 140731042407824 140377048484400 140377526090370 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7323648 140731042413157 140731042415797 140731042415797 140731042418639 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 10819716 KiB
Current children cumulated memory: 41024 KiB

[startup+0.310374 s]*
/proc/loadavg: 1.57 1.54 1.57 3/226 964
/proc/meminfo: memFree=5152368/32770624 swapFree=66952548/67108860
[pid=889] ppid=886 vsize=10820196 memory=50056 CPUtime=0.39 cores=0,2,4,6
/proc/889/stat : 889 (java) S 886 889 28461 0 -1 1077944320 10745 13260 0 0 29 3 5 2 20 0 15 0 474679502 11079880704 12514 33554432000 4194304 4196468 140731042407824 140731042390368 140377526079223 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 7323648 140731042413157 140731042415797 140731042415797 140731042418639 0
/proc/889/statm: 2705049 12514 3317 1 0 2667149 0
[pid=889/tid=949] ppid=886 vsize=10820196 memory=1398720917958146503 CPUtime=0.28 cores=0,2,4,6
/proc/889/task/949/stat : 949 (java) R 886 889 28461 0 -1 4202560 7236 13260 0 0 19 2 5 2 20 0 15 0 474679511 11079880704 12514 33554432000 4194304 4196468 140731042407824 140377497890768 140377510159740 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 7323648 140731042413157 140731042415797 140731042415797 140731042418639 0
[pid=889/tid=950] ppid=886 vsize=10820196 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/889/task/950/stat : 950 (java) S 886 889 28461 0 -1 1077944384 1 13260 0 0 0 0 5 2 20 0 15 0 474679512 11079880704 12514 33554432000 4194304 4196468 140731042407824 140377530321936 140377526089429 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7323648 140731042413157 140731042415797 140731042415797 140731042418639 0
[pid=889/tid=951] ppid=886 vsize=10820196 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/889/task/951/stat : 951 (java) S 886 889 28461 0 -1 1077944384 1 13260 0 0 0 0 5 2 20 0 15 0 474679512 11079880704 12514 33554432000 4194304 4196468 140731042407824 140377451281552 140377526089429 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7323648 140731042413157 140731042415797 140731042415797 140731042418639 0
[pid=889/tid=952] ppid=886 vsize=10820196 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/889/task/952/stat : 952 (java) S 886 889 28461 0 -1 1077944384 1 13260 0 0 0 0 5 2 20 0 15 0 474679512 11079880704 12514 33554432000 4194304 4196468 140731042407824 140377097841424 140377526089429 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7323648 140731042413157 140731042415797 140731042415797 140731042418639 0
[pid=889/tid=954] ppid=886 vsize=10820196 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/889/task/954/stat : 954 (java) S 886 889 28461 0 -1 1077944384 2 13260 0 0 0 0 5 2 20 0 15 0 474679512 11079880704 12514 33554432000 4194304 4196468 140731042407824 140377096788880 140377526089429 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7323648 140731042413157 140731042415797 140731042415797 140731042418639 0
[pid=889/tid=955] ppid=886 vsize=10820196 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/889/task/955/stat : 955 (java) S 886 889 28461 0 -1 1077944384 2 13260 0 0 0 0 5 2 20 0 15 0 474679513 11079880704 12514 33554432000 4194304 4196468 140731042407824 140377052694768 140377526090370 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7323648 140731042413157 140731042415797 140731042415797 140731042418639 0
[pid=889/tid=956] ppid=886 vsize=10820196 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/889/task/956/stat : 956 (java) S 886 889 28461 0 -1 1077944384 13 13260 0 0 0 0 5 2 20 0 15 0 474679514 11079880704 12514 33554432000 4194304 4196468 140731042407824 140376979530912 140377526089429 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7323648 140731042413157 140731042415797 140731042415797 140731042418639 0
[pid=889/tid=957] ppid=886 vsize=10820196 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/889/task/957/stat : 957 (java) S 886 889 28461 0 -1 1077944384 1 13260 0 0 0 0 5 2 20 0 15 0 474679514 11079880704 12514 33554432000 4194304 4196468 140731042407824 140376375550704 140377526089429 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7323648 140731042413157 140731042415797 140731042415797 140731042418639 0
[pid=889/tid=958] ppid=886 vsize=10820196 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/889/task/958/stat : 958 (java) S 886 889 28461 0 -1 1077944384 3 13260 0 0 0 0 5 2 20 0 15 0 474679517 11079880704 12514 33554432000 4194304 4196468 140731042407824 140376068151248 140377526097819 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7323648 140731042413157 140731042415797 140731042415797 140731042418639 0
[pid=889/tid=959] ppid=886 vsize=10820196 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/889/task/959/stat : 959 (java) S 886 889 28461 0 -1 1077944384 362 13260 0 0 2 0 5 2 20 0 15 0 474679517 11079880704 12514 33554432000 4194304 4196468 140731042407824 140377051642608 140377526090370 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7323648 140731042413157 140731042415797 140731042415797 140731042418639 0
[pid=889/tid=961] ppid=886 vsize=10820196 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/889/task/961/stat : 961 (java) S 886 889 28461 0 -1 1077944384 297 13260 0 0 1 0 5 2 20 0 15 0 474679517 11079880704 12514 33554432000 4194304 4196468 140731042407824 140377050590064 140377526090370 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7323648 140731042413157 140731042415797 140731042415797 140731042418639 0
[pid=889/tid=962] ppid=886 vsize=10820196 memory=0 CPUtime=0.12 cores=0,2,4,6
/proc/889/task/962/stat : 962 (java) S 886 889 28461 0 -1 1077944384 636 13260 0 0 5 0 5 2 20 0 15 0 474679517 11079880704 12514 33554432000 4194304 4196468 140731042407824 140377049537008 140377526090370 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7323648 140731042413157 140731042415797 140731042415797 140731042418639 0
[pid=889/tid=963] ppid=886 vsize=10820196 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/889/task/963/stat : 963 (java) S 886 889 28461 0 -1 1077944384 3 13260 0 0 0 0 5 2 20 0 15 0 474679517 11079880704 12514 33554432000 4194304 4196468 140731042407824 140376034593632 140377526089429 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7323648 140731042413157 140731042415797 140731042415797 140731042418639 0
[pid=889/tid=964] ppid=886 vsize=10820196 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/889/task/964/stat : 964 (java) S 886 889 28461 0 -1 1077944384 1 13260 0 0 0 0 5 2 20 0 15 0 474679517 11079880704 12514 33554432000 4194304 4196468 140731042407824 140377048484400 140377526090370 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7323648 140731042413157 140731042415797 140731042415797 140731042418639 0
Current children cumulated CPU time: 0.39 s
Current children cumulated vsize: 10820196 KiB
Current children cumulated memory: 50056 KiB

[startup+0.700714 s]
/proc/loadavg: 1.57 1.54 1.57 3/226 964
/proc/meminfo: memFree=5137220/32770624 swapFree=66952548/67108860
[pid=889] ppid=886 vsize=10824364 memory=83332 CPUtime=1.14 cores=0,2,4,6
/proc/889/stat : 889 (java) S 886 889 28461 0 -1 1077944320 15062 13260 0 0 102 5 5 2 20 0 15 0 474679502 11084148736 20833 33554432000 4194304 4196468 140731042407824 140731042390368 140377526079223 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 7323648 140731042413157 140731042415797 140731042415797 140731042418639 0
/proc/889/statm: 2706091 20833 3513 1 0 2668173 0
[pid=889/tid=949] ppid=886 vsize=10824364 memory=7595725831727968097 CPUtime=0.66 cores=0,2,4,6
/proc/889/task/949/stat : 949 (java) R 886 889 28461 0 -1 4202560 10439 13260 0 0 56 3 5 2 20 0 15 0 474679511 11084148736 20833 33554432000 4194304 4196468 140731042407824 140377497901520 140377507474426 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 7323648 140731042413157 140731042415797 140731042415797 140731042418639 0
[pid=889/tid=950] ppid=886 vsize=10824364 memory=279545999528768 CPUtime=0.07 cores=0,2,4,6
/proc/889/task/950/stat : 950 (java) S 886 889 28461 0 -1 1077944384 1 13260 0 0 0 0 5 2 20 0 15 0 474679512 11084148736 20833 33554432000 4194304 4196468 140731042407824 140377530321936 140377526089429 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7323648 140731042413157 140731042415797 140731042415797 140731042418639 0
[pid=889/tid=951] ppid=886 vsize=10824364 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/889/task/951/stat : 951 (java) S 886 889 28461 0 -1 1077944384 1 13260 0 0 0 0 5 2 20 0 15 0 474679512 11084148736 20833 33554432000 4194304 4196468 140731042407824 140377451281552 140377526089429 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7323648 140731042413157 140731042415797 140731042415797 140731042418639 0
[pid=889/tid=952] ppid=886 vsize=10824364 memory=139773000103932 CPUtime=0.07 cores=0,2,4,6
/proc/889/task/952/stat : 952 (java) S 886 889 28461 0 -1 1077944384 1 13260 0 0 0 0 5 2 20 0 15 0 474679512 11084148736 20833 33554432000 4194304 4196468 140731042407824 140377097841424 140377526089429 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7323648 140731042413157 140731042415797 140731042415797 140731042418639 0
[pid=889/tid=954] ppid=886 vsize=10824364 memory=139773151371793 CPUtime=0.07 cores=0,2,4,6
/proc/889/task/954/stat : 954 (java) S 886 889 28461 0 -1 1077944384 2 13260 0 0 0 0 5 2 20 0 15 0 474679512 11084148736 20833 33554432000 4194304 4196468 140731042407824 140377096788880 140377526089429 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7323648 140731042413157 140731042415797 140731042415797 140731042418639 0
[pid=889/tid=955] ppid=886 vsize=10824364 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/889/task/955/stat : 955 (java) S 886 889 28461 0 -1 1077944384 5 13260 0 0 0 0 5 2 20 0 15 0 474679513 11084148736 20833 33554432000 4194304 4196468 140731042407824 140377052694768 140377526090370 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7323648 140731042413157 140731042415797 140731042415797 140731042418639 0
[pid=889/tid=956] ppid=886 vsize=10824364 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/889/task/956/stat : 956 (java) S 886 889 28461 0 -1 1077944384 13 13260 0 0 0 0 5 2 20 0 15 0 474679514 11084148736 20833 33554432000 4194304 4196468 140731042407824 140376979530912 140377526089429 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7323648 140731042413157 140731042415797 140731042415797 140731042418639 0
[pid=889/tid=957] ppid=886 vsize=10824364 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/889/task/957/stat : 957 (java) S 886 889 28461 0 -1 1077944384 1 13260 0 0 0 0 5 2 20 0 15 0 474679514 11084148736 20833 33554432000 4194304 4196468 140731042407824 140376375550704 140377526089429 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7323648 140731042413157 140731042415797 140731042415797 140731042418639 0
[pid=889/tid=958] ppid=886 vsize=10824364 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/889/task/958/stat : 958 (java) S 886 889 28461 0 -1 1077944384 3 13260 0 0 0 0 5 2 20 0 15 0 474679517 11084148736 20833 33554432000 4194304 4196468 140731042407824 140376068151248 140377526097819 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7323648 140731042413157 140731042415797 140731042415797 140731042418639 0
[pid=889/tid=959] ppid=886 vsize=10824364 memory=0 CPUtime=0.19 cores=0,2,4,6
/proc/889/task/959/stat : 959 (java) R 886 889 28461 0 -1 4202560 716 13260 0 0 12 0 5 2 20 0 15 0 474679517 11084148736 20833 33554432000 4194304 4196468 140731042407824 140377051642608 140377509437624 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 7323648 140731042413157 140731042415797 140731042415797 140731042418639 0
[pid=889/tid=961] ppid=886 vsize=10824364 memory=0 CPUtime=0.22 cores=0,2,4,6
/proc/889/task/961/stat : 961 (java) S 886 889 28461 0 -1 1077944384 855 13260 0 0 15 0 5 2 20 0 15 0 474679517 11084148736 20833 33554432000 4194304 4196468 140731042407824 140377050590064 140377526090370 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7323648 140731042413157 140731042415797 140731042415797 140731042418639 0
[pid=889/tid=962] ppid=886 vsize=10824364 memory=0 CPUtime=0.24 cores=0,2,4,6
/proc/889/task/962/stat : 962 (java) S 886 889 28461 0 -1 1077944384 818 13260 0 0 17 0 5 2 20 0 15 0 474679517 11084148736 20833 33554432000 4194304 4196468 140731042407824 140377049537008 140377526090370 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7323648 140731042413157 140731042415797 140731042415797 140731042418639 0
[pid=889/tid=963] ppid=886 vsize=10824364 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/889/task/963/stat : 963 (java) S 886 889 28461 0 -1 1077944384 3 13260 0 0 0 0 5 2 20 0 15 0 474679517 11084148736 20833 33554432000 4194304 4196468 140731042407824 140376034593632 140377526089429 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7323648 140731042413157 140731042415797 140731042415797 140731042418639 0
[pid=889/tid=964] ppid=886 vsize=10824364 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/889/task/964/stat : 964 (java) S 886 889 28461 0 -1 1077944384 1 13260 0 0 0 0 5 2 20 0 15 0 474679517 11084148736 20833 33554432000 4194304 4196468 140731042407824 140377048484400 140377526090370 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7323648 140731042413157 140731042415797 140731042415797 140731042418639 0
Current children cumulated CPU time: 1.14 s
Current children cumulated vsize: 10824364 KiB
Current children cumulated memory: 83332 KiB

[startup+1.50064 s]
/proc/loadavg: 1.57 1.54 1.57 3/226 964
/proc/meminfo: memFree=5096000/32770624 swapFree=66952548/67108860
[pid=889] ppid=886 vsize=10834680 memory=171144 CPUtime=2.48 cores=0,2,4,6
/proc/889/stat : 889 (java) S 886 889 28461 0 -1 1077944320 21577 13260 0 0 232 9 5 2 20 0 15 0 474679502 11094712320 42786 33554432000 4194304 4196468 140731042407824 140731042390368 140377526079223 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 7323648 140731042413157 140731042415797 140731042415797 140731042418639 0
/proc/889/statm: 2708670 42786 3587 1 0 2670733 0
[pid=889/tid=949] ppid=886 vsize=10834680 memory=6656426216303648864 CPUtime=1.42 cores=0,2,4,6
/proc/889/task/949/stat : 949 (java) R 886 889 28461 0 -1 4202560 15259 13260 0 0 130 5 5 2 20 0 15 0 474679511 11094712320 42786 33554432000 4194304 4196468 140731042407824 140377497867864 140377526091158 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 7323648 140731042413157 140731042415797 140731042415797 140731042418639 0
[pid=889/tid=950] ppid=886 vsize=10834680 memory=6944652177228980320 CPUtime=0.08 cores=0,2,4,6
/proc/889/task/950/stat : 950 (java) S 886 889 28461 0 -1 1077944384 74 13260 0 0 1 0 5 2 20 0 15 0 474679512 11094712320 42786 33554432000 4194304 4196468 140731042407824 140377530321936 140377526089429 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7323648 140731042413157 140731042415797 140731042415797 140731042418639 0
[pid=889/tid=951] ppid=886 vsize=10834680 memory=6944656592455360604 CPUtime=0.08 cores=0,2,4,6
/proc/889/task/951/stat : 951 (java) S 886 889 28461 0 -1 1077944384 21 13260 0 0 1 0 5 2 20 0 15 0 474679512 11094712320 42786 33554432000 4194304 4196468 140731042407824 140377451281552 140377526089429 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7323648 140731042413157 140731042415797 140731042415797 140731042418639 0
[pid=889/tid=952] ppid=886 vsize=10834680 memory=54 CPUtime=0.08 cores=0,2,4,6
/proc/889/task/952/stat : 952 (java) S 886 889 28461 0 -1 1077944384 309 13260 0 0 1 0 5 2 20 0 15 0 474679512 11094712320 42786 33554432000 4194304 4196468 140731042407824 140377097841424 140377526089429 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7323648 140731042413157 140731042415797 140731042415797 140731042418639 0
[pid=889/tid=954] ppid=886 vsize=10834680 memory=10814 CPUtime=0.08 cores=0,2,4,6
/proc/889/task/954/stat : 954 (java) S 886 889 28461 0 -1 1077944384 78 13260 0 0 1 0 5 2 20 0 15 0 474679512 11094712320 42786 33554432000 4194304 4196468 140731042407824 140377096788880 140377526089429 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7323648 140731042413157 140731042415797 140731042415797 140731042418639 0
[pid=889/tid=955] ppid=886 vsize=10834680 memory=17114 CPUtime=0.08 cores=0,2,4,6
/proc/889/task/955/stat : 955 (java) S 886 889 28461 0 -1 1077944384 134 13260 0 0 1 0 5 2 20 0 15 0 474679513 11094712320 42786 33554432000 4194304 4196468 140731042407824 140377052694768 140377526090370 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7323648 140731042413157 140731042415797 140731042415797 140731042418639 0
[pid=889/tid=956] ppid=886 vsize=10834680 memory=279545999541696 CPUtime=0.07 cores=0,2,4,6
/proc/889/task/956/stat : 956 (java) S 886 889 28461 0 -1 1077944384 14 13260 0 0 0 0 5 2 20 0 15 0 474679514 11094712320 42786 33554432000 4194304 4196468 140731042407824 140376979530976 140377526089429 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7323648 140731042413157 140731042415797 140731042415797 140731042418639 0
[pid=889/tid=957] ppid=886 vsize=10834680 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/889/task/957/stat : 957 (java) S 886 889 28461 0 -1 1077944384 1 13260 0 0 0 0 5 2 20 0 15 0 474679514 11094712320 42786 33554432000 4194304 4196468 140731042407824 140376375550720 140377526089429 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7323648 140731042413157 140731042415797 140731042415797 140731042418639 0
[pid=889/tid=958] ppid=886 vsize=10834680 memory=292003098 CPUtime=0.07 cores=0,2,4,6
/proc/889/task/958/stat : 958 (java) S 886 889 28461 0 -1 1077944384 3 13260 0 0 0 0 5 2 20 0 15 0 474679517 11094712320 42786 33554432000 4194304 4196468 140731042407824 140376068151248 140377526097819 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7323648 140731042413157 140731042415797 140731042415797 140731042418639 0
[pid=889/tid=959] ppid=886 vsize=10834680 memory=0 CPUtime=0.32 cores=0,2,4,6
/proc/889/task/959/stat : 959 (java) S 886 889 28461 0 -1 1077944384 832 13260 0 0 25 0 5 2 20 0 15 0 474679517 11094712320 42786 33554432000 4194304 4196468 140731042407824 140377051642608 140377526090370 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7323648 140731042413157 140731042415797 140731042415797 140731042418639 0
[pid=889/tid=961] ppid=886 vsize=10834680 memory=0 CPUtime=0.34 cores=0,2,4,6
/proc/889/task/961/stat : 961 (java) S 886 889 28461 0 -1 1077944384 1094 13260 0 0 27 0 5 2 20 0 15 0 474679517 11094712320 42786 33554432000 4194304 4196468 140731042407824 140377050590064 140377526090370 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7323648 140731042413157 140731042415797 140731042415797 140731042418639 0
[pid=889/tid=962] ppid=886 vsize=10834680 memory=57 CPUtime=0.47 cores=0,2,4,6
/proc/889/task/962/stat : 962 (java) R 886 889 28461 0 -1 4202560 1548 13260 0 0 40 0 5 2 20 0 15 0 474679517 11094712320 42786 33554432000 4194304 4196468 140731042407824 140377049537008 140377526091158 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 7323648 140731042413157 140731042415797 140731042415797 140731042418639 0
[pid=889/tid=963] ppid=886 vsize=10834680 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/889/task/963/stat : 963 (java) S 886 889 28461 0 -1 1077944384 3 13260 0 0 0 0 5 2 20 0 15 0 474679517 11094712320 42786 33554432000 4194304 4196468 140731042407824 140376034593632 140377526089429 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7323648 140731042413157 140731042415797 140731042415797 140731042418639 0
[pid=889/tid=964] ppid=886 vsize=10834680 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/889/task/964/stat : 964 (java) S 886 889 28461 0 -1 1077944384 1 13260 0 0 0 0 5 2 20 0 15 0 474679517 11094712320 42786 33554432000 4194304 4196468 140731042407824 140377048484400 140377526090370 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7323648 140731042413157 140731042415797 140731042415797 140731042418639 0
Current children cumulated CPU time: 2.48 s
Current children cumulated vsize: 10834680 KiB
Current children cumulated memory: 171144 KiB

[startup+3.11241 s]
/proc/loadavg: 1.57 1.54 1.57 5/226 964
/proc/meminfo: memFree=4966496/32770624 swapFree=66952548/67108860
[pid=889] ppid=886 vsize=10842892 memory=252208 CPUtime=6.86 cores=0,2,4,6
/proc/889/stat : 889 (java) S 886 889 28461 0 -1 1077944320 30936 13260 0 0 664 15 5 2 20 0 15 0 474679502 11103121408 63052 33554432000 4194304 4196468 140731042407824 140731042390368 140377526079223 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 7323648 140731042413157 140731042415797 140731042415797 140731042418639 0
/proc/889/statm: 2710723 63052 3611 1 0 2672781 0
[pid=889/tid=949] ppid=886 vsize=10842892 memory=288230596050944315 CPUtime=3.03 cores=0,2,4,6
/proc/889/task/949/stat : 949 (java) R 886 889 28461 0 -1 4202560 18602 13260 0 0 289 7 5 2 20 0 15 0 474679511 11103121408 63052 33554432000 4194304 4196468 140731042407824 140377497913200 140377140780136 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 7323648 140731042413157 140731042415797 140731042415797 140731042418639 0
[pid=889/tid=950] ppid=886 vsize=10842892 memory=14131139010889204 CPUtime=0.08 cores=0,2,4,6
/proc/889/task/950/stat : 950 (java) S 886 889 28461 0 -1 1077944384 74 13260 0 0 1 0 5 2 20 0 15 0 474679512 11103121408 63052 33554432000 4194304 4196468 140731042407824 140377530321936 140377526089429 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7323648 140731042413157 140731042415797 140731042415797 140731042418639 0
[pid=889/tid=951] ppid=886 vsize=10842892 memory=54 CPUtime=0.08 cores=0,2,4,6
/proc/889/task/951/stat : 951 (java) S 886 889 28461 0 -1 1077944384 21 13260 0 0 1 0 5 2 20 0 15 0 474679512 11103121408 63052 33554432000 4194304 4196468 140731042407824 140377451281552 140377526089429 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7323648 140731042413157 140731042415797 140731042415797 140731042418639 0
[pid=889/tid=952] ppid=886 vsize=10842892 memory=10814 CPUtime=0.08 cores=0,2,4,6
/proc/889/task/952/stat : 952 (java) S 886 889 28461 0 -1 1077944384 309 13260 0 0 1 0 5 2 20 0 15 0 474679512 11103121408 63052 33554432000 4194304 4196468 140731042407824 140377097841424 140377526089429 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7323648 140731042413157 140731042415797 140731042415797 140731042418639 0
[pid=889/tid=954] ppid=886 vsize=10842892 memory=17114 CPUtime=0.08 cores=0,2,4,6
/proc/889/task/954/stat : 954 (java) S 886 889 28461 0 -1 1077944384 78 13260 0 0 1 0 5 2 20 0 15 0 474679512 11103121408 63052 33554432000 4194304 4196468 140731042407824 140377096788880 140377526089429 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7323648 140731042413157 140731042415797 140731042415797 140731042418639 0
[pid=889/tid=955] ppid=886 vsize=10842892 memory=279545999541696 CPUtime=0.08 cores=0,2,4,6
/proc/889/task/955/stat : 955 (java) S 886 889 28461 0 -1 1077944384 135 13260 0 0 1 0 5 2 20 0 15 0 474679513 11103121408 63052 33554432000 4194304 4196468 140731042407824 140377052694768 140377526090370 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7323648 140731042413157 140731042415797 140731042415797 140731042418639 0
[pid=889/tid=956] ppid=886 vsize=10842892 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/889/task/956/stat : 956 (java) S 886 889 28461 0 -1 1077944384 14 13260 0 0 0 0 5 2 20 0 15 0 474679514 11103121408 63052 33554432000 4194304 4196468 140731042407824 140376979530976 140377526089429 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7323648 140731042413157 140731042415797 140731042415797 140731042418639 0
[pid=889/tid=957] ppid=886 vsize=10842892 memory=279545999701728 CPUtime=0.07 cores=0,2,4,6
/proc/889/task/957/stat : 957 (java) S 886 889 28461 0 -1 1077944384 1 13260 0 0 0 0 5 2 20 0 15 0 474679514 11103121408 63052 33554432000 4194304 4196468 140731042407824 140376375550720 140377526089429 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7323648 140731042413157 140731042415797 140731042415797 140731042418639 0
[pid=889/tid=958] ppid=886 vsize=10842892 memory=288230621787193645 CPUtime=0.07 cores=0,2,4,6
/proc/889/task/958/stat : 958 (java) S 886 889 28461 0 -1 1077944384 3 13260 0 0 0 0 5 2 20 0 15 0 474679517 11103121408 63052 33554432000 4194304 4196468 140731042407824 140376068151248 140377526097819 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7323648 140731042413157 140731042415797 140731042415797 140731042418639 0
[pid=889/tid=959] ppid=886 vsize=10842892 memory=288286679834559705 CPUtime=1.29 cores=0,2,4,6
/proc/889/task/959/stat : 959 (java) R 886 889 28461 0 -1 4202560 2007 13260 0 0 121 1 5 2 20 0 15 0 474679517 11103121408 63052 33554432000 4194304 4196468 140731042407824 140377051628632 140377511004272 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 7323648 140731042413157 140731042415797 140731042415797 140731042418639 0
[pid=889/tid=961] ppid=886 vsize=10842892 memory=0 CPUtime=1.31 cores=0,2,4,6
/proc/889/task/961/stat : 961 (java) R 886 889 28461 0 -1 4202560 2336 13260 0 0 123 1 5 2 20 0 15 0 474679517 11103121408 63052 33554432000 4194304 4196468 140731042407824 140377050571080 140377511186901 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 7323648 140731042413157 140731042415797 140731042415797 140731042418639 0
[pid=889/tid=962] ppid=886 vsize=10842892 memory=0 CPUtime=1.32 cores=0,2,4,6
/proc/889/task/962/stat : 962 (java) S 886 889 28461 0 -1 1077944384 5146 13260 0 0 123 2 5 2 20 0 15 0 474679517 11103121408 63564 33554432000 4194304 4196468 140731042407824 140377049537008 140377526090370 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7323648 140731042413157 140731042415797 140731042415797 140731042418639 0
[pid=889/tid=963] ppid=886 vsize=10842892 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/889/task/963/stat : 963 (java) S 886 889 28461 0 -1 1077944384 3 13260 0 0 0 0 5 2 20 0 15 0 474679517 11103121408 63564 33554432000 4194304 4196468 140731042407824 140376034593632 140377526089429 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7323648 140731042413157 140731042415797 140731042415797 140731042418639 0
[pid=889/tid=964] ppid=886 vsize=10842892 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/889/task/964/stat : 964 (java) S 886 889 28461 0 -1 1077944384 1 13260 0 0 0 0 5 2 20 0 15 0 474679517 11103121408 63564 33554432000 4194304 4196468 140731042407824 140377048484400 140377526090370 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7323648 140731042413157 140731042415797 140731042415797 140731042418639 0
Current children cumulated CPU time: 6.86 s
Current children cumulated vsize: 10842892 KiB
Current children cumulated memory: 252208 KiB

[startup+4.27397 s]
# the end of solver process 889 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=9.92938 s, system=0.234424 s

Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples

[startup+3.20137 s]
/proc/loadavg: 1.57 1.54 1.57 5/226 964
/proc/meminfo: memFree=4966496/32770624 swapFree=66952548/67108860
[pid=889] ppid=886 vsize=10842892 memory=262068 CPUtime=7.12 cores=0,2,4,6
/proc/889/stat : 889 (java) S 886 889 28461 0 -1 1077944320 36284 13260 0 0 690 15 5 2 20 0 15 0 474679502 11103121408 65517 33554432000 4194304 4196468 140731042407824 140731042390368 140377526079223 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 7323648 140731042413157 140731042415797 140731042415797 140731042418639 0
/proc/889/statm: 2710723 65517 3611 1 0 2672781 0
[pid=889/tid=949] ppid=886 vsize=10842892 memory=3472463671181235600 CPUtime=3.12 cores=0,2,4,6
/proc/889/task/949/stat : 949 (java) R 886 889 28461 0 -1 4202560 22228 13260 0 0 297 8 5 2 20 0 15 0 474679511 11103121408 65517 33554432000 4194304 4196468 140731042407824 140377497911800 140377128457689 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 7323648 140731042413157 140731042415797 140731042415797 140731042418639 0
[pid=889/tid=950] ppid=886 vsize=10842892 memory=3472468069160637968 CPUtime=0.08 cores=0,2,4,6
/proc/889/task/950/stat : 950 (java) S 886 889 28461 0 -1 1077944384 74 13260 0 0 1 0 5 2 20 0 15 0 474679512 11103121408 65517 33554432000 4194304 4196468 140731042407824 140377530321936 140377526089429 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7323648 140731042413157 140731042415797 140731042415797 140731042418639 0
[pid=889/tid=951] ppid=886 vsize=10842892 memory=3472463671181030112 CPUtime=0.08 cores=0,2,4,6
/proc/889/task/951/stat : 951 (java) S 886 889 28461 0 -1 1077944384 21 13260 0 0 1 0 5 2 20 0 15 0 474679512 11103121408 65517 33554432000 4194304 4196468 140731042407824 140377451281552 140377526089429 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7323648 140731042413157 140731042415797 140731042415797 140731042418639 0
[pid=889/tid=952] ppid=886 vsize=10842892 memory=-6935123839545469842 CPUtime=0.08 cores=0,2,4,6
/proc/889/task/952/stat : 952 (java) S 886 889 28461 0 -1 1077944384 309 13260 0 0 1 0 5 2 20 0 15 0 474679512 11103121408 65517 33554432000 4194304 4196468 140731042407824 140377097841424 140377526089429 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7323648 140731042413157 140731042415797 140731042415797 140731042418639 0
[pid=889/tid=954] ppid=886 vsize=10842892 memory=7006574740528998808 CPUtime=0.08 cores=0,2,4,6
/proc/889/task/954/stat : 954 (java) S 886 889 28461 0 -1 1077944384 78 13260 0 0 1 0 5 2 20 0 15 0 474679512 11103121408 65517 33554432000 4194304 4196468 140731042407824 140377096788880 140377526089429 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7323648 140731042413157 140731042415797 140731042415797 140731042418639 0
[pid=889/tid=955] ppid=886 vsize=10842892 memory=4783210246294233184 CPUtime=0.08 cores=0,2,4,6
/proc/889/task/955/stat : 955 (java) S 886 889 28461 0 -1 1077944384 135 13260 0 0 1 0 5 2 20 0 15 0 474679513 11103121408 65517 33554432000 4194304 4196468 140731042407824 140377052694768 140377526090370 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7323648 140731042413157 140731042415797 140731042415797 140731042418639 0
[pid=889/tid=956] ppid=886 vsize=10842892 memory=279545999524080 CPUtime=0.07 cores=0,2,4,6
/proc/889/task/956/stat : 956 (java) S 886 889 28461 0 -1 1077944384 14 13260 0 0 0 0 5 2 20 0 15 0 474679514 11103121408 65517 33554432000 4194304 4196468 140731042407824 140376979530976 140377526089429 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7323648 140731042413157 140731042415797 140731042415797 140731042418639 0
[pid=889/tid=957] ppid=886 vsize=10842892 memory=7740398455002125672 CPUtime=0.07 cores=0,2,4,6
/proc/889/task/957/stat : 957 (java) S 886 889 28461 0 -1 1077944384 1 13260 0 0 0 0 5 2 20 0 15 0 474679514 11103121408 65517 33554432000 4194304 4196468 140731042407824 140376375550720 140377526089429 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7323648 140731042413157 140731042415797 140731042415797 140731042418639 0
[pid=889/tid=958] ppid=886 vsize=10842892 memory=7740389684662064488 CPUtime=0.07 cores=0,2,4,6
/proc/889/task/958/stat : 958 (java) S 886 889 28461 0 -1 1077944384 3 13260 0 0 0 0 5 2 20 0 15 0 474679517 11103121408 65517 33554432000 4194304 4196468 140731042407824 140376068151248 140377526097819 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7323648 140731042413157 140731042415797 140731042415797 140731042418639 0
[pid=889/tid=959] ppid=886 vsize=10842892 memory=7163373592970816100 CPUtime=1.38 cores=0,2,4,6
/proc/889/task/959/stat : 959 (java) R 886 889 28461 0 -1 4202560 2736 13260 0 0 130 1 5 2 20 0 15 0 474679517 11103121408 65517 33554432000 4194304 4196468 140731042407824 140377051628632 140377505765887 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 7323648 140731042413157 140731042415797 140731042415797 140731042418639 0
[pid=889/tid=961] ppid=886 vsize=10842892 memory=54 CPUtime=1.37 cores=0,2,4,6
/proc/889/task/961/stat : 961 (java) R 886 889 28461 0 -1 4202560 3055 13260 0 0 129 1 5 2 20 0 15 0 474679517 11103121408 65517 33554432000 4194304 4196468 140731042407824 140377050590064 140377509979824 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 7323648 140731042413157 140731042415797 140731042415797 140731042418639 0
[pid=889/tid=962] ppid=886 vsize=10842892 memory=7373607951168454753 CPUtime=1.34 cores=0,2,4,6
/proc/889/task/962/stat : 962 (java) S 886 889 28461 0 -1 1077944384 5410 13260 0 0 125 2 5 2 20 0 15 0 474679517 11103121408 65517 33554432000 4194304 4196468 140731042407824 140377049537008 140377526090370 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7323648 140731042413157 140731042415797 140731042415797 140731042418639 0
[pid=889/tid=963] ppid=886 vsize=10842892 memory=7014751519583524177 CPUtime=0.07 cores=0,2,4,6
/proc/889/task/963/stat : 963 (java) S 886 889 28461 0 -1 1077944384 3 13260 0 0 0 0 5 2 20 0 15 0 474679517 11103121408 65517 33554432000 4194304 4196468 140731042407824 140376034593632 140377526089429 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7323648 140731042413157 140731042415797 140731042415797 140731042418639 0
[pid=889/tid=964] ppid=886 vsize=10842892 memory=7734763483327455577 CPUtime=0.07 cores=0,2,4,6
/proc/889/task/964/stat : 964 (java) S 886 889 28461 0 -1 1077944384 12 13260 0 0 0 0 5 2 20 0 15 0 474679517 11103121408 65517 33554432000 4194304 4196468 140731042407824 140377048484400 140377526090370 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7323648 140731042413157 140731042415797 140731042415797 140731042418639 0
Current children cumulated CPU time: 7.12 s
Current children cumulated vsize: 10842892 KiB
Current children cumulated memory: 262068 KiB

[startup+4.00126 s]*
/proc/loadavg: 1.57 1.54 1.57 7/226 964
/proc/meminfo: memFree=4918984/32770624 swapFree=66952548/67108860
[pid=889] ppid=886 vsize=10846988 memory=291088 CPUtime=9.62 cores=0,2,4,6
/proc/889/stat : 889 (java) S 886 889 28461 0 -1 1077944320 45111 13260 0 0 937 18 5 2 20 0 15 0 474679502 11107315712 72772 33554432000 4194304 4196468 140731042407824 140731042390368 140377526079223 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 7323648 140731042413157 140731042415797 140731042415797 140731042418639 0
/proc/889/statm: 2711747 72772 3616 1 0 2673805 0
[pid=889/tid=949] ppid=886 vsize=10846988 memory=1398720917958146503 CPUtime=3.87 cores=0,2,4,6
/proc/889/task/949/stat : 949 (java) R 886 889 28461 0 -1 4202560 23527 13260 0 0 372 8 5 2 20 0 15 0 474679511 11107315712 72903 33554432000 4194304 4196468 140731042407824 140377497914192 140377144639124 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 7323648 140731042413157 140731042415797 140731042415797 140731042418639 0
[pid=889/tid=950] ppid=886 vsize=10846988 memory=4126316290023845779 CPUtime=0.1 cores=0,2,4,6
/proc/889/task/950/stat : 950 (java) S 886 889 28461 0 -1 1077944384 109 13260 0 0 3 0 5 2 20 0 15 0 474679512 11107315712 72903 33554432000 4194304 4196468 140731042407824 140377530321936 140377526089429 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7323648 140731042413157 140731042415797 140731042415797 140731042418639 0
[pid=889/tid=951] ppid=886 vsize=10846988 memory=0 CPUtime=0.1 cores=0,2,4,6
/proc/889/task/951/stat : 951 (java) S 886 889 28461 0 -1 1077944384 337 13260 0 0 3 0 5 2 20 0 15 0 474679512 11107315712 72903 33554432000 4194304 4196468 140731042407824 140377451281552 140377526089429 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7323648 140731042413157 140731042415797 140731042415797 140731042418639 0
[pid=889/tid=952] ppid=886 vsize=10846988 memory=0 CPUtime=0.1 cores=0,2,4,6
/proc/889/task/952/stat : 952 (java) S 886 889 28461 0 -1 1077944384 328 13260 0 0 3 0 5 2 20 0 15 0 474679512 11107315712 72903 33554432000 4194304 4196468 140731042407824 140377097841424 140377526089429 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7323648 140731042413157 140731042415797 140731042415797 140731042418639 0
[pid=889/tid=954] ppid=886 vsize=10846988 memory=0 CPUtime=0.1 cores=0,2,4,6
/proc/889/task/954/stat : 954 (java) S 886 889 28461 0 -1 1077944384 263 13260 0 0 3 0 5 2 20 0 15 0 474679512 11107315712 72903 33554432000 4194304 4196468 140731042407824 140377096788880 140377526089429 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7323648 140731042413157 140731042415797 140731042415797 140731042418639 0
[pid=889/tid=955] ppid=886 vsize=10846988 memory=0 CPUtime=0.1 cores=0,2,4,6
/proc/889/task/955/stat : 955 (java) S 886 889 28461 0 -1 1077944384 5375 13260 0 0 3 0 5 2 20 0 15 0 474679513 11107315712 72903 33554432000 4194304 4196468 140731042407824 140377052694768 140377526090370 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7323648 140731042413157 140731042415797 140731042415797 140731042418639 0
[pid=889/tid=956] ppid=886 vsize=10846988 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/889/task/956/stat : 956 (java) S 886 889 28461 0 -1 1077944384 15 13260 0 0 0 0 5 2 20 0 15 0 474679514 11107315712 72903 33554432000 4194304 4196468 140731042407824 140376979530976 140377526089429 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7323648 140731042413157 140731042415797 140731042415797 140731042418639 0
[pid=889/tid=957] ppid=886 vsize=10846988 memory=6944656592455359580 CPUtime=0.07 cores=0,2,4,6
/proc/889/task/957/stat : 957 (java) S 886 889 28461 0 -1 1077944384 1 13260 0 0 0 0 5 2 20 0 15 0 474679514 11107315712 72903 33554432000 4194304 4196468 140731042407824 140376375550720 140377526089429 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7323648 140731042413157 140731042415797 140731042415797 140731042418639 0
[pid=889/tid=958] ppid=886 vsize=10846988 memory=6944656592455097440 CPUtime=0.07 cores=0,2,4,6
/proc/889/task/958/stat : 958 (java) S 886 889 28461 0 -1 1077944384 3 13260 0 0 0 0 5 2 20 0 15 0 474679517 11107315712 72903 33554432000 4194304 4196468 140731042407824 140376068151248 140377526097819 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7323648 140731042413157 140731042415797 140731042415797 140731042418639 0
[pid=889/tid=959] ppid=886 vsize=10846988 memory=6944656592387989600 CPUtime=2 cores=0,2,4,6
/proc/889/task/959/stat : 959 (java) R 886 889 28461 0 -1 4202560 3122 13260 0 0 192 1 5 2 20 0 15 0 474679517 11107315712 72903 33554432000 4194304 4196468 140731042407824 140377051622880 140377507268421 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 7323648 140731042413157 140731042415797 140731042415797 140731042418639 0
[pid=889/tid=961] ppid=886 vsize=10846988 memory=6944656592455359580 CPUtime=2.03 cores=0,2,4,6
/proc/889/task/961/stat : 961 (java) R 886 889 28461 0 -1 4202560 3567 13260 0 0 195 1 5 2 20 0 15 0 474679517 11107315712 72903 33554432000 4194304 4196468 140731042407824 140377050576608 140377505922836 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 7323648 140731042413157 140731042415797 140731042415797 140731042418639 0
[pid=889/tid=962] ppid=886 vsize=10846988 memory=279546000294832 CPUtime=1.68 cores=0,2,4,6
/proc/889/task/962/stat : 962 (java) R 886 889 28461 0 -1 4202560 6377 13260 0 0 159 2 5 2 20 0 15 0 474679517 11107315712 72903 33554432000 4194304 4196468 140731042407824 140377049537008 140377505413185 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 7323648 140731042413157 140731042415797 140731042415797 140731042418639 0
[pid=889/tid=963] ppid=886 vsize=10846988 memory=6944656592455359580 CPUtime=0.07 cores=0,2,4,6
/proc/889/task/963/stat : 963 (java) S 886 889 28461 0 -1 1077944384 3 13260 0 0 0 0 5 2 20 0 15 0 474679517 11107315712 72903 33554432000 4194304 4196468 140731042407824 140376034593632 140377526089429 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7323648 140731042413157 140731042415797 140731042415797 140731042418639 0
[pid=889/tid=964] ppid=886 vsize=10846988 memory=6944656592455360604 CPUtime=0.07 cores=0,2,4,6
/proc/889/task/964/stat : 964 (java) S 886 889 28461 0 -1 1077944384 12 13260 0 0 0 0 5 2 20 0 15 0 474679517 11107315712 72903 33554432000 4194304 4196468 140731042407824 140377048484400 140377526090370 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7323648 140731042413157 140731042415797 140731042415797 140731042418639 0
Current children cumulated CPU time: 9.62 s
Current children cumulated vsize: 10846988 KiB
Current children cumulated memory: 291088 KiB

[startup+4.20069 s]*
/proc/loadavg: 1.60 1.55 1.57 2/213 965
/proc/meminfo: memFree=5180460/32770624 swapFree=66952548/67108860
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB

Child status: 0
Real time (s): 4.27402
CPU time (s): 10.1638
CPU user time (s): 9.92938
CPU system time (s): 0.234424
CPU usage (%): 237.805
Max. virtual memory (cumulated for all children) (KiB): 10846988
Max. memory (cumulated for all children) (KiB): 297044

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 9.92938
system time used= 0.234424
maximum resident set size= 303824
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 60131
page faults= 0
swaps= 0
block input operations= 0
block output operations= 144
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 6954
involuntary context switches= 53


# summary of solver processes directly reported to runsolver:
#   pid: 889
#   total CPU time (s): 10.1638
#   total CPU user time (s): 9.92938
#   total CPU system time (s): 0.234424

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.053078 second user time and 0.080159 second system time

The end

Launcher Data 

Begin job on node107 at 2019-09-20 13:55:18
IDJOB=4403060
IDBENCH=139742
IDSOLVER=2862
FILE ID=node107/4403060-1568984239
RUNJOBID= node107-1568963918-28492
PBS_JOBID= 21704631
Free space on /var/tmp= 12528 MiB

SOLVER NAME= Concrete 3.12.3
BENCH NAME= XCSP17/ChessboardColoration/ChessboardColoration-int-s2/ChessboardColoration-int-05-07.xml
COMMAND LINE= bin/xcsp-3-concrete -J-Xss32M -randomseed=RANDOMSEED BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /var/tmp/evaluation-result-4403060-1568984239/watcher-4403060-1568984239 -o /var/tmp/evaluation-result-4403060-1568984239/solver-4403060-1568984239 -C 2400 -W 2500 -M 15500 --bin-var /var/tmp/runsolver-exch-node107-1568963918-28492 --watchdog 2560  bin/xcsp-3-concrete -J-Xss32M -randomseed=99636543 HOME/instance-4403060-1568984239.xml

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

MD5SUM BENCH= 91a6e92a2ae9197e0e5abb82e178125f
RANDOM SEED=99636543

node107.alineos.net Linux 3.10.0-514.16.1.el7.x86_64 #1 SMP Wed Apr 12 15:04:24 UTC 2017

/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance

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

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

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

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

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

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

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

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 1
siblings	: 4
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:


/proc/meminfo:
MemTotal:       32770624 kB
MemFree:         5189684 kB
MemAvailable:   29568460 kB
Buffers:          139240 kB
Cached:         24137004 kB
SwapCached:        48712 kB
Active:         14313492 kB
Inactive:       12250116 kB
Active(anon):    2239044 kB
Inactive(anon):    91956 kB
Active(file):   12074448 kB
Inactive(file): 12158160 kB
Unevictable:      111004 kB
Mlocked:          111004 kB
SwapTotal:      67108860 kB
SwapFree:       66952548 kB
Dirty:             35532 kB
Writeback:             0 kB
AnonPages:       2350876 kB
Mapped:            61384 kB
Shmem:             34856 kB
Slab:             603472 kB
SReclaimable:     574628 kB
SUnreclaim:        28844 kB
KernelStack:        3696 kB
PageTables:        11568 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    3323312 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1218560 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      101760 kB
DirectMap2M:    33443840 kB

Free space on /var/tmp at the end= 12496 MiB
End job on node107 at 2019-09-20 13:55:23