Trace number 4409194

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
cosoco 2.0 parallel? 365.258 365.477

General information on the benchmark

NameRectPacking/RectPacking-m1-perf/
RectPacking-perfect-199.xml
MD5SUM6632ff8405f31e2dfb2c2f75c1e4c1cc
Bench CategoryCSP (decision problem)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark17.4392
Satisfiable
(Un)Satisfiability was proved
Number of variables50
Number of constraints53
Number of domains1
Minimum domain size607
Maximum domain size607
Distribution of domain sizes[{"size":607,"count":50}]
Minimum variable degree2
Maximum variable degree4
Distribution of variable degrees[{"degree":2,"count":48},{"degree":3,"count":1},{"degree":4,"count":1}]
Minimum constraint arity1
Maximum constraint arity50
Distribution of constraint arities[{"arity":1,"count":51},{"arity":2,"count":1},{"arity":50,"count":1}]
Number of extensional constraints0
Number of intensional constraints52
Distribution of constraint types[{"type":"intension","count":52},{"type":"noOverlap","count":1}]
Optimization problemNO
Type of objective

Solver Data

363.87/364.19	c
363.87/364.19	c This is cosoco 2.00 --  
363.87/364.19	c
363.87/364.19	c command line: cosoco -model -nbcores=8 HOME/instance-4409194-1569827272.xml 
363.87/364.19	c WARNING : never tested k dom no overlap length int 
363.87/364.19	c =========================================================================================================
363.87/364.19	s UNKNOWN

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4409194-1569827272/watcher-4409194-1569827272 -o /tmp/evaluation-result-4409194-1569827272/solver-4409194-1569827272 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node107-1569823193-16902 --watchdog 2580 cosoco -model -nbcores=8 HOME/instance-4409194-1569827272.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=17037, runsolver pid=17034

[startup+0.100154 s]*
/proc/loadavg: 1.06 3.30 6.00 2/190 17038
/proc/meminfo: memFree=31479060/32770624 swapFree=66954412/67108860
[pid=17037] ppid=17034 vsize=33796 memory=9828 CPUtime=0.1 cores=0-7
/proc/17037/stat : 17037 (cosoco) R 17034 17037 16875 0 -1 4202496 2659 0 0 0 10 0 0 0 20 0 1 0 558982161 34607104 2457 33554432000 4194304 6211132 140736678045584 140736678039688 140426167610341 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 15794176 140736678048785 140736678048877 140736678048877 140736678051790 0
/proc/17037/statm: 8449 2457 834 493 0 1754 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 33796 KiB
Current children cumulated memory: 9828 KiB

[startup+0.209305 s]*
/proc/loadavg: 1.06 3.30 6.00 2/190 17038
/proc/meminfo: memFree=31475708/32770624 swapFree=66954412/67108860
[pid=17037] ppid=17034 vsize=37772 memory=13252 CPUtime=0.2 cores=0-7
/proc/17037/stat : 17037 (cosoco) R 17034 17037 16875 0 -1 4202496 3514 0 0 0 20 0 0 0 20 0 1 0 558982161 38678528 3313 33554432000 4194304 6211132 140736678045584 140736678039688 140426167610341 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 15794176 140736678048785 140736678048877 140736678048877 140736678051790 0
/proc/17037/statm: 9443 3313 834 493 0 2748 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 37772 KiB
Current children cumulated memory: 13252 KiB

[startup+0.308777 s]*
/proc/loadavg: 1.06 3.30 6.00 2/190 17038
/proc/meminfo: memFree=31472732/32770624 swapFree=66954412/67108860
[pid=17037] ppid=17034 vsize=41192 memory=16304 CPUtime=0.3 cores=0-7
/proc/17037/stat : 17037 (cosoco) R 17034 17037 16875 0 -1 4202496 4257 0 0 0 30 0 0 0 20 0 1 0 558982161 42180608 4076 33554432000 4194304 6211132 140736678045584 140736678039688 140426167610341 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 15794176 140736678048785 140736678048877 140736678048877 140736678051790 0
/proc/17037/statm: 10298 4076 834 493 0 3603 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 41192 KiB
Current children cumulated memory: 16304 KiB

[startup+0.700275 s]
/proc/loadavg: 1.06 3.30 6.00 2/190 17038
/proc/meminfo: memFree=31467492/32770624 swapFree=66954412/67108860
[pid=17037] ppid=17034 vsize=54156 memory=27344 CPUtime=0.68 cores=0-7
/proc/17037/stat : 17037 (cosoco) R 17034 17037 16875 0 -1 4202496 7039 0 0 0 68 0 0 0 20 0 1 0 558982161 55455744 6836 33554432000 4194304 6211132 140736678045584 140736678039688 140426167610341 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 15794176 140736678048785 140736678048877 140736678048877 140736678051790 0
/proc/17037/statm: 13539 6836 834 493 0 6844 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 54156 KiB
Current children cumulated memory: 27344 KiB

[startup+1.50029 s]
/proc/loadavg: 1.06 3.30 6.00 2/190 17038
/proc/meminfo: memFree=31452984/32770624 swapFree=66954412/67108860
[pid=17037] ppid=17034 vsize=75064 memory=51440 CPUtime=1.49 cores=0-7
/proc/17037/stat : 17037 (cosoco) R 17034 17037 16875 0 -1 4202496 12001 0 0 0 148 1 0 0 20 0 1 0 558982161 76865536 12860 33554432000 4194304 6211132 140736678045584 140736678039688 140426167610341 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 15794176 140736678048785 140736678048877 140736678048877 140736678051790 0
/proc/17037/statm: 18766 12860 834 493 0 12071 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 75064 KiB
Current children cumulated memory: 51440 KiB

[startup+3.10913 s]
/proc/loadavg: 0.98 3.24 5.97 2/190 17038
/proc/meminfo: memFree=31392332/32770624 swapFree=66954412/67108860
[pid=17037] ppid=17034 vsize=125448 memory=99076 CPUtime=3.09 cores=0-7
/proc/17037/stat : 17037 (cosoco) R 17034 17037 16875 0 -1 4202496 20901 0 0 0 306 3 0 0 20 0 1 0 558982161 128458752 24769 33554432000 4194304 6211132 140736678045584 140736678039688 5480231 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 15794176 140736678048785 140736678048877 140736678048877 140736678051790 0
/proc/17037/statm: 31362 24769 834 493 0 24667 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 125448 KiB
Current children cumulated memory: 99076 KiB

[startup+6.30034 s]
/proc/loadavg: 0.98 3.24 5.97 2/190 17038
/proc/meminfo: memFree=31176760/32770624 swapFree=66954412/67108860
[pid=17037] ppid=17034 vsize=360580 memory=336372 CPUtime=6.29 cores=0-7
/proc/17037/stat : 17037 (cosoco) R 17034 17037 16875 0 -1 4202496 61878 0 0 0 619 10 0 0 20 0 1 0 558982161 369233920 84093 33554432000 4194304 6211132 140736678045584 140736678039688 140426167610341 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 15794176 140736678048785 140736678048877 140736678048877 140736678051790 0
/proc/17037/statm: 90145 84093 834 493 0 83450 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 360580 KiB
Current children cumulated memory: 336372 KiB

[startup+12.7004 s]
/proc/loadavg: 0.98 3.17 5.91 2/190 17038
/proc/meminfo: memFree=30691100/32770624 swapFree=66954412/67108860
[pid=17037] ppid=17034 vsize=968076 memory=852164 CPUtime=12.68 cores=0-7
/proc/17037/stat : 17037 (cosoco) R 17034 17037 16875 0 -1 4202496 149447 0 0 0 1245 23 0 0 20 0 1 0 558982161 991309824 213041 33554432000 4194304 6211132 140736678045584 140736678039688 140426167610341 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 15794176 140736678048785 140736678048877 140736678048877 140736678051790 0
/proc/17037/statm: 242019 213041 834 493 0 235324 0
Current children cumulated CPU time: 12.68 s
Current children cumulated vsize: 968076 KiB
Current children cumulated memory: 852164 KiB

[startup+25.5004 s]
/proc/loadavg: 0.98 3.10 5.86 2/190 17038
/proc/meminfo: memFree=29639516/32770624 swapFree=66954412/67108860
[pid=17037] ppid=17034 vsize=2124912 memory=1887520 CPUtime=25.48 cores=0-7
/proc/17037/stat : 17037 (cosoco) R 17034 17037 16875 0 -1 4202496 323439 0 0 0 2500 48 0 0 20 0 1 0 558982161 2175909888 471880 33554432000 4194304 6211132 140736678045584 140736678039688 140426167610341 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 15794176 140736678048785 140736678048877 140736678048877 140736678051790 0
/proc/17037/statm: 531228 471880 834 493 0 524533 0
Current children cumulated CPU time: 25.48 s
Current children cumulated vsize: 2124912 KiB
Current children cumulated memory: 1887520 KiB

[startup+51.1093 s]
/proc/loadavg: 0.99 2.93 5.73 2/190 17041
/proc/meminfo: memFree=27533724/32770624 swapFree=66954412/67108860
[pid=17037] ppid=17034 vsize=4556160 memory=3957412 CPUtime=51.06 cores=0-7
/proc/17037/stat : 17037 (cosoco) R 17034 17037 16875 0 -1 4202496 669758 0 0 0 5001 105 0 0 20 0 1 0 558982161 4665507840 989353 33554432000 4194304 6211132 140736678045584 140736678039688 140426167610341 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 15794176 140736678048785 140736678048877 140736678048877 140736678051790 0
/proc/17037/statm: 1139040 989353 834 493 0 1132345 0
Current children cumulated CPU time: 51.06 s
Current children cumulated vsize: 4556160 KiB
Current children cumulated memory: 3957412 KiB

[startup+102.3 s]
/proc/loadavg: 1.00 2.61 5.46 2/190 17044
/proc/meminfo: memFree=23399060/32770624 swapFree=66954412/67108860
[pid=17037] ppid=17034 vsize=8263416 memory=8098340 CPUtime=102.23 cores=0-7
/proc/17037/stat : 17037 (cosoco) R 17034 17037 16875 0 -1 4202496 1361609 0 0 0 10017 206 0 0 20 0 1 0 558982161 8461737984 2024585 33554432000 4194304 6211132 140736678045584 140736678039688 140426167610341 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 15794176 140736678048785 140736678048877 140736678048877 140736678051790 0
/proc/17037/statm: 2065854 2024585 834 493 0 2059159 0
Current children cumulated CPU time: 102.23 s
Current children cumulated vsize: 8263416 KiB
Current children cumulated memory: 8098340 KiB

[startup+162.3 s]
/proc/loadavg: 1.00 2.31 5.18 2/190 17047
/proc/meminfo: memFree=18744660/32770624 swapFree=66954412/67108860
[pid=17037] ppid=17034 vsize=12780784 memory=12745060 CPUtime=162.19 cores=0-7
/proc/17037/stat : 17037 (cosoco) R 17034 17037 16875 0 -1 4202496 2137444 0 0 0 15895 324 0 0 20 0 1 0 558982161 13087522816 3186265 33554432000 4194304 6211132 140736678045584 140736678039688 140426167610341 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 15794176 140736678048785 140736678048877 140736678048877 140736678051790 0
/proc/17037/statm: 3195196 3186265 834 493 0 3188501 0
Current children cumulated CPU time: 162.19 s
Current children cumulated vsize: 12780784 KiB
Current children cumulated memory: 12745060 KiB

[startup+222.3 s]
/proc/loadavg: 1.00 2.07 4.92 2/190 17052
/proc/meminfo: memFree=13897532/32770624 swapFree=66954412/67108860
[pid=17037] ppid=17034 vsize=18133268 memory=17580452 CPUtime=222.15 cores=0-7
/proc/17037/stat : 17037 (cosoco) R 17034 17037 16875 0 -1 4202496 2944645 0 0 0 21749 466 0 0 20 0 1 0 558982161 18568466432 4395113 33554432000 4194304 6211132 140736678045584 140736678039688 140426167610341 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 15794176 140736678048785 140736678048877 140736678048877 140736678051790 0
/proc/17037/statm: 4533317 4395113 834 493 0 4526622 0
Current children cumulated CPU time: 222.15 s
Current children cumulated vsize: 18133268 KiB
Current children cumulated memory: 17580452 KiB

[startup+282.3 s]
/proc/loadavg: 1.00 1.88 4.67 2/191 17063
/proc/meminfo: memFree=9302744/32770624 swapFree=66954412/67108860
[pid=17037] ppid=17034 vsize=24383924 memory=22166424 CPUtime=282.12 cores=0-7
/proc/17037/stat : 17037 (cosoco) R 17034 17037 16875 0 -1 4202496 3710445 0 0 0 27594 618 0 0 20 0 1 0 558982161 24969138176 5541606 33554432000 4194304 6211132 140736678045584 140736678039688 140426167610341 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 15794176 140736678048785 140736678048877 140736678048877 140736678051790 0
/proc/17037/statm: 6095981 5541606 834 493 0 6089286 0
Current children cumulated CPU time: 282.12 s
Current children cumulated vsize: 24383924 KiB
Current children cumulated memory: 22166424 KiB

[startup+342.3 s]
/proc/loadavg: 1.00 1.72 4.44 2/191 17066
/proc/meminfo: memFree=4471848/32770624 swapFree=66954412/67108860
[pid=17037] ppid=17034 vsize=27598916 memory=26988860 CPUtime=342.08 cores=0-7
/proc/17037/stat : 17037 (cosoco) R 17034 17037 16875 0 -1 4202496 4514960 0 0 0 33440 768 0 0 20 0 1 0 558982161 28261289984 6747215 33554432000 4194304 6211132 140736678045584 140736678039688 140426167610341 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 15794176 140736678048785 140736678048877 140736678048877 140736678051790 0
/proc/17037/statm: 6899729 6747215 834 493 0 6893034 0
Current children cumulated CPU time: 342.08 s
Current children cumulated vsize: 27598916 KiB
Current children cumulated memory: 26988860 KiB

[startup+365.477 s]
# the end of solver process 17037 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=355.713 s, system=9.54475 s

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

[startup+345.6 s]
/proc/loadavg: 1.00 1.72 4.44 2/191 17066
/proc/meminfo: memFree=4229100/32770624 swapFree=66954412/67108860
[pid=17037] ppid=17034 vsize=27775664 memory=27253896 CPUtime=345.38 cores=0-7
/proc/17037/stat : 17037 (cosoco) R 17034 17037 16875 0 -1 4202496 4559202 0 0 0 33762 776 0 0 20 0 1 0 558982161 28442279936 6813474 33554432000 4194304 6211132 140736678045584 140736678039688 140426167610341 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 15794176 140736678048785 140736678048877 140736678048877 140736678051790 0
/proc/17037/statm: 6943916 6813474 834 493 0 6937221 0
Current children cumulated CPU time: 345.38 s
Current children cumulated vsize: 27775664 KiB
Current children cumulated memory: 27253896 KiB

[startup+358.4 s]
/proc/loadavg: 1.00 1.68 4.39 2/191 17068
/proc/meminfo: memFree=3181428/32770624 swapFree=66954412/67108860
[pid=17037] ppid=17034 vsize=28461668 memory=28283952 CPUtime=358.17 cores=0-7
/proc/17037/stat : 17037 (cosoco) R 17034 17037 16875 0 -1 4202496 4730872 0 0 0 35009 808 0 0 20 0 1 0 558982161 29144748032 7070988 33554432000 4194304 6211132 140736678045584 140736678039688 140426167610341 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 15794176 140736678048785 140736678048877 140736678048877 140736678051790 0
/proc/17037/statm: 7115417 7070988 834 493 0 7108722 0
Current children cumulated CPU time: 358.17 s
Current children cumulated vsize: 28461668 KiB
Current children cumulated memory: 28283952 KiB

[startup+361.6 s]
/proc/loadavg: 1.00 1.68 4.39 2/191 17068
/proc/meminfo: memFree=2940356/32770624 swapFree=66954412/67108860
[pid=17037] ppid=17034 vsize=28633004 memory=28541400 CPUtime=361.37 cores=0-7
/proc/17037/stat : 17037 (cosoco) R 17034 17037 16875 0 -1 4202496 4773753 0 0 0 35319 818 0 0 20 0 1 0 558982161 29320196096 7135350 33554432000 4194304 6211132 140736678045584 140736678039688 140426167610341 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 15794176 140736678048785 140736678048877 140736678048877 140736678051790 0
/proc/17037/statm: 7158251 7135350 834 493 0 7151556 0
Current children cumulated CPU time: 361.37 s
Current children cumulated vsize: 28633004 KiB
Current children cumulated memory: 28541400 KiB

[startup+363.2 s]
/proc/loadavg: 1.00 1.67 4.37 2/191 17068
/proc/meminfo: memFree=2779352/32770624 swapFree=66954412/67108860
[pid=17037] ppid=17034 vsize=28718804 memory=28670124 CPUtime=362.97 cores=0-7
/proc/17037/stat : 17037 (cosoco) R 17034 17037 16875 0 -1 4202496 4795203 0 0 0 35474 823 0 0 20 0 1 0 558982161 29408055296 7167531 33554432000 4194304 6211132 140736678045584 140736678039688 140426167610341 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 15794176 140736678048785 140736678048877 140736678048877 140736678051790 0
/proc/17037/statm: 7179701 7167531 834 493 0 7173006 0
Current children cumulated CPU time: 362.97 s
Current children cumulated vsize: 28718804 KiB
Current children cumulated memory: 28670124 KiB

[startup+364.8 s]
/proc/loadavg: 1.00 1.67 4.37 2/191 17068
/proc/meminfo: memFree=2718592/32770624 swapFree=66954412/67108860
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB

[startup+365.2 s]
/proc/loadavg: 1.00 1.67 4.37 2/191 17068
/proc/meminfo: memFree=17770864/32770624 swapFree=66954412/67108860
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB

[startup+365.4 s]
/proc/loadavg: 1.00 1.67 4.37 2/191 17068
/proc/meminfo: memFree=17770864/32770624 swapFree=66954412/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): 365.477
CPU time (s): 365.258
CPU user time (s): 355.713
CPU system time (s): 9.54475
CPU usage (%): 99.9399
Max. virtual memory (cumulated for all children) (KiB): 28767512
Max. memory (cumulated for all children) (KiB): 28743228

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 355.713
system time used= 9.54475
maximum resident set size= 28747960
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 4818012
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 309
involuntary context switches= 265


# summary of solver processes directly reported to runsolver:
#   pid: 17037
#   total CPU time (s): 365.258
#   total CPU user time (s): 355.713
#   total CPU system time (s): 9.54475

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.34733 second user time and 2.70171 second system time

The end

Launcher Data

Begin job on node107 at 2019-09-30 08:05:45
IDJOB=4409194
IDBENCH=127787
IDSOLVER=2877
FILE ID=node107/4409194-1569827272
RUNJOBID= node107-1569823193-16902
PBS_JOBID= 21705928
Free space on /tmp= 62032 MiB

SOLVER NAME= cosoco 2.0 parallel
BENCH NAME= XCSP17/RectPacking/RectPacking-m1-perf/RectPacking-perfect-199.xml
COMMAND LINE= cosoco -model -nbcores=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4409194-1569827272/watcher-4409194-1569827272 -o /tmp/evaluation-result-4409194-1569827272/solver-4409194-1569827272 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node107-1569823193-16902 --watchdog 2580  cosoco -model -nbcores=8 HOME/instance-4409194-1569827272.xml

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

MD5SUM BENCH= 6632ff8405f31e2dfb2c2f75c1e4c1cc
RANDOM SEED=1624037345

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:        31484760 kB
MemAvailable:   31831748 kB
Buffers:          199328 kB
Cached:           482172 kB
SwapCached:        48108 kB
Active:           352596 kB
Inactive:         380160 kB
Active(anon):      16256 kB
Inactive(anon):   112456 kB
Active(file):     336340 kB
Inactive(file):   267704 kB
Unevictable:      109672 kB
Mlocked:          109672 kB
SwapTotal:      67108860 kB
SwapFree:       66954412 kB
Dirty:              2552 kB
Writeback:             0 kB
AnonPages:        112772 kB
Mapped:            26296 kB
Shmem:             69360 kB
Slab:             145456 kB
SReclaimable:     117556 kB
SUnreclaim:        27900 kB
KernelStack:        3376 kB
PageTables:         4880 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     530080 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:     67584 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 /tmp at the end= 62028 MiB
End job on node107 at 2019-09-30 08:11:50