Trace number 4394969

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
PicatSAT 2019-09-12SAT 40.322 40.323

General information on the benchmark

NameSocialGolfers/SocialGolfers-cp-s1/
SocialGolfers-8-5-6-cp.xml
MD5SUM962a3bb05468dad13eb0bc1115b999f0
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 benchmark40.322
Satisfiable
(Un)Satisfiability was proved
Number of variables240
Number of constraints11708
Number of domains1
Minimum domain size8
Maximum domain size8
Distribution of domain sizes[{"size":8,"count":240}]
Minimum variable degree197
Maximum variable degree198
Distribution of variable degrees[{"degree":197,"count":200},{"degree":198,"count":40}]
Minimum constraint arity4
Maximum constraint arity240
Distribution of constraint arities[{"arity":4,"count":11700},{"arity":40,"count":7},{"arity":240,"count":1}]
Number of extensional constraints0
Number of intensional constraints11700
Distribution of constraint types[{"type":"intension","count":11700},{"type":"lex","count":1},{"type":"cardinality","count":6},{"type":"instantiation","count":1}]
Optimization problemNO
Type of objective

Solver Data 

14.19/14.23	c xcsp_picat version 2.7b12 (9/12/2019)
40.29/40.32	s SATISFIABLE
40.29/40.32	v <instantiation>
40.29/40.32	v     <list> x[][]  </list> 
40.29/40.32	v     <values> 0 0 0 0 0 1 1 1 1 1 2 2 2 2 2 3 3 3 3 3 4 4 4 4 4 5 5 5 5 5 6 6 6 6 6 7 7 7 7 7 2 4 5 6 7 0 1 3 5 7 0 1 2 3 4 0 2 3 4 6 1 3 4 6 7 0 1 2 5 7 1 2 5 6 7 0 3 4 5 6 2 7 5 4 6 1 6 0 2 3 0 2 1 4 5 6 7 3 1 5 1 2 0 3 5 3 7 0 4 1 3 4 7 6 2 5 7 4 6 0 3 0 5 7 2 1 6 3 0 5 5 2 0 1 6 7 4 6 2 3 3 5 4 2 1 0 1 7 2 4 4 6 3 0 7 4 7 5 1 6 3 6 5 0 1 1 4 7 2 3 0 5 4 2 7 7 2 1 0 6 2 6 4 7 0 5 3 6 4 7 0 5 1 3 4 3 5 1 6 2 7 4 0 3 5 2 7 0 1 4 1 3 5 6 2 4 2 3 0 1 4 5 3 6 7 7 0 6 2 1 5 4 6 2 0 6 1 7 3 5   </values> 
40.29/40.32	v </instantiation>

Verifier Data 

OK

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4394969-1568331075/watcher-4394969-1568331075 -o /tmp/evaluation-result-4394969-1568331075/solver-4394969-1568331075 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node102-1568323474-16007 --watchdog 2580 xcsp_picat HOME/instance-4394969-1568331075.xml 

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

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

solver pid=18474, runsolver pid=18471

[startup+0.100112 s]*
/proc/loadavg: 1.99 1.99 2.03 3/200 18475
/proc/meminfo: memFree=31628168/32770624 swapFree=66993804/67108860
[pid=18474] ppid=18471 vsize=2031716 memory=23968 CPUtime=0.1 cores=0,2,4,6
/proc/18474/stat : 18474 (xcsp_picat) R 18471 18474 15976 0 -1 4202496 1571 0 0 0 10 0 0 0 20 0 1 0 409359001 2080477184 5992 33554432000 4194304 5870510 140732952996752 140732952993896 4461422 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7970040 9572284 26464256 140732953003039 140732953003117 140732953003117 140732953006026 0
/proc/18474/statm: 507929 5992 850 410 0 503402 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 2031716 KiB
Current children cumulated memory: 23968 KiB

[startup+0.209651 s]*
/proc/loadavg: 1.99 1.99 2.03 3/200 18475
/proc/meminfo: memFree=31613832/32770624 swapFree=66993804/67108860
[pid=18474] ppid=18471 vsize=2031716 memory=38304 CPUtime=0.21 cores=0,2,4,6
/proc/18474/stat : 18474 (xcsp_picat) R 18471 18474 15976 0 -1 4202496 1578 0 0 0 21 0 0 0 20 0 1 0 409359001 2080477184 9576 33554432000 4194304 5870510 140732952996752 140732952993896 5169280 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7970040 9572284 26464256 140732953003039 140732953003117 140732953003117 140732953006026 0
/proc/18474/statm: 507929 9576 850 410 0 503402 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 2031716 KiB
Current children cumulated memory: 38304 KiB

[startup+0.309545 s]*
/proc/loadavg: 1.99 1.99 2.03 3/200 18475
/proc/meminfo: memFree=31603592/32770624 swapFree=66993804/67108860
[pid=18474] ppid=18471 vsize=2031716 memory=48544 CPUtime=0.31 cores=0,2,4,6
/proc/18474/stat : 18474 (xcsp_picat) R 18471 18474 15976 0 -1 4202496 1583 0 0 0 31 0 0 0 20 0 1 0 409359001 2080477184 12136 33554432000 4194304 5870510 140732952996752 140732952993896 4461444 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7970040 9572284 26464256 140732953003039 140732953003117 140732953003117 140732953006026 0
/proc/18474/statm: 507929 12136 850 410 0 503402 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 2031716 KiB
Current children cumulated memory: 48544 KiB

[startup+0.700314 s]
/proc/loadavg: 1.99 1.99 2.03 3/200 18475
/proc/meminfo: memFree=31577636/32770624 swapFree=66993804/67108860
[pid=18474] ppid=18471 vsize=2044772 memory=86116 CPUtime=0.69 cores=0,2,4,6
/proc/18474/stat : 18474 (xcsp_picat) R 18471 18474 15976 0 -1 4202496 2278 0 0 0 68 1 0 0 20 0 1 0 409359001 2093846528 21529 33554432000 4194304 5870510 140732952996752 140732952995928 140146621357959 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7970040 9572284 26464256 140732953003039 140732953003117 140732953003117 140732953006026 0
/proc/18474/statm: 511193 21529 934 410 0 506666 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 2044772 KiB
Current children cumulated memory: 86116 KiB

[startup+1.50024 s]
/proc/loadavg: 1.99 1.99 2.03 3/200 18475
/proc/meminfo: memFree=31565236/32770624 swapFree=66993804/67108860
[pid=18474] ppid=18471 vsize=2046764 memory=87908 CPUtime=1.49 cores=0,2,4,6
/proc/18474/stat : 18474 (xcsp_picat) R 18471 18474 15976 0 -1 4202496 2775 0 0 0 147 2 0 0 20 0 1 0 409359001 2095886336 21977 33554432000 4194304 5870510 140732952996752 140732952995912 140146621357959 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7970040 9572284 26464256 140732953003039 140732953003117 140732953003117 140732953006026 0
/proc/18474/statm: 511691 21977 954 410 0 507164 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 2046764 KiB
Current children cumulated memory: 87908 KiB

[startup+3.10953 s]
/proc/loadavg: 1.99 1.99 2.03 3/200 18475
/proc/meminfo: memFree=31556624/32770624 swapFree=66993804/67108860
[pid=18474] ppid=18471 vsize=2052420 memory=95084 CPUtime=3.09 cores=0,2,4,6
/proc/18474/stat : 18474 (xcsp_picat) R 18471 18474 15976 0 -1 4202496 6765 0 0 0 303 6 0 0 20 0 1 0 409359001 2101678080 23771 33554432000 4194304 5870510 140732952996752 140732952996008 5282595 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7970040 9572284 26464256 140732953003039 140732953003117 140732953003117 140732953006026 0
/proc/18474/statm: 513105 23771 964 410 0 508578 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 2052420 KiB
Current children cumulated memory: 95084 KiB

[startup+6.30025 s]
/proc/loadavg: 1.99 1.99 2.03 3/200 18475
/proc/meminfo: memFree=31542876/32770624 swapFree=66993804/67108860
[pid=18474] ppid=18471 vsize=2068504 memory=110576 CPUtime=6.29 cores=0,2,4,6
/proc/18474/stat : 18474 (xcsp_picat) R 18471 18474 15976 0 -1 4202496 11289 0 0 0 621 8 0 0 20 0 1 0 409359001 2118148096 27644 33554432000 4194304 5870510 140732952996752 140732952995704 5282505 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7970040 9572284 26464256 140732953003039 140732953003117 140732953003117 140732953006026 0
/proc/18474/statm: 517126 27644 987 410 0 512599 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 2068504 KiB
Current children cumulated memory: 110576 KiB

[startup+12.7003 s]
/proc/loadavg: 1.99 1.99 2.03 3/200 18475
/proc/meminfo: memFree=31528748/32770624 swapFree=66993804/67108860
[pid=18474] ppid=18471 vsize=2082044 memory=122464 CPUtime=12.69 cores=0,2,4,6
/proc/18474/stat : 18474 (xcsp_picat) R 18471 18474 15976 0 -1 4202496 16826 0 0 0 1260 9 0 0 20 0 1 0 409359001 2132013056 30616 33554432000 4194304 5870510 140732952996752 140732952995320 140146626595651 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7970040 9572284 26464256 140732953003039 140732953003117 140732953003117 140732953006026 0
/proc/18474/statm: 520511 30616 987 410 0 515984 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 2082044 KiB
Current children cumulated memory: 122464 KiB

[startup+25.5004 s]
/proc/loadavg: 1.99 1.99 2.03 3/200 18477
/proc/meminfo: memFree=31521112/32770624 swapFree=66993804/67108860
[pid=18474] ppid=18471 vsize=2090052 memory=130440 CPUtime=25.49 cores=0,2,4,6
/proc/18474/stat : 18474 (xcsp_picat) R 18471 18474 15976 0 -1 4202496 24590 0 0 0 2540 9 0 0 20 0 1 0 409359001 2140213248 32610 33554432000 4194304 5870510 140732952996752 140732952995320 5288933 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 26464256 140732953003039 140732953003117 140732953003117 140732953006026 0
/proc/18474/statm: 522513 32610 987 410 0 517986 0
Current children cumulated CPU time: 25.49 s
Current children cumulated vsize: 2090052 KiB
Current children cumulated memory: 130440 KiB

[startup+40.3229 s]
# the end of solver process 18474 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=40.219 s, system=0.103 s

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

[startup+25.6004 s]
/proc/loadavg: 1.99 1.99 2.03 3/200 18477
/proc/meminfo: memFree=31521112/32770624 swapFree=66993804/67108860
[pid=18474] ppid=18471 vsize=2090052 memory=130440 CPUtime=25.59 cores=0,2,4,6
/proc/18474/stat : 18474 (xcsp_picat) R 18471 18474 15976 0 -1 4202496 24590 0 0 0 2550 9 0 0 20 0 1 0 409359001 2140213248 32610 33554432000 4194304 5870510 140732952996752 140732952995320 5283076 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 26464256 140732953003039 140732953003117 140732953003117 140732953006026 0
/proc/18474/statm: 522513 32610 987 410 0 517986 0
Current children cumulated CPU time: 25.59 s
Current children cumulated vsize: 2090052 KiB
Current children cumulated memory: 130440 KiB

[startup+32.0004 s]*
/proc/loadavg: 1.99 1.99 2.03 3/200 18478
/proc/meminfo: memFree=31507192/32770624 swapFree=66993804/67108860
[pid=18474] ppid=18471 vsize=2101656 memory=144768 CPUtime=32 cores=0,2,4,6
/proc/18474/stat : 18474 (xcsp_picat) R 18471 18474 15976 0 -1 4202496 25621 0 0 0 3190 10 0 0 20 0 1 0 409359001 2152095744 36192 33554432000 4194304 5870510 140732952996752 140732952995320 5308256 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 26464256 140732953003039 140732953003117 140732953003117 140732953006026 0
/proc/18474/statm: 525414 36192 987 410 0 520887 0
Current children cumulated CPU time: 32 s
Current children cumulated vsize: 2101656 KiB
Current children cumulated memory: 144768 KiB

[startup+35.2003 s]
/proc/loadavg: 1.99 1.99 2.03 3/200 18478
/proc/meminfo: memFree=31507132/32770624 swapFree=66993804/67108860
[pid=18474] ppid=18471 vsize=2101656 memory=144768 CPUtime=35.19 cores=0,2,4,6
/proc/18474/stat : 18474 (xcsp_picat) R 18471 18474 15976 0 -1 4202496 25623 0 0 0 3509 10 0 0 20 0 1 0 409359001 2152095744 36192 33554432000 4194304 5870510 140732952996752 140732952995320 5283072 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 26464256 140732953003039 140732953003117 140732953003117 140732953006026 0
/proc/18474/statm: 525414 36192 987 410 0 520887 0
Current children cumulated CPU time: 35.19 s
Current children cumulated vsize: 2101656 KiB
Current children cumulated memory: 144768 KiB

[startup+38.4004 s]
/proc/loadavg: 1.99 1.99 2.03 3/200 18478
/proc/meminfo: memFree=31507160/32770624 swapFree=66993804/67108860
[pid=18474] ppid=18471 vsize=2101656 memory=144828 CPUtime=38.39 cores=0,2,4,6
/proc/18474/stat : 18474 (xcsp_picat) R 18471 18474 15976 0 -1 4202496 30119 0 0 0 3829 10 0 0 20 0 1 0 409359001 2152095744 36207 33554432000 4194304 5870510 140732952996752 140732952995320 5258460 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 26464256 140732953003039 140732953003117 140732953003117 140732953006026 0
/proc/18474/statm: 525414 36207 987 410 0 520887 0
Current children cumulated CPU time: 38.39 s
Current children cumulated vsize: 2101656 KiB
Current children cumulated memory: 144828 KiB

[startup+39.2003 s]
/proc/loadavg: 2.00 1.99 2.03 3/200 18478
/proc/meminfo: memFree=31507128/32770624 swapFree=66993804/67108860
[pid=18474] ppid=18471 vsize=2101656 memory=144828 CPUtime=39.19 cores=0,2,4,6
/proc/18474/stat : 18474 (xcsp_picat) R 18471 18474 15976 0 -1 4202496 30129 0 0 0 3909 10 0 0 20 0 1 0 409359001 2152095744 36207 33554432000 4194304 5870510 140732952996752 140732952995320 5281712 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 26464256 140732953003039 140732953003117 140732953003117 140732953006026 0
/proc/18474/statm: 525414 36207 987 410 0 520887 0
Current children cumulated CPU time: 39.19 s
Current children cumulated vsize: 2101656 KiB
Current children cumulated memory: 144828 KiB

[startup+40.0003 s]*
/proc/loadavg: 2.00 1.99 2.03 3/200 18478
/proc/meminfo: memFree=31507128/32770624 swapFree=66993804/67108860
[pid=18474] ppid=18471 vsize=2101656 memory=144848 CPUtime=40 cores=0,2,4,6
/proc/18474/stat : 18474 (xcsp_picat) R 18471 18474 15976 0 -1 4202496 30484 0 0 0 3990 10 0 0 20 0 1 0 409359001 2152095744 36212 33554432000 4194304 5870510 140732952996752 140732952995320 5298780 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 26464256 140732953003039 140732953003117 140732953003117 140732953006026 0
/proc/18474/statm: 525414 36212 987 410 0 520887 0
Current children cumulated CPU time: 40 s
Current children cumulated vsize: 2101656 KiB
Current children cumulated memory: 144848 KiB

[startup+40.2003 s]
/proc/loadavg: 2.00 1.99 2.03 3/200 18478
/proc/meminfo: memFree=31507128/32770624 swapFree=66993804/67108860
[pid=18474] ppid=18471 vsize=2101656 memory=144848 CPUtime=40.19 cores=0,2,4,6
/proc/18474/stat : 18474 (xcsp_picat) R 18471 18474 15976 0 -1 4202496 30604 0 0 0 4009 10 0 0 20 0 1 0 409359001 2152095744 36212 33554432000 4194304 5870510 140732952996752 140732952995320 5282574 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 26464256 140732953003039 140732953003117 140732953003117 140732953006026 0
/proc/18474/statm: 525414 36212 987 410 0 520887 0
Current children cumulated CPU time: 40.19 s
Current children cumulated vsize: 2101656 KiB
Current children cumulated memory: 144848 KiB

[startup+40.3004 s]
/proc/loadavg: 2.00 1.99 2.03 3/200 18478
/proc/meminfo: memFree=31507128/32770624 swapFree=66993804/67108860
[pid=18474] ppid=18471 vsize=2101656 memory=144848 CPUtime=40.29 cores=0,2,4,6
/proc/18474/stat : 18474 (xcsp_picat) R 18471 18474 15976 0 -1 4202496 30604 0 0 0 4019 10 0 0 20 0 1 0 409359001 2152095744 36212 33554432000 4194304 5870510 140732952996752 140732952995320 5282574 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 26464256 140732953003039 140732953003117 140732953003117 140732953006026 0
/proc/18474/statm: 525414 36212 987 410 0 520887 0
Current children cumulated CPU time: 40.29 s
Current children cumulated vsize: 2101656 KiB
Current children cumulated memory: 144848 KiB

Child status: 0
Real time (s): 40.323
CPU time (s): 40.322
CPU user time (s): 40.219
CPU system time (s): 0.103
CPU usage (%): 99.9977
Max. virtual memory (cumulated for all children) (KiB): 2101656
Max. memory (cumulated for all children) (KiB): 144848

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 40.219
system time used= 0.103
maximum resident set size= 144900
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 30701
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= 4
involuntary context switches= 67


# summary of solver processes directly reported to runsolver:
#   pid: 18474
#   total CPU time (s): 40.322
#   total CPU user time (s): 40.219
#   total CPU system time (s): 0.103

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.162272 second user time and 0.346738 second system time

The end

Launcher Data 

Begin job on node102 at 2019-09-13 01:30:30
IDJOB=4394969
IDBENCH=126314
IDSOLVER=2844
FILE ID=node102/4394969-1568331075
RUNJOBID= node102-1568323474-16007
PBS_JOBID= 21701144
Free space on /tmp= 56900 MiB

SOLVER NAME= PicatSAT 2019-09-12
BENCH NAME= XCSP17/SocialGolfers/SocialGolfers-cp-s1/SocialGolfers-8-5-6-cp.xml
COMMAND LINE= xcsp_picat BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4394969-1568331075/watcher-4394969-1568331075 -o /tmp/evaluation-result-4394969-1568331075/solver-4394969-1568331075 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node102-1568323474-16007 --watchdog 2580  xcsp_picat HOME/instance-4394969-1568331075.xml

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

MD5SUM BENCH= 962a3bb05468dad13eb0bc1115b999f0
RANDOM SEED=278175577

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


/proc/meminfo:
MemTotal:       32770624 kB
MemFree:        31648452 kB
MemAvailable:   31822592 kB
Buffers:          122268 kB
Cached:           342388 kB
SwapCached:        10972 kB
Active:           311104 kB
Inactive:         265432 kB
Active(anon):     108516 kB
Inactive(anon):    33404 kB
Active(file):     202588 kB
Inactive(file):   232028 kB
Unevictable:      110464 kB
Mlocked:          110464 kB
SwapTotal:      67108860 kB
SwapFree:       66993804 kB
Dirty:              3932 kB
Writeback:             0 kB
AnonPages:        171848 kB
Mapped:            34672 kB
Shmem:             20840 kB
Slab:             139360 kB
SReclaimable:     110716 kB
SUnreclaim:        28644 kB
KernelStack:        3776 kB
PageTables:         5336 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    2627132 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:     90112 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      118144 kB
DirectMap2M:    33427456 kB

Free space on /tmp at the end= 56900 MiB
End job on node102 at 2019-09-13 01:31:11