Trace number 4395621

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
PicatSAT 2019-09-12? (TO) 2400.1 2400.2

General information on the benchmark

NameQuadraticAssignment/QuadraticAssignment-m1-s1/
QuadraticAssignment-tai10a.xml
MD5SUMb58690ea851c8aad9573a552336d280c
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark67514
Best CPU time to get the best result obtained on this benchmark30.4709
Satisfiable
(Un)Satisfiability was proved
Number of variables110
Number of constraints46
Number of domains2
Minimum domain size10
Maximum domain size35
Distribution of domain sizes[{"size":10,"count":10},{"size":35,"count":45}]
Minimum variable degree0
Maximum variable degree10
Distribution of variable degrees[{"degree":0,"count":55},{"degree":2,"count":45},{"degree":10,"count":10}]
Minimum constraint arity3
Maximum constraint arity10
Distribution of constraint arities[{"arity":3,"count":45},{"arity":10,"count":1}]
Number of extensional constraints45
Number of intensional constraints0
Distribution of constraint types[{"type":"extension","count":45},{"type":"allDifferent","count":1}]
Optimization problemYES
Type of objectivemin SUM

Quality of the solution as a function of time


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

Solver Data 

15.18/15.27	c xcsp_picat version 2.7b12 (9/12/2019)
2022.40/2022.56	o 99932
2022.40/2022.56	o 76523
2140.39/2140.53	o 69065

Verifier Data 

One s line expected

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4395621-1568329940/watcher-4395621-1568329940 -o /tmp/evaluation-result-4395621-1568329940/solver-4395621-1568329940 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node147-1568328264-22069 --watchdog 2560 xcsp_picat HOME/instance-4395621-1568329940.xml 

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

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=22893, runsolver pid=22890
Current StackSize limit: 8192 KiB


[startup+0.100524 s]*
/proc/loadavg: 2.00 2.01 1.89 3/200 22894
/proc/meminfo: memFree=26615636/32770624 swapFree=66957008/67108860
[pid=22893] ppid=22890 vsize=2039720 memory=22540 CPUtime=0.09 cores=0,2,4,6
/proc/22893/stat : 22893 (xcsp_picat) R 22890 22893 22038 0 -1 4202496 2806 0 0 0 9 0 0 0 20 0 1 0 408907833 2088673280 5635 33554432000 4194304 5870510 140731215180864 140731215179880 140661308538759 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7970040 9572284 31039488 140731215189023 140731215189101 140731215189101 140731215192010 0
/proc/22893/statm: 509930 5635 942 410 0 505403 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 2039720 KiB
Current children cumulated memory: 22540 KiB

[startup+0.209656 s]*
/proc/loadavg: 2.00 2.01 1.89 3/200 22894
/proc/meminfo: memFree=26616824/32770624 swapFree=66957008/67108860
[pid=22893] ppid=22890 vsize=2036904 memory=21080 CPUtime=0.2 cores=0,2,4,6
/proc/22893/stat : 22893 (xcsp_picat) R 22890 22893 22038 0 -1 4202496 3275 0 0 0 20 0 0 0 20 0 1 0 408907833 2085789696 5270 33554432000 4194304 5870510 140731215180864 140731215179880 5258764 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7970040 9572284 31039488 140731215189023 140731215189101 140731215189101 140731215192010 0
/proc/22893/statm: 509226 5270 969 410 0 504699 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 2036904 KiB
Current children cumulated memory: 21080 KiB

[startup+0.30942 s]*
/proc/loadavg: 2.00 2.01 1.89 3/200 22894
/proc/meminfo: memFree=26616824/32770624 swapFree=66957008/67108860
[pid=22893] ppid=22890 vsize=2036904 memory=21336 CPUtime=0.3 cores=0,2,4,6
/proc/22893/stat : 22893 (xcsp_picat) R 22890 22893 22038 0 -1 4202496 3325 0 0 0 30 0 0 0 20 0 1 0 408907833 2085789696 5334 33554432000 4194304 5870510 140731215180864 140731215179880 5282396 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7970040 9572284 31039488 140731215189023 140731215189101 140731215189101 140731215192010 0
/proc/22893/statm: 509226 5334 989 410 0 504699 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 2036904 KiB
Current children cumulated memory: 21336 KiB

[startup+0.70025 s]
/proc/loadavg: 2.00 2.01 1.89 3/200 22894
/proc/meminfo: memFree=26615804/32770624 swapFree=66957008/67108860
[pid=22893] ppid=22890 vsize=2040556 memory=23664 CPUtime=0.69 cores=0,2,4,6
/proc/22893/stat : 22893 (xcsp_picat) R 22890 22893 22038 0 -1 4202496 3922 0 0 0 68 1 0 0 20 0 1 0 408907833 2089529344 5916 33554432000 4194304 5870510 140731215180864 140731215180120 5308368 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7970040 9572284 31039488 140731215189023 140731215189101 140731215189101 140731215192010 0
/proc/22893/statm: 510139 5916 989 410 0 505612 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 2040556 KiB
Current children cumulated memory: 23664 KiB

[startup+1.50026 s]
/proc/loadavg: 2.00 2.01 1.89 3/200 22894
/proc/meminfo: memFree=26612704/32770624 swapFree=66957008/67108860
[pid=22893] ppid=22890 vsize=2048516 memory=31080 CPUtime=1.49 cores=0,2,4,6
/proc/22893/stat : 22893 (xcsp_picat) R 22890 22893 22038 0 -1 4202496 5259 0 0 0 148 1 0 0 20 0 1 0 408907833 2097680384 7770 33554432000 4194304 5870510 140731215180864 140731215179224 5277429 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7970040 9572284 31039488 140731215189023 140731215189101 140731215189101 140731215192010 0
/proc/22893/statm: 512129 7770 989 410 0 507602 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 2048516 KiB
Current children cumulated memory: 31080 KiB

[startup+3.10952 s]
/proc/loadavg: 2.00 2.01 1.89 3/200 22894
/proc/meminfo: memFree=26601932/32770624 swapFree=66957008/67108860
[pid=22893] ppid=22890 vsize=2056728 memory=36444 CPUtime=3.09 cores=0,2,4,6
/proc/22893/stat : 22893 (xcsp_picat) R 22890 22893 22038 0 -1 4202496 6095 0 0 0 308 1 0 0 20 0 1 0 408907833 2106089472 9111 33554432000 4194304 5870510 140731215180864 140731215179288 5282505 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7970040 9572284 31039488 140731215189023 140731215189101 140731215189101 140731215192010 0
/proc/22893/statm: 514182 9111 989 410 0 509655 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 2056728 KiB
Current children cumulated memory: 36444 KiB

[startup+6.3003 s]
/proc/loadavg: 2.00 2.01 1.89 3/200 22894
/proc/meminfo: memFree=26598108/32770624 swapFree=66957008/67108860
[pid=22893] ppid=22890 vsize=2057840 memory=41980 CPUtime=6.29 cores=0,2,4,6
/proc/22893/stat : 22893 (xcsp_picat) R 22890 22893 22038 0 -1 4202496 11045 0 0 0 626 3 0 0 20 0 1 0 408907833 2107228160 10495 33554432000 4194304 5870510 140731215180864 140731215179224 5282759 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7970040 9572284 31039488 140731215189023 140731215189101 140731215189101 140731215192010 0
/proc/22893/statm: 514460 10495 989 410 0 509933 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 2057840 KiB
Current children cumulated memory: 41980 KiB

[startup+12.7002 s]
/proc/loadavg: 2.00 2.01 1.89 3/200 22894
/proc/meminfo: memFree=26586092/32770624 swapFree=66957008/67108860
[pid=22893] ppid=22890 vsize=2069524 memory=51088 CPUtime=12.68 cores=0,2,4,6
/proc/22893/stat : 22893 (xcsp_picat) R 22890 22893 22038 0 -1 4202496 13456 0 0 0 1265 3 0 0 20 0 1 0 408907833 2119192576 12772 33554432000 4194304 5870510 140731215180864 140731215179304 5288858 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7970040 9572284 31039488 140731215189023 140731215189101 140731215189101 140731215192010 0
/proc/22893/statm: 517381 12772 989 410 0 512854 0
Current children cumulated CPU time: 12.68 s
Current children cumulated vsize: 2069524 KiB
Current children cumulated memory: 51088 KiB

[startup+25.5003 s]
/proc/loadavg: 2.00 2.01 1.90 3/200 22894
/proc/meminfo: memFree=26582240/32770624 swapFree=66957008/67108860
[pid=22893] ppid=22890 vsize=2069524 memory=55180 CPUtime=25.48 cores=0,2,4,6
/proc/22893/stat : 22893 (xcsp_picat) R 22890 22893 22038 0 -1 4202496 14805 0 0 0 2544 4 0 0 20 0 1 0 408907833 2119192576 13795 33554432000 4194304 5870510 140731215180864 140731215179976 140661313758260 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7970040 9572284 31039488 140731215189023 140731215189101 140731215189101 140731215192010 0
/proc/22893/statm: 517381 13795 989 410 0 512854 0
Current children cumulated CPU time: 25.48 s
Current children cumulated vsize: 2069524 KiB
Current children cumulated memory: 55180 KiB

[startup+51.1095 s]
/proc/loadavg: 2.00 2.01 1.90 3/200 22897
/proc/meminfo: memFree=26576764/32770624 swapFree=66957008/67108860
[pid=22893] ppid=22890 vsize=2071524 memory=60316 CPUtime=51.09 cores=0,2,4,6
/proc/22893/stat : 22893 (xcsp_picat) R 22890 22893 22038 0 -1 4202496 18097 0 0 0 5105 4 0 0 20 0 1 0 408907833 2121240576 15079 33554432000 4194304 5870510 140731215180864 140731215179432 5282606 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7970040 9572284 31039488 140731215189023 140731215189101 140731215189101 140731215192010 0
/proc/22893/statm: 517881 15079 989 410 0 513354 0
Current children cumulated CPU time: 51.09 s
Current children cumulated vsize: 2071524 KiB
Current children cumulated memory: 60316 KiB

[startup+102.3 s]
/proc/loadavg: 2.00 2.01 1.90 3/200 22901
/proc/meminfo: memFree=26568272/32770624 swapFree=66957008/67108860
[pid=22893] ppid=22890 vsize=2081844 memory=70076 CPUtime=102.27 cores=0,2,4,6
/proc/22893/stat : 22893 (xcsp_picat) R 22890 22893 22038 0 -1 4202496 21780 0 0 0 10223 4 0 0 20 0 1 0 408907833 2131808256 17519 33554432000 4194304 5870510 140731215180864 140731215179432 5282680 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7970040 9572284 31039488 140731215189023 140731215189101 140731215189101 140731215192010 0
/proc/22893/statm: 520461 17519 989 410 0 515934 0
Current children cumulated CPU time: 102.27 s
Current children cumulated vsize: 2081844 KiB
Current children cumulated memory: 70076 KiB

[startup+162.3 s]
/proc/loadavg: 2.00 2.01 1.91 3/200 22905
/proc/meminfo: memFree=26548320/32770624 swapFree=66957008/67108860
[pid=22893] ppid=22890 vsize=2102144 memory=88964 CPUtime=162.26 cores=0,2,4,6
/proc/22893/stat : 22893 (xcsp_picat) R 22890 22893 22038 0 -1 4202496 27638 0 0 0 16221 5 0 0 20 0 1 0 408907833 2152595456 22241 33554432000 4194304 5870510 140731215180864 140731215179304 5282578 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7970040 9572284 31039488 140731215189023 140731215189101 140731215189101 140731215192010 0
/proc/22893/statm: 525536 22241 989 410 0 521009 0
Current children cumulated CPU time: 162.26 s
Current children cumulated vsize: 2102144 KiB
Current children cumulated memory: 88964 KiB

[startup+222.3 s]
/proc/loadavg: 2.00 2.01 1.92 3/200 22911
/proc/meminfo: memFree=26547428/32770624 swapFree=66957008/67108860
[pid=22893] ppid=22890 vsize=2102144 memory=91012 CPUtime=222.26 cores=0,2,4,6
/proc/22893/stat : 22893 (xcsp_picat) R 22890 22893 22038 0 -1 4202496 31096 0 0 0 22221 5 0 0 20 0 1 0 408907833 2152595456 22753 33554432000 4194304 5870510 140731215180864 140731215179304 5282729 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 31039488 140731215189023 140731215189101 140731215189101 140731215192010 0
/proc/22893/statm: 525536 22753 989 410 0 521009 0
Current children cumulated CPU time: 222.26 s
Current children cumulated vsize: 2102144 KiB
Current children cumulated memory: 91012 KiB

[startup+282.3 s]
/proc/loadavg: 2.05 2.02 1.93 3/198 22915
/proc/meminfo: memFree=26548096/32770624 swapFree=66957008/67108860
[pid=22893] ppid=22890 vsize=2102144 memory=91012 CPUtime=282.25 cores=0,2,4,6
/proc/22893/stat : 22893 (xcsp_picat) R 22890 22893 22038 0 -1 4202496 35071 0 0 0 28220 5 0 0 20 0 1 0 408907833 2152595456 22753 33554432000 4194304 5870510 140731215180864 140731215179304 5283133 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 31039488 140731215189023 140731215189101 140731215189101 140731215192010 0
/proc/22893/statm: 525536 22753 989 410 0 521009 0
Current children cumulated CPU time: 282.25 s
Current children cumulated vsize: 2102144 KiB
Current children cumulated memory: 91012 KiB

[startup+342.3 s]
/proc/loadavg: 2.02 2.01 1.93 3/199 22920
/proc/meminfo: memFree=26547660/32770624 swapFree=66957008/67108860
[pid=22893] ppid=22890 vsize=2102388 memory=91196 CPUtime=342.26 cores=0,2,4,6
/proc/22893/stat : 22893 (xcsp_picat) R 22890 22893 22038 0 -1 4202496 38739 0 0 0 34220 6 0 0 20 0 1 0 408907833 2152845312 22799 33554432000 4194304 5870510 140731215180864 140731215179432 5282767 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 31039488 140731215189023 140731215189101 140731215189101 140731215192010 0
/proc/22893/statm: 525597 22799 989 410 0 521070 0
Current children cumulated CPU time: 342.26 s
Current children cumulated vsize: 2102388 KiB
Current children cumulated memory: 91196 KiB

[startup+402.3 s]
/proc/loadavg: 2.01 2.01 1.94 3/200 22926
/proc/meminfo: memFree=26528412/32770624 swapFree=66957008/67108860
[pid=22893] ppid=22890 vsize=2102388 memory=91196 CPUtime=402.25 cores=0,2,4,6
/proc/22893/stat : 22893 (xcsp_picat) R 22890 22893 22038 0 -1 4202496 41815 0 0 0 40219 6 0 0 20 0 1 0 408907833 2152845312 22799 33554432000 4194304 5870510 140731215180864 140731215179432 5282223 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 31039488 140731215189023 140731215189101 140731215189101 140731215192010 0
/proc/22893/statm: 525597 22799 989 410 0 521070 0
Current children cumulated CPU time: 402.25 s
Current children cumulated vsize: 2102388 KiB
Current children cumulated memory: 91196 KiB

[startup+462.3 s]
/proc/loadavg: 2.06 2.03 1.95 3/199 22930
/proc/meminfo: memFree=26528424/32770624 swapFree=66957008/67108860
[pid=22893] ppid=22890 vsize=2102388 memory=91196 CPUtime=462.25 cores=0,2,4,6
/proc/22893/stat : 22893 (xcsp_picat) R 22890 22893 22038 0 -1 4202496 45414 0 0 0 46219 6 0 0 20 0 1 0 408907833 2152845312 22799 33554432000 4194304 5870510 140731215180864 140731215179432 140661308071446 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 31039488 140731215189023 140731215189101 140731215189101 140731215192010 0
/proc/22893/statm: 525597 22799 989 410 0 521070 0
Current children cumulated CPU time: 462.25 s
Current children cumulated vsize: 2102388 KiB
Current children cumulated memory: 91196 KiB


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

/proc/22893/statm: 534263 29413 989 410 0 529736 0
Current children cumulated CPU time: 1602.21 s
Current children cumulated vsize: 2137052 KiB
Current children cumulated memory: 117652 KiB

[startup+1662.3 s]
/proc/loadavg: 2.00 2.01 1.95 3/200 23102
/proc/meminfo: memFree=24288476/32770624 swapFree=66957008/67108860
[pid=22893] ppid=22890 vsize=2137052 memory=117652 CPUtime=1662.21 cores=0,2,4,6
/proc/22893/stat : 22893 (xcsp_picat) R 22890 22893 22038 0 -1 4202496 109208 0 0 0 166205 16 0 0 20 0 1 0 408907833 2188341248 29413 33554432000 4194304 5870510 140731215180864 140731215179304 5282721 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 31039488 140731215189023 140731215189101 140731215189101 140731215192010 0
/proc/22893/statm: 534263 29413 989 410 0 529736 0
Current children cumulated CPU time: 1662.21 s
Current children cumulated vsize: 2137052 KiB
Current children cumulated memory: 117652 KiB

[startup+1722.3 s]
/proc/loadavg: 2.00 2.01 1.95 3/200 23114
/proc/meminfo: memFree=24280160/32770624 swapFree=66957008/67108860
[pid=22893] ppid=22890 vsize=2137368 memory=125848 CPUtime=1722.21 cores=0,2,4,6
/proc/22893/stat : 22893 (xcsp_picat) R 22890 22893 22038 0 -1 4202496 110326 0 0 0 172205 16 0 0 20 0 1 0 408907833 2188664832 31462 33554432000 4194304 5870510 140731215180864 140731215179432 5282475 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 31039488 140731215189023 140731215189101 140731215189101 140731215192010 0
/proc/22893/statm: 534342 31462 989 410 0 529815 0
Current children cumulated CPU time: 1722.21 s
Current children cumulated vsize: 2137368 KiB
Current children cumulated memory: 125848 KiB

[startup+1782.3 s]
/proc/loadavg: 2.00 2.01 1.95 3/200 23118
/proc/meminfo: memFree=24279716/32770624 swapFree=66957008/67108860
[pid=22893] ppid=22890 vsize=2137368 memory=126184 CPUtime=1782.21 cores=0,2,4,6
/proc/22893/stat : 22893 (xcsp_picat) R 22890 22893 22038 0 -1 4202496 112967 0 0 0 178204 17 0 0 20 0 1 0 408907833 2188664832 31546 33554432000 4194304 5870510 140731215180864 140731215179432 5282617 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 31039488 140731215189023 140731215189101 140731215189101 140731215192010 0
/proc/22893/statm: 534342 31546 989 410 0 529815 0
Current children cumulated CPU time: 1782.21 s
Current children cumulated vsize: 2137368 KiB
Current children cumulated memory: 126184 KiB

[startup+1842.3 s]
/proc/loadavg: 2.00 2.01 1.95 3/201 23124
/proc/meminfo: memFree=24233956/32770624 swapFree=66957008/67108860
[pid=22893] ppid=22890 vsize=2137368 memory=126184 CPUtime=1842.2 cores=0,2,4,6
/proc/22893/stat : 22893 (xcsp_picat) R 22890 22893 22038 0 -1 4202496 113714 0 0 0 184203 17 0 0 20 0 1 0 408907833 2188664832 31546 33554432000 4194304 5870510 140731215180864 140731215179432 5282578 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 31039488 140731215189023 140731215189101 140731215189101 140731215192010 0
/proc/22893/statm: 534342 31546 989 410 0 529815 0
Current children cumulated CPU time: 1842.2 s
Current children cumulated vsize: 2137368 KiB
Current children cumulated memory: 126184 KiB

[startup+1902.3 s]
/proc/loadavg: 2.00 2.01 1.95 3/200 23128
/proc/meminfo: memFree=24233668/32770624 swapFree=66957008/67108860
[pid=22893] ppid=22890 vsize=2137368 memory=126184 CPUtime=1902.21 cores=0,2,4,6
/proc/22893/stat : 22893 (xcsp_picat) R 22890 22893 22038 0 -1 4202496 117324 0 0 0 190203 18 0 0 20 0 1 0 408907833 2188664832 31546 33554432000 4194304 5870510 140731215180864 140731215179432 5283094 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 31039488 140731215189023 140731215189101 140731215189101 140731215192010 0
/proc/22893/statm: 534342 31546 989 410 0 529815 0
Current children cumulated CPU time: 1902.21 s
Current children cumulated vsize: 2137368 KiB
Current children cumulated memory: 126184 KiB

[startup+1962.3 s]
/proc/loadavg: 2.04 2.03 1.96 3/200 23132
/proc/meminfo: memFree=24233560/32770624 swapFree=66957008/67108860
[pid=22893] ppid=22890 vsize=2137368 memory=126184 CPUtime=1962.2 cores=0,2,4,6
/proc/22893/stat : 22893 (xcsp_picat) R 22890 22893 22038 0 -1 4202496 118269 0 0 0 196202 18 0 0 20 0 1 0 408907833 2188664832 31546 33554432000 4194304 5870510 140731215180864 140731215179432 5283106 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 31039488 140731215189023 140731215189101 140731215189101 140731215192010 0
/proc/22893/statm: 534342 31546 989 410 0 529815 0
Current children cumulated CPU time: 1962.2 s
Current children cumulated vsize: 2137368 KiB
Current children cumulated memory: 126184 KiB

[startup+2022.3 s]
/proc/loadavg: 2.01 2.02 1.96 3/200 23138
/proc/meminfo: memFree=24288968/32770624 swapFree=66957008/67108860
[pid=22893] ppid=22890 vsize=2081916 memory=70724 CPUtime=2022.2 cores=0,2,4,6
/proc/22893/stat : 22893 (xcsp_picat) R 22890 22893 22038 0 -1 4202496 129556 0 0 0 202199 21 0 0 20 0 1 0 408907833 2131881984 17681 33554432000 4194304 5870510 140731215180864 140731215179432 5282295 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 31039488 140731215189023 140731215189101 140731215189101 140731215192010 0
/proc/22893/statm: 520479 17681 996 410 0 515952 0
Current children cumulated CPU time: 2022.2 s
Current children cumulated vsize: 2081916 KiB
Current children cumulated memory: 70724 KiB

[startup+2082.3 s]
/proc/loadavg: 2.01 2.02 1.96 3/199 23142
/proc/meminfo: memFree=24288588/32770624 swapFree=66957008/67108860
[pid=22893] ppid=22890 vsize=2081916 memory=70724 CPUtime=2082.19 cores=0,2,4,6
/proc/22893/stat : 22893 (xcsp_picat) R 22890 22893 22038 0 -1 4202496 129566 0 0 0 208198 21 0 0 20 0 1 0 408907833 2131881984 17681 33554432000 4194304 5870510 140731215180864 140731215179976 5283102 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 31039488 140731215189023 140731215189101 140731215189101 140731215192010 0
/proc/22893/statm: 520479 17681 996 410 0 515952 0
Current children cumulated CPU time: 2082.19 s
Current children cumulated vsize: 2081916 KiB
Current children cumulated memory: 70724 KiB

[startup+2142.3 s]
/proc/loadavg: 2.00 2.01 1.96 3/199 23146
/proc/meminfo: memFree=24287016/32770624 swapFree=66957008/67108860
[pid=22893] ppid=22890 vsize=2084124 memory=73012 CPUtime=2142.19 cores=0,2,4,6
/proc/22893/stat : 22893 (xcsp_picat) R 22890 22893 22038 0 -1 4202496 134857 0 0 0 214197 22 0 0 20 0 1 0 408907833 2134142976 18253 33554432000 4194304 5870510 140731215180864 140731215179976 5274723 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 31039488 140731215189023 140731215189101 140731215189101 140731215192010 0
/proc/22893/statm: 521031 18253 996 410 0 516504 0
Current children cumulated CPU time: 2142.19 s
Current children cumulated vsize: 2084124 KiB
Current children cumulated memory: 73012 KiB

[startup+2202.3 s]
/proc/loadavg: 2.00 2.01 1.96 3/200 23152
/proc/meminfo: memFree=24287248/32770624 swapFree=66957008/67108860
[pid=22893] ppid=22890 vsize=2084124 memory=73012 CPUtime=2202.19 cores=0,2,4,6
/proc/22893/stat : 22893 (xcsp_picat) R 22890 22893 22038 0 -1 4202496 134889 0 0 0 220197 22 0 0 20 0 1 0 408907833 2134142976 18253 33554432000 4194304 5870510 140731215180864 140731215179976 5262779 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 31039488 140731215189023 140731215189101 140731215189101 140731215192010 0
/proc/22893/statm: 521031 18253 996 410 0 516504 0
Current children cumulated CPU time: 2202.19 s
Current children cumulated vsize: 2084124 KiB
Current children cumulated memory: 73012 KiB

[startup+2262.3 s]
/proc/loadavg: 2.07 2.03 1.97 3/199 23156
/proc/meminfo: memFree=24278140/32770624 swapFree=66957008/67108860
[pid=22893] ppid=22890 vsize=2097500 memory=82192 CPUtime=2262.19 cores=0,2,4,6
/proc/22893/stat : 22893 (xcsp_picat) R 22890 22893 22038 0 -1 4202496 140335 0 0 0 226196 23 0 0 20 0 1 0 408907833 2147840000 20548 33554432000 4194304 5870510 140731215180864 140731215179304 5308274 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 31039488 140731215189023 140731215189101 140731215189101 140731215192010 0
/proc/22893/statm: 524375 20548 996 410 0 519848 0
Current children cumulated CPU time: 2262.19 s
Current children cumulated vsize: 2097500 KiB
Current children cumulated memory: 82192 KiB

[startup+2322.3 s]
/proc/loadavg: 2.03 2.02 1.97 3/200 23168
/proc/meminfo: memFree=24272636/32770624 swapFree=66957008/67108860
[pid=22893] ppid=22890 vsize=2098412 memory=87368 CPUtime=2322.19 cores=0,2,4,6
/proc/22893/stat : 22893 (xcsp_picat) R 22890 22893 22038 0 -1 4202496 140611 0 0 0 232196 23 0 0 20 0 1 0 408907833 2148773888 21842 33554432000 4194304 5870510 140731215180864 140731215179432 5308370 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 31039488 140731215189023 140731215189101 140731215189101 140731215192010 0
/proc/22893/statm: 524603 21842 996 410 0 520076 0
Current children cumulated CPU time: 2322.19 s
Current children cumulated vsize: 2098412 KiB
Current children cumulated memory: 87368 KiB

[startup+2382.3 s]
/proc/loadavg: 2.01 2.02 1.97 3/201 23174
/proc/meminfo: memFree=24273056/32770624 swapFree=66957008/67108860
[pid=22893] ppid=22890 vsize=2098412 memory=87368 CPUtime=2382.19 cores=0,2,4,6
/proc/22893/stat : 22893 (xcsp_picat) R 22890 22893 22038 0 -1 4202496 145473 0 0 0 238196 23 0 0 20 0 1 0 408907833 2148773888 21842 33554432000 4194304 5870510 140731215180864 140731215179432 5282606 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 31039488 140731215189023 140731215189101 140731215189101 140731215192010 0
/proc/22893/statm: 524603 21842 996 410 0 520076 0
Current children cumulated CPU time: 2382.19 s
Current children cumulated vsize: 2098412 KiB
Current children cumulated memory: 87368 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2400.2 s]
/proc/loadavg: 2.01 2.02 1.97 3/200 23174
/proc/meminfo: memFree=24272968/32770624 swapFree=66957008/67108860
[pid=22893] ppid=22890 vsize=2098412 memory=87368 CPUtime=2400.08 cores=0,2,4,6
/proc/22893/stat : 22893 (xcsp_picat) R 22890 22893 22038 0 -1 4202496 145546 0 0 0 239985 23 0 0 20 0 1 0 408907833 2148773888 21842 33554432000 4194304 5870510 140731215180864 140731215179432 5283106 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 31039488 140731215189023 140731215189101 140731215189101 140731215192010 0
/proc/22893/statm: 524603 21842 996 410 0 520076 0
Current children cumulated CPU time: 2400.08 s
Current children cumulated vsize: 2098412 KiB
Current children cumulated memory: 87368 KiB

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

[startup+2400.2 s]
# the end of solver process 22893 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2399.86 s, system=0.23799 s

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

Child ended because it received signal 15 (SIGTERM)
Real time (s): 2400.2
CPU time (s): 2400.1
CPU user time (s): 2399.86
CPU system time (s): 0.23799
CPU usage (%): 99.9956
Max. virtual memory (cumulated for all children) (KiB): 2137368
Max. memory (cumulated for all children) (KiB): 126184

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2399.86
system time used= 0.23799
maximum resident set size= 126184
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 145546
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= 9
involuntary context switches= 3019


# summary of solver processes directly reported to runsolver:
#   pid: 22893
#   total CPU time (s): 2400.1
#   total CPU user time (s): 2399.86
#   total CPU system time (s): 0.23799

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 8.01267 second user time and 19.1168 second system time

The end

Launcher Data 

Begin job on node147 at 2019-09-13 01:11:37
IDJOB=4395621
IDBENCH=123062
IDSOLVER=2845
FILE ID=node147/4395621-1568329940
RUNJOBID= node147-1568328264-22069
PBS_JOBID= 21701153
Free space on /tmp= 56544 MiB

SOLVER NAME= PicatSAT 2019-09-12
BENCH NAME= XCSP17/QuadraticAssignment/QuadraticAssignment-m1-s1/QuadraticAssignment-tai10a.xml
COMMAND LINE= xcsp_picat BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4395621-1568329940/watcher-4395621-1568329940 -o /tmp/evaluation-result-4395621-1568329940/solver-4395621-1568329940 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node147-1568328264-22069 --watchdog 2560  xcsp_picat HOME/instance-4395621-1568329940.xml

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

MD5SUM BENCH= b58690ea851c8aad9573a552336d280c
RANDOM SEED=755513239

node147.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.52
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.52
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.52
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.52
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:        26635152 kB
MemAvailable:   31604236 kB
Buffers:          128064 kB
Cached:          5064968 kB
SwapCached:        48504 kB
Active:          2285664 kB
Inactive:        3170736 kB
Active(anon):     215496 kB
Inactive(anon):    89348 kB
Active(file):    2070168 kB
Inactive(file):  3081388 kB
Unevictable:      107768 kB
Mlocked:          107768 kB
SwapTotal:      67108860 kB
SwapFree:       66957008 kB
Dirty:              3260 kB
Writeback:             0 kB
AnonPages:        324568 kB
Mapped:            46200 kB
Shmem:             32764 kB
Slab:             274492 kB
SReclaimable:     245988 kB
SUnreclaim:        28504 kB
KernelStack:        3584 kB
PageTables:         6080 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    2742224 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    245760 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      120192 kB
DirectMap2M:    33425408 kB

Free space on /tmp at the end= 56540 MiB
End job on node147 at 2019-09-13 01:51:37