Trace number 4303107

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 2018-08-02? (TO) 2519.92 2520.02

General information on the benchmark

NameQuadraticAssignment/
QuadraticAssignment-had14_c18.xml
MD5SUM1b212baf1dbc84cffd3dcab4dc49ff1b
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark1372
Best CPU time to get the best result obtained on this benchmark2520.1
Satisfiable
(Un)Satisfiability was proved
Number of variables210
Number of constraints92
Number of domains2
Minimum domain size10
Maximum domain size14
Distribution of domain sizes[{"size":10,"count":91},{"size":14,"count":14}]
Minimum variable degree0
Maximum variable degree14
Distribution of variable degrees[{"degree":0,"count":105},{"degree":2,"count":91},{"degree":14,"count":14}]
Minimum constraint arity3
Maximum constraint arity14
Distribution of constraint arities[{"arity":3,"count":91},{"arity":14,"count":1}]
Number of extensional constraints91
Number of intensional constraints0
Distribution of constraint types[{"type":"extension","count":91},{"type":"allDifferent","count":1}]
Optimization problemYES
Type of objectivemin SUM

Solver Data


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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4303107-1534008483/watcher-4303107-1534008483 -o /tmp/evaluation-result-4303107-1534008483/solver-4303107-1534008483 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node148-1533990783-10864 --watchdog 2580 xcsp_picat HOME/instance-4303107-1534008483.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
solver pid=12659, runsolver pid=12656
Current StackSize limit: 8192 KiB


[startup+0.100147 s]*
/proc/loadavg: 2.07 2.05 2.05 3/187 12660
/proc/meminfo: memFree=4391916/32770624 swapFree=67108404/67108860
[pid=12659] ppid=12656 vsize=2026484 memory=16668 CPUtime=0.1 cores=0,2,4,6
/proc/12659/stat : 12659 (xcsp_picat) R 12656 12659 10833 0 -1 4202496 1759 0 0 0 10 0 0 0 20 0 1 0 218411440 2075119616 4167 33554432000 4194304 5849708 140728644266944 140728644266944 5606243 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9394900 36241408 140728644273334 140728644273412 140728644273412 140728644276170 0
/proc/12659/statm: 506621 4167 709 405 0 503566 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 2026484 KiB
Current children cumulated memory: 16668 KiB

[startup+0.209608 s]*
/proc/loadavg: 2.07 2.05 2.05 3/187 12660
/proc/meminfo: memFree=4391916/32770624 swapFree=67108404/67108860
[pid=12659] ppid=12656 vsize=2026484 memory=16668 CPUtime=0.21 cores=0,2,4,6
/proc/12659/stat : 12659 (xcsp_picat) R 12656 12659 10833 0 -1 4202496 1760 0 0 0 21 0 0 0 20 0 1 0 218411440 2075119616 4167 33554432000 4194304 5849708 140728644266944 140728644266944 5471688 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9394900 36241408 140728644273334 140728644273412 140728644273412 140728644276170 0
/proc/12659/statm: 506621 4167 709 405 0 503566 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 2026484 KiB
Current children cumulated memory: 16668 KiB

[startup+0.308823 s]*
/proc/loadavg: 2.07 2.05 2.05 3/187 12660
/proc/meminfo: memFree=4391792/32770624 swapFree=67108404/67108860
[pid=12659] ppid=12656 vsize=2026484 memory=16668 CPUtime=0.31 cores=0,2,4,6
/proc/12659/stat : 12659 (xcsp_picat) R 12656 12659 10833 0 -1 4202496 1760 0 0 0 31 0 0 0 20 0 1 0 218411440 2075119616 4167 33554432000 4194304 5849708 140728644266944 140728644266944 5520272 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9394900 36241408 140728644273334 140728644273412 140728644273412 140728644276170 0
/proc/12659/statm: 506621 4167 709 405 0 503566 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 2026484 KiB
Current children cumulated memory: 16668 KiB

[startup+0.700269 s]
/proc/loadavg: 2.07 2.05 2.05 3/187 12660
/proc/meminfo: memFree=4391792/32770624 swapFree=67108404/67108860
[pid=12659] ppid=12656 vsize=2026484 memory=16668 CPUtime=0.69 cores=0,2,4,6
/proc/12659/stat : 12659 (xcsp_picat) R 12656 12659 10833 0 -1 4202496 1760 0 0 0 69 0 0 0 20 0 1 0 218411440 2075119616 4167 33554432000 4194304 5849708 140728644266944 140728644266944 5471846 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9394900 36241408 140728644273334 140728644273412 140728644273412 140728644276170 0
/proc/12659/statm: 506621 4167 709 405 0 503566 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 2026484 KiB
Current children cumulated memory: 16668 KiB

[startup+1.50028 s]
/proc/loadavg: 2.07 2.05 2.05 3/187 12660
/proc/meminfo: memFree=4391132/32770624 swapFree=67108404/67108860
[pid=12659] ppid=12656 vsize=2026484 memory=16668 CPUtime=1.49 cores=0,2,4,6
/proc/12659/stat : 12659 (xcsp_picat) R 12656 12659 10833 0 -1 4202496 1760 0 0 0 149 0 0 0 20 0 1 0 218411440 2075119616 4167 33554432000 4194304 5849708 140728644266944 140728644266184 5518363 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9394900 36241408 140728644273334 140728644273412 140728644273412 140728644276170 0
/proc/12659/statm: 506621 4167 709 405 0 503566 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 2026484 KiB
Current children cumulated memory: 16668 KiB

[startup+3.10897 s]
/proc/loadavg: 1.98 2.03 2.04 3/187 12660
/proc/meminfo: memFree=4473160/32770624 swapFree=67108404/67108860
[pid=12659] ppid=12656 vsize=2026612 memory=16800 CPUtime=3.1 cores=0,2,4,6
/proc/12659/stat : 12659 (xcsp_picat) R 12656 12659 10833 0 -1 4202496 1908 0 0 0 310 0 0 0 20 0 1 0 218411440 2075250688 4200 33554432000 4194304 5849708 140728644266944 140728644266040 5605331 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9394900 36241408 140728644273334 140728644273412 140728644273412 140728644276170 0
/proc/12659/statm: 506653 4200 710 405 0 503598 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 2026612 KiB
Current children cumulated memory: 16800 KiB

[startup+6.30027 s]
/proc/loadavg: 1.98 2.03 2.04 3/187 12660
/proc/meminfo: memFree=4473104/32770624 swapFree=67108404/67108860
[pid=12659] ppid=12656 vsize=2026868 memory=17056 CPUtime=6.29 cores=0,2,4,6
/proc/12659/stat : 12659 (xcsp_picat) R 12656 12659 10833 0 -1 4202496 2152 0 0 0 628 1 0 0 20 0 1 0 218411440 2075512832 4264 33554432000 4194304 5849708 140728644266944 140728644266040 5520124 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9394900 36241408 140728644273334 140728644273412 140728644273412 140728644276170 0
/proc/12659/statm: 506717 4264 710 405 0 503662 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 2026868 KiB
Current children cumulated memory: 17056 KiB

[startup+12.7003 s]
/proc/loadavg: 1.98 2.03 2.04 3/187 12660
/proc/meminfo: memFree=4473032/32770624 swapFree=67108404/67108860
[pid=12659] ppid=12656 vsize=2027072 memory=17300 CPUtime=12.69 cores=0,2,4,6
/proc/12659/stat : 12659 (xcsp_picat) R 12656 12659 10833 0 -1 4202496 2734 0 0 0 1268 1 0 0 20 0 1 0 218411440 2075721728 4325 33554432000 4194304 5849708 140728644266944 140728644265576 139974642822972 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9394900 36241408 140728644273334 140728644273412 140728644273412 140728644276170 0
/proc/12659/statm: 506768 4325 710 405 0 503713 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 2027072 KiB
Current children cumulated memory: 17300 KiB

[startup+25.5003 s]
/proc/loadavg: 1.99 2.03 2.04 3/187 12660
/proc/meminfo: memFree=4473340/32770624 swapFree=67108404/67108860
[pid=12659] ppid=12656 vsize=2027432 memory=17708 CPUtime=25.49 cores=0,2,4,6
/proc/12659/stat : 12659 (xcsp_picat) R 12656 12659 10833 0 -1 4202496 4998 0 0 0 2547 2 0 0 20 0 1 0 218411440 2076090368 4427 33554432000 4194304 5849708 140728644266944 140728644266040 5519748 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9394900 36241408 140728644273334 140728644273412 140728644273412 140728644276170 0
/proc/12659/statm: 506858 4427 751 405 0 503803 0
Current children cumulated CPU time: 25.49 s
Current children cumulated vsize: 2027432 KiB
Current children cumulated memory: 17708 KiB

[startup+51.1095 s]
/proc/loadavg: 1.99 2.02 2.04 3/187 12660
/proc/meminfo: memFree=4445820/32770624 swapFree=67108404/67108860
[pid=12659] ppid=12656 vsize=2037752 memory=28012 CPUtime=51.1 cores=0,2,4,6
/proc/12659/stat : 12659 (xcsp_picat) R 12656 12659 10833 0 -1 4202496 17153 0 0 0 5083 27 0 0 20 0 1 0 218411440 2086658048 7003 33554432000 4194304 5849708 140728644266944 140728644265944 139974643289991 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9394900 36241408 140728644273334 140728644273412 140728644273412 140728644276170 0
/proc/12659/statm: 509438 7003 751 405 0 506383 0
Current children cumulated CPU time: 51.1 s
Current children cumulated vsize: 2037752 KiB
Current children cumulated memory: 28012 KiB

[startup+102.3 s]
/proc/loadavg: 2.00 2.02 2.04 3/187 12661
/proc/meminfo: memFree=4385068/32770624 swapFree=67108404/67108860
[pid=12659] ppid=12656 vsize=2054084 memory=44332 CPUtime=102.28 cores=0,2,4,6
/proc/12659/stat : 12659 (xcsp_picat) R 12656 12659 10833 0 -1 4202496 51613 0 0 0 10159 69 0 0 20 0 1 0 218411440 2103382016 11083 33554432000 4194304 5849708 140728644266944 140728644265944 139974643289991 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9394900 36241408 140728644273334 140728644273412 140728644273412 140728644276170 0
/proc/12659/statm: 513521 11083 751 405 0 510466 0
Current children cumulated CPU time: 102.28 s
Current children cumulated vsize: 2054084 KiB
Current children cumulated memory: 44332 KiB

[startup+162.3 s]
/proc/loadavg: 2.08 2.03 2.05 3/188 12670
/proc/meminfo: memFree=4398548/32770624 swapFree=67108404/67108860
[pid=12659] ppid=12656 vsize=2055148 memory=45332 CPUtime=162.28 cores=0,2,4,6
/proc/12659/stat : 12659 (xcsp_picat) R 12656 12659 10833 0 -1 4202496 81465 0 0 0 16120 108 0 0 20 0 1 0 218411440 2104471552 11333 33554432000 4194304 5849708 140728644266944 140728644265944 5335618 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9394900 36241408 140728644273334 140728644273412 140728644273412 140728644276170 0
/proc/12659/statm: 513787 11333 751 405 0 510732 0
Current children cumulated CPU time: 162.28 s
Current children cumulated vsize: 2055148 KiB
Current children cumulated memory: 45332 KiB

[startup+222.3 s]
/proc/loadavg: 2.43 2.16 2.09 3/188 12671
/proc/meminfo: memFree=4399640/32770624 swapFree=67108404/67108860
[pid=12659] ppid=12656 vsize=2071076 memory=61400 CPUtime=222.28 cores=0,2,4,6
/proc/12659/stat : 12659 (xcsp_picat) R 12656 12659 10833 0 -1 4202496 99827 0 0 0 22095 133 0 0 20 0 1 0 218411440 2120781824 15350 33554432000 4194304 5849708 140728644266944 140728644265944 139974643289991 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9394900 36241408 140728644273334 140728644273412 140728644273412 140728644276170 0
/proc/12659/statm: 517769 15350 751 405 0 514714 0
Current children cumulated CPU time: 222.28 s
Current children cumulated vsize: 2071076 KiB
Current children cumulated memory: 61400 KiB

[startup+282.3 s]
/proc/loadavg: 2.16 2.13 2.09 3/188 12672
/proc/meminfo: memFree=4354204/32770624 swapFree=67108404/67108860
[pid=12659] ppid=12656 vsize=2128116 memory=118252 CPUtime=282.28 cores=0,2,4,6
/proc/12659/stat : 12659 (xcsp_picat) R 12656 12659 10833 0 -1 4202496 118838 0 0 0 28071 157 0 0 20 0 1 0 218411440 2179190784 29563 33554432000 4194304 5849708 140728644266944 140728644265944 139974643289991 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9394900 36241408 140728644273334 140728644273412 140728644273412 140728644276170 0
/proc/12659/statm: 532029 29563 751 405 0 528974 0
Current children cumulated CPU time: 282.28 s
Current children cumulated vsize: 2128116 KiB
Current children cumulated memory: 118252 KiB

[startup+342.3 s]
/proc/loadavg: 2.06 2.11 2.08 3/188 12673
/proc/meminfo: memFree=4367032/32770624 swapFree=67108404/67108860
[pid=12659] ppid=12656 vsize=2083244 memory=73512 CPUtime=342.28 cores=0,2,4,6
/proc/12659/stat : 12659 (xcsp_picat) R 12656 12659 10833 0 -1 4202496 135948 0 0 0 34055 173 0 0 20 0 1 0 218411440 2133241856 18378 33554432000 4194304 5849708 140728644266944 140728644265944 139974643289991 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9394900 36241408 140728644273334 140728644273412 140728644273412 140728644276170 0
/proc/12659/statm: 520811 18378 751 405 0 517756 0
Current children cumulated CPU time: 342.28 s
Current children cumulated vsize: 2083244 KiB
Current children cumulated memory: 73512 KiB

[startup+402.3 s]
/proc/loadavg: 2.02 2.09 2.07 3/188 12674
/proc/meminfo: memFree=4334404/32770624 swapFree=67108404/67108860
[pid=12659] ppid=12656 vsize=2106008 memory=96348 CPUtime=402.27 cores=0,2,4,6
/proc/12659/stat : 12659 (xcsp_picat) R 12656 12659 10833 0 -1 4202496 143252 0 0 0 40036 191 0 0 20 0 1 0 218411440 2156552192 24087 33554432000 4194304 5849708 140728644266944 140728644265208 5375961 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9394900 36241408 140728644273334 140728644273412 140728644273412 140728644276170 0
/proc/12659/statm: 526502 24087 751 405 0 523447 0
Current children cumulated CPU time: 402.27 s
Current children cumulated vsize: 2106008 KiB
Current children cumulated memory: 96348 KiB

[startup+462.3 s]
/proc/loadavg: 2.01 2.07 2.07 3/187 12675
/proc/meminfo: memFree=4257596/32770624 swapFree=67108404/67108860
[pid=12659] ppid=12656 vsize=2145936 memory=136276 CPUtime=462.27 cores=0,2,4,6
/proc/12659/stat : 12659 (xcsp_picat) R 12656 12659 10833 0 -1 4202496 160931 0 0 0 46022 205 0 0 20 0 1 0 218411440 2197438464 34069 33554432000 4194304 5849708 140728644266944 140728644265944 5335584 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9394900 36241408 140728644273334 140728644273412 140728644273412 140728644276170 0
/proc/12659/statm: 536484 34069 751 405 0 533429 0
Current children cumulated CPU time: 462.27 s
Current children cumulated vsize: 2145936 KiB
Current children cumulated memory: 136276 KiB


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

/proc/12659/statm: 570673 69311 751 405 0 567618 0
Current children cumulated CPU time: 1722.2 s
Current children cumulated vsize: 2282692 KiB
Current children cumulated memory: 277244 KiB

[startup+1782.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 12713
/proc/meminfo: memFree=4111076/32770624 swapFree=67108404/67108860
[pid=12659] ppid=12656 vsize=2282692 memory=277244 CPUtime=1782.2 cores=0,2,4,6
/proc/12659/stat : 12659 (xcsp_picat) R 12656 12659 10833 0 -1 4202496 489288 0 0 0 177781 439 0 0 20 0 1 0 218411440 2337476608 69311 33554432000 4194304 5849708 140728644266944 140728644265944 5437592 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9394900 36241408 140728644273334 140728644273412 140728644273412 140728644276170 0
/proc/12659/statm: 570673 69311 751 405 0 567618 0
Current children cumulated CPU time: 1782.2 s
Current children cumulated vsize: 2282692 KiB
Current children cumulated memory: 277244 KiB

[startup+1842.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 12715
/proc/meminfo: memFree=4115868/32770624 swapFree=67108404/67108860
[pid=12659] ppid=12656 vsize=2282692 memory=277244 CPUtime=1842.21 cores=0,2,4,6
/proc/12659/stat : 12659 (xcsp_picat) R 12656 12659 10833 0 -1 4202496 496251 0 0 0 183773 448 0 0 20 0 1 0 218411440 2337476608 69311 33554432000 4194304 5849708 140728644266944 140728644265944 139974643289991 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9394900 36241408 140728644273334 140728644273412 140728644273412 140728644276170 0
/proc/12659/statm: 570673 69311 751 405 0 567618 0
Current children cumulated CPU time: 1842.21 s
Current children cumulated vsize: 2282692 KiB
Current children cumulated memory: 277244 KiB

[startup+1902.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 12716
/proc/meminfo: memFree=4133320/32770624 swapFree=67108404/67108860
[pid=12659] ppid=12656 vsize=2282692 memory=277244 CPUtime=1902.21 cores=0,2,4,6
/proc/12659/stat : 12659 (xcsp_picat) R 12656 12659 10833 0 -1 4202496 520127 0 0 0 189763 458 0 0 20 0 1 0 218411440 2337476608 69311 33554432000 4194304 5849708 140728644266944 140728644265944 5437824 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9394900 36241408 140728644273334 140728644273412 140728644273412 140728644276170 0
/proc/12659/statm: 570673 69311 751 405 0 567618 0
Current children cumulated CPU time: 1902.21 s
Current children cumulated vsize: 2282692 KiB
Current children cumulated memory: 277244 KiB

[startup+1962.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 12724
/proc/meminfo: memFree=4027312/32770624 swapFree=67108404/67108860
[pid=12659] ppid=12656 vsize=2389636 memory=384160 CPUtime=1962.2 cores=0,2,4,6
/proc/12659/stat : 12659 (xcsp_picat) R 12656 12659 10833 0 -1 4202496 546365 0 0 0 195753 467 0 0 20 0 1 0 218411440 2446987264 96040 33554432000 4194304 5849708 140728644266944 140728644265944 5437714 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9394900 36241408 140728644273334 140728644273412 140728644273412 140728644276170 0
/proc/12659/statm: 597409 96040 751 405 0 594354 0
Current children cumulated CPU time: 1962.2 s
Current children cumulated vsize: 2389636 KiB
Current children cumulated memory: 384160 KiB

[startup+2022.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 12748
/proc/meminfo: memFree=4025556/32770624 swapFree=67108404/67108860
[pid=12659] ppid=12656 vsize=2389636 memory=384188 CPUtime=2022.2 cores=0,2,4,6
/proc/12659/stat : 12659 (xcsp_picat) R 12656 12659 10833 0 -1 4202496 581630 0 0 0 201746 474 0 0 20 0 1 0 218411440 2446987264 96047 33554432000 4194304 5849708 140728644266944 140728644265944 5437714 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9394900 36241408 140728644273334 140728644273412 140728644273412 140728644276170 0
/proc/12659/statm: 597409 96047 751 405 0 594354 0
Current children cumulated CPU time: 2022.2 s
Current children cumulated vsize: 2389636 KiB
Current children cumulated memory: 384188 KiB

[startup+2082.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 12749
/proc/meminfo: memFree=4021436/32770624 swapFree=67108404/67108860
[pid=12659] ppid=12656 vsize=2389636 memory=384188 CPUtime=2082.2 cores=0,2,4,6
/proc/12659/stat : 12659 (xcsp_picat) R 12656 12659 10833 0 -1 4202496 599146 0 0 0 207739 481 0 0 20 0 1 0 218411440 2446987264 96047 33554432000 4194304 5849708 140728644266944 140728644265944 5437714 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9394900 36241408 140728644273334 140728644273412 140728644273412 140728644276170 0
/proc/12659/statm: 597409 96047 751 405 0 594354 0
Current children cumulated CPU time: 2082.2 s
Current children cumulated vsize: 2389636 KiB
Current children cumulated memory: 384188 KiB

[startup+2142.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 12750
/proc/meminfo: memFree=3934988/32770624 swapFree=67108404/67108860
[pid=12659] ppid=12656 vsize=2476508 memory=471060 CPUtime=2142.2 cores=0,2,4,6
/proc/12659/stat : 12659 (xcsp_picat) R 12656 12659 10833 0 -1 4202496 629816 0 0 0 213729 491 0 0 20 0 1 0 218411440 2535944192 117765 33554432000 4194304 5849708 140728644266944 140728644265944 139974643289991 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9394900 36241408 140728644273334 140728644273412 140728644273412 140728644276170 0
/proc/12659/statm: 619127 117765 751 405 0 616072 0
Current children cumulated CPU time: 2142.2 s
Current children cumulated vsize: 2476508 KiB
Current children cumulated memory: 471060 KiB

[startup+2202.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 12751
/proc/meminfo: memFree=3935360/32770624 swapFree=67108404/67108860
[pid=12659] ppid=12656 vsize=2476508 memory=471060 CPUtime=2202.19 cores=0,2,4,6
/proc/12659/stat : 12659 (xcsp_picat) R 12656 12659 10833 0 -1 4202496 679296 0 0 0 219720 499 0 0 20 0 1 0 218411440 2535944192 117765 33554432000 4194304 5849708 140728644266944 140728644265944 5437714 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9394900 36241408 140728644273334 140728644273412 140728644273412 140728644276170 0
/proc/12659/statm: 619127 117765 751 405 0 616072 0
Current children cumulated CPU time: 2202.19 s
Current children cumulated vsize: 2476508 KiB
Current children cumulated memory: 471060 KiB

[startup+2262.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 12752
/proc/meminfo: memFree=3999592/32770624 swapFree=67108404/67108860
[pid=12659] ppid=12656 vsize=2410972 memory=405524 CPUtime=2262.2 cores=0,2,4,6
/proc/12659/stat : 12659 (xcsp_picat) R 12656 12659 10833 0 -1 4202496 704334 0 0 0 225713 507 0 0 20 0 1 0 218411440 2468835328 101381 33554432000 4194304 5849708 140728644266944 140728644265944 5335582 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9394900 36241408 140728644273334 140728644273412 140728644273412 140728644276170 0
/proc/12659/statm: 602743 101381 751 405 0 599688 0
Current children cumulated CPU time: 2262.2 s
Current children cumulated vsize: 2410972 KiB
Current children cumulated memory: 405524 KiB

[startup+2322.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 12753
/proc/meminfo: memFree=3935132/32770624 swapFree=67108404/67108860
[pid=12659] ppid=12656 vsize=2476508 memory=471032 CPUtime=2322.19 cores=0,2,4,6
/proc/12659/stat : 12659 (xcsp_picat) R 12656 12659 10833 0 -1 4202496 729032 0 0 0 231705 514 0 0 20 0 1 0 218411440 2535944192 117758 33554432000 4194304 5849708 140728644266944 140728644265944 5437855 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9394900 36241408 140728644273334 140728644273412 140728644273412 140728644276170 0
/proc/12659/statm: 619127 117758 751 405 0 616072 0
Current children cumulated CPU time: 2322.19 s
Current children cumulated vsize: 2476508 KiB
Current children cumulated memory: 471032 KiB

[startup+2382.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 12754
/proc/meminfo: memFree=3934496/32770624 swapFree=67108404/67108860
[pid=12659] ppid=12656 vsize=2476508 memory=471060 CPUtime=2382.19 cores=0,2,4,6
/proc/12659/stat : 12659 (xcsp_picat) R 12656 12659 10833 0 -1 4202496 777840 0 0 0 237695 524 0 0 20 0 1 0 218411440 2535944192 117765 33554432000 4194304 5849708 140728644266944 140728644265944 5437721 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9394900 36241408 140728644273334 140728644273412 140728644273412 140728644276170 0
/proc/12659/statm: 619127 117765 751 405 0 616072 0
Current children cumulated CPU time: 2382.19 s
Current children cumulated vsize: 2476508 KiB
Current children cumulated memory: 471060 KiB

[startup+2442.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 12755
/proc/meminfo: memFree=3934628/32770624 swapFree=67108404/67108860
[pid=12659] ppid=12656 vsize=2476508 memory=471060 CPUtime=2442.19 cores=0,2,4,6
/proc/12659/stat : 12659 (xcsp_picat) R 12656 12659 10833 0 -1 4202496 795922 0 0 0 243689 530 0 0 20 0 1 0 218411440 2535944192 117765 33554432000 4194304 5849708 140728644266944 140728644265944 5437855 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9394900 36241408 140728644273334 140728644273412 140728644273412 140728644276170 0
/proc/12659/statm: 619127 117765 751 405 0 616072 0
Current children cumulated CPU time: 2442.19 s
Current children cumulated vsize: 2476508 KiB
Current children cumulated memory: 471060 KiB

[startup+2502.3 s]
/proc/loadavg: 2.01 2.01 2.05 3/187 12817
/proc/meminfo: memFree=2404708/32770624 swapFree=67108404/67108860
[pid=12659] ppid=12656 vsize=2476508 memory=471060 CPUtime=2502.18 cores=0,2,4,6
/proc/12659/stat : 12659 (xcsp_picat) R 12656 12659 10833 0 -1 4202496 819852 0 0 0 249680 538 0 0 20 0 1 0 218411440 2535944192 117765 33554432000 4194304 5849708 140728644266944 140728644265944 5437714 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9394900 36241408 140728644273334 140728644273412 140728644273412 140728644276170 0
/proc/12659/statm: 619127 117765 751 405 0 616072 0
Current children cumulated CPU time: 2502.18 s
Current children cumulated vsize: 2476508 KiB
Current children cumulated memory: 471060 KiB



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+2520 s]*
/proc/loadavg: 2.00 2.01 2.05 3/188 12825
/proc/meminfo: memFree=2332784/32770624 swapFree=67108404/67108860
[pid=12659] ppid=12656 vsize=2476508 memory=471060 CPUtime=2519.89 cores=0,2,4,6
/proc/12659/stat : 12659 (xcsp_picat) R 12656 12659 10833 0 -1 4202496 819992 0 0 0 251449 540 0 0 20 0 1 0 218411440 2535944192 117765 33554432000 4194304 5849708 140728644266944 140728644265944 5437714 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9394900 36241408 140728644273334 140728644273412 140728644273412 140728644276170 0
/proc/12659/statm: 619127 117765 751 405 0 616072 0
Current children cumulated CPU time: 2519.89 s
Current children cumulated vsize: 2476508 KiB
Current children cumulated memory: 471060 KiB

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

[startup+2520.02 s]
# the end of solver process 12659 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2514.5 s, system=5.41584 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): 2520.02
CPU time (s): 2519.92
CPU user time (s): 2514.5
CPU system time (s): 5.41584
CPU usage (%): 99.9957
Max. virtual memory (cumulated for all children) (KiB): 2476508
Max. memory (cumulated for all children) (KiB): 471060

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2514.5
system time used= 5.41584
maximum resident set size= 471060
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 819993
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= 40
involuntary context switches= 4220


# summary of solver processes directly reported to runsolver:
#   pid: 12659
#   total CPU time (s): 2519.92
#   total CPU user time (s): 2514.5
#   total CPU system time (s): 5.41584

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 9.24488 second user time and 19.0409 second system time

The end

Launcher Data 

Begin job on node148 at 2018-08-11 19:28:03
IDJOB=4303107
IDBENCH=141253
IDSOLVER=2778
FILE ID=node148/4303107-1534008483
RUNJOBID= node148-1533990783-10864
PBS_JOBID= 21036942
Free space on /tmp= 33724 MiB

SOLVER NAME= PicatSAT 2018-08-02
BENCH NAME= XCSP18/QuadraticAssignment/QuadraticAssignment-had14_c18.xml
COMMAND LINE= xcsp_picat BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4303107-1534008483/watcher-4303107-1534008483 -o /tmp/evaluation-result-4303107-1534008483/solver-4303107-1534008483 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node148-1533990783-10864 --watchdog 2580  xcsp_picat HOME/instance-4303107-1534008483.xml

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

MD5SUM BENCH= 1b212baf1dbc84cffd3dcab4dc49ff1b
RANDOM SEED=1308637476

node148.alineos.net Linux 3.10.0-514.16.1.el7.x86_64 #1 SMP Wed Apr 12 15:04:24 UTC 2017

/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.50
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.50
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.50
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.50
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32770624 kB
MemFree:         4405584 kB
MemAvailable:   31634580 kB
Buffers:          267548 kB
Cached:         26791432 kB
SwapCached:          352 kB
Active:          9893044 kB
Inactive:       17490352 kB
Active(anon):     275048 kB
Inactive(anon):   101660 kB
Active(file):    9617996 kB
Inactive(file): 17388692 kB
Unevictable:        7340 kB
Mlocked:            7340 kB
SwapTotal:      67108860 kB
SwapFree:       67108404 kB
Dirty:              3144 kB
Writeback:             0 kB
AnonPages:        300048 kB
Mapped:            61368 kB
Shmem:             49592 kB
Slab:             678704 kB
SReclaimable:     650768 kB
SUnreclaim:        27936 kB
KernelStack:        3328 kB
PageTables:         5992 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    2556096 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    208896 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      116096 kB
DirectMap2M:    33429504 kB

Free space on /tmp at the end= 33640 MiB
End job on node148 at 2018-08-11 20:10:03