Trace number 4309004

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
OscaR - Parallel with EPS 2018-08-14UNSAT 7.99698 3.61289

General information on the benchmark

NameColouredQueens/
ColouredQueens-06_c18.xml
MD5SUM7b867b166641a9e2c5ffb0d7a40768d4
Bench CategoryCSP (decision problem)
Best result obtained on this benchmarkUNSAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark3.46023
Satisfiable
(Un)Satisfiability was proved
Number of variables36
Number of constraints30
Number of domains1
Minimum domain size6
Maximum domain size6
Distribution of domain sizes[{"size":6,"count":36}]
Minimum variable degree3
Maximum variable degree4
Distribution of variable degrees[{"degree":3,"count":4},{"degree":4,"count":32}]
Minimum constraint arity2
Maximum constraint arity6
Distribution of constraint arities[{"arity":2,"count":4},{"arity":3,"count":4},{"arity":4,"count":4},{"arity":5,"count":4},{"arity":6,"count":14}]
Number of extensional constraints0
Number of intensional constraints0
Distribution of constraint types[{"type":"allDifferent","count":30}]
Optimization problemNO
Type of objective

Solver Data 

0.69/1.52	c version: 2018-08-14
0.69/1.52	c seed: 508517251
0.69/1.53	c timeout: 20160
0.69/1.53	c memlimit: 22000
0.69/1.53	c nbcore: 8
0.69/1.55	c Parsing instance...
1.05/1.80	c Parsing done, starting search...
7.49/3.58	s UNSATISFIABLE

Verifier Data


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 (12819 MiB free)
  memory of node 1: 16384 MiB (10381 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4309004-1534351989/watcher-4309004-1534351989 -o /tmp/evaluation-result-4309004-1534351989/solver-4309004-1534351989 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node148-1534351989-23257 --watchdog 2580 java -Xmx22000m -jar oscarCPXcsp3-parallel.jar --randomseed 508517251 --timelimit 20160 --memlimit 22000 --nbcore 8 HOME/instance-4309004-1534351989.xml 

running on 8 cores: 0,2,4,6,1,3,5,7

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 20160 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 20190 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB

solver pid=23277, runsolver pid=23274

[startup+0.100149 s]*
/proc/loadavg: 0.08 0.39 0.94 1/183 23278
/proc/meminfo: memFree=23758204/32770624 swapFree=67108368/67108860
[pid=23277] ppid=23274 vsize=2584 memory=180 CPUtime=0 cores=0-7
/proc/23277/stat : 23277 (java) D 23274 23277 23230 0 -1 1077936128 172 0 0 0 0 0 0 0 20 0 1 0 252762101 2646016 45 33554432000 4194304 4196468 140723062615552 140723062612776 139988808136391 0 0 4096 0 18446744072101740068 0 0 17 4 0 0 1 0 0 6293624 6294260 39198720 140723062617166 140723062617349 140723062617349 140723062620111 0
/proc/23277/statm: 646 45 36 1 0 42 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 2584 KiB
Current children cumulated memory: 180 KiB

[startup+0.209131 s]*
/proc/loadavg: 0.08 0.39 0.94 1/183 23278
/proc/meminfo: memFree=23758204/32770624 swapFree=67108368/67108860
[pid=23277] ppid=23274 vsize=98704 memory=4628 CPUtime=0 cores=0-7
/proc/23277/stat : 23277 (java) S 23274 23277 23230 0 -1 1077944320 1352 0 0 0 0 0 0 0 20 0 2 0 252762101 101072896 1157 33554432000 4194304 4196468 140723062615552 140723062598096 139988805861111 0 0 4096 0 18446744073709551615 0 0 17 4 0 0 1 0 0 6293624 6294260 39198720 140723062617166 140723062617349 140723062617349 140723062620111 0
/proc/23277/statm: 24676 1157 859 1 0 16800 0
[pid=23277/tid=23279] ppid=23274 vsize=98704 memory=0 CPUtime=0 cores=0-7
/proc/23277/task/23279/stat : 23279 (java) D 23274 23277 23230 0 -1 1077944384 62 0 0 0 0 0 0 0 20 0 2 0 252762123 101072896 1157 33554432000 4194304 4196468 140723062615552 139988810098016 139988798540333 0 0 4096 0 18446744072101740068 0 0 -1 6 0 0 0 0 0 6293624 6294260 39198720 140723062617166 140723062617349 140723062617349 140723062620111 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 98704 KiB
Current children cumulated memory: 4628 KiB

[startup+0.308851 s]*
/proc/loadavg: 0.08 0.39 0.94 1/184 23279
/proc/meminfo: memFree=23757088/32770624 swapFree=67108368/67108860
[pid=23277] ppid=23274 vsize=103032 memory=4836 CPUtime=0 cores=0-7
/proc/23277/stat : 23277 (java) S 23274 23277 23230 0 -1 1077944320 1447 0 0 0 0 0 0 0 20 0 2 0 252762101 105504768 1209 33554432000 4194304 4196468 140723062615552 140723062598096 139988805861111 0 0 4096 0 18446744073709551615 0 0 17 4 0 0 1 0 0 6293624 6294260 39198720 140723062617166 140723062617349 140723062617349 140723062620111 0
/proc/23277/statm: 25758 1209 892 1 0 16800 0
[pid=23277/tid=23279] ppid=23274 vsize=103032 memory=4026531858 CPUtime=0 cores=0-7
/proc/23277/task/23279/stat : 23279 (java) D 23274 23277 23230 0 -1 1077944384 138 0 0 0 0 0 0 0 20 0 2 0 252762123 105504768 1209 33554432000 4194304 4196468 140723062615552 139988810094616 139988798539125 0 0 4096 0 18446744072101740068 0 0 -1 6 0 0 0 0 0 6293624 6294260 39198720 140723062617166 140723062617349 140723062617349 140723062620111 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 103032 KiB
Current children cumulated memory: 4836 KiB

[startup+0.700371 s]
/proc/loadavg: 0.08 0.39 0.94 1/184 23279
/proc/meminfo: memFree=23757088/32770624 swapFree=67108368/67108860
[pid=23277] ppid=23274 vsize=25635616 memory=19192 CPUtime=0.04 cores=0-7
/proc/23277/stat : 23277 (java) S 23274 23277 23230 0 -1 1077944320 4135 0 0 0 3 1 0 0 20 0 13 0 252762101 26250870784 4798 33554432000 4194304 4196468 140723062615552 140723062598096 139988805861111 0 0 0 16800971 18446744073709551615 0 0 17 4 0 0 1 0 0 6293624 6294260 39198720 140723062617166 140723062617349 140723062617349 140723062620111 0
/proc/23277/statm: 6408904 4798 2156 1 0 6371445 0
[pid=23277/tid=23279] ppid=23274 vsize=25635616 memory=4294983548 CPUtime=0.03 cores=0-7
/proc/23277/task/23279/stat : 23279 (java) D 23274 23277 23230 0 -1 1077944384 2755 0 0 0 2 1 0 0 20 0 13 0 252762123 26250870784 4798 33554432000 4194304 4196468 140723062615552 139988810096208 139988805884989 0 4 0 16800971 18446744072101740068 0 0 -1 3 0 0 0 0 0 6293624 6294260 39198720 140723062617166 140723062617349 140723062617349 140723062620111 0
Current children cumulated CPU time: 0.04 s
Current children cumulated vsize: 25635616 KiB
Current children cumulated memory: 19192 KiB

[startup+1.50092 s]
/proc/loadavg: 0.08 0.39 0.94 1/202 23297
/proc/meminfo: memFree=23746028/32770624 swapFree=67108368/67108860
[pid=23277] ppid=23274 vsize=26103420 memory=73600 CPUtime=0.69 cores=0-7
/proc/23277/stat : 23277 (java) S 23274 23277 23230 0 -1 1077944320 16168 0 0 0 64 5 0 0 20 0 20 0 252762101 26729902080 18400 33554432000 4194304 4196468 140723062615552 140723062598096 139988805861111 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 1 0 0 6293624 6294260 39198720 140723062617166 140723062617349 140723062617349 140723062620111 0
/proc/23277/statm: 6525855 18400 3402 1 0 6487932 0
[pid=23277/tid=23279] ppid=23274 vsize=26103420 memory=0 CPUtime=0.51 cores=0-7
/proc/23277/task/23279/stat : 23279 (java) R 23274 23277 23230 0 -1 4202560 13755 0 0 0 47 4 0 0 20 0 20 0 252762123 26729902080 18400 33554432000 4194304 4196468 140723062615552 139988810074576 139988789941598 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 39198720 140723062617166 140723062617349 140723062617349 140723062620111 0
[pid=23277/tid=23280] ppid=23274 vsize=26103420 memory=0 CPUtime=0 cores=0-7
/proc/23277/task/23280/stat : 23280 (java) S 23274 23277 23230 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 252762156 26729902080 18400 33554432000 4194304 4196468 140723062615552 139988758481424 139988805871317 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39198720 140723062617166 140723062617349 140723062617349 140723062620111 0
[pid=23277/tid=23281] ppid=23274 vsize=26103420 memory=2209 CPUtime=0 cores=0-7
/proc/23277/task/23281/stat : 23281 (java) S 23274 23277 23230 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 252762156 26729902080 18400 33554432000 4194304 4196468 140723062615552 139988757428880 139988805871317 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39198720 140723062617166 140723062617349 140723062617349 140723062620111 0
[pid=23277/tid=23282] ppid=23274 vsize=26103420 memory=0 CPUtime=0 cores=0-7
/proc/23277/task/23282/stat : 23282 (java) S 23274 23277 23230 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 252762156 26729902080 18400 33554432000 4194304 4196468 140723062615552 139988756375824 139988805871317 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39198720 140723062617166 140723062617349 140723062617349 140723062620111 0
[pid=23277/tid=23283] ppid=23274 vsize=26103420 memory=0 CPUtime=0 cores=0-7
/proc/23277/task/23283/stat : 23283 (java) S 23274 23277 23230 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 252762156 26729902080 18400 33554432000 4194304 4196468 140723062615552 139988360886672 139988805871317 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39198720 140723062617166 140723062617349 140723062617349 140723062620111 0
[pid=23277/tid=23284] ppid=23274 vsize=26103420 memory=0 CPUtime=0 cores=0-7
/proc/23277/task/23284/stat : 23284 (java) S 23274 23277 23230 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 252762156 26729902080 18400 33554432000 4194304 4196468 140723062615552 139988359834640 139988805871317 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39198720 140723062617166 140723062617349 140723062617349 140723062620111 0
[pid=23277/tid=23285] ppid=23274 vsize=26103420 memory=200085346498040 CPUtime=0 cores=0-7
/proc/23277/task/23285/stat : 23285 (java) S 23274 23277 23230 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 252762156 26729902080 18400 33554432000 4194304 4196468 140723062615552 139988358782096 139988805871317 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39198720 140723062617166 140723062617349 140723062617349 140723062620111 0
[pid=23277/tid=23286] ppid=23274 vsize=26103420 memory=0 CPUtime=0 cores=0-7
/proc/23277/task/23286/stat : 23286 (java) S 23274 23277 23230 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 252762156 26729902080 18400 33554432000 4194304 4196468 140723062615552 139988357729040 139988805871317 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39198720 140723062617166 140723062617349 140723062617349 140723062620111 0
[pid=23277/tid=23287] ppid=23274 vsize=26103420 memory=0 CPUtime=0 cores=0-7
/proc/23277/task/23287/stat : 23287 (java) S 23274 23277 23230 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 252762156 26729902080 18400 33554432000 4194304 4196468 140723062615552 139988356676496 139988805871317 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39198720 140723062617166 140723062617349 140723062617349 140723062620111 0
[pid=23277/tid=23288] ppid=23274 vsize=26103420 memory=0 CPUtime=0 cores=0-7
/proc/23277/task/23288/stat : 23288 (java) S 23274 23277 23230 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 252762161 26729902080 18400 33554432000 4194304 4196468 140723062615552 139987557550320 139988805872258 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39198720 140723062617166 140723062617349 140723062617349 140723062620111 0
[pid=23277/tid=23289] ppid=23274 vsize=26103420 memory=280969647259936 CPUtime=0 cores=0-7
/proc/23277/task/23289/stat : 23289 (java) S 23274 23277 23230 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 252762161 26729902080 18400 33554432000 4194304 4196468 140723062615552 139987556496544 139988805871317 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39198720 140723062617166 140723062617349 140723062617349 140723062620111 0
[pid=23277/tid=23290] ppid=23274 vsize=26103420 memory=9272 CPUtime=0 cores=0-7
/proc/23277/task/23290/stat : 23290 (java) S 23274 23277 23230 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 252762162 26729902080 18400 33554432000 4194304 4196468 140723062615552 139987555443440 139988805871317 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39198720 140723062617166 140723062617349 140723062617349 140723062620111 0
[pid=23277/tid=23291] ppid=23274 vsize=26103420 memory=20408 CPUtime=0 cores=0-7
/proc/23277/task/23291/stat : 23291 (java) S 23274 23277 23230 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 252762194 26729902080 18400 33554432000 4194304 4196468 140723062615552 139987554392016 139988805879707 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39198720 140723062617166 140723062617349 140723062617349 140723062620111 0
[pid=23277/tid=23292] ppid=23274 vsize=26103420 memory=0 CPUtime=0.02 cores=0-7
/proc/23277/task/23292/stat : 23292 (java) S 23274 23277 23230 0 -1 1077944384 373 0 0 0 2 0 0 0 20 0 20 0 252762194 26729902080 18400 33554432000 4194304 4196468 140723062615552 139987553340144 139988805872258 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39198720 140723062617166 140723062617349 140723062617349 140723062620111 0
[pid=23277/tid=23293] ppid=23274 vsize=26103420 memory=0 CPUtime=0.01 cores=0-7
/proc/23277/task/23293/stat : 23293 (java) S 23274 23277 23230 0 -1 1077944384 226 0 0 0 1 0 0 0 20 0 20 0 252762194 26729902080 18400 33554432000 4194304 4196468 140723062615552 139987552287600 139988805872258 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39198720 140723062617166 140723062617349 140723062617349 140723062620111 0
[pid=23277/tid=23294] ppid=23274 vsize=26103420 memory=0 CPUtime=0.01 cores=0-7
/proc/23277/task/23294/stat : 23294 (java) S 23274 23277 23230 0 -1 1077944384 69 0 0 0 1 0 0 0 20 0 20 0 252762194 26729902080 18400 33554432000 4194304 4196468 140723062615552 139987551234544 139988805872258 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39198720 140723062617166 140723062617349 140723062617349 140723062620111 0
[pid=23277/tid=23295] ppid=23274 vsize=26103420 memory=0 CPUtime=0.1 cores=0-7
/proc/23277/task/23295/stat : 23295 (java) S 23274 23277 23230 0 -1 1077944384 362 0 0 0 10 0 0 0 20 0 20 0 252762194 26729902080 18400 33554432000 4194304 4196468 140723062615552 139987550182000 139988805872258 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39198720 140723062617166 140723062617349 140723062617349 140723062620111 0
[pid=23277/tid=23296] ppid=23274 vsize=26103420 memory=0 CPUtime=0 cores=0-7
/proc/23277/task/23296/stat : 23296 (java) S 23274 23277 23230 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 252762194 26729902080 18400 33554432000 4194304 4196468 140723062615552 139987549129184 139988805871317 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39198720 140723062617166 140723062617349 140723062617349 140723062620111 0
[pid=23277/tid=23297] ppid=23274 vsize=26103420 memory=735785735770433635 CPUtime=0 cores=0-7
/proc/23277/task/23297/stat : 23297 (java) S 23274 23277 23230 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 252762199 26729902080 18400 33554432000 4194304 4196468 140723062615552 139987548076720 139988805872258 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39198720 140723062617166 140723062617349 140723062617349 140723062620111 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 26103420 KiB
Current children cumulated memory: 73600 KiB

[startup+3.11499 s]
/proc/loadavg: 0.08 0.39 0.94 1/204 23299
/proc/meminfo: memFree=23534084/32770624 swapFree=67108368/67108860
[pid=23277] ppid=23274 vsize=26983108 memory=238532 CPUtime=4.51 cores=0-7
/proc/23277/stat : 23277 (java) S 23274 23277 23230 0 -1 1077944320 36681 0 0 0 432 19 0 0 20 0 33 0 252762101 27630702592 59633 33554432000 4194304 4196468 140723062615552 140723062598096 139988805861111 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 1 0 0 6293624 6294260 39198720 140723062617166 140723062617349 140723062617349 140723062620111 0
/proc/23277/statm: 6745777 59633 3577 1 0 6707849 0
[pid=23277/tid=23279] ppid=23274 vsize=26983108 memory=140484823607144 CPUtime=1.95 cores=0-7
/proc/23277/task/23279/stat : 23279 (java) S 23274 23277 23230 0 -1 1077944384 21896 0 0 0 187 8 0 0 20 0 33 0 252762123 27630702592 59633 33554432000 4194304 4196468 140723062615552 139988810098240 139988805871317 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 8 0 0 6293624 6294260 39198720 140723062617166 140723062617349 140723062617349 140723062620111 0
[pid=23277/tid=23280] ppid=23274 vsize=26983108 memory=0 CPUtime=0.01 cores=0-7
/proc/23277/task/23280/stat : 23280 (java) S 23274 23277 23230 0 -1 1077944384 14 0 0 0 1 0 0 0 20 0 33 0 252762156 27630702592 59633 33554432000 4194304 4196468 140723062615552 139988758481424 139988805871317 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39198720 140723062617166 140723062617349 140723062617349 140723062620111 0
[pid=23277/tid=23281] ppid=23274 vsize=26983108 memory=280969646964976 CPUtime=0 cores=0-7
/proc/23277/task/23281/stat : 23281 (java) S 23274 23277 23230 0 -1 1077944384 148 0 0 0 0 0 0 0 20 0 33 0 252762156 27630702592 59633 33554432000 4194304 4196468 140723062615552 139988757428880 139988805871317 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39198720 140723062617166 140723062617349 140723062617349 140723062620111 0
[pid=23277/tid=23282] ppid=23274 vsize=26983108 memory=-2843869595368740254 CPUtime=0 cores=0-7
/proc/23277/task/23282/stat : 23282 (java) S 23274 23277 23230 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 33 0 252762156 27630702592 59633 33554432000 4194304 4196468 140723062615552 139988756375824 139988805871317 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39198720 140723062617166 140723062617349 140723062617349 140723062620111 0
[pid=23277/tid=23283] ppid=23274 vsize=26983108 memory=0 CPUtime=0 cores=0-7
/proc/23277/task/23283/stat : 23283 (java) S 23274 23277 23230 0 -1 1077944384 51 0 0 0 0 0 0 0 20 0 33 0 252762156 27630702592 59633 33554432000 4194304 4196468 140723062615552 139988360886672 139988805871317 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39198720 140723062617166 140723062617349 140723062617349 140723062620111 0
[pid=23277/tid=23284] ppid=23274 vsize=26983108 memory=140484823847328 CPUtime=0.01 cores=0-7
/proc/23277/task/23284/stat : 23284 (java) S 23274 23277 23230 0 -1 1077944384 48 0 0 0 1 0 0 0 20 0 33 0 252762156 27630702592 59633 33554432000 4194304 4196468 140723062615552 139988359834640 139988805871317 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39198720 140723062617166 140723062617349 140723062617349 140723062620111 0
[pid=23277/tid=23285] ppid=23274 vsize=26983108 memory=0 CPUtime=0.01 cores=0-7
/proc/23277/task/23285/stat : 23285 (java) S 23274 23277 23230 0 -1 1077944384 18 0 0 0 1 0 0 0 20 0 33 0 252762156 27630702592 59633 33554432000 4194304 4196468 140723062615552 139988358782096 139988805871317 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39198720 140723062617166 140723062617349 140723062617349 140723062620111 0
[pid=23277/tid=23286] ppid=23274 vsize=26983108 memory=0 CPUtime=0.01 cores=0-7
/proc/23277/task/23286/stat : 23286 (java) S 23274 23277 23230 0 -1 1077944384 11 0 0 0 1 0 0 0 20 0 33 0 252762156 27630702592 59633 33554432000 4194304 4196468 140723062615552 139988357729040 139988805871317 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39198720 140723062617166 140723062617349 140723062617349 140723062620111 0
[pid=23277/tid=23287] ppid=23274 vsize=26983108 memory=122428 CPUtime=0 cores=0-7
/proc/23277/task/23287/stat : 23287 (java) S 23274 23277 23230 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 33 0 252762156 27630702592 59633 33554432000 4194304 4196468 140723062615552 139988356676496 139988805871317 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39198720 140723062617166 140723062617349 140723062617349 140723062620111 0
[pid=23277/tid=23288] ppid=23274 vsize=26983108 memory=200085346498040 CPUtime=0.02 cores=0-7
/proc/23277/task/23288/stat : 23288 (java) S 23274 23277 23230 0 -1 1077944384 1424 0 0 0 1 1 0 0 20 0 33 0 252762161 27630702592 59633 33554432000 4194304 4196468 140723062615552 139987557550320 139988805872258 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39198720 140723062617166 140723062617349 140723062617349 140723062620111 0
[pid=23277/tid=23289] ppid=23274 vsize=26983108 memory=0 CPUtime=0 cores=0-7
/proc/23277/task/23289/stat : 23289 (java) S 23274 23277 23230 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 33 0 252762161 27630702592 59633 33554432000 4194304 4196468 140723062615552 139987556496608 139988805871317 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39198720 140723062617166 140723062617349 140723062617349 140723062620111 0
[pid=23277/tid=23290] ppid=23274 vsize=26983108 memory=0 CPUtime=0 cores=0-7
/proc/23277/task/23290/stat : 23290 (java) S 23274 23277 23230 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 33 0 252762162 27630702592 59633 33554432000 4194304 4196468 140723062615552 139987555443456 139988805871317 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39198720 140723062617166 140723062617349 140723062617349 140723062620111 0
[pid=23277/tid=23291] ppid=23274 vsize=26983108 memory=0 CPUtime=0 cores=0-7
/proc/23277/task/23291/stat : 23291 (java) S 23274 23277 23230 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 33 0 252762194 27630702592 59633 33554432000 4194304 4196468 140723062615552 139987554392016 139988805879707 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39198720 140723062617166 140723062617349 140723062617349 140723062620111 0
[pid=23277/tid=23292] ppid=23274 vsize=26983108 memory=140489256244863 CPUtime=0.52 cores=0-7
/proc/23277/task/23292/stat : 23292 (java) R 23274 23277 23230 0 -1 4202560 1705 0 0 0 51 1 0 0 20 0 33 0 252762194 27630702592 59633 33554432000 4194304 4196468 140723062615552 139987553333168 139988785036253 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 39198720 140723062617166 140723062617349 140723062617349 140723062620111 0
[pid=23277/tid=23293] ppid=23274 vsize=26983108 memory=0 CPUtime=0.52 cores=0-7
/proc/23277/task/23293/stat : 23293 (java) S 23274 23277 23230 0 -1 1077944384 1988 0 0 0 51 1 0 0 20 0 33 0 252762194 27630702592 59633 33554432000 4194304 4196468 140723062615552 139987552279056 139988805871317 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39198720 140723062617166 140723062617349 140723062617349 140723062620111 0
[pid=23277/tid=23294] ppid=23274 vsize=26983108 memory=0 CPUtime=0.55 cores=0-7
/proc/23277/task/23294/stat : 23294 (java) S 23274 23277 23230 0 -1 1077944384 1782 0 0 0 54 1 0 0 20 0 33 0 252762194 27630702592 59633 33554432000 4194304 4196468 140723062615552 139987551216896 139988805871317 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39198720 140723062617166 140723062617349 140723062617349 140723062620111 0
[pid=23277/tid=23295] ppid=23274 vsize=26983108 memory=56 CPUtime=0.67 cores=0-7
/proc/23277/task/23295/stat : 23295 (java) R 23274 23277 23230 0 -1 1077944384 5607 0 0 0 66 1 0 0 20 0 33 0 252762194 27630702592 59633 33554432000 4194304 4196468 140723062615552 139987550177344 139988805871317 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 39198720 140723062617166 140723062617349 140723062617349 140723062620111 0
[pid=23277/tid=23296] ppid=23274 vsize=26983108 memory=6655300316396806240 CPUtime=0 cores=0-7
/proc/23277/task/23296/stat : 23296 (java) S 23274 23277 23230 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 33 0 252762194 27630702592 59633 33554432000 4194304 4196468 140723062615552 139987549129184 139988805871317 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39198720 140723062617166 140723062617349 140723062617349 140723062620111 0
[pid=23277/tid=23297] ppid=23274 vsize=26983108 memory=288230574492221466 CPUtime=0 cores=0-7
/proc/23277/task/23297/stat : 23297 (java) S 23274 23277 23230 0 -1 1077944384 9 0 0 0 0 0 0 0 20 0 33 0 252762199 27630702592 59633 33554432000 4194304 4196468 140723062615552 139987548076720 139988805872258 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39198720 140723062617166 140723062617349 140723062617349 140723062620111 0
[pid=23277/tid=23298] ppid=23274 vsize=26983108 memory=288230596050944315 CPUtime=0 cores=0-7
/proc/23277/task/23298/stat : 23298 (java) S 23274 23277 23230 0 -1 1077944384 31 0 0 0 0 0 0 0 20 0 33 0 252762359 27630702592 59633 33554432000 4194304 4196468 140723062615552 139987469394432 139988805871317 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39198720 140723062617166 140723062617349 140723062617349 140723062620111 0
[pid=23277/tid=23299] ppid=23274 vsize=26983108 memory=14694093276056136 CPUtime=0 cores=0-7
/proc/23277/task/23299/stat : 23299 (java) S 23274 23277 23230 0 -1 1077944384 24 0 0 0 0 0 0 0 20 0 33 0 252762379 27630702592 59633 33554432000 4194304 4196468 140723062615552 139987466244816 139988805872258 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39198720 140723062617166 140723062617349 140723062617349 140723062620111 0
Current children cumulated CPU time: 4.51 s
Current children cumulated vsize: 26983108 KiB
Current children cumulated memory: 238532 KiB

[startup+3.61286 s]
# the end of solver process 23277 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=7.77783 s, system=0.21915 s

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

[startup+3.2025 s]
/proc/loadavg: 0.08 0.39 0.94 1/204 23299
/proc/meminfo: memFree=23534084/32770624 swapFree=67108368/67108860
[pid=23277] ppid=23274 vsize=27718424 memory=240864 CPUtime=5.08 cores=0-7
/proc/23277/stat : 23277 (java) S 23274 23277 23230 0 -1 1077944320 37511 0 0 0 489 19 0 0 20 0 45 0 252762101 28383666176 60216 33554432000 4194304 4196468 140723062615552 140723062598096 139988805861111 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 1 0 0 6293624 6294260 39198720 140723062617166 140723062617349 140723062617349 140723062620111 0
/proc/23277/statm: 6929606 60216 3577 1 0 6891157 0
[pid=23277/tid=23279] ppid=23274 vsize=27718424 memory=0 CPUtime=1.95 cores=0-7
/proc/23277/task/23279/stat : 23279 (java) S 23274 23277 23230 0 -1 1077944384 21903 0 0 0 187 8 0 0 20 0 45 0 252762123 28383666176 60216 33554432000 4194304 4196468 140723062615552 139988810098576 139988805871317 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 8 0 0 6293624 6294260 39198720 140723062617166 140723062617349 140723062617349 140723062620111 0
[pid=23277/tid=23280] ppid=23274 vsize=27718424 memory=0 CPUtime=0.01 cores=0-7
/proc/23277/task/23280/stat : 23280 (java) S 23274 23277 23230 0 -1 1077944384 14 0 0 0 1 0 0 0 20 0 45 0 252762156 28383666176 60216 33554432000 4194304 4196468 140723062615552 139988758481424 139988805871317 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39198720 140723062617166 140723062617349 140723062617349 140723062620111 0
[pid=23277/tid=23281] ppid=23274 vsize=27718424 memory=0 CPUtime=0 cores=0-7
/proc/23277/task/23281/stat : 23281 (java) S 23274 23277 23230 0 -1 1077944384 148 0 0 0 0 0 0 0 20 0 45 0 252762156 28383666176 60216 33554432000 4194304 4196468 140723062615552 139988757428880 139988805871317 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39198720 140723062617166 140723062617349 140723062617349 140723062620111 0
[pid=23277/tid=23282] ppid=23274 vsize=27718424 memory=0 CPUtime=0 cores=0-7
/proc/23277/task/23282/stat : 23282 (java) S 23274 23277 23230 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 45 0 252762156 28383666176 60216 33554432000 4194304 4196468 140723062615552 139988756375824 139988805871317 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39198720 140723062617166 140723062617349 140723062617349 140723062620111 0
[pid=23277/tid=23283] ppid=23274 vsize=27718424 memory=0 CPUtime=0 cores=0-7
/proc/23277/task/23283/stat : 23283 (java) S 23274 23277 23230 0 -1 1077944384 51 0 0 0 0 0 0 0 20 0 45 0 252762156 28383666176 60216 33554432000 4194304 4196468 140723062615552 139988360886672 139988805871317 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39198720 140723062617166 140723062617349 140723062617349 140723062620111 0
[pid=23277/tid=23284] ppid=23274 vsize=27718424 memory=0 CPUtime=0.01 cores=0-7
/proc/23277/task/23284/stat : 23284 (java) S 23274 23277 23230 0 -1 1077944384 48 0 0 0 1 0 0 0 20 0 45 0 252762156 28383666176 60216 33554432000 4194304 4196468 140723062615552 139988359834640 139988805871317 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39198720 140723062617166 140723062617349 140723062617349 140723062620111 0
[pid=23277/tid=23285] ppid=23274 vsize=27718424 memory=0 CPUtime=0.01 cores=0-7
/proc/23277/task/23285/stat : 23285 (java) S 23274 23277 23230 0 -1 1077944384 18 0 0 0 1 0 0 0 20 0 45 0 252762156 28383666176 60216 33554432000 4194304 4196468 140723062615552 139988358782096 139988805871317 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39198720 140723062617166 140723062617349 140723062617349 140723062620111 0
[pid=23277/tid=23286] ppid=23274 vsize=27718424 memory=0 CPUtime=0.01 cores=0-7
/proc/23277/task/23286/stat : 23286 (java) S 23274 23277 23230 0 -1 1077944384 11 0 0 0 1 0 0 0 20 0 45 0 252762156 28383666176 60216 33554432000 4194304 4196468 140723062615552 139988357729040 139988805871317 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39198720 140723062617166 140723062617349 140723062617349 140723062620111 0
[pid=23277/tid=23287] ppid=23274 vsize=27718424 memory=0 CPUtime=0 cores=0-7
/proc/23277/task/23287/stat : 23287 (java) S 23274 23277 23230 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 45 0 252762156 28383666176 60216 33554432000 4194304 4196468 140723062615552 139988356676496 139988805871317 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39198720 140723062617166 140723062617349 140723062617349 140723062620111 0
[pid=23277/tid=23288] ppid=23274 vsize=27718424 memory=0 CPUtime=0.02 cores=0-7
/proc/23277/task/23288/stat : 23288 (java) S 23274 23277 23230 0 -1 1077944384 1424 0 0 0 1 1 0 0 20 0 45 0 252762161 28383666176 60216 33554432000 4194304 4196468 140723062615552 139987557550320 139988805872258 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39198720 140723062617166 140723062617349 140723062617349 140723062620111 0
[pid=23277/tid=23289] ppid=23274 vsize=27718424 memory=19452 CPUtime=0 cores=0-7
/proc/23277/task/23289/stat : 23289 (java) S 23274 23277 23230 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 45 0 252762161 28383666176 60216 33554432000 4194304 4196468 140723062615552 139987556496608 139988805871317 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39198720 140723062617166 140723062617349 140723062617349 140723062620111 0
[pid=23277/tid=23290] ppid=23274 vsize=27718424 memory=0 CPUtime=0 cores=0-7
/proc/23277/task/23290/stat : 23290 (java) S 23274 23277 23230 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 45 0 252762162 28383666176 60216 33554432000 4194304 4196468 140723062615552 139987555443456 139988805871317 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39198720 140723062617166 140723062617349 140723062617349 140723062620111 0
[pid=23277/tid=23291] ppid=23274 vsize=27718424 memory=0 CPUtime=0 cores=0-7
/proc/23277/task/23291/stat : 23291 (java) S 23274 23277 23230 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 45 0 252762194 28383666176 60216 33554432000 4194304 4196468 140723062615552 139987554392016 139988805879707 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39198720 140723062617166 140723062617349 140723062617349 140723062620111 0
[pid=23277/tid=23292] ppid=23274 vsize=27718424 memory=140484823750720 CPUtime=0.58 cores=0-7
/proc/23277/task/23292/stat : 23292 (java) R 23274 23277 23230 0 -1 4202560 1713 0 0 0 57 1 0 0 20 0 45 0 252762194 28383666176 60216 33554432000 4194304 4196468 140723062615552 139987553321904 139988786497025 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 39198720 140723062617166 140723062617349 140723062617349 140723062620111 0
[pid=23277/tid=23293] ppid=23274 vsize=27718424 memory=140484823750752 CPUtime=0.59 cores=0-7
/proc/23277/task/23293/stat : 23293 (java) R 23274 23277 23230 0 -1 4202560 1998 0 0 0 58 1 0 0 20 0 45 0 252762194 28383666176 60216 33554432000 4194304 4196468 140723062615552 139987552287408 139988785079752 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 39198720 140723062617166 140723062617349 140723062617349 140723062620111 0
[pid=23277/tid=23294] ppid=23274 vsize=27718424 memory=140484823750784 CPUtime=0.6 cores=0-7
/proc/23277/task/23294/stat : 23294 (java) R 23274 23277 23230 0 -1 4202560 1787 0 0 0 59 1 0 0 20 0 45 0 252762194 28383666176 60216 33554432000 4194304 4196468 140723062615552 139987551220560 139988785120893 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 39198720 140723062617166 140723062617349 140723062617349 140723062620111 0
[pid=23277/tid=23295] ppid=23274 vsize=27718424 memory=280969647233304 CPUtime=0.72 cores=0-7
/proc/23277/task/23295/stat : 23295 (java) R 23274 23277 23230 0 -1 4202560 5822 0 0 0 71 1 0 0 20 0 45 0 252762194 28383666176 60216 33554432000 4194304 4196468 140723062615552 139987550181808 139988798957947 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 39198720 140723062617166 140723062617349 140723062617349 140723062620111 0
[pid=23277/tid=23296] ppid=23274 vsize=27718424 memory=140484823750848 CPUtime=0 cores=0-7
/proc/23277/task/23296/stat : 23296 (java) S 23274 23277 23230 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 45 0 252762194 28383666176 60216 33554432000 4194304 4196468 140723062615552 139987549129184 139988805871317 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39198720 140723062617166 140723062617349 140723062617349 140723062620111 0
[pid=23277/tid=23297] ppid=23274 vsize=27718424 memory=140484823750880 CPUtime=0 cores=0-7
/proc/23277/task/23297/stat : 23297 (java) S 23274 23277 23230 0 -1 1077944384 9 0 0 0 0 0 0 0 20 0 45 0 252762199 28383666176 60216 33554432000 4194304 4196468 140723062615552 139987548076720 139988805872258 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39198720 140723062617166 140723062617349 140723062617349 140723062620111 0
[pid=23277/tid=23298] ppid=23274 vsize=27718424 memory=140484823750912 CPUtime=0 cores=0-7
/proc/23277/task/23298/stat : 23298 (java) S 23274 23277 23230 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 45 0 252762359 28383666176 60216 33554432000 4194304 4196468 140723062615552 139987469394432 139988805871317 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39198720 140723062617166 140723062617349 140723062617349 140723062620111 0
[pid=23277/tid=23299] ppid=23274 vsize=27718424 memory=140484823750944 CPUtime=0 cores=0-7
/proc/23277/task/23299/stat : 23299 (java) S 23274 23277 23230 0 -1 1077944384 24 0 0 0 0 0 0 0 20 0 45 0 252762379 28383666176 60216 33554432000 4194304 4196468 140723062615552 139987466244816 139988805872258 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39198720 140723062617166 140723062617349 140723062617349 140723062620111 0
Current children cumulated CPU time: 5.08 s
Current children cumulated vsize: 27718424 KiB
Current children cumulated memory: 240864 KiB

[startup+3.6033 s]*
/proc/loadavg: 0.08 0.39 0.94 2/182 23324
/proc/meminfo: memFree=23754088/32770624 swapFree=67108368/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): 3.61289
CPU time (s): 7.99698
CPU user time (s): 7.77783
CPU system time (s): 0.21915
CPU usage (%): 221.346
Max. virtual memory (cumulated for all children) (KiB): 27850524
Max. memory (cumulated for all children) (KiB): 247436

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 7.77783
system time used= 0.21915
maximum resident set size= 247760
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 39612
page faults= 0
swaps= 0
block input operations= 1664
block output operations= 112
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 6595
involuntary context switches= 438


# summary of solver processes directly reported to runsolver:
#   pid: 23277
#   total CPU time (s): 7.99698
#   total CPU user time (s): 7.77783
#   total CPU system time (s): 0.21915

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.051011 second user time and 0.064014 second system time

The end

Launcher Data 

Begin job on node148 at 2018-08-15 18:53:09
IDJOB=4309004
IDBENCH=141017
IDSOLVER=2793
FILE ID=node148/4309004-1534351989
RUNJOBID= node148-1534351989-23257
PBS_JOBID= 21038247
Free space on /tmp= 44896 MiB

SOLVER NAME= OscaR - Parallel with EPS 2018-08-14
BENCH NAME= XCSP18/ColouredQueens/ColouredQueens-06_c18.xml
COMMAND LINE= java -Xmx22000m -jar oscarCPXcsp3-parallel.jar --randomseed RANDOMSEED --timelimit TIMELIMIT --memlimit 22000 --nbcore NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4309004-1534351989/watcher-4309004-1534351989 -o /tmp/evaluation-result-4309004-1534351989/solver-4309004-1534351989 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node148-1534351989-23257 --watchdog 2580  java -Xmx22000m -jar oscarCPXcsp3-parallel.jar --randomseed 508517251 --timelimit 20160 --memlimit 22000 --nbcore 8 HOME/instance-4309004-1534351989.xml

TIME LIMIT= 20160 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 8

MD5SUM BENCH= 7b867b166641a9e2c5ffb0d7a40768d4
RANDOM SEED=508517251

node148.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	: 5333.50
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	: 5333.50
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	: 5333.50
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	: 5333.50
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:        23758580 kB
MemAvailable:   31896808 kB
Buffers:          186604 kB
Cached:          8174564 kB
SwapCached:            4 kB
Active:          4470400 kB
Inactive:        3940308 kB
Active(anon):       3080 kB
Inactive(anon):   107000 kB
Active(file):    4467320 kB
Inactive(file):  3833308 kB
Unevictable:        7348 kB
Mlocked:            7348 kB
SwapTotal:      67108860 kB
SwapFree:       67108368 kB
Dirty:             35740 kB
Writeback:             0 kB
AnonPages:         57216 kB
Mapped:            55348 kB
Shmem:             57780 kB
Slab:             294620 kB
SReclaimable:     266060 kB
SUnreclaim:        28560 kB
KernelStack:        3120 kB
PageTables:         5488 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     356700 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:      4096 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      116096 kB
DirectMap2M:    33429504 kB

Free space on /tmp at the end= 44860 MiB
End job on node148 at 2018-08-15 18:53:13