Trace number 4409258

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? 361.399 361.645

General information on the benchmark

NameRectPacking/RectPacking-m1-perf/
RectPacking-perfect-203.xml
MD5SUMce251f4c9ae0df3aa97e9296eb89cd68
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 benchmark141.487
Satisfiable
(Un)Satisfiability was proved
Number of variables50
Number of constraints53
Number of domains1
Minimum domain size634
Maximum domain size634
Distribution of domain sizes[{"size":634,"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

360.04/360.36	c
360.04/360.36	c This is cosoco 2.00 --  
360.04/360.36	c
360.04/360.36	c command line: cosoco -model -nbcores=8 HOME/instance-4409258-1569827326.xml 
360.04/360.36	c WARNING : never tested k dom no overlap length int 
360.04/360.36	c =========================================================================================================
360.04/360.36	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 (15287 MiB free)
  memory of node 1: 16384 MiB (15596 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4409258-1569827326/watcher-4409258-1569827326 -o /tmp/evaluation-result-4409258-1569827326/solver-4409258-1569827326 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node103-1569827265-24285 --watchdog 2580 cosoco -model -nbcores=8 HOME/instance-4409258-1569827326.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
solver pid=24436, runsolver pid=24433
Current StackSize limit: 8192 KiB


[startup+0.100151 s]*
/proc/loadavg: 8.31 8.27 8.24 2/191 24437
/proc/meminfo: memFree=31618032/32770624 swapFree=66999256/67108860
[pid=24436] ppid=24433 vsize=34012 memory=10008 CPUtime=0.1 cores=0-7
/proc/24436/stat : 24436 (cosoco) R 24433 24436 24258 0 -1 4202496 2721 0 0 0 10 0 0 0 20 0 1 0 558985671 34828288 2502 33554432000 4194304 6211132 140726201870160 140726201866696 140297033485285 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 13967360 140726201873425 140726201873517 140726201873517 140726201876430 0
/proc/24436/statm: 8503 2502 834 493 0 1808 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 34012 KiB
Current children cumulated memory: 10008 KiB

[startup+0.209222 s]*
/proc/loadavg: 8.31 8.27 8.24 2/191 24437
/proc/meminfo: memFree=31614312/32770624 swapFree=66999256/67108860
[pid=24436] ppid=24433 vsize=38064 memory=13468 CPUtime=0.21 cores=0-7
/proc/24436/stat : 24436 (cosoco) R 24433 24436 24258 0 -1 4202496 3594 0 0 0 21 0 0 0 20 0 1 0 558985671 38977536 3367 33554432000 4194304 6211132 140726201870160 140726201866696 140297033485285 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 13967360 140726201873425 140726201873517 140726201873517 140726201876430 0
/proc/24436/statm: 9516 3367 834 493 0 2821 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 38064 KiB
Current children cumulated memory: 13468 KiB

[startup+0.30851 s]*
/proc/loadavg: 8.31 8.27 8.24 2/191 24437
/proc/meminfo: memFree=31611336/32770624 swapFree=66999256/67108860
[pid=24436] ppid=24433 vsize=41524 memory=16660 CPUtime=0.31 cores=0-7
/proc/24436/stat : 24436 (cosoco) R 24433 24436 24258 0 -1 4202496 4351 0 0 0 31 0 0 0 20 0 1 0 558985671 42520576 4165 33554432000 4194304 6211132 140726201870160 140726201866696 140297033485285 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 13967360 140726201873425 140726201873517 140726201873517 140726201876430 0
/proc/24436/statm: 10381 4165 834 493 0 3686 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 41524 KiB
Current children cumulated memory: 16660 KiB

[startup+0.700325 s]
/proc/loadavg: 8.31 8.27 8.24 2/191 24437
/proc/meminfo: memFree=31605572/32770624 swapFree=66999256/67108860
[pid=24436] ppid=24433 vsize=54656 memory=27740 CPUtime=0.69 cores=0-7
/proc/24436/stat : 24436 (cosoco) R 24433 24436 24258 0 -1 4202496 7132 0 0 0 69 0 0 0 20 0 1 0 558985671 55967744 6935 33554432000 4194304 6211132 140726201870160 140726201866696 140297033485285 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 13967360 140726201873425 140726201873517 140726201873517 140726201876430 0
/proc/24436/statm: 13664 6935 834 493 0 6969 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 54656 KiB
Current children cumulated memory: 27740 KiB

[startup+1.50033 s]
/proc/loadavg: 8.31 8.27 8.24 2/191 24437
/proc/meminfo: memFree=31590724/32770624 swapFree=66999256/67108860
[pid=24436] ppid=24433 vsize=76228 memory=52196 CPUtime=1.49 cores=0-7
/proc/24436/stat : 24436 (cosoco) R 24433 24436 24258 0 -1 4202496 12230 0 0 0 148 1 0 0 20 0 1 0 558985671 78057472 13049 33554432000 4194304 6211132 140726201870160 140726201864264 140297033485285 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 13967360 140726201873425 140726201873517 140726201873517 140726201876430 0
/proc/24436/statm: 19057 13049 834 493 0 12362 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 76228 KiB
Current children cumulated memory: 52196 KiB

[startup+3.10844 s]
/proc/loadavg: 7.72 8.15 8.20 2/191 24438
/proc/meminfo: memFree=31529040/32770624 swapFree=66999256/67108860
[pid=24436] ppid=24433 vsize=127204 memory=100552 CPUtime=3.09 cores=0-7
/proc/24436/stat : 24436 (cosoco) R 24433 24436 24258 0 -1 4202496 21263 0 0 0 306 3 0 0 20 0 1 0 558985671 130256896 25138 33554432000 4194304 6211132 140726201870160 140726201864264 140297033485285 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 13967360 140726201873425 140726201873517 140726201873517 140726201876430 0
/proc/24436/statm: 31801 25138 834 493 0 25106 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 127204 KiB
Current children cumulated memory: 100552 KiB

[startup+6.30032 s]
/proc/loadavg: 7.72 8.15 8.20 2/191 24438
/proc/meminfo: memFree=31439144/32770624 swapFree=66999256/67108860
[pid=24436] ppid=24433 vsize=234500 memory=196780 CPUtime=6.29 cores=0-7
/proc/24436/stat : 24436 (cosoco) R 24433 24436 24258 0 -1 4202496 38673 0 0 0 623 6 0 0 20 0 1 0 558985671 240128000 49195 33554432000 4194304 6211132 140726201870160 140726201864264 140297033485285 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 13967360 140726201873425 140726201873517 140726201873517 140726201876430 0
/proc/24436/statm: 58625 49195 834 493 0 51930 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 234500 KiB
Current children cumulated memory: 196780 KiB

[startup+12.7003 s]
/proc/loadavg: 6.69 7.91 8.12 2/191 24438
/proc/meminfo: memFree=31120676/32770624 swapFree=66999256/67108860
[pid=24436] ppid=24433 vsize=658556 memory=567016 CPUtime=12.68 cores=0-7
/proc/24436/stat : 24436 (cosoco) R 24433 24436 24258 0 -1 4202496 102185 0 0 0 1253 15 0 0 20 0 1 0 558985671 674361344 141754 33554432000 4194304 6211132 140726201870160 140726201864264 140297033485285 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8312316 8317760 13967360 140726201873425 140726201873517 140726201873517 140726201876430 0
/proc/24436/statm: 164639 141754 834 493 0 157944 0
Current children cumulated CPU time: 12.68 s
Current children cumulated vsize: 658556 KiB
Current children cumulated memory: 567016 KiB

[startup+25.5003 s]
/proc/loadavg: 5.81 7.68 8.05 2/192 24440
/proc/meminfo: memFree=30021532/32770624 swapFree=66999256/67108860
[pid=24436] ppid=24433 vsize=1692020 memory=1648936 CPUtime=25.47 cores=0-7
/proc/24436/stat : 24436 (cosoco) R 24433 24436 24258 0 -1 4202496 284245 0 0 0 2506 41 0 0 20 0 1 0 558985671 1732628480 412234 33554432000 4194304 6211132 140726201870160 140726201864264 140297033485285 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8312316 8317760 13967360 140726201873425 140726201873517 140726201873517 140726201876430 0
/proc/24436/statm: 423005 412234 834 493 0 416310 0
Current children cumulated CPU time: 25.47 s
Current children cumulated vsize: 1692020 KiB
Current children cumulated memory: 1648936 KiB

[startup+51.1084 s]
/proc/loadavg: 4.17 7.15 7.86 2/191 24440
/proc/meminfo: memFree=27814892/32770624 swapFree=66999256/67108860
[pid=24436] ppid=24433 vsize=4468888 memory=3817280 CPUtime=51.06 cores=0-7
/proc/24436/stat : 24436 (cosoco) R 24433 24436 24258 0 -1 4202496 647452 0 0 0 5009 97 0 0 20 0 1 0 558985671 4576141312 954320 33554432000 4194304 6211132 140726201870160 140726201864264 5476889 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8312316 8317760 13967360 140726201873425 140726201873517 140726201873517 140726201876430 0
/proc/24436/statm: 1117222 954320 834 493 0 1110527 0
Current children cumulated CPU time: 51.06 s
Current children cumulated vsize: 4468888 KiB
Current children cumulated memory: 3817280 KiB

[startup+102.3 s]
/proc/loadavg: 2.27 6.11 7.46 2/191 24443
/proc/meminfo: memFree=23487988/32770624 swapFree=66999256/67108860
[pid=24436] ppid=24433 vsize=8304976 memory=8152448 CPUtime=102.22 cores=0-7
/proc/24436/stat : 24436 (cosoco) R 24433 24436 24258 0 -1 4202496 1371553 0 0 0 10014 208 0 0 20 0 1 0 558985671 8504295424 2038112 33554432000 4194304 6211132 140726201870160 140726201864264 5453940 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8312316 8317760 13967360 140726201873425 140726201873517 140726201873517 140726201876430 0
/proc/24436/statm: 2076277 2038112 834 493 0 2069582 0
Current children cumulated CPU time: 102.22 s
Current children cumulated vsize: 8304976 KiB
Current children cumulated memory: 8152448 KiB

[startup+162.3 s]
/proc/loadavg: 1.46 5.18 7.06 2/192 24456
/proc/meminfo: memFree=18944784/32770624 swapFree=66999256/67108860
[pid=24436] ppid=24433 vsize=12750068 memory=12687564 CPUtime=162.17 cores=0-7
/proc/24436/stat : 24436 (cosoco) R 24433 24436 24258 0 -1 4202496 2129738 0 0 0 15892 325 0 0 20 0 1 0 558985671 13056069632 3171891 33554432000 4194304 6211132 140726201870160 140726201864264 140297033485285 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8312316 8317760 13967360 140726201873425 140726201873517 140726201873517 140726201876430 0
/proc/24436/statm: 3187517 3171891 834 493 0 3180822 0
Current children cumulated CPU time: 162.17 s
Current children cumulated vsize: 12750068 KiB
Current children cumulated memory: 12687564 KiB

[startup+222.3 s]
/proc/loadavg: 1.17 4.42 6.68 2/192 24459
/proc/meminfo: memFree=13877340/32770624 swapFree=66999256/67108860
[pid=24436] ppid=24433 vsize=18250392 memory=17744520 CPUtime=222.14 cores=0-7
/proc/24436/stat : 24436 (cosoco) R 24433 24436 24258 0 -1 4202496 2974436 0 0 0 21744 470 0 0 20 0 1 0 558985671 18688401408 4436130 33554432000 4194304 6211132 140726201870160 140726201864264 140297033485285 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8312316 8317760 13967360 140726201873425 140726201873517 140726201873517 140726201876430 0
/proc/24436/statm: 4562598 4436130 834 493 0 4555903 0
Current children cumulated CPU time: 222.14 s
Current children cumulated vsize: 18250392 KiB
Current children cumulated memory: 17744520 KiB

[startup+282.3 s]
/proc/loadavg: 1.06 3.80 6.33 2/192 24462
/proc/meminfo: memFree=8823952/32770624 swapFree=66999256/67108860
[pid=24436] ppid=24433 vsize=24804612 memory=22787656 CPUtime=282.09 cores=0-7
/proc/24436/stat : 24436 (cosoco) R 24433 24436 24258 0 -1 4202496 3816163 0 0 0 27573 636 0 0 20 0 1 0 558985671 25399922688 5696914 33554432000 4194304 6211132 140726201870160 140726201864264 140297034405795 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8312316 8317760 13967360 140726201873425 140726201873517 140726201873517 140726201876430 0
/proc/24436/statm: 6201153 5696914 834 493 0 6194458 0
Current children cumulated CPU time: 282.09 s
Current children cumulated vsize: 24804612 KiB
Current children cumulated memory: 22787656 KiB

[startup+342.3 s]
/proc/loadavg: 1.02 3.29 5.99 2/192 24467
/proc/meminfo: memFree=4342552/32770624 swapFree=66999256/67108860
[pid=24436] ppid=24433 vsize=27792540 memory=27262584 CPUtime=342.05 cores=0-7
/proc/24436/stat : 24436 (cosoco) R 24433 24436 24258 0 -1 4202496 4562945 0 0 0 33422 783 0 0 20 0 1 0 558985671 28459560960 6815646 33554432000 4194304 6211132 140726201870160 140726201864264 140297033485285 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 13967360 140726201873425 140726201873517 140726201873517 140726201876430 0
/proc/24436/statm: 6948135 6815646 834 493 0 6941440 0
Current children cumulated CPU time: 342.05 s
Current children cumulated vsize: 27792540 KiB
Current children cumulated memory: 27262584 KiB

[startup+361.645 s]
# the end of solver process 24436 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=351.798 s, system=9.60107 s

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

[startup+345.6 s]
/proc/loadavg: 1.02 3.29 5.99 2/192 24467
/proc/meminfo: memFree=4089928/32770624 swapFree=66999256/67108860
[pid=24436] ppid=24433 vsize=27978132 memory=27540420 CPUtime=345.35 cores=0-7
/proc/24436/stat : 24436 (cosoco) R 24433 24436 24258 0 -1 4202496 4609382 0 0 0 33743 792 0 0 20 0 1 0 558985671 28649607168 6885105 33554432000 4194304 6211132 140726201870160 140726201864264 140297033485285 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 13967360 140726201873425 140726201873517 140726201873517 140726201876430 0
/proc/24436/statm: 6994533 6885105 834 493 0 6987838 0
Current children cumulated CPU time: 345.35 s
Current children cumulated vsize: 27978132 KiB
Current children cumulated memory: 27540420 KiB

[startup+352 s]*
/proc/loadavg: 1.02 3.21 5.94 2/192 24467
/proc/meminfo: memFree=3497756/32770624 swapFree=66999256/67108860
[pid=24436] ppid=24433 vsize=28338888 memory=28081444 CPUtime=351.75 cores=0-7
/proc/24436/stat : 24436 (cosoco) R 24433 24436 24258 0 -1 4202496 4699671 0 0 0 34367 808 0 0 20 0 1 0 558985671 29019021312 7020361 33554432000 4194304 6211132 140726201870160 140726201864264 140297033485285 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 13967360 140726201873425 140726201873517 140726201873517 140726201876430 0
/proc/24436/statm: 7084722 7020361 834 493 0 7078027 0
Current children cumulated CPU time: 351.75 s
Current children cumulated vsize: 28338888 KiB
Current children cumulated memory: 28081444 KiB

[startup+358.4 s]
/proc/loadavg: 1.02 3.18 5.91 2/192 24467
/proc/meminfo: memFree=2989484/32770624 swapFree=66999256/67108860
[pid=24436] ppid=24433 vsize=28698456 memory=28621148 CPUtime=358.14 cores=0-7
/proc/24436/stat : 24436 (cosoco) R 24433 24436 24258 0 -1 4202496 4789652 0 0 0 34989 825 0 0 20 0 1 0 558985671 29387218944 7155287 33554432000 4194304 6211132 140726201870160 140726201864264 140297033485285 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 13967360 140726201873425 140726201873517 140726201873517 140726201876430 0
/proc/24436/statm: 7174647 7155287 834 493 0 7167952 0
Current children cumulated CPU time: 358.14 s
Current children cumulated vsize: 28698456 KiB
Current children cumulated memory: 28621148 KiB

[startup+360 s]*
/proc/loadavg: 1.02 3.18 5.91 2/192 24467
/proc/meminfo: memFree=2821256/32770624 swapFree=66999256/67108860
[pid=24436] ppid=24433 vsize=28788876 memory=28756668 CPUtime=359.75 cores=0-7
/proc/24436/stat : 24436 (cosoco) R 24433 24436 24258 0 -1 4202496 4812266 0 0 0 35145 830 0 0 20 0 1 0 558985671 29479809024 7189167 33554432000 4194304 6211132 140726201870160 140726201864264 140297033485285 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 13967360 140726201873425 140726201873517 140726201873517 140726201876430 0
/proc/24436/statm: 7197219 7189167 834 493 0 7190524 0
Current children cumulated CPU time: 359.75 s
Current children cumulated vsize: 28788876 KiB
Current children cumulated memory: 28756668 KiB

[startup+360.8 s]
/proc/loadavg: 1.02 3.18 5.91 2/192 24467
/proc/meminfo: memFree=3965860/32770624 swapFree=66999256/67108860
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB

[startup+361.2 s]
/proc/loadavg: 1.02 3.18 5.91 2/192 24467
/proc/meminfo: memFree=14844048/32770624 swapFree=66999256/67108860
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB

[startup+361.6 s]
/proc/loadavg: 1.02 3.18 5.91 2/192 24467
/proc/meminfo: memFree=14844048/32770624 swapFree=66999256/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): 361.645
CPU time (s): 361.399
CPU user time (s): 351.798
CPU system time (s): 9.60107
CPU usage (%): 99.9321
Max. virtual memory (cumulated for all children) (KiB): 28805376
Max. memory (cumulated for all children) (KiB): 28781212

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 351.798
system time used= 9.60107
maximum resident set size= 28784020
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 4830536
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= 305
involuntary context switches= 628


# summary of solver processes directly reported to runsolver:
#   pid: 24436
#   total CPU time (s): 361.399
#   total CPU user time (s): 351.798
#   total CPU system time (s): 9.60107

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.2846 second user time and 2.34194 second system time

The end

Launcher Data

Begin job on node103 at 2019-09-30 09:07:47
IDJOB=4409258
IDBENCH=127846
IDSOLVER=2877
FILE ID=node103/4409258-1569827326
RUNJOBID= node103-1569827265-24285
PBS_JOBID= 21705929
Free space on /tmp= 62032 MiB

SOLVER NAME= cosoco 2.0 parallel
BENCH NAME= XCSP17/RectPacking/RectPacking-m1-perf/RectPacking-perfect-203.xml
COMMAND LINE= cosoco -model -nbcores=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4409258-1569827326/watcher-4409258-1569827326 -o /tmp/evaluation-result-4409258-1569827326/solver-4409258-1569827326 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node103-1569827265-24285 --watchdog 2580  cosoco -model -nbcores=8 HOME/instance-4409258-1569827326.xml

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

MD5SUM BENCH= ce251f4c9ae0df3aa97e9296eb89cd68
RANDOM SEED=448958367

node103.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.74
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.74
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.74
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.74
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:        31624828 kB
MemAvailable:   31868688 kB
Buffers:          179224 kB
Cached:           409556 kB
SwapCached:         7000 kB
Active:           333216 kB
Inactive:         269672 kB
Active(anon):      21992 kB
Inactive(anon):    74504 kB
Active(file):     311224 kB
Inactive(file):   195168 kB
Unevictable:      107704 kB
Mlocked:          107704 kB
SwapTotal:      67108860 kB
SwapFree:       66999256 kB
Dirty:              2740 kB
Writeback:             0 kB
AnonPages:        103420 kB
Mapped:            25604 kB
Shmem:             73656 kB
Slab:             135544 kB
SReclaimable:     106608 kB
SUnreclaim:        28936 kB
KernelStack:        3024 kB
PageTables:         5896 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     538332 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:     59392 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      105856 kB
DirectMap2M:    33439744 kB

Free space on /tmp at the end= 62028 MiB
End job on node103 at 2019-09-30 09:13:49